Results 81 to 90 of about 100,126 (270)
AI–Guided 4D Printing of Carnivorous Plants–Inspired Microneedles for Accelerated Wound Healing
Advanced Materials, EarlyView.This work presents an artificial intelligence (AI)‐guided 4D‐printed microneedle platform inspired by carnivorous plants for wound healing. A thermo‐responsive shape memory polymer enables body temperature–triggered self‐coiling for autonomous wound closure.
Hyun Lee +21 more
wiley +1 more source
IEEE AccessMaintaining up-to-date design models is a persistent challenge in modern software development, especially within continuous integration (CI) environments.
Kleinner Farias +5 more
doaj +1 more source
Advanced Materials Interfaces, EarlyView.This study establishes a dual‐channel optical metrology framework integrating phase‐shifting imaging ellipsometry and deep‐UV reflectance imaging. This label‐free approach enables simultaneous, time‐resolved mapping of film thickness and nanoparticle (NP) concentration in dynamic nanofluid thin films.
Eita Shoji +3 more
wiley +1 more source
TRACTABLE DATA-FLOW ANALYSIS FOR DISTRIBUTED SYSTEMS
, 1994 Automated behavior analysis is a valuable technique in the development and maintainence of distributed systems. In this paper, we present a tractable dataflow analysis technique for the detection of unreachable states and actions in distributed systems ...
CHEUNG, SC, KRAMER, J
core +2 more sources
Advanced Materials Technologies, EarlyView.A mask‐free and cost‐effective UV‐pico‐second laser‐based microfabrication method is proposed to fabricate large‐area biodegradable microelectrode arrays and pressure sensors. These devices demonstrate low impedance, good conformability, excellent biocompatibility, and rapid degradation, providing a new route for next‐generation transient electronics ...
Bhavani Prasad Yalagala +5 more
wiley +1 more source
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
, 2013 Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified property is called a ...
Chupilko, Mikhail, Kamkin, Alexander
core +2 more sources
Advanced Materials Technologies, EarlyView.This review presents recent progress in vision‐augmented wearable interfaces that combine artificial vision, soft wearable sensors, and exoskeletal robots. Inspired by biological visual systems, these technologies enable multimodal perception and intelligent human–machine interaction.
Jihun Lee +4 more
wiley +1 more source
The use of Petri nets for modeling pipelined processors [PDF]
, 1987 This paper discusses the use of Petri Nets for modeling and analyzing pipelined processors. Petri Nets are particularly well-suited to modeling the synchronization, buffering, resource contention and delicate timing so common in pipelined processors ...
Razouk, Rami R.
core
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
, 2017 Transaction-level modeling with SystemC has been very successful in describing the behavior of embedded systems by providing high-level executable models, in which many of them have inherent probabilistic behaviors, e.g., random data and unreliable ...
Legay, Axel, Ngo, Van Chan
core +1 more source
The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?
Advanced Robotics Research, EarlyView.Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley +1 more source