Molecular dynamics simulations of complex shaped particles using Minkowski operators

The Minkowski operators (addition and substraction of sets in vectorial spaces) has been extensively used for Computer Graphics and Image Processing to represent complex shapes. Here we propose to apply those mathematical concepts to extend the Molecular Dynamics (MD) Methods for simulations with complex-shaped particles. A new concept of Voronoi-Minkowski diagrams is introduced to generate random packings of complex-shaped particles with tunable particle roundness. By extending the classical concept of Verlet list we achieve numerical efficiencies that do not grow quadratically with the body number of sides. Simulations of dissipative granular materials under shear demonstrate that the method complies with the first law of thermodynamics for energy balance.Comment: Submitted to Phys. Rev.

Universal subspaces for compact Lie groups

For a representation of a connected compact Lie group G in a finite dimensional real vector space U and a subspace V of U, invariant under a maximal torus of G, we obtain a sufficient condition for V to meet all G-orbits in U, which is also necessary in certain cases. The proof makes use of the cohomology of flag manifolds and the invariant theory of Weyl groups. Then we apply our condition to the conjugation representations of U(n), Sp(n), and SO(n) in the space of $n\times n$ matrices over C, H, and R, respectively. In particular, we obtain an interesting generalization of Schur's triangularization theorem.Comment: 20 page

A sociolincuistic study of spanish language maintenance and lincuistic shift towards english among chicanos

Chicanos, as a lingual minority, comprise speech communities in urban ancl rural barrios: 'neighborhoods' throughout the Southwest. Such communities are dirversified and complex due to a range of varieties that exist along a Spanish-English continuum among its speakers. Because language choice is highly subjective, there exists a multiplicity of social and linguistic factors that promote or impede the use one variety over another given the context and interlocutors involved. This study adds to the data base of information by providing an overview of factors that surround language maintenance of Spanish and shift towards English among Chicano adolescents in two speech communities in Austin, Texas, along with a description of Spanish language varieties currently in existence and their designated functions and use

Computational Soundness for Dalvik Bytecode

Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to meet. These approaches do not distinguish cryptographic and non-cryptographic operations, and hence do not account for cryptographic protections: f(m) is considered sensitive for a sensitive message m irrespective of potential secrecy properties offered by a cryptographic operation f. These approaches consequently provide a safe approximation of the app's behavior, but they mistakenly classify a large fraction of apps as potentially insecure and consequently yield overly pessimistic results. In this paper, we show how cryptographic operations can be faithfully included into existing approaches for automated app analysis. To this end, we first show how cryptographic operations can be expressed as symbolic abstractions within the comprehensive Dalvik bytecode language. These abstractions are accessible to automated analysis, and they can be conveniently added to existing app analysis tools using minor changes in their semantics. Second, we show that our abstractions are faithful by providing the first computational soundness result for Dalvik bytecode, i.e., the absence of attacks against our symbolically abstracted program entails the absence of any attacks against a suitable cryptographic program realization. We cast our computational soundness result in the CoSP framework, which makes the result modular and composable.Comment: Technical report for the ACM CCS 2016 conference pape

Design considerations for the beam-waveguide retrofit of a ground antenna station

Retrofitting an antenna that was originally designed without a beam waveguide introduces special difficulties because it is desirable to minimize alteration of the original mechanical truss work and to image the actual feed without distortion at the focal point of the dual-shaped reflector. To obtain an acceptable image, certain Geometrical Optics (GO) design criteria are followed as closely as possible. The problems associated with applying these design criteria to a 34-meter dual-shaped DSN (Deep Space Network) antenna are discussed. The use of various diffraction analysis techniques in the design process is also discussed. GTD and FFT algorithms are particularly necessary at the higher frequencies, while Physical Optics and Spherical Wave Expansions proved necessary at the lower frequencies

An instantiation of the Cramer-Shoup encryption paradigm using bilinear map groups

Item does not contain fulltex