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