Katsumi Wasaki

发表

Meaning of Robot Contest in Engineering Education

Katsumi Wasaki, Koichi Osuka, Yasunari Shidama, 2001 .

Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II

Katsumi Wasaki, 2008, Formaliz. Math..

Optimization of fuzzy feedback control in L/sup /spl infin// space

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 2001, 10th IEEE International Conference on Fuzzy Systems. (Cat. No.01CH37297).

Using a Solar Powered Robotic Vehicle to Monitor and Manage Unstable Networks

Katsumi Wasaki, Bishnu Prasad Gautam, Narayan Sharma, 2014 .

The file server design for improvement of reliability based on an extended Petri net.

Katsumi Wasaki, Yasunari Shidama, Shin'nosuke Yamaguchi, 2001 .

Smart sensing for mine detection studies with IR cameras

Katsumi Wasaki, Nobuhiro Shimoi, Kenzo Nonami, 2001, Proceedings 2001 IEEE International Symposium on Computational Intelligence in Robotics and Automation (Cat. No.01EX515).

LC-Petri Net expanded to be suitable for making FMS model

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1997 .

Encapsulation of Micro Engineering Tools in a Co- Operative Jyaguchi Computing Infrastructure

Amit Batajoo, Katsumi Wasaki, B. P. Gautam, 2014 .

