Results 91 to 100 of about 481,884 (278)
Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface
End-user development is an emerging computer science discipline that provides programming paradigms, techniques, and tools suitable for users not trained in software engineering. One of the techniques that allow ordinary computer users to develop their
SKVORC, D., ZUZAK, I., SRBLJIC, S.
doaj +1 more source
A miniaturized mechano‐acoustic sensor is developed using an electrospun PVDF nanomesh as the diaphragm in a capacitive sensor structure. Unlike conventional nanomesh‐based sensors, it achieves high linear sensitivity, a broad and flat frequency response, and a compact form factor.
Jeng‐Hun Lee +8 more
wiley +1 more source
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
AUTOMATA PROGRAMS CONSTRUCTION FROM SPECIFICATION WITH AN ANT COLONY OPTIMIZATION ALGORITHM BASED ON MUTATION GRAPH [PDF]
The procedure of testing traditionally used in software engineering cannot guarantee program correctness; therefore verification is used at the excess requirements to programs reliability.
Daniil S. Chivilikhin +3 more
doaj
ED-Batch: Efficient Automatic Batching of Dynamic Neural Networks via Learned Finite State Machines [PDF]
Siyuan Chen +4 more
openalex +1 more source
Learning Moore Machines from Input-Output Traces
The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice.
A Gupta +35 more
core +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
Development of the 3D Game “Lavender's Warmth” Using the Collision Detection Method
This study presents the development of a 3D puzzle–adventure game titled “Lavender’s Warmth” using the Collision Detection and Finite-State Machine (FSM) methods.
Nayaka Apta Nayottama +2 more
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

