An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Cutting edge: cyclic polypeptide and aminoglycoside antibiotics trigger IL-1β secretion by activating the NLRP3 inflammasome.

Clinical use of antibiotics is based on their capacity to inhibit bacterial growth via bacteriostatic or bacteriocidal effects. In this article, we show that the aminoglycoside antibiotic neomycin, the cyclic lipopeptide antibiotic polymyxin B, and the cyclic peptide antibiotics gramicidin and tyrothricin can induce IL-1β secretion in bone marrow dendritic cells and macrophages. LPS priming was required to trigger the transcription and translation of pro-IL-1β but was independent of TNFR or IL-1R signaling. All four antibiotics required the NLRP3 inflammasome, the adaptor ASC, and caspase-1 activation to secrete IL-1β, a process that depended on potassium efflux but was independent of P2X7 receptor. All four antibiotics induced neutrophil influx into the peritoneal cavity of mice, which required NLRP3 only in the case of polymyxin B. Together, certain antibiotics have the potential to directly activate innate immunity of the host.

Validation of a clinical algorithm to identify low-risk patients with pulmonary embolism.

Summary Background: We previously derived a clinical prognostic algorithm to identify patients with pulmonary embolism (PE) who are at low-risk of short-term mortality who could be safely discharged early or treated entirely in an outpatient setting. Objectives: To externally validate the clinical prognostic algorithm in an independent patient sample. Methods: We validated the algorithm in 983 consecutive patients prospectively diagnosed with PE at an emergency department of a university hospital. Patients with none of the algorithm's 10 prognostic variables (age >/= 70 years, cancer, heart failure, chronic lung disease, chronic renal disease, cerebrovascular disease, pulse >/= 110/min., systolic blood pressure < 100 mm Hg, oxygen saturation < 90%, and altered mental status) at baseline were defined as low-risk. We compared 30-day overall mortality among low-risk patients based on the algorithm between the validation and the original derivation sample. We also assessed the rate of PE-related and bleeding-related mortality among low-risk patients. Results: Overall, the algorithm classified 16.3% of patients with PE as low-risk. Mortality at 30 days was 1.9% among low-risk patients and did not differ between the validation and the original derivation sample. Among low-risk patients, only 0.6% died from definite or possible PE, and 0% died from bleeding. Conclusions: This study validates an easy-to-use, clinical prognostic algorithm for PE that accurately identifies patients with PE who are at low-risk of short-term mortality. Low-risk patients based on our algorithm are potential candidates for less costly outpatient treatment.

Information security and the enforcement of secrecy : the practical application of quantum key distribution

There is no doubt about the necessity of protecting digital communication: Citizens are entrusting their most confidential and sensitive data to digital processing and communication, and so do governments, corporations, and armed forces. Digital communication networks are also an integral component of many critical infrastructures we are seriously depending on in our daily lives. Transportation services, financial services, energy grids, food production and distribution networks are only a few examples of such infrastructures. Protecting digital communication means protecting confidentiality and integrity by encrypting and authenticating its contents. But most digital communication is not secure today. Nevertheless, some of the most ardent problems could be solved with a more stringent use of current cryptographic technologies. Quite surprisingly, a new cryptographic primitive emerges from the ap-plication of quantum mechanics to information and communication theory: Quantum Key Distribution. QKD is difficult to understand, it is complex, technically challenging, and costly-yet it enables two parties to share a secret key for use in any subsequent cryptographic task, with an unprecedented long-term security. It is disputed, whether technically and economically fea-sible applications can be found. Our vision is, that despite technical difficulty and inherent limitations, Quantum Key Distribution has a great potential and fits well with other cryptographic primitives, enabling the development of highly secure new applications and services. In this thesis we take a structured approach to analyze the practical applicability of QKD and display several use cases of different complexity, for which it can be a technology of choice, either because of its unique forward security features, or because of its practicability.

Aplicaciones educativas de la teoría vygotskiana. El programa 'Key to learning' = Applications of vigotsky's theory to education. The 'Key to learning' proggram

