close
1.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with SIGACT and EATCS
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2002  xii, 205 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Ron Book Prize for Best Student Paper
2002 Best Paper Award
Joint Session with STOC 2002 / Session 1:
Resolution Lower Bounds for the Weak Pigeonhole Principle / R. Raz
Hard Examples for Bounded Depth Frege / E. Ben-Sasson
Relations between Average Case Complexity and Approximation Complexity / U. Feige
Vertex Cover on 4-Regular Hyper-graphs Is Hard to Approximate within 2-[epsilon] / J. Holmerin
Improved Cryptographic Hash Functions with Worst-Case/Average-Case Connection / D. MicciancioSession 2:
Algorithmic Derandomization via Complexity Theory / D. Sivakumar
Pseudo-random Generators for All Hardnesses / C. Umans
Randomness Conductors and Constant-Degree Lossless Expanders / M. Capalbo ; O. Reingold ; S. Vadhan ; A. WigdersonSession 3:
Expanders from Symmetric Codes / R. Meshulam
The Complexity of Approximating the Entropy / T. Batu ; S. Dasgupta ; R. Kumar ; R. Rubinfeld
Time-Space Tradeoffs, Multiparty Communication Complexity, and Nearest-Neighbor Problems / P. Beame ; E. Vee
On Communication over an Entanglement-Assisted Quantum Channel / A. Nayak ; J. Salzman
Hardness Amplification within NP / R. O'DonnellSession 4:
3-Manifold Knot Genus Is NP-Complete / I. Agol ; J. Hass ; W. Thurston
On the Power of Unique 2-Prover 1-Round Games / S. Khot
Learnability beyond AC[superscript 0] / J. Jackson ; A. Klivans ; R. Servedio
Resolution Lower Bounds for Perfect Matching Principles / A. RazborovSession 5:
Resolution Width-Size Trade-Offs for the Pigeon-Hole Principle / S. Dantchev
The Inapproximability of Lattice and Coding Problems with Preprocessing
Sampling Short Lattice Vectors and the Closest Lattice Vector Problem / M. Ajtai
Invited Address 1
The History of Complexity / Lance Fortnow
The Correlation between Parity and Quadratic Polynomials Mod 3 / F. GreenSession 6:
Functions That Have Read-Twice Constant Width Branching Programs Are Not Necessarily Testable / E. Fischer ; I. Newman
On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism / P. Woelfel
Information Theory Methods in Communication Complexity / Z. Bar-Yossef ; T. JayramSession 7:
Extracting Quantum Entanglement (General Entanglement Purification Protocols) / A. Ambainis ; A. Smith ; K. Yang
Algebras of Minimal Rank over Perfect Fields / M. Blaser
Invited Address 2
Rapid Mixing / Peter Winkler
Pseudorandomness and Average-Case Complexity via Uniform Reductions / L. TrevisanSession 8:
Pseudo-random Generators and Structure of Complete Degrees / M. Agrawal
Decoding Concatenated Codes Using Soft Information / V. Guruswami ; M. Sudan
Survey Talk 1
Arthur and Merlin in a Quantum World / John Watrous
Streaming Computation of Combinatorial Objects / R. ShaltielSession 9:
Lower Bounds for Linear Locally Decodable Codes and Private Information Retrieval / O. Goldreich ; H. Karloff ; L. Schulman
Better Lower Bounds for Locally Decodable Codes / A. Deshpande ; R. Jain ; T. Kavitha ; S. Lokam ; J. Radhakrishnan
Universal Arguments and Their Applications / B. Barak
Author Index
Preface
Committees
Ron Book Prize for Best Student Paper
2.

図書

図書
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
3.

図書

図書
edited by Gillian Ragsdell and Jennifer Wilby
出版情報: New York : Kluwer Academic/Plenum, c2001  xiii, 292 p. ; 26 cm
所蔵情報: loading…
4.

図書

