89 citations
- The University of TokyoJP5 papers
- RIKEN Center for Advanced Intelligence ProjectJP3 papers
- Kyoto UniversityJP2 papers
- RIKENJP2 papers
- The University of OsakaJP2 papers
- University of CopenhagenDK2 papers
- Aichi University of EducationJP1 paper
- Columbia UniversityUS1 paper
- Department of Mathematical SciencesRU1 paper
- Fraunhofer Institute for Experimental Software EngineeringDE1 paper
- Fujitsu (Japan)JP1 paper
- Ghent UniversityBE1 paper
19 papers
SBOM Challenges for Developers: From Analysis of Stack Overflow Questions
Wataru Otoda, Tetsuya Kanda, Yuki Manabe +2
Current software development takes advantage of many external libraries, but it entails security and copyright risks. While the use of the Software Bill of Materials (SBOM) has bee…
Reversible Programming: A Case Study of Two String-Matching Algorithms
Robert Glück, Tetsuo Yokoyama
String matching is a fundamental problem in algorithm. This study examines the development and construction of two reversible string-matching algorithms: a naive string-matching al…
Autonomous Vehicle-to-Grid Design for Provision of Frequency Control Ancillary Service and Distribution Voltage Regulation
Shota Yumiki, Yoshihiko Susuki, Yuta Oshikubo +6
We develop a system-level design for the provision of Ancillary Service (AS) for control of electric power grids by in-vehicle batteries, suitably applied to Electric Vehicles (EVs…
Towards Guidelines for Assessing Qualities of Machine Learning Systems
Julien Siebert, Lisa Joeckel, Jens Heidrich +5
Nowadays, systems containing components based on machine learning (ML) methods are becoming more widespread. In order to ensure the intended behavior of a software system, there ar…
The turnpike property in the maximum hands-off control
Noboru Sakamoto, Masaaki Nagahara
This paper presents analyses for the maximum hands-off control using the geometric methods developed for the theory of turnpike in optimal control. First, a sufficient condition is…
Asymptotics of maximum likelihood estimation for stable law with continuous parameterization
Muneya Matsui
Asymptotics of maximum likelihood estimation for -stable law are analytically investigated with a continuous parameterization. The consistency and asymptotic normality are shown…