close
1.

図書
図書
1. Foundations of Software Science and Computation Structures : 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
2.

図書
図書
2. Trends in Network and Pervasive Computing : ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 8-12, 2002, proceedings
Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.)
出版情報: Berlin : Springer, c2002  xiv, 286 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2299
所蔵情報: loading…
目次情報: 続きを見る
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
Context-Aware Systems / I：
An Architecture for the Integration of Physical and Informational Spaces / Scott M. Thayer ; Peter Steenkiste
A Context System for a Mobile Service Platform / Fritz Hohl ; Lars Mehrmann ; Amen Hamdan
Detecting Context in Distributed Sensor Networks by Using Smart Context-Aware Packets / Florian Michahelles ; Michael Samulowitz ; Bernt Schiele
System Aspects / II：
A Ubiquitous Control Architecture for Low Power Systems / James ôWezö Weatherall ; Duncan Grisby
Software Architecture-Based Adaptation for Pervasive Systems / Shang-Wen Cheng ; David Garlan ; Bradley Schmerl ; Joao Pedro Sousa ; Bridget Spitznagel ; Ningning Hu
KECho - Event Communication for Distributed Kernel Services / Christian Poellabauer ; Karsten Schwan ; Greg Eisenhauer ; Jiantao Kong
Networking 1 / III：
A Fine-Grained Addressing Concept for GeoCast / Peter Coschurba ; Kurt Rothermel ; Frank Durr
Data Paths in Wearable Communication Networks / Christian Decker ; Michael Beigl
Location and Network Quality Issues in Local Area Wireless Networks / Georgi Tonev ; Vaidy Sunderam ; Roger Loader ; James Pascoe
Processor Architecture / IV：
Design Tradeoffs for Embedded Network Processors / Tilman Wolf ; Mark A. Franklin
Reconfigurable RISC - A New Approach for Space-Efficient Superscalar Microprocessor Architecture / Sascha Wennekers ; Christian Siemers
Cached Two-Level Adaptive Branch Predictors with Multiple Stages / Colin Egan ; Gordon Steven ; Lucian Vintan
Middleware and Verification / V：
On the Combination of Assertions and Virtual Prototyping for the Design of Safety-Critical Systems / Tim Oodes ; Holger Krisp ; Christian Muller-Schloer
Ubiquitous Access to Wide-Area High-Performance Computing / Frank Burchert ; Stephan Gatzka ; Christian Hochberger ; Chang-Kun Lee ; Ulrike Lucke ; Djamshid Tavangarian
Filter Similarities in Content-Based Publish/Subscribe Systems / Gero Muhl ; Ludger Fiege ; Alejandro Buchmann
Networking 2 / VI：
A Bluetooth Remote Control System / Fridtjof Feldbusch ; Alexander Paar ; Manuel Odendahl ; Ivan Ivanov
Rendezvous Layer Protocols for Bluetooth-Enabled Smart Devices / Frank Siegemund ; Michael Rohs
A Robust Header Compression Simulator & Visualizer / Xiaoyuan Gu ; Hannes Hartenstein ; Stefan Fischer
Author Index
Invited Program
Keynote Communicating Cars: A Case for Ubiquitous Computing in the Automotive Domain / Ralf Guido Herrtwich
Keynote Microprocessor Architectures for the Mobile Internet Era / Marc Fleischmann
3.

図書
図書
3. Mobile Human-computer interaction - MobileHCI 2004 : 6th International Symposium, MobileHCI 2004, Glasgow, UK, September 13-16, 2004 : proceedings
Stephen Brewster, Mark Dunlop (eds.)
出版情報: Berlin : Springer, c2004  xvii, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3160
所蔵情報: loading…
4.

図書
図書
4. Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings
Pen-Chung Yew, Jingling Xue (eds.)
出版情報: Berlin : Springer, c2004  xvii, 598 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3189
所蔵情報: loading…
5.

図書
図書
5. Knowledge-based intelligent information and engineering systems : 8th International Conference, KES 2004, Wellington, New Zealand, September 20-25, 2004 : proceedings (pt. 1 ; pt. 2 ; pt. 3)
Mircea Gh. Negoita, Robert J. Howlett, Lakhmi C. Jain (eds.)
出版情報: Berlin : Springer, c2004  3 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3213-3215 . Lecture notes in artificial intelligence
所蔵情報: loading…
6.

図書
図書
6. Graph transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 : proceedings
Hartmut Ehrig ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xii, 450 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3256
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
Transformation Language Design: A Metamodelling Foundation / Tony Clark ; Andy Evans ; Paul Sammut ; James Willans
Integration Technology
Rule Execution in Graph-Based Incremental Interactive Integration Tools / Simon M. Becker ; Sebastian Lohmann ; Bernhard Westfechtel
Composition of Relations in Enterprise Architecture Models / René van Buuren ; Henk Jonkers ; Maria-Eugenia Jacob ; Patrick Strating
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation / Esther Guerra ; Juan de Lara
Chemistry and Biology
Analysis of Metabolic Pathways by Graph Transformation / Francesc Rosselló ; Gabriel Valiente
The Potential of a Chemical Graph Transformation System / Maneesh K.Yadav ; Brian P. Kelley ; Steven M. Silverman
Graph Transformation Concepts
Concepts for Specifying Complex Graph Transformation Systems / Boris Böhlen ; Ulrike Ranger
Typing of Graph Transformation Units / Renate Klempien-Hinrichs ; Hans-Jörg Kreowski ; Sabine Kuske
Towards Graph Programs for Graph Algorithms / Detlef Plump ; Sandra Steinert
DPO Theory for High-Level Structures
Adhesive High-Level Replacement Categories and Systems / Hartmut Ehrig ; Annegret Habel ; Julia Padberg ; Ulrike Prange
Fundamental Theory for Typed Attributed Graph Transformation / Gabriele Taentzer
Parallel Independence in Hierarchical Graph Transformation / Berthold Hoffmann
Analysis and Testing
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems / Paolo Baldan ; Barbara König ; Ingo Stürmer
Stochastic Graph Transformation Systems / Reiko Heckel ; Georgios Lajios ; Sebastian Menge
Model Checking Graph Transformations: A Comparison of Two Approaches / Arend Rensink ; Ákos Schmidt ; Dániel Varró
Graph Theory and Algorithms
Election, Naming and Cellular Edge Local Computations / Jérémie Chalopin ; Yves Métivier ; Wiesław Zielonka
Embedding in Switching Classes with Skew Gains / Andrzej Ehrenfeucht ; Jurriaan Hage ; Tero Harju ; Grzegorz Rozenberg
Synchronizers for Local Computations / Mohamed Mosbah ; Rodrigue Ossamy ; Afif Sellami
Application Conditions and Logic
Constraints and Application Conditions: From Graphs to High-Level Structures / Karsten Ehrig ; Karl-Heinz Pennemann
Specification Matching of Web Services Using Conditional Graph Transformation Rules / Alexey Cherchago
Representing First-Order Logic Using Graphs
Transformation of Special Structures
Coproduct Transformations on Lattices of Closed Partial Orders / Gemma Casas-Garriga ; José L. Balcázar
Parsing String Generating Hypergraph Grammars / Sebastian Seifert ; Ingrid Fischer
Composition of Path Transductions / Tanguy Urvoy
Object-Orientation
Translating Java Code to Graph Transformation Systems / Andrea Corradini ; Fernando Luís Dotti ; Luciana Foss ; Leila Ribeiro
Extending Graph Rewriting for Refactoring / Niels Van Eetvelde ; Dirk Janssens
Derivations in Object-Oriented Graph Grammars / Ana Paula Löudtke Ferreira
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation / Ion Petre
Workshop TERMGRAPH 2004 / Maribel Fernández
Workshop on Graph-Based Tools / Tom Mens ; Andy Schöurr
Workshop on Petri Nets and Graph Transformations
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions
Workshop on Logic, Graph Transformations, Finite and Infinite Structures / Bruno Courcelle ; David Janin
Author Index
Invited Papers
Improving Flow in Software Development Through Graphical Representations / Margaret-Anne D. Storey
A Perspective on Graphs and Access Control Models / Ravi Sandhu
7.

