Search

Your search keyword '"Tanabe, Yoshinori"' showing total 360 results

Search Constraints

Start Over You searched for: Author "Tanabe, Yoshinori" Remove constraint Author: "Tanabe, Yoshinori"
360 results on '"Tanabe, Yoshinori"'

Search Results

11. Model-Based Testing for MQTT Applications

14. Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

17. Characteristic Mean Kurtosis Values in Simple Diffusion Kurtosis Imaging of Dentigerous Cysts

18. Evaluation of the accuracy of heart dose prediction by machine learning for selecting patients not requiring deep inspiration breath‑hold radiotherapy after breast cancer surgery

20. Usefulness of Simple Diffusion Kurtosis Imaging for Head and Neck Tumors: An Early Clinical Study

21. Mean Heart Dose Prediction Using Parameters of Single-Slice Computed Tomography and Body Mass Index: Machine Learning Approach for Radiotherapy of Left-Sided Breast Cancer of Asian Patients

24. Runtime Monitoring for Concurrent Systems

25. Enhancing Diagnostic Precision: Evaluation of Preprocessing Filters in Simple Diffusion Kurtosis Imaging for Head and Neck Tumors.

27. Cardinality of UDP Transmission Outcomes

29. Quantitative evaluation of the reduction of distortion and metallic artifacts in magnetic resonance images using the multiacquisition variable‑resonance image combination selective sequence

30. Objective evaluation method using multiple image analyses for panoramic radiography improvement

31. Evaluation of the accuracy of heart dose prediction by machine learning for selecting patients not requiring deep inspiration breath‑hold radiotherapy after breast cancer surgery

32. Mean Heart Dose Prediction Using Parameters of Single-Slice Computed Tomography and Body Mass Index: Machine Learning Approach for Radiotherapy of Left-Sided Breast Cancer of Asian Patients

34. Quantitative evaluation of the reduction of distortion and metallic artifacts in magnetic resonance images using the multiacquisition variable‑resonance image combination selective sequence

38. Modbat: A Model-Based API Tester for Event-Driven Systems

39. Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications

41. Model Checking of Concurrent Algorithms: From Java to C

42. Decidability and Undecidability Results on the Modal μ-Calculus with a Natural Number-Valued Semantics

43. Efficient Model Checking of Networked Applications

44. Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

45. Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic

46. A Decision Procedure for the Alternation-Free Two-Way Modal μ-Calculus

47. Preface

48. Runtime Monitoring for Concurrent Systems

Catalog

Books, media, physical & digital resources