Modal logic including the logic of norms

Results 121 to 130 of about 186,512,308 (212)

The modal-modular model of animal self-representation: a comparative and operational framework. [PDF]

Front Psychol
Khvatov IA.
europepmc +1 more source

Topology‐Enabled Finite‐Band Absorption Framework Based on a Bioinspired Nested Dual‐Loop Architecture

Advanced Science, EarlyView.
A nuclear‐pore‐inspired nested dual‐loop architecture redistributes electromagnetic energy through coupled transport, confinement, and dissipation pathways. Integrated with Co/Fe3O4 dual‐magnetic composites and topology optimization, the 11‐mm‐thick absorber delivers continuous 2–40 GHz attenuation, raises finite‐band structural utilization to 82%, and
Shaokang Liu +6 more
wiley +1 more source

Agricultural Cyber-Physical Systems: Research Progress in Perception-Driven Multi-Robot Coordination and Logistics in Unstructured Environments. [PDF]

Sensors (Basel)
Zhang J +5 more
europepmc +1 more source

Investigations of the Evolved Molecular Basis for Terpenoid Biosynthesis in Marine Sponges

Advanced Science, EarlyView.
Confirming and extending a previous observation in another Bubarida sponge, genomic and functional analyses of A. cavernosa reveal that sponges retain the mevalonate pathway and employ single α‐domain T1TSs and UbiA‐type TSs for terpenoid biosynthesis. The absence of T1TSs clustering with other biosynthetic genes tentatively suggests, based on limited ...
Fangyan Chen +6 more
wiley +1 more source

Adaptive Task Planning for Long-Horizon Robotic Manipulation Based on Video Priors and Dynamic Scene Graphs. [PDF]

Sensors (Basel)
Ma G, Guo J, Tang X, Zhou H, Rong Y.
europepmc +1 more source

Fzd7 Restrains Pink1‐Dependent Mitophagy in Suture Stem Cells to Maintain Cranial Suture Patency

Advanced Science, EarlyView.
How suture stem cells fail to preserve cranial suture patency remains incompletely understood. Integrated single‐cell and high‐resolution spatial transcriptomic analyses identify reduced Fzd7 expression in Prrx1+ suture stem cells as an early feature of craniosynostosis.
Xinyan Chen +10 more
wiley +1 more source

On a four-valued modal logic with deductive implication

, 2015
sem informaçãoIn this paper we propose to enrich the four-valued modal logic associated to Monteiro's Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta-theorem holds in the resulting logic.
Figallo, Martin, Coniglio, Marcelo E.
core

Uncoupling Type I Interferon Benefits From Inflammatory Toxicity: Transformer‐Prioritized Precision Agonists for Potent and Safer Cancer Immunotherapy

Advanced Science, EarlyView.
A Transformer‐based AI framework, DLINP, screens millions of compounds to identify Co68, a cobalt‐pincer organometallic complex that biases TLR4‐MD2 signaling toward antitumor interferon activation while suppressing inflammatory toxicity through an early TLR4‐SYK‐STAT1 axis.
Xuefei Guo +10 more
wiley +1 more source

From Sensing Mechanisms to System Co‐Design: Graphene‐Based Sensors and Readout Circuits

Advanced Science, EarlyView.
This review establishes a unified PS–EQ–RF framework linking graphene sensing mechanisms, native electrical outputs, and output‐specific readout circuits. Voltage‐, current‐, resistance‐, and capacitance‐type sensing systems are systematically classified to guide architecture selection, low‐noise design, system co‐design, and practical integration ...
Jinduo Zhang +5 more
wiley +1 more source

Structural Basis of Shiga Toxin Neutralization by Human Antibodies Targeting Canonical Receptor‐Binding and Non‐Canonical Assembly Sites

Advanced Science, EarlyView.
Cryo‐electron microscopy structures reveal two distinct neutralization mechanisms of fully human monoclonal antibodies targeting the Shiga toxin 1a B subunit. RDS059 occludes the Gb3 receptor‐binding site, whereas RDS045 engages a lateral quaternary epitope to disrupt holotoxin assembly.
Jianting Ke +10 more
wiley +1 more source