Results 271 to 280 of about 20,008 (316)

<i>optimade-maker</i>: automated generation of interoperable materials APIs from static datasets.

Digit Discov
Eimre K, Evans ML, Macaulay B, Wang X, Yu J, Marzari N, Rignanese GM, Pizzi G.   +7 more
europepmc   +1 more source

DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)

DENOTATIONAL SEMANTICS EXCLUDING WEAK-EXTENSIONALITY IN SIMPLE TYPES (Proof Theory and Computation Theory)
openaire  

Sub Quantum Semantic Collapse (SSC) : A Foundational Computational Paradigm Beyond Quantum Theory. (IEEE)

openaire   +2 more sources

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)
openaire  

Some of the next articles are maybe not open access.

Related searches:

Semantic Space Theory: A Computational Approach to Emotion

Trends in Cognitive Sciences, 2021
Within affective science, the central line of inquiry, animated by basic emotion theory and constructivist accounts, has been the search for one-to-one mappings between six emotions and their subjective experiences, prototypical expressions, and underlying brain states. We offer an alternative perspective: semantic space theory.
Alan S. Cowen, Dacher Keltner
openaire   +2 more sources

Semantic relation computing theory and its application

Journal of Network and Computer Applications, 2016
Semantic relations among objects are primary semantic factors, which play the most important role for human and smart systems /machines to understand and control the situation in the context of connected systems. However, few existing works focus on the study of semantic relations from the mathematical view, though it would be the basis for further ...
Yunchuan Sun, Cheng Lu, Rongfang Bie, Junsheng Zhang   +3 more
openaire   +1 more source

Theory for Semantic Relation Computing and its Application in Semantic Link Network

2012 Eighth International Conference on Semantics, Knowledge and Grids, 2012
Semantic relation among different objects is one of the most important kinds of semantics which plays the primary role for people and intelligent systems in grasping the situation accurately in the context of connected systems. The semantic relations are viewed as the most important elements in most existing information models (such as ER model, RDF ...
Yunchuan Sun, Cheng Lu, Hongli Yan, Rongfang Bie   +3 more
openaire   +1 more source

Computational Semantics of Cartesian Cubical Type Theory

2021
Dependent type theories are a family of logical systems that serve as expressive functional programming languages and as the basis of many proof assistants. In the past decade, type theories have also attracted the attention of mathematicians due to surprising connections with homotopy theory; the study of these connections,known as homotopy type ...
openaire   +1 more source

REMARKS ON THEORIES OF COMPUTATION AND SEMANTICS OF PROGRAMMING LANGUAGES

Kybernetes, 1978
Theories of computation related to the semantics of programming languages, like those of McCarthy and Scott, rely on non‐constructive mathematical “ideas.” Turing's theory does not assume any mathematical “ideas.” In the approaches of Floyd, McCarthy and Scott the attempt is to develop a general theory of “meaning of programs” and then to consider the ...
openaire   +1 more source