Model of Polariton, Quantum Neuron, Its Network & Quantum Information (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (International Organized Session「Alan Turing Year Special Session on AI Research That Can Change The World」)

Katsumi Wasaki, Hiroyuki Matsuura, 2012 .

Tensai Gothalo: A Solar Powered Robotic Vehicle for Real Time Network Monitoring and Management Using Raspberry Pi

Katsumi Wasaki, Bishnu Prasad Gautam, Narayan Sharma, 2014 .

Study on a noise reduction system of CATV network upstream for data communication

Katsumi Wasaki, Yasunari Shidama, Masayuki Nakamura, 2003, Proceedings. 12th International Conference on Computer Communications and Networks (IEEE Cat. No.03EX712).

Stability of the 4-2 Binary Addition Circuit Cells. Part I

Katsumi Wasaki, 2008, Formaliz. Math..

The Process for establishment and the present activities of Graduate School of Science and Technology on the Internet, Shinshu University

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2004 .

The persistence of the Petri Net state-space

Katsumi Wasaki, Yasunari Shidama, Koichi Okada, 2002, 7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002..

Development of A Meta Description Language for Software/Hardware Cooperative Design and Verification for Model-Checking Systems

Katsumi Wasaki, Naoki Iwasaki, 2008 .

A Bus Arbitration Method based on Token Passing suited for the Packet Exchange System

Katsumi Wasaki, Yasushi Fuwa, Yatsuka Nakamura, 1997 .

B-028 Automatic Conversion from the Structure Description on UML Sequence Chart to Linear Temporal Logic

Katsumi Wasaki, Naoki Miyamoto, 2011 .

Development and evaluation of a large-scale agent-based system for collecting results of information literacy learning using electronic textbooks

Katsumi Wasaki, Keiichi Tanaka, 2010 .

A Meta Hardware Description Language Melasy for Model-Checking Systems

Katsumi Wasaki, Naoki Iwasaki, 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

Teaching of Laboratory Courses for the Department of Electronics and Control Engineering of the College of Technology

Hiroshi Suzuki, Katsumi Wasaki, Nobuyuki Ono, 1997 .

Polymer physical-properties prediction by the neural network using the self organization map

Katsumi Wasaki, Yasunari Shidama, Yasuhiko Kondo, 2004 .

Development and Evaluation of a Large-Scale Agent-Based System for Information Literacy Education - Improving the Automatic Collection of Learning Results through Template Matching

Katsumi Wasaki, Keiichi Tanaka, 2011, 2011 Eighth International Conference on Information Technology: New Generations.

Formal verification of safety testing for remote controlled consumer electronics using the Petri net tool: HiPS

Yojiro Harie, Katsumi Wasaki, 2016, 2016 IEEE 5th Global Conference on Consumer Electronics.

A self-recovering communication buffer based on the concept of cellular automaton

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1994, Systems and Computers in Japan.

Portable Tensai Gothalo : Leveraging Network Availability, Survivability, and Manageability Through Movable Redundant Device (ITS)

Katsumi Wasaki, Narayan Sharma, Bishnu Prasad Gautama, 2015 .

Using a redundant Wi-Fi network as an emergency detour route to proactively reduce disaster risk in Wakkanai, Hokkaido

Katsumi Wasaki, Bishnu Prasad Gautam, 2014, 2014 International Conference on Information Science, Electronics and Electrical Engineering.

A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker

Katsumi Wasaki, Ken-ichi Arai, 2007, FCS.

Malware classification based on extracted API sequences using static analysis

Katsumi Wasaki, Kazuki Iwamoto, K. Wasaki, 2012, AINTEC.

Plans for the Shinshu University Graduate School on the Internet (SUGSI) using a CAI System on the World Wide Web

Katsumi Wasaki, Yasunari Shidama, Yasushi Fuwa, 2001 .

Rescue robot for high place operation

Katsumi Wasaki, Yasunari Shidama, Toshitaka Umemoto, 2002 .

A Multi-agent Approach to Smart Home Sensors for the Elderly based on an Open Hardware Architecture: A Model for Participatory Evaluation

Katsumi Wasaki, Masaaki Niimura, Nobuhiro Shimoi, 2017, SIMULTECH.

Decision-making of the theme by students in a case study and its results

Katsumi Wasaki, Yasunari Shidama, Takeo Yoshida, 2000, Proceedings 9th IEEE International Workshop on Robot and Human Interactive Communication. IEEE RO-MAN 2000 (Cat. No.00TH8499).

A Petri Net Design and Verification Platform Based on The Scalable and Parallel Architecture: HiPS

Yojiro Harie, Katsumi Wasaki, 2018 .

Ensemble by Seven Musical Performance Robots

Katsumi Wasaki, Yasunari Shidama, Tadahiro Kaneda, 2001, J. Robotics Mechatronics.

A Novel Approach of Fault Management and Restoration of Network Services in IoT Cluster to Ensure Disaster Readiness

Katsumi Wasaki, Bishnu Prasad Gautam, Narayan Sharma, 2016, 2016 International Conference on Networking and Network Applications (NaNA).

A Design Verification of the Parallel Pipelined Image Processings

Katsumi Wasaki, Toshiaki Harai, K. Wasaki, 2008 .

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2003, ICEIS.

Automatic Generation of SPIN Model Checking Code from UML Activity Diagrams

Katsumi Wasaki, Yutaka Yamada, 2011 .

A high reliability design for NFS server software based on the logical coloured Petri net

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2002, 7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002..

Structural Analysis and Retargetable Netlist Generation using an Upstream Hardware Compiler: Melasy+

Katsumi Wasaki, Sho Nishida, 2012 .

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets

Yojiro Harie, Katsumi Wasaki, 2017, SIMULTECH.

A Noise Reduction of CATV Network Uplink for Data Communication

Katsumi Wasaki, Yasunari Shidama, Masayuki Nakamura, 2002 .

2A1-A5 Making of useful robot for the 21th century seen from student's aspect

Katsumi Wasaki, Yasunari Shidama, Tomoharu Doi, 2001 .

Complex Integral

Katsumi Wasaki, Yasunari Shidama, Hiroshi Yamazaki, 2009, Formaliz. Math..

Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I

Katsumi Wasaki, 2020, Formaliz. Math..

An Approach for Flow Net Subgraph to Analysis of The Model of Flexible Manufacturing Systems

Yojiro Harie, Katsumi Wasaki, 2020, 2020 35th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC).

The Learning System of Shinshu University Graduate School of Science and Technology on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2005, KES.

