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