Results 71 to 80 of about 348,999 (338)
Computer Science and Metaphysics: A Cross-Fertilization
Open Philosophy, 2019 Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel +2 more
doaj +1 more source
Unraveling the metastasis‐preventing effect of miR‐200c in vitro and in vivo
Molecular Oncology, Volume 19, Issue 4, Page 1029-1053, April 2025.Advanced tumors and ineffective cancer treatments can lead to metastases in distant organs. The sole expression of microRNA 200c (miR‐200c) in breast cancer cells is shown to significantly reduce metastasis formation in xenograft mouse models. Various in vitro analyses revealed impeded migratory behavior, upon miR‐200c expression, as one prerequisite ...
Bianca Köhler +12 more
wiley +1 more source
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge.
Claudia Schon +2 more
doaj +1 more source
Using Ontologies for the Formalization and Recognition of Criticality for Automated Driving
IEEE Open Journal of Intelligent Transportation Systems, 2022 Knowledge representation and reasoning has a long history of examining how knowledge can be formalized, interpreted, and semantically analyzed by machines.
Lukas Westhofen +4 more
doaj +1 more source
Proof Simplification and Automated Theorem Proving [PDF]
Philosophical Transactions of the Royal Society A, 377 (2018), 2018 The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Hopefully this discussion will stimulate interest in the larger, still open, question of what reasonable measures of proof simplicity might be.
arxiv +1 more source
Automating Leibniz’s Theory of Concepts [PDF]
, 2015 Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’).
Alama, Jesse +2 more
core +2 more sources
Molecular Oncology, Volume 19, Issue 4, Page 1155-1169, April 2025.We propose an efficient strategy to suppress ALK inhibitor (ALKi) resistance. By analyzing transcriptome data, we identified emetine as a potential inhibitor. We demonstrated that emetine exhibited effectiveness in inhibiting the growth of ALKi‐resistant cells, and further interpreted its impact on the resistant signatures through drug‐induced RNA ...
Sang‐Min Park +8 more
wiley +1 more source
Integrated Reasoning and Proof Choice Point Selection in the Jahob System – Mechanisms for Program Survival [PDF]
, 2009 In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system.
C. Barrett +11 more
core +2 more sources
Molecular Oncology, EarlyView.The authors analyzed the spatial distributions of gene and metabolite profiles in cervical cancer through spatial transcriptomic and spatially resolved metabolomic techniques. Pivotal genes and metabolites within these cases were then identified and validated.
Lixiu Xu +3 more
wiley +1 more source
Neurons and symbols: a manifesto [PDF]
, 2010 We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core