Results 71 to 80 of about 475,794 (375)
Deciding not to decide: Deferral in constitutional design
International Journal of Constitutional Law, 2011 In designing constitutions, constitutional drafters often face constraints that cause them to leave things “undecided”—or to defer decision-making on certain constitutional issues to the future. They do this both through adopting vague constitutional language, and through specific language that explicitly delegates issues to future legislators (i.e ...
Dixon, Rosalind, Ginsburg, Tom
openaire +2 more sources
Molecular Oncology, EarlyView.The number of circulating tumor cells obtained from prostate cancer patients was increased approximately 5‐fold compared to regular CellSearch when processing 2 mL diagnostic leukapheresis material aliquots and increased by 44‐fold when processing 20 mL DLA aliquots using the flow enrichment target capture Halbach‐array.
Michiel Stevens +8 more
wiley +1 more source
Boundedness in languages of infinite words [PDF]
Logical Methods in Computer Science, 2017 We define a new class of languages of $\omega$-words, strictly extending $\omega$-regular languages. One way to present this new class is by a type of regular expressions.
Mikołaj Bojańczyk, Thomas Colcombet
doaj +1 more source
Proceedings of the National Academy of Sciences, 2000 Sudden environmental changes and physiological stresses such as osmotic shock, nutrient availability, and heat shock demand that cells have the abilities to modulate their behavior to adapt and survive. Eukaryotic cells face the additional challenges of coordinating these changes between different cellular compartments, and this coordination ...
Peter Walter, Maho Niwa
openaire +3 more sources
Surfaceome: a new era in the discovery of immune evasion mechanisms of circulating tumor cells
Molecular Oncology, EarlyView.In the era of immunotherapies, many patients either do not respond or eventually develop resistance. We propose to pave the way for proteomic analysis of surface‐expressed proteins called surfaceome, of circulating tumor cells. This approach seeks to identify immune evasion mechanisms and discover potential therapeutic targets. Circulating tumor cells (
Doryan Masmoudi +3 more
wiley +1 more source
Deciding some displayable modal logics [PDF]
arXiv, 2023 In this paper we use display calculus to show the decidability for normal modal logic K and some of its extensions.
arxiv
Molecular Oncology, EarlyView.Circulating tumor DNA (ctDNA) offers a possibility for different applications in early and late stage breast cancer management. In early breast cancer tumor informed approaches are increasingly used for detecting molecular residual disease (MRD) and early recurrence. In advanced stage, ctDNA provides a possibility for monitoring disease progression and
Eva Valentina Klocker +14 more
wiley +1 more source
Molecular Oncology, EarlyView.In this explorative biomarker analysis, we assessed serial sampling of circulating tumor cells (CTCs) with CellSearch in two randomized trials testing immune checkpoint inhibitors (ICIs) in metastatic breast cancer. Our data demonstrate a prognostic potential of CTCs, most apparent 4 weeks into ICI therapy.
Nikolai Kragøe Andresen +13 more
wiley +1 more source
A Decidable Extension of Data Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Data automata on data words is a decidable model proposed by Bojańczyk et al. in 2006. Class automata, introduced recently by Bojańczyk and Lasota, is an extension of data automata which unifies different automata models on data words.
Zhilin Wu
doaj +1 more source
Undecidability and Complexity for Super-Turing Models of Computation
Proceedings, 2022 It seems that intelligent complex systems will require formalisms having richer behavior than Turing machines. Very little is known about the relations (e.g., the expressiveness and/or effectiveness) between new super-Turing models of computation.
Eugene Eberbach
doaj +1 more source