Results 71 to 80 of about 938,794 (293)

Default Logic in a Coherent Setting

, 2002
In this talk - based on the results of a forthcoming paper (Coletti, Scozzafava and Vantaggi 2002), presented also by one of us at the Conference on "Non Classical Logic, Approximate Reasoning and Soft-Computing" (Anacapri, Italy, 2001) - we discuss the problem of representing default rules by means of a suitable coherent conditional probability ...
COLETTI, Giulianella, Scozzafava R., Vantaggi B.   +2 more
openaire   +4 more sources

Integration of Reconfigurable p‐Bit and 1R Crossbar Array for Memristive Probabilistic Computing

Advanced Science, EarlyView.
A memristive probabilistic computing system is demonstrated by integrating stochastic p‐bits based on volatile memristors with a 1R crossbar array encoding interaction weights. The system performs weighted‐sum operations across the array and updates p‐bits iteratively.
Keunho Soh, Ji Eun Kim, Suk Yeop Chun, Su In Hwang, Byung Seok Kim, Young Jae Lee, Ho Won Jang, Jung Ho Yoon   +7 more
wiley   +1 more source

Herbicide Metabolic Resistance in Poaceae Plants via the GA‐GID1/DELLA‐DOF2‐P450s Module

Advanced Science, EarlyView.
Plant hormone signaling modulates herbicide resistance in Echinochloa crus‐galli. The GA–DELLA–DOF2 cascade directly activates P450 detoxification genes in two Poaceae species, uncovering a core mechanism of metabolic herbicide resistance. ABSTRACT Barnyard grass (Echinochloa crus‐galli) is one of the world's most important weeds, and the evolution of ...
Junzhi Wang, Jiale Qi, Lin Wei, Qin Yu, Zhongyuan Liu, Lianyang Bai, Lang Pan   +6 more
wiley   +1 more source

Provability Logic for Default Reasoning 2

, 1997
The goal of our research is to highlight the connection between modal provability theory and default logic. Our work continues the research tradition in which definitions of extensions in default logic are related to modal systems.
DOV GABBAY, GIANNI AMATI, PIRRI ARDIZZONE, Maria Fiora, CARLUCCI, Luigia   +3 more
core  

A Rigid–Foldable Kirigami‐Inspired Metamorphic Mechanism With Programmable Motion Modes and Self‐Locking

Advanced Science, EarlyView.
Geometric constraint reconfiguration enables a rigid–foldable kirigami‐inspired mechanism to switch between twisting, directional translation, and self‐locking states. By encoding multifunctionality directly into its architecture, the mechanism achieves multimodal motion and passive locking without reassembly, providing a compact platform for adaptive ...
Jianlin Wang, Zhongmin Song, Ketao Zhang
wiley   +1 more source

Receptogenesis in a Vascularized Robotic Embodiment

Advanced Science, EarlyView.
Functional augmentation of situated robots via ex novo hardware generation extends physical adaptability. Drawing inspiration from open circulatory systems for mass and function redistribution, this study presents a vascularized robotic composite exhibiting receptogenesis ‐ the on‐demand construction of sensors ‐ from internal fluid reserves based on ...
Kadri‐Ann Pankratov, Leonid Zinatullin, Hans Priks, Adele Metsniit, Urmas Johanson, Tarmo Tamm, Alvo Aabloo, Edoardo Sinibaldi, Indrek Must   +8 more
wiley   +1 more source

Trustworthy Multimodal Attention Framework for Creep Rupture Life Prediction Under Data‐Scarce Conditions: A Case Study on IN718

Advanced Science, EarlyView.
An attention‐based multimodal deep learning framework is developed to predict the creep life of Ni‐based superalloys by fusing processing parameters with microstructural micrographs. The model achieves high accuracy (R2 = 0.92), aligns with metallurgical principles by capturing δ‐phase influence, and incorporates uncertainty quantification, offering a ...
Haopeng Lv, Dayong Wu, Ziyuan Rao, Qian Wang, Haikun Ma, Jie Kang, Wang Li, Huicong Dong, Yandong Wang, Zhinan Yang, Ru Su   +10 more
wiley   +1 more source

Biochemically Constrained Multi‐Omics Integration Reveals Protein–Metabolite Dependencies Across Diseases

Advanced Science, EarlyView.
ProMetNet introduces a biologically constrained deep learning framework for proteo‐metabolomic integration by embedding Reactome‐derived pathway topology into neural networks. It captures non‐linear molecular dependencies and pathway‐level metabolic reorganization, enabling interpretable discrimination.
Minghui Zhao, Na Zhou, Ruotong Liu, Xiaofei Li, Jian Li, Fuzhong Xue, Qingzhen Hou   +6 more
wiley   +1 more source

Unsustainable artificial intelligence and algorithmically facilitated emissions: The case for emissions-reduction-by-design

Big Data & Society
This commentary discusses the role of increasingly artificial intelligence-infused big tech platforms in facilitating and normalising high-emission lifestyles and consumption practices. It introduces the notion of algorithmically facilitated emissions to
Jutta Haider, Malte Rödl, James White
doaj   +1 more source

Stratification for Default Logic Variants

, 1998
Default reasoning is computationally expensive. One of the most promising ways of easing this problem and developing powerful implementations is to split a default theory into smaller parts and compute extensions in a modular, “local” way. Up to now this
Antoniou, G, Antoniou, Grigorios
core   +1 more source