Publication
Limitations of Partial Compaction: Towards Practical Bounds
Publications associées (32)
Excited State-Specific CASSCF Theory for the Torsion of Ethylene
State-specific complete active space self-consistent field (SS-CASSCF) theory has emerged as a promising route to accurately predict electronically excited energy surfaces away from molecular equilibria. However, its accuracy and practicality for chemical ...
Amer Chemical Soc2024Einstein-Cartan gravity, matter, and scale-invariant generalization
Andrey Shkerin, Inar Timiryasov, Sebastian Zell
We study gravity coupled to scalar and fermion fields in the Einstein-Cartan framework. We discuss the most general form of the action that contains terms of mass dimension not bigger than four, leaving out only contributions quadratic in curvature. By res ...
SPRINGER2020From the Principle of Inertia to the Death Drive: The Influence of the Second Law of Thermodynamics on the Freudian Theory of the Psychical Apparatus
Pierre Magistretti, Jean-Philippe Ansermet
In the Freudian theory of the psychical apparatus, the introduction from the 1920s onward of the second drive dualism appears as a major turning point. The idea of a "death drive," first expressed in Beyond the Pleasure Principle (Freud, 1920), is generall ...
2020Supergravity with broken Lorentz invariance: theory and phenomenological consequences
We construct and study supersymmetric extension of the Einstein-aether gravitational theory. Using superfield formalism we carry out unique linearized Lorentz violating supergravity action invariant under super-gauge transformations and obtain its bosonic ...
IOP PUBLISHING LTD2019Detailed Heap Profiling
James Richard Larus, Stuart Anthony Byma
Modern software systems heavily use the memory heap. As systems grow more complex and compute with increasing amounts of data, it can be difficult for developers to understand how their programs actually use the bytes that they allocate on the heap and whe ...
ACM2018Detailed heap profiling
James Richard Larus, Stuart Anthony Byma
Modern software systems heavily use the memory heap. As systems grow more complex and compute with increasing amounts of data, it can be difficult for developers to understand how their programs actually use the bytes that they allocate on the heap and whe ...
ACM2018A leap of faith in the realm of the possible.
The architectural projects and building operations conducted over the past three decades by Patrick Bouchain and his collaborators challenge a series of assumptions regarding architecture’s authorship, its purpose and usage. Examined in light of Paul Ricoe ...
2016Expansivity and Roquette groups
We prove the non-existence of expansive subgroups with trivial global core in different families of Roquette groups. This study is motivated by the importance of expansive subgroups in the theory of stabilizing bisets highlighted in [4]. ...
Elsevier2015Symbolic Resource Bound Inference
Viktor Kuncak, Ravichandhran Kandhadai Madhavan
We present an approach for inferring symbolic resource bounds for purely functional programs consisting of recursive functions, algebraic data types and nonlinear arithmetic operations. In our approach, the developer specifies the desired shape of the boun ...
2014Controlled stripes of ultrafine ferroelectric domains
Nava Setter, Alexander Tagantsev, Igor Stolichnov, Tomas Sluka, Silviu Cosmin Sandu, Petr Yudin, Ludwig Feigl, Xiankui Wei, Mahamudu Mtebwa, Konstantin Shapovalov
In the pursuit of ferroic-based (nano) electronics, it is essential to minutely control domain patterns and domain switching. The ability to control domain width, orientation and position is a prerequisite for circuitry based on fine domains. Here, we deve ...
Nature Publishing Group2014