On finding minimal absent words

<p>Abstract</p> <p>Background</p> <p>The problem of finding the shortest absent words in DNA data has been recently addressed, and algorithms for its solution have been described. It has been noted that longer absent words might also be of interest, but the existing algorithms only provide generic absent words by trivially extending the shortest ones.</p> <p>Results</p> <p>We show how absent words relate to the repetitions and structure of the data, and define a new and larger class of absent words, called minimal absent words, that still captures the essential properties of the shortest absent words introduced in recent works. The words of this new class are minimal in the sense that if their leftmost or rightmost character is removed, then the resulting word is no longer an absent word. We describe an algorithm for generating minimal absent words that, in practice, runs in approximately linear time. An implementation of this algorithm is publicly available at <url>ftp://www.ieeta.pt/~ap/maws</url>.</p> <p>Conclusion</p> <p>Because the set of minimal absent words that we propose is much larger than the set of the shortest absent words, it is potentially more useful for applications that require a richer variety of absent words. Nevertheless, the number of minimal absent words is still manageable since it grows at most linearly with the string size, unlike generic absent words that grow exponentially. Both the algorithm and the concepts upon which it depends shed additional light on the structure of absent words and complement the existing studies on the topic.</p

Explosive Nucleosynthesis: What we learned and what we still do not understand

