730 research outputs found
Persistent currents in n-fold twisted Moebius strips
We investigate the influence of the topology on generic features of the
persistent current in n-fold twisted Moebius strips formed of quasi
one--dimensional mesoscopic rings, both for free electrons and in the weakly
disordered regime. We find that there is no generic difference between the
persistent current for untwisted rings and for Moebius strips with an arbitrary
number of twists.Comment: 7 pages, 2 figure
Many-body physics of a quantum fluid of exciton-polaritons in a semiconductor microcavity
Some recent results concerning nonlinear optics in semiconductor
microcavities are reviewed from the point of view of the many-body physics of
an interacting photon gas. Analogies with systems of cold atoms at thermal
equilibrium are drawn, and the peculiar behaviours due to the non-equilibrium
regime pointed out. The richness of the predicted behaviours shows the
potentialities of optical systems for the study of the physics of quantum
fluids.Comment: Proceedings of QFS2006 conference to appear on JLT
Fully dynamic recognition of proper circular-arc graphs
We present a fully dynamic algorithm for the recognition of proper
circular-arc (PCA) graphs. The allowed operations on the graph involve the
insertion and removal of vertices (together with its incident edges) or edges.
Edge operations cost O(log n) time, where n is the number of vertices of the
graph, while vertex operations cost O(log n + d) time, where d is the degree of
the modified vertex. We also show incremental and decremental algorithms that
work in O(1) time per inserted or removed edge. As part of our algorithm, fully
dynamic connectivity and co-connectivity algorithms that work in O(log n) time
per operation are obtained. Also, an O(\Delta) time algorithm for determining
if a PCA representation corresponds to a co-bipartite graph is provided, where
\Delta\ is the maximum among the degrees of the vertices. When the graph is
co-bipartite, a co-bipartition of each of its co-components is obtained within
the same amount of time.Comment: 60 pages, 15 figure
Generalized bisimulation metrics
International audienceThe pseudometric based on the Kantorovich lifting is one of the most popular notion of distance between probabilistic processes proposed in the literature. However, its application in verification is limited to linear properties. We propose a generalization which allows to deal with a wider class of properties, such as those used in security and privacy. More precisely, we propose a family of pseudometrics, parametrized on a notion of distance which depends on the property we want to verify. Furthermore, we show that the members of this family still characterize bisimilarity in terms of their kernel, and provide a bound on the corresponding distance between trace distributions. Finally, we study the instance corresponding to differential privacy, and we show that it has a dual form, easier to compute. We also prove that the typical process-algebra constructs are non-expansive, thus paving the way to a modular approach to verification
Metrics for Differential Privacy in Concurrent Systems
Part 3: Security AnalysisInternational audienceOriginally proposed for privacy protection in the context of statistical databases, differential privacy is now widely adopted in various models of computation. In this paper we investigate techniques for proving differential privacy in the context of concurrent systems. Our motivation stems from the work of Tschantz et al., who proposed a verification method based on proving the existence of a stratified family between states, that can track the privacy leakage, ensuring that it does not exceed a given leakage budget. We improve this technique by investigating a state property which is more permissive and still implies differential privacy. We consider two pseudometrics on probabilistic automata: The first one is essentially a reformulation of the notion proposed by Tschantz et al. The second one is a more liberal variant, relaxing the relation between them by integrating the notion of amortisation, which results into a more parsimonious use of the privacy budget. We show that the metrical closeness of automata guarantees the preservation of differential privacy, which makes the two metrics suitable for verification. Moreover we show that process combinators are non-expansive in this pseudometric framework. We apply the pseudometric framework to reason about the degree of differential privacy of protocols by the example of the Dining Cryptographers Protocol with biased coins
Processing of ultrafine-size particulate metal matrix composites by advanced shear technology
Copyright @ 2009 ASM International. This paper was published in Metallurgical & Materials Transactions A 40A(3) and is made available as an electronic reprint with the permission of ASM International. One print or electronic copy may be made for personal use only. Systematic or multiple reproduction, distribution to multiple locations via electronic or other means, duplications of any material in this paper for a fee or for commercial purposes, or modification of the content of this paper are prohibited.Lack of efficient mixing technology to achieve a uniform distribution of fine-size reinforcement within the matrix and the high cost of producing components have hindered the widespread adaptation of particulate metal matrix composites (PMMCs) for engineering applications. A new rheo-processing method, the melt-conditioning high-pressure die-cast (MC-HPDC) process, has been developed for manufacturing near-net-shape components of high integrity. The MC-HPDC process adapts the well-established high shear dispersive mixing action of a twin-screw mechanism to the task of overcoming the cohesive force of the agglomerates under a high shear rate and high intensity of turbulence. This is followed by direct shaping of the slurry into near-net-shape components using an existing cold-chamber die-casting process. The results indicate that the MC-HPDC samples have a uniform distribution of ultrafine-sized SiC particles throughout the entire sample in the as-cast condition. Compared to those produced by conventional high-pressure die casting (HPDC), MC-HPDC samples have a much improved tensile strength and ductility.EP-SR
Colossal dielectric constants in transition-metal oxides
Many transition-metal oxides show very large ("colossal") magnitudes of the
dielectric constant and thus have immense potential for applications in modern
microelectronics and for the development of new capacitance-based
energy-storage devices. In the present work, we thoroughly discuss the
mechanisms that can lead to colossal values of the dielectric constant,
especially emphasising effects generated by external and internal interfaces,
including electronic phase separation. In addition, we provide a detailed
overview and discussion of the dielectric properties of CaCu3Ti4O12 and related
systems, which is today's most investigated material with colossal dielectric
constant. Also a variety of further transition-metal oxides with large
dielectric constants are treated in detail, among them the system La2-xSrxNiO4
where electronic phase separation may play a role in the generation of a
colossal dielectric constant.Comment: 31 pages, 18 figures, submitted to Eur. Phys. J. for publication in
the Special Topics volume "Cooperative Phenomena in Solids: Metal-Insulator
Transitions and Ordering of Microscopic Degrees of Freedom
Adsorption of mono- and multivalent cat- and anions on DNA molecules
Adsorption of monovalent and multivalent cat- and anions on a deoxyribose
nucleic acid (DNA) molecule from a salt solution is investigated by computer
simulation. The ions are modelled as charged hard spheres, the DNA molecule as
a point charge pattern following the double-helical phosphate strands. The
geometrical shape of the DNA molecules is modelled on different levels ranging
from a simple cylindrical shape to structured models which include the major
and minor grooves between the phosphate strands. The densities of the ions
adsorbed on the phosphate strands, in the major and in the minor grooves are
calculated. First, we find that the adsorption pattern on the DNA surface
depends strongly on its geometrical shape: counterions adsorb preferentially
along the phosphate strands for a cylindrical model shape, but in the minor
groove for a geometrically structured model. Second, we find that an addition
of monovalent salt ions results in an increase of the charge density in the
minor groove while the total charge density of ions adsorbed in the major
groove stays unchanged. The adsorbed ion densities are highly structured along
the minor groove while they are almost smeared along the major groove.
Furthermore, for a fixed amount of added salt, the major groove cationic charge
is independent on the counterion valency. For increasing salt concentration the
major groove is neutralized while the total charge adsorbed in the minor groove
is constant. DNA overcharging is detected for multivalent salt. Simulations for
a larger ion radii, which mimic the effect of the ion hydration, indicate an
increased adsorbtion of cations in the major groove.Comment: 34 pages with 14 figure
Envisioning the future of aquatic animal tracking: Technology, science, and application
Electronic tags are significantly improving our understanding of aquatic animal behavior and are emerging as key sources of information for conservation and management practices. Future aquatic integrative biology and ecology studies will increasingly rely on data from electronic tagging. Continued advances in tracking hardware and software are needed to provide the knowledge required by managers and policymakers to address the challenges posed by the world's changing aquatic ecosystems. We foresee multiplatform tracking systems for simultaneously monitoring the position, activity, and physiology of animals and the environment through which they are moving. Improved data collection will be accompanied by greater data accessibility and analytical tools for processing data, enabled by new infrastructure and cyberinfrastructure. To operationalize advances and facilitate integration into policy, there must be parallel developments in the accessibility of education and training, as well as solutions to key governance and legal issues
Interaction of the cytosolic domains of sorLA/LR11 with the amyloid precursor protein (APP) and beta-secretase beta-site APP-cleaving enzyme
sorLA is a recently identified neuronal receptor for amyloid precursor protein (APP) that is known to interact with APP and affect its intracellular transport and processing. Decreased levels of sorLA in the brain of Alzheimer's disease (AD) patients and elevated levels of amyloid-beta peptide (Abeta) in sorLA-deficient mice point to the importance of the receptor in this neurodegenerative disorder. We analyzed APP cleavage in an APP-shedding assay and found that both sorLA and, surprisingly, a sorLA tail construct inhibited APP cleavage in a beta-site APP-cleaving enzyme (BACE)-dependent manner. In line with this finding, sorLA and the sorLA tail significantly reduced secreted Abeta levels when BACE was overexpressed, suggesting that sorLA influences beta-cleavage. To understand the effect of sorLA on APP cleavage by BACE, we analyzed whether sorLA interacts with APP and/or BACE. Because both full-length sorLA and sorLA C-terminal tail constructs were functionally relevant for APP processing, we analyzed sorLA-APP for a potential cytoplasmatic interaction domain. sorLA and C99 coimmunoprecipitated, pointing toward the existence of a new cytoplasmatic interaction site between sorLA and APP. Moreover, sorLA and BACE also coimmunoprecipitate. Thus, sorLA interacts both with BACE and APP and might therefore directly affect BACE-APP complex formation. To test whether sorLA impacts BACE-APP interactions, we used a fluorescence resonance energy transfer assay to evaluate BACE-APP interactions in cells. We discovered that sorLA significantly reduced BACE-APP interactions in Golgi. We postulate that sorLA acts as a trafficking receptor that prevents BACE-APP interactions and hence BACE cleavage of APP
- …