NII�ƥ��˥��롦��ݡ���

��Ω����ظ����
101-8430 �������������2-1-2
Print ISSN: 1346-5597
Online ISSN: 1884-0795
��Ω����ظ���ꡡ���إ�ݥ��ȥ�
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��



Last modified: Mon June 6 13:29:48 JST 2016
��Ω����ظ����
E-mail:
OSZAR »