Results 61 to 70 of about 1,394,777 (330)
Coalgebraic trace semantics via forgetful logics [PDF]
Logical Methods in Computer Science, 2017 We use modal logic as a framework for coalgebraic trace semantics, and show the flexibility of the approach with concrete examples such as the language semantics of weighted, alternating and tree automata, and the trace semantics of generative ...
Bartek Klin, Jurriaan Rot
doaj +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
Swap structures semantics for Ivlev-like modal logics [PDF]
, 2019 In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a.
Coniglio, Marcelo E. +1 more
core
, 2017 The article investigates an evidence-based semantics for epistemic logics in which pieces of evidence are interpreted as equivalence relations on the epistemic worlds. It is shown that the properties of knowledge obtained from potentially infinitely many
Naumov, Pavel, Tao, Jia
core +1 more source
Expectation Biases and Context Management with Negative Polar Questions [PDF]
, 2019 This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where ...
Silk, Alex
core +2 more sources
Drug‐Free Thrombolysis Mediated by Physically Activated Micro/Nanoparticles
Advanced Functional Materials, EarlyView.Overview of particle‐mediated thrombolytic effects (thermal, mechanical, and chemical) and their activating physical stimuli (light, ultrasound, and magnetic field) in drug‐free thrombolysis. ABSTRACT Thrombus‐associated disorders rank among the world's leading causes of death, with ischemic heart disease and stroke as the main contributors.
Pierre Sarfati +2 more
wiley +1 more source
Beyond the Edge: Charge‐Transfer Excitons in Organic Donor‐Acceptor Cocrystals
Advanced Functional Materials, EarlyView.Complex excitonic landscapes in acene–perfluoroacene cocrystals are unveiled by polarization‐resolved optical spectroscopy and many‐body theory. This systematic study of a prototypical model system for weakly interacting donor–acceptor compounds challenges common views of charge‐transfer excitons, providing a refined conceptual framework for ...
Sebastian Anhäuser +6 more
wiley +1 more source
On modality in Georgian sign language (GESL) [PDF]
, 2017 Modality is one of the most fascinating and complex areas of language studies. This paper illustrates the types of modal constructions in Georgian Sign language (GESL), including negative forms.
Makharoblidze, Tamar
core
Advanced Healthcare Materials, EarlyView.Cerebral organoids are transforming brain research, yet the field remains fragmented. This comprehensive systematic review maps 738 studies published between 2014 and 2024 to uncover trends, gaps, and opportunities across neuroscience. Introducing OrganoidMap—an interactive, open‐access platform to explore and compare models—this work enables ...
Anna Wolfram +10 more
wiley +1 more source
Maximality and minimality in comparatives [PDF]
, 2005 In this paper, I investigate more closely the contribution of modal operators to the semantics of comparatives and I show that there is no need for a maximality or minimality operator. Following Kratzer s (1981, 1991) analysis of modal elements, I assume
Meier, Cécile
core