615 results
Search Results
Now showing 1 - 10 of 615
- ItemDistribution of Cracks in a Chain of Atoms at Low Temperature(Cham (ZG) : Springer International Publishing AG, 2021) Jansen, Sabine; König, Wolfgang; Schmidt, Bernd; Theil, FlorianWe consider a one-dimensional classical many-body system with interaction potential of Lennard–Jones type in the thermodynamic limit at low temperature 1/β∈(0,∞). The ground state is a periodic lattice. We show that when the density is strictly smaller than the density of the ground state lattice, the system with N particles fills space by alternating approximately crystalline domains (clusters) with empty domains (voids) due to cracked bonds. The number of domains is of the order of Nexp(−βesurf/2) with esurf>0 a surface energy. For the proof, the system is mapped to an effective model, which is a low-density lattice gas of defects. The results require conditions on the interactions between defects. We succeed in verifying these conditions for next-nearest neighbor interactions, applying recently derived uniform estimates of correlations.
- ItemTime-Warping Invariants of Multidimensional Time Series(Dordrecht [u.a.] : Springer Science + Business Media B.V., 2020) Diehl, Joscha; Ebrahimi-Fard, Kurusch; Tapia, NikolasIn data science, one is often confronted with a time series representing measurements of some quantity of interest. Usually, in a first step, features of the time series need to be extracted. These are numerical quantities that aim to succinctly describe the data and to dampen the influence of noise. In some applications, these features are also required to satisfy some invariance properties. In this paper, we concentrate on time-warping invariants. We show that these correspond to a certain family of iterated sums of the increments of the time series, known as quasisymmetric functions in the mathematics literature. We present these invariant features in an algebraic framework, and we develop some of their basic properties. © 2020, The Author(s).
- ItemLocal Well-Posedness of Strong Solutions to the Three-Dimensional Compressible Primitive Equations(Berlin ; Heidelberg : Springer, 2021) Liu, Xin; Titi, Edriss S.This work is devoted to establishing the local-in-time well-posedness of strong solutions to the three-dimensional compressible primitive equations of atmospheric dynamics. It is shown that strong solutions exist, are unique, and depend continuously on the initial data, for a short time in two cases: with gravity but without vacuum, and with vacuum but without gravity. © 2021, The Author(s).
- ItemAssessment of Stability in Partitional Clustering Using Resampling Techniques(Karlsruhe : KIT Scientific Publishing, 2016) Mucha, Hans-JoachimThe assessment of stability in cluster analysis is strongly related to the main difficult problem of determining the number of clusters present in the data. The latter is subject of many investigations and papers considering different resampling techniques as practical tools. In this paper, we consider non-parametric resampling from the empirical distribution of a given dataset in order to investigate the stability of results of partitional clustering. In detail, we investigate here only the very popular K-means method. The estimation of the sampling distribution of the adjusted Rand index (ARI) and the averaged Jaccard index seems to be the most general way to do this. In addition, we compare bootstrapping with different subsampling schemes (i.e., with different cardinality of the drawn samples) with respect to their performance in finding the true number of clusters for both synthetic and real data.
- ItemA boundary control problem for the pure Cahn–Hilliard equation with dynamic boundary conditions(Berlin ; Boston, Mass. : de Gruyter, 2015) Colli, Pierluigi; Gilardi, Gianni; Sprekels, JürgenA boundary control problem for the pure Cahn–Hilliard equations with possibly singular potentialsand dynamic boundary conditions is studied and rst-order necessary conditions for optimality are proved.
- ItemNovel fixed-time stabilization of quaternion-valued BAMNNs with disturbances and time-varying coefficients(Springfield, MO : AIMS Press, 2020) Wei, Ruoyu; Cao, Jinde; Kurths, JürgenIn this paper, with the quaternion number and time-varying coefficients introduced into traditional BAMNNs, the model of quaternion-valued BAMNNs are formulated. For the first time, fixed-time stabilization of time-varying quaternion-valued BAMNNs is investigated. A novel fixed-time control method is adopted, in which the choice of the Lyapunov function is more general than in most previous results. To cope with the noncommutativity of the quaternion multiplication, two different fixed-time control methods are provided, a decomposition method and a non-decomposition method. Furthermore, to reduce the control strength and improve control efficiency, an adaptive fixed-time control strategy is proposed. Lastly, numerical examples are presented to demonstrate the effectiveness of the theoretical results. © 2020 the Author(s), licensee AIMS Press.
- ItemDistributed optimal control of a nonstandard nonlocal phase field system(Springfield, MO : AIMS Press, 2016) Colli, Pierluigi; Gilardi, Gianni; Sprekels, JürgenWe investigate a distributed optimal control problem for a nonlocal phase field model of viscous Cahn-Hilliard type. The model constitutes a nonlocal version of a model for two-species phase segregation on an atomic lattice under the presence of diffusion that has been studied in a series of papers by P. Podio-Guidugli and the present authors. The model consists of a highly nonlinear parabolic equation coupled to an ordinary differential equation. The latter equation contains both nonlocal and singular terms that render the analysis difficult. Standard arguments of optimal control theory do not apply directly, although the control constraints and the cost functional are of standard type. We show that the problem admits a solution, and we derive the first-order necessary conditions of optimality.
- ItemWeak-strong uniqueness for the general Ericksen-Leslie system in three dimensions(Springfield, Mo. : American Institute of Mathematical Sciences, 2018) Emmrich, Etienne; Lasarzik, RobertWe study the Ericksen-Leslie system equipped with a quadratic free energy functional. The norm restriction of the director is incorporated by a standard relaxation technique using a double-well potential. We use the relative energy concept, often applied in the context of compressible Euler- or related systems of fluid dynamics, to prove weak-strong uniqueness of solutions. A main novelty, not only in the context of the Ericksen-Leslie model, is that the relative energy inequality is proved for a system with a nonconvex energy.
- ItemExistence, iteration procedures and directional differentiability for parabolic QVIs(Berlin ; Heidelberg : Springer, 2020) Alphonse, Amal; Hintermüller, Michael; Rautenberg, Carlos N.We study parabolic quasi-variational inequalities (QVIs) of obstacle type. Under appropriate assumptions on the obstacle mapping, we prove the existence of solutions of such QVIs by two methods: one by time discretisation through elliptic QVIs and the second by iteration through parabolic variational inequalities. Using these results, we show the directional differentiability (in a certain sense) of the solution map which takes the source term of a parabolic QVI into the set of solutions, and we relate this result to the contingent derivative of the aforementioned map. We finish with an example where the obstacle mapping is given by the inverse of a parabolic differential operator.
- ItemOn the Complexity of Attacking Elliptic Curve Based Authentication Chips(Amsterdam [u.a.] : Elsevier, 2021) Kabin, Ievgen; Dyka, Zoya; Klann, Dan; Schaeffner, Jan; Langendoerfer, PeterIn this paper we discuss the difficulties of mounting successful attacks against crypto implementations if essential information is missing. We start with a detailed description of our attack against our own design, to highlight which information is needed to increase the success of an attack, i.e. we use it as a blueprint to the following attack against commercially available crypto chips. We would like to stress that our attack against our own design is very similar to what happens during certification e.g. according to the Common Criteria Standard as in those cases the manufacturer needs to provide detailed information. If attacking commercial designs without signing NDAs, we were forced to intensively search the Internet for information about the designs. We were able to reveal information on the processing sequence during the authentication process even as detailed as identifying the clock cycles in which the individual key bits are processed. But we could not reveal the private keys used by the attacked commercial authentication chips 100% correctly. Moreover, as we did not knew the used keys we could not evaluate the success of our attack. To summarize, the effort of such an attack is significantly higher than the one of attacking a well-known implementation.