Results 61 to 70 of about 348,999 (338)
FEBS Letters, Volume 599, Issue 7, Page 1075-1085, April 2025.We describe a novel set of Epac‐based FRET‐FLIM biosensors with improved fully cytosolic distribution, achieved without compromising the state‐of‐the‐art performance of our original designs, for detecting cAMP dynamics in real time in live cells with high precision and reliability.
Giulia Zanetti +2 more
wiley +1 more source
Constraint Solving for Finite Model Finding in SMT Solvers
, 2017 SMT solvers have been used successfully as reasoning engines for automated verification and other applications based on automated reasoning. Current techniques for dealing with quantified formulas in SMT are generally incomplete, forcing SMT solvers to ...
Barrett, Clark +2 more
core +1 more source
Automated reasoning with uncertainties [PDF]
, 1994 In this work we assume that uncertainty is a multifaceted concept and present a system for automated reasoning with multiple representations of uncertainty.
David Robertson +2 more
openaire +2 more sources
Foreword to the Special Issue on Automated Reasoning [PDF]
AI Communications, 2018 Foreword to the Special Issue on Automated ...
Fontaine, Pascal +3 more
openaire +3 more sources
FEBS Letters, EarlyView.Venom peptides have shown promise in treating pain. Our study uses computer screening to identify a peptide that targets a sodium channel (NaV1.7) linked to chronic pain. We produced the peptide in the laboratory and refined its design, advancing the search for innovative pain therapies.
Gagan Sharma +8 more
wiley +1 more source
Explainable Automated Reasoning in Law using Probabilistic Epistemic Argumentation [PDF]
arXiv, 2020 Applying automated reasoning tools for decision support and analysis in law has the potential to make court decisions more transparent and objective. Since there is often uncertainty about the accuracy and relevance of evidence, non-classical reasoning approaches are required.
arxiv
Identification of novel small molecule inhibitors of ETS transcription factors
FEBS Letters, EarlyView.ETS transcription factors play an essential role in tumourigenesis and are indispensable for sprouting angiogenesis, a hallmark of cancer, which fuels tumour expansion and dissemination. Thus, targeting ETS transcription factor function could represent an effective, multifaceted strategy to block tumour growth. The evolutionarily conserved E‐Twenty‐Six
Shaima Abdalla +9 more
wiley +1 more source
Automated Reasoning in the Class
, 2022 International ...
Drămnesc, Isabela +4 more
openaire +2 more sources
Consciousness and Automated Reasoning
, 2020 This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory.
Barthelmeß, Ulrike +2 more
openaire +2 more sources
Molecular Oncology, EarlyView.Urine is a rich source of biomarkers for cancer detection. Tumor‐derived material is released into the bloodstream and transported to the urine. Urine can easily be collected from individuals, allowing non‐invasive cancer detection. This review discusses the rationale behind urine‐based cancer detection and its potential for cancer diagnostics ...
Birgit M. M. Wever +1 more
wiley +1 more source