Search results for "CTD"
showing 10 items of 101 documents
Finite automata with advice tapes
2013
We define a model of advised computation by finite automata where the advice is provided on a separate tape. We consider several variants of the model where the advice is deterministic or randomized, the input tape head is allowed real-time, one-way, or two-way access, and the automaton is classical or quantum. We prove several separation results among these variants, demonstrate an infinite hierarchy of language classes recognized by automata with increasing advice lengths, and establish the relationships between this and the previously studied ways of providing advice to finite automata.
Global distributions of diazotrophs abundance and biomass - Depth integrated values computed from a collection of source datasets - Contribution to t…
2013
The MAREDAT atlas covers 11 types of plankton, ranging in size from bacteria to jellyfish. Together, these plankton groups determine the health and productivity of the global ocean and play a vital role in the global carbon cycle. Working within a uniform and consistent spatial and depth grid (map) of the global ocean, the researchers compiled thousands and tens of thousands of data points to identify regions of plankton abundance and scarcity as well as areas of data abundance and scarcity. At many of the grid points, the MAREDAT team accomplished the difficult conversion from abundance (numbers of organisms) to biomass (carbon mass of organisms). The MAREDAT atlas provides an unprecedente…
Global distributions of diazotrophs nitrogen fixation rates - Depth integrated values computed from a collection of source datasets - Contribution to…
2013
The MAREDAT atlas covers 11 types of plankton, ranging in size from bacteria to jellyfish. Together, these plankton groups determine the health and productivity of the global ocean and play a vital role in the global carbon cycle. Working within a uniform and consistent spatial and depth grid (map) of the global ocean, the researchers compiled thousands and tens of thousands of data points to identify regions of plankton abundance and scarcity as well as areas of data abundance and scarcity. At many of the grid points, the MAREDAT team accomplished the difficult conversion from abundance (numbers of organisms) to biomass (carbon mass of organisms). The MAREDAT atlas provides an unprecedente…
E26The effects of LIPUS on ctDNA release in the medium of NSCLC cell lines
2017
Low Intensity Pulsed Ultrasound (LIPUS) application has been shown to have an encouraging effect in inducing a transient pore formation through cellular membranes. This permeability condition has been demonstrated to be useful in enhancing gene and drug delivery. Nowadays, in the management of NSCLC patients, the use of liquid biopsy has entered the clinical practice. One of the main limits in the analysis of circulating tumor DNA is the low concentration rate of nucleic acids in body fluids. Ultrasound stimulation (US) has been recently demonstrated to be effective for the release of specific circulating tumor biomarkers in many mouse models. We demonstrated the role of US in inducing the …
Global distributions of diazotrophs Gamma-A nifH genes abundance - Depth integrated values computed from a collection of source datasets - Contributi…
2013
The MAREDAT atlas covers 11 types of plankton, ranging in size from bacteria to jellyfish. Together, these plankton groups determine the health and productivity of the global ocean and play a vital role in the global carbon cycle. Working within a uniform and consistent spatial and depth grid (map) of the global ocean, the researchers compiled thousands and tens of thousands of data points to identify regions of plankton abundance and scarcity as well as areas of data abundance and scarcity. At many of the grid points, the MAREDAT team accomplished the difficult conversion from abundance (numbers of organisms) to biomass (carbon mass of organisms). The MAREDAT atlas provides an unprecedente…
A de novo heterozygous mutation in KCNC2 gene implicated in severe developmental and epileptic encephalopathy
2020
Abstract An increasing number of developmental and epileptic encephalopathies have been correlated with variants of ion channel genes, and in particular of potassium channels genes, such as KCNA1, KCNA2, KCNB1, KCNQ2, KCTD7 and KCNT1. Here we report a child with an early severe developmental and epileptic encephalopathy, spastic tetraplegia, opisthotonos attacks. The whole exome sequencing showed the de novo heterozygous variant c.1411G > C (p.Val471Leu) in the KCNC2 gene. Although this is, to our knowledge, the first case of encephalopathy associated with a KCNC2 gene variant, and further confirmatory studies are needed, previous preclinical and clinical evidence seems to suggest that KCNC…
Clinical utility of plasma-based digital next-generation sequencing in patients with advance-stage lung adenocarcinomas with insufficient tumor sampl…
2019
[Background] Approximately 30% of tumor biopsies from patients with advanced-stage lung adenocarcinomas yield insufficient tissue for successful molecular subtyping. We have analyzed the clinical utility of next-generation sequencing (NGS) of cell-free circulating tumor DNA (ctDNA) in patients with inadequate tumor samples for tissue genotyping. [Patients and methods] We conducted the study in a multi-institutional prospective cohort of clinically unselected patients with advanced-stage lung adenocarcinomas with insufficient tissue for EGFR, ALK or ROS1 genotyping across 12 Spanish institutions (n = 93). ctDNA NGS was carried out by Guardant Health (Guardant360, Redwood City, CA), using a h…
A fast heuristic for solving the D1EC coloring problem
2010
In this paper we propose an efficient heuristic for solving the Distance-1 Edge Coloring problem (D1EC) for the on-the-fly assignment of orthogonal wireless channels in wireless as soon as a topology change occurs. The coloring algorithm exploits the simulated annealing paradigm, i.e., a generalization of Monte Carlo methods for solving combinatorial problems. We show that the simulated annealing-based coloring converges fast to a sub optimal coloring scheme even for the case of dynamic channel allocation. However, a stateful implementation of the D1EC scheme is needed in order to speed-up the network coloring upon topology changes. In fact, a stateful D1EC reduces the algorithm’s convergen…
Deciding properties of integral relational automata
1994
This paper investigates automated model checking possibilities for CTL* formulae over infinite transition systems represented by relational automata (RA). The general model checking problem for CTL* formulae over RA is shown undecidable, the undecidability being observed already on the class of Restricted CTL formulae. The decidability result, however, is obtained for another substantial subset of the logic, called A-CTL*+, which includes all ”linear time” formulae.
Real-Time Vector Automata
2013
We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k×k matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.