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
Cost
Coq
Verification
Graph theory
Mean field games
Implicit computational complexity
Coloring
Network science
Age-structured PDE
Kleene algebra
Energy-aware systems
35B25
Concurrent games
Lambda-calculus
Clear Channel Assessment
Circle-valued maps
Curvature
Automatic proof search
57M60 Secondary 37E05
Coinduction
Reliability
Bisimulation
General arrivals
Power Control
Dual norm
Perfect kernel
Kriging
Besov spaces
Game semantics
Algebra
Bingham
Petri nets
Partial Least Squares
Motives
Real-time systems
Categorical semantics
Linear logic
Graphs
Covert communication
Optimal pattern
Baumslag-Solitar groups
Hydrodynamic limit
Axiomatisation
Distributive laws
Bass-Serre theory
Commuting variety
Algebra Lie
Regular languages
Elliptical distribution
Process calculi
Automata
Cyclic proofs
Cycle stealing
Category theory
Multiple sparse right-hand sides
Heterogeneous platforms
Fail-stop errors
Activation delays
Oscillations
Concurrency
Resilience
Unique solution of equations
20E08
Sequent calculus
Ssreflect
Proof theory
Decidability
Cographs
Covariance
Cut elimination
Denotational semantics
Full abstraction
Algorithm
Sobolev spaces
Treewidth
Sparse matrices
Stability
Electron Tomography
Sparsity
Kinetic equation
Silent errors
Ordonnancement
Space of subgroups
Spatial Reuse
Asymptotic analysis
Direct method
Termination
Complexity
Game Semantics
Symplectic reduction
Diffusion-approximation
37B05
Event structures
Completeness
Scheduling
Bisimilarity
Regression
Abbreviated action integral
Machine Learning
Coalgebra