Search

Your search keyword '"Nakajima, Shin"' showing total 566 results
Start Over Author "Nakajima, Shin"
566 results on '"Nakajima, Shin"'

1. Distortion and Faults in Machine Learning Software

Author

Nakajima, Shin

Subjects
Computer Science - Machine Learning
Abstract

Machine learning software, deep neural networks (DNN) software in particular, discerns valuable information from a large dataset, a set of data. Outcomes of such DNN programs are dependent on the quality of both learning programs and datasets. Unfortunately, the quality of datasets is difficult to be defined, because they are just samples. The quality assurance of DNN software is difficult, because resultant trained machine learning models are unknown prior to its development, and the validation is conducted indirectly in terms of prediction performance. This paper introduces a hypothesis that faults in the learning programs manifest themselves as distortions in trained machine learning models. Relative distortion degrees measured with appropriate observer functions may indicate that there are some hidden faults. The proposal is demonstrated with example cases of the MNIST dataset., Comment: Presented at the 9th SOFL+MSVL Workshop in Shenzhen, November 2019

Published
2019

4. Extracranial internal carotid artery-dissecting aneurysm having a re-entry tear and causing lower cranial nerve palsies treated with flow-diverting stent: A case report

Author

Izutsu, Nobuyuki, primary, Nishizawa, Naoki, additional, Nakajima, Shin, additional, Kanemura, Yonehiro, additional, Ozaki, Tomohiko, additional, Asai, Katsunori, additional, Kidani, Tomoki, additional, Kobayashi, Koji, additional, Fujimi, Yosuke, additional, and Fujinaka, Toshiyuki, additional

Published
2024
Full Text
View/download PDF

5. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)

Author

Laleau, Régine, Méry, Dominique, Nakajima, Shin, and Troubitsyna, Elena

Subjects
Computer Science - Logic in Computer Science, Computer Science - Software Engineering
Abstract

This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) held together on November 16, 2017 in Xi'an, China, as part of ICFEM 2017, 19th International Conference on Formal Engineering Methods. IMPEX emphasises mechanisms for reducing heterogeneity of models induced by the absence of explicit semantics expression in the formal techniques used to specify these models. More precisely, the meeting targets to highlight the advances in handling both implicit and explicit semantics in formal system developments. The aims of FM&MDD are to advance the understanding in the area of developing and applying formal and model-driven techniques for designing trustworthy systems, to discuss the emerging issues in the area, to improve the dialog between different research communities and between academia and industry, to discuss a roadmap of the future research in the area and to create a forum for discussing and disseminating the new ideas and the research results in the area

Published
2018
Full Text
View/download PDF

6. Software Testing with Statistical Partial Oracles : - Application to Neural Networks Software -

Author

Nakajima, Shin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Xue, Jinyun, editor, Nagoya, Fumiko, editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2021
Full Text
View/download PDF

8. A Map of Asynchronous Communication Models

Author

Chevrou, Florent, Hurault, Aurélie, Nakajima, Shin, Quéinnec, Philippe, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Sekerinski, Emil, editor, Moreira, Nelma, editor, Oliveira, José N., editor, Ratiu, Daniel, editor, Guidotti, Riccardo, editor, Farrell, Marie, editor, Luckcuck, Matt, editor, Marmsoler, Diego, editor, Campos, José, editor, Astarte, Troy, editor, Gonnord, Laure, editor, Cerone, Antonio, editor, Couto, Luis, editor, Dongol, Brijesh, editor, Kutrib, Martin, editor, Monteiro, Pedro, editor, and Delmas, David, editor

Published
2020
Full Text
View/download PDF

9. Distortion and Faults in Machine Learning Software

Author

Nakajima, Shin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Miao, Huaikou, editor, Tian, Cong, editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2020
Full Text
View/download PDF

11. A Net-Based Formal Framework for Causal Loop Diagrams

Author

Cledou, Guillermina, Nakajima, Shin, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Cardin, Michel Alexandre, editor, Hastings, Daniel, editor, Jackson, Peter, editor, Krob, Daniel, editor, Lui, Pao Chuen, editor, and Schmitt, Gerhard, editor

Published
2019
Full Text
View/download PDF

12. Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs

Author

Nakajima, Shin, Chen, Tsong Yueh, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gaston, Christophe, editor, Kosmatov, Nikolai, editor, and Le Gall, Pascale, editor

Published
2019
Full Text
View/download PDF

13. Dataset Diversity for Metamorphic Testing of Machine Learning Software

Author

Nakajima, Shin, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Duan, Zhenhua, editor, Liu, Shaoying, editor, Tian, Cong, editor, and Nagoya, Fumiko, editor

