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