Search

This special issue comprises selected papers which were presented at the workshop on dependently typed programming (DTP 10) in Edinburgh in July 2010 – affiliated with Federated Logic conferences (FLOC 10). Earlier workshops on dependently typed programming took place in Nottingham in 2008 (DTP 2008) and there also has been a Dagstuhl seminar (04381) on this subject in 2004. After DTP 2010, in 2011 a workshop on dependently typed programming (DTP 11) took place in Nijmegen affiliated with Interactive Theorem Proving 2011 (ITP 11). In September 2011 there also was a DTP workshop in Shonan, Japan. [ABSTRACT FROM PUBLISHER]

The science of soft robots, or soft robotics, is currently one of the most active fields in robotics. While traditional robots consist of rigid bodies, powerful servomotors, and carefully coded programs to realize power, precision, and reliability, soft robots consist of soft and flexible bodies, actuators, and intelligence for adaptability. They are not rigid, but instead flexible toward their surroundings. These differences have the potential to make soft robotics a great new field in robotics. A JSPS KAKENHI project "Science of Soft Robots" has been in progress in Japan since 2018. Part of this special issue is made in collaboration with this project. This special issue consists of 46 works in total: 2 review papers, 29 letters, and 15 papers. One review paper, 29 letters, and 3 research papers report research activities from the JSPS KAKENHI project, and the other review paper and 12 research papers have been contributed from outside the project. As this issue will make clear, the science of soft robots is a very interdisciplinary academic field, a collaboration of many researchers from various fields, such as mechanical/electrical engineering, computer science, material sciences, biology, zoology, medicine, and nursing, among others. We believe interdisciplinary work to be a key point for the exploration of soft robotics. The editors thank all of the authors and reviewers of the contributions, and are confident that this special issue will greatly contribute to further progress in robotics. [ABSTRACT FROM AUTHOR]

In this paper, we describe two related scripting methods of cartographic data processing and visualization that provide 2D and 3D mapping of Japan with different algorithm complexity. The first algorithm utilizes Generic Mapping Toolset (GMT), which is known as an advanced console-based program for spatial data processing. The modules of GMT combine the functionality of scripting with the aspects of geoinformatics, which is especially effective for the rapid analysis of large geospatial datasets, multi-format data processing, and mapping in 2D and 3D modes. The second algorithm presents the use of the R programming language for cartographic visualization and spatial analysis. This R method utilizes the packages 'tmap', 'raster', 'maps', and 'mapdata' to model the morphometric elements of the Japanese archipelago, such as slope, aspect, hillshade and elevation. The general purpose graphical package 'ggplot2' of R was used for mapping the prefectures of Japan. The two scripting approaches demonstrated an established correspondence between the programming languages and cartography determined with the use of scripts for data processing. They outperform several well-known and state-of-the-art GIS methods for mapping due to their high automation of data processing. Cartography has largely reflected recent advances in data science, the rapid development of scripting languages, and transfer in the approaches of data processing. This extends to the shift from the traditional GIS to programming languages. As a response to these new challenges, we demonstrated in this paper the advantages of using scripts in mapping, which consist of repeatability and the flexible applicability of scripts in similar works. [ABSTRACT FROM AUTHOR]

Harmony Search (HS) is a music-inspired optimization algorithm for solving complex optimization problems that imitate the musical improvisational process. This paper reviews the potential of applying the HS algorithm in three countries, China, South Korea, and Japan. The applications represent several disciplines in fields of study such as computer science, mathematics, electrical/electronic, mechanical, chemical, civil, and industrial engineering. We anticipate an increasing number of HS applications from these countries in near future. [ABSTRACT FROM AUTHOR]