Results 81 to 90 of about 36,613 (285)
, 2018 Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over
openaire +1 more source
Advanced Science, EarlyView.This review examines the evolution of bioprinting toward minimally invasive in situ strategies for internal organ regeneration. It defines the technological roadmap from handheld systems to advanced minimally invasive bioprinting platforms, positioning soft robotics as a core enabler.
Duc Tu Vu +9 more
wiley +1 more source
On some peculiar aspects of the constructive theory of point-free spaces
, 2010 This paper presents several independence results concerning the topos-valid and the intuitionistic (generalized) predicative theories of locales. In particular, certain consequences of the consistency of a general form of Troelstra's uniformity principle
Blass, Gutierres, Herrlich
core +1 more source
Advanced Science, EarlyView.This review offers a comprehensive comparison between perovskites and perovskite‐inspired materials (PIMs), focusing on their crystal structures, electronic properties, and chemical compositions. It evaluates the applicability of machine learning (ML) descriptors and models across both material classes.
Yangfan Zhang +6 more
wiley +1 more source
Semantics of nouns and nominal number [PDF]
, 2010 In the present paper, I will discuss the semantic structure of nouns and nominal number markers. In particular, I will discuss the question if it is possible to account for the syntactic and semantic formation of nominals in a parallel way, that is I ...
Wiese, Heike
core
Impredicative Encodings of (Higher) Inductive Types
, 2018 Postulating an impredicative universe in dependent type theory allows System F style encodings of finitary inductive types, but these fail to satisfy the relevant {\eta}-equalities and consequently do not admit dependent eliminators.
Coquand Thierry +8 more
core +1 more source
The Australasian Journal of Logic, 2004 Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which
openaire +4 more sources
Research on Resistive Switching Mechanism of SnO2/SnS2 Based Heterojunction Memory Devices
Advanced Electronic Materials, EarlyView.This work fabricates SnO2/SnS2 RRAM using (NH4)4Sn2S6, achieving 224 pJ set energy at 0.4 V with >1000‐cycle stability and 4 × 104 s retention. XPS/SEM/AFM‐validated interfacial engineering enables uniform switching, advancing low‐power neuromorphic memory development.
WenBin Liu +4 more
wiley +1 more source
Angewandte Chemie, EarlyView.This study explores the origins of life by linking prebiotic chemistry, the emergence of information‐carrying molecules such as RNA and proteins, and philosophical questions about consciousness. The study emphasizes the role of molecular evolution in the Central Dogma and provides insights into the chemical origins of biology and the basis of life's ...
Harald Schwalbe +5 more
wiley +2 more sources
Предикативы текстово-образні універсаліі в украінських народних думах
Stylistyka, 2021 Article is devoted the analysis of language of the Ukrainian national thoughts. In particu- lar, are considered their basie of text units - tekstovo-shaped universals.
ТЕТЯНА БЕЦЕНКО
doaj