Results 71 to 80 of about 4,198,145 (291)
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Exploring Mathematical Reasoning of Elementary Preservice Teachers
Journal of Educational Research in Mathematics, 2020 The purpose of this study is to understand the characteristics of mathematical reasoning of elementary preservice teachers (EPTs). For this purpose, 68 EPTs were presented with two tasks related to mathematical reasoning, and their written responses were
GwiSoo Na, Dong-Won Kim
doaj +1 more source
Extracting Proofs from Tabled Proof Search [PDF]
, 2013 We consider the problem of model checking specifications involving co-inductive definitions such as are available for bisimulation. A proof search approach to model checking with such specifications often involves state exploration. We consider four different tabling strategies that can minimize such exploration significantly.
Miller, Dale, Tiu, Alwen
openaire +2 more sources
Focusing and Polarization in Intuitionistic Logic [PDF]
, 2007 A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andreoli for linear logic has been applied to both the proof search and the ...
Liang, Chuck, Miller, Dale
core +7 more sources
FEBS Open Bio, EarlyView.Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li +8 more
wiley +1 more source
Hérétique ou dément ? Autour du procès de Thomas d’Apulie à Paris en 1388
Criminocorpus, 2016 In october 1388, in Paris, a trial for heresy results for the first time in the use of forensic evidence. A group of physicians find the heretic mad, which allows him to escape death penalty. During the Middle Ages, madness (insania) is used by Church in
Maud Ternon
doaj +1 more source
FEBS Open Bio, EarlyView.A regulatory axis involving APE1, AUF1, and miR‐221 is proposed. Pri‐miR‐221 is processed by DROSHA and DICER to generate mature miR‐221, which targets p27Kip1 mRNA. APE1 and AUF1 compete for pre‐miR‐221 binding. Reduced APE1/AUF1 levels impair miR‐221 biogenesis, decrease p27Kip1 mRNA degradation, and promote cell cycle progression, chemoresistance ...
Matilde Clarissa Malfatti +3 more
wiley +1 more source
A Lightweight Detection Algorithm for Strawberry Ripeness
IEEE AccessThis paper presents advancements in a streamlined maturity detection algorithm specifically tailored for strawberry harvesting, with a focus on achieving rapid and accurate identification of strawberry ripeness across challenging and varied environments.
Gaofeng Xu, Zhengcai Wang
doaj +1 more source
Middle School Students' and Mathematicians' Judgments of Mathematical Typicality
Journal of Numerical Cognition, 2018 K-12 students often rely on testing examples to explore and determine the truth of mathematical conjectures. However, little is known about how K-12 students choose examples and what elements are important when considering example choice.
Candace Walkington +4 more
doaj +1 more source
Synthese, 2003 The aim I am pursuing here is to describe some general aspects of mathematical proofs. In my view, a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects (possibly a certain object) enjoy a certain property. Because it is proved, such a statement is a mathematical theorem.
openaire +2 more sources