Results 111 to 120 of about 1,076,775 (291)
Research on the Development Approach for Reusable Model in Parallel Discrete Event Simulation
Model reuse is an essential means to meet the demand of model development in complex simulation. An effective approach to realize the model reusability is to establish standard model specification including interface specification and representation ...
Jianbo Li +3 more
doaj +1 more source
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico +2 more
core
A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
2D Nanomaterials Toward Function‐Ready Superlubricity in Advanced Microsystems
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
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
“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
Towards Contingent World Descriptions in Description Logics
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
ABSTRACT Dynamic surface reconstruction critically governs the performance and durability of oxide‐based electrocatalysts for the oxygen evolution reaction (OER), yet controlling this process under operating conditions remains challenging. Here, we demonstrate that lattice strain regulates the extent of surface reconstruction in perovskite oxides by ...
Yong Beom Kim +5 more
wiley +1 more source
How Law’s Nature Influences Law’s Logic
Classical logic is based on an underlying view of the world, according to which there are elementary facts and compound facts, which are logical combinations of these elementary facts.
Hage Jaap
doaj +1 more source
LOGSIM programmer's manual [PDF]
A programmer's manual is reported for a Logic Simulator (LOGSIM) computer program that is a large capacity event simulator with the capability to accurately simulate the effects of certain unknown states, rise and fall times, and floating nodes in large ...
Mitchell, C. L., Taylor, J. F.
core +1 more source

