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