On some geometric features of the Kramer interior solution for a rotating perfect fluid

Geometric features (including convexity properties) of an exact interior gravitational field due to a self-gravitating axisymmetric body of perfect fluid in stationary, rigid rotation are studied. In spite of the seemingly non-Newtonian features of the bounding surface for some rotation rates, we show, by means of a detailed analysis of the three-dimensional spatial geodesics, that the standard Newtonian convexity properties do hold. A central role is played by a family of geodesics that are introduced here, and provide a generalization of the Newtonian straight lines parallel to the axis of rotation.Comment: LaTeX, 15 pages with 4 Poscript figures. To be published in Classical and Quantum Gravit

Hydrogen on graphene: Electronic structure, total energy, structural distortions, and magnetism from first-principles calculations

Density functional calculations of electronic structure, total energy, structural distortions, and magnetism for hydrogenated single-layer, bilayer, and multi-layer graphene are performed. It is found that hydrogen-induced magnetism can survives only at very low concentrations of hydrogen (single-atom regime) whereas hydrogen pairs with optimized structure are usually nonmagnetic. Chemisorption energy as a function of hydrogen concentration is calculated, as well as energy barriers for hydrogen binding and release. The results confirm that graphene can be perspective material for hydrogen storage. Difference between hydrogenation of graphene, nanotubes, and bulk graphite is discussed.Comment: 8 pages 8 figures (accepted to Phys. Rev. B

Existence of axially symmetric static solutions of the Einstein-Vlasov system

We prove the existence of static, asymptotically flat non-vacuum spacetimes with axial symmetry where the matter is modeled as a collisionless gas. The axially symmetric solutions of the resulting Einstein-Vlasov system are obtained via the implicit function theorem by perturbing off a suitable spherically symmetric steady state of the Vlasov-Poisson system.Comment: 32 page

Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution

Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce interaction-based declassification policies, in which the user's interactions with the app constrain the release of sensitive information. Our policies are defined extensionally, so as to be independent of the app's implementation, based on sequences of security-relevant events that occur in app runs. Policies use LTL formulae to precisely specify which secret inputs, read at which times, may be released. We formalize a semantic security condition, interaction-based noninterference, to define our policies precisely. Finally, we describe a prototype tool that uses symbolic execution to check interaction-based declassification policies for Android, and we show that it enforces policies correctly on a set of apps.Comment: This research was supported in part by NSF grants CNS-1064997 and 1421373, AFOSR grants FA9550-12-1-0334 and FA9550-14-1-0334, a partnership between UMIACS and the Laboratory for Telecommunication Sciences, and the National Security Agenc

Chest sonography: a useful tool to differentiate acute cardiogenic pulmonary edema from acute respiratory distress syndrome

<p>Abstract</p> <p>Background</p> <p>Differential diagnosis between acute cardiogenic pulmonary edema (APE) and acute lung injury/acute respiratory distress syndrome (ALI/ARDS) may often be difficult. We evaluated the ability of chest sonography in the identification of characteristic pleuropulmonary signs useful in the diagnosis of ALI/ARDS and APE.</p> <p>Methods</p> <p>Chest sonography was performed on admission to the intensive care unit in 58 consecutive patients affected by ALI/ARDS or by acute pulmonary edema (APE).</p> <p>Results</p> <p>Ultrasound examination was focalised on finding in the two groups the presence of: 1) alveolar-interstitial syndrome (AIS) 2) pleural lines abnormalities 3) absence or reduction of "gliding" sign 4) "spared areas" 5) consolidations 6) pleural effusion 7) "lung pulse".</p> <p>AIS was found in 100% of patients with ALI/ARDS and in 100% of patients with APE (p = ns). Pleural line abnormalities were observed in 100% of patients with ALI/ARDS and in 25% of patients with APE (p < 0.0001). Absence or reduction of the 'gliding sign' was observed in 100% of patients with ALI/ARDS and in 0% of patients with APE. 'Spared areas' were observed in 100% of patients with ALI/ARDS and in 0% of patients with APE (p < 0.0001). Consolidations were present in 83.3% of patients with ALI/ARDS in 0% of patients with APE (p < 0.0001). A pleural effusion was present in 66.6% of patients with ALI/ARDS and in 95% of patients with APE (p < 0.004). 'Lung pulse' was observed in 50% of patients with ALI/ARDS and in 0% of patients with APE (p < 0.0001).</p> <p>All signs, except the presence of AIS, presented a statistically significant difference in presentation between the two syndromes resulting specific for the ultrasonographic characterization of ALI/ARDS.</p> <p>Conclusion</p> <p>Pleuroparenchimal patterns in ALI/ARDS do find a characterization through ultrasonographic lung scan. In the critically ill the ultrasound demonstration of a dyshomogeneous AIS with spared areas, pleural line modifications and lung consolidations is strongly predictive, in an early phase, of non-cardiogenic pulmonary edema.</p

