The current work investigates the Venusian solar-wind-induced magnetosphere at a high spatial resolution using all Venus Express (VEX) magnetic observations through an unbiased statistical method. We first evaluate predictability of interplanetary field (IMF) during VEX's magnetospheric transits, and then map induced in cylindrical coordinate system under different IMF conditions. Our high-reso...

Security is always at the forefront of our thoughts whether we know it or not. Mindlessly, people go about their daily lives with security a part everything performed. Is house door locked? phone off and upside down on table so no one can see it? computer home/work logged out secure? However, when thinking vehicles, normal person stops locking door. Problem that vehicles’ electronic systems are...

This paper presents a novel hierarchical shape description scheme based on propagating the gradient of the image. The propagated gradient eld collides at centers of con-vex/concave shape components, which can be detected as points of high directional disparity. A novel vectorial disparity measure called Cancelation Energy is used to measure this collision of the gradient eld, and local maxima o...

In the present work an in depth deep electronic study of multicenter XBs (FX)n/NH₃ (X = Cl, Br and n = 1-5) is conducted. The ways in which X∙∙∙X lateral contacts affect the electrostatic or covalent nature of the X∙∙∙N interactions are explored at the CCSD(T)/aug-cc-pVTZ level and in the framework of the quantum theory of atoms in molecules (QTAIM). Calculations show that relatively strong XBs...

Many binary analysis tools and compilers, instead of directly working on code, use an intermediate representation of it. The idea of this thesis is to use the well-tested intermediate representation from LLVM for binary analysis tasks. We take a look at McSema, a tool to translate x86 and x86_64 binaries to LLVM, describe its translation process in detail and additionally implement Python bindi...

It has been known since Wilson's discovery (I) that dissociated ceils of Microd~a come together and form aggregates, which by further transformation develop into new sponges. Similar processes were observed in fresh water and in calcareous sponges (2, 3), and in hydroids and alcyonarians (4, S). Recently one of us (6, 7), in studying the behavior of dissociated cells of Microdona, found that th...

2014 The analysis of the outer branch of the potential of the B 303A0+0u state of the bromine molecule 79Br2 was carried out by means of the multipole expansion of the interaction energies truncated up to the C 10/R10v term, the exchange energy Vex (R) being neglected and the hyperfine effects ignored. The value of the dissociation limit De and the values of the Cn coefficients are not dependen...

Two novel deterministic global optimization algorithms for nonconvex mixed-integer problems (MINLPs) are proposed, using the advances of the BB algorithm for noncon-vex NLPs Adjiman et al. (1998a). The Special Structure Mixed-Integer BB algorithm (SMIN-BB addresses problems with nonconvexities in the continuous variables and linear and mixed-bilinear participation of the binary variables. The G...