( en | de | ru )

 

Disambiguation of "Weimer, James"

Author of the publication

copydeleteadd this publication to your clipboard
An Intraoperative Glucose Control Benchmark for Formal Verification.

, , , , and . ADHS, volume 48 of IFAC-PapersOnLine, page 211-217. Elsevier, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael James

Audrein James

Katherine James

Ammini James-Mammoottil

Rojin James

 

Other publications of authors with the same name

Lumos: An Open-Source Device for Wearable Spectroscopy Research., , , , and . Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 6 (4): 187:1-187:24 (2022)Confidence Calibration with Bounded Error Using Transformations., , , and . CoRR, (2021)Parameter-Invariant Monitor Design for Cyber-Physical Systems., , , , , and . Proc. IEEE, 106 (1): 71-92 (2018)Data-driven Adaptive Safety Monitoring Using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study., , , and . J. Comput. Sci. Eng., (2016)Memory-Consistent Neural Networks for Imitation Learning., , , , and . CoRR, (2023)VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems., , , , , , and . CoRR, (2020)Let's Talk Through Physics! Covert Cyber-Physical Data Exfiltration on Air-Gapped Edge Devices., , , , , , , , , and . CoRR, (2022)High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms., , , , , , and . CHASE, page 70-81. IEEE, (2021)RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk., , , , , , and . CHASE, page 35-45. IEEE, (2021)FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data., , , , , , , , , and 2 other author(s). CHASE, page 130-131. IEEE, (2021)