Results 41 to 50 of about 74,609 (244)

Toward Knowledge‐Based Workflows: A Semantic Approach to Atomistic Simulations for Mechanical and Thermodynamic Properties

Advanced Engineering Materials, EarlyView.
Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán, Hoang‐Thien Luu, Sarath Menon, Tilmann Hickel, Nina Merkert, Stefan Sandfeld   +5 more
wiley   +1 more source

Rich Situated Attitudes [PDF]

, 2017
We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated.
A Egan, A Kratzer, A Prior, C Fox, C Pollard, C Pollard, D Chalmers, D Kaplan, D Lewis, DG Fara, F Moltmann, F Moltmann, F Moltmann, F Recanati, F Veltman, J Barwise, J Barwise, J Groenendijk, J Hintikka, J King, J MacFarlane, J Perry, J Searle, KE Stanovic, LW Barsalou, N Salmon, R Carston, R Montague, R Muskens, R Muskens, RH Thomason, S Kripke, S Löbner, S Schiffer, S Schiffer, V Rantala   +35 more
core   +1 more source

Solution‐Processed Two‐Dimensional Indium Oxide on Sodium‐Embedded Alumina for Reconfigurable Optoelectronic Synaptic Transistors

Advanced Functional Materials, EarlyView.
Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min, Yonghyun Albert Kwon, Hyunbin Kim, Jihyun Kim, Myeongjin Jung, Jaewon Heo, Gwang Ya Kim, Vlastimil Mazanek, Zdeněk Sofer, In Soo Kim, Jeong Ho Cho, Hyesung Park, Sang Min Won, Joohoon Kang   +13 more
wiley   +1 more source

Revisiting Epistemic Specifications

, 2011
In 1991, Michael Gelfond introduced the language of epistemic specifications. The goal was to develop tools for modeling problems that require some form of meta-reasoning, that is, reasoning over multiple possible worlds.
Truszczynski, Miroslaw
core   +1 more source

Another Problem in Possible World Semantics. [PDF]

, 2020
In "A Problem in Possible-World Semantics," David Kaplan presented a consistent and intelligible modal principle that cannot be validated by any possible world frame (in the terminology of modal logic, any neighborhood frame). However, Kaplan's problem is tempered by the fact that his principle is stated in a language with propositional quantification,
Ding, Yifeng, Holliday, Wesley Halcrow
openaire   +1 more source

Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application

Advanced Materials, EarlyView.
This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong, You Zhou, Qingxiu Li, Wenyu Zhao, Sunyingyue Geng, Hangfei Li, Yan‐Bing Leng, Shirui Zhu, Guanglong Ding, Yongbiao Zhai, Ziyu Lv, Ye Zhou, Su‐Ting Han   +12 more
wiley   +1 more source

Clauses as Semantic Predicates: Difficulties for Possible-Worlds Semantics [PDF]

, 2020
The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties.
Moltmann, Friederike
core  

The Ontological Ground of the Alethic Modality [PDF]

, 1994
This paper is concerned with the wholly metaphysical question of whether necessity and possibility rest on nonmodal foundations—whether the truth conditions for modal statements are, in the final analysis, nonmodal.
Shalkowski, S.A.
core   +1 more source

LEAD: Literature Enhanced Ab Initio Discovery of Nitride Dusting Layers for Enhanced Tunnel Magnetoresistance and Lower Resistance Magnetic Tunnel Junctions

Advanced Materials, EarlyView.
Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam, William S. Rogers, Chen‐Yu Hu, Ming‐Yuan Song, Xinyu Bao, Shehrin Sayed, Jean Anne C. Incorvia   +6 more
wiley   +1 more source

Transducers Across Scales and Frequencies: A System‐Level Framework for Multiphysics Integration and Co‐Design

Advanced Materials Technologies, EarlyView.
Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu, Mengyao Xiao, Zhouli Sui, Yinpeng Wang, Daoye Zheng, Yuxin Liu, Luwei Wang, Huajun Liu, Chengkuo Lee   +8 more
wiley   +1 more source