5,791 research outputs found
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
Recommended from our members
A HEV-restricted sulfotransferase is expressed in rheumatoid arthritis synovium and is induced by lymphotoxin-alpha/beta and TNF-alpha in cultured endothelial cells.
BackgroundThe recruitment of lymphocytes to secondary lymphoid organs relies on interactions of circulating cells with high endothelial venules (HEV). HEV are exclusive to these organs under physiological conditions, but they can develop in chronically-inflamed tissues. The interaction of L-selectin on lymphocytes with sulfated glycoprotein ligands on HEV results in lymphocyte rolling, which represents the initial step in lymphocyte homing. HEV expression of GlcNAc6ST-2 (also known as HEC-GlcNAc6ST, GST-3, LSST or CHST4), an HEV-restricted sulfotransferase, is essential for the elaboration of L-selectin functional ligands as well as a critical epitope recognized by MECA-79 mAb.ResultsWe examined the expression of GlcNAc6ST-2 in relationship to the MECA-79 epitope in rheumatoid arthritis (RA) synovial vessels. Expression of GlcNAc6ST-2 was specific to RA synovial tissues as compared to osteoarthritis synovial tissues and localized to endothelial cells of HEV-like vessels and small flat-walled vessels. Double MECA-79 and GlcNAc6ST-2 staining showed colocalization of the MECA-79 epitope and GlcNAc6ST-2. We further found that both TNF-alpha and lymphotoxin-alphabeta induced GlcNAc6ST-2 mRNA and protein in cultured human umbilical vein endothelial cells.ConclusionThese observations demonstrate that GlcNAc6ST-2 is induced in RA vessels and provide potential cytokine pathways for its induction. GlcNAc6ST-2 is a novel marker of activated vessels within RA ectopic lymphoid aggregates. This enzyme represents a potential therapeutic target for RA
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 matrices over C, H, and R, respectively. In
particular, we obtain an interesting generalization of Schur's
triangularization theorem.Comment: 20 page
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
- …
