Results 61 to 70 of about 47,932 (337)

From omics to AI—mapping the pathogenic pathways in type 2 diabetes

FEBS Letters, EarlyView.
Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan, Lu Qi, Pierre Zalloua   +2 more
wiley   +1 more source

The logical strength of B\"uchi's decidability theorem [PDF]

Logical Methods in Computer Science, 2019
We study the strength of axioms needed to prove various results related to automata on infinite words and B\"uchi's theorem on the decidability of the MSO theory of $(N, {\le})$.
Leszek Kołodziejczyk, Henryk Michalewski, Pierre Pradic, Michał Skrzypczak   +3 more
doaj   +1 more source

Eliminating Recursion from Monadic Datalog Programs on Trees

, 2015
We study the problem of eliminating recursion from monadic datalog programs on trees with an infinite set of labels. We show that the boundedness problem, i.e., determining whether a datalog program is equivalent to some nonrecursive one is undecidable ...
D Calvanese, Filip Mazowiecki, G Hillebrand, H Gaifman, Henrik Björklund, J Naughton, J Naughton, Michael Benedikt, Mikołaj Bojańczyk, O Shmueli, S Abiteboul, S Ceri, Y Sagiv   +12 more
core   +1 more source

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

Pausing to decide [PDF]

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

Adverse prognosis gene expression patterns in metastatic castration‐resistant prostate cancer

Molecular Oncology, EarlyView.
We aggregated a cohort of 1012 mCRPC tissue samples from 769 patients and investigated the association of gene expression‐based pathways with clinical outcomes. Loss of AR signaling, high proliferation, and a glycolytic phenotype were independently prognostic for poor outcomes, and an adverse transcriptional feature score incorporating these pathways ...
Marina N. Sharifi, Eric Feng, Nicholas R. Rydzewski, Amy K. Taylor, Jamie M. Sperger, Yue Shi, Kyle T. Helzer, Matthew L. Bootsma, Viridiana Carreno, Alex H. Chang, Luke A. Nunamaker, Grace C. Blitzer, Tianfu Andy Shang, Aishwarya Subramanian, Anders Bjartell, Andreas Josefsson, Pernilla Wikström, Emily Feng, Manish Kohli, Rendong Yang, Scott M. Dehm, Eric J. Small, Rahul Aggarwal, David A. Quigley, Joshua M. Lang, Shuang G. Zhao, Martin Sjöström   +26 more
wiley   +1 more source

TOMM20 as a driver of cancer aggressiveness via oxidative phosphorylation, maintenance of a reduced state, and resistance to apoptosis

Molecular Oncology, EarlyView.
TOMM20 increases cancer aggressiveness by maintaining a reduced state with increased NADH and NADPH levels, oxidative phosphorylation (OXPHOS), and apoptosis resistance while reducing reactive oxygen species (ROS) levels. Conversely, CRISPR‐Cas9 knockdown of TOMM20 alters these cancer‐aggressive traits.
Ranakul Islam, Megan E. Roche, Zhao Lin, Diana Whitaker‐Menezes, Victor Diaz‐Barros, Eurico Serrano, Maria Paula Martinez Cantarin, Nancy J. Philp, Atrayee Basu Mallick, Ubaldo Martinez‐Outschoorn   +9 more
wiley   +1 more source

Decidability Problems for Actor Systems [PDF]

Logical Methods in Computer Science, 2014
We introduce a nominal actor-based language and study its expressive power. We have identified the presence/absence of fields as a crucial feature: the dynamic creation of names in combination with fields gives rise to Turing completeness.
Frank De Boer, Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro   +3 more
doaj   +1 more source

Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties

, 2018
We introduce a model of one-way language acceptors (a variant of a checking stack automaton) and show the following decidability properties: (1) The deterministic version has a decidable membership problem but has an undecidable emptiness problem.
Ibarra, Oscar H., McQuillan, Ian
core   +1 more source

A large‐scale retrospective study in metastatic breast cancer patients using circulating tumour DNA and machine learning to predict treatment outcome and progression‐free survival

Molecular Oncology, EarlyView.
There is an unmet need in metastatic breast cancer patients to monitor therapy response in real time. In this study, we show how a noninvasive and affordable strategy based on sequencing of plasma samples with longitudinal tracking of tumour fraction paired with a statistical model provides valuable information on treatment response in advance of the ...
Emma J. Beddowes, Mario Ortega Duran, Solon Karapanagiotis, Alistair Martin, Meiling Gao, Riccardo Masina, Ramona Woitek, James Tanner, Fleur Tippin, Justine Kane, Jonathan Lay, Anja Brouwer, Stephen‐John Sammut, Suet‐Feung Chin, Davina Gale, Dana W. Y. Tsui, Sarah‐Jane Dawson, Nitzan Rosenfeld, Maurizio Callari, Oscar M. Rueda, Carlos Caldas   +20 more
wiley   +1 more source