Hydrodynamic Limit of the Gross-Pitaevskii Equation

We study dynamics of vortices in solutions of the Gross-Pitaevskii equation i? _t u = Δu + ?^?2 u(1 ? |u|²) on ?² with nonzero degree at infinity. We prove that vortices move according to the classical Kirchhoff-Onsager ODE for a small but finite coupling parameter ?. By carefully tracking errors we allow for asymptotically large numbers of vortices, and this lets us connect the Gross-Pitaevskii equation on the plane to two dimensional incompressible Euler equations through the work of Schochet [19 Schochet , S. ( 1996 ). The point vortex method for periodic weak solutions of the 2D Euler equations . Comm. Pure Appl. Math. 49 : 911 – 965 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Measure of segments which intersect a convex body from rotational formulae

Classical problems in integral geometry and geometric probability involve the kinematic measure of congruent segments of fixed length within a convex body in R³. We give this measure from rotational formulae; that is, from isotropic plane sections through a fixed point. From this result we also obtain a new rotational formula for the volume of a convex body; which is proved to be equivalent to the wedge formula for the volume.     

Universal point sets for planar three-trees

For every $n\in \mathbb{N}$, we present a set $S_n$ of $O(n^{3/2}\log n)$ points in the plane such that every planar 3-tree with n vertices has a straight-line embedding in the plane in which the vertices are mapped to a subset of $S_n$. This is the first subquadratic upper bound on the cardinality of universal point sets for planar 3-trees, as well as for the class of 2-trees and serial parallel graphs.     

Formation of lithium,sodium and potassium complexes with 1,3,5‐triamino‐1,3,5‐trideoxy‐cis‐inositol (taci)

Single crystals of (1,3‐diamino‐5‐azaniumyl‐1,3,5‐trideoxy‐cis‐inositol‐κ³O²,O⁴,O⁶)(1,3,5‐triamino‐1,3,5‐trideoxy‐cis‐inositol‐κ³O²,O⁴,O⁶)lithium(I) diiodide dihydrate, [Li(C₆H₁₆N₃O₃)(C₆H₁₅N₃O₃)]I₂·2H₂O or [Li(Htaci)(taci)]I₂·2H₂O (taci is 1,3,5‐triamino‐1,3,5‐trideoxy‐cis‐inositol), (I), bis(1,3,5‐triamino‐1,3,5‐trideoxy‐cis‐inositol‐κ³O²,O⁴,O⁶)sodium(I) iodide, [Na(C₆H₁₅N₃O₃)₂]I or [Na(taci)₂]I, (II), and bis(1,3,5‐triamino‐1,3,5‐trideoxy‐cis‐inositol‐κ³O²,O⁴,O⁶)potassium(I) iodide, [K(C₆H₁₅N₃O₃)₂]I or [K(taci)₂]I, (III), were grown by diffusion of MeOH into aqueous solutions of the complexes. The structures of the Na and K complexes are isotypic. In all three complexes, the taci ligands adopt a chair conformation with axial hydroxy groups, and the metal cations exhibit exclusive O‐atom coordination. The six O atoms of the resulting MO₆ unit define a centrosymmetric trigonal antiprism with approximate D_3d symmetry. The interligand O...O distances increase significantly in the order Li < Na < K. The structure of (I) exhibits a complex three‐dimensional network of R—NH₂—H...NH₂—R, R—O—H...NH₂—R and R—O—H...O(H)—H...NH₂—R hydrogen bonds. The structures of the Na and K complexes consist of a stack of layers, in which each taci ligand is bonded to three neighbours via pairwise O—H...NH₂ interactions between vicinal HO—CH—CH—NH₂ groups.     

Scale-space point spread function based framework to boost infrared target detection algorithms

Small target detection is one of the major concern in the development of infrared surveillance systems. Detection algorithms based on Gaussian target modeling have attracted most attention from researchers in this field. However, the lack of accurate target modeling limits the performance of this type of infrared small target detection algorithms. In this paper, signal to clutter ratio (SCR) improvement mechanism based on the matched filter is described in detail and effect of Point Spread Function (PSF) on the intensity and spatial distribution of the target pixels is clarified comprehensively. In the following, a new parametric model for small infrared targets is developed based on the PSF of imaging system which can be considered as a matched filter. Based on this model, a new framework to boost model-based infrared target detection algorithms is presented. In order to show the performance of this new framework, the proposed model is adopted in Laplacian scale-space algorithms which is a well-known algorithm in the small infrared target detection field. Simulation results show that the proposed framework has better detection performance in comparison with the Gaussian one and improves the overall performance of IRST system. By analyzing the performance of the proposed algorithm based on this new framework in a quantitative manner, this new framework shows at least 20% improvement in the output SCR values in comparison with Laplacian of Gaussian (LoG) algorithm.     

Possibilistic nested logic programs and strong equivalence

In this paper, the class of possibilistic nested logic programs is introduced. These possibilistic logic programs allow us to use nested expressions in the bodies and heads of their rules. By considering a possibilistic nested logic program as a possibilistic theory, a construction of a possibilistic logic programing semantics based on answer sets for nested logic programs and the proof theory of possibilistic logic is defined. In order to define a general method for computing the possibilistic answer sets of a possibilistic nested program, the idea of equivalence between possibilistic nested programs is explored. By considering properties of equivalence between possibilistic programs, a process of transforming a possibilistic nested logic program into a possibilistic disjunctive logic program is defined. Given that our approach is an extension of answer set programming, we also explore the concept of strong equivalence between possibilistic nested logic programs. To this end, we introduce the concept of poss SE-models. Therefore, we show that two possibilistic nested logic programs are strong equivalents whenever they have the same poss SE-models.The expressiveness of the possibilistic nested logic programs is illustrated by a scenario from the medical domain. In particular, we exemplify how possibilistic nested logic programs are expressive enough for capturing medical guidelines which are pervaded by vagueness and qualitative information.     

Joint distributions of random sets and their relation to copulas

Random sets are set-valued random variables. They have been applied in various fields like stochastic geometry, statistics, economics, engineering or computer science, and are often used for modeling uncertainty. In an earlier paper the author has defined joint capacity and joint containment functionals which are multivariate set functions describing the joint distribution of random sets. This paper is concerned with the question how copulas can be used to describe or model the dependence of random sets. It is demonstrated that a joint containment functional can be related to its margins by a family of copulas. Furthermore, the paper provides a first insight how copulas can be used to define joint containment functionals.