1,097 research outputs found
Prospects for intermediate mass black hole binary searches with advanced gravitational-wave detectors
We estimated the sensitivity of the upcoming advanced, ground-based
gravitational-wave observatories (the upgraded LIGO and Virgo and the KAGRA
interferometers) to coalescing intermediate mass black hole binaries (IMBHB).
We added waveforms modeling the gravitational radiation emitted by IMBHBs to
detectors' simulated data and searched for the injected signals with the
coherent WaveBurst algorithm. The tested binary's parameter space covers
non-spinning IMBHBs with source-frame total masses between 50 and 1050
and mass ratios between and 1. We found that
advanced detectors could be sensitive to these systems up to a range of a few
Gpc. A theoretical model was adopted to estimate the expected observation
rates, yielding up to a few tens of events per year. Thus, our results indicate
that advanced detectors will have a reasonable chance to collect the first
direct evidence for intermediate mass black holes and open a new, intriguing
channel for probing the Universe over cosmological scales.Comment: 9 pages, 4 figures, corrected the name of one author (previously
misspelled
Enhancing the significance of gravitational wave bursts through signal classification
The quest to observe gravitational waves challenges our ability to
discriminate signals from detector noise. This issue is especially relevant for
transient gravitational waves searches with a robust eyes wide open approach,
the so called all- sky burst searches. Here we show how signal classification
methods inspired by broad astrophysical characteristics can be implemented in
all-sky burst searches preserving their generality. In our case study, we apply
a multivariate analyses based on artificial neural networks to classify waves
emitted in compact binary coalescences. We enhance by orders of magnitude the
significance of signals belonging to this broad astrophysical class against the
noise background. Alternatively, at a given level of mis-classification of
noise events, we can detect about 1/4 more of the total signal population. We
also show that a more general strategy of signal classification can actually be
performed, by testing the ability of artificial neural networks in
discriminating different signal classes. The possible impact on future
observations by the LIGO-Virgo network of detectors is discussed by analysing
recoloured noise from previous LIGO-Virgo data with coherent WaveBurst, one of
the flagship pipelines dedicated to all-sky searches for transient
gravitational waves
A formally verified compiler back-end
This article describes the development and formal verification (proof of
semantic preservation) of a compiler back-end from Cminor (a simple imperative
intermediate language) to PowerPC assembly code, using the Coq proof assistant
both for programming the compiler and for proving its correctness. Such a
verified compiler is useful in the context of formal methods applied to the
certification of critical software: the verification of the compiler guarantees
that the safety properties proved on the source code hold for the executable
compiled code as well
Tailoring Polymer-Based Nanoassemblies for Stimuli-Responsive Theranostic Applications
Polymer assemblies on the nanoscale represent a powerful toolbox for the design of theranostic systems when combined with both therapeutic compounds and diagnostic reporting ones. Here, recent advances in the design of theranostic systems for various diseases, containing-in their architecture-either polymers or polymer assemblies as one of the building blocks are presented. This review encompasses the general principles of polymer self-assembly, from the production of adequate copolymers up to supramolecular assemblies with theranostic functionality. Such polymer nanoassemblies can be further tailored through the incorporation of inorganic nanoparticles to endow them with multifunctional therapeutic and/or diagnostic features. Systems that change their architecture or properties in the presence of stimuli are selected, as responsivity to changes in the environment is a key factor for enhancing efficiency. Such theranostic systems are based on the intrinsic properties of copolymers or one of the other components. In addition, systems with a more complex architecture, such as multicompartments, are presented. Selected systems indicate the advantages of such theranostic approaches and provide a basis for further developments in the field
Impact of estrogen receptor alpha on the tamoxifen resistance in breast cancer patients
Genetic aberrations and changes in the activity of estrogen receptors alpha (ERa[lpha]) play an important role in the endocrine sensitivity. The aim of this study was to examine the relationship between the ESR1 expression level, its polymorphic variants, and the distribution pattern of ER[alpha] expression with the prognosis and efficacy of tamoxifen treatment in breast cancer patients. Our data suggest that the ESR1 expression level, SNPs in the ESR1 gene and the distribution pattern of ERα expression can be a potential molecular marker of tamoxifen resistance in breast cancer patients
On the expressiveness of forwarding in higher-order communication
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwarding. Here we propose a limited form of forwarding: output actions can only communicate the parallel composition of statically known closed processes and processes received through previously executed input actions. We study the expressiveness of a higher-order process calculus featuring this style of communication. Our main result shows that in this calculus termination is decidable while convergence is undecidable.
Combinatorial Strategy for Studying Biochemical Pathways in Double Emulsion Templated Cell-Sized Compartments
Abstract Cells rely upon producing enzymes at precise rates and stoichiometry for maximizing functionalities. The reasons for this optimal control are unknown, primarily because of the interconnectivity of the enzymatic cascade effects within multi-step pathways. Here, an elegant strategy for studying such behavior, by controlling segregation/combination of enzymes/metabolites in synthetic cell-sized compartments, while preserving vital cellular elements is presented. Therefore, compartments shaped into polymer GUVs are developed, producing via high-precision double-emulsion microfluidics that enable: i) tight control over the absolute and relative enzymatic contents inside the GUVs, reaching nearly 100% encapsulation and co-encapsulation efficiencies, and ii) functional reconstitution of biopores and membrane proteins in the GUVs polymeric membrane, thus supporting in situ reactions. GUVs equipped with biopores/membrane proteins and loaded with one or more enzymes are arranged in a variety of combinations that allow the study of a three-step cascade in multiple topologies. Due to the spatiotemporal control provided, optimum conditions for decreasing the accumulation of inhibitors are unveiled, and benefited from reactive intermediates to maximize the overall cascade efficiency in compartments. The non-system-specific feature of the novel strategy makes this system an ideal candidate for the development of new synthetic routes as well as for screening natural and more complex pathways
Continuation-Passing C: compiling threads to events through continuations
In this paper, we introduce Continuation Passing C (CPC), a programming
language for concurrent systems in which native and cooperative threads are
unified and presented to the programmer as a single abstraction. The CPC
compiler uses a compilation technique, based on the CPS transform, that yields
efficient code and an extremely lightweight representation for contexts. We
provide a proof of the correctness of our compilation scheme. We show in
particular that lambda-lifting, a common compilation technique for functional
languages, is also correct in an imperative language like C, under some
conditions enforced by the CPC compiler. The current CPC compiler is mature
enough to write substantial programs such as Hekate, a highly concurrent
BitTorrent seeder. Our benchmark results show that CPC is as efficient, while
using significantly less space, as the most efficient thread libraries
available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note:
substantial text overlap with arXiv:1202.324
Programmed Cell Death Deregulation in BCR-ABL1-Negative Myeloproliferative Neoplasms
BCR-ABL1-negative myeloproliferative neoplasms are classically represented by primary myelofibrosis, polycythemia vera, and essential thrombocythemia. These entities are stem cell-derived clonal disorders characterized by hematopoietic progenitor autonomy or hypersensitivity to cytokines, most of them presenting mutations in Janus kinase 2 (JAK2), calreticulin (CALR), or myeloproliferative leukemia virus oncogene (MPL). Deregulation of pro- and antiapoptotic genes is also claimed as an important mechanism involved in cell resistance to cell death and accumulation of myeloid cells in myeloproliferative neoplasms. Apoptosis, as one of the best-characterized types of programmed cell death, has a clear role in hematopoiesis control. However, the exact pathways affected in BCR-ABL1-negative myeloproliferative neoplasms have not yet been fully clarified. This chapter will explore the modifications affecting programmed cell death pathways involved in myeloid proliferation and how these alterations might be exploited in single or combined targeted therapeutic strategies
An overview of the ciao multiparadigm language and program development environment and its design philosophy
We describe some of the novel aspects and motivations behind
the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system
- …