A Novel Fuzzing Method for Zigbee Based on Finite State Machine
With the extensive application of Zigbee, some bodies of literature were devoted into finding the vulnerabilities of Zigbee by fuzzing. According to earlier test records, the majority of defects were exposed due to a series of testing cases. However, the
Baojiang Cui +4 more
doaj +1 more source
Automata Approach to XML Data Indexing
The internal structure of XML documents can be viewed as a tree. Trees are among the fundamental and well-studied data structures in computer science. They express a hierarchical structure and are widely used in many applications.
Eliška Šestáková, Jan Janoušek
doaj +1 more source
Off-Policy Evaluation of the Performance of a Robot Swarm: Importance Sampling to Assess Potential Modifications to the Finite-State Machine That Controls the Robots. [PDF]
Pagnozzi F, Birattari M.
europepmc +1 more source
Reversible Logic Elements with Memory and Their Universality
Reversible computing is a paradigm of computation that reflects physical reversibility, one of the fundamental microscopic laws of Nature. In this survey, we discuss topics on reversible logic elements with memory (RLEM), which can be used to build ...
Morita, Kenichi
core +2 more sources
This review explores functional and responsive materials for triboelectric nanogenerators (TENGs) in sustainable smart agriculture. It examines how particulate contamination and dirt affect charge transfer and efficiency. Environmental challenges and strategies to enhance durability and responsiveness are outlined, including active functional layers ...
Rafael R. A. Silva +9 more
wiley +1 more source
Light‐Responsive Enzyme‐Loaded Nanoparticles for Tunable Adhesion and Mechanical Wound Contraction
This study presents a photoactivatable enzyme‐loaded mesoporous nanoparticle system (MPDA_PaTy) that enables light‐triggered tunable tissue adhesion and facilitates mechanical wound contraction. Controlled enzymatic crosslinking at tissue or hydrogel interfaces allows on‐demand adhesion.
Junghyeon Ko +10 more
wiley +1 more source
A Model Checking-Based Method of Functional Test Generation for HDL Descriptions
Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment.
M. S. Lebedev, S. A. Smolov
doaj +1 more source
Multiband Switchable Microwave Absorbing Metamaterials Based on Reconfigurable Kirigami–Origami
A reconfigurable metamaterial featuring tunable microwave‐absorbing and load‐bearing performance is proposed. Stretchable kirigami and bistable origami configurations are integrated as actuating components, and the synergistic deformation mechanisms are systematically analyzed.
Weimin Ding +7 more
wiley +1 more source
Machine Translation with Inferred Stochastic Finite-State Transducers
Francisco Casacuberta, Enrique Vidal
doaj +1 more source
Ice Lithography: Recent Progress Opens a New Frontier of Opportunities
This review focuses on recent advancements in ice lithography, including breakthroughs in compatible precursors and substrates, processes and applications, hardware, and digital methods. Moreover, it offers a roadmap to uncover innovation opportunities for ice lithography in fields such as biological, nanoengineering and microsystems, biophysics and ...
Bingdong Chang +9 more
wiley +1 more source

