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.

A venom-derived neurotoxin, CsTx-1, from the spider Cupiennius salei exhibits cytolytic activities

CsTx-1, the main neurotoxic acting peptide in the venom of the spider Cupiennius salei, is composed of 74 amino acid residues, exhibits an inhibitory cysteine knot motif, and is further characterized by its highly cationic charged C terminus. Venom gland cDNA library analysis predicted a prepropeptide structure for CsTx-1 precursor. In the presence of trifluoroethanol, CsTx-1 and the long C-terminal part alone (CT1-long; Gly-45-Lys-74) exhibit an α-helical structure, as determined by CD measurements. CsTx-1 and CT1-long are insecticidal toward Drosophila flies and destroys Escherichia coli SBS 363 cells. CsTx-1 causes a stable and irreversible depolarization of insect larvae muscle cells and frog neuromuscular preparations, which seem to be receptor-independent. Furthermore, this membranolytic activity could be measured for Xenopus oocytes, in which CsTx-1 and CT1-long increase ion permeability non-specifically. These results support our assumption that the membranolytic activities of CsTx-1 are caused by its C-terminal tail, CT1-long. Together, CsTx-1 exhibits two different functions; as a neurotoxin it inhibits L-type Ca(2+) channels, and as a membranolytic peptide it destroys a variety of prokaryotic and eukaryotic cell membranes. Such a dualism is discussed as an important new mechanism for the evolution of spider venomous peptides.

Phosphoregulation of K(+)-Cl(-) cotransporter 4 during changes in intracellular Cl(-) and cell volume

It has long been stated that the K(+)-Cl(-) cotransporters (KCCs) are activated during cell swelling through dephosphorylation of their cytoplasmic domains by a protein phosphatase (PP) but that other enzymes are involved by targeting this PP or the KCCs directly. To date, however, the role of signaling intermediates in KCC regulation has been deduced from indirect evidence rather than in vitro phosphorylation studies, and examined after simulation of ion transport through cell swelling or N-ethylmaleimide treatment. In this study, the oocyte expression system was used to examine the effects of changes in cell volume (C(VOL)) and intracellular [Cl(-)] ([Cl(-)](i)) on the activity and phosphorylation levels (P(LEV)) of KCC4, and determine whether these effects are mediated by PP1 or phorbol myristate acetate (PMA)-sensitive effectors. We found that (1) low [Cl(-)](i) or low C(VOL) leads to decreased activity but increased P(LEV), (2) high C(VOL) leads to increased activity but no decrease in P(LEV) and (3) calyculin A (Cal A) or PMA treatment leads to decreased activity but no increase in P(LEV). Thus, we have shown for the first time that one of the KCCs can be regulated through direct phosphorylation, that changes in [Cl(-)](i) or C(VOL) modify the activity of signaling enzymes at carrier sites, and that the effectors directly involved do not include a Cal A-sensitive PP in contrast to the widely held view. J. Cell. Physiol. 219: 787-796, 2009. (c) 2009 Wiley-Liss, Inc.

Molecular and ionic sublimation of erbium tribromide

The molecular and ionic composition of vapor over erbium tribromide sublimed from the Knudsen effusion cell and the open surface of a single crystal was studied by high-temperature mass spectrometry. The partial pressures of ErBr3 and Er2Br6 molecules in saturated vapor and the ratio between their sublimation coefficients under free vaporization conditions were determined. The enthalpies and activation energies of sublimation of ErBr3 crystals in the form of monomers and dimers were calculated. The emission of and Er2 was recorded in studies of ionic sublimation in both modes. The enthalpies of formation of gas molecules and ions were determined.

Extrapolated difference technique for the determination of atomization energies of Sm, Eu, and Yb bromides

An approach for the determination of atomization energies based on the extrapolated difference technique in the framework of Knudsen effusion mass spectrometry is proposed. Its essence is the use of thermodynamic data for the determination of the appearance energy of fragment ions of a reference and a special mathematical treatment of the ionization efficiency functions. The advantages of this approach are demonstrated for the cases of incongruently vaporizing lanthanide bromides that suffer from decomposition or disproportionation at high temperatures. The atomization energies for SmBr2 (7.78±0.12 eV), EuBr2 (7.51±0.11 eV), YbBr2 (7.25±0.13 eV), SmBr3 (11.09±0.10 eV), and YbBr3 (10.23±0.09 eV) molecules have been determined for the first time.

Association of congenital, diffuse electrical disease in children with normal heart: sick sinus syndrome, intraventricular conduction block, and monomorphic ventricular tachycardia.

INTRODUCTION Rhythm disturbances in children with structurally normal hearts are usually associated with abnormalities in cardiac ion channels. The phenotypic expression of these abnormalities ("channelopathies") includes: long and short QT syndromes, Brugada syndrome, congenital sick sinus syndrome, catecholaminergic polymorphic ventricular tachycardia, Lènegre-Lev disease, and/or different degrees of cardiac conduction disease. METHODS The study group consisted of three male patients with sick sinus syndrome, intraventricular conduction disease, and monomorphic sustained ventricular tachycardia. Clinical data and results of electrocardiography, Holter monitoring, electrophysiology, and echocardiography are described. RESULTS In all patients, the ECG during sinus rhythm showed right bundle branch block and long QT intervals. First-degree AV block was documented in two subjects, and J point elevation in one. A pacemaker was implanted in all cases due to symptomatic bradycardia (sick sinus syndrome). Atrial tachyarryhthmias were observed in two patients. The common characteristic ventricular arrhythmia was a monomorphic sustained ventricular tachycardia, inducible with ventricular stimulation and sensitive to lidocaine. In one patient, radiofrequency catheter ablation was successfully performed. No structural abnormalities were found in echocardiography in the study group. CONCLUSION Common clinical and ECG features suggest a common pathophysiology in this group of patients with congenital severe electrical disease.

