Results 51 to 60 of about 273,955 (91)

Multiangle Long-Axis Lateral Illumination Photoacoustic Imaging Using Linear Array Transducer. [PDF]

Sensors (Basel), 2020
Uliana JH, Sampaio DRT, Fernandes GSP, Brassesco MS, Nogueira-Barbosa MH, Carneiro AAO, Pavan TZ.   +6 more
europepmc   +1 more source

Cloud Platforms for Context-Adaptive Positioning and Localisation in GNSS-Denied Scenarios-A Systematic Review. [PDF]

Sensors (Basel), 2021
Quezada-Gaibor D, Torres-Sospedra J, Nurmi J, Koucheryavy Y, Huerta J.   +4 more
europepmc   +1 more source

Simulations and human cadaver head studies to identify optimal acoustic receiver locations for minimally invasive photoacoustic-guided neurosurgery. [PDF]

Photoacoustics, 2020
Graham MT, Huang J, Creighton FX, Lediju Bell MA.   +3 more
europepmc   +1 more source

Situational Awareness: Mapping Interference Sources in Real-Time Using a Smartphone App. [PDF]

Sensors (Basel), 2018
Nguyen HL, Troglia Gamba M, Falletti E, Ta TH.   +3 more
europepmc   +1 more source

Embedding X.509 Digital Certificates in Three-Dimensional Models for Authentication, Authorization, and Traceability of Product Data. [PDF]

J Comput Inf Sci Eng, 2017
Hedberg TD, Krima S, Camelio JA.
europepmc   +1 more source

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models [PDF]

arXiv
Large language models have demonstrated impressive capabilities in generating code, yet they often produce programs with flaws or deviations from intended behavior, limiting their suitability for safety-critical applications. To address this limitation, this paper introduces VECOGEN, a novel tool that combines large language models with formal ...
arxiv  

Method for enabling a root of trust in support of product-data certification and traceability. [PDF]

J Comput Inf Sci Eng, 2019
Hedberg TD, Krima S, Camelio JA.
europepmc   +1 more source

Design and Integration of an Inexpensive Wearable Mechanotactile Feedback System for Myoelectric Prostheses. [PDF]

IEEE J Transl Eng Health Med, 2018
Schoepp KR, Dawson MR, Schofield JS, Carey JP, Hebert JS.   +4 more
europepmc   +1 more source

Big data analytics for smart factories of the future. [PDF]

CIRP Ann Manuf Technol, 2020
Gao RX, Wang L, Helu M, Teti R.
europepmc   +1 more source

The Advent of the Internet of Things in Airfield Lightning Systems: Paving the Way from a Legacy Environment to an Open World. [PDF]

Sensors (Basel), 2019
Buzzoni E, Forlani F, Giannelli C, Mazzotti M, Parisotto S, Pomponio A, Stefanelli C.   +6 more
europepmc   +1 more source