123 research outputs found
Explicit Evidence Systems with Common Knowledge
Justification logics are epistemic logics that explicitly include
justifications for the agents' knowledge. We develop a multi-agent
justification logic with evidence terms for individual agents as well as for
common knowledge. We define a Kripke-style semantics that is similar to
Fitting's semantics for the Logic of Proofs LP. We show the soundness,
completeness, and finite model property of our multi-agent justification logic
with respect to this Kripke-style semantics. We demonstrate that our logic is a
conservative extension of Yavorskaya's minimal bimodal explicit evidence logic,
which is a two-agent version of LP. We discuss the relationship of our logic to
the multi-agent modal logic S4 with common knowledge. Finally, we give a brief
analysis of the coordinated attack problem in the newly developed language of
our logic
Associations between preschool attendance and developmental impairments in pre-school children in a six-year retrospective survey
BACKGROUND: Many school-aged children suffer physical and mental impairments which can adversely affect their development and result in significant morbidity. A high proportion of children in western countries attend pre-school, and it is likely that the preschool environment influences the prevalence and severity of these impairments. Currently there is insufficient data available on the prevalence of these impairments and their causal associations. The influence that location of a pre-school and the duration of preschool attendance have on the prevalence of these impairments is not known. METHODS: In a retrospective survey spanning six years (1997–2002) we reviewed the records of 6,230 preschool children who had undergone routine school entry assessments. These children had been assessed utilising a modified manual of the "Bavarian Model" for school entry examinations. This model outlines specific criteria for impairments of motor, cognitive, behavioural and psychosocial functioning. Prevalence rates for physical and behavioural impairments were based on the results of these assessments. The relationship between the prevalence of impairments and the duration of preschool attendance and the location of the preschool attended was estimated utilizing logistic regression models. RESULTS: We found that 20.7% of children met the criteria for at least one type of impairment. Highest prevalence rates (11.5%) were seen for speech impairments and lowest (3.5%) for arithmetic impairments. Boys were disproportionately over represented, with 25.5% meeting the criteria for impairment, compared to 13.0% for girls. Children who had attended preschool for less than one year demonstrated higher rates of impairment (up to 19.1% for difficulties with memory, concentration or perseverance) compared to those who had attended for a longer duration (up to 11.6% for difficulties with pronouncation). Children attending preschool in an urban location had slightly elevated rates of impairment (up to 12.7%), compared to their rural counterparts (up to 11.1%). CONCLUSION: Our results demonstrate that there are high prevalence rates for physical and mental impairments among preschool children. Furthermore, children without preschool experience are a risk group for struggling with educational successes. The associations between the duration of preschool attendance and location of preschool attended and rates of impairment need replication and further exploration. Larger prospective studies are needed to examine if these relationships are causal and may therefore lend themselves to specific intervention strategies
B →Vℓ+ℓ− in the Standard Model from light-cone sum rules
We present , , , and
form factors from light-cone sum rules (LCSR) at
for twist-2 and 3 and for
twist-4 with updated hadronic input parameters. Three asymptotic light-cone
distribution amplitudes of twist- (and ) are determined, necessary for
the form factors to obey the equations of motion. It is argued that the latter
constrain the uncertainty of tensor-to-vector form factor ratios thereby
improving the prediction of zeros of helicity amplitudes of major importance
for angular observables. We provide easy-to-use fits to the
LCSR results, including the full error correlation matrix, in all modes at low
as well as combined fits to LCSR and lattice results covering the entire
kinematic range for , and . The error
correlation matrix avoids the problem of overestimating the uncertainty in
phenomenological applications. Using the new form factors and recent
computations of non-factorisable contributions we provide Standard Model
predictions for as well as and
at low dilepton invariant mass. Employing our form factor results we extract the CKM element
from the semileptonic decays and
find good agreement with other exclusive determinations.Comment: 64 pages, 7 figures, 15 tables. v3: Minor clarifications, numerics
unchanged. Matches version published in JHE
Brain structure and function: a multidisciplinary pipeline to study hominoid brain evolution
To decipher the evolution of the hominoid brain and its functions, it is essential to conduct comparative studies in primates, including our closest living relatives. However, strong ethical concerns preclude in vivo neuroimaging of great apes. We propose a responsible and multidisciplinary alternative approach that links behavior to brain anatomy in non-human primates from diverse ecological backgrounds. The brains of primates observed in the wild or in captivity are extracted and fixed shortly after natural death, and then studied using advanced MRI neuroimaging and histology to reveal macro- and microstructures. By linking detailed neuroanatomy with observed behavior within and across primate species, our approach provides new perspectives on brain evolution. Combined with endocranial brain imprints extracted from computed tomographic scans of the skulls these data provide a framework for decoding evolutionary changes in hominin fossils. This approach is poised to become a key resource for investigating the evolution and functional differentiation of hominoid brains
The type VII secretion system of <i>Staphylococcus aureus</i> secretes a nuclease toxin that targets competitor bacteria
The type VII protein secretion system (T7SS) plays a critical role in the virulence of human pathogens including Mycobacterium tuberculosis and Staphylococcus aureus. Here we report that the S. aureus T7SS secretes a large nuclease toxin, EsaD. The toxic activity of EsaD is neutralised during its biosynthesis through complex formation with an antitoxin, EsaG, which binds to its C-terminal nuclease domain. The secretion of EsaD is dependent upon a further accessory protein, EsaE, that does not interact with the nuclease domain, but instead binds to the EsaD N-terminal region. EsaE has a dual cytoplasmic/membrane localization and membrane-bound EsaE interacts with the T7SS secretion ATPase, EssC, implicating EsaE in targeting the EsaDG complex to the secretion apparatus. EsaD and EsaE are co-secreted whereas EsaG is found only in the cytoplasm and may be stripped off during the secretion process. Strain variants of S. aureus that lack esaD encode at least two copies of EsaG-like proteins most likely to protect themselves from the toxic activity of EsaD secreted by esaD(+) strains. In support of this, a strain overproducing EsaD elicits significant growth inhibition against a sensitive strain. We conclude that T7SSs may play unexpected and key roles in bacterial competitiveness
The Origins of Concentric Demyelination: Self-Organization in the Human Brain
Baló's concentric sclerosis is a rare atypical form of multiple sclerosis characterized by striking concentric demyelination patterns. We propose a robust mathematical model for Baló's sclerosis, sharing common molecular and cellular mechanisms with multiple sclerosis. A reconsideration of the analogies between Baló's sclerosis and the Liesegang periodic precipitation phenomenon led us to propose a chemotactic cellular model for this disease. Rings of demyelination appear as a result of self-organization processes, and closely mimic Baló lesions. According to our results, homogeneous and concentric demyelinations may be two different macroscopic outcomes of a single fundamental immune disorder. Furthermore, in chemotactic models, cellular aggressivity appears to play a central role in pattern formation
A far-ultraviolet-driven photoevaporation flow observed in a protoplanetary disk.
Most low-mass stars form in stellar clusters that also contain massive stars, which are sources of far-ultraviolet (FUV) radiation. Theoretical models predict that this FUV radiation produces photodissociation regions (PDRs) on the surfaces of protoplanetary disks around low-mass stars, which affects planet formation within the disks. We report James Webb Space Telescope and Atacama Large Millimeter Array observations of a FUV-irradiated protoplanetary disk in the Orion Nebula. Emission lines are detected from the PDR; modeling their kinematics and excitation allowed us to constrain the physical conditions within the gas. We quantified the mass-loss rate induced by the FUV irradiation and found that it is sufficient to remove gas from the disk in less than a million years. This is rapid enough to affect giant planet formation in the disk
PDRs4All IV. An embarrassment of riches: Aromatic infrared bands in the Orion Bar
(Abridged) Mid-infrared observations of photodissociation regions (PDRs) are
dominated by strong emission features called aromatic infrared bands (AIBs).
The most prominent AIBs are found at 3.3, 6.2, 7.7, 8.6, and 11.2 m. The
most sensitive, highest-resolution infrared spectral imaging data ever taken of
the prototypical PDR, the Orion Bar, have been captured by JWST. We provide an
inventory of the AIBs found in the Orion Bar, along with mid-IR template
spectra from five distinct regions in the Bar: the molecular PDR, the atomic
PDR, and the HII region. We use JWST NIRSpec IFU and MIRI MRS observations of
the Orion Bar from the JWST Early Release Science Program, PDRs4All (ID: 1288).
We extract five template spectra to represent the morphology and environment of
the Orion Bar PDR. The superb sensitivity and the spectral and spatial
resolution of these JWST observations reveal many details of the AIB emission
and enable an improved characterization of their detailed profile shapes and
sub-components. While the spectra are dominated by the well-known AIBs at 3.3,
6.2, 7.7, 8.6, 11.2, and 12.7 m, a wealth of weaker features and
sub-components are present. We report trends in the widths and relative
strengths of AIBs across the five template spectra. These trends yield valuable
insight into the photochemical evolution of PAHs, such as the evolution
responsible for the shift of 11.2 m AIB emission from class B in
the molecular PDR to class A in the PDR surface layers. This
photochemical evolution is driven by the increased importance of FUV processing
in the PDR surface layers, resulting in a "weeding out" of the weakest links of
the PAH family in these layers. For now, these JWST observations are consistent
with a model in which the underlying PAH family is composed of a few species:
the so-called 'grandPAHs'.Comment: 25 pages, 10 figures, to appear in A&
PDRs4All II: JWST's NIR and MIR imaging view of the Orion Nebula
The JWST has captured the most detailed and sharpest infrared images ever
taken of the inner region of the Orion Nebula, the nearest massive star
formation region, and a prototypical highly irradiated dense photo-dissociation
region (PDR). We investigate the fundamental interaction of far-ultraviolet
photons with molecular clouds. The transitions across the ionization front
(IF), dissociation front (DF), and the molecular cloud are studied at
high-angular resolution. These transitions are relevant to understanding the
effects of radiative feedback from massive stars and the dominant physical and
chemical processes that lead to the IR emission that JWST will detect in many
Galactic and extragalactic environments. Due to the proximity of the Orion
Nebula and the unprecedented angular resolution of JWST, these data reveal that
the molecular cloud borders are hyper structured at small angular scales of
0.1-1" (0.0002-0.002 pc or 40-400 au at 414 pc). A diverse set of features are
observed such as ridges, waves, globules and photoevaporated protoplanetary
disks. At the PDR atomic to molecular transition, several bright features are
detected that are associated with the highly irradiated surroundings of the
dense molecular condensations and embedded young star. Toward the Orion Bar
PDR, a highly sculpted interface is detected with sharp edges and density
increases near the IF and DF. This was predicted by previous modeling studies,
but the fronts were unresolved in most tracers. A complex, structured, and
folded DF surface was traced by the H2 lines. This dataset was used to revisit
the commonly adopted 2D PDR structure of the Orion Bar. JWST provides us with a
complete view of the PDR, all the way from the PDR edge to the substructured
dense region, and this allowed us to determine, in detail, where the emission
of the atomic and molecular lines, aromatic bands, and dust originate
- …