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