Tsukada - PDFSEARCH.IO - Document Search Engine

Tsukada
Results: 28

#	Item
11	Conformally flat homogeneous Lorentzian manifolds Kyoko Honda and Kazumi Tsukada (Ochanomizu University) Our Problem Classify conformally ﬂat homogeneous semi-Riemannian manifolds Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Algebra Mathematics Geometry Riemannian geometry Matrix theory Differential geometry Linear algebra Bernhard Riemann Conformally flat manifold Eigenvalues and eigenvectors Symmetric space Pseudo-Riemannian manifold
12	Bot. Mag. Tokyo 95: , 1982 Late Quaternary Dynamics of Pollen Influx at Mineral Lake, Washington MATSUO TSUKADA AND SHINYA SUGITA Add to Reading List Source URL: nisquallydeltarestoration.org Language: English - Date: 2009-04-17 15:02:30 Pinaceae Palynology Pinophyta Boreal Pseudotsuga Pollen zone Spruce Pine Pollen Douglas fir
13	Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita, Takeshi Tsukada, and Naoki Kobayashi Tohoku University, Japan Abstract. We propose a novel control ﬂow analysis for higher-order Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2012-07-04 02:09:58
14	Untyped Recursion Schemes and Inﬁnite Intersection Types Takeshi Tsukada and Naoki Kobayashi Tohoku University Abstract. A new framework for higher-order program veriﬁcation has Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2013-04-01 21:31:21
15	Compositional Higher-Order Model Checking via ω -Regular Games over B¨ohm Trees ∗ Takeshi Tsukada C.-H. Luke Ong Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2014-06-23 10:56:46
16	Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita, Takeshi Tsukada, and Naoki Kobayashi Tohoku University, Japan Abstract. We propose a novel control flow analysis for higher-order Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Language: English - Date: 2012-04-23 23:58:15
17	2.3 土壌におけるヨウ素の浸透性に関するパラメータ Parameters on Iodine Leaching in Soil 塚田祥文, 山上睦, 武田晃, 高久雄一, 久松俊一環境影響研究部 Hirofumi TSUKADA, Mu Add to Reading List Source URL: www.ies.or.jp - Date: 2012-12-21 01:10:21
18	Microsoft PowerPoint - 5miniOralP(Tsukada)03.ppt Add to Reading List Source URL: www-pub.iaea.org Language: English - Date: 2013-02-01 07:13:01
19	Development of Joint Crediting Mechanism Guidelines for Developing Proposed Methodology for REDD-plus Naoko Tsukada REDD Research and Development Center, Add to Reading List Source URL: www.mmechanisms.org Language: English - Date: 2014-12-24 01:12:31 United Nations Framework Convention on Climate Change Emissions reduction Reforestation Climate change Reducing Emissions from Deforestation and Forest Degradation Carbon finance Climate change policy Environment
20	Chemistry 27B/2003G068 Structure of Zirconium TBP Complex in HCl Solution Kazuhiko AKIYAMA 1, Hiromitsu HABA 2, Kazuaki TSUKADA 1, Masato ASAI1, Add to Reading List Source URL: pfwww.kek.jp Language: English* - Date: 2010-01-05 10:30:36 Materials science Chlorides Transcription factors TATA-binding protein Tributyl phosphate Zirconium Extended X-ray absorption fine structure X-ray absorption fine structure Hydrogen chloride Chemistry Condensed matter physics Environmental chemistry

UPDATE