Results 51 to 60 of about 24,451 (299)
Sherlock Holmes on Reasoning [PDF]
, 2010 In this paper, I will show that Sherlock Holmes was a good logician, according to the standard of the 19th century, both in his character and knowledge (sections 2 and 3).
Uchii, Soshichi
core
Probabilistic-possibilistic belief networks [PDF]
, 2008 The interpretation of membership functions of fuzzy sets as statistical likelihood functions leads to a probabilistic-possibilistic hierarchical description of uncertain knowledge.
Cattaneo, Marco E. G. V.
core +1 more source
Interpreting the effects of DNA polymerase variants at the structural level
Molecular Oncology, EarlyView.Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi +7 more
wiley +1 more source
Combinatorial and Proportional Task: Looking for Intuitive Strategies in Primary Education
Mathematics, 2022 The development of probabilistic thinking at school requires enhancing combinatorial and proportional reasoning. For this reason, 190 sixth-grade elementary school students (11–12-year-old), without previous instruction in the topic, solve a task ...
Maria Ricart, Assumpta Estrada
doaj +1 more source
Performance analysis of probabilistic timed automata using digital clocks [PDF]
, 2006 Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a modelling formalism suitable for describing formally both nondeterministic and probabilistic aspects of real-time systems, and is amenable to
Kwiatkowska, M. +3 more
core +1 more source
Molecular Oncology, EarlyView.BCL9 and BCL9L drive bladder cancer progression by enhancing β‐catenin signaling, promoting proliferation, migration, invasion, and organoid growth. Genetic depletion of BCL9(L) suppresses malignant phenotypes, while pharmacological disruption of the β‐catenin/BCL9(L) complex with ZW4864 inhibits canonical Wnt signaling and tumor‐associated cellular ...
Roland Kotolloshi +11 more
wiley +1 more source
FEBS Open Bio, EarlyView.Activation of the mitochondrial protein OXR1 increases pSyn129 αSynuclein aggregation by lowering ATP levels and altering mitochondrial membrane potential, particularly in response to MSA‐derived fibrils. In contrast, ablation of the ER protein EMC4 enhances autophagic flux and lysosomal clearance, broadly reducing α‐synuclein aggregates.
Sandesh Neupane +11 more
wiley +1 more source
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models
, 2016 Integrating logical and probabilistic reasoning and integrating reasoning over observations and predictions are two important challenges in AI. In this paper we propose P-MTL as an extension to Metric Temporal Logic supporting temporal logical reasoning ...
Heintz, Fredrik +5 more
core +1 more source
Probabilistic model checking of complex biological pathways [PDF]
, 2006 Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including security and communication protocols, distributed algorithms and power management.
Marta Kwiatkowska +24 more
core +1 more source
FEBS Open Bio, EarlyView.Bioscience students were asked for their opinions on the value and teaching of skills. 204 responded that teamwork, time management and study skills are necessary to reach University, that scientific writing, research, laboratory and presentation skills are taught effectively during their studies, while other skills are gained inherently through study ...
Janella Borrell, Susan Crennell
wiley +1 more source