Results 91 to 100 of about 5,385 (262)
On a reachability set of automaton counter machines
Моделирование и анализ информационных систем, 2010 Properties of automaton counter machines are investigated. We prove that reachability sets of automaton one-counter machines are semilinear. An algorithm of construction of these semilinear reachability sets is resultexl.
E. V. Kuzmin, D. J. Chalyy
doaj
Arthritis Care &Research, Accepted Article.Objective Despite well‐described biological causes, the public views unhealthy lifestyle choices as the primary cause of gout. This study investigated how causal beliefs about gout influence the public's views about its management. Methods In a randomized study, 201 members of the public viewed one of two 2‐minute videos about gout.
Rachel Murdoch +6 more
wiley +1 more source
A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller
International Journal of Adaptive Control and Signal Processing, EarlyView.Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg +5 more
wiley +1 more source
An Automaton State Explosion Optimization Method for Repetitive Features in Deep Packet Inspection
IEEE AccessTraditional automaton-based deep packet inspection (DPI) approaches suffer from severe state explosion when processing rules with repetitive features, resulting in prohibitive memory requirements.
Xuejian Li, Zihan Wang, Zehua Cheng
doaj +1 more source
Advanced Engineering Materials, EarlyView.The tribological behavior of 100Cr6 steel spheres textured via Vickers microindentation is evaluated under lubricated sliding by varying both dimple size and density. Fine and dense textures significantly reduce friction across all lubrication regimes, while large dimples increase it.
Farideh Davoodi +3 more
wiley +1 more source
Harnessing Fungal Biowelding for Constructing Mycelium‐Engineered Materials
Advanced Engineering Materials, EarlyView.Mycelium‐bound composites (MBCs) offer low‐carbon alternatives for construction, yet interfacial bonding remains a critical challenge. This review examines fungal biowelding as a biocompatible adhesive, elucidating mycelium‐mediated interfacial mechanisms and their role in material assembly. Strategies to optimize biowelding are discussed, highlighting
Xue Brenda Bai +2 more
wiley +1 more source
Elinvar Materials: Recent Progress and Challenges
Advanced Engineering Materials, EarlyView.Elinvar materials, exhibiting temperature‐invariant elastic modulus, are critical for precision instruments and emerging technologies. This article reviews recent progress in the field, with a focus on the anomalous thermoelastic behavior observed in key material systems.
Wenjie Li, Yang Ren
wiley +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Packaging of Macroscopic Material Payloads: Needs, Challenges, Concepts, and Future Directions
Advanced Engineering Materials, EarlyView.This review introduces a unified framework that decomposes any macroscopic packaging system into the payload, packaging material, and packaging strategy and combines them into a conceptual packaging equation: packaging strategy = payload + packaging material.
Venkata S. R. Jampani, Manos Anyfantakis
wiley +1 more source