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