( en | de | ru )

 

Disambiguation of "Nakajima, Shin"

Author of the publication

copydeleteдобавить публикацию в буфер
Image Guided Microscopic Surgery System Using Mutual-Information Based Registraion.

, , , , , , и . VBC, том 1131 из Lecture Notes in Computer Science, стр. 317-326. Springer, (1996)

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.

Yoshimichi Nakajima

Chikako Nakajima

Nanako Nakajima

Masaki Nakajima

Dong-Shin Shin

 

Другие публикации лиц с тем же именем

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation., , , , , и . SoMeT, том 217 из Frontiers in Artificial Intelligence and Applications, стр. 383-397. IOS Press, (2010)Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability., , , , и . ICCCN, стр. 1-6. IEEE, (2017)Distortion and Faults in Machine Learning Software.. SOFL+MSVL, том 12028 из Lecture Notes in Computer Science, стр. 29-41. Springer, (2019)Image Guided Microscopic Surgery System Using Mutual-Information Based Registraion., , , , , , и . VBC, том 1131 из Lecture Notes in Computer Science, стр. 317-326. Springer, (1996)A Formula-Based Approach for Automatic Fault Localization of Imperative Programs., и . ICFEM, том 8829 из Lecture Notes in Computer Science, стр. 251-266. Springer, (2014)Using Real-Time Maude to Model Check Energy Consumption Behavior.. FM, том 9109 из Lecture Notes in Computer Science, стр. 378-394. Springer, (2015)Model-Checking Behavioral Specification of BPEL Applications.. WLFM@FM, том 151 из Electronic Notes in Theoretical Computer Science, стр. 89-105. Elsevier, (2005)Safe Substitution of Components in Self-Adaptive Web Applications.. APSEC (1), стр. 388-395. IEEE Computer Society, (2013)978-1-4799-2143-0.Everlasting Challenges with the OBJ Language Family.. Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 478-493. Springer, (2014)Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs., и . ICTSS, том 11812 из Lecture Notes in Computer Science, стр. 56-64. Springer, (2019)