Kazuhisa Makino – författare

Our society keeps growing with a large number of complicated machines and systems, while we are spending our diverse lives. The number of aged people has been increasing in the society. It is more likely than ever that we are involved in dangers, accidents, crimes, and disasters. Securing and supporting our daily life, building reliable infrastructures against large scale disasters, and preventing unexpected human errors are crucial issues in our highly developed complex society. The systems theory can provide "modelling, decision analysis and management for safety and security" as well as "fault detection and reliable control for the design of fail-safe, fool-proof machines and systems".If the human nature is analyzed and treated properly in the process of designing machines and systems, we could create safer, more reliable, and more intelligent machines and systems that can support our society and give us no anxiety and no uneasiness. "Hybrid systems modelling human behaviours" and "services for human" could give proper examples in this respect."Robotics for safety and security", "safety recovery systems", "visual surveillance and monitoring", and "transportation systems for safety and security", those will provide powerful tools for safe, secure, and reliable systems to achieve peaceful society.Key features:- Towards a new science and its practical applications- Analysis of humans contributing to system designs- Evaluations of systems in the aspects of sense of security and feeling of easiness.�Towards a new science and its practical applications�Analysis of humans contributing to system designs�Evaluations of systems in the aspects of sense of security and feeling of easiness

This book constitutes the refereed proceedings of the 26th InternationalSymposium on Algorithms and Computation, ISAAC 2015, held in Nagoya, Japan, inDecember 2015.The 65 revised full papers presented together with 3 invited talks were carefullyreviewed and selected from 180 submissions for inclusion in the book. The focusof the volume is on the following topics: computational geometry; datastructures; combinatorial optimization and approximation algorithms; randomizedalgorithms; graph algorithms and FPT; computational complexity; graph drawingand planar graphs; online and streaming algorithms; and string and DNAalgorithms.

This open access book presents the mathematical methods for huge data and network analysis.The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a Service (MaaS). Needless to say, mathematics and informatics are important to support such innovations. As the concept of cars and movement itself is diversifying, they are indispensable for grasping the essence of the future mobility society and building the foundation for the next generation. Based on this idea, Research unit named "Advanced Mathematical Science for Mobility Society" was established at Kyoto University as a base for envisioning a future mobility society in collaboration with researchers led by Toyota Motor Corporation and Kyoto University.This book contains three main contents.1. Mathematical models of flow2. Mathematical methodsfor huge data and network analysis3. Algorithm for mobility societyThe first one discusses mathematical models of pedestrian and traffic flow, as they are important for preventing accidents and achieving efficient transportation. The authors mainly focus on global dynamics caused by the interaction of particles. The authors discuss many-body particle systems in terms of geometry and box-ball systems. The second one consists of four chapters and deals with mathematical technologies for handling huge data related to mobility from the viewpoints of machine learning, numerical analysis, and statistical physics, which also includes blockchain techniques. Finally, the authors discuss algorithmic issues on mobility society. By making use of car-sharing service as an example of mobility systems, the authors consider how to construct and analyze algorithms for mobility system from viewpoints of control, optimization, and AI.