581 results
Search Results
Now showing 1 - 10 of 581
- 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.
- 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.
- 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.
- ItemOn the algorithmic solution of optimization problems subject to probabilistic/robust (probust) constraints(Berlin ; Heidelberg : Springer, 2021) Berthold, Holger; Heitsch, Holger; Henrion, René; Schwientek, JanWe present an adaptive grid refinement algorithm to solve probabilistic optimization problems with infinitely many random constraints. Using a bilevel approach, we iteratively aggregate inequalities that provide most information not in a geometric but in a probabilistic sense. This conceptual idea, for which a convergence proof is provided, is then adapted to an implementable algorithm. The efficiency of our approach when compared to naive methods based on uniform grid refinement is illustrated for a numerical test example as well as for a water reservoir problem with joint probabilistic filling level constraints.
- ItemA coarse‐grained electrothermal model for organic semiconductor devices(Chichester, West Sussex : Wiley, 2022) Glitzky, Annegret; Liero, Matthias; Nika, GrigorWe derive a coarse-grained model for the electrothermal interaction of organic semiconductors. The model combines stationary drift-diffusion- based electrothermal models with thermistor-type models on subregions of the device and suitable transmission conditions. Moreover, we prove existence of a solution using a regularization argument and Schauder's fixed point theorem. In doing so, we extend recent work by taking into account the statistical relation given by the Gauss–Fermi integral and mobility functions depending on the temperature, charge-carrier density, and field strength, which is required for a proper description of organic devices.