Results 81 to 90 of about 348,999 (338)

Addressing persistent challenges in digital image analysis of cancer tissue: resources developed from a hackathon

Molecular Oncology, EarlyView.
Large multidimensional digital images of cancer tissue are becoming prolific, but many challenges exist to automatically extract relevant information from them using computational tools. We describe publicly available resources that have been developed jointly by expert and non‐expert computational biologists working together during a virtual hackathon
Sandhya Prabhakaran, Clarence Yapp, Gregory J. Baker, Johanna Beyer, Young Hwan Chang, Allison L. Creason, Robert Krueger, Jeremy Muhlich, Nathan Heath Patterson, Kevin Sidak, Damir Sudar, Adam J. Taylor, Luke Ternes, Jakob Troidl, Xie Yubin, Artem Sokolov, Darren R. Tyson   +16 more
wiley   +1 more source

How much of commonsense and legal reasoning is formalizable? A review of conceptual obstacles [PDF]

, 2012
Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by ...
Franklin, James
core  

Respiratory complex I‐mediated NAD+ regeneration regulates cancer cell proliferation through the transcriptional and translational control of p21Cip1 expression by SIRT3 and SIRT7

Molecular Oncology, EarlyView.
NAD+ regeneration by mitochondrial complex I NADH dehydrogenase is important for cancer cell proliferation. Specifically, NAD+ is necessary for the activities of NAD+‐dependent deacetylases SIRT3 and SIRT7, which suppress the expression of p21Cip1 cyclin‐dependent kinase inhibitor, an antiproliferative molecule, at the translational and transcriptional
Masato Higurashi, Kazunori Mori, Hidetsugu Nakagawa, Momoko Uchida, Fumihiro Ishikawa, Motoko Shibanuma   +5 more
wiley   +1 more source

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]

International Journal of Computational Intelligence Systems, 2014
This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj   +1 more source

Extending Automated Deduction for Commonsense Reasoning [PDF]

arXiv, 2020
Commonsense reasoning has long been considered as one of the holy grails of artificial intelligence. Most of the recent progress in the field has been achieved by novel machine learning algorithms for natural language processing. However, without incorporating logical reasoning, these algorithms remain arguably shallow.
arxiv  

Automated Planning Techniques for Elementary Proofs in Abstract Algebra [PDF]

arXiv, 2023
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematical proofs. In particular, we investigate the use of planning to construct elementary proofs in abstract algebra, which provides a ...
arxiv  

Structure-Guided Automated Reasoning

, 2023
Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which states that all problems expressible in monadic second-order logic can be solved efficiently on structures of small treewidth.
Bannach, Max, Hecher, Markus
openaire   +4 more sources

Analysis of comprehensive genomic profiling of solid tumors with a novel assay for broad analysis in clinical diagnostics

Molecular Oncology, EarlyView.
In molecular cancer diagnostics, comprehensive genomic profiling (CGP) is going to replace the small NGS panels since it provides all clinically relevant somatic variants as well as genomic biomarkers with clinical value. Here, we compared two CGP assays and demonstrate that the choice for diagnostic implementation will depend on the specific ...
Guy Froyen, Pieter‐Jan Volders, Ellen Geerdens, Severine Berden, Joni Van der Meulen, Aaron De Cock, Stefanie Vermeire, Jacques Van Huysse, Marie de Barsy, Gabriela Beniuga, Wendy W. J. de Leng, Anne M. L. Jansen, Imke Demers, Zeliha Ozgur, Hendrikus Jan Dubbink, Ernst‐Jan M. Speel, Wilfred F. J. van IJcken, Brigitte Maes   +17 more
wiley   +1 more source

Classification of acute myeloid leukemia based on multi‐omics and prognosis prediction value

Molecular Oncology, EarlyView.
The Unsupervised AML Multi‐Omics Classification System (UAMOCS) integrates genomic, methylation, and transcriptomic data to categorize AML patients into three subtypes (UAMOCS1‐3). This classification reveals clinical relevance, highlighting immune and chromosomal characteristics, prognosis, and therapeutic vulnerabilities.
Yang Song, Zhe Wang, Guangji Zhang, Jiangxue Hou, Kaiqi Liu, Shuning Wei, Yan Li, Chunlin Zhou, Dong Lin, Min Wang, Hui Wei, Jianxiang Wang, Tao Cheng, Yingchang Mi   +13 more
wiley   +1 more source

Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs

Advances in Distributed Computing and Artificial Intelligence Journal, 2012
TERENCE is an FP7 ICT European project that is developing an adaptive learning system for supporting poor comprehenders and their educators. Its learning material are books of stories and games. The games are specialised into smart games, which stimulate
Vincenza COFINI, Fernando DE LA PRIETA, Tania di MASCIO, Rosella GENNARI, Pierpaolo VITTORINI   +4 more
doaj   +1 more source