A syntactic realization theorem for justification logics

Justification logics are refinements of modal logics where modalities are replaced by justification terms. They are connected to modal logics via so-called realization theorems. We present a syntactic proof of a single realization theorem that uniformly connects all the normal modal logics formed from the axioms \$mathsfd\$, \$mathsft\$, \$mathsfb\$, \$mathsf4\$, and \$mathsf5\$ with their justification counterparts. The proof employs cut-free nested sequent systems together with Fitting's realization merging technique. We further strengthen the realization theorem for \$mathsfKB5\$ and \$mathsfS5\$ by showing that the positive introspection operator is superfluous.

Multilocus analysis of genetic divergence between outcrossing Arabidopsis species: evidence of genome-wide admixture

P>Outcrossing Arabidopsis species that diverged from their inbreeding relative Arabidopsis thaliana 5 million yr ago and display a biogeographical pattern of interspecific sympatry vs intraspecific allopatry provides an ideal model for studying impacts of gene introgression and polyploidization on species diversification. Flow cytometry analyses detected ploidy polymorphisms of 2x and 4x in Arabidopsis lyrata ssp. kamchatica of Taiwan. Genomic divergence between species/subspecies was estimated based on 98 randomly chosen nuclear genes. Multilocus analyses revealed a mosaic genome in diploid A. l. kamchatica composed of Arabidopsis halleri-like and A. lyrata-like alleles. Coalescent analyses suggest that the segregation of ancestral polymorphisms alone cannot explain the high inconsistency between gene trees across loci, and that gene introgression via diploid A. l. kamchatica likely distorts the molecular phylogenies of Arabidopsis species. However, not all genes migrated across species freely. Gene ontology analyses suggested that some nonmigrating genes were constrained by natural selection. High levels of estimated ancestral polymorphisms between A. halleri and A. lyrata suggest that gene flow between these species has not completely ceased since their initial isolation. Polymorphism data of extant populations also imply recent gene flow between the species. Our study reveals that interspecific gene flow affects the genome evolution in Arabidopsis.

America's Shifting Color Line? Reexamining Determinants of Latino Racial Self-Identification

Objectives. Latinos are the nation's largest minority group and will double in size by 2050. Their size coupled with the fact that Latinos do not constitute a separate race raises questions about Latinos' incorporation into the U. S. racial hierarchy. This article explores patterns of Latino racial identity formation, examining the determinants of racial identity. Methods. Using the 2006 Latino National Survey, I estimate multinomial logit and ordered probit models of identification choices. Results. Latino racial identity is strongly associated with several factors, including socioeconomic status, measures of perceived discrimination and commonality, and measures of acculturation/assimilation. Most Latinos have a broader, more complex understanding of race. Furthermore, some Latinos do believe that they occupy a unique position in the racial hierarchy. Conclusions. The results suggest that the color line W. E. DuBois argued has long divided our nation may eventually shift.

