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