Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Prevalence, genetic diversity and antimicrobial susceptibility of Listeria monocytogenes isolated from open-air food markets in Greece

A total of 210 food samples originating from milk products, ready-to-eat salads, raw meat and raw meat products purchased in ten open-air market places in Thessaloniki, Greece, were analyzed for the presence of Listeria monocytogenes. Thirty (14.3%) contained L. monocytogenes with the highest prevalence in raw meat (27.5%), raw meat products (18%) and cheese (8%). The strains were susceptible to 16 antimicrobials as determined by microbroth dilution, except one strain which displayed resistance to tetracycline (MIC > 32 μg/ml). This strain carried the tetracycline resistance gene tet(M). Pulsed-field gel electrophoresis (PFGE) revealed a low genetic diversity among the isolates, irrespective of their origin. This suggests that dominant L. monocytogenes clones are widespread in different food product types in open-air food markets in Greece. The high prevalence of L. monocytogenes in these products indicates that appropriate hygienic measures and periodic bacteriological controls are also necessary in open-air food markets to reduce contamination with food-borne pathogens. Greek specialties made with raw meat and raw milk may contain L. monocytogenes and should not be consumed by persons at risk.

Relative positioning of classical benzodiazepines to the γ2-subunit of GABAA receptors.

GABAA receptors are the major inhibitory neurotransmitter receptors in the brain. Benzodiazepine exert their action via a high affinity-binding site at the α/γ subunit interface on some of these receptors. Diazepam has sedative, hypnotic, anxiolytic, muscle relaxant, and anticonvulsant effects. It acts by potentiating the current evoked by the agonist GABA. Understanding specific interaction of benzodiazepines in the binding pocket of different GABAA receptor isoforms might help to separate these divergent effects. As a first step, we characterized the interaction between diazepam and the major GABAA receptor isoform α1β2γ2. We mutated several amino acid residues on the γ2-subunit assumed to be located near or in the benzodiazepine binding pocket individually to cysteine and studied the interaction with three ligands that are modified with a cysteine-reactive isothiocyanate group (-NCS). When the reactive NCS group is in apposition to the cysteine residue this leads to a covalent reaction. In this way, three amino acid residues, γ2Tyr58, γ2Asn60, and γ2Val190 were located relative to classical benzodiazepines in their binding pocket on GABAA receptors.

Algebra of Classical Theoretical Term Reductions in the Sciences

An elementary algebra identifies conceptual and corresponding applicational limitations in John Kemeny and Paul Oppenheim’s (K-O) 1956 model of theoretical reduction in the sciences. The K-O model was once widely accepted, at least in spirit, but seems afterward to have been discredited, or in any event superceeded. Today, the K-O reduction model is seldom mentioned, except to clarify when a reduction in the Kemeny-Oppenheim sense is not intended. The present essay takes a fresh look at the basic mathematics of K-O comparative vocabulary theoretical term reductions, from historical and philosophical standpoints, as a contribution to the history of the philosophy of science. The K-O theoretical reduction model qualifies a theory replacement as a successful reduction when preconditions of explanatory adequacy and comparable systematicization are met, and there occur fewer numbers of theoretical terms identified as replicable syntax types in the most economical statement of a theory’s putative propositional truths, as compared with the theoretical term count for the theory it replaces. The challenge to the historical model developed here, to help explain its scope and limitations, involves the potential for equivocal theoretical meanings of multiple theoretical term tokens of the same syntactical type.

Npro of classical swine fever virus contributes to pathogenicity in pigs by preventing type I interferon induction at local replication sites

Classical swine fever (CSF) caused by CSF virus (CSFV) is a highly contagious disease of pigs. The viral protein Npro of CSFV interferes with alpha- and beta-interferon (IFN-α/β) induction by promoting the degradation of interferon regulatory factor 3 (IRF3). During the establishment of the live attenuated CSF vaccine strain GPE-, Npro acquired a mutation that abolished its capacity to bind and degrade IRF3, rendering it unable to prevent IFN-α/β induction. In a previous study, we showed that the GPE- vaccine virus became pathogenic after forced serial passages in pigs, which was attributed to the amino acid substitutions T830A in the viral proteins E2 and V2475A and A2563V in NS4B. Interestingly, during the re-adaptation of the GPE- vaccine virus in pigs, the IRF3-degrading function of Npro was not recovered. Therefore, we examined whether restoring the ability of Npro to block IFN-α/β induction of both the avirulent and moderately virulent GPE--derived virus would enhance pathogenicity in pigs. Viruses carrying the N136D substitution in Npro regained the ability to degrade IRF3 and suppress IFN-α/β induction in vitro. In pigs, functional Npro significantly reduced the local IFN-α mRNA expression in lymphoid organs while it increased quantities of IFN-α/β in the circulation, and enhanced pathogenicity of the moderately virulent virus. In conclusion, the present study demonstrates that functional Npro influences the innate immune response at local sites of virus replication in pigs and contributes to pathogenicity of CSFV in synergy with viral replication.

