Results 41 to 50 of about 816,456 (248)

Combatting bayesian criticism: a bayesian-inspired critical checklist for judicial reasoning

Quaestio Facti
This paper develops a Bayesian-inspired checklist of critical questions designed to support probabilistic reasoning in legal contexts. Building on Mackor’s (2026) proposal, rather than requiring formal Bayesian models or numerical probabilities, the ...
Leya Lisa Hampson
doaj   +1 more source

Spatial and single‐nuclei transcriptomics reveals idiosyncratic and generic patterns in papillary and anaplastic thyroid cancers

Molecular Oncology, EarlyView.
Matched spatial transcriptomics and single‐nuclei RNA‐seq were generated for anaplastic and BRAFV600E papillary thyroid cancers revealing generic and tumor‐specific states occurring in cancer cells and in the tumor microenvironment. In this context, cancer dedifferentiation mirrored organoid maturation through ordered thyroid marker gain/loss ...
Adrien Tourneur, Joel Rodrigues Vitória, Manuel Saiselet, Ligia Craciun, Denis Larsimont, Anne Lefort, Frédérick Libert, Carine Maenhaut, Sabine Costagliola, Maxime Tarabichi, Mirian Romitti, Vincent Detours   +11 more
wiley   +1 more source

Guiding AlphaFold to predict how Munc13‐1 opens Syntaxin‐1

FEBS Open Bio, EarlyView.
The syntaxin‐1 Habc‐domain (orange), linker (pink) and SNARE motif (yellow) form a closed conformation that binds to Munc18‐1 (violet) and is opened by the Munc13‐1 MUN domain (cyan) to form the SNARE complex that triggers neurotransmitter release.
Madhurima Chattopadhyay, Junjie Xu, Josep Rizo   +2 more
wiley   +1 more source

A Model of Scientific Data Reasoning

Education Sciences, 2022
Data reasoning is an essential component of scientific reasoning, as a component of evidence evaluation. In this paper, we outline a model of scientific data reasoning that describes how data sensemaking underlies data reasoning.
Amy M. Masnick, Bradley J. Morris
doaj   +1 more source

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  

The dual value of Probabilistic Abstract interpretation

, 2016
Probabilistic Abstract Interpretation is a framework for program analysis that allows us to accommodate probabilistic properties and properties of probabilistic computations.
DI PIERRO, ALESSANDRA
core   +1 more source

Probabilistic reasoning as quadratic unconstrained binary optimization

, 2022
Probabilistic reasoning is an important tool for using uncertainty in AI, especially for automated reasoning. Partial probability assessments are a way of expressing partial probabilistic knowledge on a set of events.
Marco Baioletti, Baioletti M.
core   +1 more source

Exploring the Potential for Large Language Models to Demonstrate Rational Probabilistic Beliefs

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Advances in the general capabilities of large language models (LLMs) have led to their use for information retrieval, and as components in automated decision systems.
Gabriel Freedman, Francesca Toni
doaj   +1 more source

Structural studies and functional engineering of NanX: an anhydro‐sialic acid transporter from Escherichia coli

FEBS Open Bio, EarlyView.
Biophysical characterisation shows that NanX, a membrane transport protein from the major facilitator superfamily (MFS), forms both monomers and dimers after purification. AlphaFold modelling and substrate docking provide information on residues likely involved in substrate recognition for NanX and another MFS member, NanT.
Michael C. Newton‐Vesty, Kelsi R. Hall, Zachary D. Tillett, Liam S. Turk, James S. Davies, Michael J. Currie, Hamish G. Brown, Sepideh Valimehr, Peter D. Mace, Andrew E. Whitten, Santosh Panjikar, Eric Hanssen, Rachel A. North, Renwick C.J. Dobson   +13 more
wiley   +1 more source

Reasoning Algebraically about Probabilistic Loops [PDF]

, 2006
Back and von Wright have developed algebraic laws for reasoning about loops in the refinement calculus. We extend their work to reasoning about probabilistic loops in the probabilistic refinement calculus.
Meinicke, Larissa, Larissa Meinicke, Ian J. Hayes, Hayes, Ian J.   +3 more
core   +1 more source