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