Results 51 to 60 of about 1,189,261 (324)
On phase semantics and denotational semantics: the exponentials
Annals of Pure and Applied Logic, 2001 An indexed version of propositional linear logic with exponentials is defined together with a sequent calculus for this system. To a formula \(A\) of indexed linear logic are associated: an underlying formula \(\underline{A}\) of linear logic, an interpretation \(|\underline{A}|\) of this formula in the category of sets and relations, and a family ...
Ehrhard, Thomas, Bucciarelli, Antonio
openaire +2 more sources
Success semantics: the sequel [PDF]
, 2013 The aim of this paper is to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief.
Nanay, Bence
core
Advanced Functional Materials, EarlyView.Advances in integrating artificial intelligence into 3D bioprinting are systematically reviewed here. Machine learning, computer vision, robotics, natural language processing, and expert systems are examined for their roles in optimizing bioprinting parameters, real‐time monitoring, quality control, and predictive maintenance.
Joao Vitor Silva Robazzi +10 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Vacuum‐based deposition is promising for perovskite solar cells to be successfully commercialized. However, co‐evaporation, the most common vapor phase deposition technique, suffers from very low deposition rates. In this work, we reveal that high deposition rates can lead to carbon flakes depositing into the perovskite absorber layers due to material ...
Thomas Feeney +13 more
wiley +1 more source
Spectrally Tunable 2D Material‐Based Infrared Photodetectors for Intelligent Optoelectronics
Advanced Functional Materials, EarlyView.Intelligent optoelectronics through spectral engineering of 2D material‐based infrared photodetectors. Abstract The evolution of intelligent optoelectronic systems is driven by artificial intelligence (AI). However, their practical realization hinges on the ability to dynamically capture and process optical signals across a broad infrared (IR) spectrum.
Junheon Ha +18 more
wiley +1 more source
Brain SciencesBackground/Objectives: Cocaine use disorder (CUD) poses a worldwide health challenge, with severe consequences for brain function. However, the phase dynamics underlying CUD and the transitions between CUD and health remain poorly understood.
Yi Zheng +6 more
doaj +1 more source
Is Passive Priming Really Impervious to Verb Semantics? A High-Powered Replication of Messenger Et al. (2012) [PDF]
, 2022 I Made Sena Darmasetiyawan +2 more
openalex +1 more source
POMDPs under Probabilistic Semantics
, 2014 We consider partially observable Markov decision processes (POMDPs) with limit-average payoff, where a reward value in the interval [0,1] is associated to every transition, and the payoff of an infinite path is the long-run average of the rewards.
Chatterjee, Krishnendu, Chmelik, Martin
core +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 +12 more
wiley +1 more source
Precise region semantics‐assisted GAN for pose‐guided person image generation [PDF]
, 2023 Ji Liu, Zhenyu Weng, Yuesheng Zhu
openalex +1 more source