Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 241-250 / 271.

前
1
...
22
23
24
25
26
27
28
次

検索結果:

書誌情報	ファイル
Reconstruction of three-dimensional moving paths of green turtles by means of magneto resistive data loggers Yasuda, Tohya; Arai, Nobuaki; Tanaka, Hideji; Kittiwattanawong, Kongkiat; Sakamoto, Wataru; Masuda, Haruhiko; Klom-In, Winai (2003) Proceedings on the 4th SEASTAR2000 Workshop: 5-8
Short note on reduction in hatchling rate: case study of Rayong Province, Thailand JUNCHOMPOO, CHALATIP; MONANUNSAP, SOMCHAI; SINRAPASAN, NONGNUT; PENPAIN, CHATCHAI (2011-03) Proceedings of the 6th International Symposium on SEASTAR2000 and Asian Bio-logging Science (The 10th SEASTAR2000 workshop): 7-9
GIS mapping technique to avoid bycatch Shiba, Naoya (2000) Proceedings of The First SEASTAR2000 Workshop: 47-49
On robustness of Lyapunov-based nonlinear adaptive controllers Satoh, Yasuyuki; Nakamura, Hisakazu; Ohtsuka, Toshiyuki (2016) IFAC-PapersOnLine, 49(18): 229-234
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs Toman, John; Siqi, Ren; Suenaga, Kohei; Igarashi, Atsushi; Kobayashi, Naoki (2020) Programming Languages and Systems: 684-714
人間乱数の射影演算子法を用いた時間相関や大偏差統計の解析宮崎, 修次; 植松, 広一郎 (2015-03-21) 日本物理学会講演概要集, 70.1: 2860-2860
人間乱数の実測とその時間相関等の統計解析宮崎, 修次; 植松, 広一郎 (2016-03-19) 日本物理学会講演概要集, 71.1: 2952-2952
Properties of Mean Shift Yamasaki, Ryoya; Tanaka, Toshiyuki (2020-09-01) IEEE Transactions on Pattern Analysis and Machine Intelligence, 42(9): 2273-2286
スパイダーリンケージの複雑挙動の解析宮崎, 修次; 明石, 望洋 (2017) 日本物理学会講演概要集, 72.1: 2997-2997
A dependently typed multi-stage calculus Kawata, Akira; Igarashi, Atsushi (2019-01-01) Programming Languages and Systems, 11893: 53-72