En ciencias de la educación, las últimas décadas han estado marcadas por un interés en las ideas de Lev S. Vygotski. De hecho, a partir de esas ideas se han propuesto varias aplicaciones educativas. Una de ellas es el “Key to learning”. El artículo propone una visión general de este programa educativo desarrollado a partir de algunos trabajos e ideas de autores rusos contemporáneos. Primero, desarrollamos algunas ideas en torno a la noción de zona de desarrollo próximo (ZpD). Después, sugerimos la teoría de las habilidades de aprendizaje. En este sentido, el objetivo principal de “Key to learning” es mejorar las habilidades de aprendizaje cognitivas, comunicativas y directivas de niños de entre 3 a 7 años de edad. Para este propósito son creadas 12 unidades curriculares que componen el programa. Para concluir se enfatiza la creación de zonas de desarrollo próximo estructuradas como parte de un sistema de enseñanza y aprendizaje que vincula la actividad, la asistencia y la agencia

A fast Bayesian reconstruction algorithm for emission tomography with entropy prior converging to feasible images

The development and tests of an iterative reconstruction algorithm for emission tomography based on Bayesian statistical concepts are described. The algorithm uses the entropy of the generated image as a prior distribution, can be accelerated by the choice of an exponent, and converges uniformly to feasible images by the choice of one adjustable parameter. A feasible image has been defined as one that is consistent with the initial data (i.e. it is an image that, if truly a source of radiation in a patient, could have generated the initial data by the Poisson process that governs radioactive disintegration). The fundamental ideas of Bayesian reconstruction are discussed, along with the use of an entropy prior with an adjustable contrast parameter, the use of likelihood with data increment parameters as conditional probability, and the development of the new fast maximum a posteriori with entropy (FMAPE) Algorithm by the successive substitution method. It is shown that in the maximum likelihood estimator (MLE) and FMAPE algorithms, the only correct choice of initial image for the iterative procedure in the absence of a priori knowledge about the image configuration is a uniform field.

A Novel Acute Retroviral Syndrome Severity Score Predicts the Key Surrogate Markers for HIV-1 Disease Progression.

OBJECTIVE: Best long-term practice in primary HIV-1 infection (PHI) remains unknown for the individual. A risk-based scoring system associated with surrogate markers of HIV-1 disease progression could be helpful to stratify patients with PHI at highest risk for HIV-1 disease progression. METHODS: We prospectively enrolled 290 individuals with well-documented PHI in the Zurich Primary HIV-1 Infection Study, an open-label, non-randomized, observational, single-center study. Patients could choose to undergo early antiretroviral treatment (eART) and stop it after one year of undetectable viremia, to go on with treatment indefinitely, or to defer treatment. For each patient we calculated an a priori defined "Acute Retroviral Syndrome Severity Score" (ARSSS), consisting of clinical and basic laboratory variables, ranging from zero to ten points. We used linear regression models to assess the association between ARSSS and log baseline viral load (VL), baseline CD4+ cell count, and log viral setpoint (sVL) (i.e. VL measured ≥90 days after infection or treatment interruption). RESULTS: Mean ARSSS was 2.89. CD4+ cell count at baseline was negatively correlated with ARSSS (p = 0.03, n = 289), whereas HIV-RNA levels at baseline showed a strong positive correlation with ARSSS (p<0.001, n = 290). In the regression models, a 1-point increase in the score corresponded to a 0.10 log increase in baseline VL and a CD4+cell count decline of 12/µl, respectively. In patients with PHI and not undergoing eART, higher ARSSS were significantly associated with higher sVL (p = 0.029, n = 64). In contrast, in patients undergoing eART with subsequent structured treatment interruption, no correlation was found between sVL and ARSSS (p = 0.28, n = 40). CONCLUSION: The ARSSS is a simple clinical score that correlates with the best-validated surrogate markers of HIV-1 disease progression. In regions where ART is not universally available and eART is not standard this score may help identifying patients who will profit the most from early antiretroviral therapy.

Cutting edge: thymic crosstalk regulates delta-like 4 expression on cortical epithelial cells.

Interactions between Notch1 receptors on lymphoid progenitors and Delta-like 4 (DL4) ligands on cortical thymic epithelial cells (cTEC) are essential for T cell lineage commitment, expansion, and maturation in the thymus. Using a novel mAb against DL4, we show that DL4 levels on cTEC are very high in the fetal and neonatal thymus when thymocyte expansion is maximal but decrease dramatically in the adult when steady-state homeostasis is attained. Analysis of mutant mouse strains where thymocyte development is blocked at different stages indicates that lymphostromal interactions ("thymus crosstalk") are required for DL4 down-regulation on cTEC. Reconstitution of thymocyte development in these mutant mice further suggests that maturation of thymocytes to the CD4(+)CD8(+) stage and concomitant expansion are needed to promote DL4 down-regulation on cTEC. Collectively, our data support a model where thymic crosstalk quantitatively regulates the rate of Notch1-dependent thymopoiesis by controlling DL4 expression levels on cTEC.

