CS-TR-12-19 |
Tetsuya Sakurai, Yasunori Futamura, Hiroto Tadano "Efficient parameter estimation and implementation of a contour integral-based eigensolver" |
|---|
| CS-TR-11-17 |
Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan "Computational Effects across Generated Binders -- Maintaining future-stage lexical scope" |
|---|
| CS-TR-08-13 |
Tsutomu Ikegami, Tetsuya Sakurai and Umpei Nagashima "A filter diagonalization for generalized eigenvalue problems based on the Sakurai-Sugiura projection method" |
|---|---|
| CS-TR-08-14 |
Tetsuya Sakurai, Hiroto Tadano, Tsutomu Ikegami and Umpei Nagashima "A parallel eigensolver using contour integration for generalized eigenvalue problems in molecular simulation" |
| CS-TR-08-15 |
Junko Asakura, Tetsuya Sakurai, Hiroto Tadano, Tsutomu Ikegami and Kinji Kimura "A numerical method for polynomial eigenvalue problems using contour integral" |
| CS-TR-08-16 |
Hiroto Tadano, Tetsuya Sakurai, Yoshinobu Kuramashi "A New Block Krylov Subspace Method for Computing High Accuracy Solutions" |
CS-TR-08-18 |
システム開発型研究プロジェクト各グループ "2008年度システム開発型研究プロジェクト研究成果報告" |
| CS-TR-07-9 |
Takahito Kuno, Yoshiyuki Shiguro "A simplicial algorithm for concave minimization and its performance as a heuristic tool" |
|---|---|
| CS-TR-07-10 |
Kenichi Asai and Yukiyoshi Kameyama "Polymorphic Delimited Continuations" |
| CS-TR-07-12 |
システム開発型研究プロジェクト各グループ "2007年度システム開発型研究プロジェクト研究成果報告" |
| CS-TR-06-5 |
Shoji Itoh, Hisashi Kotakemori, Hidehiko Hasegawa "Development of evaluation system for numerical algorithms to solve linear equations" |
|---|---|
| CS-TR-06-6 |
Hisao Kameda, Jie Li, and Eitan Altman "Loop-Free Link-Traffic in Optimal Routing for Multi-Class Networks" |
| CS-TR-06-7 |
Kazuhiro Fukui, Osamu Yamaguchi "Comparison between Constrained Mutual Subspace Method and Orthogonal Mutual Subspace Method" |
| CS-TR-07-8 |
Takahito Kuno, Yoshiyuki Shiguro "A Polynomial-Space Finite Algorithm for Solving a Class of Reverse Convex Programs" |
| CS-TR-06-11 |
システム開発型研究プロジェクト各グループ "2006年度システム開発型研究プロジェクト研究成果報告" |
| CS-TR-05-1 |
Mikio Yamamoto and Kugatsu Sadamitsu "Dirichlet mixtures in text modeling" |
|---|---|
| CS-TR-05-2 |
Takahito Kuno and Hidetoshi Nagai "A simplicial branch-and-bound algorithm conscious of special structures in concave minimization problems" |
| CS-TR-05-3 |
Hidetoshi Nagai and Takahiro Kuno "A conical branch-and-bound algorithm for a class of reverse convex programs" |
| CS-TR-05-4 |
Corinne Touati, Hisao Kameda and Atsushi Inoie "Fairness in Non-convex Systems" |
| EIS-TR-75-1 |
Seiichi Nishihara, Hiroshi Hagiwara "AN OPEN HASH METHOD USING PREDICTORS" |
|---|---|
| EIS-TR-76-2 |
Tomoo Nakamura, Hajime Kitagawa, Masanori Kanazawa, Hiroshi Hagiwara, "SIMULATION OF A COMPUTER SYSTEM WITH BUFFER MEMORY" |
| EIS-TR-76-3 |
Tomoo Nakamura, Hajime Kitagawa, Hiroshi Hagiwara "AN ANALYSIS OF PROGRAM BEHAVIOR" |
| EIS-TR-76-4 |
Hiroshi Konno "SOME APPLICATIONS OF BILINEAR PROGRAMMING" |
| EIS-TR-76-5 |
Hiroshi Konno "OPTIMUM PRICING OF INDISPENSABLE RAW MATERIAL UNDER MONOPOLY A TWO STAGE GAME APPROACH" |
| EIS-TR-77-6 |
Yoshihiko Ebihara, Shoichi Noguchi, Norman Abramson "A DESIGN OF PROCESS CONNECTION PROCEDURE ON COMPUTER NETWORK" |
| ISE-TR-77-7 |
Seiichi Nishihara, Hiroshi Hagiwara "PERFORMING SET OPERATIONS BY USING HASHING TECHNIQUES" |
| EIS-TR-79-8 |
Hiroshi Konno "ON THE APPLICATIONS OF BILINEAR PROGRAMMING" |
| EIS-TR-79-9 |
Hiroshii Konno "AN ALGORITHM FOR SOLVING BILINEAR KNAPSACK PROBLEMS" |
| EIS-TR-79-10 |
Shoichi Noguchi, Junki Yaegashi, Yoshihiko Ebihara, Hidetoshi Kawai,
Juro Oizumi "THE EXTENSION OF TACONET -An Academic Computer Network-" |
| EIS-TR-79-11 |
Yutaka Kanayama, Jun'ichi Iijima, Shin'ichi Yuta "HOW DOES A MOBILE ROBOT UNDERSTAND ITS WORLD?" |
| EIS-TR-79-12 |
Takashi Nakayama, Yuzuru Fujiwara "BCT REPRESENTATION OF CHEMICAL STRUCTURES" |
| ISE-TR-13 |
Toru Nakagawa, Yoshio Oyanagi "PROGRAM SYSTEM SALS FOR NONLINEAR LEAST-SQUARES FITTING：SYSTEM DESIGN" |
| ISE-TR-80-14 |
Kazuhiko Nakayama, Akifumi Oikawa, Kozo Itano, Yasuhiko Ogawa, Sadao
Hasegawa "AN INTEGRATED JAPANESE BRAILLE PROCESSING SYSTEM BASED ON KANJI REPRESENTATION" |
| ISE-TR-80-15 |
Kozo Itano "A MONITORING MECHANISM OF PROGRAMS DURING EXECUTION IN A PRACTICAL ENVIRONMENT" |
| ISE-TR-80-16 |
Kozo Itano, Tetsuo Ida "HARDWARE ARRAY BOUND CHECKER ON TAGGED ARCHITECTURE " |
| ISE-TR-80-17 |
Katsuo Ikeda, Takashi Yamamura, Yasumasa Mitamura, Shiokazu Fujiwara,
Yoshiharu Tominaga, Takeshi Kiyono "ON-LINE RECOGNITION OF HAND-WRITTEN CHARACTERS UTILIZING POSITIONAL AND STROKE VECTOR SEQUENCES" |
| ISE-TR-80-18 |
Seiichi Nishihara "A COLLISION RESOLUTION TECHNIQUE BY USING PREDICTORS" |
| ISE-TR-80-19 |
Tetsuo Ida, Kozo Itano "ASSOCIATIVE DESCRIPTOR SCHEME - FOR THE EXPLOITATION OF ADDRESS ARITHMETIC IN LISP" |
| ISE-TR-81-20 |
Yuzuru Fujiwara, Takashi Nakayama "A GRAPH DATABASE FOR STORAGE OF CHEMICAL STRUCTURES ORGANIZED BY BCT" |
| ISE-TR-81-21 |
Takashi Nakayama, Yuzuru Fujiwara "STRUCTURE GENERATION ON THE BASIS OF BCT REPRESENTATION OF CHEMICAL STRUCTURES" |
| ISE-TR-81-22 |
Yutaka Kanayama, Shin’ichi Yuta , Jun’ichi Iijima "A MOBILE ROBOT WITH SONIC SENSORS AND ITS UNDERSTANDING OF A SIMPLE WORLD" |
| ISE-TR-81-23 |
Yasuhiko Ikebe, Toshiyuki Inagaki "AN OPERATOR THEORETIC METHOD OF ERROR ANALYSIS FOR RELIABILITY QUANTIFICATION" |
| ISE-TR-81-24 |
Takashi Nakayama, Yuzuru Fujiwara "COMPUTER COMPENSATION FOR NMR QUANTITATIVE ANALYSIS OF TRACE COMPONENTS" |
| ISE-TR-81-25 |
Takashi Nakayama, Yuzuru Fujiwara "LEARNING SYSTEM FOR AUTOMATIC STRUCTURAL ANALYSIS OF MASS SPECTRA" |
| ISE-TR-82-26 |
Kozo Itano, Tetsuo Ida "SOFTWARE-FAULT DETECTOR FOR MICROPROCESSORS" |
| ISE-TR-82-27 |
Seiichi Nishihara, Katsuo Ikeda "FALSE CONTOUR REMOVAL BY RANDOM BLURRING" |
| ISE-TR-82-28 |
Yasuhiko Ikebe, Toshiyuki Inagaki, Sadaaki Miyamoto "THE NUMERICAL SOLUTION OF THE INTEGRAL EQUATION FORMULATION OF RELIABILITY QUANTIFICATION" |
| ISE-TR-82-29 |
Yasuhiko Ikebe, Toshiyuki Inagaki, Sadaaki Miyamoto "PERTURBATION THEOREMS FOR MATRIX EIGENVALUES" |
| ISE-TR-83-30 |
Takashi Hoshi, Kazuhiko Nakayama "A LANDSAT IMAGE DATABANK USING MASS STORAGE SYSTEM -“TSUKUSYS" IMAGE-BANK-" |
| ISE-TR-83-31 |
Yasuhiko Ikebe, Toshiyuki Inagaki "THREE-DIMENSIONAL COMPUTER GRAPHICS WITH ORTHOGONAL MATRICES" |
| ISE-TR-83-32 |
Kazuhiro Nakayama, Takashi Hoshi, Yoshioki Ishii "THE ANALYSIS OF LANDSAT(M2S) IMAGE DATA USING INTERACTIVE INFORMATION RETRIEVAL LANGUAGE SOAR" |
| ISE-TR-83-33 |
Kozo Itano "SYSTEMATIC DESIGN OF A PIPELINED LEXICAL SCANNER" |
| ISE-TR-83-34 |
Kozo Itano "PERFORMANCE OF THE DIRECT-EXECUTION COMPUTER PASDEC " |
| ISE-TR-83-35 |
Yoshihiko Ebihara, Katsuo Ikeda, Tomoo Nakamura, Michihiro Ishizaka,
Makoto Shinzawa, Kazuhiko Nakayama "GAMMA-NET: A LOCAL COMPUTER NETWORK COUPLED BY A HIGH SPEED OPTICAL FIBER RING BUS -SYSTEM CONCEPT AND STRACTURE-" |
| ISE-TR-83-36 |
Yoshihiko Ebihara, Katsuo Ikeda, Tomoo Nakamura, Shigeo Nakatsuka,
Michihiro Ishizaka "FAULT DIAGNOSIS AND AUTOMATIC RECONFIGURATION FOR A RING BUS SUBSYSTEM" |
| ISE-TR-83-37 |
Tomoo Nakamura, Katsuo Ikeda, Yoshihiko Ebihara, Masafumi Nishikawa "NETWORK MANAGEMENT IN A LOCAL COMPUTER NETWORK" |
| ISE-TR-83-38 |
Sadaaki Miyamoto, Yasuhiko Ikebe "APPLICATION OF HOMOTOPY METHOD TO TWO POINT BOUNDARY VALUE PROBLEMS OF FIRST ORDER DIFFERENTIAL EQUATIONS" |
| ISE-TR-83-39 |
Makoto Natori, Hideo Kawarada "NUMERICAL SOLUTION OF FREE BOUNDARY PROBLEM FOR UNSTEADY SLAG FLOW IN THE HEARTH" |
| ISE-TR-83-40 |
Seiichi Nishihara, Katsuo Ikeda "ADDRESS CALCULATION ALGORITHMS FOR ORDERED SETS OF COMBINATIONS" |
| ISE-TR-83-41 |
Takashi Hoshi, Takayuki Matsushita, Yasuhiko Ikebe, Kazuhiko Nakayama "RESEARCH OF MATCHING AND/OR SEARCHING METHODS OF IDENTICAL POINT ON STEREO AERIAL IMAGES AND ITS APPLICATION" |
| ISE-TR-83-42 |
Seiichi Nishihara, Katsuo Ikeda "CONSTRAINT SYNTHESIZING BY NETWORK REDUCTION FOR THE CONSISTENT LABELING PROBLEM" |
| ISE-TR-84-43 |
Masataka Sassa "TIME-OPTIMAL SHORT-CIRCUIT EVALUATION OF BOOLEAN EXPRESSIONS" |
| ISE-TR-84-44 |
Yuzo Hirai "MUTUALLY-LINKED-HASPS: A SOLUTION FOR CONSTRAINT SATISFACTION PROBLEMS BY ASSOCIATIVE PROCESSING" |
| ISE-TR-84-45 |
Toshiyuki Inagaki, Yasuhiko Ikebe "DIRECT COMPUTATION OF EXPECTED NUMBERS OF FAILURES AND REPAIRS VIA INTEGRAL EQUATION APPROACH" |
| ISE-TR-84-46 |
Yasuhiro Ikebe, Toshiyuki Inagaki "SPECTRAL MAPPING THEOREMS THROUGH ELEMENTARY APPROACH" |
| ISE-TR-84-47 |
Takashi Hoshi, Tomoyuki Ishida, Kazuhiko Nakayama "EXPERIMENTAL STUDY ON THE SPECTRAL REFLECTANCE OF PADDY SOILS IN THE FIELD SURVEY" |
| ISE-TR-84-48 |
Takashi Hoshi, Takayuki Matsushita, Yasuhiko Ikebe "WINDOW SIZE OF MATCHING METHODS IN STEREO AERIAL IMAGES" |
| ISE-TR-85-49 |
Seiichi Nishihara, Katsuo Ikeda "CONSISTENT LABELING METHODS USING CONSTRAINT NETWORKS" |
| ISE-TR-85-50 |
Sadaaki Miyamoto, Yasusuke Asayama, Ko Oi "OPTIMIZATION METHOD FOR ENHANCEMENT OF LASER RADAR IMAGES BY A CLASS OF PIECEWISE LINEAR TRANSFORMATION OF GRAY LEVELS" |
| ISE-TR-85-51 |
Yasuhiko Ikebe, Toshiyuki Inagaki, Sadaaki Miyamoto "MONOTONICITY THEOREM, CAUCHY’S INTERLACE THEOREM AND COURANT-FISCHER THEOREM" |
| ISE-TR-85-52 |
Sadaaki Miyamoto, Ko Oi, Osamu Abe, Atsuo Katsuya, Kazuhiko Nakayama "A METHOD OF NEIGHBORHOOD FOR CLUSTER ANALYSIS OF FREE ASSOCIATIONS IN INVESTIGATIONS OF COGNITIVE STRUCTURES" |
| ISE-TR-85-53 |
Takashi Hoshi, Kazuhiro Sato, Tomoyuki Ishida "ANALYSIS OF MANGROVE FOREST IN OKINAWA USING AIRBORNE REMOTE SENSING DATA" |
| ISE-TR-86-54 |
Takashi Hoshi, Kiyoshi Torii, Tomoyuki Ishida "REMOTE SENSING IMAGE DATA ANALYSIS SYSTEM "TSUKUSYS” AND IT'S APPLICATION -Especially Classifing Coastal Area around a Bay Using TM -" |
| ISE-TR-86-55 |
Seiichi Nishihara, Tsunemichi Shiozawa, Katsuo Ikeda "CONSISTENT LABELING ALGORITHM USING THE DYNAMIC PROGRAMMING CONCEPT" |
| ISE-TR-86-56 |
Sanae Amada, Masashi Tsuchida, Yutaka Sato "A LOOSELY COUPLED MULTIPROCESSOR SYSTEM: ADMS -BASIC DESIGN-" |
| ISE-TR-86-57 |
Yoshio Oyanagi "AN INCOMPLETE LDU DECOMPOSITION OF LATTICE FERMIONS AND ITS APPLICATION TO CONJUGATE RESIDUAL METHODS" |
| ISE-TR-86-58 |
Masataka Sassa, Ikuo Nakata "A SIMPLE REALIZATION OF LR PARSERS FOR REGULAR RIGHT PART GRAMMARS" |
| ISE-TR-86-59 |
Sanae Amada, Yutaka Sato, Syu-ichi Suzuki "A LOOSELY COUPLED MULTIPROCESSOR SYSTEM: ADMS -LOGICAL CONFIGURATION & OPERATING SYSTEM- " |
| ISE-TR-86-60 |
Masami Saeki "POLYNOMIAL APPROACH TO H∞OPTIMAL CONTROL PROBLEM FOR A SINGLE-INPUT SINGLE-OUTPUT DISCRETE TIME SYSTEM " |
| ISE-TR-86-61 |
Masami Saeki, Eddie Kornegoor "NUMERICAL ALGORITHM FOR SOLVING A POLYNOMIAL EQUATION IN H∞ OPTIMIZATION PROBLEM " |
| ISE-TR-86-62 |
Toshiyuki Inagaki, Yasuhiko Ikebe "ON HUMAN-MACHINE INTERFACE FOR SYSTEM SAFETY: COMPARISON OF FAULT-WARNING AND SAFETY-ANNOUNCING CONFIGURATIONS " |
| ISE-TR-87-63 |
Sanae Amada, Masamitsu Baba, Norio Ohashi "A LOOSELY COUPLED MULTIPROCESSOR SYSTEM: ADMS -SOFTWARE ENVIRONMENT- " |
| ISE-TR-87-64 |
Yoshio Oyanagi "Hyperplane vs. Multicolor Vectorization of Incomplete LU Preconditioning for the Wilson Fermion on the Lattice" |
| ISE-TR-87-65 |
Yoshio Oyanagi, Shao Liang Zhang "Conjugate Residual Methods For Least Squares Problem" |
| ISE-TR-88-66 |
Masataka Sassa "INCREMENTAL ATTRIBUTE EVALUATION AND PARSING BASED ON ECLR-ATTRIBUTED GRAMMARS" |
| ISE-TR-88-67 |
Sadaaki Miyamoto, Shinsuke Suga, Ko Oi "A METHOD OF NEIGHBORHOOD FOR ANALYZING FREE ASSOCIATION" |
| ISE-TR-88-68 |
Sadaaki Miyamoto "INFORMATION RETRIEVAL BASED ON FUZZY ASSINFORMATIONS" |
| ISE-TR-88-69 |
Sadaaki Miyamoto "TWO APPROACHES FOR INFORMATION RETRIEVAL THROUGH FUZZY ASSOCIATIONS" |
| ISE-TR-88-70 |
Yoshiyuki Yamashita, Ikuo Nakata "Programming in Coupled Context-Free Grammars" |
| ISE-TR-88-71 |
Yoshiyuki Yamashita, Ikuo Nakata "On the relation between CCFG programs and logic programs" |
| ISE-TR-88-72 |
Yoshiyuki Yamashita, Ikuo Nakata "Unfold/Fold Program Transformation in CCFG Programming" |
| ISE-TR-88-73 |
Yoshiyuki Yamashita, Ikuo Nakata "Programming in Gramp: a programming language based on CCFG" |
| ISE-TR-88-74 |
Sadaaki Miyamoto "A METHOD OF HIERARCHICAL CLUSTER ANALYSIS WITH A FUZZY CONSTRAINT AND ITS RELATION TO WISHART'S KTH NEAREST NEIGHBOR METHOD" |
| ISE-TR-88-75 |
Toshiyuki Inagaki, Yasuhiko Ikebe "PERFORMANCE ANALYSIS OF A SAFETY MONITORING SYSTEM UNDER HUMAN-MACHINE INTERFACE OF SAFETY-PRESENTATION TYPE" |
| ISE-TR-88-76 |
Minoru Yoshida "A NOTE ON CONSTRUCTION OF THE MINIMAL SUPERMARTINGALE IN CONTLNUOUS PARAMETER OPTIMAL STOPPING PROBLEMS" |
| ISE-TR-89-77 |
Seiichi Nishihara, Yoshikazu Matsuo, Jun Nishida, Katsuo Ikeda "RESTORING SOLID MODELS OF POLYHEDRONS FROM ENGINEERING DRAWINGS" |
| ISE-TR-89-78 |
Yoshihiko Ebihara, Tomoo Nakamura, Akira Sakaguchi "EXPERIMENTAL STUDY ON A COMPUTER INTERCONNECTION ARCHITECTURE WITH INTER-APPLICATION COMMUNICATION FACILITY" |
| ISE-TR-89-79 |
Seiichi Nishihara, Jun Nishida, Shaoxing Zhang "HEURISTICS DIRECTED SEARCH IN UNDERSTANDING ENGINEERING DRAWINGS" |
| ISE-TR-90-80 |
Tetsuya Mizutani, Shigeru Igarashi, Takashi Tsuji "AN ANALYTICAL EQUIVALENCE THEORY OF COMPUTER PROGRAMS" |
| ISE-TR-90-81 |
Toshiyuki Inagaki "A MATHEMATICAL ANALYSIS OF INTERDEPENDENCE BETWEEN SAFETY CONTROL POLICY AND MULTI-SENSOR FUSION SCHEME VIA DEMPSTER-SHAFER THEORY" |
| ISE-TR-90-82 |
Masataka Sassa, Harushi Ishizuka, Motoki Sawatani, Ikuo Nakata "Rie - Introduction and User's Manual" |
| ISE-TR-90-83 |
Masaki Watanabe, Yuichi Ohta "COOPERATIVE INTEGRATION OF MULTIPLE STEREO ALGORITHMS" |
| ISE-TR-90-84 |
Yasuhiko Ikebe, Yasushi Kikuchi, Issei Fujishiro "Computing Zeros and Orders of Bessel Functions" |
| ISE-TR-90-85 |
Sadaaki Moyamoto, Nobuaki Konishi, Teruhisa Miyake "DOCUMENT RETRIEVAL AND IMAGE RETRIEVAL BASED ON FUZZY PROPOSITIONAL INDEX" |
| ISE-TR-90-86 |
Masaaki Sugihara, Yoshio Oyanagi, Masatake Mori, Seiji Fujino "On the Efficiency of an SOR-like Method Suited to Vector Processor" |
| ISE-TR-90-87 |
Sumiko Hiyama, Takao Hanada, Hitoshi Imai "An Optimum Data Reduction Algorithm for General Plane Curves" |
| ISE-TR-90-88 |
Hitoshi Imai, Makoto Natori, Lun Shan Gao, Hideo Kawarada "The Parallel Processing in the Fuzzy Control System Governed by Partial Differential Equations" |
| ISE-TR-91-89 |
I. Shevchenko, K. Nakayama "The Subtraction Problem Generating" |
| ISE-TR-91-90 |
I. Shevchenko "A Simple Pursuit Game with an Obstacle between Players" |
| ISE-TR-91-91 |
I. Shevchenko "Successive Pursuit with a Restricted Detection Domain" |
| ISE-TR-91-92 |
Yasuhiko Ikebe, Yasushi Kikuchi, Issei Fujishiro "The Singular Resolvent with Applcations" |
| ISE-TR-91-93 |
Toshiyuki Inagaki, Gunnar Johannsen "HUMAN-COMPUTER INTERACTION AND COOPERATION FOR SUPERVISORY CONTROL OF LARGE-COMPLEX SYSTEMS" |
| ISE-TR-91-94 |
Tetsuo Ida, Atsushi Nakamura, Taro Suzuki, Koji Nakagawa "Abstract Machine Approach to Operational Semantics of Prolog" |
| ISE-TR-91-95 |
Takahito Kuno "Globally Determining a Minimum-Area Rectangle Enclosing the Projection of a Higher-Dimensional Set" |
| ISE-TR-92-96 |
Teruhisa Miyake, Sadaaki Miyamoto, Kazuhiko Nakayama "Similarity of DNA Sequences in DNA Databank Searching" |
| ISE-TR-92-97 |
Satoshi Okui, Tetsuo Ida "Lazy Narrowing Calculi" |
| ISE-TR-92-98 |
Yasuhiko Ikebe, Yasushi Kikuchi, Issei Fujishiro, Nobuyoshi Asai, Kouichi
Takanashi, Minoru Harada "The Eigenvalue Problem for Infinite Compact Complex Symmetric Matrices with Application to the Numerical Computation of Complex Zeros of J0(z)-iJ1(z) and of Bessel Functions Jm(z) of Any Real Order m" |
| ISE-TR-92-99 |
Myuhng Joo Kim, Chu Shik Jhon, Tetsuo Ida "A Parallel Programming Model and its Application by Integrating Imperative and Functional Evaluation Schemes" |
| ISE-TR-92-100 |
Hiroko Iguchi, Makoto Natori, Hitoshi Imai "REORTHOGONALIZATION IN THE BLOCK LANCZOS ALGORITHM" |
| ISE-TR-93-101 |
菊池 靖, 浅井 信吉, 宮崎 佳典, 蔡 東生, 藤代 一成, 池邉 八洲彦 "非負実数階第1種ベッセル関数の零点計算アルゴリズム |
| ISE-TR-93-102 |
Tetsuji Hirayama, Sung Jo Hong "Analysis of Multiclass M/G/1 Queues with Feedback" |
| ISE-TR-93-103 |
Takahito Kuno, Yoshitsugu Yamamoto "A Parametric Simplex Algorithm for Solving a Class of Rank-Two Reverse Convex Programs" |
| ISE-TR-94-104 |
Xing Zhou Zhang, Yoshihiko Ebihara "Analysis of a High-Speed Optical Fiber Token Ring Local Area Network with Heterogeneous Environment" |
| ISE-TR-94-105 |
Takahito Kuno "An Efficient Algorithm for Minimizing a Rank-Two Saddle Function on a Polytope" |
| ISE-TR-94-106 |
Tetsuo Ida, Satoshi Okui "Outside-In Conditional Narrowing" |
| ISE-TR-94-107 |
Tetsuo Ida, Koichi Nakahara "Leftmost Outside-In Narrowing Calculi" |
| ISE-TR-94-108 |
Tetsuo Ida, Koichi Nakahara, Makoto Hamana "Leftmost Outside-In Conditional Narrowing for Functional-logic Programmlng Languages" |
| ISE-TR-94-109 |
Aart Middeldorp, Hans Zantema "Simple Termination Revisited" |
| ISE-TR-94-110 |
Aart Middeldorp, Bernhard Gramlich "Simple Termination is Difficult" |
| ISE-TR-94-111 |
山田 俊行 "条件付き項書換え系における階層合流性のモジュラ性" |
| ISE-TR-94-112 |
Yaxin Li, Hiroyuki Kitagawa, Nobuo Ohbo "Optimization of Join-Type Queries in Nested Relational Databases" |
| ISE-TR-94-113 |
Takahito Kuno, Takahiro Utsunomiya "A Decomposition Algorithm for Solving Certain Classes of Production-Transportation Problems with Concave Production Cost" |
| ISE-TR-94-114 |
Satoshi Okui, Aart Middeldorp, Tetsuo Ida "Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract) " |
| ISE-TR-94-115 |
Sung Jo Hong, Hideaki Takagi "Analysis of Transmission Delay for a Structured-Priority Packet-Switching System" |
| ISE-TR-94-116 |
Taro Suzuki, Aart Middeldorp, Tetsuo Ida "Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides" |
| ISE-TR-95-117 |
Yasuhiko Ikebe, Nobuyoshi Asai, Yoshinori Miyazaki, DongSheng Cai "The Eigenvalue Problem for Infinite Complex Symmetric Tridiagonal Matrices with Application" |
| ISE-TR-95-118 |
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida "A Complete Narrowing Calculus for Higher-Order Functional logic Programming " |
| ISE-TR-95-119 |
Aart Middeldorp, Satoshi Okui, Tetsuo Ida "Lazy Narrowing: Strong Completeness and Eager Variable Elimination" |
| ISE-TR-95-120 |
Takahito Kuno "A Variant of the Outer Approximation Method for Globally Minimizing a Class of Composite Functions" |
| ISE-TR-95-121 |
Naohisa Otsuka, Hiroshi Inaba "Parameter Insensitive Disturbance-Rejection for Infinite-Dimensional Systems" |
| ISE-TR-95-122 |
工藤 博幸 (Hiroyuki Kudo) "SPECTにおける解析的画像再構成法の体系化に向けて (Toward Unifying Analytical Image Reconstruction Methods for SPECT）" |
| ISE-TR-95-123 |
Takahito Kuno, Takahiro Utsunomiya "A Primal-Dual Algorithm for Globally Solving a Production-Transportation Problem with Concave Production Cost" |
| ISE-TR-95-124 |
Takahito Kuno, Takahiro Utsunomiya "Minimizing a Linear Multiplicative-Type Function under Network Flow Constraints" |
| ISE-TR-95-125 |
Tetsuji Hiroyama, Sung Jo Hong "Analysis of Multiclass M/G/1 Queues with Feedback" |
| ISE-TR-95-126 |
Hitoshi Kanoh, Miyuki Matsumoto, Seiichi Nishihara "Genetic Algorithms for Constraint Satisfaction Problems" |
| ISE-TR-95-127 |
Sadaaki Miyamoto, Yudi Agusta "An Efficient Algorithm for l1 Fuzzy c-Means and Its Termination" |
| ISE-TR-95-128 |
Takahito Kuno "A Parametric Approach for Maximum Flow Problems with an Additionas Reverse Convex Constraint" |
| ISE-TR-95-129 |
Koji Shiomi, Naohisa Otsuka, Hiroshi Inaba. Rokuya Ishii "The Stability for Linear Combinations of Characteristic Polynomials for Discrete-time Systems" |
| ISE-TR-95-130 |
Koichi Ichige, Naohisa Otsuka, Rokuya Ishii "An Automatic Design Procedure of IIR Digital Filters from an Analog Low-pass Filter" |
| ISE-TR-96-131 |
Koichi Wada, Tetsuya Murakami, Yukari Hamada "Reducing Communication Overhead in Parallel Logic Simulation" |
| ISE-TR-96-132 |
Naohisa Otsuka, Hiroshi Inaba "Robust Disturbance-Rejection Problems with Static Feedback and with Finite-Dimensional Dynamic Compensator for Infinite-Dimensional Systems by Geometric Approach" |
| ISE-TR-96-133 |
Atsuyuki Morishima, Hiroyuki Kitagawa "A Data Modeling Approach to the Seamless Information Exchange among Structured Documents and Databases" |
| ISE-TR-96-134 |
Sadaaki Miyamoto "Fuzzy multisets and application to a rough approximation of fuzzy sets" |
| ISE-TR-96-135 |
宮本 定明 Sadaaki Miyamoto "束に値をとる可能性測度について Lattice-valued possibility measures Lattice-valued possibility measures" |
| ISE-TR-96-136 |
Koichi Ichige, Masaru Kamada "An approximation for discrete B-splines in time domain" |
| ISE-TR-96-137 |
Hitoshi Kanoh, Kazuyo Hasegawa, Miyuki Matsumoto, Nobuko Kato, Seiichi
Nishihara "Solving Constraint Satisfaction Problems by a Genetic Algoritim Adopting Viral Infection" |
| ISE-TR-96-138 |
Toshiyuki Inagaki, Makoto Itoh "Trust, Autonomy, and Authority in Human-Machine Systems: Situation-Adaptive Coordination for Systems Safety" |
| ISE-TR-96-139 |
Makoto Itoh, Toshiyuki Inagaki "Design of Human-Interface for Situation Awareness" |
| ISE-TR-96-140 |
Koji Shiomi, Naohisa Otsuka, Hiroshi Inaba "Robust Disturbance-Rejection Problems for Linear ω-Periodic Discrete-Time Systems" |
| ISE-TR-96-141 |
Takahito Kuno "A Pseudo-Polynomial Algorithm for Solving Rank Three Concave Production-Transportation Problems" |
| ISE-TR-97-142 |
Kazuhiko Kato "Persistently Cached B-Trees" |
| ISE-TR-97-143 |
Toshiyuki Inagaki "To GO or Not To GO: Decision Under Time-Criticality and Situation-Adaptive Autonomy for Takeoff Safety" |
| ISE-TR-97-144 |
Takahito Kuno, Hiroshi Konno, Akira Irie "A Deterministic Approach to Linear Programs with Several Additional Multiplicative Constraints" |
| ISE-TR-97-145 |
Naohisa Otsuka "Generalized Invariant Subspaces and Robust Disturbance-Rejection Problems with Incomplete-State Feedback" |
| ISE-TR-97-146 |
Koichi Ichige, Naohisa Otsuka, Rokuya Ishii "Fast Algorithms to Compute Frequency Transformation Matrices for IIR Digital Filters" |
| ISE-TR-97-147 |
Takahito Kuno "Solving a Class of Multiplicative Programs with the 0-1 Knapsack Constraint" |
| ISE-TR-97-148 |
Naohisa Otsuka "Generalized Invariant Subspaces for Infinite-Dimensional Systems" |
| ISE-TR-97-149 |
Kazutaka Umayahara, Yoshiteru Nakamori "Fuzzy c-Varieties with Different Dimensionalities" |
| ISE-TR-98-150 |
Takahito Kuno, Takahiro Utsunomiya "A Lagrangian Based Branch-and-Bound Algorithm for Production-Transportation Problems" |
| ISE-TR-98-151 |
B. Buchberger, M. Chakravarty, J. Darlington, Y. Guo, T. Ida, I. Mejuev,
W. Schreiner "KNOWLEDGE WEB - A Design and Feasibility Study" |
| ISE-TR-98-152 |
Munehiro Fukuda , Lubomir F. Bic "Parallel Graph Computation Using Autonomous Objects" |
| ISE-TR-98-153 |
Naohisa Otsuka "Generalized (C,A,B)-pair and Robust Disturbance-Rejection Problem with Dynamic Compensator" |
| ISE-TR-98-154 |
Kazuhiko Kato, Yuuichi Someya, Katsuya Matsubara, Kunihiko Toumura,
Hirotake Abe "An Approach to Mobile Software Robots for the WWW" |
| ISE-TR-98-155 |
Takahito Kuno "Polynomial Algorithms for a Class of Minimum Rank-Two Cost Path Problems" |
| ISE-TR-98-156 |
Eitan Altman, Hisao Kameda "UNIQUENESS OF SOLUTIONS FOR OPTIMAL STATIC ROUTING IN MULTI-CLASS OPEN NETWORKS" |
| ISE-TR-98-157 |
Hisao Kameda, Eitan Altman, Takayuki Kozawa "BRAESS-LIKE PARADOXES OF NASH EQUILIBRIA FOR LOAD BALANCING IN DISTRIBUTED COMPUTER SYSTEMS" |
| ISE-TR-99-158 |
Mircea Marin, Tetsuo Ida, Aart Middeldorp, Takura Yanagi "LNCA: A Lazy Narrowing Calculus for Applicative Term Rewriting Systems" |
| ISE-TR-99-159 |
Takahito Kuno "A Finite Branch-and-Bound Algorithm for Linear Multiplicative Programming" |
| ISE-TR-99-160 |
Naoya Suzuki, Munehiro Fukuda, Lubomir F. Bic "A Design of Self-Migrating Threads in C++" |
| ISE-TR-99-161 |
Takeshi Ishii, Takahito Kuno "A finite pivoting algorithm for minimizing a single criterion over the tricriteria efficient set" |
| ISE-TR-99-162 |
Tetsuya Sakurai, Hiroshi Sugiura "On Factorization of Analytic Functions and its Verification" |
| ISE-TR-99-163 |
Shoji Itoh, Shao-Liang Zhang, Makoto Natori, Hidehiko Hasegawa "Rotated Alternative LU Decomposition Method and Its Preconditioner for Periodic Block Pentadiagonal Linear Systems on Vector Processor." |
| ISE-TR-00-164 |
Hisao Kameda, Yoshihisa Hosokawa "A PARADOX IN DISTRIBUTED OPTIMIZATION OF PERFORMANCE" |
| ISE-TR-00-165 |
Atsuyuki Morishima, Seiichi Koizumi, Hiroyuki Kitagawa "Drag and Drop: Amalgamation of Authoring, Querying, and Restructuring for Multimedia View Construction" |
| ISE-TR-00-166 |
山際 伸一, 福田 宗弘, 和田 耕一 "クラスタコンピューテイングのための通信路最適化 ～ Maestro ネットワークの開発と性能評価 ～" |
| ISE-TR-00-167 |
Yoshihisa Hosokawa, Hisao Kameda, Odile Pourtallier "NUMERICAL STUDIES ON BRAESS-LIKE PARADOXES IN LOAD BALACING" |
| ISE-TR-00-168 |
Hisao Kameda, Odile Pourtallier "A CHARACTERIZATION OF PARADOXES IN DISTRIBUTED OPTIMIZATION OF PERFORMANCE FOR MULTIPLICATED SYSTEMS" |
| ISE-TR-00-169 |
Toshiyuki Yamada "Confluence of Orthogonal Higher-Order Rewrite Systems: Proof by Parallel Moves" |
| ISE-TR-00-170 |
Shoji Itoh, Shao-Liang Zhang, Yoshio Oyanagi, Makoto Natori "Splitting Correction Preconditioner for Linear Systems that Arise from Periodic Boundary Problems" |
| ISE-TR-00-171 |
Naohisa Otsuka "A Disturbance-Rejection Problem with Minimal Order Dynamic Compensator for Linear ω-Periodic Discrete-Time Systems" |
| ISE-TR-00-172 |
Naohisa Otsuka "Generalized Controlled and Conditioned Invariances for Linear ω-Periodic Discrete-Time Systems" |
| ISE-TR-00-173 |
丁 錫泰, 田中 二郎 "ビジュアルシステム生成系Rainbow" |
| ISE-TR-00-174 |
Hisao Kameda, Eitan Altman, Odile Pourtallier "Analytic Study of Distributed Optima Coexisting within a Network of Homogeneous Computers" |
| ISE-TR-00-175 |
Takahito Kuno "A Branch-and-Bound Algorithm for Maximizing the Sum of Several Linear Ratios" |
| ISE-TR-01-176 |
Kenichi Kourai, Shigeru Chiba "A Secure Access Control Mechanism against Internet Crackers" |
| ISE-TR-01-177 |
Hiroyuki Kitagawa. Tomoyuki Kajino, Yoshiharu Ishikawa "Algebraic Service Specification and Rule Generation for Integrating Multiple Dissemination-Based Information Sources" |
| ISE-TR-01-178 |
藤山 健一郎, 田中 二郎 "VIC: 例示入力図を用いたSpatial Parser Generator" |
| ISE-TR-01-179 |
Hisao Kameda "The Worst Ratio of Paradoxical Cost Degradation in the Braess Network" |
| ISE-TR-01-180 |
Mircea Marin, Taro Suzuki, Tetsuo Ida "Refinements of Lazy Narrowing for Left-Linear Fully-Extended Pattern Rewrite Systems" |
| ISE-TR-01-181 |
Takahito Kuno, Jianming Shi "Linear Programs with an Additional Separable Concave Constraint" |
| ISE-TR-01-182 |
Yushan Zhu, Takahito Kuno "A global optimization method, QBB, for twice-differentiable nonconvex optimization problem" |
| ISE-TR-01-183 |
Hisao Kameda, Said Fathy El-Zoghdy, Jie Li "A PERFORMANCE COMPARISON OF DYNAMIC VS. STATIC LOAD BALANCING POLICIES IN A MAINFRAME-PERSONAL COMPUTER NETWORK MODEL" |
| ISE-TR-01-184 |
Tetsuo Ida "Japan-Tunisia Workshop on Informatics JTWIN 2001" |
| ISE-TR-02-185 |
Kazuhiko Kato, Yoshihiro Oyama "SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation" |
| ISE-TR-02-186 |
Yushan Zhu, Takahito Kuno "Global optimization of nonconvex MINLP by a hybrid branch-and-bound and revised general Benders decomposition method" |
| ISE-TR-02-187 |
Toshiyuki Inagaki "Adaptive Automation: Sharing and Tradng of Control" |
| ISE-TR-02-188 |
Yoshiharu Ishikawa, Hiroyuki Kitagawa, Tooru Kawashima "Continual Neighborhood Tracking for Moving Objects Using Adaptive Distances" |
| ISE-TR-02-189 |
Tetsuya Sakurai, Hiroshi Sugiura "A projection method for generalized eigenvalue problems" |
| ISE-TR-03-190 |
Yushan Zhu, Takahito Kuno "A disjunctive cutting plane based branch-and-cut algorithm for 0-1 mixed-integer nonlinear programs" |
| ISE-TR-03-191 |
Tsutomu Miyauchi, Shoji Itoh, Shao-Liang Zhang, Makoto Natori "Dynamic selection of L for Bi-CGSTAB(L)" |
| ISE-TR-03-192 |
Yasuhiko Minamide "Selective Tail Call Elimination" |
| ISE-TR-03-193 |
Hisao Kameda, Eitan Altman "Inefficiency of Nash Equilibria in Networking Games of Common-Pool Resources" |
| ISE-TR-03-194 |
Takahito Kuno "A Revision of the Trapezoidal Branch-and-Bound Algorithm for Linear Sum-of-Ratios Problems" |
| ISE-TR-04-195 |
Hisao Kameda "Bounds on Benefits and Harms of Adding Connections to Noncooperative Networks" |
| ISE-TR-04-196 |
Atsuyuki Morishima, Akira Matsumoto, Hiroyuki Kitagawa "XLearner: A System to Learn XML Queries from Examples" |
| ISE-TR-04-197 |
Hidetoshi Nagai, Takahito Kuno "A Simplicial Branch-and-Bound Algorithm for Production-Transportation Problems with Inseparable Concave Production Cost" |
| ISE-TR-04-198 |
Takahito Kuno, Hidetoshi Nagai "A Simplicial Algorithm with Two-Phase Bounding Operation for a Class of Concave Minimization Problems" |
