A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa
Published in Journal of automated reasoning (01.03.2020)
Published in Journal of automated reasoning (01.03.2020)
Get full text
Journal Article
A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm
Divasón, Jose, Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa
Published in Journal of automated reasoning (01.04.2020)
Published in Journal of automated reasoning (01.04.2020)
Get full text
Journal Article
Cutting height and interval effects on yield of palisadegrass cv. MG5 in temperate zone
Kaneko, Makoto, Nakamura, Yoshi‐nori, Kobayashi, Ryoji, Yamada, Akihisa
Published in Grassland science (01.04.2021)
Published in Grassland science (01.04.2021)
Get full text
Journal Article
Goal-Aware RSS for Complex Scenarios via Program Logic
Hasuo, Ichiro, Eberhart, Clovis, Haydon, James, Dubut, Jeremy, Bohrer, Rose, Kobayashi, Tsutomu, Pruekprasert, Sasinee, Zhang, Xiao-Yi, Pallas, Erik Andre, Yamada, Akihisa, Suenaga, Kohei, Ishikawa, Fuyuki, Kamijo, Kenji, Shinya, Yoshiyuki, Suetomi, Takamasa
Published in IEEE transactions on intelligent vehicles (01.04.2023)
Published in IEEE transactions on intelligent vehicles (01.04.2023)
Get full text
Journal Article
Effect of lactation stage, season and parity on milk cortisol concentration in Holstein cows
Fukasawa, Michiru, Tsukada, Hideharu, Kosako, Takami, Yamada, Akihisa
Published in Livestock science (01.02.2008)
Published in Livestock science (01.02.2008)
Get full text
Journal Article
Classification of Bug Injected and Fixed Changes Using a Text Discriminator
Yamada, Akihisa, Mizuno, Osamu
Published in International journal of software innovation (01.01.2015)
Published in International journal of software innovation (01.01.2015)
Get full text
Journal Article
On probabilistic term rewriting
Avanzini, Martin, Dal Lago, Ugo, Yamada, Akihisa
Published in Science of computer programming (01.01.2020)
Published in Science of computer programming (01.01.2020)
Get full text
Journal Article
A Sound Type System for Typing Runtime Errors
Yamada, Akihisa, Kusakari, Keiichirou, Sakabe, Toshiki, Sakai, Masahiko, Nishida, Naoki
Published in IPSJ Online Transactions (2012)
Published in IPSJ Online Transactions (2012)
Get full text
Journal Article
Optimization of Combinatorial Testing by Incremental SAT Solving
Yamada, Akihisa, Kitamura, Takashi, Artho, Cyrille, Eun-Hye Choi, Oiwa, Yutaka, Biere, Armin
Published in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2015)
Published in 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) (01.04.2015)
Get full text
Conference Proceeding
Changes in walking parameters of milking cows after hoof trimming
Aoki, Y.(National Inst. of Livestock and Grassland Science, Nasushiobara, Tochigi (Japan). Nasu Research Station), Kamo, M, Kawamoto, H, Zhang, J, Yamada, A
Published in Animal science journal (01.02.2006)
Published in Animal science journal (01.02.2006)
Get full text
Journal Article