close
1.

図書

図書
奥田, 健二(1925-) ; 佐々木, 聡(1957-) ; World Engineering Congress ; Taylor Society ; 大阪府
出版情報: 東京 : 五山堂書店, 1995.9  1冊 ; 27cm
シリーズ名: 日本科学的管理史資料集 / 奥田健二, 佐々木聡編 ; 第2集 図書篇 第4巻
所蔵情報: loading…
目次情報: 続きを見る
World Engineering Congress, Tokyo 1929, proceedings, vol. XXXVIII, Scientific Management
World Engineering Congress, Tokyo 1929, proceedings, vol. XVI, Railway Engineering part 4 (cars and maintenance of rolling stock)
Bulletin of the Taylor Society, vol. XV, no. 1(February, 1930)
産業合理化に関する講演集 / 大阪府 [ほか]
World Engineering Congress, Tokyo 1929, proceedings, vol. XXXVIII, Scientific Management
World Engineering Congress, Tokyo 1929, proceedings, vol. XVI, Railway Engineering part 4 (cars and maintenance of rolling stock)
Bulletin of the Taylor Society, vol. XV, no. 1(February, 1930)
2.

図書

図書
建設省土木研究所編集
出版情報: [つくば(茨城県)] : [建設省土木研究所], [1994.10]  195p ; 30cm
シリーズ名: 土木研究所資料 ; 第3301号
所蔵情報: loading…
3.

図書

図書
比嘉正範, 平賀正子著
出版情報: 東京 : 放送大学教育振興会, 1990.3  189p ; 21cm
シリーズ名: 放送大学教材 ; 31064-1-9011 . 英語||エイゴ ; 1
所蔵情報: loading…
4.

図書

図書
比嘉正範, Nicholas J.Teele編著
出版情報: 東京 : 放送大学教育振興会, 1990.3  181p ; 21cm
シリーズ名: 放送大学教材 ; 31101-1-9011 . 英語||エイゴ ; 5
所蔵情報: loading…
5.

図書

図書
比嘉正範, Nicholas J.Teele編著
出版情報: 東京 : 放送大学教育振興会, 1990.3  166p ; 21cm
シリーズ名: 放送大学教材 ; 31124-1-9011 . 英語||エイゴ ; 7
所蔵情報: loading…
6.

図書

図書
村山祐司著
出版情報: 東京 : 古今書院, 1991.2  17,311p ; 22cm
所蔵情報: loading…
7.

図書

図書
Setsuo Arikawa, Koichi Furukawa (eds.)
出版情報: Berlin ; Tokyo : Springer, c1999  xi, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1721 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
Satoshi Matsuoka, Rodney R. Oldehoeft, Marydell Tholburn (eds.)
出版情報: Berlin : Springer, c1999  viii, 203 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1732
所蔵情報: loading…
目次情報: 続きを見る
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
Theory and Practice / Federico Bassetti ; Kei Davis ; Madhav Marathe ; Dan Quinlan ; Bobby Philip
An Object-Oriented Framework for Parallel Simulation of Ultra-large Communication Networks / Dhananjai Madhava Rao ; Philip A. Wilsey
Exploiting Parallelism in Real-Time Music and Audio Applications / Amar Chaudhary ; Adrian Freed ; David Wessel
ARAMIS: A Remote Access Medical Imaging System / David Sarrut ; Serge Miguet
Language Interoperability for High-Performance Parallel Scientific Components / Brent Smolinski ; Scott Kohn ; Noah Elliott ; Nathan Dykman
A Framework for Object-Oriented Metacomputing / Nenad Stankovic ; Kang Zhang
Tiger: Toward Object-Oriented Distributed and Parallel Programming in Global Environment / Youn-Hee Han ; Chan Yeol Park ; Chong-Sun Hwang ; Young-Sik Jeong
SIFFEA: Scalable Integrated Framework for Finite Element Analysis / Xiangmin Jiao ; Xiang-Yang Li ; Xiaosong Ma
Overture: Object-Oriented Tools for Applications with Complex Geometry / David L. Brown ; William D. Henshaw
Generic Programming for Parallel Mesh Problems / Jens Gerlach ; Mitsuhisa Sato
Generic Graph Algorithms for Sparse Matrix Ordering / Lie-Quan Lee ; Jeremy G. Siek ; Andrew Lumsdaine
Using Object-Oriented Techniques for Realizing Parallel Architectural Skeletons / Dhrubajyoti Goswami ; Ajit Singh ; Bruno R. Preiss
Loci: A Deductive Framework for Graph-Based Algorithms / Edward A. Luke
The OptSolve++ Software Components for Nonlinear Optimization and Root-Finding / David L. Bruhwiler ; Svetlana G. Shasharina ; John R. Cary
Are Generic Parallel Algorithms Feasible for Quantum Lattice Models? / Matthias Troyer
A Runtime Monitoring Framework for the TAU Profiling System / Timothy J. Sheehan ; Allen D. Malony ; Sameer S. Shende
SharedOnRead Optimization in Parallel Object-Oriented Programming / Denis Caromel ; Eric Noulard ; David Sagnol
Branch and Bound Based Load Balancing for Parallel Applications / Shobana Radhakrishnan ; Robert K. Brunner ; Laxmikant V. Kale
Author Contacts
Author Index
Complex Numbers for Java / Michael Philippsen ; Edwin Günthner
Automatic Generation of Executable Data Structures / Nobuhisa Fujinami
Improving Cache Utilization of Linear Relaxation Methods:
9.

