Results 71 to 80 of about 1,522 (259)
Lukasiewicz Logics and Weighted Logics over MV-Semirings
, 2006 We connect Lukasiewicz logic, a well-established many-valued logic, with weighted logics, recently introduced by Droste and Gastin. We use this connection to show that for formal series with coefficients in semirings derived from MValgebras ...
Schwarz, S
core
Advanced Materials, EarlyView.This project developed a smart bandage‐like patch (a microneedle array) for repairing diabetic bone damage. It intelligently senses signals from infection and inflammation, then releases its medicines in a specific, timed sequence: first an antibacterial agent, then an anti‐inflammatory agent, and finally growth factors.
Yu Wang +10 more
wiley +1 more source
Interface‐Engineered Binary Framework Composites: Advancing Porous Materials for Precision Medicine
Advanced Materials Interfaces, EarlyView.Binary framework composites integrate two complementary porous architectures into a unified platform, enabling multifunctional design, enhanced structural tunability, and improved physicochemical performance. By combining high surface area, ordered porosity, interfacial synergy, and versatile functionalization, these hybrid materials offer new ...
Navid Rabiee +3 more
wiley +1 more source
Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics
, 2014 Probabilistic inference can be realized using weighted model counting. Despite a lot of progress, computing weighted model counts exactly is still infeasible for many problems of interest, and one typically has to resort to approximation methods.
De Raedt, Luc, +3 more
core +3 more sources
An Injectable Electroactive Hydrogel Engineered for Stable Bioelectronic Interfaces
Advanced Materials Interfaces, EarlyView.Injectable electroconductive hydrogels enable soft, conformal, and stable bioelectronic interfaces for electroceutical therapies. A catechol‐modified hyaluronic acid/alginate/edge‐functionalized graphene platform combines wet adhesion, shear‐thinning injectability, tissue‐matched mechanics, and electrochemical functionality.
Ying Zhou +11 more
wiley +1 more source
Multi-weighted Automata Models and Quantitative Logics
, 2015 Recently, multi-priced timed automata have received much attention for real-time systems. These automata extend priced timed automata by featuring several price parameters.
Perevoshchikov, Vitaly
core
Advanced Materials Technologies, EarlyView.Hf–Zr–O‐based morphotropic phase boundary (MPB) thin films often suffer from limited endurance and poor uniformity due to intrinsic phase instability. This work proposes a nanolaminate architecture that spatially separates competing phases, stabilizes phase formation, and suppresses wake‐up‐induced degradation.
Hojung Jang, Hyunsang Hwang
wiley +1 more source
Futures Study of National Identity in Generations Z and Alpha in Ardabil: An Analysis of Continuity, Interaction, and Transformation Scenarios [PDF]
مسائل اجتماعی ایرانIn recent decades, the evolution of national identity among younger generations, particularly Generation Z and Alpha, has become a significant subject in social research. This study, employing a qualitative methodology within a futures studies framework,
Salahedin Ghaderi +1 more
doaj
Advances in Weighted Logics for Artificial Intelligence
International Journal of Approximate Reasoning, 2017 Peer ...
Marcelo Finger +3 more
openaire +2 more sources
Advanced Materials Technologies, EarlyView.Transducers convert physical signals into electrical and optical representations, yet each mechanism is bounded by intrinsic trade‐offs across bandwidth, sensitivity, speed, and energy. This review maps transduction mechanisms across physical scale and frequency, showing how heterogeneous integration and multiphysics co‐design transform isolated ...
Aolei Xu +8 more
wiley +1 more source