English Here |
NII�ƥ��˥��롦��ݡ��ȤˤĤ��� ��ɮ�ԤΥڡ����ʥ����å����ѡ� |
2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 | 2010 | 2011 | 2012 | 2013 | 2014 | 2015 | 2016 | 2017 | 2018 | 2020 |
2020 | ||
---|---|---|
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2020-005J | ���� ���� �ץ��S������ȯɽ���Ÿ�������ܤϥץ��S�˲���ؤ֤��� |
2020ǯ12��2�� |
NII-2020-004E | Ken Hayami and Kota Sugihara GMRES on singular systems revisited |
2020ǯ9��10�� |
NII-2020-003E | Yi-shu Du, Ken Hayami, Ning Zheng, Keiichi Morikuni, Jun-Feng Yin Kaczmarz-type inner-iteration preconditioned flexible GMRES methods for consistent linear systems. |
2020ǯ6��29�� |
NII-2020-002E | Yasunori Aoki, Ken Hayami, Kota Toshimoto, and Yuichi Sugiyama Cluster Gauss-Newton method for finding multiple approximate minimisers of nonlinear least squares problems with applications to parameter estimation of pharmacokinetic models |
2020ǯ4��13�� |
NII-2020-001E | Zeyu LIAO, Ken HAYAMI, Keiichi MORIKUNI, and Jun-Feng YIN A Stabilized GMRES Method for Solving Underdetermined Least Squares Problems |
2020ǯ3��30�� |
2018 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2018-001E | Ken Hayami Convergence of the Conjugate Gradient Method on Singular Systems |
2018ǯ6��29�� |
2017 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2017-003E | Xin Wang, Shinji Takaki, Junichi Yamagishi A simple RNN-plus-highway network for statistical parametric speech synthesis |
2017ǯ4��27�� |
NII-2017-002E | Oscar Salviano(1), Frederic Andres(2) Optimum Scenarios Evaluation of Reverse Logistics Systems under Influence of Uncertainties: Decisions made on Operating Costs |
2017ǯ3��22�� |
NII-2017-001E | Oscar Salviano(1), Frederic Andres(2) On Long-Term Optimal Production-Inventory Plan for a Closed Loop Supply Chain |
2017ǯ3��22�� |
2016 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2016-008E | Johan Mazel, Romain Fontugne, Kensuke Fukuda Profiling Internet Scanners: Spatial and Temporal Structures |
2016ǯ12��22�� |
NII-2016-007E | Oussama Chelly, Michael E. Houle, Ken-ichi Kawarabayashi Enhanced Estimation of Local Intrinsic Dimensionality Using Auxiliary Distances |
2016ǯ8��4�� |
NII-2016-006E | Makoto Kanazawa Weak vs. Strong Finite Context and Kernel Properties |
2016ǯ7��15�� |
NII-2016-005E | Laurent Amsaleg, James Bailey, Sarah Erfani, Teddy Furon, Michael E. Houle, Miloš Radovanović, Nguyen Xuan Vinh The Vulnerability of Learning to Adversarial Perturbation Increases with Intrinsic Dimensionality |
2016ǯ6��6�� |
NII-2016-004E | Simone Romano, Oussama Chelly, Vinh Nguyen, James Bailey, Michael E. Houle Measuring Dependency via Intrinsic Dimensionality |
2016ǯ6��6�� |
NII-2016-003E | Yiran Cui, Keiichi Morikuni, Takashi Tsuchiya and Ken Hayami Implementation of Interior-Point Methods for LP Based on Krylov Subspace Iterative Solvers with Inner-Iteration Preconditioning |
2016ǯ5��10�� |
NII-2016-002E | Oana Balaceanu, Hideaki Takeda ArtViz: A Web Platform for Artist Data Visualization and Exploration. |
2016ǯ2��22�� |
NII-2016-001E | Ning Zheng, Ken Hayami, and Jun-Feng Yin Modulus-Type Inner Outer Iteration Methods for Nonnegative Constrained Least Squares Problems (Revised Version) |
2016ǯ1��12�� |
2015 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2015-004E | Alexander Clark, Makoto Kanazawa, Gregory M. Kobele, and Ryo Yoshinaka Distributional Learning of Some Nonlinear Tree Grammars |
2015ǯ10��6�� |
NII-2015-003E | Jonathan von Brünken, Michael E. Houle, and Arthur Zimek Intrinsic Dimensional Outlier Detection in High-Dimensional Data |
2015ǯ3��31�� |
NII-2015-002E | Michael E. Houle Inlierness, Outlierness, Hubness and Discriminability: an Extreme-Value-Theoretic Foundation |
2015ǯ3��31�� |
NII-2015-001E | Ning Zheng, Ken Hayami, Jun-Feng Yin Modulus-Type Inner Outer Iterative Methods for Nonnegative Constrained Least Squares Problems |
2015ǯ1��8�� |
2014 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2014-003E | Wei Xu, Ning Zheng, and Ken Hayami Jacobian-Free Three-Level Trust Region Method for Nonlinear Least Squares Problems |
2014ǯ9��25�� |
NII-2014-002J | ¢�� ��, ¹ ɲ, ��߷���� �ʸ���ʬ���Web of Science���֥������ȥ��ꥢ�Υޥåԥ� |
2014ǯ6��30�� |
NII-2014-001E | Laurent Amsaleg, Oussama Chelly, Teddy Furon, Stephane Girard, Michael E. Houle, and Michael Nett Estimating Continuous Intrinsic Dimensionality |
2014ǯ3��26�� |
2013 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2013-004E | Keiichi Morikuni and Ken Hayami Convergence of Inner-iteration GMRES Methods for Least Squares Problems (Revised Version) |
2013ǯ12��3�� |
NII-2013-003E | Makoto Kanazawa Multi-dimensional Trees and a Chomsky-Schützenberger-Weir Representation Theorem for Simple Context-Free Tree Grammars |
2013ǯ11��22�� |
NII-2013-002E | Philippe J. Gaudreau, Ken Hayami, Yasunori Aoki,
Hassan Safouhi, and Akihiko Konagaya Improvements to the Cluster Newton Method for Underdetermined Inverse Problems |
2013ǯ11��13�� |
NII-2013-001E | Kugamoorthy GAJANANAN A Short Tutorial of the Scenario Markup Language |
2013ǯ2��8�� |
2012 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2012-005E | Keiichi Morikuni and Ken Hayami Convergence of inner-iteration GMRES methods for least squares problems |
2012ǯ8��3�� |
NII-2012-004E | Michael E. Houle and Michael Nett Rank-Based Similarity Search: Reducing the Dimensional Dependence |
2012ǯ6��18�� |
NII-2012-003E | Makoto Kanazawa Almost Affine Lambda Terms |
2012ǯ5��25�� |
NII-2012-002E | Makoto Tatsuta Formalization of Lemma for Adjacent Replacement Paths |
2012ǯ02��17�� |
NII-2012-001E | Keiichi Morikuni, Lothar Reichel, Ken Hayami FGMRES for linear discrete ill-posed problems |
2012ǯ01��12�� |
2011 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2011-002E | Yasunori Aoki, Ken Hayami, Hans De Sterck
and Akihiko Konagaya Cluster Newton Method for Sampling Multiple Solutions of an Underdetermined Inverse Problem: Parameter Identification for Pharmacokinetics |
2011ǯ08��22�� |
NII-2011-001E | Keiichi Morikuni and Ken Hayami Inner-Iteration Krylov Subspace Methods for Least Squares Problems |
2011ǯ04��04�� |
2010 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2010-003E | Makoto Tatsuta Translation of Multi-Staged Language |
2010ǯ7��20�� |
NII-2010-002E | Liang Xu, Hideaki Takeda, Masahiro Hamasaki, and Huayu Wu Typing Software Articles with Wikipedia Category Structure |
2010ǯ7��12�� |
NII-2010-001E | Shaoying Liu and Shin Nakajima A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications |
2010ǯ1��12�� |
2009 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2009-018E | Michael E. Houle, Hans-Peter Kriegel, Peer Kroeger, Erich Schubert and Arthur Zimek Can Shared-Neighbor Distances Defeat the Curse of Dimensionality? |
2009ǯ12��24�� |
NII-2009-017E | Nguyen Xuan Vinh and Michael E. Houle A Set Correlation Model for Partitional Clustering |
2009ǯ12��22�� |
NII-2009-016E | Michael E. Houle and Michael Nett Adaptive Classification Using Shared-Neighbor Information |
2009ǯ12��22�� |
NII-2009-014E | Seiji Koide
communicated by Hideaki Takeda SWCLOS User's Manual |
2009ǯ10��19�� |
NII-2009-015E | Chammika Mannakkara and Tomohiro Yoneda Asynchronous Pipeline Controller Based on Early Acknowledgement Protocol |
2009ǯ9��29�� |
NII-2009-013E | Makoto Tatsuta, Wei-Ngan Chin, and Mahmudul Faisal Al Ameen Completeness of Pointer Program Verification by Separation Logic |
2009ǯ6��9�� |
NII-2009-012J | ��¼���������Ĺ������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2007ǯ��(ʿ��19ǯ��)�ǡ���V�����̸������������ |
2009ǯ4��10�� |
NII-2009-011J | ��¼���������Ĺ������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2007ǯ��(ʿ��19ǯ��)�ǡ���IV�����硦���ΰ�Ϥ�����緿�������� |
2009ǯ4��10�� |
NII-2009-010J | ��¼���������Ĺ������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2007ǯ��(ʿ��19ǯ��)�ǡ���III����ʪ���� |
2009ǯ4��10�� |
NII-2009-009J | ��¼���������Ĺ������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2007ǯ��(ʿ��19ǯ��)�ǡ���II���������� |
2009ǯ4��10�� |
NII-2009-008J | ��¼���������Ĺ������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2007ǯ��(ʿ��19ǯ��)�ǡ���I����ʸ�Ҳ���� |
2009ǯ4��10�� |
NII-2009-007E | Ken HAYAMI and Masaaki SUGIHARA A Geometric View of Krylov Subspace Methods on Singular Systems |
2009ǯ3��26�� |
NII-2009-006J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2006ǯ��(ʿ��18ǯ��)�ǡ���V�����̸������������ |
2009ǯ3��17�� |
NII-2009-005J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2006ǯ��(ʿ��18ǯ��)�ǡ���IV�����硦���ΰ�Ϥ�����緿�������� |
2009ǯ3��17�� |
NII-2009-004J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2006ǯ��(ʿ��18ǯ��)�ǡ���III����ʪ���� |
2009ǯ3��17�� |
NII-2009-003J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2006ǯ��(ʿ��18ǯ��)�ǡ���II���������� |
2009ǯ3��17�� |
NII-2009-002J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2006ǯ��(ʿ��18ǯ��)�ǡ���I����ʸ�Ҳ���� |
2009ǯ3��17�� |
NII-2009-001E | Masashi Inoue Ryoko Hanada Nobuhiro Furuyama Prediction of Misunderstanding from Gesture Patterns in Psychotherapy |
2009ǯ2��16�� |
2008 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2008-009E | Chammika MANNAKKARA ,
Tomohiro YONEDA Asynchronous Pipeline Controller Based on Early Acknowledgement Protocol |
2008ǯ9��24�� |
NII-2008-008E | Xiaoke Cui, Ken Hayami Greville's Method for Preconditioning Least Squares Problems |
2008ǯ8��21�� |
NII-2008-007E | Christian Sommer, Michael E. Houle, Martin Wolff and Shinichi Honiden Approximate Shortest Path Queries in Graphs Using Voronoi Duals |
2008ǯ8��18�� |
NII-2008-006E | Jaehui Park, Tomohiro Fukuhara, Ikki Ohmukai, and Hideaki Takeda Web Content Summarization Using Social Bookmarking Service |
2008ǯ4��23�� |
NII-2008-005E | Makoto Tatsuta, Ken-etsu Fujita, Ryu Hasegawa, and Hiroshi Nakano Inhabitance of Existential Types is Decidable in Negation-Product Fragment |
2008ǯ4��4�� |
NII-2008-004E | Yuichiro Miyamoto, Takeaki Uno and Mikio Kubo Levelwise Mesh Sparsification for Shortest Path Queries |
2008ǯ3��31�� |
NII-2008-003J | ���� ����Ϻ, ��ƣ ��Ƿ, ���� ���� �����˴�Ť���Ŭ���Τ����XQuery�����Х����ȥ�ǥ� |
2008ǯ2��26�� |
NII-2008-002E | Xiaoke Cui, Ken Hayami Generalized Approximate Inverse Preconditioners for Least Squares Problems |
2008ǯ2��22�� |
NII-2008-001E | Yuki Matsuoka, Ryuuki Sakamoto, Sadanori Ito, Hideaki Takeda, Kiyoshi Kogure Aikuchi: Marking-based Social Navigation System |
2008ǯ2��15�� |
2007 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2007-010E | Makoto Tatsuta Types for Hereditary Permutators |
2007ǯ11��27�� |
NII-2007-009E | Ken HAYAMI, Jun-Feng YIN, and Tokushi ITO GMRES Methods for Least Squares Problems |
2007ǯ7��11�� |
NII-2007-008E | Jun-Feng Yin and Ken Hayami Preconditioned GMRES Methods with Incomplete Givens Orthogonalization Method for Large Sparse Least-Squares Problem |
2007ǯ7��9�� |
NII-2007-007J | ���硡�� ���եȥ��������ؤ�ƻ��Ȥ��Ƥη�����ˡ |
2007ǯ7��5�� |
NII-2007-006E | Cyrille Artho and Klaus Havelund and Shinichi Honiden Visualization of Concurrent Program Executions |
2007ǯ5��8�� |
NII-2007-005J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡- 2005ǯ��(ʿ��17ǯ��)�� -��V�����̸������������ |
2007ǯ3��30�� |
NII-2007-004J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡- 2005ǯ��(ʿ��17ǯ��)�� -��IV�����硦���ΰ�Ϥ�����緿�������� |
2007ǯ4��3�� |
NII-2007-003J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡-2005ǯ��(ʿ��17ǯ��)��-��III����ʪ���� |
2007ǯ4��3�� |
NII-2007-002J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡��2005ǯ��(ʿ��17ǯ��)�ǡݡ�II���������� |
2007ǯ3��12�� |
NII-2007-001J | ���Ĺ�������¼�������������ˡ����� �ꡢ�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡��2005ǯ��(ʿ��17ǯ��)�ǡݡ�I����ʸ�Ҳ���� |
2007ǯ3��9�� |
2006 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2006-012E | Masao Takaku, Keizo Oyama, Akiko Aizawa, Haruko Ishikawa, Kengo Minamide, Shin Kato, Hayato Yamana, and Junya Hayashi Building a Terabyte-scale Web Data Collection "NW1000G-04" in the NTCIR-5 WEB Task |
2006ǯ9��7�� |
NII-2006-011E | Makoto Tatsuta Uniqueness of D-normal Proofs |
2006ǯ9��5�� |
NII-2006-010J | ���ܡ�īŸ �����֥��ѥ�魯�����URI�ȱֲ� |
2006ǯ7��19�� |
NII-2006-009E | Ken Satoh, Ken Kaneiwa, Takeaki Uno Contradiction Finding and Minimal Recovery for UML Class Diagrams using Logic Programming |
2006ǯ6��20�� |
NII-2006-008E | Michael E. Houle A Generic Query-Based Model for Scalable Clustering |
2006ǯ5��19�� |
NII-2006-007J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2004ǯ��(ʿ��16ǯ��)�ǡ� V�����̸������������ |
2006ǯ3��15�� |
NII-2006-006J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2004ǯ��(ʿ��16ǯ��)�ǡݡ�IV�����硦���ΰ�Ϥ�����緿�������� |
2006ǯ3��15�� |
NII-2006-005J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2004ǯ��(ʿ��16ǯ��)�ǡݡ�III����ʪ���� |
2006ǯ3��15�� |
NII-2006-004E | Makoto Tatsuta and Mariangiola Dezani-Ciancaglini Normalisation is Insensible to lambda-term Identity or Difference |
2006ǯ3��4�� |
NII-2006-003J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2004ǯ��(ʿ��16ǯ��)�ǡݡ�II���������� |
2006ǯ3��4�� |
NII-2006-002J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2004ǯ��(ʿ��16ǯ��)�ǡݡ�I����ʸ�Ҳ���� |
2006ǯ3��4�� |
NII-2006-001E | Tomohiro Yoneda, Chris Myers Synthesis of Timed Circuits based on Decomposition |
2006ǯ2��16�� |
2005 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2005-016E | Soichiro Hidaka, Hiroyuki Kato, and Masatoshi Yoshikawa An XQuery Cost Model in Relative Form |
2005ǯ11��17�� |
NII-2005-015J | ®�� ��, ��ƣ ���� GMRESˡ�ˤ��Ǿ��������β�ˡ |
2005ǯ10��29�� |
NII-2005-014E | Kazuaki Kishida Property of Average Precision and its Generalization: An Examination of Evaluation Indicator for Information Retrieval Experiments |
2005ǯ9��29�� |
NII-2005-013E | Ken Kaneiwa and Ken Satoh Consistency Checking Algorithms for Restricted UML Class Diagrams |
2005ǯ8��8�� |
NII-2005-012E | Makoto Kanazawa and Ryo Yoshinaka Lexicalization of Second-Order ACGs |
2005ǯ7��25�� |
NII-2005-011E | Nina Kummer, Christa Womser-Hacker, Noriko Kando Handling Orthographic Varieties in Japanese Information Retrieval: Fusion of Word-, N-gram-, and Yomi-Based Indices across Different Document Collections |
2005ǯ7��20�� |
NII-2005-010E | Ken HAYAMI Variable Transformations for Nearly Singular Integrals in the Boundary Element Method |
2005ǯ6��9�� |
NII-2005-009E | Ken Satoh Speculative Computation and Abduction for an Autonomous Agent |
2005ǯ4��26�� |
NII-2005-008J | ���Ĺ�������¼�������������ˡ����� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ�������м� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2003ǯ��(ʿ��15ǯ��)�ǡݡ�V�����̸������������ |
2005ǯ4��4�� |
NII-2005-007J | ��¼�������������ˡ����Ĺ��������� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ�������м� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2003ǯ��(ʿ��15ǯ��)�ǡݡ�IV�����硦���ΰ�Ϥ�����緿�������� |
2005ǯ3��24�� |
NII-2005-006J | ��¼�������������ˡ����Ĺ��������� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ�������м� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2003ǯ��(ʿ��15ǯ��)�ǡݡ�III����ʪ���� |
2005ǯ3��18�� |
NII-2005-005J | ���桡���� �⥸�塼����Ȥ߹�碌��Web��Υ��ߥ�˥ƥ��������ˤ����ƥ�����쥹���Խ���Ԥ�����μ�ˡ |
2005ǯ3��1�� |
NII-2005-004J | ��¼�������������ˡ����Ĺ��������� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ�������м� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�������2003ǯ��(ʿ��15ǯ��)�ǡݡ�II���������� |
2005ǯ3��14�� |
NII-2005-003E | Makoto Kanazawa Computing Interpolants in Implicational Logics |
2005ǯ02��23�� |
NII-2005-002J | ��¼�������������ˡ����Ĺ��������� �ꡢ
�����������ƻ���������߷���ʡ�¹��ɲ�������м� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ ��2003ǯ��(ʿ��15ǯ��)�ǡݡ�I����ʸ�Ҳ���� |
2005ǯ3��14�� |
NII-2005-001J | �ƻ����������������⤨ �ؽѸ���ԤΤ���10ǯ ��21������Ÿ˾�ϼ¸��Ǥ������� |
2005ǯ03��02�� |
2004 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2004-010E | Ken Kaneiwa On the Semantics of Classical First-Order Logic with Constructive Double Negation |
2004ǯ12��28�� |
NII-2004-009E | Ken Hayami and Masaaki Sugihara On the Convergence of the GCR(k) Method for Singular Systems |
2004ǯ12��2�� |
NII-2004-008J | �ƻ�����������������������������Ľ�ʿ�������Ľ�졢ƣ����ɴ �õ��д�Ȼ���Ϣ�� �������ؤˤ����붦Ʊ�õ��д������ʬ�ϡ� |
2004ǯ10��26�� |
NII-2004-007E | Yoko Mizuta, Tony Mullen, and Nigel Collier Annotation of Biomedical Texts for Zone Analysis |
2004ǯ10��5�� |
NII-2004-006E | Tokushi ITO and Ken HAYAMI Preconditioned GMRES Methods for Least Squares Problems |
2004ǯ5��7�� |
NII-2004-005J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ VI. �緿�������� |
2004ǯ3��24�� |
NII-2004-004J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ V. ���̸������������ |
2004ǯ2��20�� |
NII-2004-003J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ IV. ͻ����� |
2004ǯ2��19�� |
NII-2004-002J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ III. ����� |
2004ǯ1��27�� |
NII-2004-001J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ������ II. ������ |
2004ǯ1��16�� |
2003 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2003-007J | ��¼�������������ˡ����Ĺ�����
�����������ƻ���������߷���ʡ�¹��ɲ����ˮ�� �ʳظ������������������ˤ����ؤθ�������٤�Ĵ�����桡I.��ʸ���� |
2003ǯ11��17�� |
NII-2003-006E | Takeaki Uno Efficient Computation of Power Indices for Weighted Majority Games |
2003ǯ7��11�� |
NII-2003-005E | Shin-ichi Nakano and Takeaki Uno Efficient Generation of Rooted Trees |
2003ǯ7��3�� |
NII-2003-004E | Takeaki Uno Two General Methods to Reduce Delay and Change of Enumeration Algorithms |
2003ǯ4��8�� |
NII-2003-003E | Tomohiro Yoneda and Chris Myers Synthesizing Timed Circuits from High Level Specification Languages |
2003ǯ2��5�� |
NII-2003-002E | Koji Eguchi, Keizo Oyama, Emi Ishida, Noriko Kando, and Kazuko Kuriyama Overview of the Web Retrieval Task at the Third NTCIR Workshop |
2003ǯ1��28�� |
NII-2003-001E | Nigel Collier Evaluation of Enigma: an Open Mosix Cluster for Text Mining |
2003ǯ1��9�� |
2002 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2002-005E | Masahiro Hamasaki and Hideaki Takeda Proposal of the extension network model for personal human network by using neighborhood matchmaker |
2002ǯ10��23�� |
NII-2002-004E | Kenji HAMANO, Sunao MURASHIGE, and Ken HAYAMI Boundary Element Simulation of Large Amplitude Standing Waves in Vessels |
2002ǯ09��12�� |
NII-2002-003E | SHIBATA Tomoatsu and YANO Masaharu Building the Concept of Learning by Decomposing |
2002ǯ09��09�� |
NII-2002-002E | Tomoatsu Shibata and Masaharu Yano Dynamic Evolution of Product Architecture -- Alternative view of Technical progress of Numerical Controller -- |
2002ǯ08��30�� |
NII-2002-001J | ���� ����, �ƻ� ����, ¹ ɲ, ��߷ ��̦, ʡ�� ���� ��¤���γ�ǰ������ |
2002ǯ06��30�� |
2001 | ||
�ֹ� | ����̾�ȥ����ȥ� | ��Ͽ�� |
NII-2001-003J | ®�塡�� �ðۤʷϤ��Ф��붦��ĺ�ˡ�μ�«���ˤĤ��� |
2001ǯ08��03�� |
NII-2001-002E | Ken HAYAMI On the Behaviour of the Conjugate Residual Method for Singular Systems |
2001ǯ07��04�� |
NII-2001-001E | ICHISE Ryutaro, TAKEDA Hideaki, and HONIDEN Shinichi An Alignment Algorithm between Concept Hierarchies |
2001ǯ05��10�� |