Search

Your search keyword '"Yamaguchi, Tomoya"' showing total 430 results

Search Constraints

Start Over You searched for: Author "Yamaguchi, Tomoya" Remove constraint Author: "Yamaguchi, Tomoya"
430 results on '"Yamaguchi, Tomoya"'

Search Results

Catalog

Books, media, physical & digital resources

4. A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

5. Ultrafast single-channel machine vision based on neuro-inspired photonic computing

6. Timed Partial Order Inference Algorithm

8. Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

10. Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions

11. PerceMon: Online Monitoring for Perception Systems

12. Reachability Analysis of Convolutional Neural Networks

13. Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions

14. RTAMT: Online Robustness Monitors from STL

21. The Association Between the Perception of Exercise Benefits and Barriers and Exercise Self-Efficacy During the Induction Phase of Dialysis in Patients with End-Stage Kidney Disease: A Cross-Sectional Study.

31. Falsification of Cyber-Physical Systems with Constrained Signal Spaces

35. Application of Abstract Interpretation to the Automotive Electronic Control System

36. Time-domain image processing using photonic reservoir computing

39. 45‐3: Molecular Design of Blue Phosphorescent Platinum Complexes for Highly Efficient, Long‐Lived Blue Organic Light‐Emitting Diodes.

41. Age‐associated effects of intradialytic exercise on physical function and nutritional status in patients receiving ambulatory hemodialysis: A multicenter cohort study

49. Timed Partial Order Inference Algorithm