Results 31 to 40 of about 1,451,668 (305)
Melt Grafting of Geometry‐Tailored Voltage Stabilizers for High‐Performance Polypropylene Insulation
Advanced Functional Materials, EarlyView.A scalable one‐step melt grafting strategy is developed to enhance the dielectric properties of isotactic polypropylene by covalently incorporating thermally stable aromatic voltage stabilizers. This solvent‐free approach improves volume resistivity and DC breakdown strength through deep trap formation and charge localization, offering a sustainable ...
Nazirul Mubin bin Normansah +9 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Permanent magnets derive their extraordinary strength from deep, universal electronic‐structure principles that control magnetization, anisotropy, and intrinsic performance. This work uncovers those governing rules, examines modern modeling and AI‐driven discovery methods, identifies critical bottlenecks, and reveals electronic fingerprints shared ...
Prashant Singh
wiley +1 more source
Runtime Verification of Temporal Properties over Out-of-order Data Streams
, 2017 We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost.
A Bauer +15 more
core +1 more source
s‐Orbital Mediated Metavalent Bonding Enables State‐Of‐The‐Art n‐Type AgBiSe2 Thermoelectrics
Advanced Functional Materials, EarlyView.Metavalent bonding (MVB) underpins the exceptional property portfolio of chalcogenides. Typical MVB solids are mainly found in p‐bonded systems. This work reveals that MVB can also be formed with s‐p orbital interactions upon forming a single‐electron σ‐bond, as exemplified in AgBiSe2.
Binrong Huang +13 more
wiley +1 more source
Development and Validation of Sustainable Aquaculture Indicators: Case of Alborz Dam Basin, Mazandaran, Iran [PDF]
International Journal of Agricultural Management and Development, 2017 The present study was conducted to examine the development and validation ofsustainable indicatorsrelated to aquaculture as a social-ecological system.
Enayat Abbasi +3 more
doaj
Journal of Mathematical Economics, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bossert W., Peters H.J.M.
openaire +5 more sources
Advanced Healthcare Materials, EarlyView.The incorporation of nondigested ECM and synthetic polymers into a co‐electrospinning system enables the decoupling of bioactivity and mechanical properties within a single wrap. This technique is used to develop a multifunctional bone wrap that achieves augmented membrane durability, sustained infection control, and enhanced vascularity for use in ...
Sarah Jones +14 more
wiley +1 more source
Middle-Out Reasoning for Logic Program Synthesis [PDF]
, 1993 We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof.
Basin, D., Bundy, Alan, Kraan, I.
core +3 more sources
Asymmetry in Skipping Enhances Viability Against Control Input Noise
Advanced Robotics Research, EarlyView.Quadruped animals use asymmetric galloping gaits at high speeds, yet the functional role of this asymmetry remains unclear. This study shows that left–right asymmetry in touchdown angles enhances robustness to control noise. Using a simple two‐legged locomotion model and viability theory, it demonstrates that asymmetric skipping substantially enlarges ...
Yuichi Ambe, Alvin So, Shinya Aoi
wiley +1 more source
A Framework for Program Development Based on Schematic Proof [PDF]
, 1993 Often, calculi for manipulating and reasoning about programs can be recast as calculi for synthesizing programs. The difference involves often only a slight shift of perspective: admitting metavariables into proofs. We propose that such calculi should be
Basin, David +3 more
core +1 more source