図書
Vassil N. Alexandrov ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2073-2074
所蔵情報: loading…
目次情報: 続きを見る
Digital Imaging Applications
Densification of Digital Terrain Elevations Using Shape from Shading with Single Satellite Imagery / Mohammad A. Rajabi ; J.A. Rod Blais
PC-Based System for Calibration, Reconstruction, Processing, and Visualization of 3D Ultrasound Data Based on a Magnetic-Field Position and Orientation Sensing System / Emad Boctor ; A. Saad ; Dar-Jen Chang ; K. Kamel ; A.M. Youssef
Automatic Real-Time XRII Local Distortion Correction Method for Digital Linear Tomography / Christian Forlani ; Giancarlo Ferrigno
Meeting the Computational Demands of Nuclear Medical Imaging Using Commodity Clusters / Wolfgang Karl ; Martin Schulz ; Martin Volk ; Sibylle Ziegler
An Image Registration Algorithm Based on Cylindrical Prototype Model / Joong-Jae Lee ; Gye-Young Kim ; Hyung-Il Choi
An Area-Based Stereo Matching Using Adaptive Search Range and Window Size / Han-Suh Koo ; Chang-Sung Jeong
Environmental Modeling
Methods of Sensitivity Theory and Inverse Modeling for Estimation of Source Term and Risk/Vulnerability Areas / Vladimir Penenko ; Alexander Baklanov
The Simulation of Photochemical Smog Episodes in Hungary and Central Europe Using Adaptive Gridding Models / István Lagzi ; Alison S. Tomlin ; Tamás Turámji ; László Haszpra ; Róbert Mészáros ; Martin Berzins
Numerical Solution of the Aerosol Condensation/Evaporation Equation / Kohi Nguyen ; Donald Dabdub
Efficient Treatment of Large-Scale Air Pollution Models on Supercomputers / Zahari Zlatev
High Performance Computational Tools and Environments
Pattern Search Methods for Use-Provided Points / Pedro Alberto ; Fernando Nogueira ; Humberto Rocha ; Louís N. vicente
Adaptive Load Balancing for MPI Programs / M.C. Baracca ; G. Clai ; P. Ornelli ; Milind Bhandarkar ; L.V. Kalé ; ERic de Sturler ; Jay HoeflingerIn-situ Bioremediation: Advantages of Parallel Computing and Graphical Investigating Techniques:
Performance and Irregular Behavior of Adaptive Task Partitioning / Elise de Doncker ; Rodger Zanny ; Karlis Kaugars ; Laurentiu Cucos
Optimizing Register Spills for Eager Functional Languages / S. MIshra ; K. Sikdar ; M. Satpathy
A Protocol for Multi-threaded Processes with Choice in $$-Calculus / Kazunori Iwata ; Shingo Itabashi ; Naohiro Ishi
Mapping Parallel Programs onto Distributed Computer Systems with Faulty Elements / Mikhail S. Tarkov ; Youngsong Mun ; Jaeyoung Choi
Enabling Interoperation of High Performance, Scientific Computing Applications: Modeling Scientific Data with the Sets and Fields (SAF) Modeling System / Mark C. Miller ; James F. Reus ; Robb P. Matzke ; William J. Arrighi ; Larry A. Schoof ; Ray T. Hitt ; Peter K. Espen
Intelligent Systems Design and Applications
ALEC: An Adaptive Learning Framework for Optimizing Artificial Neural Networks / Ajith Abraham ; Baikunth Nath
Solving Nonlinear Differential Equations by a Neural Network Method / Lucie P. Aarts ; Peter Van der Veer
Fuzzy Object Blending in 2D / Ahmet Çinar ; Ahmet Arslan
An Adaptive Neuro-Fuzzy Approach for Modeling and Control of Nonlinear Systems / Otman M. Ahtiwash ; Mohd Zaki Abdulmui
The Match Fit Algorithm-ATestbed for Computational Motivation of Attention / Joseph G. Billock ; Demetri Psaltis ; ChristofKoch
Automatic Implementation and Simulation of Qualitative Cognitive Maps / Joao Paulo Carvalho ; José Alberto Tomé
Inclusion-Based Approximate Reasoning / Chris Cornelis ; Etienne E. Kerre
Attractor Density Models with Application to Analyzing the Stability of Biological Neural Networks / Christian Storm ; Walter J. Freeman
MARS: Still an Alien Planet in Soft Computing? / Dan Steinberg
Data Reduction Based on Spatial Partitioning / Gongde Guo ; Hui Wang ; David Bell ; Qingxiang Wu
Alternate Methods in Reservoir Simulation / Guadalupe I. Janoski ; Andrew H. Sung
Intuitionistic Fuzzy Sets in Intelligent Data Analysis for Medical Diagnosis / Eulalia Szmidt ; Janusz Kacprzyk
Design of a Fuzzy Controller Using a Genetic Algorithm for Stator Flux Estimation / Mehmet Karakose ; Mehmet Kaya ; Erhan Akin
Object Based Image Ranking Using Neural Networks / Gour C. Karmakar ; Syed M. Rahman ; Laurence S. Dooley
A Genetic Approach for Two Dimensional Packing with Constraints / Wee Sng Khoo ; P. Saratchandran ; N. Sundararajan
Task Environments for the Dynamic Development of Behavior / Derek Harter ; Robert Kozma
Wavelet Packet Multi-layer Perceptron for Chaotic Time Series Prediction: Effects of Weight Initialization / Kok Keong Teo ; Lipo Wang ; Zhiping Lin
Genetic Line Search / S. Lozano ; J.J. Domínguez ; F. Guerrero ; K. Smith
HARPIC, an Hybrid Architecture Based on Representations, Perceptions, and Intelligent Control: A Way to Provide Autonomy to Robots / Dominique Luzeaux ; André Dalgalarrondo
Hybrid Intelligent Systems for Stock Market Analysis / P.K. Mahanti
On the Emulation of Kohonen's Self-Organization via Single-Map Metropolis-Hastings Algorithms / Jorge Muruzádbal
Quasi Analog Formal Neuron and Its Learning Algorithm Hardware / Karen Nazaryan
Producing Non-verbal Output for an Embodied Agent in an Intelligent Tutoring System / Roger Nkambou ; Yan Laporte
Co-evolving a Neural-Net Evaluation Function for Othello by Combining Genetic Algorithms and Reinforcement Learning / Joshua A. Singer
Modeling the Effect of Premium Changes on Motor Insurance Customer Retention Rates Using Neural Networks / Ai Cheo Yeo ; Kate A. Smith ; Robert J. Willis ; Malcolm Brooks
On the Predictability of Rainfall in Kerala - An Application of ABF Neural Network / Ninan Sajeeth Philip ; K. Babu Joseph
A Job-Shop Scheduling Problem with Fuzzy Processing Times / Feng-Tse Lin
Speech Synthesis Using Neural Networks Trained by an Evolutionary Algorithm / Trandafir Moisa ; Dan Ontanu ; Adrian H. Dediu
A Two-Phase Fuzzy Mining and Learning Algorithm for Adaptive Learning Environment / Chang Jiun Tsai ; S.S. Tseng ; Chih-Yang Lin
Applying Genetic Algorithms and Other Heuristic Methods to Handle PC Configuration Problems / Vincent Tam ; K.T. Ma
Forecasting Stock Market Performance Using Hybrid Intelligent System / Xiaodan Wu ; Ming Fung ; Andrew Flitman
Multimedia
The MultiMedia Maintenance Management (M4) System / Rachel J. McCrindle
Visualisations; Functionality and Interaction / Claire Knight ; Malcolm Munro
DMEFS Web Portal: A METOC Application / Avichal Mehra ; Jim Corbin
The Validation Web Site: A Combustion Collaboratory over the Internet / Angela Violi ; Xiaodong Chen ; Gary Lindstrom ; Eric Eddings ; Adel F. Sarofim
The Policy Machine for Security Policy Management / Vincent C. Hu ; Deborah A. Frincke ; David F. Ferraiolo
Multi-spectral Scene Generation and Projection
The Javelin Integrated Flight Simulation / Charles Bates ; Jeff Lucas ; Joe Robinson
A Multi-spectral Test and Simulation Facility to Support Missile Development, Production, and Surveillance Programs / James B. Johnson ; Jerry A. Ray
Correlated, Real Time Multi-spectral Sensor Test and Evaluation (T&E) in an Installed Systems Test Facility (ISTF) Using High Performance Computing / John Kriz ; Tom Joyner ; Ted Wilson ; Greg McGraner
Infrared Scene Projector Digital Model Development / Mark A. Manzardo ; Brett Gossage ; J. Brent Spears ; Kenneth G. LeSueur
Infrared Scene Projector Digital Model Mathematical Description
Distributed Test Capability Using Infrared Scene Projector Technology / David R. Anderson ; Ken Allred ; Kevin Dennen ; Patrick Roberts ; William R. Brown ; Ellis E. Burroughs ; TimClardy
Development of Infrared and Millimeter Wave Scene Generators for the P3I BAT High Fidelity Flight Simulation / Jeremy R. Farris ; Marsha Drake
Novel Models for Parallel Computation
A Cache Simulator for Shared Memory Systems / Florian Schintke ; Jens Simon ; Alexander Reinefeld
Coarse Grained Parallel On-Line Analytical Processing (OLAP) for Data Mining / Gianfranco Bilardi ; Carlo Fantozzi ; Andrea Pietracaprina ; Geppino Pucci ; Frank Dehne ; Todd Eavis ; Andrew Rau-Chaplin
Architecture Independent Analysis of Parallel Programs / Ananth Grama ; Vipin Kumar ; Sanjay Ranka ; Vineet Singh
Strong Fault-Tolerance: Parallel Routing in Networks with Faults / Jianer Chen ; Eunseuk Oh
Parallel Algorithm Design with Coarse-Grained Synchronization / Vijaya Ramachandran
Parallel Bridging Models and Their Impact on Algorithm Design / Friedhelm Meyer auf der Heide\CRolf Wanka
A Coarse-Grained Parallel Algorithm for Maximal Cliques in Circle Graphs / E.N. Caceres ; S.W. Song ; J.L. Szwarcfiter
Parallel Models and Job Characterization for System Scheduling / X. Deng ; H. Ip ; K. Law ; J. Li ; W. Zheng ; S. Zhu
Optimization
Heuristic Solutions for the Multiple-Choice Multi-dimension Knapsack Problem / M. Mostofa Akbar ; Eric G. Manning ; Gholamali C. Shoja ; Shahadat Khan
Tuned Annealing for Optimization / Mir M. Atiqullah ; S.S. Rao
A Hybrid Global Optimization Algorithm Involving Simplex and Inductive Search / Chetan Offord ; Željko Bajzer
Sami Khuri / Enrique Alba Torres
Program and Visualization
Exploratory Study of Scientific Visualization Techniques for Program Visualization / Brian J. d'Auriol ; Claudia V. Casas ; Pramod K. Chikkappaiah ; L. Susan Draper ; Ammar J. Esper ; Jorge López ; Rajesh Molakaseema ; Seetharami R. Seelam ; René Saenz ; Qian Wen ; Zhengjing Yang
Immersive Visualization Using AVS/Express / Ian Curington
VisBench: A Framework for Remote Data Visualization and Analysis / Randy W. Heiland ; M. Pauline Baker ; Danesh K. Tafti
The Problem of Time Scales in Computer Visualization / Mark Burgin, Damon Liu ; Walter Karplus
Making Movies: Watching Software Evolve through Visualisation / James Westland Chain
Tools and Environments for Parallel and Distributed Programming
Performance Optimization for Large Scale Computing: The Scalable VAMPIR Approach / Holger Brunst ; Manuela Winkler ; Wolfgang E. Nagel ; Hans-Christian Hoppe
TRaDe: Data Race Detection for Java / Mark Christiaens ; Koen De Bosschere
Automation of Data Traffic Control on DSM Architectures / Michael Frumkin, Haoqiang Jin ; Jerry Yan771
The Monitoring and Steering Environment / Christian Glasner ; Roland Hougl ; Bernhard Reitinger ; Dieter Kranzlmuoller ; Jens Volkert
Token Finding Using Mobile Agents / Delbert Hart ; Mihail E. Tudoreanu ; Eileen Kraemer
Load Balancing for the Electronic Structure Program GREMLIN in a Very Heterogenous SSH-Connected WAN-Cluster of UNIX-Type Hosts / Siegfried Ho finger
DeWiz - Modular Debugging for Supercomputers and Computational Grids
Fiddle: A Flexible Distributed Debugger Architecture / João Lourenço ; José C. Cunha
Visualization of Distributed Applications for Performance Debugging / F.-G. Ottogalli ; C. Labbé ; V. Olive ; B. de Oliveira Stein ; J. Chassin de Kergommeaux ; J.-M. Vincent
Achieving em Performance Portability with em SKaMPI for High-Performance MPI Programs / Ralf Reussner ; Gunnar Hunzelmann
Cyclic Debugging Using Execution Replay / Michiel Ronsse
Visualizing the Memory Access Behavior of Shared Memory Applications on NUMA Architectures / Jie Tao
CUMULVS Viewers for the ImmersaDesk / Torsten Wilde ; James A. Kohl ; Raymond E. Flanery
Simulation
N-Body Simulation on Hybrid Architectures / P.M.A. Sloot ; P.F. Spinnato ; G.D. van Albada
Quantum Mechanical Simulation of Vibration-Torsion-Rotation Levels of Methanol / Yun-Bo Duan ; Anne B. McCoy
Simulation-Visualization Complexes as Generic Exploration Environment / Elena V. Zudilova
Efficient Random Process Generation for Reliable Simulation of Complex Systems / Alexey S. Rodionov ; Hyunseung Choo ; Hee Y. Youn ; Tai M. Chung ; Kiheon Park
Replicators & Complementarity: Solving the Simplest Complex System without Simulation / Anil Menon
Soft Computing: Systems and Applications
More Autonomous Hybrid Models in Bang2 / Roman Neruda ; Pavel KruÜina ; Zuzana Petrová
Model Generation of Neural Network Ensembles Using Two-Level Cross-Validation / S. Vasupongayya ; R.S. Renner ; B.A. Juliano
A Comparison of Neural Networks and Classical Discriminant Analysis in Predicting Students' Mathematics Placement Examination Scores / Stephen J. Sheel ; Deborah Vrooman ; Shanda K. Dawsey
Neural Belief Propagation without Multiplication / Michael J. Barber
Fuzzy Logic Basis in High Performance Decision Support Systems / A. Bogdanov ; A. Degtyarev ; Y. Nechaev
Scaling of Knowledge in Random Conceptual Networks / Lora J. Durak ; Alfred W. Hübler
Implementation of Kolmogorov Learning Algorithm for Feedforward Neural Networks / ArnoÜt ètědrý ; Jitka DrkoÜová
Noise-Induced Signal Enhancement in Heterogeneous Neural Networks / Babette K. Dellen
Phylogenetic Inference for Genome Rearrangement Data Evolutionary Puzzles: An Introduction to Genome Rearrangement / Mathieu Blanchette
High-Performance Algorithmic Engineering for Computationa Phylogenetics / Bernard M.E. Moret ; David A. Bader ; Tandy Warnow
Phylogenetic Inference from Mitochondrial Genome Arrangement Data / Donald L. Simon ; Bret Larget
Late Submissions
Genetic Programming: A Review of Some Concerns / Maumita Bhattacharya
Numerical Simulation of Quantum Distributions: Instability and Quantum Chaos / G.Y. Kryuchkyan ; H.H. Adamyan ; S.B. Manvelyan
Identification of MIMO Systems by Input-Output Takagi-Sugeno Fuzzy Model / Nirmal Singh ; Renu Vig ; J.K. Sharma
Control of Black Carbon, the Most Effective Means of Slowing Global Warming / Mark Z. Jacobson
Comparison of Two Schemes for the Redistribution of Moments for Modal Aerosol Model Application / U. Shankar ; A.L. Trayanov
A Scale-Dependent Dynamic Model for Scalar Transport in the Atmospheric Boundary Layer / Fernando Port-Agel ; Qiao Qin
Advances in Molecular Algorithms
MDT - The Molecular Dynamics Test Set / Eric Barth
Numerical Methods for the Approximation of Path Integrals Arising in Quantum Statistical Mechanics / Steve D. Bond
The Multigrid N-Body Solver / David J. Hardy
Do Your Hard-Spheres Have Tails? A Molecular Dynamics Integration Algorithm for Systems with Mixed Hard-Core/Continuous Potentials / Brian B. Laird
An Improved Dynamical Formulation for Constant Temperature and Pressure Dynamics, with Application to Particle Fluid Models / Benedict J. Leimkuhler
Author Index
Digital Imaging Applications
Densification of Digital Terrain Elevations Using Shape from Shading with Single Satellite Imagery / Mohammad A. Rajabi ; J.A. Rod Blais
PC-Based System for Calibration, Reconstruction, Processing, and Visualization of 3D Ultrasound Data Based on a Magnetic-Field Position and Orientation Sensing System / Emad Boctor ; A. Saad ; Dar-Jen Chang ; K. Kamel ; A.M. Youssef
5.

