[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Formalising real numbers in homotopy type theory
- 作者Gilbert, Gaëtan
- 文件大小410.44KB
- 发表时间2017
- DOI10.1145/3018610.3018614
- 页码112-124
Therapeutic potential of PLK1 inhibition in triple-negative breast cancerUeda, Ai; Oikawa, Keiki; Fujita, Koji; Ishikawa, Akio; Sato, Eiichi; Ishikawa, Takashi; Kuroda, Masahiko; Kanekura, Kohsuke · Laboratory Investigation · 2019
Rectal administration of perforated nifedipine capsules to maintain an effective level of longer durationMasamichi Ishikawa; Naji Yokota; Akio Sawazaki; Shuji Kashiro; Shunkichi Hirata; Michio Okada; Kyozo Ishikawa · 1986
Solvent selection for pharmaceuticalsPetr Kolář; Jun-Wei Shen; Akio Tsuboi; Takeshi Ishikawa · 2002
Hepatitis C transmission between spousesTETSUZO KODA; MARI YONAHA; AKIO HAYASHI; KATSUNORI ISHIKAWA · 1996
The Synthesis of Depsidones. IFujikawa, Fukujiro; Hirai, Kunio; Ishikawa, Noriko; Maki, Akio · YAKUGAKU ZASSHI · 1963
Firmware realization of an operating systemMamoru Maekawa; Ken Sakamura; Chiaki Ishikawa; Akio Tanaka · 1981
Germination requirements inCarex kobomugi(Sea Isle)Shin-Ichi Ishikawa; Akio Furukawa; Toshinori Okuda; Takehisa Oikawa · 1993
New direction for environmental water managementTomita, Akio; Nakura, Yoshio; Ishikawa, Takuya · Marine Pollution Bulletin · 2016
Microwave Discharge ChamberFukui, Shūji; Hayakawa, Satio · Journal of the Physical Society of Japan · 1960
Anomalous Thermal Expansion of CoS <sub/>2</sub>Kasai, Naoko · Journal of the Physical Society of Japan · 1973
Relativistic Shock WaveOhsawa, Yukiharu · Journal of the Physical Society of Japan · 1987
Wave Propagation in Anharmonic LatticesToda, Morikazu · Journal of the Physical Society of Japan · 1967
Electrical Properties of Stannous SelenideAsanabe, Sizuo · Journal of the Physical Society of Japan · 1959
Spin Damping MonopoleTakeuchi, Akihito; Tatara, Gen · Journal of the Physical Society of Japan · 2012
Physics of Molecular ConductorsFukuyama, Hidetoshi · Journal of the Physical Society of Japan · 2006
Accelerated Sampling of Boltzmann DistributionsOrland, Henri · Journal of the Physical Society of Japan · 2009