This review touches on historical aspects, going back to the early days of nuclear astrophysics, initiated by B$^2$FH and Cameron, discusses (i) the required nuclear input from reaction rates and decay properties up to the nuclear equation of state, continues (ii) with the tools to perform nucleosynthesis calculations and (iii) early parametrized nucleosynthesis studies, before (iv) reliable stellar models became available for the late stages of stellar evolution. It passes then through (v) explosive environments from core-collapse supernovae to explosive events in binary systems (including type Ia supernovae and compact binary mergers), and finally (vi) discusses the role of all these nucleosynthesis production sites in the evolution of galaxies. The focus is put on the comparison of early ideas and present, very recent, understanding.Comment: 11 pages, to appear in Springer Proceedings in Physics (Proc. of Intl. Conf. "Nuclei in the Cosmos XV", LNGS Assergi, Italy, June 2018

Cross-Reactivity of Herpesvirus-Specific CD8 T Cell Lines Toward Allogeneic Class I MHC Molecules

Although association between persistent viral infection and allograft rejection is well characterized, few examples of T-cell cross-reactivity between self-MHC/viral and allogeneic HLA molecules have been documented so far. We appraised in this study the alloreactivity of CD8 T cell lines specific for immunodominant epitopes from human cytomegalovirus (HCMV) and Epstein-Barr virus (EBV). CD8 T cell lines were generated after sorting with immunomagnetic beads coated with either pp65495–503/A*0201, BMLF1259–267/A*0201, or BZLF154–64/B*3501 multimeric complexes. Alloreactivity of the CD8 T cell lines against allogeneic class I MHC alleles was assessed by screening of (i) TNF-α production against COS-7 cells transfected with as many as 39 individual HLA class I-encoding cDNA, and (ii) cytotoxicity activity toward a large panel of HLA-typed EBV-transformed B lymphoblastoid cell lines. We identified several cross-reactive pp65/A*0201-specific T cell lines toward allogeneic HLA-A*3001, A*3101, or A*3201. Moreover, we described here cross-recognition of HLA-Cw*0602 by BZLF1/B*3501-specific T cells. It is noteworthy that these alloreactive CD8 T cell lines showed efficient recognition of endothelial cells expressing the relevant HLA class I allele, with high level TNF-α production and cytotoxicity activity. Taken together, our data support the notion that herpes virus-specific T cells recognizing allo-HLA alleles may promote solid organ rejection

MCMAS: an open-source model checker for the verification of multi-agent systems

We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS supports efficient symbolic techniques for the verification of multi-agent systems against specifications representing temporal, epistemic and strategic properties. We present the underlying semantics of the specification language supported and the algorithms implemented in MCMAS, including its fairness and counterexample generation features. We provide a detailed description of the implementation. We illustrate its use by discussing a number of examples and evaluate its performance by comparing it against other model checkers for multi-agent systems on a common case study

Radio emission from Supernova Remnants

The explosion of a supernova releases almost instantaneously about 10^51 ergs of mechanic energy, changing irreversibly the physical and chemical properties of large regions in the galaxies. The stellar ejecta, the nebula resulting from the powerful shock waves, and sometimes a compact stellar remnant, constitute a supernova remnant (SNR). They can radiate their energy across the whole electromagnetic spectrum, but the great majority are radio sources. Almost 70 years after the first detection of radio emission coming from a SNR, great progress has been achieved in the comprehension of their physical characteristics and evolution. We review the present knowledge of different aspects of radio remnants, focusing on sources of the Milky Way and the Magellanic Clouds, where the SNRs can be spatially resolved. We present a brief overview of theoretical background, analyze morphology and polarization properties, and review and critical discuss different methods applied to determine the radio spectrum and distances. The consequences of the interaction between the SNR shocks and the surrounding medium are examined, including the question of whether SNRs can trigger the formation of new stars. Cases of multispectral comparison are presented. A section is devoted to reviewing recent results of radio SNRs in the Magellanic Clouds, with particular emphasis on the radio properties of SN 1987A, an ideal laboratory to investigate dynamical evolution of an SNR in near real time. The review concludes with a summary of issues on radio SNRs that deserve further study, and analyzing the prospects for future research with the latest generation radio telescopes.Comment: Revised version. 48 pages, 15 figure

Diffusion of peroxides through dentine in vitro with and without prior use of a desensitizing varnish

Different bleaching regimens are used in dentistry possibly penetrating the dentine and affecting the pulp. The aim of the present study was to investigate peroxide diffusion through dentine pre-treated with a desensitizing varnish (Vivasens®) in a standardized in vitro setup during application of different bleaching materials. The penetration was tested using 1.3-mm-thick bovine dentine slabs. The following bleaching materials were tested with and without prior application of the desensitizing varnish on the external side of the dentine slabs: Vivastyle, Whitestrips, Simply White, Opalescence (external bleaching), and sodium perborate (internal bleaching, only tested without varnish; n = 8 samples per subgroup). The penetration of peroxides was measured photometrically using 4-aminoantipyrin as a substrate, the penetration of peroxides was monitored over 240 min. All bleaching agents yielded a diffusion of peroxides through the dentine, the kinetics of penetration were approximately linear for all materials tested. The significantly highest diffusion of peroxides was observed with Opalescence, the lowest with sodium perborate. The adoption of the desensitizing varnish reduced the diffusion of peroxides significantly for all external bleaching materials. Peroxides penetrated the dentine during application of bleaching materials; the penetration of peroxides can be reduced by application of a desensitizing agent

The Evolution of Compact Binary Star Systems

We review the formation and evolution of compact binary stars consisting of white dwarfs (WDs), neutron stars (NSs), and black holes (BHs). Binary NSs and BHs are thought to be the primary astrophysical sources of gravitational waves (GWs) within the frequency band of ground-based detectors, while compact binaries of WDs are important sources of GWs at lower frequencies to be covered by space interferometers (LISA). Major uncertainties in the current understanding of properties of NSs and BHs most relevant to the GW studies are discussed, including the treatment of the natal kicks which compact stellar remnants acquire during the core collapse of massive stars and the common envelope phase of binary evolution. We discuss the coalescence rates of binary NSs and BHs and prospects for their detections, the formation and evolution of binary WDs and their observational manifestations. Special attention is given to AM CVn-stars -- compact binaries in which the Roche lobe is filled by another WD or a low-mass partially degenerate helium-star, as these stars are thought to be the best LISA verification binary GW sources.Comment: 105 pages, 18 figure

Physics of Neutron Star Crusts

The physics of neutron star crusts is vast, involving many different research fields, from nuclear and condensed matter physics to general relativity. This review summarizes the progress, which has been achieved over the last few years, in modeling neutron star crusts, both at the microscopic and macroscopic levels. The confrontation of these theoretical models with observations is also briefly discussed.Comment: 182 pages, published version available at <http://www.livingreviews.org/lrr-2008-10