47,942 research outputs found
Horizon Mass Theorem
A new theorem for black holes is found. It is called the horizon mass
theorem. The horizon mass is the mass which cannot escape from the horizon of a
black hole. For all black holes: neutral, charged or rotating, the horizon mass
is always twice the irreducible mass observed at infinity. Previous theorems on
black holes are: 1. the singularity theorem, 2. the area theorem, 3. the
uniqueness theorem, 4. the positive energy theorem. The horizon mass theorem is
possibly the last general theorem for classical black holes. It is crucial for
understanding Hawking radiation and for investigating processes occurring near
the horizon.Comment: A new theorem for black holes is establishe
Event Stream Processing with Multiple Threads
Current runtime verification tools seldom make use of multi-threading to
speed up the evaluation of a property on a large event trace. In this paper, we
present an extension to the BeepBeep 3 event stream engine that allows the use
of multiple threads during the evaluation of a query. Various parallelization
strategies are presented and described on simple examples. The implementation
of these strategies is then evaluated empirically on a sample of problems.
Compared to the previous, single-threaded version of the BeepBeep engine, the
allocation of just a few threads to specific portions of a query provides
dramatic improvement in terms of running time
Precautionary labelling of foods for allergen content: are we ready for a global framework?
© 2014 Allen et al.; licensee BioMed Central Ltd.Food allergy appears to be on the rise with the current mainstay of treatment centred on allergen avoidance. Mandatory allergen labelling has improved the safety of food for allergic consumers. However an additional form of voluntary labelling (termed precautionary allergen labelling) has evolved on a wide range of packaged goods, in a bid by manufacturers to minimise risk to customers, and the negative impact on business that might result from exposure to trace amounts of food allergen present during cross-contamination during production. This has resulted in near ubiquitous utilisation of a multitude of different precautionary allergen labels with subsequent confusion amongst many consumers as to their significance. The global nature of food production and manufacturing makes harmonisation of allergen labelling regulations across the world a matter of increasing importance. Addressing inconsistencies across countries with regards to labelling legislation, as well as improvement or even banning of precautionary allergy labelling are both likely to be significant steps forward in improved food safety for allergic families. This article outlines the current status of allergen labelling legislation around the world and reviews the value of current existing precautionary allergen labelling for the allergic consumer. We strongly urge for an international framework to be considered to help roadmap a solution to the weaknesses of the current systems, and discuss the role of legislation in facilitating this
Enumeration of distinct mechanically stable disk packings in small systems
We create mechanically stable (MS) packings of bidisperse disks using an
algorithm in which we successively grow or shrink soft repulsive disks followed
by energy minimization until the overlaps are vanishingly small. We focus on
small systems because this enables us to enumerate nearly all distinct MS
packings. We measure the probability to obtain a MS packing at packing fraction
and find several notable results. First, the probability is highly
nonuniform. When averaged over narrow packing fraction intervals, the most
probable MS packing occurs at the highest and the probability decays
exponentially with decreasing . Even more striking, within each
packing-fraction interval, the probability can vary by many orders of
magnitude. By using two different packing-generation protocols, we show that
these results are robust and the packing frequencies do not change
qualitatively with different protocols.Comment: 4 pages, 3 figures, Conference Proceedings for X International
Workshop on Disordered System
Distributional and classical solutions to the Cauchy Boltzmann problem for soft potentials with integrable angular cross section
This paper focuses on the study of existence and uniqueness of distributional
and classical solutions to the Cauchy Boltzmann problem for the soft potential
case assuming integrability of the angular part of the collision
kernel (Grad cut-off assumption). For this purpose we revisit the
Kaniel--Shinbrot iteration technique to present an elementary proof of
existence and uniqueness results that includes large data near a local
Maxwellian regime with possibly infinite initial mass. We study the propagation
of regularity using a recent estimate for the positive collision operator given
in [3], by E. Carneiro and the authors, that permits to study such propagation
without additional conditions on the collision kernel. Finally, an
-stability result (with ) is presented assuming the
aforementioned condition.Comment: 19 page
Multi-Step Look-Ahead Trajectory Planning in SLAM: Possibility and Necessity
In this paper, the possibility and necessity of multistep trajectory planning in Extended Kalman Filter (EKF) based SLAM is investigated. The objective of the trajectory planning here is to minimize the estimation error of the robot and landmark locations subject to a given time horizon. We show that the problem can be regarded as an optimization problem for a gradually identified model. A numerical method is proposed for trajectory planning using a variant of the nonlinear Model Predictive Control (MPC). The proposed method is optimal in the sense that the control action is computed using all the information available at the time of decision making. Simulation results are included to compare the results from the one-step look-ahead trajectory planning and the proposed multi-step lookahead techniqu
Performance of a prototype active veto system using liquid scintillator for a dark matter search experiment
We report the performance of an active veto system using a liquid
scintillator with NaI(Tl) crystals for use in a dark matter search experiment.
When a NaI(Tl) crystal is immersed in the prototype detector, the detector tags
48% of the internal K-40 background in the 0-10 keV energy region. We also
determined the tagging efficiency for events at 6-20 keV as 26.5 +/- 1.7% of
the total events, which corresponds to 0.76 +/- 0.04 events/keV/kg/day.
According to a simulation, approximately 60% of the background events from U,
Th, and K radioisotopes in photomultiplier tubes are tagged at energies of 0-10
keV. Full shielding with a 40-cm-thick liquid scintillator can increase the
tagging efficiency for both the internal K-40 and external background to
approximately 80%.Comment: Submitted to Nuclear Instruments and Methods in Physics Research
Section
Diffusion-limited loop formation of semiflexible polymers: Kramers theory and the intertwined time scales of chain relaxation and closing
We show that Kramers rate theory gives a straightforward, accurate estimate
of the closing time of a semiflexible polymer that is valid in cases
of physical interest. The calculation also reveals how the time scales of chain
relaxation and closing are intertwined, illuminating an apparent conflict
between two ways of calculating in the flexible limit.Comment: Europhys. Lett., 2003 (in press). 8 pages, 3 figures. See also,
physics/0101087 for physicist's approach to and the importance of
semiflexible polymer looping, in DNA replicatio
Occupational choice, number of entrepreneurs and output: theory and empirical evidence with Spanish data
This paper extends the (Lucas, Bell J Econ 9:508–523,1978) model of occupational choices by individuals with different skills, beyond the simple options of self-employment or wage-employment, by including a second choice for the self-employed. That is, an option to hire employees and so become self-employed with employees (SEWEs), or to be self-employed without employees (SEWNEs). We solve for the market equilibrium and examine the sensitivity of relative sizes of occupational groups, and of the level of productivity, to changes in the exogenous parameters. The results show that the positive (negative) association between number of SEWEs (SEWNEs) and productivity, observed in the Spanish data, can be explained, under certain conditions, as the result of cross-region and time differences in average skills. These findings point to the importance of distinguishing between SEWEs and SEWNEs in drawing valid conclusions concerning any link between entrepreneurship and economic development
- …