図書

図書
sponsored by IEEE Computer Society Technical Committee for Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2001  xiii, 303 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Dedication
Preface
Conference Organization
Best Paper Award
Ron Book Prize for Best Student Paper
In Search of an Easy Witness: Exponential Time vs. Probabilistic Polynomial Time / R. Impagliazzo ; V. Kabanets ; A. WigdersonSession 1:
Towards Uniform AC[superscript 0]-Ismorphisms / M. Agrawal
Universal Traversal Sequences with Backtracking / M. Koucky
Comparing Notions of Full Derandomization / L. Fortnow
Monotone Simulations of Nonmonotone Proofs / A. Atserias ; N. Galesi ; P. PudlakSession 2:
Space Complexity of Random Formulae in Resolution / E. Ben-Sasson
Resolution Complexity of Independent Sets in Random Graphs / P. Beame ; A. Sabharwal
Tree Resolution Proofs of the Weak Pigeon-Hole Principle / S. Dantchev ; S. Riis
Separation of NP-Completeness Notions / A. Pavan ; A. SelmanSession 3:
Bounded Query Functions with Limited Output Bits / R. Chang ; J. Squire
A Linear Lower Bound on the Unbounded Error Probabilistic Communication Complexity / J. ForsterSession 4:
Towards Proving Strong Direct Product Theorems / R. Shaltiel
Communication Complexity Lower Bounds by Polynomials / H. Buhrman ; R. de WolfSession 5:
Quantum Algorithms for Element Distinctness / C. Durr ; M. Heiligman ; P. Hoyer ; F. Magniez ; M. Santha
Quantum versus Classical Learnability / R. Servedio ; S. Gortler
Uniform Circuits for Division: Consequences and Problems / E. Allender ; D. Barrington ; W. HesseSession 6:
Affine Projections of Symmetric Polynomials / A. Shpilka
On the Non-Approximability of Boolean Functions by OBDDs and Read-K-Times Branching Programs / B. Bollig ; M. Sauerhoff ; I. Wegener
Lower Bounds for Approximations by Low Degree Polynomials Over Zm / N. Alon ; R. Beigel
On the Power of Nonlinear Secret-Sharing / A. Beimel ; Y. Ishai
A Stronger Kolmogorov Zero-One Law for Resource-Bounded Measure / J. DaiSession 7:
Hausdorff Dimension in Exponential Time / K. Ambos-Spies ; W. Merkle ; J. Reimann ; F. Stephan
On the Complexity of Approximating the VC Dimension / E. Mossel ; C. UmansSession 8:
Links Between Complexity Theory and Constrained Block Coding / L. Stockmeyer ; D. Modha
Simple Analysis of Graph Tests for Linearity and PCP / J. Hastad
Logical Operations and Kolmogorov Complexity II / A. Muchnik ; N. VereshchaginSession 9:
Computational Depth / L. Antunes ; D. van Melkebeek
Quantum Algorithmic Entropy / P. Gacs
On Separators, Segregators and Time versus Space / R. SanthanamSession 10:
Time-Space Tradeoffs in the Counting Hierarchy / D. Ronneburger ; S. Roy ; V. Vinay
Author Index
Dedication
Preface
Conference Organization
6.

