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