図書
図書
7. Intelligent information integration for the semantic web
Ubbo Visser
出版情報: Berlin : Springer, c2004  xiv, 150 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3159 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
Research Topics / 1.2：
Search on the Web / 1.3：
Integration Tasks / 1.4：
Organization / 1.5：
Related Work / 2：
Approaches for Terminological Representation and Reasoning / 2.1：
The Role of Ontologies / 2.1.1：
Use of Mappings / 2.1.2：
Approaches for Spatial Representation and Reasoning / 2.2：
Spatial Representation / 2.2.1：
Spatial Reasoning / 2.2.2：
More Approaches / 2.2.3：
Approaches for Temporal Representation and Reasoning / 2.3：
Temporal Theories Based on Time Points / 2.3.1：
Temporal Theories Based on Intervals / 2.3.2：
Summary of Recent Approaches / 2.3.3：
Evaluation of Approaches / 2.4：
Terminological Approaches / 2.4.1：
Spatial Approaches / 2.4.2：
Temporal Approaches / 2.4.3：
The Buster Approach for Terminological, Spatial, and Temporal Representation and Reasoning / Part II：
General Approach of Buster / 3：
Requirements / 3.1：
Conceptual Architecture / 3.2：
Query Phase / 3.2.1：
Acquisition Phase / 3.2.2：
Comprehensive Source Description / 3.3：
The Dublin Core Elements / 3.3.1：
Additional Element Descriptions / 3.3.2：
Background Models / 3.3.3：
Example / 3.3.4：
Relevance / 3.4：
Terminological Representation and Reasoning, Semantic Translation / 4：
Representation / 4.1：
Reasoning / 4.1.2：
Integration/Translation on the Data Level / 4.1.3：
Representation and Reasoning Components / 4.2：
Ontologies / 4.2.1：
Description Logics / 4.2.2：
Reasoning Components / 4.2.3：
Semantic Translation / 4.3：
Context Transformation by Rules / 4.3.1：
Context Transformation by Re-classification / 4.3.2：
Example: Translation ATKIS-CORINE Land Cover / 4.4：
Spatial Representation and Reasoning / 5：
Intuitive Spatial Labeling / 5.1：
Place Names, Gazetteers and Footprints / 5.1.2：
Place Name Structures / 5.1.3：
Spatial Relevance / 5.1.4：
Polygonal Tessellation / 5.1.5：
Place Names / 5.2.2：
Spatial Relevance Reasoning / 5.2.3：
Temporal Representation and Reasoning / 5.4：
Intuitive Labeling / 6.1：
Time Interval Boundaries / 6.1.2：
Structures / 6.1.3：
Explicit Qualitative Relations / 6.1.4：
Period Names / 6.2：
Boundaries / 6.2.3：
Relations / 6.2.4：
Temporal Relevance / 6.3：
Distance Between Time Intervals / 6.3.1：
Overlapping of Time Periods / 6.3.2：
Relations Between Boundaries / 6.4：
Relations Between Two Time Periods / 6.4.2：
Relations Between More Than Two Time Periods / 6.4.3：
Qualitative Statements / 6.5：
Quantitative Statements / 6.5.2：
Inconsistencies (Quantitative/Qualitative) / 6.5.3：
Inconsistencies (Reasoner Implicit/Qualitative) / 6.5.4：
Inconsistencies (Qualitative/Quantitative) / 6.5.5：
Implementation, Conclusion, and Future Work / Part III：
Implementation Issues and System Demonstration / 7：
Architecture / 7.1：
Single Queries / 7.2：
Terminological Queries / 7.2.1：
Spatial Queries / 7.2.2：
Temporal Queries / 7.2.3：
Combined Queries / 7.3：
Spatio-terminological Queries / 7.3.1：
Temporal-Terminological Queries / 7.3.2：
Spatio-temporal-terminological Queries / 7.3.3：
Conclusion and Future Work / 8：
Conclusion / 8.1：
Semantic Web / 8.1.1：
BUSTER Approach and System / 8.1.2：
Future Work / 8.2：
Terminological Part / 8.2.1：
Spatial Part / 8.2.2：
Temporal Part / 8.2.3：
References
Introduction and Related Work / Part I：
Introduction / 1：
Semantic Web Vision / 1.1：
8.

図書
図書
8. Parameterized and exact computation : First International Workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
Rod Downey, Michael Fellows, Frank Dehne (eds.)
出版情報: Berlin : Springer, c2004  x, 290 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3162
所蔵情報: loading…
目次情報: 続きを見る
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
Computing Small Search Numbers in Linear Time / Hans L. Bodlaender ; Dimitrios M. Thilikos
Bounded Fixed-Parameter Tractability: The Case 2poly(k) / Mark Weyer
Refined Memorisation for Vertex Cover / L. Sunil Chandran ; Fabrizio Grandoni
Parameterized Graph Separation Problems / Dániel Marx
Parameterized Coloring Problems on Chordal Graphs
On Decidability of MSO Theories of Representable Matroids / Petr Hliněný ; Detlef Seese
On Miniaturized Problems in Parameterized Complexity Theory / Yijia Chen ; Jörg Flum
Smaller Kernels for Hitting Set Problems of Constant Arity / Naomi Nishimura ; Prabhakar Ragde
Packing Edge Disjoint Triangles: A Parameterized View / Luke Mathieson ; Elena Prieto ; Peter Shaw
Looking at the Stars / Christian Sloper
Moving Policies in Cyclic Assembly-Line Scheduling / Matthias Müller-Hannemann ; Karsten Weihe
A Structural View on Parameterizing Problems: Distance from Triviality / Jiong Guo ; Falk Hüffner ; Rolf Niedermeier
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable / Jens Gramm ; Till Nierhoff ; Till Tantau
Simplifying the Weft Hierarchy / Jonathan F. Buss ; Tarique Islam
The Minimum Weight Triangulation Problem with Few Inner Points / Yoshio Okamoto
A Direct Algorithm for the Parameterized Face Cover Problem / Faisal N. Abu-Khzam ; Michael A. Langston
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets / Michael R. Fellows ; Stefan Szeider ; Graham Wrightson
Parameterized Algorithms for Feedback Vertex Set / Iyad Kanj ; Michael Pelsmajer ; Marcus Schaefer
Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms / Sergey S. Fedin ; Alexander S. Kulikov
Improved Parameterized Algorithms for Feedback Set Problems in Weighted Tournaments / Venkatesh Raman ; Saket Saurabh
Greedy Localization, Iterative Compression, and Modeled Crown Reductions: New FPT Techniques, an Improved Algorithm for Set Splitting, and a Novel 2k Kernelization for Vertex Cover / Frank Dehne ; Mike Fellows ; Frances Rosamond
Space and Time Complexity of Exact Algorithms: Some Open Problems (Invited Talk) / Gerhard J. Woeginger
Practical FPT Implementations and Applications (Invited Talk) / Mike Langston
Author Index
Parameterized Enumeration, Transversals, and Imperfect Phylogeny Reconstruction / Peter Damaschke
Online Problems, Pathwidth, and Persistence / Rodney G. Downey ; Catherine McCartin
Chordless Paths Through Three Vertices / Robert Haas ; Michael Hoffmann
9.

図書
図書
9. Advances in artificial intelligence - SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004 : proceedings
Ana L.C. Bazzan, Sofiane Labidi (eds.)
出版情報: Berlin : Springer, c2004  xvii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3171 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
Using Relevance to Speed Up Inference. Some Empirical Results / Joselyto Riani ; Renata Wassermann
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic / Gabriel Aguilera ; Pablo Cordero ; Manuel Enciso ; Angel Mora ; Inmaculada Perez de Guzmán
Reasoning About Requirements Evolution Using Clustered Belief Revision / Odinaldo Rodrigues ; Artur d'Avila Garcez ; Alessandra Russo
Analysing AI Planning Problems in Linear Logic - A Partial Deduction Approach / Peep Küngas
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning / Silvio do Lago Pereira ; Leliane Nunes de Barros
High-Level Robot Programming: An Abductive Approach Using Event Calculus
Search, Reasoning, and Uncertainty
Word Equation Systems: The Heuristic Approach / César Luis Alonso ; Fátima Drubi ; Judith Gómez-García ; José Luis Montaña
A Cooperative Framework Based on Local Search and Constraint Programming for Solving Discrete Global Optimisation / Carlos Castro ; Michael Moossen ; María Cristina Riff
Machine Learned Heuristics to Improve Constraint Satisfaction / Marco Correia ; Pedro Barahona
Towards a Natural Way of Reasoning / José Carlos Loureiro Ralha ; Célia Ghedini Ralha
Is Plausible Reasoning a Sensible Alternative for Inductive-Statistical Reasoning? / Ricardo S. Silvestre ; Tarcísio H. C. Pequeno
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests / Julio Michael Stern
Knowledge Representation and Ontologies
An Ontology for Quantities in Ecology / Virgínia Brilhante
Using Color to Help in the Interactive Concept Formation / Vasco Furtado ; Alexandre Cavalcante
Propositional Reasoning for an Embodied Cognitive Model / Jerusa Marchi ; Guilherme Bittencourt
A Unified Architecture to Develop Interactive Knowledge Based Systems / Vládia Pinheiro ; Elizabeth Furtado
Natural Language Processing
Evaluation of Methods for Sentence and Lexical Alignment of Brazilian Portuguese and English Parallel Texts / Helena de Medeiros Caseli ; Aline Maria da Paz Silva ; Maria das Graças Volpe Nunes
Applying a Lexical Similarity Measure to Compare Portuguese Term Collections / Marcirio Silveira Chaves ; Vera Lúcia Strube de Lima
Dialog with a Personal Assistant / Fabrício Enembreck ; Jean-Paul Barthès
Applying Argumentative Zoning in an Automatic Critiquer of Academic Writing / Valéria D. Feltrim ; Jorge M. Pelizzoni ; Simone Teufel ; Sandra M. Aluísio
DiZer: An Automatic Discourse Analyzer for Brazilian Portuguese / Thiago Alexandre Salgueiro Pardo ; Lucia Helena Machado Rino
A Comparison of Automatic Summarizers of Texts in Brazilian Portuguese / Carlos Nascimento Silla Jr. ; Celso Antônio Alves Kaestner ; Michael Pombo
Machine Learning, Knowledge Discovery, and Data Mining
Heuristically Accelerated Q-Learning: A New Approach to Speed Up Reinforcement Learning / Reinaldo A.C. Bianchi ; Carlos H.C. Ribeiro ; Anna H.R. Costa
Using Concept Hierarchies in Knowledge Discovery / Marco Eugênio Madeira Di Beneditto
A Clustering Method for Symbolic Interval-Type Data Using Adaptive Chebyshev Distances / Francisco de A.T. de Carvalho ; Renata M.C.R. de Souza ; Fabio C.D. Silva
An Efficient Clustering Method for High-Dimensional Data Mining / Jae- Woo Chang ; Yong-Ki Kim
Learning with Drift Detection / João Gama ; Pedro Medas ; Gladys Castillo ; Pedro Rodrigues
Learning with Class Skews and Small Disjuncts / Ronaldo C. Prati ; Gustavo E.A.P.A. Batista ; Maria Carolina Monard
Making Collaborative Group Recommendations Based on Modal Symbolic Data / Sérgio R. de M. Queiroz
Search-Based Class Discretization for Hidden Markov Model for Regression / Kate Revoredo ; Gerson Zaverucha
SKDQL: A Structured Language to Specify Knowledge Discovery Processes and Queries / Marcelino Pereira dos Santos Silva ; Jacques Robin
Evolutionary Computation, Artificial Life, and Hybrid Systems
Symbolic Communication in Artificial Creatures: An Experiment in Artificial Life / Angelo Loula ; Ricardo Gudwin ; João Queiroz
What Makes a Successful Society? Experiments with Population Topologies in Particle Swarms / Rui Mendes ; José Neves
Splinter: A Generic Framework for Evolving Modular Finite State Machines / Ricardo Nastas Acras ; Silvia Regina Vergilio
An Hybrid GA/SVM Approach for Multiclass Classification with Directed Acyclic Graphs / Ana Carolina Lorena ; André C. Ponce de Leon F. de Carvalho
Dynamic Allocation of Data-Objects in the Web, Using Self-tuning Genetic Algorithms / Joaquín Pérez O. ; Rodolfo A. Pazos R. ; Graciela Mora O. ; Guadalupe Castilla V. ; José A. Martínez. ; Vanesa Landero N. ; Héctor Fraire H. ; Juan J. González B.
Detecting Promising Areas by Evolutionary Clustering Search / Alexandre C.M. Oliveira ; Luiz A.N. Lorena
A Fractal Fuzzy Approach to Clustering Tendency Analysis / Sarajane Marques Peres ; Márcio Luiz de Andrade Netto
On Stopping Criteria for Genetic Algorithms / Martín Safe ; Jessica Carballido ; Ignacio Ponzoni ; Nélida Brignole
A Study of the Reasoning Methods Impact on Genetic Learning and Optimization of Fuzzy Rules / Pablo Alberto de Castro ; Heloisa A. Camargo
Using Rough Sets Theory and Minimum Description Length Principle to Improve a β-TSK Fuzzy Revision Method for CBR Systems / Florentino Fdez-Riverola ; Fernando Díaz ; Juan M. Corchado
Robotics and Computer Vision
Forgetting and Fatigue in Mobile Robot Navigation / Luís Correia ; António Abreu
Texture Classification Using the Lempel-Ziv-Welch Algorithm / Leonardo Vidal Batista ; Moab Mariz Meira
A Clustering-Based Possibilistic Method for Image Classification / Isabela Drummond ; Sandra Sandri
An Experiment on Handshape Sign Recognition Using Adaptive Technology: Preliminary Results / Hemerson Pistori ; João José Neto
Autonomous Agents and Multi-agent Systems
Recent Advances on Multi-agent Patrolling / Alessandro Almeida ; Geber Ramalho ; Hugo Santana ; Patrícia Tedesco ; Talita Menezes ; Vincent Corruble ; Yann Chevaleyre
On the Convergence to and Location of Attractors of Uncertain, Dynamic Games / Eduardo Camponogara
Norm Consistency in Electronic Institutions / Marc Esteva ; Wamberto Vasconcelos ; Carles Sierra ; Juan A. Rodríguez-Aguilar
Using the <$>{\cal M}<$>oise+ for a Cooperative Framework of MAS Reorganisation / Jomi Fred Hübner ; Jaime Simão Sichman ; Olivier Boissier
A Paraconsistent Approach for Offer Evaluation in Negotiations / Fabiano M. Hasegawa ; Bráulio C. Ávila ; Marcos Augusto H. Shmeil
Sequential Bilateral Negotiation / Orlando Pinho Jr. ; Gustavo de Paula
Towards to Similarity Identification to Help in the Agents' Negotiation / Andreia Malucelli ; Eugénio Oliveira
Author Index
Logics, Planning, and Theoretical Methods
On Modalities for Vague Notions / Mario Benevides ; Carla Delgado ; Renata P. de Freitas ; Paulo A.S. Veloso ; Sheila R.M. Veloso
Towards Polynomial Approximations of Full Propositional Logic / Marcelo Finger
10.

