431 citations
- Technical University of DenmarkDK18 papers
- IMDEA Software InstituteES11 papers
- University of CopenhagenDK10 papers
- Danish National Research FoundationDK8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- University of California, BerkeleyUS7 papers
- Institut Laue-LangevinFR5 papers
- Nankai UniversityCN5 papers
- The University of SydneyAU5 papers
- Aalborg UniversityDK4 papers
- Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)DE4 papers
- Monash UniversityAU4 papers
18 papers · 1 filter
How a Supercooled Liquid Borrows Structure from the Crystal
Ulf Pedersen, Ian Douglass, Peter Harrowell
Using computer simulations, we establish that the structure of a supercooled binary atomic liquid mixture consists of common neighbour structures similar to those found in the equi…
Isabelle/HOL as a Meta-Language for Teaching Logic
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Proof assistants are important tools for teaching logic. We support this claim by discussing three formalizations in Isabelle/HOL used in a recent course on automated reasoning. Th…
An Experimental Analysis of Indoor Spatial Queries: Modeling, Indexing, and Processing
Tiantian Liu, Huan Li, Hua Lu +2
Indoor location-based services (LBS), such as POI search and routing, are often built on top of typical indoor spatial queries. To support such queries and indoor LBS, multiple tec…
Isomorph theory beyond thermal equilibrium
Jeppe C. Dyre
This paper generalizes isomorph theory to systems that are not in thermal equilibrium. The systems are assumed to be R-simple, i.e., have a potential energy that as a function of a…
Periodic Points and Smooth Rays
Carsten L. Petersen, Saeed Zakeri
Let be a polynomial map with disconnected filled Julia set and let be a repelling or parabolic periodic point of . We show that if t…
Testing the isomorph invariance of the bridge functions of Yukawa one-component plasmas. II. Short range
F. Lucco Castello, P. Tolias, J. C. Dyre
It has been conjectured that bridge functions remain nearly invariant along phase diagram lines of constant excess entropy for the class of R-simple liquids. In the companion paper…