図書

図書
Jens Blanck, Vasco Brattka, Peter Hertling (eds.)
出版情報: Berlin : Springer, c2001  viii, 393 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2064
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2005  x, 355 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2004  xi, 333 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Awards
ECCC 10th Anniversary
Compression of Samplable Sources / L. Trevisan ; S. Vadhan ; D. ZuckermanSession 1:
Language Compression and Pseudorandom Generators / H. Buhrman ; T. Lee ; D. van Melkebeek
On Pseudoentropy versus Compressibility / H. Wee
Reductions between Disjoint NP-Pairs / C. Glasser ; A. Selman ; S. SenguptaSession 2:
Relativized NP Search Problems and Propositional Proof Systems / J. Buresh-Oppenheim ; T. Morioka
The Complexity of Treelike Systems over [lambda]-Local Formulae / N. Galesi ; N. Thapen
Lower Bounds for Testing Bipartiteness in Dense Graphs / A. BogdanovSession 3:
Polylogarithmic-round Interactive Proofs for coNP Collapse the Exponential Hierarchy
Solvable Group Isomorphism is (almost) in NP [intersection of] CoNP / V. Arvind ; J. Toran
Small Spans in Scaled Dimension / J. Hitchcock
Computing in Fault Tolerance Broadcast Networks / I. NewmanSession 4:
Some Results on Majority Quantifiers over Words / K.-J. Lange
Separating Complexity Classes Using Structural Properties / L. Torenvliet
Parameterized Complexity of Constraint Satisfaction Problems / D. MarxSession 5:
Tight Lower Bounds for Certain Parameterized NP-Hard Problems / J. Chen ; B. Chor ; M. Fellows ; X. Huang ; D. Juedes ; I. Kanj ; G. Xia
The Complexity of the Covering Radius Problem on Lattices and Codes / V. Guruswami ; D. Micciancio ; O. Regev
Dimension, Entropy Rates, and Compression / N. VinodchandranSession 6:
Properties of NP-Complete Sets / A. Pavan
Partial Bi-immunity and NP-Completeness
Abelian Permutation Group Problems and Logspace Counting Classes / T. VijayaraghavanSession 7:
Deterministic Polynomial Identity Testing in Non-commutative Models / R. Raz ; A. Shpilka
Polynomials That Sign Represent Parity and Descartes Rule of Signs / S. Basu ; N. Bhatnagar ; P. Gopalan ; R. Lipton
Consequences and Limits of Nonlocal Strategies / R. Cleve ; P. Hoyer ; B. Toner ; J. WatrousSession 8:
Multiparty Quantum Coin Flipping / A. Ambainis ; Y. Dodis ; H. Rohrig
On the Power of Quantum Proofs
Quantum Arthur-Merlin Games / C. Marriott
Graph Properties and Circular Functions: How Low Can Quantum Query Complexity Go? / X. Sun ; A. Yao ; S. ZhangSession 9:
Lower Bounds for Randomized and Quantum Query Complexity Using Kolmogorov Arguments / S. Laplante ; F. Magniez
Towards the Classical Communication Complexity of Entanglement Distillation Protocols with Incomplete Information / K. Yang
Limitations of Quantum Advice and One-Way Communication / S. Aaronson
Author Index
Preface
Committees
Awards
9.