Published
2019
Full Text
View/download PDF

17. Generalized Oracle for Testing Machine Learning Computer Programs

Author

Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cerone, Antonio, editor, and Roveri, Marco, editor

Published
2018
Full Text
View/download PDF

22. Fault Localization of Timed Automata Using Maximum Satisfiability

Author

Nakajima, Shin, Lamraoui, Si-Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2016
Full Text
View/download PDF

27. Refinement and Proof Based Development of Systems Characterized by Continuous Functions

Author

Babin, Guillaume, Aït-Ameur, Yamine, Nakajima, Shin, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Li, Xuandong, editor, Liu, Zhiming, editor, and Yi, Wang, editor

Published
2015
Full Text
View/download PDF

28. Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability

Author

Nakajima, Shin, Lamraoui, Si-Mohamed, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Mousavi, Mohammad Reza, editor, and Berger, Christian, editor

Published
2015
Full Text
View/download PDF

29. Using Real-Time Maude to Model Check Energy Consumption Behavior

Author

Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bjørner, Nikolaj, editor, and de Boer, Frank, editor

Published
2015
Full Text
View/download PDF

30. Using Alloy in Introductory Courses of Formal Methods

Author

Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2015
Full Text
View/download PDF

32. Everlasting Challenges with the OBJ Language Family

Author

Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Iida, Shusaku, editor, Meseguer, José, editor, and Ogata, Kazuhiro, editor

Published
2014
Full Text
View/download PDF

33. A Formula-Based Approach for Automatic Fault Localization of Imperative Programs

Author

Lamraoui, Si-Mohamed, Nakajima, Shin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Merz, Stephan, editor, and Pang, Jun, editor

Published
2014
Full Text
View/download PDF

37. Applying 'Functional Scenario-Based' Test Case Generation Method in Unit Testing and Integration Testing

Author

Li, Cencen, Li, Mo, Liu, Shaoying, Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Liu, Shaoying, editor

Published
2013
Full Text
View/download PDF

38. Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus

Author

Ishii, Daisuke, Melquiond, Guillaume, Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

39. Staged treatment for ruptured wide-neck intracranial aneurysm with intentional partial coiling in the acute phase followed by definitive treatment

Author

Yamazaki, Hiroki, primary, Fujinaka, Toshiyuki, additional, Ozaki, Tomohiko, additional, Kidani, Tomoki, additional, Nishimoto, Keisuke, additional, Taki, Kowashi, additional, Nishizawa, Naoki, additional, Murakami, Keijiro, additional, Kanemura, Yonehiro, additional, and Nakajima, Shin, additional

Published
2022
Full Text
View/download PDF

40. Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

Author

Nakajima, Shin, Ishiguro, Masaki, Tanaka, Kazuyuki, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Min, Sang Lyul, editor, Pettit, Robert, editor, Puschner, Peter, editor, and Ungerer, Theo, editor

Published
2010
Full Text
View/download PDF

41. Non-clausal Encoding of Feature Diagram for Automated Diagnosis

Author

Nakajima, Shin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bosch, Jan, editor, and Lee, Jaejoon, editor

Published
2010
Full Text
View/download PDF

42. Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems

Author

Ubayashi, Naoyasu, Nakajima, Shin, Hirayama, Masayuki, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bosch, Jan, editor, and Lee, Jaejoon, editor

Published
2010
Full Text
View/download PDF

44. Model-Checking of Safety and Security Aspects in Web Service Flows

Author

Nakajima, Shin, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Koch, Nora, editor, Fraternali, Piero, editor, and Wirsing, Martin, editor

Published
2004
Full Text
View/download PDF

46. Report of Research outcome by Kanda Walkable Lab.｜神田ウォーカブル研究会・研究成果報告書

Author

Izumiyama, Rui, Sugahara, Ryo, NAKAJIMA, Shin, ICHINOSE, Taiga, USUI, Madoka, URUMA, Chisa, KUROKAWA, Yudai, SOMEYA, Takafumi, MORIMOTO, Anna, Onodera, Mizuho, Kawajiri, Yuki, Tachibana, Kanae, Tatsunosuke Tobita, Takahashi, Taiki, Seira Ono, Sakamoto, Misaki, Ikeda, Miwako, Ishii, Sayaka, Kanazawa, Midori, Yoshikawa, Ryo, Suzuki, Anna, Yuina Hara, Kaede Murakami, Yokoyama, Atsushi, Syoji Yamazaki, Ito, Eri, Eimi Iwasaki, Sato, Kento, Suzuki, Chizu, Nirasawa, Ayano, Hara, Asuka, Horie, Miku, Rion Mikami, and Sakuya Yamamoto

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results