Inégalités de formation lors de l’accès à l’enseignement supérieur selon le sexe et le contexte migratoire: résultats de l’analyse des situations suisse, allemande et française

La présente contribution porte sur le passage dans le degré tertiaire en tenant compte de l’intrication des inégalités liées au sexe et au contexte migratoire. L’étude, qui repose sur des concepts de la théorie décisionnelle, s’articule principalement sur une comparaison entre la Suisse (TREE), l’Allemagne (élèves pouvant prétendre aux études supérieures 2002 HIS) et la France (Panel d'élèves du second degré 1995). Les résultats révèlent qu’en Suisse et en Allemagne, indépendamment de l’origine sociale, les jeunes hommes appartenant à certains groupes de migrants socialement défavorisés (2e génération) affichent un taux de passage dans le supérieur plus élevé que leurs camarades nationaux. Ils mettent par ailleurs en évidence que, ni en Suisse, ni en Allemagne, ni en France, les migrantes de deuxième génération issues de pays fortement marqués par le modèle patriarcal sont désavantagées.

Atomization Energies of LnX Molecules (Ln = Sm, Eu, and Yb; X = Cl, Br, and I)

The gas phase equilibria Ba + LnX = BaX + Ln (Ln = Sm, Eu, Yb; X = Cl, Br, I) were investigated by Knudsen effusion mass spectrometry using a low energy of ionizing electrons to avoid fragmentation processes. The BaX molecules were used as references with well-established bond energies. The atomization enthalpies ΔatH0° of the LnX molecules were determined to be 427 ± 9 (SmCl), 409 ± 9 (EuCl), 366 ± 9 (YbCl), 360 ± 10 (SmBr), 356 ± 13 (EuBr), 316 ± 9 (YbBr), 317 ± 10 (SmI), 293 ± 10 (EuI), and 283 ± 10 (YbI) kJ·mol−1.

How Cantonal Education Systems in Switzerland Promote Gender-Typical School-to-Work Transitions

The paper asks how cantonal education systems in Switzerland promote gender-typed school-to-work transitions and gender segregation at work. Data from the Swiss TREE youth panel study is used to analyse the impact of cantonal provision of vocational education and training (VET) on gender-typical educational trajectories. The findings show that education systems with higher VET rates have higher allocations of men in gender-(male-) typical occupational careers. The paper concludes that the pronounced and persistent gender segregation on the Swiss labor market is partly due to a prominent VET system, which urges early gender-typed occupational career decisions.

Etude des relations entre la pluie, le sol, le relief, la couverture végétale et l'érosion dans la région de Mandraka

Le relief accidenté, le climat agressif favorisé par l’Alizé, ainsi que l’étroite dépendance de la population de l’exploitation forestière et de l’exploitation agricole sans dispositifs de protection antiérosifs, sont les contextes qui permettent de dire que la région de Mandraka est sujette au problème d’érosion. L’étude a pour objectif de déterminer les relations entre les caractéristiques du sol, son mode d’occupation, les précipitations ainsi que l’érosion dans la région de Mandraka et ce en vue d’un aménagement rationnel. Des dispositifs pour la mesure de pertes en terre et de ruissellement ont été matérialisés sur des parcelles d’expérimentation. A cet effet, le choix de ces parcelles a porté sur le mode d’occupation du sol (sous terrains aménagés, sous « tavy », sous « savoka », et sous forêt naturelle), sur la similitude des pentes et sur leur localisation de manière à ce qu’elles soient situées sur les mi-versants. Les résultats ont montré que le sol dans cette région contient un taux de matière organique satisfaisant à élevé (2,41 à 3,74% de MO), lui permettant une bonne stabilité structurale (Is = 0,85 et K = 0,08). Les pertes en terre (0,13 à 20,93t/ha/an) et les ruissellements (0,3 à 5%) obtenus indiquent que l’érosion est faible à accélérée suivant le mode d’occupation du sol. En deux ans d’aménagement, les terrasses se sont stabilisées et les racines de Vetiveria zizanoides peuvent remplacer les fascines initialement installées pour tenir les talus. Toutefois, l’exposition du sol à la battance de la pluie et la mauvaise infiltration d’eau de ruissellement dans le sol accélèrent le phénomène d’érosion. Par ailleurs, il y a l’efficacité de la SCV sans brûlis bien qu’il s’agit de la première année d’expérience. Dans ces conditions, un plan d’aménagement simplifié a été proposé en vue (i) de protéger le sol contre la battance de la pluie, (ii) de réduire les transports solides par l’érosion et (iii) d’améliorer l’infiltration d’eau du sol.