5a-Butyl-1,3,8,10-tetra-chloro-7,13-bis-(4-nitro-benzo-yl)-5a,6a,12a,12b-tetra-hydro-7H,13H-thieno[2,3-b:4,5-b']bis-(1,4-benzoxazine)

The title compound, C(34)H(24)Cl(4)N(4)O(8)S, is a linear penta-cyclic system formed of two substituted benzoxazinyl groups fused to 2-n-butyl-tetra-hydro-thio-phene. The oxazine ring, which is fused to the n-butyl-substituted side of the thio-phene ring, is in a boat conformation. The other fused oxazine ring and the tetra-hydro-thiene ring are each in an envelope conformation. The bridgehead C atom alpha to both the S and N atoms forms the flap of each envelope. This results in a twist of the penta-cyclic system such that the dihedral angle between the terminal dichloro-benzene rings is 82.92 (8)°. In the crystal, inversion-related mol-ecules form a weakly hydrogen-bonded dimer, with two C-H⋯O inter-actions between an H atom on the oxazine ring and an amide O atom. Additionally, C-H⋯O inter-actions occur between an H atom on a screw-related nitro-benzene ring and an O atom on the nitro-benzene ring of one mol-ecule. One of the Cl atoms and the butyl group are disordered over two sets of sites with occupancy ratios of 0.94 (2):0.06 (2) and 0.624 (4):0.376 (4), respectively.

Benefits of communication skills training after real patient exposure

The established communication skills training (CST) curriculum consists of continuous education, frequent practice with real patients, supervision and feedback from medical teachers. The limitation of this curriculum is that students have to directly apply the theoretical basis they are provided with to real patients. To improve the existing CST curriculum a CST module involving simulated patients was introduced in order to develop more complex communication skills.

Allogeneic stem cell transplant in adult patients with acute myelogenous leukemia: a systematic analysis of international guidelines and recommendations

In patients with acute myelogenous leukemia, published guidelines and treatment recommendations are usually the basis for starting the work-up process for allogeneic transplant. However, only consistent recommendations would allow a standardized clinical practice. We conducted a comprehensive systematic literature search to identify and evaluate the best available evidence from controlled clinical trials. In addition, recommendations given by leading organizations in the USA and Europe were analyzed. The following aspects were selected for systematic comparison: factors for risk assessment and categorization, role of type of donor, significance of allogeneic transplant in first or second complete remission and in relapse/progressive disease; and role of reduced intensity conditioning regimens. In conclusion, the recommendations for the use of allogeneic transplant given by the literature and by published guidelines are inconsistent and will need clarification.

Konsensusstatement „Praktische Fertigkeiten im Medizinstudium“ - ein Positionspapier des GMA-Ausschusses für praktische Fertigkeiten

Einleitung: Angestoßen durch die Änderung der Approbationsordnung haben die berufspraktischen Kompetenzen in Deutschland eine höhere Priorität erhalten und werden in den medizinischen Fakultäten deswegen vermehrt vermittelt. Dadurch entstand die Notwendigkeit, den Prozess mehr und mehr zu standardisieren. Auf Initiative der deutschsprachigen Skills Labs wurde der GMA-Ausschuss für praktische Fertigkeiten gegründet, der einen kompetenzbasierten Lernzielkatalog entwickelte, dessen Entstehung und Struktur hier beschrieben wird. Ziel des Kataloges ist es, die praktischen Fertigkeiten im Medizinstudium zu definieren und damit den Fakultäten eine rationale Planungsgrundlage für die zur Vermittlung praktischer Fertigkeiten notwendigen Ressourcen zu geben. Methodik: Aufbauend auf schon vorhandenen deutschsprachigen Lernzielkatalogen wurde mittels einem mehrfach iterativem Kondensationsprozesses, der der Erarbeitung von S1-Leitlinien entspricht, vorgegangen, um eine breite fachliche und politische Abstützung zu erhalten. Ergebnisse: Es wurden 289 verschiedene praktische Lernziele identifiziert, die zwölf verschiedenen Organsystemen, drei Grenzbereichen zu anderen Kompetenzbereichen und einem Bereich mit organsystemübergreifenden Fertigkeiten zugeordnet. Sie wurden drei verschiedenen zeitlichen und drei verschiedenen Tiefendimensionen zugeordnet und mit dem Schweizer und dem Österreichischem Pendant abgeglichen. Diskussion: Das vorliegende Konsensusstatement kann den deutschen Fakultäten eine Grundlage zur Planung der Vermittlung praktischer Fertigkeiten bieten und bildet einen wichtigen Schritt zu einem nationalen Standard medizinischer Lernziele. Blick in die Zukunft: Das Konsensusstatement soll einen formativen Effekt auf die medizinischen Fakultäten haben, ihre praktischen Unterrichtsinhalte entsprechend zu vermitteln und die Ressourcen danach zu planen. Schlüsselwörter: Fertigkeiten, Praktische Fertigkeiten, Klinische Fertigkeiten, medizinische Ausbildung, Konsensus Methode, Delphie-Befragung, Lernziele, Outcomes, Kompetenzen

An unusual cause of paralysis of the peroneal nerve: a report of 3 cases

We present 3 cases of a 12-year-old boy, an 8-year-old girl, and a 9-year-old boy with progressive paresis of the peroneal nerve. Peroneal intraneural ganglia are a rare cause of paralysis of the lower limb in children; more often these symptoms occur because of exostosis. Ultrasound imaging in both patients showed a cystic mass near the fibular neck. Magnetic resonance imaging examination revealed that the ganglion is communicating with the proximal tibiofibular joint. Surgical exploration in these patients confirmed a cystic formation involving the common peroneal nerve. The ganglion originates from the articular nerve branch to the proximal tibiofibular joint. Total recovery of nerve function was seen 2 years later for the first patient, whereas the other 2 showed immediate postoperative improvement of peroneal nerve function and complete recovery within 6 to 8 weeks. On the other hand, patients with exostosis showed varying outcomes. In children with symptoms suspicious of nerve compression, fast diagnosis and immediate treatment are necessary to ensure the best possible recovery.

The latency distribution of motor evoked potentials in patients with multiple sclerosis

OBJECTIVE: To compare the individual latency distributions of motor evoked potentials (MEP) in patients with multiple sclerosis (MS) to the previously reported results in healthy subjects (Firmin et al., 2011). METHODS: We applied the previously reported method to measure the distribution of MEP latencies to 16 patients with MS. The method is based on transcranial magnetic stimulation and consists of a combination of the triple stimulation technique with a method originally developed to measure conduction velocity distributions in peripheral nerves. RESULTS: MEP latency distributions in MS typically showed two peaks. The individual MEP latency distributions were significantly wider in patients with MS than in healthy subjects. The mean triple stimulation delay extension at the 75% quantile, a proxy for MEP latency distribution width, was 7.3ms in healthy subjects and 10.7ms in patients with MS. CONCLUSIONS: In patients with MS, slow portions of the central motor pathway contribute more to the MEP than in healthy subjects. The bimodal distribution found in healthy subjects is preserved in MS. SIGNIFICANCE: Our method to measure the distribution of MEP latencies is suitable to detect alterations in the relative contribution of corticospinal tract portions with long MEP latencies to motor conduction.

Molecular analysis of HER2 signaling in human breast cancer by functional protein pathway activation mapping

Targeting of the HER2 protein in human breast cancer represents a major advance in oncology but relies on measurements of total HER2 protein and not HER2 signaling network activation. We used reverse-phase protein microarrays (RPMA) to measure total and phosphorylated HER2 in the context of HER family signaling to understand correlations between phosphorylated and total levels of HER2 and downstream signaling activity.