This paper is the preliminary report of a joint research project on developing a body of knowledge on model checking. The project is being carried out by four organizations that give model checking courses to software engineers in Japan. The paper explains the main objective of the project and reports the results of an evaluation of model checking programs.
This paper reports on a medical image processing algorithm competition that has been held annually in Japan from 2002 to 2010. It is the world's oldest competition in the field of 3D medical image processing, and covers various targets: the liver, pancreas, hepatocellular carcinomas, and hepatic vascular and metastatic liver tumors. This paper presents the… (More)