Results 101 to 110 of about 696,327 (268)
The Logic of Consistency and the Logic of Truth
Dialectica, 2004 In “Truth and Probability” Ramsey claimed that the logic of consistency for probability is not a logic of truth. After supporting this claim, he proceeded to explore the possibilities for a logic of truth for probability. An examination of Ramsey's intent reveals that Ramsey was far from being an orthodox Bayesian when it comes to statistical reasoning.
openaire +1 more source
Hierarchical MXene‐Derived NTP/C Nanohybrids for Cryogenic Sodium‐Ion Batteries
Advanced Functional Materials, EarlyView.A hierarchical MXene‐derived NaTi2(PO4)3/C nanohybrid enables efficient sodium‐ion storage down to −40°C by integrating fast ion–electron transport pathways with an ether‐based electrolyte. The system promotes dominant pseudocapacitive behavior and forms a robust inorganic‐rich SEI, collectively mitigating kinetic and interfacial limitations, thereby ...
M. Sai Bhargava Reddy +5 more
wiley +1 more source
Computation in Logic and Logic in Computation
CoRR, 2016 Invited Conference Paper at the Institute for Advanced Studies in Basic Sciences, Gavazangh, Zanjan, Iran (http://www.universal-publishers.com/book.php?method=ISBN&book=161233623X)
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.The image shows a schematic form a nanobody‐conjugated theranostic prodrug (NBD) platform targeting tumor‐associated αvβ3 integrin. The NBD system integrates selective nanobody‐mediated tumor recognition, glutathione‐responsive disulfide cleavage for doxorubicin release, and aza‐BODIPY‐based near‐infrared fluorescence for real‐time imaging.
Sanu Karan +13 more
wiley +1 more source
Logic and Interactive RAtionality. Yearbook 2009 [PDF]
, 2010 Following a one-year tradition, this yearbook contains a selection of papers that have been presented and discussed during the year 2009 at the seminar formerly known as "Logics for Dynamics of Information and Preferences" and now called "Logic and ...
Grossi, D. +3 more
core
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 +4 more
wiley +1 more source
, 2019 In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part.
Rönnedal, Daniel,
core +1 more source
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 +8 more
wiley +1 more source
Second-order logic : ontological and epistemological problems
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core
The Complexity of Independence-Friendly Fixpoint Logic
, 2005 . We study the complexity of model-checking for the fixpoint extension of Hintikka and Sandu’s independence-friendly logic. We show that this logic captures ExpTime; and by embedding PFP, we show that its combined complexity is ExpSpace-hard, and ...
Julian Bradfield +4 more
core +1 more source