図書

図書
Hideyuki Nakashima, Chengqi Zhang (eds.)
出版情報: Berlin : Springer, c1999  xii, 240 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1733 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
Formal Semantics of Acknowledgements, Agreements and Disagreements Norihiro Ogata
Making Rational Decisions in N-by-N Negotiation Games with a Trusted Third Party / Shih-Hung Wu ; Von-Wun Soo
The Security Mechanism in Multiagent System AOSDE / Zhongzhi Shi ; Ju Wang ; Hu Cao
Mobility
Remote Messaging Mechanism Supporting Agent Mobility Based on CORBA / Byung-Rae Lee ; Kyung-Ah Chang ; Tai-Yun Kim
Persisting Autonomous Workflow for Mobile Agents Using a Mobile Thread Programming Model / Minjie Zhang ; Wei Li
Mobile Robot Navigation by Distributed Vision Agents / Takushi Sogo ; Hiroshi Ishiguro ; Toru Ishida
Learning
Rationality of Reward Sharing in Multi-agent Reinforcement Learning / Kazuteru Miyazaki ; Shigenobu Kobayashi
How to Design Good Rules for Multiple Learning Agents in Scheduling Problems? / Keiki Takadama ; Masakazu Watabe ; Katsunori Shimohara ; Shinichi Nakasuka
Hierarchical Multi-agent Organization for Text Database Discovery / Yong S. Choi ; Jaeho Lee ; Suk I. Yoo
Interfacing
Predicting User Actions Using Interface Agents with
Individual User Models / Jung-Jin Lee ; Robert McCartney
Gleams of People: Monitoring the Presence of People with
Multi-agent Architecture / Takeshi Ohguro ; Sen Yoshida ; Kazuhiro Kuwabara
System Design
Distributed Fault Location in Networks Using Learning Mobile Agents / Tony White ; Bernard Pagurek
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents / Bouchaib Bounabat ; Rahal Romadi ; Salah Labhalla
A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based
Multi-Agent System / Xudong Luo ; Chengqi Zhang ; Ho-fung Leung
An Agent Architecture for Strategy-Centric Adaptive QoS Control in Flexible Videoconference System / Takuo Suganuma ; SungDoke Lee ; Takuji Karahashi ; Tetsuo Kinoshita ; Norio Shiratori
Author Index
Cooperation
Flexible Multi-agent Collaboration Using Pattern Directed Message Collaboration of Field Reactor Model / Tadashige Iwao ; Makoto Okada ; Yuji Takada ; Makoto Amamiya
Reliable Agent Communication - A Pragmatic Perspective / David Kinny
10.

図書

