Results 211 to 220 of about 4,085 (234)

Computational predictions of energy materials using density functional theory

Nature Reviews Materials, 2016
Anubhav Jain, Yongwoo Shin, Kristin A Persson   +2 more
exaly  

Review: Melvin Fitting, Computability Theory, Semantics, and Logic Programming

, 1988
J. C. Shepherdson
openalex  

Semantic Computing for Organizational Effectiveness: From Organization Theory to Practice through Semantics-Based Modelling

Mena Rizk, Daniela Roşu, Mark S. Fox
openalex   +1 more source

Theory-guided design of catalytic materials using scaling relationships and reactivity descriptors

Nature Reviews Materials, 2019
Zhi-Jian Zhao, Sihang Liu, Shenjun Zha
exaly  

Abstract data type: Computing, Mathematics, Data structure, Data type, Programming language, Semantics, Computational complexity theory, Stack (data structure), Interface (computer science)

, 2010
Frederic P. Miller, Agnes F. Vandome, John McBrewster   +2 more
openalex  

ACPU Architecture Design and Implementation Based on the Subconscious-Conscious DIKWP Model and Consciousness "BUG" Theory -A New Paradigm of Bidirectional Integration of Semantics- Concept Space in Artificial Consciousness Computing

Yucong Duan, Shuaishuai Huang
openaire   +1 more source

Combining theory and experiment in electrocatalysis: Insights into materials design

Science, 2017
Zhi Wei Seh, Jakob Kibsgaard, Colin F Dickens   +2 more
exaly  

Expanded Theory of H- and J-Molecular Aggregates: The Effects of Vibronic Coupling and Intermolecular Charge Transfer

Chemical Reviews, 2018
Nicholas Hestand, Frank C Spano
exaly  

Rechargeable Alkali-Ion Battery Materials: Theory and Computation

Chemical Reviews, 2020
Anton Van der Ven, Zhi Deng, Swastika Banerjee   +2 more
exaly  

On Play by Means of Computing Machines .A Theory of Higher Order Probabilities.Knowledge and Efficient Computation.Realizability Semantics for Error-Tolerant Logics

, 1988
William J. Rapaport, Nimrod Megiddo, Avi Wigderson, Haim Gaifman, Silvio Micali, John C. Mitchell, Michael J. O’Donnell   +6 more
openalex