Results 241 to 250 of about 25,343,404 (305)

Prevalence of Overnight Work (1 a.m. to 5 a.m.) Among United States Workers. [PDF]

Am J Ind Med
Wong IS, Alterman T, Hittle BM, Velazquez-Kronen R, Chen IC.   +4 more
europepmc   +1 more source

Ein Weg zur Nonstandard-Analysis

openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Nonstandard Analysis

Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory, 2019
Mauro Di Nasso, Isaac Goldbring, Martino Lupini   +2 more
semanticscholar   +4 more sources

Nonstandard Analysis in ACL2

Journal of Automated Reasoning, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gamboa, Ruben A., Kaufmann, Matt
openaire   +2 more sources

Developments in Constructive Nonstandard Analysis

Bulletin of Symbolic Logic, 1998
AbstractWe develop a constructive version of nonstandard analysis, extending Bishop's constructive analysis with infinitesimal methods. A full transfer principle and a strong idealisation principle are obtained by using a sheaf-theoretic construction due to I. Moerdijk.
Erik Palmgren
openaire   +3 more sources

Asymptotic analysis for a pseudo-parabolic equation with nonstandard growth conditions

Applicable Analysis, 2021
The main goal of this work is to study a semilinear pseudo-parabolic equation with nonstandard growth conditions. For initial energy , by using the generalized potential well method, we establish a sharp threshold result on global existence or blow-up ...
Chengyuan Qu, Wenshu Zhou
semanticscholar   +1 more source

From Nonstandard Analysis to Various Flavours of Computability Theory

Theory and Applications of Models of Computation, 2016
As suggested by the title, it has recently become clear that theorems of Nonstandard Analysis (NSA) give rise to theorems in computability theory (no longer involving NSA).
Sam Sanders
semanticscholar   +1 more source

Multi-level Nonstandard Analysis and the Axiom of Choice

Journal of Logic and Analysis
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL Volume 72 formulate axiomatic nonstandard set theories SPOT and SCOT that are ...
Karel Hrbacek
semanticscholar   +1 more source