図書
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.)
出版情報: Berlin : Springer, c1999  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1738
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
Dynamic Compressed Hyperoctrees with Application to the N-body Problem / Srinivas Aluru ; Fatih E. Sevilgen
Largest Empty Rectangle among a Point Set / Jeet Chaudhuri ; Subhas C. Nandy
Session 1(b)
Renaming Is Necessary in Timed Regular Expressions / Philippe Herrmann
Product Interval Automata: A Subclass of Timed Automata / Deepak D'Souza ; P. S. Thiagarajan
Session 2(a)
The Complexity of Rebalancing a Binary Search Tree / Rolf Fagerberg
Fast Allocation and Deallocation with an Improved Buddy System / Erik D. Demaine ; Ian J. Munro
Session 2(b)
Optimal Bounds for Transformations of ω-Automata / Christof Löding
CTL+ Is Exponentially More Succinct than CTL / Thomas Wilke
A Top-Down Look at a Secure Message / Martín Abadi ; Cédric Fournet ; Georges Gonthier
Session
Explaining Updates by Minimal Sums / Jürgen Dix ; Karl Schlechta
A Foundation for Hybrid Knowledge Bases / James J. Lu ; Neil V. Murray ; Erik Rosenthal
Hoare Logic for Mutual Recursion and Local Variables / David von Oheimb
Explicit Substitutions and Programming Languages / Jean-Jacques Lévy ; Luc Maranget
Session 5(a)
Approximation Algorithms for Routing and Call Scheduling in All-Optical Chains and Rings / Luca Becchetti ; Miriam Di Ianni ; Alberto Marchetti-Spaccamela
A Randomized Algorithm for Flow Shop Scheduling / Naveen Garg ; Sachin Jain ; Chaitanya Swamy
Session 5(b)
Synthesizing Distributed Transition Systems from Global Specifications / Ilaria Castellani ; Madhavan Mukund
Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata / Supratik Mukhopadhyay ; Andreas Podelski
Implicit Temporal Query Languages: Towards Completeness / Nicole Bidoit ; Sandra de Amo
On the Undecidability of Some Sub-classical First-Order Logics / Matthias Baaz ; Agata Ciabattoni ; Christian Fermüller ; Helmut Veith
How to Compute with DNA* / Lila Kari ; Mark Daley ; Greg Gloor ; Rani Siromoney ; Laura F. Landweber
Session 7(a)
A High Girth Graph Construction and a Lower Bound for Hitting Set Size for Combinatorial Rectangles / L. Sunil Chandran
Protecting Facets in Layered Manufacturing / Jörg Schwerdt ; Michiel Smid ; Ravi Janardan ; Eric Johnson ; Jayanth Majhi
Session 7(b)
The Receptive Distributed π-Calculus (Extended Abstract) / Roberto M. Amadio ; Gérard Boudol ; Cédric Lhoussaine
Series and Parallel Operations on Pomsets / Zoltán Ésik ; Satoshi Okawa
Unreliable Failure Detectors with Limited Scope Accuracy and an Application to Consensus / Achour Mostéfaoui ; Michel Raynal
Graph Isomorphism: Its Complexity and Algorithms / Seinosuke Toda
Session 9(a)
Computing with Restricted Nondeterminism: The Dependence of the OBDD Size on the Number of Nondeterministic Variables / Martin Sauerhoff
Lower Bounds for Linear Transformed OBDDs and FBDDs (Extended Abstract) / Detlef Sieling
Session 9(b)
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems / Michael Huth
Graded Modalities and Resource Bisimulation / Flavio Corradini ; Rocco De Nicola ; Anna Labella
Session 10(a)
The Non-recursive Power of Erroneous Computation / Christian Schindelhauer ; Andreas Jakoby
Analysis of Quantum Functions (Preliminary Version) / Tomoyuki Yamakami
Session 10(b)
On Sets Growing Continuously / Bernhard Heinemann
Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) / Ron van der Meyden ; Nikolay V. Shilov
FST&TCS - ISAAC Joint Session Talks
The Engineering of Some Bipartite Matching Programs / Kurt Mehlhorn
Author Index
Invited Talk
Recent Developments in the Theory of Arrangements of Surfaces / Micha Sharir
Session 1(a)
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