図書
図書
10. Software engineering and middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 : revised selected papers
Thomas Gschwind, Cecilia Mascolo (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3437
所蔵情報: loading…
11.

図書
図書
11. NETWORKING 2005 : networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings
Raouf Boutaba ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xxx, 1483 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3462
所蔵情報: loading…
12.

図書
図書
12. Pervasive computing : third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005 : proceedings
Hans W. Gellersen, Roy Want, Albrecht Schmidt (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiii, 346 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3468
所蔵情報: loading…
13.

図書
図書
13. Advances in cryptology - EUROCRYPT 2005 : 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Aarhus, Denmark, May 22-26, 2005 : proceedings
Ronald Cramer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2005  xiv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3494
所蔵情報: loading…
14.

図書
図書
14. Research in computational molecular biology : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005 : proceedings
Satoru Miyano ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvii, 632 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3500 . Lecture notes in bioinformatics
所蔵情報: loading…
15.

図書
図書
15. Database and expert systems applications : 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003 : proceedings
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…
16.

図書
図書
16. Data warehousing and knowledge discovery : 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5, 2003 : proceedings
Yahiko Kambayashi, Mukesh Mohania, Wolfram Wöß (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 432 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2737
所蔵情報: loading…
17.

図書
図書
17. E-commerce and Web technologies : 4th International Conference, EC-Web, Prague, Czech Republic, September 2-5, 2003 : proceedings
Kurt Bauknecht, A Min Tjoa, Gerald Quirchmayr (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2738
所蔵情報: loading…
18.

図書
図書
18. Knowledge-based intelligent information and engineering systems : 7th International Conference, KES 2003, Oxford, UK, September 3-5, 2003 : proceedings (pt. 1 ; pt. 2)
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…
19.

図書
図書
19. Concurrent reactive plans : anticipating and forestalling execution failures
Michael Beetz
出版情報: Berlin : Springer, 2000  xvi, 213 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1772 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Abstract
Acknowledgements
List of Figures
Introduction / 1：
The Approach / 1.1：
Technical Challenges / 1.2：
Introductory Example / 1.3：
Motivation / 1.4：
Relevance for Autonomous Robot Control / 1.4.1：
Relevance for AI Planning / 1.4.2：
The Computational Problem and Its Solution / 1.5：
The Computational Problem / 1.5.1：
The Computational Model / 1.5.2：
Contributions / 1.6：
Outline of the Book / 1.7：
Reactivity / 2：
The DeliveryWorld / 2.1：
The World / 2.1.1：
Commands and Jobs / 2.1.2：
The Robot / 2.1.3：
Justification of the DeliveryWorld / 2.1.4：
The Implementation of Routine Activities / 2.2：
Plan Steps vs. Concurrent Control Processes / 2.2.1：
Interfacing Continuous Control Processes / 2.2.2：
Coordinating Control Processes / 2.2.3：
Synchronization of Concurrent Control Threads / 2.2.4：
Failure Recovery / 2.2.5：
Perception / 2.2.6：
State, Memory, and World Models / 2.2.7：
The Structure of Routine Activities / 2.2.8：
The Structured Reactive Controller / 2.3：
Behavior and Planning Modules / 2.3.1：
The Body of the Structured Reactive Controller / 2.3.2：
Global Fluents, Variables, and the Plan Library / 2.3.3：
The RPL Runtime System / 2.3.4：
Summary and Discussion / 2.4：
Planning / 3：
The Structured Reactive Plan / 3.1：
Plans as Syntactic Objects / 3.1.1：
RPL as a Plan Language / 3.1.2：
The Computational Structure / 3.2：
The "Criticize-Revise" Cycle / 3.2.1：
The "Criticize" Step / 3.2.2：
The "Revise" Step / 3.2.3：
The XFRM Planning Framework / 3.3：
Anticipation and Forestalling of Behavior Flaws / 3.4：
The Detection of Behavior Flaws / 3.4.1：
Behavior Flaws and Plan Revisions / 3.4.2：
The Diagnosis of Behavior Flaws / 3.4.3：
Transparent Reactive Plans / 3.5：
Declarative Statements / 4.1：
RPL Construct Descriptions / 4.1.1：
Achievement Goals / 4.1.2：
Perceptions / 4.1.3：
Beliefs / 4.1.4：
Other Declarative Statements / 4.1.5：
Using Declarative Statements / 4.1.6：
Routine Plans / 4.2：
The Plan Library / 4.3：
Behavior Modules / 4.3.1：
Low-level Plans / 4.3.2：
High-level Plans / 4.3.3：
Discussion / 4.4：
Representing Plan Revisions / 5：
Conceptualization / 5.1：
Making Inferences / 5.2：
Some Examples / 5.2.1：
Accessing Code Trees / 5.2.2：
Predicates on Plan Interpretations / 5.2.3：
Predicates on Timelines / 5.2.4：
Timelines and Plan Interpretation / 5.2.5：
Expressing Plan Revisions / 5.3：
XFRML - The Implementation / 5.4：
Forestalling Behavior Flaws / 5.5：
FAUST / 6.1：
The Behavior Critic / 6.1.1：
Detecting Behavior Flaws: Implementation / 6.1.2：
Diagnosing the Causes of Behavior Flaws: Implementation / 6.1.3：
The Bug Class "Behavior-Specification Violation" / 6.1.4：
The Elimination of Behavior Flaws / 6.1.5：
The Plan Revisions for the Example / 6.2：
Some Behavior Flaws and Their Revisions / 6.3：
Perceptual Confusion / 6.3.1：
Missed Deadlines / 6.3.2：
Planning Ongoing Activities / 6.4：
Extending RPL / 7.1：
The RUNTIME-PLAN Statement / 7.1.1：
Plan Swapping / 7.1.2：
Making Planning Assumptions / 7.1.3：
Deliberative Controllers / 7.2：
Improving Iterative Plans by Local Planning / 7.2.1：
Plan Execution a la Shakey / 7.2.2：
Execution Monitoring and Replanning / 7.2.3：
Recovering from Execution Failures / 7.2.4：
Some Robot Control Architectures / 7.2.5：
The Controller in the Experiment / 7.3：
Evaluation / 7.4：
Analysis of the Problem / 8.1：
Assessment of the Method / 8.2：
Description of the Method / 8.2.1：
Evaluation of the Method / 8.2.2：
Demonstration / 8.3：
Evaluating SRCs in Standard Situations / 8.3.1：
Comparing SRCs with the Appropriate Fixed Controller179 / 8.3.2：
Problems that Require SRCs / 8.3.3：
Related Work / 8.4：
Control Architectures for Competent Physical Agents / 8.4.1：
Control Languages for Reactive Control / 8.4.2：
Robot Planning / 8.4.3：
Conclusion / 9：
What Do Structured Reactive Controllers Do? / 9.1：
Why Do Structured Reactive Controllers Work? / 9.2：
Do Structured Reactive Controllers Work for Real Robots? / 9.3：
References
Abstract
Acknowledgements
List of Figures
20.

図書
図書
20. Automated deduction in classical and non-classical logics : selected papers
Ricardo Caferra, Gernot Salzer (eds.)
出版情報: Berlin : Springer, c2000  viii, 297 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1761 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
utomated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory / Gilles Dowek
Higher-Order Modal Logic-A Sketch / Melvin Fitting
Proving Associative-Commutative Termination Using RPO-Compatible Orderings / Deepak Kapur ; G. Sivakumar
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction / Alexander Leitsch
Replacement Rules with Definition Detection / David A. Plaisted ; Yunshan Zhu
Contributed Papers
On the Comlexity of Finite Sorted Algebras / Thierry Boy de la Tour
A Further and Effective Liberalization of the d-Rule in Free Variable Semantic Tableaux / Domenico Cantone ; Marianna Nicolosi Asmundo
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory / Calogero G. Zarba
Interpretation of a Mizar-Like Logic in First-Order Logic / Ingo Dahn
An <$>{\call O}$((n log n)3)-Time Transformationfrom Grz into Decidable Fragments of Classical First-Order Logic / Stéphane Demri ; Rajeev Goré
Implicational Completeness of Signed Resolution / Christian G. Fermüller
An Equational Re-engineering of Set Theories / Andrea Formisano ; Eugenio Omodeo
Issues of Decidability for Description Logics in the Framework of Resolution / Ullrich Hustadt ; Renate A. Schmidt
Extending Decidable Clause Classes via Constraints / Reinhard Pichler
Completeness and Redundancy in Constrained Clause Logic
Effective Properties of Some First-Order Intuitionistic Modal Logics / Aida PliuÜkeviciene
Hidden Congruent Deduction / Grigore Rosu ; Joseph Goguen
Resolution-Based Theorem Proving for SHn-Logics / Viorica Sofronie-Stokkermans
Full First-Order Sequent and Tableau Calculi with Preservation of Solutions and the Liberalized d-Rule but without Skolemization / Claus-Peter Wirth
Author Index
Invited Papers
utomated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory / Gilles Dowek
Higher-Order Modal Logic-A Sketch / Melvin Fitting
21.

図書
図書
21. Programming Languages and Systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Daniel Le Métayer (ed.)
出版情報: Berlin : Springer, c2002  xii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2305
所蔵情報: loading…
22.

図書
図書
22. Compiler Construction : 11th International Conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
R. Nigel Horspool (ed.)
出版情報: Berlin : Springer, c2002  xi, 341 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2304
所蔵情報: loading…
目次情報: 続きを見る
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
Compiler Construction Using LOTOS NT / Hubert Garavel ; Frédéric Lang ; Radu Mateescu
Analysis and Optimization
Data Compression Transformations for Dynamically Allocated Data Structures / Youtao Zhang ; Rajiv Gupta
Evaluating a Demand Driven Technique for Call Graph Construction / Gagan Agrawal ; Jinqian Li ; Qi Su
A Graph-Free Approach to Data-Flow Analysis / Markus Mohnen
A Representation for Bit Section Based Analysis and Optimization / Eduard Mehofer
Low-Level Analysis
Online Subpath Profiling / David Oren ; Yossi Matias ; Mooly Sagiv
Precise Exception Semantics in Dynamic Compilation / Michael Gschwind ; Erik Altman
Decompiling Java Bytecode: Problems, Traps and Pitfalls / Jerome Miecznikowski ; Laurie Hendren
Grammars and Parsing
Forwarding in Attribute Grammars for Modular Language Design / Eric Van Wyk ; Oege de Moor ; Kevin Backhouse ; Paul Kwiatkowski
Disambiguation Filters for Scannerless Generalized LR Parsers / Mark G. J. van den Brand ; Jeroen Scheerder ; Jurgen J. Vinju ; Eelco Visser
Invited Talk
Modular Static Program Analysis / Patrick Cousot ; Radhia Cousot
Domain-Specific Languages and Tools
StreamIt: A Language for Streaming Applications / William Thies ; Michal Karczmarek ; Saman Amarasinghe
Compiling Mercury to High-Level C Code / Fergus Henderson ; Zoltan Somogyi
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs / George C. Necula ; Scott McPeak ; Shree P. Rahul ; Westley Weimer
Energy Consumption Optimizations
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints / Hanspeter Mössenböck ; Michael Pfeiffer
Global Variable Promotion: Using Registers to Reduce Cache Power Dissipation / Andrea G. M. Cilio ; Henk Corporaal
Optimizing Static Power Dissipation by Functional Units in Superscalar Processors / Siddharth Rele ; Santosh Pande ; Soner Onder
Influence of Loop Optimizations on Energy Consumption of Multi-bank Memory Systems / Mahmut Kandemir ; Ibrahim Kolcu ; Ismail Kadayif
Loop and Array Optimizations
Effective Enhancement of Loop Versioning in Java / Vitaly V. Mikheev ; Stanislav A. Fedoseev ; Vladimir V. Sukharev ; Nikita V. Lipsky
Value-Profile Guided Stride Prefetching for Irregular Code / Youfeng Wu ; Mauricio Serrano ; Rakesh Krishnaiyer ; Wei Li ; Jesse Fang
A Comprehensive Approach to Array Bounds Check Elimination for Java / Feng Qian ; Clark Verbrugge
Author Index
Tool Demonstrations
LISA: An Interactive Environment for Programming Language Development / Marjan Mernik ; Mitja Lenič ; Enis AvdičauÜević ; Viljem Äumer
Building an Interpreter with Vmgen / M. Anton Ertl ; David Gregg
23.

図書
図書
23. Advances in information retrieval : 24th BCS-IRSG European colloquium on IR research, Glasgow, UK, March 25-27, 2002 : proceedings
Fabio Crestani, Mark Girolami, Cornelis Joost van Rijsbergen (eds.)
出版情報: Berlin : Springer, c2002  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2291
所蔵情報: loading…
目次情報: 続きを見る
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
Combining Features for Content-Based Sketch Retrieval - A Comparative
Evaluation of Retrieval Performance / Daniel Heesch ; Stefan Rüger
The Web
Combining Web Document Representations in a Bayesian Inference
Network Model Using Link and Content-Based Evidence / Theodora Tsikrika ; Mounia Lalmas
An Improved Computation of the PageRank Algorithm / Sung Jin Kim ; Sang Ho Lee
Serving Enhanced Hypermedia Information / George Lepouras ; Costas Vassilakis ; George R.S. Weir
Query Modification
The Use of Implicit Evidence for Relevance Feedback in Web Retrieval / Ryen W. White ; Ian Ruthven ; Joemon M. Jose
Subject Knowledge, Source of Terms, and Term Selection in Query
Expansion: An Analytical Study / Pertti Vakkari
Automatic Profile Reformulation Using a Local Document Analysis / Anis Benammar ; Gilles Hubert ; Josiane Mothe
Soft Computing
A Study on Using Genetic Niching for Query Optimisation in
Document Retrieval / Mohand Boughanem ; Lynda Tamine
Concept Based Adaptive IR Model Using FCA-BAM Combination for
Concept Representation and Encoding / R.K. Rajapakse ; M. Denham
Models
A Layered Bayesian Network Model for Document Retrieval / Luis M. de Campos ; Juan M. Fernández-Luna ; Juan F. Huete
Term Frequency Normalization via Pareto Distributions / Gianni Amati ; Cornelis Joost van Rijsbergen
Optimal Mixture Models in IR / Victor Lavrenko
Categorization
Text Categorization: An Experiment Using Phrases / Madhusudhan Kongovi ; Juan Carlos Guzman ; Venu Dasigi
A Hierarchical Model for Clustering and Categorising Documents / E. Gaussier ; C. Goutte ; K. Popat ; F. Chen
Uncertainty-Based Noise Reduction and Term Selection in
Text Categorization / C. Peters ; C.H.A. Koster
Structured Documents
A Graphical User Interface for Structured Document Retrieval / Jesus Vegas ; Pablo de la Fuente ; Fabio Crestani
The Accessibility Dimension for Structured Document Retrieval / Thomas Roelleke ; Gabriella Kazai ; Stefan Quicker
Cross-Language
Building Bilingual Dictionaries from Parallel Web Documents / Craig J.A. McEwan ; Iadh Ounis
Translation-Based Indexing for Cross-Language Retrieval / Douglas W. Oard ; Funda Ertunc
Interactive Systems
A Retrospective Evaluation Method for Exact-Match and Best-Match
Queries Applying an Interactive Query Performance Analyser / Eero Sormunen
Genre Classification and Domain Transfer for Information Filtering / Aidan Finn ; Nicholas Kushmerick ; Barry Smyth
Author Index
Multimedia
Evaluating a Melody Extraction Engine / Thomas Sødring ; Alan F. Smeaton
Organising and Searching Partially Indexed Image Databases / Gérald Duffing ; Malika Smaïl
24.

図書
図書
24. Sensor based intelligent robots : International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000 : selected revised papers
Gregory D. Hager ...[et al.] (eds.)
出版情報: Berlin : Springer, c2002  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2238
所蔵情報: loading…
25.

図書
図書
25. Programming Constraint Services : high-level programming of standard and new constraint services
Christian Schulte
出版情報: Berlin : Springer, c2002  xii, 176 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2302 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
Constraint Programming / 1.1：
Motivation / 1.2：
Approach / 1.3：
Outline / 1.4：
Source Material / 1.5：
Constraints / 2：
Search / 2.2：
Programming / 2.3：
Introducing Oz Light / 3：
Overview / 3.1：
Oz Light: Basics / 3.2：
The Store / 3.2.1：
Threads / 3.2.2：
Statements / 3.2.3：
Oz Light Continued / 3.3：
Primitive Operations / 3.3.1：
Exceptions / 3.3.2：
Ports and Active Services / 3.3.3：
Finite Domain Constraints / 3.3.4：
Syntactic Convenience / 3.4：
Relation to Full Oz / 3.5：
Spaces for Search / 4：
Local Computation Spaces / 4.1：
Space Manipulation / 4.3：
Space Creation / 4.3.1：
Merging Spaces / 4.3.2：
Injecting into Spaces / 4.3.3：
Control and Status / 4.4：
Alternatives / 4.5：
Distributable Spaces / 4.5.2：
Synchronizing on Stability / 4.5.3：
Committing to Alternatives / 4.5.4：
Cloning Spaces / 4.5.5：
Refining Commit / 4.5.6：
Situated Procedure Calls: Services Reconsidered / 4.6：
Previous Work: Solve Combinator / 4.7：
Summary / 4.8：
Search Engines / 5：
Depth-First Search / 5.1：
Simplifying Control: Exceptions / 5.2：
Binarization / 5.3：
Multiple Solutions / 5.4：
Explicit State Representation / 5.5：
Limited Discrepancy Search / 5.6：
Best-First Search / 5.7：
Best-Solution Search / 6：
Constraining Spaces / 6.1：
Iterative Best-Solution Search / 6.2：
Branch-and-Bound Best-Solution Search / 6.3：
An Alternative Formulation of BAB / 6.4：
Prune-Search: Generalizing BAB / 6.5：
Recomputation / 7：
Full Recomputation / 7.1：
Fixed Recomputation / 7.3：
Why Recomputation Matters / 7.4：
Adaptive Recomputation / 7.5：
Oz Explorer: Visual Search / 8：
Development of Constraint Programs / 8.1：
Example: Aligning for a Photo / 8.2：
Features / 8.3：
Implementation / 8.4：
Evaluation / 8.5：
Related Work / 8.6：
Distributed Search / 9：
Distributed Oz / 9.1：
Architecture / 9.3：
Cooperation / 9.3.1：
Worker / 9.3.2：
Manager / 9.3.3：
Distributed Search Engines / 9.3.4：
Spaces for Combinators / 9.5：
Space Tree / 10.1：
Space Tree Manipulation / 10.3：
Stability / 10.3.1：
Status Variable / 10.4.2：
Debugging Support / 10.4.3：
Choice of Programming Language / 10.5：
Constraint Combinators / 11：
Concurrent Negation / 11.1：
Generic Reification / 11.3：
Disjunction / 11.4：
Conditional / 11.5：
Andorra-Style Disjunction / 11.6：
Discussion and Evaluation / 11.7：
Implementing Oz Light / 12：
Synchronization / 12.1：
Store / 12.3：
Scheduler / 12.4：
Implementing Spaces / 13：
Nodes and Links / 13.1：
The Store: Model / 13.2.2：
The Store: Implementation / 13.2.4：
Runnable Threads / 13.3：
Globally Suspended Threads / 13.3.2：
Speculative Constraints / 13.3.3：
Local Threads / 13.3.4：
Checking Stability / 13.3.5：
Merge / 13.4：
Choose and Commit / 13.5：
Richer Basic Constraints / 13.5.2：
Variable Aliasing / 13.6.1：
Tree Constraints / 13.6.2：
Ports / 13.6.3：
Performance Overview / 13.8：
Other Approaches to Search / 14：
Other Constraint Programming Systems / 14.1：
Comparison with Trailing / 14.2：
Expressiveness / 14.2.1：
Implementation Issues / 14.2.2：
Criteria and Examples / 14.2.3：
Copying / 14.2.4：
Copying versus Trailing / 14.2.5：
Recomputation versus Trailing / 14.2.6：
System Comparison / 14.3：
Conclusion / 15：
Main Contributions / 15.1：
Future Work / 15.2：
Benchmark Problems and Platforms / A：
Benchmark Problems / A.1：
Sequential Platform / A.2：
Distributed Platform / A.3：
References
Index
Introduction / 1：
Constraint Programming / 1.1：
Motivation / 1.2：
26.

図書
図書
26. From Theory to Practice in Multi-Agent Systems : Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001, Cracow, Poland, September 26-29, 2001 : revised papers
Barbara Dunin-Kȩplicz, Edward Nawarecki (eds.)
出版情報: Berlin : Springer, c2002  ix, 340 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2296 . Lecture notes in artificial intelligence
所蔵情報: loading…
27.

図書
図書
27. Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
出版情報: Berlin : Springer, c2002  xiii, 218 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2283
所蔵情報: loading…
目次情報: 続きを見る
Elementary Techniques / Part I：
The Basics / 1：
Introduction / 1.1：
Theories / 1.2：
Types, Terms, and Formulae / 1.3：
Variables / 1.4：
Interaction and Interfaces / 1.5：
Getting Started / 1.6：
Functional Programming in HOL / 2：
An Introductory Theory / 2.1：
An Introductory Proof / 2.2：
Some Helpful Commands / 2.3：
Datatypes / 2.4：
Lists / 2.4.1：
The General Format / 2.4.2：
Primitive Recursion / 2.4.3：
Case Expressions / 2.4.4：
Structural Induction and Case Distinction / 2.4.5：
Case Study: Boolean Expressions / 2.4.6：
Some Basic Types / 2.5：
Natural Numbers / 2.5.1：
Pairs / 2.5.2：
Datatype option / 2.5.3：
Definitions / 2.6：
Type Synonyms / 2.6.1：
Constant Definitions / 2.6.2：
The Definitional Approach / 2.7：
More Functional Programming / 3：
Simplification / 3.1：
What Is Simplification? / 3.1.1：
Simplification Rules / 3.1.2：
The simp Method / 3.1.3：
Adding and Deleting Simplification Rules / 3.1.4：
Assumptions / 3.1.5：
Rewriting with Definitions / 3.1.6：
Simplifying let-Expressions / 3.1.7：
Conditional Simplification Rules / 3.1.8：
Automatic Case Splits / 3.1.9：
Tracing / 3.1.10：
Induction Heuristics / 3.2：
Case Study: Compiling Expressions / 3.3：
Advanced Datatypes / 3.4：
Mutual Recursion / 3.4.1：
Nested Recursion / 3.4.2：
The Limits of Nested Recursion / 3.4.3：
Case Study: Tries / 3.4.4：
Total Recursive Functions / 3.5：
Defining Recursive Functions / 3.5.1：
Proving Termination / 3.5.2：
Simplification and Recursive Functions / 3.5.3：
Induction and Recursive Functions / 3.5.4：
Presenting Theories / 4：
Concrete Syntax / 4.1：
Infix Annotations / 4.1.1：
Mathematical Symbols / 4.1.2：
Prefix Annotations / 4.1.3：
Syntax Translations / 4.1.4：
Document Preparation / 4.2：
Isabelle Sessions / 4.2.1：
Structure Markup / 4.2.2：
Formal Comments and Antiquotations / 4.2.3：
Interpretation of Symbols / 4.2.4：
Suppressing Output / 4.2.5：
Logic and Sets / Part II：
The Rules of the Game / 5：
Natural Deduction / 5.1：
Introduction Rules / 5.2：
Elimination Rules / 5.3：
Destruction Rules: Some Examples / 5.4：
Implication / 5.5：
Negation / 5.6：
Interlude: The Basic Methods for Rules / 5.7：
Unification and Substitution / 5.8：
Substitution and the subst Method / 5.8.1：
Unification and Its Pitfalls / 5.8.2：
Quantifiers / 5.9：
The Universal Introduction Rule / 5.9.1：
The Universal Elimination Rule / 5.9.2：
The Existential Quantifier / 5.9.3：
Renaming an Assumption: rename_tac / 5.9.4：
Reusing an Assumption: frule / 5.9.5：
Instantiating a Quantifier Explicitly / 5.9.6：
Description Operators / 5.10：
Definite Descriptions / 5.10.1：
Indefinite Descriptions / 5.10.2：
Some Proofs That Fail / 5.11：
Proving Theorems Using the blast Method / 5.12：
Other Classical Reasoning Methods / 5.13：
Forward Proof: Transforming Theorems / 5.14：
Modifying a Theorem Using of and THEN / 5.14.1：
Modifying a Theorem Using OF / 5.14.2：
Forward Reasoning in a Backward Proof / 5.15：
The Method insert / 5.15.1：
The Method subgoal_tac / 5.15.2：
Managing Large Proofs / 5.16：
Tacticals, or Control Structures / 5.16.1：
Subgoal Numbering / 5.16.2：
Proving the Correctness of Euclid's Algorithm / 5.17：
Sets, Functions, and Relations / 6：
Sets / 6.1：
Finite Set Notation / 6.1.1：
Set Comprehension / 6.1.2：
Binding Operators / 6.1.3：
Finiteness and Cardinality / 6.1.4：
Functions / 6.2：
Function Basics / 6.2.1：
Injections, Surjections, Bijections / 6.2.2：
Function Image / 6.2.3：
Relations / 6.3：
Relation Basics / 6.3.1：
The Reflexive and Transitive Closure / 6.3.2：
A Sample Proof / 6.3.3：
Well-Founded Relations and Induction / 6.4：
Fixed Point Operators / 6.5：
Case Study: Verified Model Checking / 6.6：
Propositional Dynamic Logic - PDL / 6.6.1：
Computation Tree Logic - CTL / 6.6.2：
Inductively Defined Sets / 7：
The Set of Even Numbers / 7.1：
Making an Inductive Definition / 7.1.1：
Using Introduction Rules / 7.1.2：
Rule Induction / 7.1.3：
Generalization and Rule Induction / 7.1.4：
Rule Inversion / 7.1.5：
Mutually Inductive Definitions / 7.1.6：
The Reflexive Transitive Closure / 7.2：
Advanced Inductive Definitions / 7.3：
Universal Quantifiers in Introduction Rules / 7.3.1：
Alternative Definition Using a Monotone Function / 7.3.2：
A Proof of Equivalence / 7.3.3：
Another Example of Rule Inversion / 7.3.4：
Case Study: A Context Free Grammar / 7.4：
Advanced Material / Part III：
More about Types / 8：
Numbers / 8.1：
Numeric Literals / 8.1.1：
The Type of Natural Numbers, nat / 8.1.2：
The Type of Integers, int / 8.1.3：
The Type of Real Numbers, real / 8.1.4：
Pairs and Tuples / 8.2：
Pattern Matching with Tuples / 8.2.1：
Theorem Proving / 8.2.2：
Records / 8.3：
Record Basics / 8.3.1：
Extensible Records and Generic Operations / 8.3.2：
Record Equality / 8.3.3：
Extending and Truncating Records / 8.3.4：
Axiomatic Type Classes / 8.4：
Overloading / 8.4.1：
Axioms / 8.4.2：
Introducing New Types / 8.5：
Declaring New Types / 8.5.1：
Defining New Types / 8.5.2：
Advanced Simplification, Recursion, and Induction / 9：
Advanced Features / 9.1：
How the Simplifier Works / 9.1.2：
Advanced Forms of Recursion / 9.2：
Beyond Measure / 9.2.1：
Recursion over Nested Datatypes / 9.2.2：
Partial Functions / 9.2.3：
Advanced Induction Techniques / 9.3：
Massaging the Proposition / 9.3.1：
Beyond Structural and Recursion Induction / 9.3.2：
Derivation of New Induction Schemas / 9.3.3：
CTL Revisited / 9.3.4：
Case Study: Verifying a Security Protocol / 10：
The Needham-Schroeder Public-Key Protocol / 10.1：
Agents and Messages / 10.2：
Modelling the Adversary / 10.3：
Event Traces / 10.4：
Modelling the Protocol / 10.5：
Proving Elementary Properties / 10.6：
Proving Secrecy Theorems / 10.7：
Appendix / A：
Bibliography
Index
Elementary Techniques / Part I：
The Basics / 1：
Introduction / 1.1：
28.

図書
図書
28. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.)
出版情報: Berlin : Springer, c2002  ix, 388 p. ill. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2295
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
The Equational Theory of Fixed Points with Applications to Generalized Language Theory / Z. Ésik
Second-Order Logic over Strings: Regular and Non-regular Fragments / T. Eiter ; G. Gottlob ; T. Schwentick
Decision Questions on Integer Matrices / T. Harju
Some Petri Net Languages and Codes / M. Ito ; Y. Kunimoch
Words, Permutations, and Representations of Numbers / H. Prodinger
Proof Complexity of Pigeonhole Principles / A.A. Razborov
Words and Patterns / A. Restivo ; S. Salemi
A Short Introduction to Infinite Automata / W. Thomas
Contributions
The Power of One-Letter Rational Languages / T. Cachat
The Entropy of Lukasiewicz-Languages / L. Staiger
Collapsing Words vs. Synchronizing Words / D.S. Ananichev ; M.V. Volkov
A Note on Synchronized Automata and Road Coloring Problem / K. Culik ; J. Karhumäki ; J. Kari
Shuffle Quotient and Decompositions / C. Câmpeanu ; K. Salomaa ; S. Vágvölgyi
The Growing Context-Sensitive Languages Are the Acyclic Context-Sensitive Languages / G. Niemann ; J.R. Woinowski
Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable / D. Kuske
Automata on Series-Parallel Biposets / Z.L. Németh
Hierarchies of String Languages Generated by Deterministic Tree Transducers / J. Engelfriet ; S. Maneth
Partially-Ordered Two-Way Automata: A New Characterization of DA / D. Thérien ; H. Vollmer
Level 5/2 of the Straubing-Therien Hierarchy for Two-Letter Alphabets / C. Glaβer ; H. Schmitz
On the Power of Randomized Pushdown Automata / J. Hromkovič ; G. Schnitger
The Root of a Language and Its Complexity / G. Lischke
Valuated and Valence Grammars: An Algebraic View / H. Fernau ; R. Stiebe
Context-Free Valence Grammars - Revisited / H.J. Hoogeboom
An Undecidability Result Concerning Periodic Morphisms / V. Halava
A Universal Turing Machine with 3 States and 9 Symbols / M. Kudlek ; Y. Rogozhin
Minimal Covers of Formal Languages / M. Domaratzki ; J. Shallit ; S. Yu
Some Regular Languages That Are Church-Rosser Congruential / J. Waldmann
On the Relationship between the McNaughton Families of Languages and the Chomsky Hierarchy / M. Beaudry ; M. Holzer ; F. Otto
Forbidden Factors and Fragment Assembly / F. Mignosi ; M. Sciortino
Parallel Communicating Grammar Systems with Incomplete Information Communication / E. Csuhaj-Varjú ; G. Vaszil
Eliminating Communication by Parallel Rewriting / B. Rovan ; M. SlaÜt'an
String Rewriting Sequential P-Systems and Regulated Rewriting / P. Sosík ; R. Freund
Author Index
Invited Presentations
Automata: From Uncertainty to Quantum / C.S. Calude ; E. Calude
Elementary Theory of Ordinals with Addition and Left Translation by ω / C. Choffrut
29.

図書
図書
29. Methods and Applications of Artificial Intelligence : Second Hellenic Conference on AI, SETN 2002, Thessaloniki, Greece, April 11-12, 2002 : proceedings /Ioannis P. Vlahavas, Constantine D. Spyropoulos (eds.)
Hellenic Conference on AI(2nd : 2002 : Thessaloniki, Greece) ; Vlahavas, Ioannis P. ; Spyropoulos, Constantine D., 1951-
出版情報: Berlin ; New York : Springer, c2002  xiv, 514 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2308 . Lecture notes in artificial intelligence
所蔵情報: loading…
30.

図書
図書
30. Soft-Ware 2002 : Computing in an Imperfect World : First International Conference, Soft-Ware 2002, Belfast, Northern Ireland, April, 8-10, 2002 : proceedings
David Bustard, Weiru Liu, Roy Sterritt (eds.)
出版情報: Berlin ; New York : Springer, c2002  xi, 353 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2311
所蔵情報: loading…
目次情報: 続きを見る
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1：
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
Enabling Multimedia QoSControl with Black-Box Modelling / Gianluca Bontempi ; Gauthier Lafruit
Using Markov Chains for Link Prediction in Adaptive Web Sites / Jianhan Zhu ; Jun Hong ; John G. HughesTechnical Session 2：
Classification of Customer Call Data in the Presence of Concept Drift and Noise / Michaela Black ; Ray Hickey
A Learning System for Decision Support in Telecommunications / Filip Äelezný ; Jiří Zídgek ; Olga ètepánkova
Adaptive User Modelling in an Intelligent Telephone Assistant / Trevor P. Martin ; Benham Azvine
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning / Rolf HaenniTechnical Session 3：
Proof Length as an Uncertainty Factor in ILP / Gilles Richard ; Fatima Zohra Kettaf
Paraconsistency in Object-Oriented Databases / Rajiv Bagai ; Shellene J. Kelley
Decision Support with Imprecise Data for Consumers / Gergely Lukács
Genetic Programming: A Parallel Approach / Wolfgang Golubski
Software Uncertainty / Manny M. Lehman ; J.F. Ramil
Technical Session 4
Temporal Probabilistic Concepts from Heterogeneous Data Sequences / Sally McClean ; Bryan Scotney ; Fiona Palmer
Handling Uncertainty in a Medical Study of Dietary Intake during Pregnancy / Adele Marshall ; David Bell
Sequential Diagnosis in the Independence Bayesian Framework / David McSherry
Static Field Approach for Pattern Classification / Dymitr Ruta ; Bogdan Gabrys
Inferring Knowledge from Frequent Patterns / Marzena Kryszkiewicz
Anytime Possibilistic Propagation Algorithm / Nahla Ben Amor ; Salem Benferhat ; Khaled Mellouli
Technical Session 5
Macro Analysis of Techniques to Deal with Uncertainty in Information Systems Development: Mapping Representational Framing Influences / Carl Adams ; David E. Avison
The Role of Emotion, Values, and Beliefs in the Construction of Innovative Work Realities / Isabel Ramos ; Daniel M. Berry ; João Á. Carvalho
Managing Evolving Requirements Using eXtreme Programming / Jim Tomayko
Text Summarization in Data Mining / Colleen E. Crangle
Invited Speakers
Industrial Applications of Intelligent Systems at BTexact
Intelligent Control of Wireless and Fixed Telecom Networks / John Bigham
Assertions in Programming: From Scientific Theory to Engineering Practice / Tony Hoare
Hybrid Soft Computing for Classification and Prediction Applications / Piero Bonissone
Why Users Cannot `Get What They Want' / Ray Paul
Systems Design with the Reverend Bayes / Derek McAuley
Formalism and Informality in Software Development / Michael Jackson
Industrial Panel
An Industrial Perspective on Soft Issues: Successes, Opportunities, and Challenges
Author Index
Overview of Fuzzy-RED in Diff-Serv Networks / L. Rossides ; C. Chrysostomou ; A. Pitsillides ; A. SekerciogluTechnical Session 1：
An Architecture for Agent-Enhanced Network Service Provisioning through SLA Negotiation / David Chieng ; Ivan Ho ; Alan Marshall ; Gerard Parr
Facing Fault Management as It Is, Aiming for What You Would Like It to Be / Roy Sterritt
31.

図書
図書
31. Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002 : proceedings
Mary Hegarty, Bernd Meyer, N. Hari Narayanan (eds.)
出版情報: Berlin : Springer, c2002  xiv, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2317 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書
図書
32. Software Reuse : Methods, Techniques, and Tools : 7th International Conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
Cristina Gacek (ed.)
出版情報: Berlin : Springer, c2002  xi, 352 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2319
所蔵情報: loading…
33.

図書
図書
33. Multi-Agent Systems and Applications II : 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 : selected revised papers
Vladimír Mařík ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xii, 375 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2322 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書
図書
34. Software visualization : international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers
Stephan Diehl (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 403 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2269
所蔵情報: loading…
目次情報: 続きを見る
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1：
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
Animating Algorithms Live and Post Mortem / Stephan Diehl ; Carsten Görg
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership / James Noble
Algorithm Animation Using Data FlowTracing / Jaroslaw Francik
GeoWin: A Generic Tool for Interactive Visualization of Geometric Algorithms / Matthias Bäsken ; Stefan Näher
Algorithm Animation Systems for Constrained Domains / Ayellet Tal
Algorithm Animation for Teaching / Rudolf Fleischer ; Luděk Kučera
Software Engineering with an Introduction / Rym Mili ; Renee Steiner2：
Software Visualization for Reverse Engineering / Rainer Koschke
Visualizing the Execution of Java Programs / Wim De Pauw ; Erik Jensen ; Nick Mitchell ; Gary Sevitsky ; John Vlissides ; Jeaha Yang
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs / Katharina Mehner
JAVAVIS: Automatic Program Visualization with Object and Sequence Diagrams Using the Java Debug Interface (JDI) / Rainer Oechsle ; Thomas Schmitt
Visualizing Memory Graphs / Thomas Zimmermann ; Andreas Zeller
Software Visualization and Education with an Introduction / John Domingue3：
Structure and Constraints in Interactive Exploratory Algorithm Learning / Nils Faltin
A Language and System for Constructing and Presenting LowFidelity Algorithm Visualizations / Christopher Hundhausen ; Sarah Douglas
Towards a Taxonomy of Network Protocol Visualization Tools / Pilu Crescenzi ; Gaia Innocenti
Understanding Algorithms by Means of Visualized Path Testing / Ari Korhonen
Hypertextbooks: Animated, Active Learning, Comprehensive Teaching and Learning Resources for the Web / Rockford J. Ross ; Michael T. Grinder
Graphs in Software Visualization with an Introduction / Petra Mutzel ; Peter Eades4：
On the Visualization of Java Programs / Holger Eichelberger ; J. Wolff von Gudenberg
Graph Drawing Algorithm Engineering with AGD / Carsten Gutwenger ; Michael Junger ; Gunnar W. Klau ; Sebastian Leipert
An Overviewof the GXL Graph Exchange Language / Andreas Winter ; Bernt Kullbach ; Volker Riediger
Call Graph and Control FlowGraph Visualization for Developers of Embedded Applications / Alexander A. Evstiougov-Babaev
Future Perspectives with an Introduction / 5：
Visualization for the MindÆs Eye / Nelson Baloian ; Wolfram Luther
The rube Framework for Personalized 3-D Software Visualization / John F. Hopkins ; Paul A. Fishwick
Algorithm Explanation: Visualizing Abstract States and Invariants / Reinhard Wilhelm ; Tomasz Muldner ; Raimund Seidel
Visualisation and Debugging of Decentralised Information Ecosystems / Rolf Hendrik van Lengen ; Jan-Thies Bahr
Author Index
Algorithm Animation with an Introduction / Andreas Kerren ; John T. Stasko1：
Specifying Algorithm Visualizations: Interesting Events or State Mapping? / Camil Demetrescu ; Irene Finocchi
Perspectives on Program Animation with Jeliot / Mordechai Ben-Ari ; Niko Myller ; Erkki Sutinen ; Jorma Tarhio
35.

図書
図書
35. Software Product-Family Engineering : 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 : revised papers
Frank van der Linden (ed.)
出版情報: Berlin : Springer, c2002  x, 416 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2290
所蔵情報: loading…
36.

図書
図書
36. Verification, Model Checking, and Abstract Interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002 : revised papers
Agostino Cortesi (ed.)
出版情報: Berlin : Springer, c2002  viii, 330 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2294
所蔵情報: loading…
37.

図書
図書
37. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : revised lectures
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
出版情報: Berlin : Springer, c2002  xiv, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2297
所蔵情報: loading…
目次情報: 続きを見る
Introduction / Roy CroleChapter 1：
Preliminaries / 1：
Assumed Knowledge / 1.1：
Volume Overview / 1.2：
A Mathematical History Tour / 2：
Fixed Points / 2.1：
Induction and Coinduction / 2.2：
Types and Categories / 2.3：
Algebras and Coalgebras / 2.4：
Mathematics in ACMMPC / 3：
Chapter 2: Ordered Sets and Complete Lattices / 3.1：
Chapter 3: Introducing Algebras and Coalgebras / 3.2：
Chapter 4: Galois Connections and Fixed Point Calculus / 3.3：
Chapter 5: Calculating Functional Programs / 3.4：
Chapter 6: Algebra of Program Termination / 3.5：
Chapter 7: Exercises in Coalgebraic Specification / 3.6：
Chapter 8: Algebraic Methods for Optimization Problems / 3.7：
Chapter 9: Temporal Algebra / 3.8：
Ordered Sets and Complete Lattices / Hilary A. PriestleyChapter 2：
From Binary Relations to Diagrams
A Fundamental Example: Powersets
Input-Output Relations Pictorially
Exercise
Binary Relations and Their Polars
Summing Up So Far / 2.5：
Order, Order, Order
Partial Order
Information Orderings
Diagrams
Duality: Buy One, Get One Free
Bottom and Top
Lifting
New Posets from Old: Sums and Products
Maps between Posets
Pointwise Ordering of Maps / 3.9：
Up-Sets: An Inbred Example / 3.10：
Monotone Maps and Up-Sets / 3.11：
Exercise (More on Monotone Maps and Up-Sets) / 3.12：
Down Is Nice Too / 3.13：
Exercise (Turning Things Upside Down) / 3.14：
The Down-Set Operator, ↓, and the Up-Set Operator, ↑ / 3.15：
Exercise (A Context Explored) / 3.16：
Maximal and Minimal Elements / 3.17：
Stocktaking / 3.18：
Lattices in General and Complete Lattices in Particular / 4：
Lattices / 4.1：
Examples of Lattices / 4.2：
Distributive Lattices / 4.3：
Boolean Algebras / 4.4：
Lattices in Logic / 4.5：
Upper Bounds and Sups, Lower Bounds and Infs / 4.6：
Much Ado about Nothing, and about Everything / 4.7：
Complete Lattices / 4.8：
Completeness on the Cheap / 4.9：
A Special Class of Complete Lattices / 4.10：
Suprema, Infima, and Monotone Maps / 4.11：
Complete Lattices, Concretely: Closure Systems and Closure Operators / 5：
A Useful Technical Remark / 5.1：
Complete Lattices of Sets / 5.2：
Closure Systems / 5.3：
Examples / 5.4：
From a Complete Lattice to a Closure System / 5.6：
Defining Closure Operators / 5.7：
New Complete Lattices from Old: From a Closure Operator to a Complete Lattice / 5.8：
Closure Operators more Concretely / 5.9：
Galois Connections: Basics / 6：
Lattice Representation via Galois Connections / 6.1：
Galois Connections from Binary Relations: Method I / 6.3：
Galois Connections and Algebras-A Fleeting Glimpse / 6.4：
Galois Connections by Sectioning / 6.5：
Galois Connections from Binary Relations: Method II / 6.6：
Galois Connections: Basic Properties / 6.7：
<$>{}^\triangleright<$> and <$>{}^\triangleleft<$> Have Isomorphic Images / 6.8：
Equivalent Definitions for Galois Connections / 6.9：
The Good (and Less Good) Behaviour of Galois Maps / 6.10：
Uniqueness of Adjoints: <$>{}^\triangleright<$> from <$>{}^\triangleleft<$> and <$>{}^\triangleleft<$> from <$>{}^\triangleright<$> / 6.11：
Exercise (Surjective and Injective Galois Maps) / 6.12：
A Look Ahead / 6.13：
Existence of Adjoints: A Technical Lemma / 6.14：
Existence Theorem for Adjoints / 6.15：
Postscript / 6.16：
Making Connections, Conceptually / 7：
From a Galois Connection to a Closure Operator / 7.1：
From a Closure Operator to a Galois Connection / 7.2：
Contexts and Concepts: Re-setting the Scene / 7.3：
Ordering Concepts / 7.4：
Three for the Price of One: A Trinity of Complete Lattices / 7.5：
Manufacturing Concepts / 7.6：
Density: Generating all Concepts via γ or μ / 7.7：
From a Complete Lattice to a Concept Lattice / 7.8：
The Case for the Defence / 7.9：
Summing Up / 7.10：
The Existence of Fixed Points / 8：
Fixed Points and Least Fixed Points: Definitions / 8.1：
Characterizing Least Fixed Points via Least Prefix Points / 8.2：
The Knaster-Tarski Fixed Point Theorem / 8.3：
From Complete Lattices to CPOs / 8.4：
A Sense of Direction / 8.7：
Exercise (Sups and Directed Sups Related) / 8.8：
CPOs / 8.9：
Directed Sets and Continuity / 8.10：
New CPOs from Old / 8.11：
Fixed Point Theorem for a Continuous Function on a CPO / 8.12：
From Continuity to Monotonicity / 8.13：
An Assumption: Zorn's Lemma (ZL), CPO Form / 8.14：
The Fixed Point Theorem for a Monotone Endofunction on a CPO / 8.15：
Concluding Remarks / 8.16：
Speaking Categorically / 9：
Categories / 9.1：
Terms / Peter AczelChapter 3：
Variable-Free Terms
Terms as Set Theoretical Objects
Terms with Variables
Initial (F,X)-Algebras
Substitution
Trees
Variable-Free Trees
Representing Terms as Well-Founded Trees
Corecursion
Set Theoretical Representation of Trees
Trees with Variables
Solution Property
The Monad of a Substitution System
Galois Connections and Fixed Point Calculus / Roland BackhouseChapter 4：
Fixed Point Equations
Languages
Functions / 1.3：
Datatypes / 1.4：
Galois Connections / 1.5：
Basic Assumptions / 1.6：
Issues and Applications / 1.7：
Galois Connections - Introductory Examples
Simple Examples
The Floor Function
Identifying Galois Connections
Symmetric Definitions
Universal Property
Commutativity Properties
Pair Algebras
Infima and Suprema
Extremum Preservation Properties
Existence Theorem
Prefix Points
A First Example
Kleene Algebra
Fixed Point Calculus
Basic Rules
Fusion
Uniqueness
Parameterised Prefix Points
Mutual Recursion
An Illustration - Arithmetic Expressions
Further Reading
Calculating Functional Programs / Jeremy GibbonsChapter 5：
Why Calculate Programs?
Functional Programming
Universal Properties
The Categorical Approach to Datatypes
The Pair Calculus
Bibliographic Notes
Exercises
Recursive Datatypes in the Category Set
Overview
Monomorphic Datatypes
Folds
Polymorphic Datatypes
Properties of Folds
Co-datatypes and Unfolds
... and Never the Twain Shall Meet / 2.7：
Recursive Datatypes in the Category Cpo / 2.8：
The Category Cpo
Continuous Algebras
The Pair Calculus Again
Hylomorphisms
Applications
A Simple Compiler
Monads andComonads
Breadth-First Traversal
Appendix: Implementation in Haskell
Products
Sums
Functors
Folds and Unfolds
Lists
Quicksort
Algebra of Program Termination / Henk DoornbosChapter 6：
Imperative Programming and Well-Founded Relations
Relation Algebra
Imperative Programming
Domains and Division
Well-Foundedness Defined
Totality of While Statements
Induction Principles
Admits-Induction Implies Well-Founded
Hylo Equations
Relators and Hylos
Hylo Programs
Intermediate Data Structures
The Hylo Theorem
Reducing Problem Size
A Calculus of F-Reductivity
Exercises in Coalgebraic Specification / Bart JacobsChapter 7：
Mathematical Preliminaries
Specification of Groups and Vector Spaces
A First Coalgebraic Specification: Binary Trees
Elements of Binary Trees
Bisimulations and Bisimilarity
Invariants
Temporal Logic for Coalgebras
A Concrete Description of <$>\box<$> and <$>\diamondsuit<$> for Binary Trees
Using <$>\box<$> and <$>\diamondsuit<$> for Specification and Verification of Binary Trees
Towards a μ-Calculus for Coalgebras
A Case Study: Peterson's Mutual Exclusion Algorithm
Peterson's Solution for Mutual Exclusion
Dealing with Time in Coalgebraic Specification / 9.2：
Class-Valued Methods / 9.3：
Peterson's Algorithm in Coalgebraic Specification / 9.4：
Refinements between Coalgebraic Specifications / 10：
Conclusion / 11：
Algebraic Methods for Optimization Problems / Richard Bird ; Shin-Cheng MuChapter 8：
The Algebra of Relations
Relations
Special Kinds of Relation
Breadth
BibliographicNotes
Optimization Problems
The Eilenberg-Wright Lemma
Preorders
Monotonicity
Minimum
The GreedyTheorem
Thinning
Optimal Bracketing
Representation
The Converse-of-a-Function Theorem
Spines
An Application of Thinning
An Application of Greediness
Refinement of the Greedy Algorithm to a Program
Summary
The Haskell Program
Temporal Algebra / Burghard von KargerChapter 9：
Boolean Algebra
Regular Algebra
Iteration
Repetition
Galois Algebra
Definition and Basic Properties
New Algebrasfrom Old
Diamonds and Boxes
`Until' and `Since'
Confluence
Linearity
Infinity
Sequential Algebra
Observations
Lifting to Sets
Sequential Set Algebras
Abstract Sequential Algebras
Time-Wise Duality
Relational Laws of Sequential Algebra
Basic Laws
Predicates
Left and Right Domain
Interval Calculi
Somewhere and Everywhere
Importability
Engineer's Induction
Finite and Infinite Observations
Measuring Time
Phase Calculus
Duration Calculus
Author Index
Introduction / Roy CroleChapter 1：
Preliminaries / 1：
Assumed Knowledge / 1.1：
38.

図書
図書
38. Artificial Evolution : 5th International Conference, Evolution Artificielle, EA 2001, Le Creusot, France, October 29-31, 2001 : selected papers
Pierre Collet ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2310
所蔵情報: loading…
39.

図書
図書
39. Inference control in statistical databases : from theory to practice
Josep Domingo-Ferrer (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2316
所蔵情報: loading…
40.

図書
図書
40. Security and Privacy in Digital Rights Management : ACM CCS-8 Workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001 : revised papers
Tomas Sander (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 244 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2320
所蔵情報: loading…
41.

図書
図書
41. Advances in cryptology-EUROCRYPT 2002 : International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28-May 2, 2002 : proceedings
Lars Knudsen (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xii, 545 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2332
所蔵情報: loading…
目次情報: 続きを見る
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
Extending the GHS Weil Descent Attack / Steven D. Galbraith ; Florian Hess ; Nigel P. Smart
Public-Key Encryption
Universal Hash Proofs and a Paradigm for Adaptive Chosen Ciphertext Secure Public-Key Encryption / Ronald Cramer ; Victor Shoup
Key-Insulated Public Key Cryptosystems / Yevgeniy Dodis ; Jonathan Katz ; Shouhuai Xu ; Moti Yung
On the Security of Joint Signature and Encryption / Jee Hea An ; Tal Rabin
Invited Talk
AES and the Wide Trail Design Strategy / Joan Daemen ; Vincent Rijmen
Information Theory & New Models
Indistinguishability of Random Systems / Ueli Maurer
How to Fool an Unbounded Adversary with a Short Key / Alexander Russell ; Hong Wang
Cryptography in an Unbounded Computational Model / David P. Woodruff ; Marten van Dijk
Implementational Analysis
Performance Analysis and Parallel Implementation of Dedicated Hash Functions / Junko Nakajima ; Mitsuru Matsui
Fault Injection and a Timing Channel on an Analysis Technique / John A. Clark ; Jeremy L. Jacob
Speeding Up Point Multiplication on Hyperelliptic Curves with Efficiently-Computable Endomorphisms / Young-Ho Park ; Sangtae Jeong ; Jongin Lim
Stream Ciphers
Fast Correlation Attacks: An Algorithmic Point of View / Philippe Chose ; Antoine Joux ; Michel Mitton
BDD-Based Cryptanalysis of Keystream Generators / Matthias Krause
Linear Cryptanalysis of Bluetooth Stream Cipher / Jovan Dj. Golić ; Vittorio Bagini ; Guglielmo Morgari
Digital Signatures I
Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups / Ivan Damgård ; Maciej Koprowski
Optimal Security Proofs for PSS and Other Signature Schemes / Jean-Sébastien Coron
Cryptanalysis II
Cryptanalysis of SFLASH / Henri Gilbert ; Marine Minier
Cryptanalysis of the Revised NTRU Signature Scheme / Craig Gentry ; Mike Szydlo
Key Exchange
Dynamic Group Diffie-Hellman Key Exchange under Standard Assumptions / Emmanuel Bresson ; Olivier Chevassut ; David Pointcheval
Universally Composable Notions of Key Exchange and Secure Channels / Ran Canetti ; Hugo Krawczyk
On Deniability in Quantum Key Exchange / Donald Beaver
Modes of Operation
A Practice-Oriented Treatment of Pseudorandom Number Generators / Anand Desai ; Alejandro Hevia ; Yiqun Lisa Yin
A Block-Cipher Mode of Operation for Parallelizable Message Authentication / John Black ; Phillip Rogaway
Rethinking PKI: What's Trust Got to Do with It? / Stephen Kent
Digital Signatures II
Efficient Generic Forward-Secure Signatures with an Unbounded Number of Time Periods / Tal Malkin ; Sara Miner
From Identification to Signatures via the Fiat-Shamir Transform: Minimizing Assumptions for Security and Forward-Security / Michel Abdalla ; Mihir Bellare ; Chanathip Namprempre
Security Notions for Unconditionally Secure Signature Schemes / Junji Shikata ; Goichiro Hanaoka ; Yuliang Zheng ; Hideki Imai
Traitor Tracking & Id-Based Encryption
Traitor Tracing with Constant Transmission Rate / Aggelos Kiayias
Toward Hierarchical Identity-Based Encryption / Jeremy Horwitz ; Ben Lynn
Multiparty and Multicast
Unconditional Byzantine Agreement and Multi-party Computation Secure against Dishonest Minorities from Scratch / Matthias Fitzi ; Nicolas Gisin ; Oliver von Rotz
Perfectly Secure Message Transmission Revisited / Yvo Desmedt ; Yongge Wang
Symmetric Cryptology
Degree of Composition of Highly Nonlinear Functions and Applications to Higher Order Differential Cryptanalysis / Anne Canteaut ; Marion Videau
Security Flaws Induced by CBC Padding - Applications to SSL, IPSEC, WTLS / Serge Vaudenay
Author Index
Cryptanalysis I
Cryptanalysis of a Pseudorandom Generator Based on Braid Groups / Rosario Gennaro ; Daniele Micciancio
Potential Weaknesses of the Commutator Key Agreement Protocol Based on Braid Groups / Sang Jin Lee ; Eonkyung Lee
42.

図書
図書
42. Protocols for High Speed Networks : 7th IFIP/IEEE International Workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings
Georg Carle, Martina Zitterbart (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2334
所蔵情報: loading…
43.

図書
図書
43. Advances in artificial intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003 : proceedings
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…
44.

図書
図書
44. Static analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings
Radhia Cousot (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xiv, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2694
所蔵情報: loading…
45.

図書
図書
45. Developments in language theory : 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002 : revised papers
[Masami Ito, Masafumi Toyama (eds.)]
出版情報: Berlin ; Tokyo : Springer, c2003  ix, 427 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2450
所蔵情報: loading…
46.

図書
図書
46. Logic based program synthesis and transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
Michael Leuschel (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  x, 279 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2664
所蔵情報: loading…
47.

図書
図書
47. Spatial cognition III : routes and navigation, human memory and learning, spatial representation and spatial learning
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…
48.

図書
図書
48. Communication in multiagent systems : agent communication languages and conversation policies
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…
49.

図書
図書
49. Energy minimization methods in computer vision and pattern recognition : 4th International Workshop, EMMCVPR 2003, Lisbon, Portugal, July 7-9, 2003 : proceedings
Anand Rangarajan, Mário Figueiredo, Josiane Zerubia (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2683
所蔵情報: loading…
50.

図書
図書
50. Mathematical methods for protein structure analysis and design : C.I.M.E. Summer School, Martina Franca, Italy, July 9-15, 2000 : advanced lectures
[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：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