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 $B_q\to\rho$, $B_q\to\omega$, $B_q\to K^*$, $B_s\to K^*$ and $B_s\to \phi$ form factors from light-cone sum rules (LCSR) at $\mathcal{O}(\alpha_s)$ for twist-2 and 3 and $\mathcal{O}(\alpha_s^0)$ for twist-4 with updated hadronic input parameters. Three asymptotic light-cone distribution amplitudes of twist-$4$ (and $5$) 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 $B\to K^*\ell\ell$ angular observables. We provide easy-to-use fits to the LCSR results, including the full error correlation matrix, in all modes at low $q^2$ as well as combined fits to LCSR and lattice results covering the entire kinematic range for $B_q\to K^*$, $B_s\to K^*$ and $B_s\to \phi$. 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 $B\to K^*\gamma$ as well as $B\to K^*\ell^+\ell^-$ and $B_s\to\phi\mu^+\mu^-$ at low dilepton invariant mass. Employing our $B \to (\rho,\omega)$ form factor results we extract the CKM element $|V_\mathrm{ub}|$ from the semileptonic decays $B\to(\rho,\omega) \ell\nu$ 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

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 $\mu$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 $\mu$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 $\mu$m AIB emission from class B$_{11.2}$ in the molecular PDR to class A$_{11.2}$ 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&

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 photo-dissociation regions (PDRs) on the surfaces of protoplanetary disks around low-mass stars, impacting planet formation within the disks. We report JWST and Atacama Large Millimetere Array observations of a FUV-irradiated protoplanetary disk in the Orion Nebula. Emission lines are detected from the PDR; modelling their kinematics and excitation allows us to constrain the physical conditions within the gas. We quantify the mass-loss rate induced by the FUV irradiation, finding 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 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

Photography-based taxonomy is inadequate, unnecessary, and potentially harmful for biological sciences

The question whether taxonomic descriptions naming new animal species without type specimen(s) deposited in collections should be accepted for publication by scientific journals and allowed by the Code has already been discussed in Zootaxa (Dubois & Nemésio 2007; Donegan 2008, 2009; Nemésio 2009a–b; Dubois 2009; Gentile & Snell 2009; Minelli 2009; Cianferoni & Bartolozzi 2016; Amorim et al. 2016). This question was again raised in a letter supported by 35 signatories published in the journal Nature (Pape et al. 2016) on 15 September 2016. On 25 September 2016, the following rebuttal (strictly limited to 300 words as per the editorial rules of Nature) was submitted to Nature, which on 18 October 2016 refused to publish it. As we think this problem is a very important one for zoological taxonomy, this text is published here exactly as submitted to Nature, followed by the list of the 493 taxonomists and collection-based researchers who signed it in the short time span from 20 September to 6 October 2016

Impact of COVID-19 on cardiovascular testing in the United States versus the rest of the world

Objectives: This study sought to quantify and compare the decline in volumes of cardiovascular procedures between the United States and non-US institutions during the early phase of the coronavirus disease-2019 (COVID-19) pandemic. Background: The COVID-19 pandemic has disrupted the care of many non-COVID-19 illnesses. Reductions in diagnostic cardiovascular testing around the world have led to concerns over the implications of reduced testing for cardiovascular disease (CVD) morbidity and mortality. Methods: Data were submitted to the INCAPS-COVID (International Atomic Energy Agency Non-Invasive Cardiology Protocols Study of COVID-19), a multinational registry comprising 909 institutions in 108 countries (including 155 facilities in 40 U.S. states), assessing the impact of the COVID-19 pandemic on volumes of diagnostic cardiovascular procedures. Data were obtained for April 2020 and compared with volumes of baseline procedures from March 2019. We compared laboratory characteristics, practices, and procedure volumes between U.S. and non-U.S. facilities and between U.S. geographic regions and identified factors associated with volume reduction in the United States. Results: Reductions in the volumes of procedures in the United States were similar to those in non-U.S. facilities (68% vs. 63%, respectively; p = 0.237), although U.S. facilities reported greater reductions in invasive coronary angiography (69% vs. 53%, respectively; p < 0.001). Significantly more U.S. facilities reported increased use of telehealth and patient screening measures than non-U.S. facilities, such as temperature checks, symptom screenings, and COVID-19 testing. Reductions in volumes of procedures differed between U.S. regions, with larger declines observed in the Northeast (76%) and Midwest (74%) than in the South (62%) and West (44%). Prevalence of COVID-19, staff redeployments, outpatient centers, and urban centers were associated with greater reductions in volume in U.S. facilities in a multivariable analysis. Conclusions: We observed marked reductions in U.S. cardiovascular testing in the early phase of the pandemic and significant variability between U.S. regions. The association between reductions of volumes and COVID-19 prevalence in the United States highlighted the need for proactive efforts to maintain access to cardiovascular testing in areas most affected by outbreaks of COVID-19 infection