New Generation Computing

http://link.springer.com/journal/354

List of Papers (Total 7)

Metamathematics for Systems Design

This position paper describes the context, the goal, the strategy and the tactics of the ERATO MMSD project (2016–2022). The project aims at enhanced quality assurance measures for industry products like cars. In doing so, we follow a recent trend and exploit formal methods, a body of mathematical techniques originally developed for computer systems. However, there are fundamental ...

The End of Moore’s Law: Opportunities for Natural Computing?

The impending end of Moore’s Law has started a rethinking of the way computers are built and computation is done. This paper discusses two directions that are currently attracting much attention as future computation paradigms: the merging of logic and memory, and brain-inspired computing. Natural computing has been known for its innovative methods to conduct computation, and as ...

Molecular Robotics: A New Paradigm for Artifacts

The rapid progress of molecular nanotechnology has opened the door to molecular robotics, which uses molecules as robot components. In order to promote this new paradigm, the Molecular Robotics Research Group was established in the Systems and Information Division of the Society of Instrument and Control Engineers (SICE) in 2010. The group consists of researchers from various ...