We introduce a reconfigurable medium for the manipulation of elastic propagation properties of Lamb waves. It is based on a shape memory polymer (SMP) with temperature-dependent Young's modulus. Waves are excited by a laser pulse and detected by a laser vi ...
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...
Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik2023
Amides are common constituents in natural organic matter and synthetic chemicals. In this study, we investi-gated kinetics and mechanisms of the reactions of chlorine with seven amides, including acetamide, N-meth-ylformamide, N-methylacetamide, benzamide, ...
In engineering, oscillatory instabilities and resonances are often considered undesirable flow features and measures are taken to avoid them. This may include avoiding certain parametric regions or implementing control and mitigation strategies. However, t ...
Motivated by the experimental observation of a quantized 5/2 thermal conductance at filling nu = 5/2, a result incompatible with both the Pfaffian and the anti-Pfaffian states, we have pushed the expansion of the effective Hamiltonian of the 5/2-quantized ...
Among the single-trajectory Gaussian-based methods for solving the time-dependent Schrödinger equation, the variational Gaussian approximation is the most accurate one. In contrast to Heller’s original thawed Gaussian approximation, it is symplectic, conse ...
In 1970, Furth and Yoshikawa (1970 Phys. Fluids 13 2593-6) introduced the scalings of adiabatic plasma compression. Basically, if the shape of the external plasma boundary and the aspect ratio are preserved during the compression, then the density, kinetic ...
Functional data are typically modeled as sample paths of smooth stochastic processes in order to mitigate the fact that they are often observed discretely and noisily, occasionally irregularly and sparsely. The smoothness assumption is imposed to allow for ...