The Utilization of Classical Spin Monte Carlo Methods to Simulate the Magnetic Behavior of Extended Three-Dimensional Cubic Networks Incorporating M(II) Ions with an S = 5/2 Ground State Spin

The numerical simulations of the magnetic properties of extended three-dimensional networks containing M(II) ions with an S = 5/2 ground-state spin have been carried out within the framework of the isotropic Heisenberg model. Analytical expressions fitting the numerical simulations for the primitive cubic, diamond, together with (10−3) cubic networks have all been derived. With these empirical formulas in hands, we can now extract the interaction between the magnetic ions from the experimental data for these networks. In the case of the primitive cubic network, these expressions are directly compared with those from the high-temperature expansions of the partition function. A fit of the experimental data for three complexes, namely [(N(CH3)4][Mn(N3)] 1, [Mn(CN4)]n 2, and [FeII(bipy)3][MnII2(ox)3] 3, has been carried out. The best fits were those obtained using the following parameters, J = −3.5 cm-1, g = 2.01 (1); J = −8.3 cm-1, g = 1.95 (2); and J = −2.0 cm-1, g = 1.95 (3).

Echinococcus granulosus infection dynamics in livestock of Greece

An epidemiological and molecular survey on the occurrence of Echinococcus hydatid cysts in livestock was conducted in Greece. In total 898 sheep, 483 goats, 38 buffaloes, 273 wild boars and 15 deer were examined and 30.2% (6.45% cyst fertility), 7.86% (3.2% cyst fertility), 42% (7.9% cyst fertility), 1.1% (0% cyst fertility), 0% of them were found infected, respectively. Infection rate in different geographical regions varied between 26.1 and 53.8% (cyst fertility 2.04 and 34.6%) in sheep, 7.33 and 13.3% (cyst fertility 0 and 3.2%) in goats. Genotyping, based on cox1 and nad1 analyses, demonstrated the predominance of E. granulosus s.s. (G1 genotype). The presence of one single genotype-complex within a relatively large spectrum of intermediate host species in Greece indicates the presence of a dominant transmission dog-sheep cycle involving additional host species which may act as disease reservoir for human infections.

Synoptic drivers of 400 years of summer temperature and precipitation variability on Mt. Olympus, Greece

The Mediterranean region has been identified as a global warming hotspot, where future climate impacts are expected to have significant consequences on societal and ecosystem well-being. To put ongoing trends of summer climate into the context of past natural variability, we reconstructed climate from maximum latewood density (MXD) measurements of Pinus heldreichii (1521–2010) and latewood width (LWW) of Pinus nigra (1617–2010) on Mt. Olympus, Greece. Previous research in the northeastern Mediterranean has primarily focused on inter-annual variability, omitting any low-frequency trends. The present study utilizes methods capable of retaining climatically driven long-term behavior of tree growth. The LWW chronology corresponds closely to early summer moisture variability (May–July, r = 0.65, p < 0.001, 1950–2010), whereas the MXD-chronology relates mainly to late summer warmth (July–September, r = 0.64, p < 0.001; 1899–2010). The chronologies show opposing patterns of decadal variability over the twentieth century (r = −0.68, p < 0.001) and confirm the importance of the summer North Atlantic Oscillation (sNAO) for summer climate in the northeastern Mediterranean, with positive sNAO phases inducing cold anomalies and enhanced cloudiness and precipitation. The combined reconstructions document the late twentieth—early twenty-first century warming and drying trend, but indicate generally drier early summer and cooler late summer conditions in the period ~1700–1900 CE. Our findings suggest a potential decoupling between twentieth century atmospheric circulation patterns and pre-industrial climate variability. Furthermore, the range of natural climate variability stretches beyond summer moisture availabilityobserved in recent decades and thus lends credibility to the significant drying trends projected for this region in current Earth System Model simulations.

Classical swine fever virus replicon particles lacking the Erns gene: a potential marker vaccine for intradermal application.

Classical swine fever virus replicon particles (CSF-VRP) deficient for E(rns) were evaluated as a non-transmissible marker vaccine. A cDNA clone of CSFV strain Alfort/187 was used to obtain a replication-competent mutant genome (replicon) lacking the sequence encoding the 227 amino acids of the glycoprotein E(rns) (A187delE(rns)). For packaging of A187delE(rns) into virus particles, porcine kidney cell lines constitutively expressing E(rns) of CSFV were established. The rescued VRP were infectious in cell culture but did not yield infectious progeny virus. Single intradermal vaccination of two pigs with 10(7) TCID(50) of VRP A187delE(rns) elicited neutralizing antibodies, anti-E2 antibodies, and cellular immune responses determined by an increase of IFN-gamma producing cells. No anti-E(rns) antibodies were detected in the vaccinees confirming that this vaccine represents a negative marker vaccine allowing differentiation between infected and vaccinated animals. The two pigs were protected against lethal challenge with the highly virulent CSFV strain Eystrup. In contrast, oral immunization resulted in only partial protection, and neither CSFV-specific antibodies nor stimulated T-cells were found before challenge. These data represent a good basis for more extended vaccination/challenge trials including larger numbers of animals as well as more thorough analysis of virus shedding using sentinel animals to monitor horizontal spread of the challenge virus.

From quantum to classical dynamics: The relativistic O ( N ) model in the framework of the real-time functional renormalization group

We investigate the transition from unitary to dissipative dynamics in the relativistic O(N) vector model with the λ(φ2)2 interaction using the nonperturbative functional renormalization group in the real-time formalism. In thermal equilibrium, the theory is characterized by two scales, the interaction range for coherent scattering of particles and the mean free path determined by the rate of incoherent collisions with excitations in the thermal medium. Their competition determines the renormalization group flow and the effective dynamics of the model. Here we quantify the dynamic properties of the model in terms of the scale-dependent dynamic critical exponent z in the limit of large temperatures and in 2≤d≤4 spatial dimensions. We contrast our results to the behavior expected at vanishing temperature and address the question of the appropriate dynamic universality class for the given microscopic theory.

Transcriptome analysis reveals a classical interferon signature induced by IFNλ4 in human primary cells.

The IFNL4 gene is negatively associated with spontaneous and treatment-induced clearance of hepatitis C virus infection. The activity of IFNλ4 has an important causal role in the pathogenesis, but the molecular details are not fully understood. One possible reason for the detrimental effect of IFNλ4 could be a tissue-specific regulation of an unknown subset of genes. To address both tissue and subtype specificity in the interferon response, we treated primary human hepatocytes and airway epithelial cells with IFNα, IFNλ3 or IFNλ4 and assessed interferon mediated gene regulation using transcriptome sequencing. Our data show a surprisingly similar response to all three subtypes of interferon. We also addressed the tissue specificity of the response, and identified a subset of tissue-specific genes. However, the interferon response is robust in both tissues with the majority of the identified genes being regulated in hepatocytes as well as airway epithelial cells. Thus we provide an in-depth analysis of the liver interferon response seen over an array of interferon subtypes and compare it to the response in the lung epithelium.

The N-terminal domain of Npro of classical swine fever virus determines its stability and regulates type I IFN production

The viral protein Npro is unique to the genus Pestivirus within the family Flaviviridae. After autocatalytic cleavage from the nascent polyprotein, Npro suppresses type I IFN (IFN-α/β) induction by mediating proteasomal degradation of IFN regulatory factor 3 (IRF-3). Previous studies found that the Npro-mediated IRF-3 degradation was dependent of a TRASH domain in the C-terminal half of Npro coordinating zinc by means of the amino acid residues C112, C134, D136 and C138. Interestingly, four classical swine fever virus (CSFV) isolates obtained from diseased pigs in Thailand in 1993 and 1998 did not suppress IFN-α/β induction despite the presence of an intact TRASH domain. Through systematic analyses, it was found that an amino acid mutation at position 40 or mutations at positions 17 and 61 in the N-terminal half of Npro of these four isolates were related to the lack of IRF-3-degrading activity. Restoring a histidine at position 40 or both a proline at position 17 and a lysine at position 61 based on the sequence of a functional Npro contributed to higher stability of the reconstructed Npro compared with the Npro from the Thai isolate. This led to enhanced interaction of Npro with IRF-3 along with its degradation by the proteasome. The results of the present study revealed that amino acid residues in the N-terminal domain of Npro are involved in the stability of Npro, in interaction of Npro with IRF-3 and subsequent degradation of IRF-3, leading to downregulation of IFN-α/β production.