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