close
1.

図書

図書
Shahar Mendelson, Alexander J. Smola (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  257 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2600 . Lecture notes in artificial intelligence
所蔵情報: loading…
2.

図書

図書
Ivan Dimov ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 574 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2542
所蔵情報: loading…
3.

図書

図書
Dimitri Konstantas ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 426 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2817
所蔵情報: loading…
4.

図書

図書
Peter Y.K. Cheung, George A. Constantinides, Jose T. de Sousa (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxvi, 1179 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2778
所蔵情報: loading…
5.

図書

図書
Hyun-Kook Kahng (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvii, 1032 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2662
所蔵情報: loading…
6.

図書

図書
Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2677
所蔵情報: loading…
7.

図書

図書
Fengshan Bai, Bernd Wegner (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 188 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2730
所蔵情報: loading…
目次情報: 続きを見る
The Development of E-mathematics Resources at Tsinghua University Library (THUL) / Guilin Liu ; Lisheng Feng ; Airong Jiang ; Xiaohui Zheng
MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents / Andrea Asperti ; Bernd Wegner
SINM: The Italian National Information System for Mathematics / Virginia Valzano ; Maria Carmela Catamo
Management of Informal Mathematical Knowledge - Lessons Learned from the Trial-Solution Project / Ingo Dahn
RusDML - A Russian-German Project for Establishing a Digital Archive of the Russian Mathematical Publications / Galina A. Evstigneeva ; Andrei I. Zemskov
Predicting the Future of Scholarly Publishing / John Ewing
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge / Bernd D. Heumesser ; Dietmar A. Seipel ; Ralf-Dieter Schimkat ; Ulrich Guntzer
International Copyright and Mathematics / Wilfrid Hodges
EMIS 2001 - A World-Wide Cooperation for Communicating Mathematics Online / Michael Jost
Math-Net Means Not Just a Page! / Michael Kaplan
Mathematics Subject Classification and Related Schemes in the OAI Framework / Antonella De Robbio ; Dario Maguolo ; Alberto Marini
Metadata Models - International Developments and Implementation / Heike Neuroth ; Margo Bargheer
LIMES - An Infrastructure for the Benefit of Mathematicians in the Information Society / Olaf Ninnemann
Peer Refereeing..Will It Be Missed? / Alfred J. van der Poorten
Geometry & Topology Publications A Community Based Publishing Initiative / Colin Rourke ; Brian Sanderson
The Web: Challenge and Opportunity for an Independent Journal / Klaus Kaiser
Math-Net International and the Math-Net Page / Wolfram Sperber
EMANI - A Project for the Long-Term Preservation of Electronic Publications in Mathematics
Author Index
The Development of E-mathematics Resources at Tsinghua University Library (THUL) / Guilin Liu ; Lisheng Feng ; Airong Jiang ; Xiaohui Zheng
MOWGLI - An Approach to Machine-Understandable Representation of the Mathematical Information in Digital Documents / Andrea Asperti ; Bernd Wegner
SINM: The Italian National Information System for Mathematics / Virginia Valzano ; Maria Carmela Catamo
8.

図書

図書
Frans Kaashoek, Ion Stoica (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 316 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2735
所蔵情報: loading…
9.

図書

図書
Vladimír Mařík, Werner Retschitzegger, Olga Štĕpánková (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xx, 945 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2736
所蔵情報: loading…
10.

図書

図書
Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2737
所蔵情報: loading…
11.

図書

図書
Kurt Bauknecht, A Min Tjoa, Gerald Quirchmayr (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2738
所蔵情報: loading…
12.

図書

図書
Vasile Palade, Robert J. Howlett, Lakhmi Jain (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2773-2774 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書

図書
Michael J. Wilson, Ralph R. Martin (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 391 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2768
所蔵情報: loading…
14.

図書

図書
Yang Xiang, Brahim Chaib-draa (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 642 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2671 . Lecture notes in artificial intelligence
所蔵情報: loading…
15.

図書

図書
Nicholas Ayache, Hervé Delingette (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 386 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2673
所蔵情報: loading…
16.

図書

図書
Ricardo Baeza-Yates, Edgar Chávez, Maxime Crochemore (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 401 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2676
所蔵情報: loading…
17.

図書

図書
Wil van der Aalst, Arthur ter Hofstede, Mathias Weske (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2678
所蔵情報: loading…
18.

図書

図書
Wil van der Aalst, Eike Best (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 508 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2679
所蔵情報: loading…
19.

図書

図書
Patrick Blackburn ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2680 . Lecture notes in artificial intelligence
所蔵情報: loading…
20.

図書

図書
Radhia Cousot (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2694
所蔵情報: loading…
21.

図書

図書
Lewis D. Griffin, Martin Lillholm (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 816 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2695
所蔵情報: loading…
22.

図書

図書
Peter Brusilovsky, Albert Corbett, Fiorella de Rosis (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2702 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書

図書
Robert Nieuwenhuis (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2706
所蔵情報: loading…
24.

図書

図書
Terry Windeatt, Fabio Roli (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 406 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2709
所蔵情報: loading…
25.

図書

図書
Chin-Wan Chung ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxii, 773 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2713
所蔵情報: loading…
26.

図書

図書
Kevin D. Ashley, Derek G. Bridge (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 734 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2689 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
Shing-Tsaan Huang, Ted Herman (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 214 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2704
所蔵情報: loading…
28.

図書

図書
Okyay Kaynak ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxii, 1188 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2714
所蔵情報: loading…
29.

図書

図書
Michael J. Voss (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2716
所蔵情報: loading…
30.

図書

図書
Paul W.H. Chung, Chris Hinde, Moonis Ali (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 817 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2718 . Lecture notes in artificial intelligence
所蔵情報: loading…
31.

図書

図書
[Masami Ito, Masafumi Toyama (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2450
所蔵情報: loading…
32.

図書

図書
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: loading…
33.

図書

図書
Christian Freksa ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 414 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2685 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書

図書
Marc-Philippe Huget (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  viii, 322 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2650 . Lecture notes in artificial intelligence
所蔵情報: loading…
35.

図書

図書
Anand Rangarajan, Mário Figueiredo, Josiane Zerubia (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2683
所蔵情報: loading…
36.

図書

図書
[Concettina Guerra, Sorin Istrail (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 157 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2666 . Lecture notes in bioinformatics
所蔵情報: loading…
目次情報: 続きを見る
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Introduction / 1:
Preliminaries / 2:
Applications of Structure Comparisons / 3:
Software and Algorithms for Structure Comparison / 4:
Problems Based on Contact Map Representations / 5:
Acknowledgements / 6:
References
Spatial Pattern Detection in Structural Bionformatics / Haim J. Wolfson
Protein Shape Representation
Protein Structural Alignment
Protein-Protein Docking
Summary
Geometric Methods for Protein Structure Comparison / Carlo Ferrari ; Concettina Guerra
Protein Description
Structural Comparison: Problem Formulation
Representation of Rigid Transformations
Determination of 3D Rigid Transformations
Geometric Pattern Matching
Indexing Techniques / 7:
Graph-Theoretic Approaches / 8:
Integration of Methods for Protein Comparison Using Different Representations / 9:
Conclusions / 10:
Identifying Flat Regions and Slabs in Protein Structures / Mary Ellen Bock11:
A Geometric Algorithm
An Improved Geometric Algorithm
Hough Transform
Performances of the Two Algorithms
Plane Detection in Proteins
Optima: A New Score Function for the Detection of Remote Homologs / Maricel Kann ; Richard A. Goldstein
Abstract
Methods
A Comparison of Methods for Assessing the Structural Similarity of Proteins / Dean C. Adams ; Gavin J.P. Naylor
The DALI Algorithm
The Root Mean Square Algorithm
Geometric Morphometrics
Comparison of Methods
Discussion
Prediction of Protein Secondary Structure at High Accuracy Using a Combination of Many Neural Networks / Claus Lundegaard ; Thomas Nordahl Petersen ; Morten Nielsen ; Henrik Bohr ; Jacob Bohr ; Soren Brunak ; Garry Gippert ; Ole Lund
Results
Self-consistent Knowledge-Based Approach to Protein Design / Andrea Rossi ; Cristian Micheletti ; Flavio Seno ; Amos Maritan
The Design Strategy
Results and Discussion
Protein Structure from Solid-State NMR / John R. Quine ; Timothy A. Cross
Discrete Curves
Tensors and NMR
Structure from Orientational Constraints
Acknowledgment
Learning Effective Amino-Acid Interactions / Jayanth R. Banavar
Models and Techniques
Proteinlike Properties of Simple Models / Yves-Henri Sanejouand ; Georges Trinquier
The 3x3x3 Cubic Lattice Model
N-Soft-Spheres Models
List of participants
Protein Structure Comparison: Algorithms and Applications / Giuseppe Lancia ; Sorin Istrail
Introduction / 1:
Preliminaries / 2:
37.

図書

図書
Wojciech Burakowski, Berthold Koch, Andrzej Bęben (eds. )
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 304 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2698
所蔵情報: loading…
38.

図書

図書
Erick Cantú-Paz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  2 v. (xlvii, 2520 p.) ; 24 cm
シリーズ名: Lecture notes in computer science ; 2723-2724
所蔵情報: loading…
39.

図書

図書
Martin V. Butz, Olivier Sigaud, Pierre Gérard (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 301 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2684 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Philosophical Considerations
Whose Anticipations? / Alexander Riegler
Not Everything We Know We Learned / Mihai Nadin
From Cognitive Psychology to Cognitive Systems Anticipatory Behavioral Control / Joachim Hoffmann
Towards a Four Factor Theory of Anticipatory Learning / Mark Witkowski
Formulations, Distinctions, and Characteristics Internal Models and Anticipations in Adaptive Learning Systems
Mathematical Foundations of Discrete and Functional Systems with Strong and Weak Anticipations / Daniel M. Dubois
Anticipation Driven Artificial Personality: Building on Lewin and Loehlin / Stevo Bozinovski
A Framework for Preventive State Anticipation / Paul Davidsson
Symbols and Dynamics in Embodied Cognition: Revisiting a Robot Experiment / Jun Tani
Systems, Evaluations, and Applications Forward and Bidirectional Planning Based on Reinforcement Learning and Neural Networks in a Simulated Robot / Gianluca Baldassarre
Sensory Anticipation for Autonomous Selection of Robot Landmarks / Jason Fleischer ; Stephen Marsland ; Jonathan Shapiro
Representing Robot-Environment Interactions by Dynamical Features of Neuro-controllers / Martin Hülse ; Keyan Zahedi ; Frank Pasemann ; Sankt Augustin
Anticipatory Guidance of Plot / Jarmo Laaksolahti ; Magnus Boman
Exploring the Value of Prediction in an Artificial Stock Market / Bruce Edmonds
Generalized State Values in an Anticipatory Learning Classifier System / David E. Goldberg
Author Index
Introduction
Anticipatory Behavior: Exploiting Knowledge About the Future toImprove Current Behavior / Martin V. Butz ; Olivier Sigaud ; Pierre Gerard
Philosophical Considerations
40.

図書

図書
Rei Safavi-Naini, Jennifer Seberry (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2727
所蔵情報: loading…
41.

図書

図書
Josef Bigun, Tomas Gustavsson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xxii, 1173 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2749
所蔵情報: loading…
42.

図書

図書
Jos C.M. Baeten ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xviii, 1199 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2719
所蔵情報: loading…
43.

図書

図書
Zoltán Ésik, Zoltán Fülöp (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2710
所蔵情報: loading…
44.

図書

図書
Warren A. Hunt, Jr., Fabio Somenzi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 462 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2725
所蔵情報: loading…
目次情報: 続きを見る
Extending Bounded Model Checking
Interpolation and SAT-Based Model Checking / K.L. McMillan
Bounded Model Checking and Induction: From Refutation to Verification / Leonardo de Moura ; Harald Rueb ; Maria Sorea
Symbolic Model Checking
Reasoning with Temporal Logic on Truncated Paths / Cindy Eisner ; Dana Fisman ; John Havlicek ; Yoad Lustig ; Anthony McIsaac ; David Van Campenhout
Structural Symbolic CTL Model Checking of Asynchronous Systems / Gianfranco Ciardo ; Radu Siminiceanu
A Work-Efficient Distributed Algorithm for Reachability Analysis / Orna Grumberg ; Tamir Heyman ; Assaf Schuster
Games, Trees, and Counters
Modular Strategies for Infinite Games on Recursive Graphs / Rajeev Alur ; Salvatore La Torre ; P. Madhusudan
Fast Mu-Calculus Model Checking when Tree-Width Is Bounded / Jan Obdr álek
Dense Counter Machines and Verification Problems / Gaoyan Xie ; Zhe Dang ; Oscar H. Ibarra ; Pierluigi San Pietro
Tool Presentations I
TRIM: A Tool for Triggered Message Sequence Charts / Bikram Sengupta ; Rance Cleaveland
Model Checking Multi-Agent Programs with CASP / Rafael H. Bordini ; Michael Fisher ; Carmen Pardavila ; Willem Visser ; Michael Wooldridge
Monitoring Temporal Rules Combined with Time Series / Doron Drusinsky
FAST: Fast Acceleration of Symbolic Transition Systems / Sébastien Bardin ; Alain Finkel ; Jérôme Leroux ; Laure Petrucci
Rabbit: A Tool for BDD-Based Verification of Real-Time Systems / Dirk Beyer ; Claus Lewerentz ; Andreas Noack
Abstraction I
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates / Edmund Clarke ; Muralidhar Talupur ; Dong Wang
A Symbolic Approach to Predicate Abstraction / Shuvendu K. Lahiri ; Randal E. Bryant ; Byron Cook
Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean Methods / Sanjit A. Seshia
Dense Time
Digitizing Interval Duration Logic / Gaurav Chakravorty ; Paritosh K. Pandya
Timed Control with Partial Observability / Patricia Bouyer ; Deepak D'Souza ; Antoine Petit
Hybrid Acceleration Using Real Vector Automata / Bernard Boigelot ; Frédéric Herbreteau ; Sébastien Jodogne
Tool Presentations II
Abstraction and BDDs Complement SAT-Based BMC in DiVer / Aarti Gupta ; Malay Ganai ; Chao Wang ; Zijiang Yang ; Pranav Ashar
TLQSolver: A Temporal Logic Query Checker / Marsha Chechik ; Arie Gurfinkel
Evidence Explorer: A Tool for Exploring Model-Checking Proofs / Yifei Dong ; C.R. Ramakrishnan ; Scott A. Smolka
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols / Liana Bozga ; Yassine Lakhnech ; Michaël Périn
Infinite State Systems
Iterating Transducers in the Large / Axel Legay ; Pierre Wolper
Algorithmic Improvements in Regular Model Checking / Parosh Aziz Abdulla ; Bengt Jonsson ; Marcus Nilsson ; Julien d'Orso
Efficient Image Computation in Infinite State Model Checking / Constantinos Bartzis ; Tevfik Bulta
Abstraction II
Thread-Modular Abstraction Refinement / Thomas A. Henzinger ; Ranjit Jhala ; Rupak Majumdar ; Shaz Qadeer
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement / Sharon Shoham
Abstraction for Branching Time Properties / Kedar S. Namjoshi
Applications
Certifying Optimality of State Estimation Programs / Grigore Roşu ; Ram Prasad Venkatesan ; Jon Whittle ; Laurenţiu Leuştean
Domain-Specific Optimization in Automata Learning / Hardi Hungar ; Oliver Niese ; Bernhard Steffen
Model Checking Conformance with Scenario-Based Specifications / Marcelo Glusman ; Shmuel Katz
Theorem Proving
Deductive Verification of Advanced Out-of-Order Microprocessors / Randal E. Bryan
Theorem Proving Using Lazy Proof Explication / Cormac Flanagan ; Rajeev Joshi ; Xinming Ou ; James B. Saxe
Automata-Based Verification
Enhanced Vacuity DetectioninLinearTemporal Logic / Roy Armoni ; Limor Fix ; Alon Flaisher ; Nir Piterman ; Andreas Tiemeyer ; Moshe Y. Vardi
Bridging the Gap between Fair Simulation and Trace Inclusion / Yonit Kesten ; Amir Pnueli
An Improved On-the-Fly TableauConstructionforaReal-Time Temporal Logic / Marc Geilen
Invariants
Strengthening Invariants by Symbolic Consistency Testing / Husam Abu-Haimed ; Sergey Berezin ; David L. Dill
Linear Invariant Generation Using Non-linear Constraint Solving / Michael A. Colón ; Sriram Sankaranarayanan ; Henny B. Sipma
Explicit Model Checking
To Store or Not to Store / Gerd Behrmann ; Kim G. Larsen ; Radek Pelanek
Calculating r-Confluence Compositionally / Gordon J. Pace ; Frédéric Lang ; Radu Mateescu
Author Index
Extending Bounded Model Checking
Interpolation and SAT-Based Model Checking / K.L. McMillan
Bounded Model Checking and Induction: From Refutation to Verification / Leonardo de Moura ; Harald Rueb ; Maria Sorea
45.

図書

図書
Jean-Marc Champarnaud, Denis Maurel (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 306 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2608
所蔵情報: loading…
46.

図書

図書
Rick Reed, Jeanne Reed (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2708
所蔵情報: loading…
47.

図書

図書
Erwin M. Bakker ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 512 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2728
所蔵情報: loading…
48.

図書

図書
Taner Bilgiç, Bernard De Baets, Okyay Kaynak (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xv, 735 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2715 . Lecture notes in artificial intelligence
所蔵情報: loading…
49.

図書

図書
Mário Marques Freire, Pascal Lorenz, Mike Myung-Ok Lee (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 582 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2720
所蔵情報: loading…
目次情報: 続きを見る
Integrated and Differentiated Services
Dynamic Mapping between the Controlled-Load IntServ Service and the Assured Forward DiffServ PHB / A. Pereira ; E. Monteiro
Analytical Approach and Verification of a DiffServ-Based Priority Service / C. Bouras ; A. Sevasti
Evaluation of Integrated Services Support on Linux / E. Reis
End-to-End QoS Mapping in IntServ-over-DiffServ Architectures / Z. Mammeri
Multicasting
A RTT-based Partitioning Algorithm for a Multi-rate Reliable Multicast Protocol / M. Maimour ; C.-D. Pham
Towards Multi-class Based Multicast Routing / M.J. Nicolau ; A. Costa ; A. Santos ; V. Freitas
ECN-capable Multicast Multimedia Delivery / R.R. Chodorek
Peer-to-Peer Networking
Providing Fault Tolerance for Peer-to-Peer Streaming Service / S.Kang ; H.Kim ; H. Y.Yeom
Efficient and Scalable Client-Clustering for Proxy Cache / K. Kim ; W.J. Kim ; D. Park
Diversity Protected, Cache Based Reliable Content Distribution Building on Scalable, P2P, and Multicast Based Content Discovery / C. Bachmeir ; J. Peng ; H.-J. Vögel ; C. Wallace ; G. Conran
A Measurement Study of Storage Resource and Multimedia Contents on a High-Performance Research and Education Network / H.-c. Kim ; D. Lee ; J. Lee ; J.J.W. Suh ; K. Chon
Quality of Service
Deployment of Class-Based Routing in Wide Area Networks: Cost and Performance Assessment / M. Curado ; O. Reis ; J. Brito ; G. Quadros
Prediction-Based Dynamic QoS Assurance for Multicast Multimedia Delivery / A. Chodorek
A QoS Based Routing Algorithm for Multi-class Optimization in DiffServ Networks / W. Zhou ; P. Zhang ; X. Bai ; R. Kantola
An Open Modular Router with QoS Capabilities / G. Calarco ; C. Raffaelli
Network and Information Management Issues
A SMIng Based Policy Access Control for SNMPv3 / R. State ; E. Nataf ; O. Festor
An Innovative Resource Management Scheme for Multi-gigabit Networking Systems / G. Kornaros ; I. Papaefstathiou
Rate-Based Active Queue Management with Token Buckets / A. Kind ; B. Metzler
Towards Web-Based Information and Knowledge Management in Higher Education Institutions / J.J.P.C. Rodrigues ; M.J. Barrulas
WDM Networks
A Bi-initiation-Based Path Restoration Mechanism for Wavelength-Routed WDM Networks / J. Zheng ; H. T. Mouftah
A Resource Efficient Optical Protection Scheme for IP-over-WDM Networks / N.S.C. Correia ; M.C.R. Medeiros
A Service and Network Management Framework for Providing Guaranteed QoS IP Services over WDM / D. Kagklis ; L.Raptis ; Y. Patikis ; G.Hatzilias ; M.Ellinas ; D. Giannakopoulos ; E. Sykas
The Study on the Traffic Modeling with PI and the Design for the All Optical Network Modeling with WDM in Korea / M. Jang ; H. Choi
Mobile and Wireless Networks
Multihoming with Mobile IP / C. Ã…hlund ; A. Zaslavsky
Dynamic Proportional Delay Differentiation Scheduling over IEEE 802.11 Wireless Network / K. Yoon ; J.W. Kim
Bluetooth Throughput Improvement Using a Slave to Slave Piconet Formation / C. Lafon ; T.S. Durrani
Video
User-Assisted Segmentation and Tracking of Video Objects / Y. Nam ; E. Hwang ; S.-H. Hong ; M.M.-O. Lee
An Efficient Rate-Distortion Analysis Model for MPEG Video
Multiple Description Coding for Quincunx Images. Application to Satellite Transmission / M. Pereira ; A. Gouze ; M. Antonini ; M. Barlaud
CDMA
Base Station Joint Scheduling for Downlink Throughput Maximization in CDMA Packet Data Networks / C. Makaya ; S. Aïssa
Implementation of Digital Transceiver for Multiple CDMA Signals / J.H. Jung ; K.C. Lee ; D.S. Lyu
The Implementation of 256 QAM CDMA Modulator / J.W. Shin ; H.J. Park ; D.S. Cho ; C.W. Yoo ; Y.O. Park
Real Time Issues and Protocols for IP Networks
HIDRA: HIstory Directed Routing Algorithm for IP Networks / P. Fafali ; C.Z. Patrikakis ; E.N. Protonotarios
A Dimensioning Strategy for Almost Guaranteed Quality of Service in Voice over IP Networks / S. Sharafeddine ; A. Riedl ; J. Totzke
An Admission Control Scheme for Voice Traffic over IP Networks / H. T. Tran ; T. Ziegler
IP Concatenation: The Method for Enhancement of IPsec Performance / J. Moon ; H.Y. Yeom
Multimedia Streaming
Analysis Tool for a Video-on-Demand Service Based in Streaming Technology / X. G. Pañeda ; D. Melendi ; M. García ; V. García|CR. García ; E. Riesgo
Extending an Open MPEG-4 Video Streaming Platform to Exploit a Differentiated Services Network / S. Zoi ; D. Loukatos ; L. Sarakis ; P. Stathopoulos ; N. Mitrou
Multiple Description Coding for Video Streaming over Wireless Networks
A Playout Time Oriented Retransmission Scheme for Multimedia Streaming Systems / H. Hagino ; Y. Miyazaki ; Y. Onoe ; Y. Atsumi ; H. Komak ; M. Taniguchi ; N. Yamanouchi
Optical Switching and Performance Monitoring
On the Capacity Requirements of ASONs versus OTNs / S. De Maesschalck ; D. Colle ; D. Willems ; M. Pickavet ; P. Demeester
Crosstalk Effects in Large Strictly Non-blocking Optical Switches Based on Directional Couplers / L. Cancela ; J. Pires
Multiplexers and Demultiplexers Based on Fibre Bragg Gratings and Optical Circulators for DWDM Systems / R. Romero ; O.Frazão ; F. Floreani ; L. Zhang ; P.V.S. Marques ; H.M. Salgado
Optical Performance Monitoring in High Speed Transparent DWDM Networks through Asynchronous Sampling / P.S. André ; A.L.J. Teixeira ; M.J.N. Lima ; R.N. Nogueira ; J.F. da Rocha ; J.L. Pinto
TCP Performance
Performance Comparison between TCP-Reno and Freeze-Snoop TCP/SACK over cdma2000 Network Environments|CS.-H Lee / H.-G. Ahn ; J.-S Lim ; S. Kim ; S.-Y. Lee ; M.-S. Lee
RD-TCP: Reorder Detecting TCP / A. Sathiaseelan ; T. Radzik
Explicit Loss Notification to Improve TCP Performance over Wireless Networks / G. Buchholcz ; A. Gricser ; T.V. Do
Comparing Performance of SRAMT-LE Vs. Other Layered Encoding Schemes Regarding TCP Friendliness / A. Gkamas
Voice over IP
Design and Development of a SIP-based Video Conferencing Application / B. Tulu ; T. Abhichandani ; S. Chatterjee ; H. Li
Optimal On-Demand VoIP Quality in an H.323 Network / R. Estepa ; A. Estepa ; R. Rivero ; J.M. Vozmediano
VAD for VoIP Using Cepstrum / R.V. Prasad ; H.S. Jamadagni ; A. Sangwan ; Chiranth M.C.
Development of a Voice over IP Applications for a Metropolitan Area Network / A. Heck ; P. Lorenz ; H. Bloch
Traffic Models
Traffic Model Characterization of an HFC Network / M. Garcia ; D.F. Garcia ; V.G. Garcia ; R. Bonis
Modeling Self-similar Traffic through Markov Modulated Poisson Processes over Multiple Time Scales / A. Nogueira ; P. Salvador ; R. Valadas ; A. Pacheco
Evaluation of Steady-State Probability of Pareto/M/1/K Experiencing Tail-Raising Effect / Y. Koh
A Comparative Study on Simulation Models for Self-similar Traffic / R. Girnão-Silva ; J. Craveirinha
Author Index
Integrated and Differentiated Services
Dynamic Mapping between the Controlled-Load IntServ Service and the Assured Forward DiffServ PHB / A. Pereira ; E. Monteiro
Analytical Approach and Verification of a DiffServ-Based Priority Service / C. Bouras ; A. Sevasti
50.

図書

図書
Thanasis Hadzilacos ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiii, 524 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2750
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