An Integrated Design and Verification Environment Handling the Transformation from Upstream Design to the Model Checking Process

Katsumi Wasaki, Naoki Miyamoto, 2012 .

Design and Deployment of Obstacle Avoidance Functionalities in Tensai Gothalo (ITS研究会交通センシング,通信,情報処理,一般)

Katsumi Wasaki, Bishnu Prasad Gautam, Narayan Sharma, 2015 .

Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net

Katsumi Wasaki, Ken-ichi Arai, Toshiaki Harai, 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).

Retargetable Netlists Generation and Structural Synthesis Based on a Meta Hardware Description Language: Melasy+

Katsumi Wasaki, Sho Nishida, 2012, 2012 Ninth International Conference on Information Technology - New Generations.

Controller Design and Verification for a Parallel Image Processor in an FMS using and Extended Petri Net

Katsumi Wasaki, Yasunari Shidama, Akira Nishino, 2004 .

A Method for Shellcode Extractionfrom Malicious Document Files Using Entropy and Emulation

Katsumi Wasaki, Kazuki Iwamoto, 2016 .

B-014 Conversion from Explicit Specifications in VDM-SL to Scheme as Family of Lisp Language

Katsumi Wasaki, Takahiro Hase, 2009 .

On Increasing Reliability of Servers on Shinshu University Graduate School on the Internet

Katsumi Wasaki, Hisayoshi Kunimune, Masaaki Niimura, 2003 .

Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net

Katsumi Wasaki, T. Harai, T. Hayashi, 2007 .

Robotics Education of Design and Making Aimed to Concurrent Engineering.

Katsumi Wasaki, Koichi Osuka, Yasunari Shidama, 2001 .

Multi-master Replication of Enhanced Learning Assistant System in IoT Cluster

Amit Batajoo, Katsumi Wasaki, B. P. Gautam, 2016, 2016 IEEE 30th International Conference on Advanced Information Networking and Applications (AINA).

Morphology for Image Processing. Part I

Katsumi Wasaki, Hiroshi Yamazaki, Czeslaw Bylinski, 2012, Formaliz. Math..

The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor

Katsumi Wasaki, Yasunari Shidama, Shinnosuke Yamaguchi, 2004, ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004..

Extended Petri Nets for Control Systems Software

Katsumi Wasaki, Masayoshi Eguchi, Yasushi Fuwa, 1993 .

HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool

Amit Batajoo, Yojiro Harie, Katsumi Wasaki, 2017, 2017 IEEE 6th Global Conference on Consumer Electronics (GCCE).

Deployment of Wi‐Fi network as an emergency survival communication network in Wakkanai, Hokkaido

Katsumi Wasaki, B. P. Gautam, Bishnu Prasad Gautam, 2015 .

Implementing an In-Home Sensor Agent in Conjunction with an Elderly Monitoring Network

Katsumi Wasaki, Masaaki Niimura, Nobuhiro Shimoi, 2018 .

Fogging Jyaguchi Services in Tensai Gothalo pdf

Amit Batajoo, Katsumi Wasaki, Bishnu Prasad Gautam, 2021, ArXiv.

Hardware Logic Library and High-Level Logic Synthesizer Combining LOTOS and a Functional Programming Language

Katsumi Wasaki, K. Wasaki, 2021 .

Full Adder Circuit. Part II

Katsumi Wasaki, Grzegorz Bancerek, 2004 .

Generalized Full Adder Circuits (GFAs). Part I

Katsumi Wasaki, Nobuhiro Shimoi, 2005 .

Fuzzy Optimal Control in L 2 Space

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 1998 .

Fuzzy optimal control using simple inference method and function type inference method

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

Riemann Indefinite Integral of Functions of Real Variable

Katsumi Wasaki, Yasunari Shidama, Noboru Endou, 2007 .

Membership functions in L/sup 2/ space and its applications to fuzzy optimal control

Katsumi Wasaki, Yasunari Shidama, Jun Kawabe, 1999, IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028).