Results 61 to 70 of about 4,264 (168)

Accurate Nonrelativistic Energy Calculations for Helium 1snp^1,3P (n = 2 to 27) States via Correlated B-Spline Basis Functions

Atoms
Rydberg atoms play a crucial role in testing atomic structure theory, quantum computing and simulation. Measurements of transition frequencies from the 21,3S states to Rydberg P1,3 states have reached a precision of several kHz, which poses significant ...
Jing Chi, Hao Fang, Yong-Hui Zhang, Xiao-Qiu Qi, Li-Yan Tang, Ting-Yun Shi   +5 more
doaj   +1 more source

Flexible In-Sensor Computing Strain Sensor for Lower-Limb Gait Recognition

Micromachines
Flexible strain sensors have attracted considerable attention in gait recognition owing to their ability to adhere directly to the skin near joints and transduce local deformation.
Jiayu Ma, Yuyu Feng, Ye Tian, Hao Guo, Zongmin Ma   +4 more
doaj   +1 more source

A 2-categorical approach to the semantics of dependent type theory with computation axioms

Axiomatic type theory is a dependent type theory without computation rules. The term equality judgements that usually characterise these rules are replaced by computation axioms, i.e., additional term judgements that are typed by identity types. This paper is devoted to providing an effective description of its semantics, from a higher categorical ...
openaire   +2 more sources

The Moduli Space of Octonionic Bundles as a Subvariety of Orthogonal Bundles

Mathematics
Let X be a compact Riemann surface of genus g≥2. An octonionic bundle over X is a fiber bundle whose fiber is the non-associative algebra of complex octonions, equivalently a principal G2(C)-bundle, where G2(C) is the exceptional Lie group of ...
Álvaro Antón-Sancho
doaj   +1 more source

On the declarative, operational and procedural semantics of disjunctive computational theories

, 1991
First, we recapitulate recent results concerning models and fixpoints of disjunctive computational theories. Then, we develop an SL-resolution-based abductive proof procedure for such theories. It is shown to be sound and complete for checking inconsistency.
openaire   +1 more source

Measurement of semantic proximity within computational theory of semantic interpretation

Journal of Physics: Conference Series, 2019
Y M Vishnyakov, R Y Vishnyakov
openaire   +1 more source

Computational Syntax-Semantics Interface with Type-Theory of Acyclic Recursion for Underspecified Semantics [PDF]

Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures, 2019
openaire   +1 more source

Computational theory of semantics representation in scientific and technical texts

Journal of Physics: Conference Series, 2019
Y M Vishnyakov, R Y Vishnyakov
openaire   +1 more source

A quantum-cognitive approach to dynamic meaning construction. [PDF]

Front Psychol
Yin M.
europepmc   +1 more source

Generative Semantic Lambda Calculus: A Unified Dynamical Theory of Meaning, Uncertainty, and Computation

We propose a novel computational framework: Generative-Semantic Lambda Calculus (GSλ). Unlike classical lambda calculus, which treats functions as mappings, GSλ views computational objects as "generative semantic processes," essentially a family of distributions evolving in a latent semantic space. GSλ achieves the combination and reasoning of "meaning"
openaire   +2 more sources