Results 121 to 130 of about 164,088 (328)
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
The Bulletin of Symbolic LogicAbstractThe one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts $\mathrm {S5}$ and $\mathrm {MIPC ...
CINTULA, PETR +2 more
openaire +3 more sources
Multimodal Wearable Biosensing Meets Multidomain AI: A Pathway to Decentralized Healthcare
Advanced Science, EarlyView.Multimodal biosensing meets multidomain AI. Wearable biosensors capture complementary biochemical and physiological signals, while cross‐device, population‐aware learning aligns noisy, heterogeneous streams. This Review distills key sensing modalities, fusion and calibration strategies, and privacy‐preserving deployment pathways that transform ...
Chenshu Liu +10 more
wiley +1 more source
Os Paradoxos de Prior e o Cálculo Proposicional Deôntico Relevante Eo
Princípios, 2010 Normative fragment of natural language make up sentences that express acts and describe norms. In this fragment there are criteria of logic thuth and relation of consequence between sentences which constitute a natural deontic logic. This paper adopts at
Ângela Maria Paiva Cruz
doaj
Sub‐Unit‐Cell Logic Governs Transport in TPMS Architectures
Advanced Science, EarlyView.ABSTRACT Next‐generation energy, thermal, and chemical systems require architectures capable of highly efficient transport across multiple length scales. Triply periodic minimal surfaces (TPMS), first conceptualized in 1865, offer inherently scalable geometries with exceptional transport potential, yet mechanistic links between topology and performance
Haozhang Zhong +16 more
wiley +1 more source
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
, 2018 We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico +2 more
core
Advanced Science, EarlyView.This study presents a selective thermal transformation of polycarbonate into hybrid carbon materials. The structured carbon enhances electrochemical performance, particularly in lithium‐ion systems. Investigations reveal improved bimetallic ion diffusivity through the hybrid microstructure, contributing to excellent charge kinetics.
Montajar Sarkar +7 more
wiley +1 more source
Advanced Science, EarlyView.This study develops neural bioprinted piezoelectric scaffolds which construct local “sensor‐effector” circuit, inspired by the skeletal interoception system. Upon US stimulation sensing and mechanoelectrical coupling by PLLA nanofibers, the incorporated DRG neurons effect through Ca2+ influx‐induced enhanced secretion and expression of CGRP.
Yingze Su +18 more
wiley +1 more source
Advanced Science, EarlyView.This work establishes a pipeline that transforms fragmented literature into a structured database for graphitic carbon nitride photocatalyst discovery. A prompt‐engineered, cross‐model large language model ensemble automates high‐fidelity extraction, enabling interpretable machine learning to identify dominant performance descriptors. These data‐driven
Dianyuan Li +7 more
wiley +1 more source
On the uniform one-dimensional fragment
, 2016 The uniform one-dimensional fragment of first-order logic, U1, is a recently introduced formalism that extends two-variable logic in a natural way to contexts with relations of all arities.
Kuusisto, Antti
core
On the satisfiability problem for fragments of two-variable logic with one transitive relation [PDF]
, 2019 Wiesław Szwast, Lidia Tendera
openalex +1 more source