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