Results 11 to 20 of about 201,530,701 (335)
Qualitative Analysis of a Single-Species Model with Distributed Delay and Nonlinear Harvest
In this paper, a single-species population model with distributed delay and Michaelis-Menten type harvesting is established. Through an appropriate transformation, the mathematical model is converted into a two-dimensional system.
Zuxiong Li +3 more
doaj +1 more source
VERITAS Detection of LS 5039 and HESS J1825-137 [PDF]
This research is supported by grants from the U.S. Department of Energy Office of Science, the U.S. National Science Foundation and the Smithsonian Institution, and by NSERC in Canada. This research used resources provided by the Open Science Grid, which
V. C. A. U. Abeysekara +125 more
semanticscholar +1 more source
The Theory of Finitely Supported Structures and Choice Forms [PDF]
The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj +1 more source
Non-Equilibrium ϕ4 Theory in a Hierarchy: Towards Manipulating Holograms in Quantum Brain Dynamics
We describe non-equilibrium ϕ4 theory in a hierarchical manner to develop a method for manipulating coherent fields as a toy model of introducing control into Quantum Field Theory (QFT) of the brain, which is called Quantum Brain Dynamics (QBD). We begin
Akihiro Nishiyama +2 more
doaj +1 more source
Excitonic Coupled-cluster Theory [PDF]
A variant of coupled-cluster theory is described here, wherein the degrees of freedom are fluctuations of fragments between internally correlated states.
Yuhong Liu +4 more
semanticscholar +1 more source
Probability theory is built around Kolmogorov’s axioms. To each event, a numerical degree of belief between 0 and 1 is assigned, which provides a way of summarizing the uncertainty.
Andreas Wichert
doaj +1 more source
Merging Discrete Morse Vector Fields: A Case of Stubborn Geometric Parallelization
We address the basic question in discrete Morse theory of combining discrete gradient fields that are partially defined on subsets of the given complex. This is a well-posed question when the discrete gradient field V is generated using a fixed algorithm
Douglas Lenseth, Boris Goldfarb
doaj +1 more source
Computation of the semantics of autoepistemic belief theories
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Stefan Brass +2 more
openaire +2 more sources
Revising Z: part I - logic and semantics [PDF]
This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Reeves, Steve, Henson, Martin C.
core +1 more source
Inductive Data Types Based on Fibrations Theory in Programming
Traditional methods including algebra and category theory have some deficiencies in analyzing semantics properties and describing inductive rules of inductive data types, we present a method based on Fibrations theory aiming at those questions above.
Decheng Miao +3 more
doaj +1 more source

