Results 101 to 110 of about 226,250 (290)

Logic Programming, Substitutions and Finite Computability

DAIMI Report Series, 1985
<p>Apt and van Emden have studied the semantics of logic programming by means of fixed point methods. From a model theoretic point of view, their formalisation is very nice. Least and greatest fixed points correspond to least and greatest Herbrand-models respectively.</p><p>Viewed operationally, there is an ugly asymmetry.
openaire   +2 more sources

Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration

Advanced Healthcare Materials, EarlyView.
Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu, Yongjie Tang, Sidi Liu, Tao Xu, Qian Liu   +4 more
wiley   +1 more source

A Systems Lens on Digitalization and ESG Performance: Empirical Evidence from Chinese Agricultural Firms

Systems
Agricultural enterprises serve as the cornerstone of food security. However, they operate under significant resource constraints and environmental risks.
Qirui Zhang, Longbao Wei, Xinhui Feng, Wangfang Xu   +3 more
doaj   +1 more source

Undecidability of the unification and admissibility problems for modal and description logics

, 2006
We show that the unification problem `is there a substitution instance of a given formula that is provable in a given logic?' is undecidable for basic modal logics K and K4 extended with the universal modality.
Wolter, Frank, Zakharyaschev, Michael
core  

Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy

Advanced Healthcare Materials, EarlyView.
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su, Zihao He, Qianqian Chen, Long Chen, Caiyi Wei, Zijin Zhou, Jianhao Lin, Hui Li, Dan Xing   +8 more
wiley   +1 more source

Axiomatizations of Team Logics

, 2018
In a modular approach, we lift Hilbert-style proof systems for propositional, modal and first-order logic to generalized systems for their respective team-based extensions. We obtain sound and complete axiomatizations for the dependence-free fragment FO(~
Lück, Martin
core   +1 more source

Directional Flow of Confined Polaritons in CrSBr

Advanced Materials, EarlyView.
CrSBr, a layered magnetic semiconductor, naturally channels self‐hybridized excitonpolaritons into highly directional flow. Its intrinsic optical anisotropy, high refractive index, and strong lightmatter coupling enable long‐range guided modes along the a‐axis, with propagation lengths set by their excitonphoton admixture.
Pratap Chandra Adak, Sichao Yu, Jaime Abad‐Arredondo, Biswajit Datta, Andy Cruz, Sorah Fischer, Kseniia Mosina, Zdeněk Sofer, Antonio I. Fernández‐Domínguez, Francisco J. Garcia‐Vidal, Vinod M. Menon   +10 more
wiley   +1 more source

DESIGN AND PERFORMANCE ANALYSIS OF TERNARY LOGIC BASED ALU USING DOUBLE PRECISION FLOATING POINT [PDF]

Proceedings on Engineering Sciences
In digital circuits, particularly space signal applications, the detection/estimation of phase (angle) like milli degree is challenging and involves many complex operations.
Nagarathna R , A R Aswatha
doaj   +1 more source

Propositional Logics of Closed and Open Substitutions over Heyting's Arithmetic [PDF]

Notre Dame Journal of Formal Logic, 2006
In this note we compare propositional logics for closed substitutions and propositional logics for open substitutions in constructive arithmetical theories. We provide a strong example where these logics diverge in an essential way. We prove that for Markov's Arithmetic, that is, Heyting's Arithmetic plus Markov's principle plus Extended Church's ...
openaire   +5 more sources

Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics

Advanced Materials, EarlyView.
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source