1.2k citations
- BiocomUS4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Laboratoire de Physique ThéoriqueFR3 papers
- Université Paris CitéFR3 papers
- Syracuse UniversityUS2 papers
- Texas A&M UniversityUS2 papers
- Université de BordeauxFR2 papers
- University of UtahUS2 papers
- Aix-Marseille UniversitéFR1 paper
- Carnegie HallUS1 paper
- CEA DAM Île-de-FranceFR1 paper
- Chalmers University of TechnologySE1 paper
14 papers · 1 filter
Language embeddings that preserve staging and safety
Todd L. Veldhuizen
We study embeddings of programming languages into one another that preserve what reductions take place at compile-time, i.e., staging. A certain condition -- what we call a `Turing…
Sharp pointwise bounds for perturbed viscous shock waves
Peter Howard, Mohammadreza Raoofi, Kevin Zumbrun
Refining previous work in \cite{Z.3, MaZ.3, Ra, HZ, HR}, we derive sharp pointwise bounds on behavior of perturbed viscous shock profiles for large-amplitude Lax or overcompressive…
Uniform stability estimates for constant-coefficient symmetric hyperbolic boundary value problems
Olivier Gues, Guy Metivier, Mark Williams +1
Answering a question left open in \cite{MZ2}, we show for general symmetric hyperbolic boundary problems with constant coefficients, including in particular systems with characteri…
The Higher Connectivity of Intersections of Real Quadrics
Michael Larsen, Ayelet Lindenstrauss
A linear system of real quadratic forms defines a real projective variety. The real non-singular locus of this variety (more precisely of the underlying scheme) has a highly connec…
The Effects of Metallicity and Grain Size on Gravitational Instabilities in Protoplanetary Disks
Kai Cai, Richard H. Durisen, Scott Michael +4
Observational studies show that the probability of finding gas giant planets around a star increases with the star's metallicity. Our latest simulations of disks undergoing gravita…
Prediction and predictability of global epidemics: the role of the airline transportation network
Vittoria Colizza, Alain Barrat, Marc Barthelemy +1
The systematic study of large-scale networks has unveiled the ubiquitous presence of connectivity patterns characterized by large scale heterogeneities and unbounded statistical fl…