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