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
Commuting variety
Mean field games
Completeness
Implicit computational complexity
Cographs
Hydrodynamic limit
Verification
Function graph
Independent tasks
Sparsity
Distributive laws
Extreme events
Ordonnancement
Optimal pattern
Stability
Lambda-calculus
Dual norm
Termination
Denotational semantics
Network science
Kleene algebra
Bass-Serre theory
Scheduling
Decidability
Energy efficiency
Concurrent games
Graph theory
Coloring
Covert communication
Energy estimates
Full Abstraction
Linear logic
Cycle stealing
Fail-stop errors
Hamiltonian dynamics
Multiple sparse right-hand sides
Event structures
Coq
Asymptotic analysis
General service
Petri nets
Elliptical distributions
Jacobian
Hilbert scheme
Besov spaces
Algebra
Kriging
Cut elimination
Covariance
Algebra Lie
Process calculi
Cost
Cyclic proofs
Heterogeneous platforms
Full abstraction
Treewidth
Activation delays
Direct method
Game Semantics
Resilience
Graph signal processing
Silent errors
Hyperbolic systems
Ergodic dimension
Ssreflect
Bisimilarity
Sobolev spaces
Proof theory
Sparse matrices
Expectile regression
Energy-aware systems
Circle-valued maps
Coinduction
Partial Least Squares
Graphs
Elliptical distribution
Focusing
Concurrency
Automatic proof search
Algorithm
Motives
Regression
Homotopy classes
Electron Tomography
Kinetic equation
HPC
Failures
Bisimulation
Axiomatisation
Regular languages
Unique solution of equations
Harmonic limit
Abbreviated action integral
Oscillations
Game semantics
Curvature
Sequent calculus
Bingham
Diffusion-approximation
General arrivals