Celestial mechanics of elastic bodies

We construct time independent configurations of two gravitating elastic bodies. These configurations either correspond to the two bodies moving in a circular orbit around their center of mass or strictly static configurations.Comment: 16 pages, 2 figures, several typos removed, erratum appeared in MathZ.263:233,200

LDA+DMFT computation of the electronic spectrum of NiO

The electronic spectrum, energy gap and local magnetic moment of paramagnetic NiO are computed by using the local density approximation plus dynamical mean-field theory (LDA+DMFT). To this end the noninteracting Hamiltonian obtained within the local density approximation (LDA) is expressed in Wannier functions basis, with only the five anti-bonding bands with mainly Ni 3d character taken into account. Complementing it by local Coulomb interactions one arrives at a material-specific many-body Hamiltonian which is solved by DMFT together with quantum Monte-Carlo (QMC) simulations. The large insulating gap in NiO is found to be a result of the strong electronic correlations in the paramagnetic state. In the vicinity of the gap region, the shape of the electronic spectrum calculated in this way is in good agreement with the experimental x-ray-photoemission and bremsstrahlung-isochromat-spectroscopy results of Sawatzky and Allen. The value of the local magnetic moment computed in the paramagnetic phase (PM) agrees well with that measured in the antiferromagnetic (AFM) phase. Our results for the electronic spectrum and the local magnetic moment in the PM phase are in accordance with the experimental finding that AFM long-range order has no significant influence on the electronic structure of NiO.Comment: 15 pages, 6 figures, 1 table; published versio

Sustaining entrepreneurial business: a complexity perspective on processes that produce emergent practice

This article examines the management practices in an entrepreneurial small firm which sustain the business. Using a longitudinal qualitative case study, four general processes are identified (experimentation, reflexivity, organising and sensing), that together provide a mechanism to sustain the enterprise. The analysis draws on concepts from entrepreneurship and complexity science. We suggest that an entrepreneur’s awareness of the role of these parallel processes will facilitate their approaches to sustaining and developing enterprises. We also suggest that these processes operate in parallel at multiple levels, including the self, the business and inter-firm networks. This finding contributes to a general theory of entrepreneurship. A number of areas for further research are discussed arising from this result

Information scraps: how and why information eludes our personal information management tools

In this paper we describe information scraps -- a class of personal information whose content is scribbled on Post-it notes, scrawled on corners of random sheets of paper, buried inside the bodies of e-mail messages sent to ourselves, or typed haphazardly into text files. Information scraps hold our great ideas, sketches, notes, reminders, driving directions, and even our poetry. We define information scraps to be the body of personal information that is held outside of its natural or We have much still to learn about these loose forms of information capture. Why are they so often held outside of our traditional PIM locations and instead on Post-its or in text files? Why must we sometimes go around our traditional PIM applications to hold on to our scraps, such as by e-mailing ourselves? What are information scraps' role in the larger space of personal information management, and what do they uniquely offer that we find so appealing? If these unorganized bits truly indicate the failure of our PIM tools, how might we begin to build better tools? We have pursued these questions by undertaking a study of 27 knowledge workers. In our findings we describe information scraps from several angles: their content, their location, and the factors that lead to their use, which we identify as ease of capture, flexibility of content and organization, and avilability at the time of need. We also consider the personal emotive responses around scrap management. We present a set of design considerations that we have derived from the analysis of our study results. We present our work on an application platform, jourknow, to test some of these design and usability findings