Results 121 to 130 of about 127,482 (288)
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
Advanced Materials, EarlyView.A unified framework links structural and transformation superlubricity with microsystem functions and deployment requirements. Mechanisms, device architectures, integration strategies, AI‐guided discovery, and benchmarking protocols are connected to define function‐ready superlubricity in advanced microsystems.
Yushan Geng, Jun Yang, Yong Yang
wiley +1 more source
Towards Light-Weight Probabilistic Model Checking
Journal of Applied Mathematics, 2014 Model checking has been extensively used to verify various systems. However, this usually has been done by experts who have a good understanding of model checking and who are familiar with the syntax of both modelling and property specification languages.
Savas Konur
doaj +1 more source
Advanced Materials, EarlyView.An overview of design principles and scalable fabrication strategies for multifunctional bio‐based packaging. Radiative cooling films, modified‐atmosphere films/membranes, active antimicrobial/antioxidant platforms, intelligent optical/electrochemical labels, and superhydrophobic surfaces are co‐engineered from material chemistry to mesoscale structure
Lei Zhang +6 more
wiley +1 more source
Leaftronics: Bio‐Fractal Scaffolds From Leaf Venation for Low‐Waste Electronics
Advanced Materials, EarlyView.“Leaftronics” transforms naturally evolved leaf venation into quasi‐fractal scaffolds for sustainable electronics. Polymer‐infiltrated leaf skeletons can be used to fabricate ultra‐smooth, reflow‐ and thin‐film‐compatible decomposable substrates, while making the same lignocellulose networks conducting results in flexible transparent electrodes.
Rakesh Rajendran Nair +3 more
wiley +1 more source
Combining Expression and Content in Domains for Dialog Managers
, 1998 We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain description as input and delivers a new dialog manager for the described domain ...
Goerz, Guenther +2 more
core +3 more sources
Towards Contingent World Descriptions in Description Logics
Logic and Logical Philosophy, 2019 The philosophical, logical, and terminological junctions between Description Logics (DLs) and Modal Logic (ML) are important because they can support the formal analysis of modal notions of ‘possibility’ and ‘necessity’ through the lens of DLs. This paper introduces functional contingents in order to (i) structurally and terminologically analyse ...
openaire +3 more sources
Advanced Materials, EarlyView.Catalyst coordination acts as a loaded dice biasing reaction selectivity. Single‐atom site catalysts lock intermediates in exposed configurations, enabling continued hydrogenation and favoring oxygen‐retaining products. In contrast, extended metal surfaces fully coordinate and shield reactive centers, promoting deoxygenation pathways. This work reveals
Chengyi Zhang, Ziyun Wang
wiley +1 more source
Безопасность информационных технологий, 2013 In the paper the usage of the ontological approach, description logics and logical inference to the design of the data model of computer vulnerabilities and attacks is suggested.
Olga Vitalievna Polubelova +1 more
doaj
An interval logic for higher-level temporal reasoning [PDF]
Prior work explored temporal logics, based on classical modal logics, as a framework for specifying and reasoning about concurrent programs, distributed systems, and communications protocols, and reported on efforts using temporal reasoning primitives to
Melliar-Smith, P. M. +3 more
core +1 more source
Advanced Materials, EarlyView.Flexible Ag2Te thin films achieving a record‐high mobility of 4756 cm2 V−1 s−1 and a peak power factor of 18.5 µW cm−1 K−2 are developed via precise structural control. The assembled flexible devices demonstrate excellent mechanical stability and ultrafast voltage response, enabling precise thermal detection when integrated into a robotic gripper for ...
Yue‐Xing Chen +15 more
wiley +1 more source