Results 101 to 110 of about 9,013,912 (355)

Model-Based Reasoning in Crime Prevention

, 2017
Model-based reasoning approaches can be used to formalize and analyze (informal) theories from the field of criminology, to help gain more insight in criminological phenomena that were not clear based on just the informal theory. The analysis of the displacement of crime is an important research interest in criminological research.
Gerritsen, Charlotte, Bosse, T.
openaire   +2 more sources

The Bayesian Case Model: A Generative Approach for Case-Based Reasoning and Prototype Classification [PDF]

, 2014
We present the Bayesian Case Model (BCM), a general framework for Bayesian case-based reasoning (CBR) and prototype classification and clustering. BCM brings the intuitive power of CBR to a Bayesian generative framework.
Kim, Been, Rudin, Cynthia, Shah, Julie
core   +2 more sources

The newfound relationship between extrachromosomal DNAs and excised signal circles

FEBS Letters, EarlyView.
Extrachromosomal DNAs (ecDNAs) contribute to the progression of many human cancers. In addition, circular DNA by‐products of V(D)J recombination, excised signal circles (ESCs), have roles in cancer progression but have largely been overlooked. In this Review, we explore the roles of ecDNAs and ESCs in cancer development, and highlight why these ...
Dylan Casey, Zeqian Gao, Joan Boyes
wiley   +1 more source

Reasoning with the inverse of 3D cardinal direction relations based on direction matrices

Scientific Reports
In order to improve the ability of intelligent reasoning and prediction of 3DR27 model which presented in our previous work, enhance the usability of this model, and better fulfill the demands of real applications for spatial database, we focused on the ...
Miao Wang, Xingxing Dong, Jixun Gao, Zhenxi Fang, Hao Tang, Song Li   +5 more
doaj   +1 more source

Realistic Mathematics Education Model for Logical Reasoning of Primary Students

Jurnal Math Educator Nusantara: Wahana Publikasi Karya Tulis Ilmiah di Bidang Pendidikan Matematika
Logical reasoning for primary school students is still relatively low. Meanwhile, primary school students need logical reasoning to solve problems based on reasonable facts.
Reza Aulia Windari, Mohammad Faizal Amir   +1 more
doaj   +1 more source

Automated Verification of Quantum Protocols using MCMAS

, 2012
We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framework developed by D'Hondt and Panangaden for investigating epistemic and ...
A. Lomuscio, Baltag, Baltag, Baltag, Bennett, Bennett, Clarke, D'Hondt, D'Hondt, Danos, Danos, Danos, Ekert, Elboukhari, F. Belardinelli, Fagin, Gay, Herbert Wiklicky, Kwiatkowska, Lomuscio, Mieke Massink, Nielsen, P. Gonzalez, van der Meyden   +23 more
core   +2 more sources

In situ molecular organization and heterogeneity of the Legionella Dot/Icm T4SS

FEBS Letters, EarlyView.
We present a nearly complete in situ model of the Legionella Dot/Icm type IV secretion system, revealing its central secretion channel and identifying new components. Using cryo‐electron tomography with AI‐based modeling, our work highlights the structure, variability, and mechanism of this complex nanomachine, advancing understanding of bacterial ...
Przemysław Dutka, Yuxi Liu, Stefano Maggi, Debnath Ghosal, Jue Wang, Prashant P. Damke, Stephen D. Carter, Wei Zhao, Sukhithasri Vijayrajratnam, Joseph P. Vogel, Carrie L. Shaffer, Grant J. Jensen   +11 more
wiley   +1 more source

Sequence determinants of RNA G‐quadruplex unfolding by Arg‐rich regions

FEBS Letters, EarlyView.
We show that Arg‐rich peptides selectively unfold RNA G‐quadruplexes, but not RNA stem‐loops or DNA/RNA duplexes. This length‐dependent activity is inhibited by acidic residues and is conserved among SR and SR‐related proteins (SRSF1, SRSF3, SRSF9, U1‐70K, and U2AF1).
Naiduwadura Ivon Upekala De Silva, Puspa Kunwar, Md Ibnul Rifat Rahman, Joanna Koryo Kwao, Nathan Lehman, Zihan Zhang, Trenton Paul, Claire Cheng, Nicholas Truex, Hui‐Ting Lee, Jun Zhang   +10 more
wiley   +1 more source

Reasoning about real-time systems with temporal interval logic constraints on multi-state automata [PDF]

Models of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic.
Gabrielian, Armen
core   +1 more source

Inhibiting stearoyl‐CoA desaturase suppresses bone metastatic prostate cancer by modulating cellular stress, mTOR signaling, and DNA damage response

FEBS Letters, EarlyView.
Bone metastasis in prostate cancer (PCa) patients is a clinical hurdle due to the poor understanding of the supportive bone microenvironment. Here, we identify stearoyl‐CoA desaturase (SCD) as a tumor‐promoting enzyme and potential therapeutic target in bone metastatic PCa.
Alexis Wilson, Mackenzie K Herroon, Shane Mecca, Laimar C Garmo, Jacob Lindquist, Shrila Rajendran, Steve M. Patrick, Izabela Podgorski   +7 more
wiley   +1 more source