close
1.

図書

図書
Sergio Rajsbaum (ed.)
出版情報: Berlin : Springer, c2002  xiii, 630 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2286
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
Erd&odacute;s Magic / Joel Spencer
Open Problems in Computational Geometry / Jorge Urrutia
Quantum Algorithms / Umesh Vazirani
Testing and Checking of Finite State Systems / Mihalis Yannakakis
From Algorithms to Cryptography / Fabrizio Luccio ; Linda Pagli
Dihomotopy as a Tool in State Space Analysis / Éric Goubault ; Martin Raussen
Regular Contributions
Algorithms for Local Alignment with Length Constraints / Abdullah N. Arslan ; Ömer Eğecioğlu
An Algorithm That Builds a Set of Strings Given Its Overlap Graph / Marília D.V. Braga ; João Meidanis
Conversion between Two Multiplicatively Dependent Linear Numeration Systems / Christiane Frougny
Star Height of Reversible Languages and Universal Automata / Sylvain Lombardy ; Jacques Sakarovitch
Weakly Iterated Block Products of Finite Monoids / Howard Straubing ; Denis Thérien
The Hidden Number Problem in Extension Fields and Its Applications / María Isabel González Vasco ; Mats Näslund ; Igor E. Shparlinski
The Generalized Weil Pairing and the Discrete Logarithm Problem on Elliptic Curves / Theodoulos Garefalakis
Random Partitions with Non Negative rth Differences / Rod Canfield ; Sylvie Corteel ; Pawel Hitczenko
Beta-Expansions for Cubic Pisot Numbers / Frédérique Bassino
Facility Location Constrained to a Polygonal Domain / Prosenjit Bose ; Qingda Wang
A Deterministic Polynomial Time Algorithm for Heilbronn's Problem in Dimension Three / Hanno Lefmann ; Niels Schmitt
A Metric Index for Approximate String Matching / Edgar Chávez ; Gonzalo Navarro
On Maximal Suffices and Constant-Space Linear-Time Versions of KMP Algorithm / Wojciech Rytter
On the Power of BFS to Determine a Graphs Diameter / Derek G. Corneil ; Feodor F. Dragan ; Ekkehard Köhler
k-pseudosnakes in Large Grids / Martín Matamala ; Erich Prisner ; Ivan Rapaport
L(2, 1)-Coloring Matrogenic Graphs / Tiziana Calamoneri ; Rossella Petreschi
Pipeline Transportation of Petroleum Products with No Due Dates / Ruy Luiz Milidiú ; Artur Alves Pessoa ; Eduardo Sany Laber
Ancestor Problems on Pure Pointer Machines / Enrico Pontelli ; Desh Ranjan
Searching in Random Partially Ordered Sets / Renato Carmo ; Jair Donadelli ; Yoshiharu Kohayakawa ; Eduardo Laber
Packing Arrays / Brett Stevens ; Eric Mendelsohn
Generalized Shannon Code Minimizes the Maximal Redundancy / Michael Drmota ; Wojciech Szpankowski
An Improved Algorithm for Sequence Comparison with Block Reversals / S. Muthukrishnan ; S. Cenk &Sbdot;ahinalp
Pattern Matching and Membership for Hierarchical Message Sequence Charts / Blaise Genest ; Anca Muscholl
Improved Exact Algorithms for Max-Sat / Jianer Chen ; Iyad A. Kanj
Characterising Strong Normalisation for Explicit Substitutions / Steffen van Bakel ; Mariangiola Dezani-Ciancaglini
Parameters in Pure Type Systems / Roel Bloo ; Fairouz Kamareddine ; Twan Laan ; Rob Nederpelt
Category, Measure, Inductive Inference: A Triality Theorem and Its Applications / Rūsiņš Freivalds ; Carl H. Smith
Verification of Embedded Reactive Fiffo Systems / Frédéric Herbreteau ; Franck Cassez ; Alain Finkel ; Olivier Roux ; Grégoire Sutre
Electronic Jury Voting Protocols / Alejandro Hevia ; Marcos Kiwi
Square Roots Modulo p / Gonzalo Tornaría
Finding Most Sustainable Paths in Networks with Time-Dependent Edge Reliabilities / Goran Konjevod ; Soohyun Oh ; Andréa W. Richa
Signals for Cellular Automata in Dimension 2 or Higher / Jean-Christophe Dubacq ; Véronique Terrier
Holographic Trees / Paolo Boldi ; Sebastiano Vigna
On the Spanning Ratio of Gabriel Graphs and β-skeletons / Luc Devroye ; William Evans ; David Kirkpatrick
In-Place Planar Convex Hull Algorithms / Hervé Brönnimann ; John Iacono ; Jyrki Katajainen ; Pat Morin ; Jason Morrison ; Godfried Toussaint
The Level Ancestor Problem Simplified / Michael A. Bender ; Martín Farach-Colton
Flow Metrics / Claudson F. Bornstein ; Santosh Vempala
On Logical Descriptions of Regular Languages
Computing Boolean Functions from Multiple Faulty Copies of Input Bits / Mario Szegedy ; Xiaomin Chen
Inapproximability Results on Stable Marriage Problems / Magnús Halldórsson ; Kazuo Iwama ; Shuichi Miyazaki ; Yasufumi Morita
Tight Bounds for Online Class-Constrained Packing / Hadas Shachnai ; Tami Tamir
On-line Algorithms for Edge-Disjoint Paths in Trees of Rings / R. Sai Anand ; Thomas Erlebach
Massive Quasi-Clique Detection / James Abello ; Mauricio G.C. Resende ; Sandra Sudarsky
Improved Tree Decomposition Based Algorithms for Domination-like Problems / Jochen Alber ; Rolf Niedermeier
Author Index
Invited Talks and Tutorials
Phase Transitions in Computer Science / Jennifer Chayes
The Internet, the Web, and Algorithms / Christos H. Papadimitriou
2.

