Results 51 to 60 of about 721,848 (214)
The Complexity of Infinite Computations In Models of Set Theory [PDF]
Logical Methods in Computer Science, 2009 We prove the following surprising result: there exist a 1-counter B\"uchi automaton and a 2-tape B\"uchi automaton such that the \omega-language of the first and the infinitary rational relation of the second in one model of ZFC are \pi_2^0-sets, while ...
Olivier Finkel
doaj +1 more source
Molecular Oncology, EarlyView.Following high dose rate brachytherapy (HDR‐BT) for hepatocellular carcinoma (HCC), patients were classified as responders and nonresponders. Post‐therapy serum induced increased BrdU incorporation and Cyclin E expression of Huh7 and HepG2 cells in nonresponders, but decreased levels in responders.
Lukas Salvermoser +14 more
wiley +1 more source
Separating regular languages with two quantifier alternations [PDF]
Logical Methods in Computer Science, 2018 We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one ...
Thomas Place
doaj +1 more source
Molecular Oncology, EarlyView.A mouse model for vascular normalization and a human breast cancer cohort were studied to understand the relationship between vascular leakage and tumor immune suppression. For this, endothelial and immune cell RNAseq, staining for vascular function, and immune cell profiling were employed.
Liqun He +8 more
wiley +1 more source
Molecular Oncology, EarlyView.Generation of two normal and tumour (cancerous) paired human cell lines using an established tissue culture technique and their characterisation is described. Cell lines were characterised at cellular, protein, chromosome and gene expression levels and for HPV status.
Simon Broad +12 more
wiley +1 more source
Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham +7 more
wiley +1 more source
SNUPN‐Related Muscular Dystrophy: Novel Phenotypic, Pathological and Functional Protein Insights
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective SNUPN‐related muscular dystrophy or LGMDR29 is a new entity that covers from a congenital or childhood onset pure muscular dystrophy to more complex phenotypes combining neurodevelopmental features, cataracts, or spinocerebellar ataxia. So far, 12 different variants have been described.
Nuria Muelas +18 more
wiley +1 more source
Logical Methods in Computer Science, 2012 We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution.
Mario Bravetti +3 more
doaj +1 more source
Nationwide Survey of Atopic Myelitis and Plexin D1‐Immunoglobulin G‐Related Pain
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To elucidate the features of plexin D1‐immunoglobulin (Ig)G‐associated neuropathic pain and its relationship to atopic myelitis (AM) in a nationwide Japanese survey. Methods A preliminary survey questionnaire was sent to 1574 selected departments (neurology and pediatrics/pediatric neurology) to explore the numbers of AM and plexin ...
Jun‐ichi Kira +10 more
wiley +1 more source
Logics for Unranked Trees: An Overview [PDF]
Logical Methods in Computer Science, 2006 Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purposes: some are better suited for extracting data, some for expressing ...
Leonid Libkin
doaj +1 more source