Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an unlimited supply of propositional variables. It follows that satisfiability for CTL, as well as for ATL, with a single variable is EXPTIME-complete, while satisfiability for CTL*, as well as for ATL*, with a single variable is 2EXPTIME-complete,--i.e., for these logics, the satisfiability for formulas with only one variable is as hard as satisfiability for arbitrary formulas.Comment: Prefinal version of the published pape

Topology by Design in Magnetic nano-Materials: Artificial Spin Ice

Artificial Spin Ices are two dimensional arrays of magnetic, interacting nano-structures whose geometry can be chosen at will, and whose elementary degrees of freedom can be characterized directly. They were introduced at first to study frustration in a controllable setting, to mimic the behavior of spin ice rare earth pyrochlores, but at more useful temperature and field ranges and with direct characterization, and to provide practical implementation to celebrated, exactly solvable models of statistical mechanics previously devised to gain an understanding of degenerate ensembles with residual entropy. With the evolution of nano--fabrication and of experimental protocols it is now possible to characterize the material in real-time, real-space, and to realize virtually any geometry, for direct control over the collective dynamics. This has recently opened a path toward the deliberate design of novel, exotic states, not found in natural materials, and often characterized by topological properties. Without any pretense of exhaustiveness, we will provide an introduction to the material, the early works, and then, by reporting on more recent results, we will proceed to describe the new direction, which includes the design of desired topological states and their implications to kinetics.Comment: 29 pages, 13 figures, 116 references, Book Chapte

The Role of the Proteinase Inhibitor Ovorubin in Apple Snail Eggs Resembles Plant Embryo Defense against Predation

BACKGROUND: Fieldwork has thoroughly established that most eggs are intensely predated. Among the few exceptions are the aerial egg clutches from the aquatic snail Pomacea canaliculata which have virtually no predators. Its defenses are advertised by the pigmented ovorubin perivitellin providing a conspicuous reddish coloration. The nature of the defense however, was not clear, except for a screening for defenses that identified a neurotoxic perivitellin with lethal effect on rodents. Ovorubin is a proteinase inhibitor (PI) whose role to protect against pathogens was taken for granted, according to the prevailing assumption. Through biochemical, biophysical and feeding experiments we studied the proteinase inhibitor function of ovorubin in egg defenses. METHODOLOGY/PRINCIPAL FINDINGS: Mass spectrometry sequencing indicated ovorubin belongs to the Kunitz-type serine proteinase inhibitor family. It specifically binds trypsin as determined by small angle X-ray scattering (SAXS) and cross-linking studies but, in contrast to the classical assumption, it does not prevent bacterial growth. Ovorubin was found extremely resistant to in vitro gastrointestinal proteolysis. Moreover feeding studies showed that ovorubin ingestion diminishes growth rate in rats indicating that this highly stable PI is capable of surviving passage through the gastrointestinal tract in a biologically active form. CONCLUSIONS: To our knowledge, this is the first direct evidence of the interaction of an egg PI with a digestive protease of potential predators, limiting predator's ability to digest egg nutrients. This role has not been reported in the animal kingdom but it is similar to plant defenses against herbivory. Further, this would be the only defense model with no trade-offs between conspicuousness and noxiousness by encoding into the same molecule both the aposematic warning signal and an antinutritive/antidigestive defense. These defenses, combined with a neurotoxin and probably unpalatable factors would explain the near absence of predators, opening new perspectives in the study of the evolution and ecology of egg defensive strategies

Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

The ELBA Force Field for Coarse-Grain Modeling of Lipid Membranes

A new coarse-grain model for molecular dynamics simulation of lipid membranes is presented. Following a simple and conventional approach, lipid molecules are modeled by spherical sites, each representing a group of several atoms. In contrast to common coarse-grain methods, two original (interdependent) features are here adopted. First, the main electrostatics are modeled explicitly by charges and dipoles, which interact realistically through a relative dielectric constant of unity (). Second, water molecules are represented individually through a new parametrization of the simple Stockmayer potential for polar fluids; each water molecule is therefore described by a single spherical site embedded with a point dipole. The force field is shown to accurately reproduce the main physical properties of single-species phospholipid bilayers comprising dioleoylphosphatidylcholine (DOPC) and dioleoylphosphatidylethanolamine (DOPE) in the liquid crystal phase, as well as distearoylphosphatidylcholine (DSPC) in the liquid crystal and gel phases. Insights are presented into fundamental properties and phenomena that can be difficult or impossible to study with alternative computational or experimental methods. For example, we investigate the internal pressure distribution, dipole potential, lipid diffusion, and spontaneous self-assembly. Simulations lasting up to 1.5 microseconds were conducted for systems of different sizes (128, 512 and 1058 lipids); this also allowed us to identify size-dependent artifacts that are expected to affect membrane simulations in general. Future extensions and applications are discussed, particularly in relation to the methodology's inherent multiscale capabilities

Proteasome inhibition for treatment of leishmaniasis, Chagas disease and sleeping sickness

