Results 41 to 50 of about 228,061 (236)
Unpacking the logic of mathematical statements [PDF]
, 1995 This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core +1 more source
Molecular Oncology, EarlyView.This study explores salivary RNA for breast cancer (BC) diagnosis, prognosis, and follow‐up. High‐throughput RNA sequencing identified distinct salivary RNA signatures, including novel transcripts, that differentiate BC from healthy controls, characterize histological and molecular subtypes, and indicate lymph node involvement.
Nicholas Rajan +9 more
wiley +1 more source
Molecular Oncology, EarlyView.Adaptaquin selectively kills glioma stem cells while sparing differentiated brain cells. Transcriptomic and proteomic analyses show Adaptaquin disrupts iron and cholesterol homeostasis, with iron chelation amplifying cytotoxicity via cholesterol depletion, mitochondrial dysfunction, and elevated reactive oxygen species.
Adrien M. Vaquié +16 more
wiley +1 more source
Towards Uniform Certification in QBF [PDF]
Logical Methods in Computer ScienceWe pioneer a new technique that allows us to prove a multitude of previously open simulations in QBF proof complexity. In particular, we show that extended QBF Frege p-simulates clausal proof systems such as IR-Calculus, IRM-Calculus, Long-Distance Q ...
Leroy Chew, Friedrich Slivovsky
doaj +1 more source
Translating HOL to Dedukti [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti.
Ali Assaf, Guillaume Burel
doaj +1 more source
A calculus for modular loop acceleration and non-termination proofs [PDF]
, 2022 Florian Frohn, Carsten Fuhs
openalex +3 more sources
On power series expansions of the S-resolvent operator and the Taylor formula
, 2015 The $S$-functional calculus is based on the theory of slice hyperholomorphic functions and it defines functions of $n$-tuples of not necessarily commuting operators or of quaternionic operators.
Colombo, Fabrizio, Gantner, Jonathan
core +1 more source
A Lost Theorem: Definite Integrals in Asymptotic Setting [PDF]
, 2008 We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums ...
Cavalcante, Ray, Todorov, Todor D.
core +3 more sources
Microfluidic electro‐viscoelastic manipulation of extracellular vesicles
FEBS Open Bio, EarlyView.The electro‐viscoelastic manipulation as a potential method for separation of particles based on size. The particles introduced as a sheath flow migrate to the channel center under the influence of simultaneously applied electric field and pressure driven flow.
Seyedamirhosein Abdorahimzadeh +7 more
wiley +1 more source
The Epsilon Calculus and Herbrand Complexity [PDF]
, 2005 Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar to that which ...
A. Blass +20 more
core +2 more sources