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