908 research outputs found
Sibling Dependences in Branching Populations
The branching process got its start with a demographic question asked by Francis Galton, in answer to those who mourned that the great writers and statesmen of the past have so few descendants living today. Galton suspected that even in an increasing population most people will have no descendants, or none beyond two or three generations; most of the increase of the race occurs in relatively few lines of descent. We can say of people in slowly growing populations that either they will have thousands of descendants or they will have none; the chance that they will have just two generation after generation is remote.
In the ordinary branching process it is taken that each individual has a certain probability of generating another individual in each moment, and these probabilities are independent of one another. The parent has the same chance of bearing a child after having born 5 previously as she had at the outset.
What the author has done in this paper is to allow for statistical dependency between siblings. He covers the case where a parent that has had several offspring is less likely to have one more. But it equally covers the case where having had a child shows that the person is fertile, and hence the probability of a further child is raised after the first birth. His results capture the asymptotic growth and fluctuations of such populations, that are followed to their ultimate theoretical condition of stability.
By making its assumptions more realistic, the author has increased the interest of the branching process for students of population
The Suitability Of Large Culverts As Crossing Structures For Deer
Most researchers that have investigated the use of wildlife crossing structures have done so through counting the number of animals present in the structures or the number of animals that crossed the road using the structures. However, we argue that crossing structure acceptance, as a percentage of all approaches, is a better measure of suitability. Once the acceptance of certain types and dimensions of crossing structures is known for different wildlife species, agencies can select crossing structures that meet certain goals. We used this method for one particular type of crossing structure; large diameter culverts. We placed wildlife cameras (Reconyxâ„¢) at the entrance of nine corrugated metal arched culverts located along US Highway 93 on the Flathead Indian Reservation, Montana; to capture approach behavior. We specifically examined the number of successful and aborted crossing attempts. White-tailed and mule deer were the most frequently observed species and had an acceptance rate of 84 percent (n = 455) and 66 percent (n = 56) respectively. Only 49 percent (n = 426) of the groups that passed the structures successfully showed an alert posture versus 93 percent (n = 98) for the groups that aborted the attempts. The two deer species showed slightly different levels of alertness with an alert posture for 55 percent of white-tailed deer (Odocoileus virginianus) events and 68 percent for mule deer (O. hemionus)events for all crossing attempts combined. The data show that wildlife acceptance rates and behavior at structures can vary between species and data on varying structure type and dimensions will add to our understanding of structure acceptability for various target species
Cloudbus Toolkit for Market-Oriented Cloud Computing
This keynote paper: (1) presents the 21st century vision of computing and
identifies various IT paradigms promising to deliver computing as a utility;
(2) defines the architecture for creating market-oriented Clouds and computing
atmosphere by leveraging technologies such as virtual machines; (3) provides
thoughts on market-based resource management strategies that encompass both
customer-driven service management and computational risk management to sustain
SLA-oriented resource allocation; (4) presents the work carried out as part of
our new Cloud Computing initiative, called Cloudbus: (i) Aneka, a Platform as a
Service software system containing SDK (Software Development Kit) for
construction of Cloud applications and deployment on private or public Clouds,
in addition to supporting market-oriented resource management; (ii)
internetworking of Clouds for dynamic creation of federated computing
environments for scaling of elastic applications; (iii) creation of 3rd party
Cloud brokering services for building content delivery networks and e-Science
applications and their deployment on capabilities of IaaS providers such as
Amazon along with Grid mashups; (iv) CloudSim supporting modelling and
simulation of Clouds for performance studies; (v) Energy Efficient Resource
Allocation Mechanisms and Techniques for creation and management of Green
Clouds; and (vi) pathways for future research.Comment: 21 pages, 6 figures, 2 tables, Conference pape
Start of the 2014/15 influenza season in Europe: drifted influenza A(H3N2) viruses circulate as dominant subtype
Members of the WHO European Region and European Influenza Surveillance Network: Portugal: Raquel Guiomar, Pedro Pechirra, Paula Cristovão, Inês Costa, Baltazar Nunes, Ana Rodrigues.The influenza season 2014/15 started in Europe in week 50 2014 with influenza A(H3N2) viruses predominating. The majority of the A(H3N2) viruses characterised antigenically and/or genetically differ from the northern hemisphere vaccine component which may result in reduced vaccine effectiveness for the season. We therefore anticipate that this season may be more severe than the 2013/14 season. Treating influenza with antivirals in addition to prevention with vaccination will be important
Very static enforcement of dynamic policies
Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change.
A static verification of a dynamic information flow policy, from a semantic perspective, should only need to concern itself with two things: 1) the dependencies between data in a program, and 2) whether those dependencies are consistent with the intended flow policies as they change over time. In this paper we provide a formal ground for this intuition. We present a straightforward extension to the principal flow-sensitive type system introduced by Hunt and Sands (POPL’06, ESOP’11) to infer both end-to-end dependencies and dependencies at intermediate points in a program. This allows typings to be applied to verification of both static and dynamic policies. Our extension preserves the principal type system’s distinguishing feature, that type inference is independent of the policy to be enforced: a single, generic dependency analysis (typing) can be used to verify many different dynamic policies of a given program, thus achieving a clean separation between (1) and (2).
We also make contributions to the foundations of dynamic information flow. Arguably, the most compelling semantic definitions for dynamic security conditions in the literature are phrased in the so-called knowledge-based style. We contribute a new definition of knowledge-based progress insensitive security for dynamic policies. We show that the new definition avoids anomalies of previous definitions and enjoys a simple and useful characterisation as a two-run style property
Hydrodynamic stability and mode coupling in Keplerian flows: local strato-rotational analysis
Aims. Qualitative analysis of key (but yet unappreciated) linear phenomena in
stratified hydrodynamic Keplerian flows: (i) the occurrence of a vortex mode,
as a consequence of strato-rotational balance, with its transient dynamics;
(ii) the generation of spiral-density waves (also called inertia-gravity or
waves) by the vortex mode through linear mode coupling in shear
flows. Methods. Non-modal analysis of linearized Boussinesq equations written
in the shearing sheet approximation of accretion disk flows. Results. It is
shown that the combined action of rotation and stratification introduces a new
degree of freedom -- vortex mode perturbation -- which is linearly coupled with
the spiral-density waves. These two modes are jointly able to extract energy
from the background flow and they govern the disk dynamics in the small-scale
range. The transient behavior of these modes is determined by the non-normality
of the Keplerian shear flow. Tightly leading vortex mode perturbations undergo
substantial transient growth, then, becoming trailing, inevitably generate
trailing spiral-density waves by linear mode coupling. This course of events --
transient growth plus coupling -- is particularly pronounced for perturbation
harmonics with comparable azimuthal and vertical scales and it renders the
energy dynamics similar to the 3D unbounded plane Couette flow case.
Conclusions. Our investigation strongly suggests that the so-called bypass
concept of turbulence, which has been recently developed by the hydrodynamic
community for spectrally stable shear flows, can also be applied to Keplerian
disks. This conjecture may be confirmed by appropriate numerical simulations
that take in account the vertical stratification and consequent mode coupling
in the high Reynolds number regime.Comment: A&A (accepted
Seasonality and geographical spread of respiratory syncytial virus epidemics in 15 European countries, 2010 to 2016
Respiratory syncytial virus (RSV) is considered the most common pathogen causing severe lower respiratory tract infections among infants and young children. We describe the seasonality and geographical spread of RSV infection in 15 countries of the European Union and European Economic Area. We performed a retrospective descriptive study of weekly laboratory-confirmed RSV detections between weeks 40/2010 and 20/2016, in patients investigated for influenzalike illness, acute respiratory infection or following the clinician's judgment. Six countries reported 4,230 sentinel RSV laboratory diagnoses from primary care and 14 countries reported 156,188 non-sentinel laboratory diagnoses from primary care or hospitals. The median length of the RSV season based on sentinel and non-sentinel surveillance was 16 (range: 9-24) and 18 (range: 8-24) weeks, respectively. The median peak weeks for sentinel and non-sentinel detections were week 4 (range: 48 to 11) and week 4.5 (range: 49 to 17), respectively. RSV detections peaked later (r = 0.56; p = 0.0360) and seasons lasted longer with increasing latitude (r = 0.57; p = 0.0329). Our data demonstrated regular seasonality with moderate correlation between timing of the epidemic and increasing latitude of the country. This study supports the use of RSV diagnostics within influenza or other surveillance systems to monitor RSV seasonality and geographical spread
A generalization of the Bombieri-Pila determinant method
The so-called determinant method was developed by Bombieri and Pila in 1989
for counting integral points of bounded height on affine plane curves. In this
paper we give a generalization of that method to varieties of higher dimension,
yielding a proof of Heath-Brown's 'Theorem 14' by real-analytic considerations
alone.Comment: 13 page
Phase-Field Model of Mode III Dynamic Fracture
We introduce a phenomenological continuum model for mode III dynamic fracture
that is based on the phase-field methodology used extensively to model
interfacial pattern formation. We couple a scalar field, which distinguishes
between ``broken'' and ``unbroken'' states of the system, to the displacement
field in a way that consistently includes both macroscopic elasticity and a
simple rotationally invariant short scale description of breaking. We report
two-dimensional simulations that yield steady-state crack motion in a strip
geometry above the Griffith threshold.Comment: submitted to PR
- …