7.7k citations
- Centre National de la Recherche ScientifiqueFR1.2k papers
- Institut Élie Cartan de LorraineFR874 papers
- Institut Jean LamourFR378 papers
- Laboratoire Lorrain de Recherche en Informatique et ses ApplicationsFR277 papers
- Institut national de recherche en sciences et technologies du numériqueFR174 papers
- Laboratoire de Physique et Chimie ThéoriquesFR148 papers
- Université Paris-SaclayFR115 papers
- CRANFR110 papers
- Sorbonne UniversitéFR85 papers
- Institut Universitaire de FranceFR61 papers
- Université de StrasbourgFR56 papers
- Laboratoire Énergies & Mécanique Théorique et AppliquéeFR54 papers
2,367 papers
Execution-Time Opacity in (Controllable) Timed Automata is Hard
Sarah Dépernet, Engel Lefaucheux
Timing information leakage occurs whenever an attacker successfully deduces confidential internal information by observing some timed information such as the total duration of a ru…
Certification of Bilateral Patience Sort in Theorema and Rocq
Isabela Drǎmnesc, Tudor Jebelean, Sorin Stratulat
This is a case study on a specific version of the Patience Sort algorithm in which we illustrate the evolution of it from an intuitive but inefficient nested recursion into a more…
A Priori and A Posteriori Error Estimates for a Crank Nicolson Type Scheme of an Elliptic Problem with Dynamical Boundary Conditions
Rola Ali Ahmad, Toufic El Arwadi, Houssam Chrayteh +1
In this article we claim that we are going to give a priori and a posteriori error estimates for a Crank Nicolson type scheme. The problem is discretized by the finite elements in…
Vortex rivers and multiple voltage transitions in superconducting MgB thin films
Anton Pokusinskyi, Clemens Schmid, Thomas Hauet +1
Vortex dynamics govern the dissipation and magneto-resistive properties of type-II superconductors. At large transport currents, the current-voltage (-) characteristics of a…
Non-equilibrium condensation of the first Solar System solids
Sebastien Charnoz, Jérome Aleon, Marc Chaussidon +3
Primitive meteorites (chondrites) consist of an out-of-equilibrium assemblage of minerals formed during the assembling of our Solar Nebula. The conditions under which their precurs…
Accurate Solvation Properties in supercritical CO with Molecular Density Functional Theory
Mohamed Houssein Mohamed, Odette Tannous, Camille Muller +4
Supercritical CO is a highly efficient solvent for the development of more environmentally benign chemical processes. It is crucial to predict its solvation properties -- the s…