Results 31 to 40 of about 401 (159)
Polynomial time computations in models of ET
, 1983 This paper investigates formal notions of computation in nonstandard models of the weak arithmetic theory ET—the theory of exponential time. It is shown that ET is sufficiently weak that many of the natural notions of computation are not preserved.
Joseph, Deborah
core +1 more source
Advanced Intelligent Systems, Volume 8, Issue 1, January 2026.The study presents a prototype novel workflow that utilizes artificial intelligence for the digitization of natural history collections, which would fit within a robotic‐integrated system. The work focuses on a collaborative‐robot (cobot) inspired workflow to digitize one of the largest collections housed at the Natural History Museum UK: pinned ...
Naifeng Zhang +4 more
wiley +1 more source
Finite Embeddability of Sets and Ultrafilters [PDF]
, 2015 A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it ...
Andreas Blass +3 more
core +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, Volume 57, Issue 1-2, Page 103-118, January 2026.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source
Completeness theorems, incompleteness theorems and models of arithmetic
, 1978 Let A \mathcal {A} be a consistent extension of Peano arithmetic and let A n 0 \mathcal {A}_n^0 denote the set of Π n 0 \Pi _n^0
Kenneth McAloon
core +1 more source
The legacy of the Cartwright–Littlewood collaboration
Journal of the London Mathematical Society, Volume 113, Issue 1, January 2026.Abstract Mary L. Cartwright and John E. Littlewood published a short “preliminary survey” in 1945 describing results of their investigation of the forced van der Pol equation ÿ−k(1−y2)ẏ+y=bλkcos(λt+a)$$\begin{equation*} \ddot{y}-k(1-y^2)\dot{y}+y = b \lambda k \cos (\lambda t+a) \end{equation*}$$in which b,λ,k,a$b,\lambda,k,a$ are parameters with k$k$
John Guckenheimer
wiley +1 more source
Gastroenterology Research and Practice, Volume 2026, Issue 1, 2026.Background Helicobacter pylori (H. pylori) eradication in penicillin‐allergic patients poses a challenge. The currently recommended regimens are inadequate for clinical eradication therapy. Recent years have seen reports of new drugs, regimens, and study evidence in this field; yet comprehensive review articles on the treatment of H.
Yuxin Zhang +11 more
wiley +1 more source
Real‐Time GPS Coordinate Estimation of an Object Using a Monocular Camera
Journal of Electrical and Computer Engineering, Volume 2026, Issue 1, 2026.Determining the position of an object in outdoor environments is an essential requirement for autonomous systems such as unmanned aerial vehicles (UAVs) and mobile robots. In this context, this study introduces a simple yet effective method for estimating the distance and Global Positioning System (GPS) coordinates of an object using only monocular ...
Trong-Thanh Han +5 more
wiley +1 more source
Journal of Ophthalmology, Volume 2026, Issue 1, 2026.Purpose To compare the accuracy of different formulas for calculating toric intraocular lens (IOL) power. Methods PubMed, EBSCO, Web of Science, and the Cochrane Library were systematically searched for studies published from 2015 to 2025. Numbers of eyes with a prediction error (PE) within ±0.50 and ±1.00 diopters (D) were synthesized for the meta ...
Zhi Chen +4 more
wiley +1 more source
Infinite substructure lattices of models of Peano Arithmetic
, 2010 Bounded lattices (that is lattices that are both lower bounded and upper bounded) form a large class of lattices that include all distributive lattices, many nondistributive finite lattices such as the pentagon lattice N5. and all lattices in any variety
James H. Schmerl
core +1 more source