Entry and transcription as key determinants of differences in CD4 T-cell permissiveness to human immunodeficiency virus type 1 infection.

Isolated primary human cells from different donors vary in their permissiveness-the ability of cells to be infected and sustain the replication of human immunodeficiency virus type 1 (HIV-1). We used replicating HIV-1 and single-cycle lentivirus vectors in a population approach to identify polymorphic steps during viral replication. We found that phytohemagglutinin-stimulated CD4(+) CD45RO(+) CD57(-) T cells from healthy blood donors (n = 128) exhibited a 5.2-log-unit range in virus production. For 20 selected donors representing the spectrum of CD4 T-cell permissiveness, we could attribute up to 42% of the total variance in virus production to entry factors and 48% to postentry steps. Efficacy at key intracellular steps of the replicative cycle (reverse transcription, integration, transcription and splicing, translation, and budding and release) varied from 0.71 to 1.45 log units among donors. However, interindividual differences in transcription efficiency alone accounted for 64 to 83% of the total variance in virus production that was attributable to postentry factors. While vesicular stomatitis virus G protein-mediated fusion was more efficacious than CCR5/CD4 entry, the latter resulted in greater transcriptional activity per proviral copy. The phenotype of provirus transcription was stable over time, indicating that it represents a genetic trait.

Hexokinase 2, Glycogen Synthase and Phosphorylase Play a Key Role in Muscle Glycogen Supercompensation

Background: Glycogen-depleting exercise can lead to supercompensation of muscle glycogen stores, but the biochemical mechanisms of this phenomenon are still not completely understood. Methods: Using chronic low-frequency stimulation (CLFS) as an exercise model, the tibialis anterior muscle of rabbits was stimulated for either 1 or 24 hours, inducing a reduction in glycogen of 90% and 50% respectively. Glycogen recovery was subsequently monitored during 24 hours of rest. Results: In muscles stimulated for 1 hour, glycogen recovered basal levels during the rest period. However, in those stimulated for 24 hours, glycogen was supercompensated and its levels remained 50% higher than basal levels after 6 hours of rest, although the newly synthesized glycogen had fewer branches. This increase in glycogen correlated with an increase in hexokinase-2 expression and activity, a reduction in the glycogen phosphorylase activity ratio and an increase in the glycogen synthase activity ratio, due to dephosphorylation of site 3a, even in the presence of elevated glycogen stores. During supercompensation there was also an increase in 59-AMP-activated protein kinase phosphorylation, correlating with a stable reduction in ATP and total purine nucleotide levels. Conclusions: Glycogen supercompensation requires a coordinated chain of events at two levels in the context of decreased cell energy balance: First, an increase in the glucose phosphorylation capacity of the muscle and secondly, control of the enzymes directly involved in the synthesis and degradation of the glycogen molecule. However, supercompensated glycogen has fewer branches.

Rab27a: A key to melanosome transport in human melanocytes

Normal pigmentation depends on the uniform distribution of melanin-containing vesicles, the melanosomes, in the epidermis. Griscelli syndrome (GS) is a rare autosomal recessive disease, characterized by an immune deficiency and a partial albinism that has been ascribed to an abnormal melanosome distribution. GS maps to 15q21 and was first associated with mutations in the myosin-V gene. However, it was demonstrated recently that GS can also be caused by a mutation in the Rab27a gene. These observations prompted us to investigate the role of Rab27a in melanosome transport. Using immunofluorescence and immunoelectron microscopy studies, we show that in normal melanocytes Rab27a colocalizes with melanosomes. In melanocytes isolated from a patient with GS, we show an abnormal melanosome distribution and a lack of Rab27a expression. Finally, reexpression of Rab27a in GS melanocytes restored melanosome transport to dendrite tips, leading to a phenotypic reversion of the diseased cells. These results identify Rab27a as a key component of vesicle transport machinery in melanocytes.