12,428 research outputs found
Toward a High Performance Health System for the United States
Describes the features of the U.S. healthcare system and measures ten areas of performance, including access to appropriate care, quality care from the patient's perspective, affordability, and capacity for improvement. Provides recommendations
Start-ups, firm growth and the consolidation of the French biotech industry
Based on an original dataset, we analyze empirically the determinants of firm growth in the French biotech industry during two periods, 1996-1999 and 1999-2002. We have two main results. First, Gibrat's law is violated. The growth of annual turnover is influenced by teh initial size of the firm. The effect is non-linear, negative for small firms. Second, location has a significant impact on growth. We use different sets of dummies to characterize location and different measures of firm growth. As a whole, our results point at Marseilles (and its region) and Nanterre (but not Paris and Evry) as favorable places for the growth of firms between 1999 and 2002. For the 1996-1999, the favorable places are Strasbourg (and Alsace) and Rh“ne-Alpes (Lyon/Grenoble). Our analysis thus suggests that the changes in the (notably legal) environment of French biotech firms that took place in 1999 had a drastic effect of the comparative advantages of locations for biotech firms.BIOTECHNOLOGY; INDUSTRIAL CLUSTERING; FIRM GROWTH; FRANCE
Alien Registration- Gauthier, Maria C. (Sanford, York County)
https://digitalmaine.com/alien_docs/2714/thumbnail.jp
A Kaluza-Klein Model with Spontaneous Symmetry Breaking: Light-Particle Effective Action and its Compactification Scale Dependence
We investigate decoupling of heavy Kaluza-Klein modes in an Abelian Higgs
model with space-time topologies and
. After integrating out heavy KK
modes we find the effective action for the zero mode fields. We find that in
the topology the heavy modes do not decouple in
the effective action, due to the zero mode of the 5-th component of the 5-d
gauge field . Because is a scalar under 4-d Lorentz
transformations, there is no gauge symmetry protecting it from getting mass and
interaction terms after loop corrections. In addition, after
symmetry breaking, we find new divergences in the mass that did not
appear in the symmetric phase. The new divergences are traced back to the
gauge-goldstone mixing that occurs after symmetry breaking. The relevance of
these new divergences to Symanzik's theorem is discussed. In order to get a
more sensible theory we investigate the
compactification. With this kind of compact topology, the zero mode
disappears. With no , there are no new divergences and the heavy modes
decouple. We also discuss the dependence of the couplings and masses on the
compactification scale. We derive a set of RG-like equations for the running of
the effective couplings with respect to the compactification scale. It is found
that magnitudes of both couplings decrease as the scale increases. The
effective masses are also shown to decrease with increasing compactification
scale. All of this opens up the possibility of placing constraints on the size
of extra dimensions.Comment: 35 pages, 6 figure
A Roadmap to Health Insurance for All: Principles for Reform
Presents principles for health insurance reform and compares the potential of three approaches -- tax incentives for the individual insurance market; mixed private-public group insurance with shared financing responsibility; and public insurance
Premise Selection and External Provers for HOL4
Learning-assisted automated reasoning has recently gained popularity among
the users of Isabelle/HOL, HOL Light, and Mizar. In this paper, we present an
add-on to the HOL4 proof assistant and an adaptation of the HOLyHammer system
that provides machine learning-based premise selection and automated reasoning
also for HOL4. We efficiently record the HOL4 dependencies and extract features
from the theorem statements, which form a basis for premise selection.
HOLyHammer transforms the HOL4 statements in the various TPTP-ATP proof
formats, which are then processed by the ATPs. We discuss the different
evaluation settings: ATPs, accessible lemmas, and premise numbers. We measure
the performance of HOLyHammer on the HOL4 standard library. The results are
combined accordingly and compared with the HOL Light experiments, showing a
comparably high quality of predictions. The system directly benefits HOL4 users
by automatically finding proofs dependencies that can be reconstructed by
Metis
High-order optical nonlinearity at low light levels
We observe a nonlinear optical process in a gas of cold atoms that
simultaneously displays the largest reported fifth-order nonlinear
susceptibility \chi^(5) = 1.9x10^{-12} (m/V)^4 and high transparency. The
nonlinearity results from the simultaneous cooling and crystallization of the
gas, and gives rise to efficient Bragg scattering in the form of
six-wave-mixing at low-light-levels. For large atom-photon coupling strengths,
the back-action of the scattered fields influences the light-matter dynamics.
This system may have important applications in many-body physics, quantum
information processing, and multidimensional soliton formation.Comment: 5 pages, 3 figure
Organizing the U.S. Health Care Delivery System for High Performance
Analyzes the fragmentation of the healthcare delivery system and makes policy recommendations -- including payment reform, regulatory changes, and infrastructure -- for creating mechanisms to coordinate care across providers and settings
- …