Results 91 to 100 of about 4,888,581 (309)

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, Jennifer Cooper, Olubukola Leonard, Caroline Williams-Pierce, Chuck Kalish   +4 more
doaj   +1 more source

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

A Lightweight Detection Algorithm for Strawberry Ripeness

IEEE Access
This 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

A better proof of the Goldman-Parker conjecture

, 2005
The Goldman-Parker Conjecture classifies the complex hyperbolic C-reflection ideal triangle groups up to discreteness. We proved the Goldman-Parker Conjecture in [Ann. of Math. 153 (2001) 533--598] using a rigorous computer-assisted proof.
Epstein, Goldman, Goldman, Richard Evan Schwartz, Schwartz   +4 more
core   +4 more sources

Mathematical Proofs

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

Automated FRAP microscopy for high‐throughput analysis of protein dynamics in chromatin organization and transcription

FEBS Open Bio, EarlyView.
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz, Bart Geverts, Johan A. Slotman, Andrea Sacchetti, Stefan Prekovic, Martin E. van Royen, Adriaan B. Houtsmuller   +6 more
wiley   +1 more source

Proof of Church's Thesis

, 2019
We prove that if our calculating capability is that of a universal Turing machine with a finite tape, then Church's thesis is true.
Casares, Ramón
core   +1 more source

Raman‐based label‐free microscopic analysis of the pancreas in living zebrafish larvae

FEBS Open Bio, EarlyView.
Forward stimulated Raman scattering (F‐SRS) and epi coherent anti‐Stokes Raman scattering (E‐CARS) allow label‐free discrimination of distinct subcellular structures in the pancreas of living zebrafish larvae. Given the straightforward applicability, we anticipate broad implementation of Raman microscopy in other organs and across various biomedical ...
Noura Faraj, Eline M. F. de Lange, Klaas A. Sjollema, Ben N. G. Giepmans   +3 more
wiley   +1 more source

非0非1型逻辑方程与相关逻辑方程的解集关系及其应用(The solution set relationship between logic equation of non-zero and non-one type and its related logic equations)

Zhejiang Daxue xuebao. Lixue ban, 2015
This paper proposes a theorem on the relationship between the solution set of the logic equation and a logic equation approach which transforms the logic equation F=G into zero type or one type, along with its corresponding counter parts and their proofs.
DINGDiankun(丁殿坤), WANGRuliang(王汝亮)   +1 more
doaj   +1 more source

THE JUDGE'S PROBATIVE INITIATIVE: CONTRASTS AND LIMITATIONS FROM THE LEGAL-CONSTITUTIONAL PARADIGM OF LAWFUL DEMOCRATIC STATE

Revista Eletrônica de Direito Processual, 2016
This article will reflect on the production of proof by the judge, in the context of Criminal Procedure, according to the rules presents in the brazilian legal system.
Igor Alves Noberto Soares, Jordânia Cláudia de Oliveira Gonçalves   +1 more
doaj   +1 more source