Chagas disease, leishmaniasis and sleeping sickness affect 20 million people worldwide and lead to more than 50,000 deaths annually. The diseases are caused by infection with the kinetoplastid parasites Trypanosoma cruzi, Leishmania spp. and Trypanosoma brucei spp., respectively. These parasites have similar biology and genomic sequence, suggesting that all three diseases could be cured with drugs that modulate the activity of a conserved parasite target. However, no such molecular targets or broad spectrum drugs have been identified to date. Here we describe a selective inhibitor of the kinetoplastid proteasome (GNF6702) with unprecedented in vivo efficacy, which cleared parasites from mice in all three models of infection. GNF6702 inhibits the kinetoplastid proteasome through a non-competitive mechanism, does not inhibit the mammalian proteasome or growth of mammalian cells, and is well-tolerated in mice. Our data provide genetic and chemical validation of the parasite proteasome as a promising therapeutic target for treatment of kinetoplastid infections, and underscore the possibility of developing a single class of drugs for these neglected diseases

The WD-repeat protein superfamily in Arabidopsis: conservation and divergence in structure and function

BACKGROUND: The WD motif (also known as the Trp-Asp or WD40 motif) is found in a multitude of eukaryotic proteins involved in a variety of cellular processes. Where studied, repeated WD motifs act as a site for protein-protein interaction, and proteins containing WD repeats (WDRs) are known to serve as platforms for the assembly of protein complexes or mediators of transient interplay among other proteins. In the model plant Arabidopsis thaliana, members of this superfamily are increasingly being recognized as key regulators of plant-specific developmental events. RESULTS: We analyzed the predicted complement of WDR proteins from Arabidopsis, and compared this to those from budding yeast, fruit fly and human to illustrate both conservation and divergence in structure and function. This analysis identified 237 potential Arabidopsis proteins containing four or more recognizable copies of the motif. These were classified into 143 distinct families, 49 of which contained more than one Arabidopsis member. Approximately 113 of these families or individual proteins showed clear homology with WDR proteins from the other eukaryotes analyzed. Where conservation was found, it often extended across all of these organisms, suggesting that many of these proteins are linked to basic cellular mechanisms. The functional characterization of conserved WDR proteins in Arabidopsis reveals that these proteins help adapt basic mechanisms for plant-specific processes. CONCLUSIONS: Our results show that most Arabidopsis WDR proteins are strongly conserved across eukaryotes, including those that have been found to play key roles in plant-specific processes, with diversity in function conferred at least in part by divergence in upstream signaling pathways, downstream regulatory targets and /or structure outside of the WDR regions

Genome-wide association and Mendelian randomisation analysis provide insights into the pathogenesis of heart failure

Heart failure (HF) is a leading cause of morbidity and mortality worldwide. A small proportion of HF cases are attributable to monogenic cardiomyopathies and existing genome-wide association studies (GWAS) have yielded only limited insights, leaving the observed heritability of HF largely unexplained. We report results from a GWAS meta-analysis of HF comprising 47,309 cases and 930,014 controls. Twelve independent variants at 11 genomic loci are associated with HF, all of which demonstrate one or more associations with coronary artery disease (CAD), atrial fibrillation, or reduced left ventricular function, suggesting shared genetic aetiology. Functional analysis of non-CAD-associated loci implicate genes involved in cardiac development (MYOZ1, SYNPO2L), protein homoeostasis (BAG3), and cellular senescence (CDKN1A). Mendelian randomisation analysis supports causal roles for several HF risk factors, and demonstrates CAD-independent effects for atrial fibrillation, body mass index, and hypertension. These findings extend our knowledge of the pathways underlying HF and may inform new therapeutic strategies

Molecular marks for epigenetic identification of developmental and cancer stem cells

Epigenetic regulations of genes by reversible methylation of DNA (at the carbon-5 of cytosine) and numerous reversible modifications of histones play important roles in normal physiology and development, and epigenetic deregulations are associated with developmental disorders and various disease states, including cancer. Stem cells have the capacity to self-renew indefinitely. Similar to stem cells, some malignant cells have the capacity to divide indefinitely and are referred to as cancer stem cells. In recent times, direct correlation between epigenetic modifications and reprogramming of stem cell and cancer stem cell is emerging. Major discoveries were made with investigations on reprogramming gene products, also known as master regulators of totipotency and inducer of pluoripotency, namely, OCT4, NANOG, cMYC, SOX2, Klf4, and LIN28. The challenge to induce pluripotency is the insertion of four reprogramming genes (Oct4, Sox2, Klf4, and c-Myc) into the genome. There are always risks of silencing of these genes by epigenetic modifications in the host cells, particularly, when introduced through retroviral techniques. In this contribution, we will discuss some of the major discoveries on epigenetic modifications within the chromatin of various genes associated with cancer progression and cancer stem cells in comparison to normal development of stem cell. These modifications may be considered as molecular signatures for predicting disorders of development and for identifying disease states