Loading...
Laboratoire d’excellence en mathématiques et informatique fondamentale de Lyon – Université de Lyon - Programme Investissements d’Avenir.
Derniers dépôts
Répartition des dépôts par discipline
Répartition des dépôts par type de publication
Évolution des dépôts
Mots clés
Full abstraction
Game Semantics
Event structures
Unique solution of equations
Besov spaces
Sequent calculus
Verification
Covert communication
Denotational semantics
Categorical semantics
Kleene algebra
Game semantics
Concurrency
Reliability
Symplectic reduction
37B05
Partial Least Squares
Stability
Axiomatisation
Direct method
Elliptical distributions
57M60 Secondary 37E05
Cographs
20E08
Circle-valued maps
Cost
Concurrent games
Asymptotic analysis
Sobolev spaces
Elliptical distribution
Proof theory
Baumslag-Solitar groups
Completeness
Category theory
Termination
Cyclic proofs
Petri nets
Automata
Decidability
Real-time systems
Bisimulation
Coloring
Energy-aware systems
Sparsity
Power Control
Activation delays
Multiple sparse right-hand sides
Spatial Reuse
Bass-Serre theory
35B25
Bisimilarity
Electron Tomography
Heterogeneous platforms
Linear logic
Network science
Distributive laws
Algorithm
Commuting variety
Ssreflect
Coq
Cut elimination
Algebra
Perfect kernel
Motives
Process calculi
Automatic proof search
Age-structured PDE
Bingham
Diffusion-approximation
Lambda-calculus
Cycle stealing
Fail-stop errors
Dual norm
Oscillations
Complexity
Sparse matrices
Machine Learning
Regular languages
General arrivals
Covariance
Treewidth
Space of subgroups
Graph theory
Optimal pattern
Kriging
Hydrodynamic limit
Graphs
Ordonnancement
Coinduction
Regression
Algebra Lie
Mean field games
Resilience
Clear Channel Assessment
Abbreviated action integral
Scheduling
Implicit computational complexity
Kinetic equation
Curvature
Silent errors