Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title
- Publication, Distribution, etc.
- Size
- 30 cm
- Place of Publication (Country Code)
- ja
- Target Audience
- 一般
- Related Material
- XLearner : a system to learn XML queries from examplesA paradox in distributed optimization of performanceGeneralized (C, A, B)-pair and robust disturbance-rejection problem with dynamic compensatorParallel graph computation using autonomous objectsThe singular resolvent with applicationsKnowledgeWebUniqueness of solutions for optimal static routing in multi-class open networksA projection method for generalized eigenvalue problemsGeneralized controlled and conditioned invariances for linear ω-periodic discrete-time systemsContinual neighborhood tracking for moving objects using adaptive distancesA characterization of paradoxes in distributed optimization of performance for multiplicated systemsBraess-like paradoxes of nash equilibria for load balancing in distributed computer systemsSuccessive pursuit with a restricted detection domainJapan-Tunisia Workshop on Informatics : JTWIN 2001 : University of Tsukuba, October 25-26, 2001A global optimization method, QBB, for twice-differentiable nonconvex optimization problemA simplicial algorithm with two-phase bounding operation for a class of concave minimization problemsNumerical studies on Braess-like paradoxes in load balacingA Lagrangian based branch-and-bound algorithm for production-transportation problemsSelective tail call eliminationAnalytic study of distributed optima coexisting within a network of homogeneous computersAdaptive automation : sharing and trading of controlA simple pursuit game with an obstacle between playersA disturbance-rejection problem with minimal order dynamic compensator for linear ω-periodic discrete-time systemsA simplicial branch-and-bound algorithm for production-transportation problems with inseparable concave production costA branch-and-bound algorithm for maximizing the sum of several linear ratiosAlgebraic service specification and rule generation for integrating multiple dissemination-based information sourcesInefficiency of Nash equilibria in networking games of common-pool resourcesA performance comparison of dynamic vs. static load balancing policies in a mainframe-personal computer network modelLinear programs with an additional separable concave constraintGlobal optimization of nonconvex MINLP by a hybrid Branch-and-bound and revised general Benders decomposition methodThe worst ratio of paradoxical cost degradation in the Braess networkRefinements of lazy narrowing for left-linear fully-extended pattern rewrite systemsSplitting correction preconditioner for linear systems that arise from periodic boundary problemsDrag and drop : amalgamation of authoring, querying, and restructuring for multimedia view constructionSoftwarePot : an encapsulated transferable file system for secure software circulationAbstract machine approach to operational semantics of PrologA revision of the trapezoidal branch-and-bound algorithm for linear sum-of-rations problemsGlobally determining a minimum-area rectangle enclosing the projection of a higher-dimensional setThe subtraction problem generatingA secure access control mechanism against internet crackersDynamic selection of L for Bi-CGSTAB(L)LNCA : a lazy narrowing calculus for applicative term rewriting systemsHuman-computer interaction and cooperation for supervisory control of large-complex systemsA disjunctive cutting plane based branch-and-cut algorithm for 0-1 mixed-integer nonlinear programsBounds on benefits and harms of adding connections to noncooperative networksConfluence of orthogonal higher-order rewrite systems : proof by parallel movesPolynomial algorithms for a class of minimum rank-two cost path problemsAn approach to mobile software robots for the WWWA finite branch-and-bound algorithm for linear multiplicative programming
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research