図書

図書
Kwangjo Kim (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2288
所蔵情報: loading…
3.

図書

図書
Alessandro Armando (ed.)
出版情報: Berlin : Springer-Verlag, c2002  viii, 254 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2309 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Peter M.A. Sloot ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  3 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2329-2331
所蔵情報: loading…
目次情報: 続きを見る
Keynote Papers
The UK e-Science Core Program and the Grid / T. Hey ; A.E. Trefethen
Community Grids / G. Fox ; O. Balsoy ; S. Pallickara ; A. Uyar ; D. Gannon ; A. Slominski
Conference Papers
Computer Science - Information Retrieval
A Conceptual Model for Surveillance Video Content and Event-Based Indexing and Retrieval / F. Marir ; K. Zerzour ; K. Ouazzane ; Y. Xue
Comparison of Overlap Detection Techniques / K. Monostori ; R. Finkel ; A. Zaslavsky ; G. Hodász ; M. Pataki
Using a Passage Retrieval System to Support Question Answering Process / F. Llopis ; J.L. Vicedo ; A. Ferrández
XML Design Patterns Used in the EnterTheGrid Portal / A. Emmen
Modeling Metadata-Enabled Information Retrieval / M.J. Fernández-Iglesias ; J.S. Rodríguez ; L. Anido ; J. Santos ; M. Caeiro ; M. Llamas
Complex Systems Applications 1
Spontaneous Branching in a Polyp Oriented Model of Stony Coral Growth / R. Merks ; A. Hoekstra ; J. Kaandorp ; P. Sloot
Local Minimization Paradigm in Numerical Modeling of Foraminiferal Shells / P. Topa ; J. Tyszka
Using PDES to Simulate Individual-Oriented Models in Ecology: A Case Study / R. Suppi ; P. Munt ; E. Luque
In Silico Modeling of the Human Intestinal Microflora / D.J. Kamerman ; M.H.F. Wilkinson
A Mesoscopic Approach to Modeling Immunological Memory / Y. Liu ; H.J. Ruskin
Computer Science - Computer Systems Models
A New Method for Ordering Binary States Probabilities in Reliability and Risk Analysis / L. González
Reliability Evaluation Using Monte Carlo Simulation and Support Vector Machine / C.M. Rocco Sanseverino ; J.A. Moreno
On Models for Time-Sensitive Interactive Computing / M. Meriste ; L. Motus
Induction of Decision Multi-trees Using Levin Search / C. Ferri-Ramírez ; J. Hernández-Orallo ; M.J. Ramírez-Quintana
A Versatile Simulation Model for Hierarchical Treecodes / P.F. Spinnato ; G.D. van Albada ; P.M.A. Sloot
Scientific Computing - Stochastic Algorithms
Computational Processes in Iterative Stochastic Control Design / I.V. Semoushin ; O.Yu. Gorokhov
An Efficient Approach to Deal with the Curse of Dimensionality in Sensitivity Analysis Computations / M. Ratto ; A. Saltelli
Birge and Qi Method for Three-Stage Stochastic Programs Using IPM / G. Ch. Pflug ; L. Halada
Multivariate Stochastic Models of Metocean Fields: Computational Aspects and Applications / A.V. Boukhanovsky
Complex Systems Applications 2
Simulation of Gender Artificial Society: Multi-agent Models of Subject-Object Interactions / J. Frolova ; V. Korobitsin
Memory Functioning in Psychopathology / R.S. Wedemann ; R. Donangelo ; L.A.V. de Carvalho ; I.H. Martins
Investigating e-Market Evolution / J. Debenham
Markets as Global Scheduling Mechanisms: The Current State / J. Nakai
Numerical Simulations of Combined Effects of Terrain Orography and Thermal Stratification on Pollutant Distribution in a Town Valley / S. Kenjereš ; K. Hanjalić ; G. Krstović
Computer Science - Networks
The Differentiated Call Processing Based on the Simple Priority-Scheduling Algorithm in SIP6 / C. Kim ; B. Choi ; K. Kim ; S. Han
A Fuzzy Approach for the Network Congestion Problem / G. Di Fatta ; G. Lo Re ; A. Urso
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster / M. Lobosco ; V. Santos Costa ; C.L. de Amorim
Basic Operations on a Partitioned Optical Passive Stars Network with Large Group Size / A. Datta ; S. Soundaralakshmi
Scientific Computing - Domain Decomposition
3D Mesh Generation for the Results of Anisotropic Etch Simulation / E.V. Zudilova ; M.O. Borisov
A Fractional Splitting Algorithm for Non-overlapping Domain Decomposition / D.S. Daoud ; D.S. Subasi
Tetrahedral Mesh Generation for Environmental Problems over Complex Terrains / R. Montenegro ; G. Montero ; J.M. Escobar ; E. Rodríguez ; J.M. González-Yuste
Domain Decomposition and Multigrid Methods for Obstacle Problems / X.-C. Tai
Domain Decomposition Coupled with Delaunay Mesh Generation / T. Jurczyk ; B. Glut
Complex Systems Applications 3
Accuracy of 2D Pulsatile Flow in the Lattice Boltzmann BGK Method / A.M. Artoli ; A.G. Hoekstra
Towards a Microscopic Traffic Simulation of All of Switzerland / B. Raney ; A. Voellmy ; N. Cetin ; M. Vrtic ; K. Nagel
Modeling Traffic Flow at an Urban Unsignalized Intersection / R. Wang
A Discrete Model of Oil Recovery / G. González-Santos ; C. Vargas-Jarillo
Virtual Phase Dynamics for Constrained Geometries in a Soap Froth / Y. Feng ; B. Zhu
Computer Science - Code Optimization
A Correction Method for Parallel Loop Execution / V. Beletskyy
A Case Study for Automatic Code Generation on a Coupled Ocean-Atmosphere Model / P. van der Mark ; R. van Engelen ; K. Gallivan ; W. Dewar
Data-Flow Oriented Visual Programming Libraries for Scientific Computing / J.M. Maubach ; W. Drenth
Methods for Complex Systems Simulation
One Dilemma - Different Points of View / I. Ferdinandova
Business Agent / I.-H. Meng ; W.-P. Yang ; W.-C. Chen ; L.-P. Chang
On the Use of Longitudinal Data Techniques for Modeling the Behavior of a Complex System / X. Benavent ; F. Vegara ; J. Domingo ; G. Ayala
Problem of Inconsistent and Contradictory Judgements in Pairwise Comparison Method in Sense of AHP / M. Kwiesielewicz ; E. van Uden
Grid and Applications
An Integration Platform for Metacomputing Applications / T. Nguyen ; C. Plumejeaud
Large-Scale Scientific Irregular Computing on Clusters and Grids / P. Brezany ; M. Bubak ; M. Malawski ; K. Zaj&acedil;ac
High Level Trigger System for the LHC ALICE Experiment / H. Helstrup ; J. Lien ; V. Lindenstruth ; D. Röhrich ; B. Skaali ; T. Steinbeck ; K. Ullaland ; A. Vestbø ; A. Wiebalck
The Gateway Computational Web Portal: Developing Web Services for High Performance Computing / M. Pierce ; C. Youn
Evolutionary Optimization Techniques on Computational Grids / B Abdalhaq ; A. Cortés ; T. Margalef
Problem Solving Environment 1
Eclipse and Ellipse: PSEs for EHL Solutions Using IRIS Explorer and SCIRun / C Goodyer ; M. Berzins
Parallel Newton-Krylov-Schwarz Method for Solving the Anisotropic Bidomain Equations from the Excitation of the Heart Model / M. Murillo ; X.-C. Cai
Parallel Flood Modeling Systems / L. Hluchy ; V.D. Tran ; J. Astalos ; M. Dobrucky ; G.T. Nguyen ; D. Froehlich
Web Based Real Time System for Wavepacket Dynamics / A. Nowiński ; K. Nowiński ; P. Ba&lslash;a
The Taylor Center for PCs: Exploring, Graphing and Integrating ODEs with the Ultimate Accuracy / A.Gofen
Data Mining
Classification Rules + Time = Temporal Rules / P. Cotofrei ; K. Stoffel
Parametric Optimization in Data Mining Incorporated with GA-Based Search / L. Tam ; D. Taniar ; K. Smith
Implementing Scalable Parallel Search Algorithms for Data-Intensive Applications / L. Ladányi ; T.K. Ralphs ; M.J. Saltzman
Techniques for Estimating the Computation and Communication Costs of Distributed Data Mining / S. Krishnaswamy ; S.W. Loke
Computer Science - Scheduling and Load Balancing
Distributed Resource Allocation in Ad Hoc Networks / Z. Cai ; M. Lu
The Average Diffusion Method for the Load Balancing Problem / G. Karagiorgos ; N.M. Missirlis
Remote Access and Scheduling for Parallel Applications on Distributed Systems / M. Tehver ; E. Vainikko ; K. Skaburskas ; J. Vedru
Workload Scheduler with Fault Tolerance for MMSC / J. Hong ; H. Sung ; H. Lee
A Simulation Environment for Job Scheduling on Distributed Systems / J. Santoso ; T. Basaruddin
Problem Solving Environment 2
ICT Environment for Multi-disciplinary Design and Multi-objective Optimisation: A Case Study / W.J. Vankan ; R. Maas ; M. ten Dam
A Web-Based Problem Solving Environment for Solution of Option Pricing Problems and Comparison of Methods / M.D. Koulisianis ; G.K. Tsolis ; T.S. Papatheodorou
Cognitive Computer Graphics for Information Interpretation in Real Time Intelligence Systems / Yu.I. Nechaev ; A.B. Degtyarev
AG-IVE: An Agent Based Solution to Constructing Interactive Simulation Systems / Z. Zhao ; R.G. Belleman
Computer-Assisted Learning of Chemical Experiments through a 3D Virtual Lab / I.L. Ruiz ; E.L. Espinosa ; G.C. García ; M.Á. Gómez-Nieto
Computational Fluid Dynamics 1
Lattice-Boltzmann Based Large-Eddy Simulations Applied to Industrial Flows / J. Derksen
Computational Study of the Pyrolysis Reactions and Coke Deposition in Industrial Naphtha Cracking / A. Niaei ; J. Towfighi ; M. Sadrameli ; M.E. Masoumi
An Accurate and Efficient Frontal Solver for Fully-Coupled Hygro-Thermo-Mechanical Problems / M. Bianco ; G. Bilardi ; F. Pesavento ; G. Pucci ; B.A. Schrefler
Utilising Computational Fluid Dynamics (CFD) for the Modelling of Granular Material in Large-Scale Engineering Processes / N. Christakis ; P. Chapelle ; M.K. Patel ; M. Cross ; I. Bridle ; H. Abou-Chakra ; J. Baxter
Parallel Implementation of the INM Atmospheric General Circulation Model on Distributed Memory Multiprocessors / V. Gloukhov
Cellular Automata
A Realistic Simulation for Highway Traffic by the Use of Cellular Automata / E.G. Campari ; G. Levi
Application of Cellular Automata Simulations to Modeling of Dynamic Recrystallization / J. Kroc
A Distributed Cellular Automata Simulation on Cluster of PCs
Evolving One Dimensional Cellular Automata to Perform Non-trivial Collective Behavior Task: One Case Study / F. Jiménez-Morales ; M. Mitchell ; J.P. Crutchfield
Scientific Computing - Computational Methods 1
New Unconditionally Stable Algorithms to Solve the Time-Dependent Maxwell Equations / J.S. Kole ; M.T. Figge ; H. De Raedt
Coupled 3-D Finite Difference Time Domain and Finite Volume Methods for Solving Microwave Heating in Porous Media / D.D. Din&cbreve;ov ; K.A. Parrott ; K.A. Pericleous
Numerical Solution of Reynolds Equations for Forest Fire Spread / V. Perminov
FEM-Based Structural Optimization with Respect to Shakedown Constraints / M. Heitzer
Tight Bounds on Capacity Misses for 3D Stencil Codes / C. Leopold
Problem Solving Environments 3
A Distributed Co-Operative Problem Solving Environment / M. Walkley ; J. Wood ; K. Brodlie
The Software Architecture of a Problem Solving Environment for Enterprise Computing / X.J. Gang ; W.H. An ; D.G. Zhong
Semi-automatic Generation of Web-Based Computing Environments for Software Libraries / P. Johansson ; D. Kressner
The Development of a Grid Based Engineering Design Problem Solving Environment / A.D. Scurr ; A.J. Keane
TOPAS - Parallel Programming Environment for Distributed Computing / M. Kotocova
Computational Fluid Dynamics 2
Parallel Implementation of a Least-Squares Spectral Element Solver for Incompressible Flow Problems / M. Nool ; M.M.J. Proot
Smooth Interfaces for Spectral Element Approximations of Navier-Stokes Equations / S. Meng ; X.K. Li ; G. Evans
Simulation of a Compressible Flow by the Finite Element Method Using a General Parallel Computing Approach / A. Chambarel ; H. Bolvin
A Class of the Relaxation Schemes for Two-Dimensional Euler Systems of Gas Dynamics / M.K. Banda ; M. Seaïd
OpenMP Parallelism for Multi-dimensional Grid-Adaptive Magnetohydrodynamic Simulations / R. Keppens ; G. Tóth
Complex Systems Applications 4
Parameter Estimation in a Three-Dimensional Wind Field Model Using Genetic Algorithms
Minimizing Interference in Mobile Communications Using Genetic Algorithms / S. Li ; S.C. La ; W.H. Yu ; L. Wang
KERNEL: A Matlab Toolbox for Knowledge Extraction and Refinement by NEural Learning / G. Castellano ; C. Castiello ; A.M. Fanelli
Damages Recognition on Crates of Beverages by Artificial Neural Networks Trained with Data Obtained from Numerical Simulation / J. Zacharias ; C. Hartmann ; A. Delgado
Simulation Monitoring System Using AVS / T. Watanabe ; E. Kume ; K. Kato
Scientific Computing - Computational Methods 2
ODEs and Redefining the Concept of Elementary Functions / A. Gofen
Contour Dynamics Simulations with a Parallel Hierarchical-Element Method / R.M. Schoemaker ; P.C.A. de Haas ; H.J.H. Clercx ; R.M.M. Mattheij
A Parallel Algorithm for the Dynamic Partitioning of Particle-Mesh Computational Systems / J.-R.C. Cheng ; P.E. Plassmann
Stable Symplectic Integrators for Power Systems / D. Okunbor ; E. Akinjide
A Collection of Java Class Libraries for Stochastic Modeling and Simulation / A. Prodan ; R. Prodan
Scientific Computing - Computational Methods 3
Task-Oriented Petri Net Models for Discrete Event Simulation / E. Ochmanska
A Subspace Semidefinite Programming for Spectral Graph Partitioning / S. Oliveira ; D. Stewart ; T. Soma
A Study on the Pollution Error in r-h Methods Using Singular Shape Functions / H.S. Yoo ; J.-H. Jang
Device Space Design for Efficient Scale-Space Edge Detection / B.W. Scotney ; S.A. Coleman ; M.G. Herron
Author Index
Keynote Papers
The UK e-Science Core Program and the Grid / T. Hey ; A.E. Trefethen
Community Grids / G. Fox ; O. Balsoy ; S. Pallickara ; A. Uyar ; D. Gannon ; A. Slominski
5.

図書

図書
Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  viii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2509
所蔵情報: loading…
6.

図書

図書
Ludĕk Kuc̆era (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 422 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2573
所蔵情報: loading…
7.

図書

図書
Steffen Lange, Ken Satoh, Carl H. Smith (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiii, 464 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2534
所蔵情報: loading…
8.

図書

図書
Alain Jean-Marie (ed.)
出版情報: Berlin ; Tokyo : Springer, c2002  x, 232 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2550
所蔵情報: loading…
9.

図書

図書
Manindra Agrawal, Anil Seth (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xi, 359 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2556
所蔵情報: loading…
10.

図書

図書
Helmut Alt, Afonso Ferreira (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 660 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2285
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Hyper-Encryption and Everlasting Security / Y.Z. Ding ; M.O. Rabin
Models and Techniques for Communication in Dynamic Networks / C. Scheideler
What Is a Theory? / G. Dowek
Algorithms
A Space Lower Bound for Routing in Trees / P. Fraigniaud ; C. Gavoille
Labeling Schemes for Dynamic Tree Networks / A Korman ; D. Peleg ; Y. Rodeh
Tight Bounds for the Performance of Longest-in-System on DAGs / M. Adler ; A. Rosén
Approximate Strong Separation with Application in Fractional Graph Coloring and Preemptive Scheduling / K. Jansen
Balanced Coloring: Equally Easy for All Numbers of Colors? / B. Doerr
The Complexity of Graph Isomorphism for Colored Graphs with Color Classes of Size 2 and 3 / J. Köbler ; J. Torán
On the Complexity of Generating Maximal Frequent and Minimal Infrequent Sets / E. Boros ; V. Gurvich ; L. Khachiyan ; K. Makino
On Dualization in Products of Forests / K.M. Elbassioni
An Asymptotic <$>{\cal O}<$>(ln ρ/ ln ln ρ)-Approximation Algorithm for the Scheduling Problem with Duplication on Large Communication Delay Graphs / R. Lepere ; C. Rapine
Scheduling at Twilight the Easy Way / H. Bast
Complexity of Multi-dimensional Loop Alignment / A. Darte ; G. Huard
A Probabilistic 3-SAT Algorithm Further Improved / T. Hofmeister ; U. Schöning ; R. Schuler ; O. Watanabe
The Secret of Selective Game Tree Search, When Using Random-Error Evaluations / U. Lorenz ; B. Monien
Randomized Acceleration of Fundamental Matrix Computations / V.Y. Pan
Approximations for ATSP with Parametrized Triangle Inequality / L. Sunil Chandran ; L. Shankar Ram
A New Diagram from Disks in the Plane / J. Giesen ; M. John
Computing the Maximum Detour and Spanning Ratio of Planar Paths, Trees, and Cycles / S. Langerman ; P. Morin ; M. Soss
Current Challenges
On the Parameterized Intractability of Closest Substring and Related Problems / M.R. Fellows ; J. Gramm ; R. Niedermeier
On the Complexity of Protein Similarity Search under mRNA Structure Constraints / R. Backofen ; N.S. Narayanaswamy ; F. Swidan
Pure Dominance Constraints / M. Bodirsky ; M. Kutz
Improved Quantum Communication Complexity Bounds for Disjointness and Equality / P. Høyer ; R. de Wolf
On Quantum Computation with Some Restricted Amplitudes / H. Nishimura
A Quantum Goldreich-Levin Theorem with Cryptographic Applications / M. Adcock ; R. Cleve
On Quantum and Approximate Privacy / H. Klauck
On Quantum Versions of the Yao Principle / M. de Graaf
Computational and Structural Complexity
Describing Parameterized Complexity Classes / J. Flum ; M. Grohe
On the Computational Power of Boolean Decision Lists / M. Krause
How Many Missing Answers Can Be Tolerated by Query Learners? / H.U. Simon
Games with a Uniqueness Property / S. Aida ; M. Crasmaru ; K. Regan
Bi-Immunity Separates Strong NP-Completeness Notions / A. Pavan ; A.L. Selman
Complexity of Semi-algebraic Proofs / D. Grigoriev ; E.A. Hirsch ; D.V. Pasechnik
A Lower Bound Technique for Restricted Branching Programs and Applications / P. Woelfel
The Complexity of Constraints on Intervals and Lengths / A. Krokhin ; P. Jeavons ; P. Jonsson
Automata and Formal Languages
Nesting Until and Since in Linear Temporal Logic / D. Thérien ; T. Wilke
Comparing Verboseness for Finite Automata and Turing Machines / T. Tantau
On the Average Parallelism in Trace Monoids / D. Krob ; J. Mairesse ; I. Michos
A Further Step towards a Theory of Regular MSC Languages / D. Kuske
Existential and Positive Theories of Equations in Graph Products / V. Diekert ; M. Lohrey
The Membership Problem for Regular Expressions with Intersection Is Complete in LOGCFL / H. Petersen
Recognizable Sets of Message Sequence Charts / R. Morin
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard / J. Srba
On the Enumerative Sequences of Regular Languages on k Symbols / M.-P. Béal ; D. Perrin
Logic in Computer Science
Ground Tree Rewriting Graphs of Bounded Tree Width / C. Löding
Timed Control Synthesis for External Specifications / D. D'Souza ; P. Madhusudan
Axiomatizing GSOS with Termination / J.C.M. Baeten ; E.P. de Vink
Axiomatising Tree-Interpretable Structures / A. Blumensath
EXPSPACE-Complete Variant of Guarded Fragment with Transitivity / E. Kieroński
A Parametric Analysis of the State Explosion Problem in Model Checking / S. Demri ; F. Laroussinie ; P. Schnoebelen
Generalized Model-Checking over Locally Tree-Decomposable Classes / M. Frick
Learnability and Definability in Trees and Similar Structures / G. Turán
Author Index
Invited Papers
Hyper-Encryption and Everlasting Security / Y.Z. Ding ; M.O. Rabin
Models and Techniques for Communication in Dynamic Networks / C. Scheideler
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