164 research outputs found
A digitally printed optoelectronic nose for the selective trace detection of nitroaromatic explosive vapours using fluorescence quenching
We report on a fluorescent optoelectronic nose for the trace detection of nitroaromatic explosive vapours. The sensor arrays, fabricated by aerosol-jet printing, consist of six different commercially available polymers as transducers. We assess the within-batch reproducibility of the printing process and we report that the sensor polymers show efficient fluorescence quenching capabilities with detection limits of a few parts-per-billion in air. We further demonstrate the nose\u27s ability to discriminate between several nitroaromatics including nitrobenzene, 1,3-dinitrobenzene and 2,4-dinitrotoluene at three different concentrations using linear discriminant analysis. Our approach enables the realization of highly integrated optical sensor arrays in optoelectronic noses for the sensitive and selective detection of nitroaromatic explosive trace vapours using a potentially low-cost digital printing technique suitable for high-volume fabrication
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
We answer two open questions by (Gruber, Holzer, Kutrib, 2009) on the
state-complexity of representing sub- or superword closures of context-free
grammars (CFGs): (1) We prove a (tight) upper bound of on
the size of nondeterministic finite automata (NFAs) representing the subword
closure of a CFG of size . (2) We present a family of CFGs for which the
minimal deterministic finite automata representing their subword closure
matches the upper-bound of following from (1).
Furthermore, we prove that the inequivalence problem for NFAs representing sub-
or superword-closed languages is only NP-complete as opposed to PSPACE-complete
for general NFAs. Finally, we extend our results into an approximation method
to attack inequivalence problems for CFGs
Foundations for decision problems in separation logic with general inductive predicates
Abstract. We establish foundational results on the computational com-plexity of deciding entailment in Separation Logic with general induc-tive predicates whose underlying base language allows for pure formulas, pointers and existentially quantified variables. We show that entailment is in general undecidable, and ExpTime-hard in a fragment recently shown to be decidable by Iosif et al. Moreover, entailment in the base language is Î P2-complete, the upper bound even holds in the presence of list predicates. We additionally show that entailment in essentially any fragment of Separation Logic allowing for general inductive predicates is intractable even when strong syntactic restrictions are imposed.
Heating rate and electrode charging measurements in a scalable, microfabricated, surface-electrode ion trap
We characterise the performance of a surface-electrode ion "chip" trap
fabricated using established semiconductor integrated circuit and
micro-electro-mechanical-system (MEMS) microfabrication processes which are in
principle scalable to much larger ion trap arrays, as proposed for implementing
ion trap quantum information processing. We measure rf ion micromotion parallel
and perpendicular to the plane of the trap electrodes, and find that on-package
capacitors reduce this to <~ 10 nm in amplitude. We also measure ion trapping
lifetime, charging effects due to laser light incident on the trap electrodes,
and the heating rate for a single trapped ion. The performance of this trap is
found to be comparable with others of the same size scale.Comment: 6 pages, 10 figure
The SBRT database initiative of the German Society for Radiation Oncology (DEGRO): patterns of care and outcome analysis of stereotactic body radiotherapy (SBRT) for liver oligometastases in 474 patients with 623 metastases
Background: The intent of this pooled analysis as part of the German society for radiation oncology (DEGRO)stereotactic body radiotherapy (SBRT) initiative was to analyze the patterns of care of SBRT for liver oligometastases and to derive factors influencing treated metastases control and overall survival in a large patient cohort.
Methods: From 17 German and Swiss centers, data on all patients treated for liver oligometastases with SBRT since its introduction in 1997 has been collected and entered into a centralized database. In addition to patient and tumor characteristics, data on immobilization, image guidance and motion management as well as dose prescription and fractionation has been gathered. Besides dose response and survival statistics, time trends of the aforementioned variables have been investigated.
Results: In total, 474 patients with 623 liver oligometastases (median 1 lesion/patient; range 1–4) have been collected from 1997 until 2015. Predominant histologies were colorectal cancer (n= 213 pts.; 300 lesions) and breast cancer (n= 57; 81 lesions). All centers employed an SBRT specific setup. Initially, stereotactic coordinates and CT simulation were used for treatment set-up (55%), but eventually were replaced by CBCT guidance (28%) or more
recently robotic tracking (17%). High variance in fraction (fx) number (median 1 fx; range 1–13) and dose per fraction (median: 18.5 Gy; range 3–37.5 Gy) was observed, although median BED remained consistently high after an initial learning curve. Median follow-up time was 15 months; median overall survival after SBRT was 24 months. One- and 2-year treated metastases control rate of treated lesions was 77% and 64%; if maximum isocenter biological equivalent dose (BED) was greater than 150 Gy EQD2Gy, it increased to 83% and 70%, respectively. Besides radiation dose colorectal and breast histology and motion management methods were associated with improved treated metastases control
On the complexity of resource-bounded logics
We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking problems.
We show that the model-checking problem for the logic RB+-ATL is 2EXPTIME-complete by using recent results on alternating VASS.
In addition, we establish that the model-checking problem for RBTL is decidable and has the same complexity as for RBTL* (the extension of RBTL with arbitrary path formulae), namely EXPSPACE-complete, proving a new decidability result as a by-product of the approach. Finally, we establish that the model-checking problem for RB+-ATL* is decidable by a reduction to parity games, and show how to synthesise values for resource parameters
Typing Late Prehistoric Cows and Bulls—Osteology and Genetics of Cattle at the Eketorp Ringfort on the Öland Island in Sweden
Human management of livestock and the presence of different breeds have been discussed in archaeozoology and animal breeding. Traditionally osteometrics has been the main tool in addressing these questions. We combine osteometrics with molecular sex identifications of 104 of 340 morphometrically analysed bones in order to investigate the use of cattle at the Eketorp ringfort on the Öland island in Sweden. The fort is dated to 300–1220/50 A.D., revealing three different building phases. In order to investigate specific patterns and shifts through time in the use of cattle the genetic data is evaluated in relation to osteometric patterns and occurrence of pathologies on cattle metapodia. Males were genotyped for a Y-chromosomal SNP in UTY19 that separates the two major haplogroups, Y1 and Y2, in taurine cattle. A subset of the samples were also genotyped for one SNP involved in coat coloration (MC1R), one SNP putatively involved in resistance to cattle plague (TLR4), and one SNP in intron 5 of the IGF-1 gene that has been associated to size and reproduction
Proapoptotic activity of Ukrain is based on Chelidonium majus L. alkaloids and mediated via a mitochondrial death pathway
BACKGROUND: The anticancer drug Ukrain (NSC-631570) which has been specified by the manufacturer as semisynthetic derivative of the Chelidonium majus L. alkaloid chelidonine and the alkylans thiotepa was reported to exert selective cytotoxic effects on human tumour cell lines in vitro. Few clinical trials suggest beneficial effects in the treatment of human cancer. Aim of the present study was to elucidate the importance of apoptosis induction for the antineoplastic activity of Ukrain, to define the molecular mechanism of its cytotoxic effects and to identify its active constituents by mass spectrometry. METHODS: Apoptosis induction was analysed in a Jurkat T-lymphoma cell model by fluorescence microscopy (chromatin condensation and nuclear fragmentation), flow cytometry (cellular shrinkage, depolarisation of the mitochondrial membrane potential, caspase-activation) and Western blot analysis (caspase-activation). Composition of Ukrain was analysed by mass spectrometry and LC-MS coupling. RESULTS: Ukrain turned out to be a potent inducer of apoptosis. Mechanistic analyses revealed that Ukrain induced depolarisation of the mitochondrial membrane potential and activation of caspases. Lack of caspase-8, expression of cFLIP-L and resistance to death receptor ligand-induced apoptosis failed to inhibit Ukrain-induced apoptosis while lack of FADD caused a delay but not abrogation of Ukrain-induced apoptosis pointing to a death receptor independent signalling pathway. In contrast, the broad spectrum caspase-inhibitor zVAD-fmk blocked Ukrain-induced cell death. Moreover, over-expression of Bcl-2 or Bcl-x(L )and expression of dominant negative caspase-9 partially reduced Ukrain-induced apoptosis pointing to Bcl-2 controlled mitochondrial signalling events. However, mass spectrometric analysis of Ukrain failed to detect the suggested trimeric chelidonine thiophosphortriamide or putative dimeric or monomeric chelidonine thiophosphortriamide intermediates from chemical synthesis. Instead, the Chelidonium majus L. alkaloids chelidonine, sanguinarine, chelerythrine, protopine and allocryptopine were identified as major components of Ukrain. Apart from sanguinarine and chelerythrine, chelidonine turned out to be a potent inducer of apoptosis triggering cell death at concentrations of 0.001 mM, while protopine and allocryptopine were less effective. Similar to Ukrain, apoptosis signalling of chelidonine involved Bcl-2 controlled mitochondrial alterations and caspase-activation. CONCLUSION: The potent proapoptotic effects of Ukrain are not due to the suggested "Ukrain-molecule" but to the cytotoxic efficacy of Chelidonium majus L. alkaloids including chelidonine
- …