Results 121 to 130 of about 20,240 (210)

Defining a Domain-Specific Language for Behavior Verification of Cyber-Physical Applications. [PDF]

Sensors (Basel)
Panayiotou K, Tsardoulias E, Tsampouris T, Symeonidis AL.   +3 more
europepmc   +1 more source

The E-algorithm: an automatic test generation algorithm for hardware description languages

, 1988
Forrest Eugene Norrod
openalex   +1 more source

Immersive experience in virtual reality gamification teaching: analysis of the mediating effect on educational learning outcomes. [PDF]

Sci Rep
Lin J.
europepmc   +1 more source

Two-Phase Distributed Genetic-Based Algorithm for Time-Aware Shaper Scheduling in Industrial Sensor Networks. [PDF]

Sensors (Basel)
Chang RI, Hsu TW, Chen YT.
europepmc   +1 more source

Large language model-driven agents in nursing practice: A scoping review. [PDF]

Int J Nurs Sci
Zheng X, Zou H, Wu L, Dong P, Yuan W, Chen Y.   +5 more
europepmc   +1 more source

Optimization of Teaching Content of Digital Logic Course Using Hardware Description Languages [PDF]

Zhongmin Li
openalex   +1 more source

An Empirical Evaluation of Low-Rank Adapted Vision-Language Models for Radiology Image Captioning. [PDF]

Bioengineering (Basel)
Hoque M, Chowdhury RN, Hasan MR, Peter OOE, Khalifa F, Rahman MM.   +5 more
europepmc   +1 more source

AI- and Security-Empowered End-Edge-Cloud Modular Platform in Complex Industrial Processes: A Case Study on Municipal Solid Waste Incineration. [PDF]

Sensors (Basel)
Tang J, Wang T, Tian H, Yu W.
europepmc   +1 more source

A Performance Study of Deep Neural Network Representations of Interpretable ML on Edge Devices with AI Accelerators. [PDF]

Sensors (Basel)
Schauer J, Goodarzi P, Morsch J, Schütze A.   +3 more
europepmc   +1 more source