Fixed Points Theorems for Non-Transitive Relations von Dubut, Jérémy, Yamada, Akihisa

Volltext

Numerical prediction of cavitation in centrifugal pump using Multi-Process cavitation model von YAMADA, Akihisa, INO, Takeshi, TSUDA, Shin-ichi, WATANABE, Satoshi, TAKAMINE, Taiki

Volltext

Tuple Interpretations for Termination of Term Rewriting von Yamada, Akihisa

Volltext

A Verified Implementation of Algebraic Numbers in Isabelle/HOL von Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa

Volltext

A Verified Implementation of the Berlekamp–Zassenhaus Factorization Algorithm von Divasón, Jose, Joosten, Sebastiaan J. C., Thiemann, René, Yamada, Akihisa

Volltext

Cutting height and interval effects on yield of palisadegrass cv. MG5 in temperate zone von Kaneko, Makoto, Nakamura, Yoshi‐nori, Kobayashi, Ryoji, Yamada, Akihisa

Volltext

Goal-Aware RSS for Complex Scenarios via Program Logic von 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

Volltext

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL von Thiemann, René, Bottesch, Ralph, Divasón, Jose, Haslbeck, Max W., Joosten, Sebastiaan J. C., Yamada, Akihisa

Volltext

On probabilistic term rewriting von Avanzini, Martin, Dal Lago, Ugo, Yamada, Akihisa

Volltext

Effect of lactation stage, season and parity on milk cortisol concentration in Holstein cows von Fukasawa, Michiru, Tsukada, Hideharu, Kosako, Takami, Yamada, Akihisa

Volltext

Classification of Bug Injected and Fixed Changes Using a Text Discriminator von Yamada, Akihisa, Mizuno, Osamu

Volltext

FOREWORD von YAMADA, Akihisa

Volltext

FOREWORD von YAMADA, Akihisa

Volltext

FOREWORD von YAMADA, Akihisa

Volltext

FOREWORD von YAMADA, Akihisa

Volltext

A unified ordering for termination proving von Yamada, Akihisa, Kusakari, Keiichirou, Sakabe, Toshiki

Volltext

TOOLympics 2019: An overview of competitions in formal methods von Bartocci, Ezio, Beyer, Dirk, Black, Paul E., Fedyukovich, Grigory, Garavel, Hubert, Hartmanns, Arnd, Huisman, Marieke, Kordon, Fabrice, Nagele, Julian, Sighireanu, Mihaela, Steffen, Bernhard, Suda, Martin, Sutcliffe, Geoff, Weber, Tjark, Yamada, Akihisa

Volltext

A Sound Type System for Typing Runtime Errors von Yamada, Akihisa, Kusakari, Keiichirou, Sakabe, Toshiki, Sakai, Masahiko, Nishida, Naoki

Volltext

Changes in walking parameters of milking cows after hoof trimming von Aoki, Y.(National Inst. of Livestock and Grassland Science, Nasushiobara, Tochigi (Japan). Nasu Research Station), Kamo, M, Kawamoto, H, Zhang, J, Yamada, A

Volltext

Fertilizer application increases nitrate nitrogen concentration in Urochloa brizantha cv. MG5 as annual summer grass in temperate zone von Kaneko, Makoto, Nakamura, Yoshi‐nori, Yamada, Akihisa, Kato, Naoki, Hattori, Ikuo

Volltext