284 citations
- Heidelberg UniversityDE8 papers
- Technical University of MunichDE8 papers
- The University of Texas at AustinUS8 papers
- Université Grenoble AlpesFR8 papers
- University of BonnDE8 papers
- Warsaw University of TechnologyPL8 papers
- A. Alikhanyan National LaboratoryAM7 papers
- AGH University of KrakowPL7 papers
- Aligarh Muslim UniversityIN7 papers
- Benemérita Universidad Autónoma de PueblaMX7 papers
- California Polytechnic State UniversityUS7 papers
- Central China Normal UniversityCN7 papers
54 papers
Formalization of Brownian motion in Lean
Rémy Degenne, David Ledvinka, Etienne Marion +1
Brownian motion is a building block in modern probability theory. In this paper, we describe a formalization of Brownian motion using the Lean theorem prover. We build on the exist…
Revealing the Atomistic Mechanism of Rare Events in Molecular Dynamics
Jakob J. Kresse, Alexander Sikorski, Marcus Weber
Interpretable reaction coordinates are essential for understanding rare conformational transitions in molecular dynamics. The Atomistic Mechanism Of Rare Events in Molecular Dynami…
MINDS. Cha Hα 1, a brown dwarf with a hydrocarbon-rich disk
María Morales-Calderón, Hyerin Jang, Aditya M. Arabhavi +23
Context. Recent JWST observations have shown that brown dwarfs (BD) are chemically rich, offering valuable insights into giant planet formation. Aims. As part of the MIRI mid-INfra…
On the inverse problem of the two-velocity tree-like graph
S. A. Avdonin, A. Choque Rivero, G. Leugering +1
In this article the authors continue the discussion in \cite{ALM} about inverse problems for second order elliptic and hyperbolic equations on metric trees from boundary measuremen…
Reducible Riemannian manifolds with conformal product structures
Andrei Moroianu, Mihaela Pilca
We study conformal product structures on compact reducible Riemannian manifolds, and show that under a suitable technical assumption, the underlying Riemannian mani\-folds are eith…
Charged-particle multiplicity distributions over a wide pseudorapidity range in p-Pb collisions at TeV
ALICE Collaboration
This paper presents the primary charged-particle multiplicity distributions in proton-lead collisions at a centre-of-mass energy per nucleon-nucleon collision of $\sqrt{s_{\rm NN}}…