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