Not finding it? Sign in to also search OpenAlex live.
-
Case-Grounded Evidence Verification: A Framework for Constructing Evidence-Sensitive Supervision2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access
Soroosh Tayebi Arasteh, Mehdi Joodaki, Mahshad Lotfinia, Sven Nebelung, Daniel Truhn
0citations -
Validation and verification framework and data integration of biosensors and in vitro diagnostic devices: a position statement of the IFCC Committee on Mobile Health and Bioengineering in Laboratory Medicine (C-MBHLM) and the IFCC Scientific Division2024 Clinical Chemistry and Laboratory Medicine (CCLM) article Medicine Clinical Laboratory Practices and Quality Control Open access
Damien Gruson, Christa M. Cobbaert, Pradeep Kumar Dabla, Sanja Dj Stankovic, Evgenija Homšak, Kazuhiko Kotani, +3 more
11citations -
HW/SW Formal Co-Verification of Rust-based Designs Using Hardware Abstraction Model2025 IEEE Computer Society Annual Symposium on VLSI conference-paper Computer Science Embedded Systems Design Techniques
Sascha Neske, Bryan Olmos, Shuhang Zhang, M. Kroening, Stefan Lankes, Wolfgang Gerhard Kunz, +1 more
0citations -
Toward an Operational Anthropogenic CO2 Emissions Monitoring and Verification Support Capacity2020 Bulletin of the American Meteorological Society article Environmental Science Atmospheric and Environmental Gas Dynamics Open access
Greet Janssens‐Maenhout, B. Pinty, Mark D. Dowell, H. Zunker, Erik Andersson, Gianpaolo Balsamo, +34 more
205citations -
IoC3D: A Multi-Scenario 3D Point Cloud Dataset for Semantic Target Extraction and Construction Progress Monitoring via Scan-to-BIM Verification2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering BIM and Construction Integration Open access
Jan Luca Fahrendholz, Peter R. Wildemann, Lukas Kirner, Marit Zöcklein, Sigrid Brell‐Çokcan, Construction Robotics GmbH, +1 more
0citations -
IoC3D: A Multi-Scenario 3D Point Cloud Dataset for Semantic Target Extraction and Construction Progress Monitoring via Scan-to-BIM Verification2026 Zenodo (CERN European Organization for Nuclear Research) dataset Engineering BIM and Construction Integration Open access
Jan Luca Fahrendholz, Peter R. Wildemann, Lukas Kirner, Marit Zöcklein, Sigrid Brell‐Çokcan, Construction Robotics GmbH, +1 more
0citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
AI-Native Brand Identity: From Visual Recognition to Cryptographic Verification2025 arXiv (Cornell University) preprint Business, Management and Accounting Consumer Behavior in Brand Consumption and Identification Open access
Xiaoyu Zhang, Lingyong Yan, Maarten de Rijke, Zhaochun Ren, Xiuying Chen
0citations