Results 41 to 50 of about 1,200,969 (291)
Knowledge-Based Decision Support in Healthcare via Near Field Communication
Sensors, 2020 The benefits of automatic identification technologies in healthcare have been largely recognized. Nevertheless, unlocking their potential to support the most knowledge-intensive medical tasks requires to go beyond mere item identification.
Giuseppe Loseto +6 more
doaj +1 more source
POLITICS: Automated ideological reasoning [PDF]
Cognitive Science, 1978 POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating ...
openaire +1 more source
Structural and biochemical analysis of a B12 superbinder
FEBS Letters, EarlyView.BtuG proteins are vitamin B12 scavengers in Bacteroides thetaiotaomicron, a dominant human gut bacterium. We present crystal structures of three BtuG homologs bound to cobalamin and its precursor cobinamide, revealing picomolar binding affinities, among the highest known for any natural protein.
Jose M. Martinez Felices +3 more
wiley +1 more source
Molecular Oncology, EarlyView.Incomplete microwave ablation (iMWA) of liver cancer triggers a biphasic progression in residual tumors. At Day 3, the microenvironment is characterized by acute inflammatory responses and extracellular matrix (ECM) remodeling. By Day 14, a profound shift occurs toward oncogenic signal transduction and immunosuppression, marked by macrophage ...
Yu Liu +9 more
wiley +1 more source
BMC Medical Informatics and Decision Making, 2020 Background Ontologies are widely used throughout the biomedical domain. These ontologies formally represent the classes and relations assumed to exist within a domain. As scientific domains are deeply interlinked, so too are their representations.
Karin T. Slater +2 more
doaj +1 more source
RoundMi: A quantitative method to analyze mitochondrial morphology in mitotic cells
FEBS Open Bio, EarlyView.RoundMi is a workflow for rapid analysis of mitochondrial morphology in mitotic cells. By combining adaptive preprocessing with automated segmentation and quantification, it enables accurate measurements from single focal plane images, reducing acquisition time and computational demands while remaining compatible with high‐throughput fixed and live ...
Elmira Parvindokht Bararpour +2 more
wiley +1 more source
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +1 more source
Structure-Guided Automated Reasoning
CoRR, 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.
Max Bannach, Markus Hecher
openaire +4 more sources
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos
, 2022 This issue collects papers written in memory of the late Larry Wos, exceptional scientist and charismatic leader during six decades of research in automated reasoning.
Bonacina, Maria Paola
core
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source