( en | de | ru )

 

Disambiguierung von "Tomita, Takashi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data.

, und . Remote. Sens., 14 (22): 5667 (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Takashi Seki

Takemasa Tomita

Yuto Tomita

Naoko Tomita

Takashi Iwata

 

Weitere Publikationen von Autoren mit dem selben Namen

Investigating the Effects of Super Typhoon HAGIBIS in the Northwest Pacific Ocean Using Multiple Observational Data., und . Remote. Sens., 14 (22): 5667 (2022)A Temporal Logic with Mean-Payoff Constraints., , , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 249-265. Springer, (2012)Simple synthesis of reactive systems with tolerance for unexpected environmental behavior., , , , und . FormaliSE@ICSE, Seite 15-21. ACM, (2016)Reducing false positives of static analysis for SEI CERT C coding standard., , , , und . CESSER-IP@ICSE, Seite 41-48. IEEE / ACM, (2019)Specification Based Testing of Object Detection for Automated Driving Systems via BBSL., , , , , und . ENASE, Seite 250-261. SCITEPRESS, (2023)Approximate Translation from Floating-Point to Real-Interval Arithmetic., , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 733-751. Springer, (2022)Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques., , , , und . SAC, Seite 1827-1836. ACM, (2022)Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems., , , und . PRDC, Seite 100-109. IEEE, (2020)Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard., , , und . APSEC, Seite 70-77. IEEE, (2019)Safraless LTL synthesis considering maximal realizability., , , , und . Acta Informatica, 54 (7): 655-692 (2017)