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