Concepedia

Dai Araki

DA

Statistics

Publications

2

Citations

20

H-Index

2

Active since

1997

Affiliations

Tottori University(Current)

Dai Araki is an author at Tottori University specializing in computer science, engineering, and system optimization.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSystems BiologyNetwork AnalysisSoftware TestingAutomated ReasoningFormal VerificationSystem Optimization

Publications per year

1997–2011

2

Publications

2

Inference of S-system models of genetic networks by solving one-dimensional function optimization problems

Shuhei Kimura, Dai Araki, Koki Matsumura et al. · Mathematical Biosciences · 2011 · 10 citations

Engineering, Complex Biological System, Biological Network +8

Error repair and knowledge acquisition via case-based reasoning

Takeshi Kohno, Susumu Hamada, Dai Araki et al. · Artificial Intelligence · 1997 · 10 citations

Engineering, Case-based Reasoning, Automated Reasoning +7

1–2 of 2