図書

図書
Osvaldo Gervasi ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  4 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3480-3483
所蔵情報: loading…
10.

図書

図書
Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.)
出版情報: Berlin : Springer, c2000  viii, 315 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1767
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
On Salesmen, Repairmen, Spiders, and Other Traveling Agents / G. Ausiello ; S. Leonardi ; A. Marchetti-Spaccamela
Computing a Diameter-Constrained Minimum Spanning Tree in Parallel / N. Deo ; A. Abdalla
Algorithms for a Simple Point Placement Problem / J. Redstone ; W.L. Ruzzo
Duality in ATM Layout Problems / S. Zaks
Regular Presentations
The Independence Number of Random Interval Graphs / W.F. de la Vega
Online Strategies for Backups / P. Damaschke
Towards the Notion of Stability of Approximation for Hard Optimization Tasks and the Traveling Salesman Problem / H.-J. Böckenhauer ; J. Hromkovic ; R. Klasing ; S. Seibert ; W. Unger
Semantical Counting Circuits / F. Noilhan ; M. Santha
The Hardness of Placing Street Names in a Manhattan Type Map
Labeling Downtown / G. Neyer ; F. Wagner
The Online Dial-a-Ride Problem under Reasonable Load / D. Hauptmeier ; S.O. Krumke ; J. Rambau
The Online-TSP against Fair Adversaries / M. Blom ; W. de Paepe ; L. Stougie
QuickHeapsort, an Efficient Mix of Classical Sorting Algorithms / D. Cantone ; G. Cincotti
Triangulations without Minimum-Weight Drawing / C.A. Wang ; F.Y. Chin ; B. Yang
Faster Exact Solutions for Max2Sat / J. Gramm ; R. Niedermeier
Dynamically Maintaining the Widest k-Dense Corridor / S.C. Nandy ; T. Harayama ; T. Asano
Reconstruction of Discrete Sets from Three or More X-Rays / E. Barcucci ; S. Brunetti ; A. Del Lungo ; M. Nivat
Modified Binary Searching for Static Tables / D. Merlini ; R. Sprugnoli ; M.C. Verri
An Efficient Algorithm for the Approximate Median Selection Problem / S. Battiato ; D. Catalano ; M. Hofri
Extending the Implicit Computational Complexity Approach to the Sub-elementary Time-Space Classes / E. Covino ; G. Pani ; S. Caporaso
Group Updates for Red-Black Trees / S. Hanke ; E. Soisalon-Soininen
Convergence Analysis of Simulated Annealing-Based Algorithms Solving Flow Shop Scheduling Problems / I. Dinur ; K. Steinhöfel ; A. Albrecht ; C.K. Wong
On the Lovász Number of Certain Circulant Graphs / V.E. Brimkov ; B. Codenotti ; V. Crespi ; M. Leoncini
Speeding Up Pattern Matching by Text Compression / Y. Shibata ; T. Kida ; S. Fukamachi ; M. Takeda ; A. Shinohara ; T. Shinohara ; S. Arikawa
Author Index
Invited Presentations
On Salesmen, Repairmen, Spiders, and Other Traveling Agents / G. Ausiello ; S. Leonardi ; A. Marchetti-Spaccamela
Computing a Diameter-Constrained Minimum Spanning Tree in Parallel / N. Deo ; A. Abdalla
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