343 research outputs found
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 BFH 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
OptiMal-PK: an internet-based, user-friendly interface for the mathematical-based design of optimized anti-malarial treatment regimens
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
- …