close
1.

図書

図書
Leszek Pacholski, Peter Ružička (eds.)
出版情報: Berlin ; New York : Springer, c2001  xi, 345 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2234
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences / Hamideh Afsarmanesh ; Ersin Kaletas ; Louis O. Hertzberger
Agreement Problems in Fault-Tolerant Distributed Systems / Bernadette Charron-Bost
Negotiating the Semantic Gap: From Feature Maps to Semantic Landscapes / William I. Grosky ; Rong Zhao
Inference in Rule-Based Systems by Interpolation and Extrapolation Revisited / Sándor Jenei
Recent Advances in Wavelength Routing / Christos Kaklamanis
From Metacomputing to Grid Computing: Evolution or Revolution? / Domenico Laforenza
Knowledge-Based Control Systems / Simon Lambert
Beyond the Turing Limit: Evolving Interactive Systems / Jan van Leeuwen ; Jiři Wiedermann
Distributed Computations by Autonomous Mobile Robots / Nicola Santoro
Formal Verification Methods for Industrial Hardware Design / Anna Slobodová
How Can Computer Science Contribute to Knowledge Discovery? / Osamu Watanabe
Contributed Papers
On the Approximability of Interactive Knapsack Problems / Isto Aho
Model Checking Communication Protocols / Pablo Argón ; Giorgio Delzanno ; SupratikMukhopadhyay ; Andreas Podelski
Pipelined Decomposable BSP Computers / Martin Beran
Quantum versus Probabilistic One-Way Finite Automata with Counter / Richard Bonner ; RusinÜ Freivalds ; Maksim Kravtsev
How to Employ Reverse Search in Distributed Single Source Shortest Paths / LuboÜ Brim ; Ivana Černá ; Pavel Krčál ; RadekPelÆanek
Multi-agent Systems as Concurrent Constraint Processes / David Gilbert ; Jean-Marie Jacquet ; Mojmir Křetinsky
ADST: An Order Preserving Scalable Distributed Data Structure with Constant Access Costs / Adriano Di Pasquale ; Enrico Nardelli
Approximative Learning of Regular Languages / Henning Fernau
Quantum Finite State Transducers / Andreas Winter
Lemmatizer for Document Information Retrieval Systems in JAVA / Leo Galambos
The Reconstruction of Polyominoes from Approximately Orthogonal Projections / Maciej Gebala
Bounding LamportÆs Bakery Algorithm / Prasad Jayanti ; King Tan ; Gregory Friedland ; Amir Katz
Fast Independent Component Analysis in Kernel Feature Spaces / András Kocsor ; János Csirik
On Majority Voting Games in Trees / Rastislav Královič
Time and Space Complexity of Reversible Pebbling / Richard Král'ovič
The HiQoS Rendering System / Tomas Plachetka ; Olaf Schmidt ; Frank Albracht
Two-Way Restarting Automata and J-Monotonicity / Martin Plátek
P-Hardness of Equivalence Testing on Finite-State Processes / ZdeněkSawa ; Petr Jan?car
Keynote Talk
Software Geography: Physical and Economic Aspects / Vaughan R. Pratt
Author Index
Invited Talks
The Potential of Grid, Virtual Laboratories and Virtual Organizations for Bio-sciences / Hamideh Afsarmanesh ; Ersin Kaletas ; Louis O. Hertzberger
Agreement Problems in Fault-Tolerant Distributed Systems / Bernadette Charron-Bost
2.

図書

図書
Toivo Katila ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer, c2001  xi, 158 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2230
所蔵情報: loading…
目次情報: 続きを見る
Invited Speaker
Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave / T. Arts ; P. Bovendeerd ; A. van der Toorn ; L. Geerts ; R. Kerckhoffs ; F. Prinzen
Anatomical Modeling / Session 1:
Geometrical Modeling of the Heart and Its Main Vessels / J.-L. Mari ; L. Astart ; J. Sequeira
Reconstructing 3D Boundary Element Heart Models from 2D Biplane Fluoroscopy / H. Veisterä ; J. Lötjönen
Introducing Spectral Estimation for Boundary Detection in Echographic Radiofrequency Images / I. Dydenko ; D. Friboulet ; I.E. Magnin
Geometrical Modelling of the Fibre Organization in the Human Left Ventricle / A. Mourad ; L. Biard ; D. Caillerie ; P.-S. Jouk ; A. Raoult ; N. Szafran ; Y. Usson
Challenges in Modelling Human HeartÆs Total Excitation / B.M. Horá&ccyron;ek ; K. Simelius ; R. Hren ; J. Nenonen
Motion and Deformation / Session 2:
Two-Dimensional Ultrasonic Strain Rate Measurement of the Human Heart in Vivo / J. D'hooge ; F. Jamal ; B. Bijnens ; J. Thoen ; F. Van de Werf ; G.R. Sutherland ; P. Suetens
Deformation Field Estimation for the Cardiac Wall Using Doppler Tissue Imaging / V. Moreau ; L.D. Cohen ; D. Pellerin
A New Kinetic Modeling Scheme for the Human Left Ventricle Wall Motion with MR-Tagging Imaging / C.F. Allouche ; S. Makam ; N. Ayache ; H. Delingette
Integrated Quantitative Analysis of Tagged Magnetic Resonance Images / P. Clarysse ; P. Croisille ; L. Bracoud
Measurement of Ventricular Wall Motion, Epicardial Electrical Mapping, and Myocardial Fiber Angles in the Same Heart / E. McVeigh ; O. Faris ; D. Ennis ; P. Helm ; F. Evans
Functional Imaging / Session 3:
A 3-D Model-Based Approach for the PET-Functional and MR-Anatomical Cardiac Imaging Data Fusion / T. Mäkelä ; Q.-C. Pham ; K. Lauerma ; H. Hänninen ; J. Knuuti ; T. Katila
3D Regularisation and Segmentation of Factor Volumes to Process PET H2 15O Myocardial Perfusion Studies / F. Frouin ; P. Boubacar ; V. Frouin ; A. De Cesare ; A. Todd-Pokropek ; P. Merlet ; A. Herment
In Vivo Assessment of Rat Hearts with and without Myocardial Infarction by Cine NMR - Comparison of the NMR Method to Invasive Techniques and Application to Intervention Studies / M. Nahrendorf ; K.-H. Hiller ; K. Hu ; C. Waller ; F. Wiesmann ; J. Ruff ; G. Ertl ; A. Haase ; W.R. Bauer
Dempster Shafer Approach for High Level Data Fusion Applied to the Assessment of Myocardial Viability / C. Muller ; M. Rombaut ; M. Janier
Experimental and Computational Modeling of Cardiac Electromechanical Coupling / A.D. McCulloch ; D. Sung ; M.E. Thomas ; A. Michailova
Towards Electromechanical Modeling / Session 4:
Towards Model-Based Estimation of the Cardiac Electro-Mechanical Activity from ECG Signals and Ultrasound Images / D. Chapelle ; F. Clément ; Y. Coudiere ; J.A. Désidéri ; M. Sermesant ; M. Sorine ; J.M. Urquiza
A Physiologically-Based Model for the Active Cardiac Muscle Contraction / F. Génot ; P. Le Tallec
Post-Systolic Thickening in Ischaemic Myocardium: A Simple Mathematical Model for Simulating Regional Deformation / P. Claus ; F. Weidemann ; C. Dommke ; V. Bito ; F. Heinzel ; K. Sipido ; I. De Scheerder ; F.E. Rademakers
Simulation of Anisotropic Propagation in the Myocardium with a Hybrid Bidomain Model / B.M. Horacek
Imaging of Electrical Function within the Human Atrium and Ventricle from Paced ECG Mapping Data / B. Tilg ; R. Modre ; G. Fischer ; F. Hanser ; B. Messnarz ; F.X. Roithinger
Author Index
Invited Speaker
Modules in Cardiac Modeling: Mechanics, Circulation, and Depolarization Wave / T. Arts ; P. Bovendeerd ; A. van der Toorn ; L. Geerts ; R. Kerckhoffs ; F. Prinzen
Anatomical Modeling / Session 1:
3.

図書

図書
sponsored by ICCC: Internatnional Council for Computer Communication
出版情報: [S. l.] : Internatnional Council for Computer Communication, c1997  xv, 570 p. ; 30 cm
所蔵情報: loading…
4.

図書

図書
Jiří Wiedermann ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006  xv, 576 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3831
所蔵情報: loading…
5.

図書

図書
edited by Tosiyasu L. Kunii, Seah Hock Soon, Alexei Sourin ; organized by School of Computer Engineering, Nanyang Technological University, Singapore
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003  xl, 495 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Co-Chair
Message from the Program Chair
Conference Organization
Program Committees
Reviewers
Support
Invited Talks
Cyberworlds as the Leading Power of World Evolution / T.L. Kunii
Believable Cyberpeople: A True Challenge for the Decade / D. Thalmann
This Year in the MOVES Institute / M. Zyda
Philosophy, Ethics, Law and Security of Cyberworlds
A Social Process Model for Cyber Mind in the Mobile Internet / T. Yamakami
Sharing Culture: Enabling Technologies for Communication Support / T. Grill ; R. Kronsteiner ; G. Kotsis
Lifestyles of Virtual World Residents, Living in the On-Line Game, "Lineage" / L. Whang ; G.-Y. Chang
Dematerialised Data and Human Desire: The Internet and Copy Culture / M. Allen
Law and Regulation in Cyberspace / Y.F. Lim
Technology Development Trends for Cyber Civilization / A. Patki ; M. Kulkarni ; S. Sivasubramanian ; D. Patki
Cyber Crime Information System for Cyberethics Awareness / S. Lakshminarayanan ; S. Sarma
Distributed Simulation and Distributed Virtual Environments
A P2P Groupware System with Decentralized Topology for Supporting Synchronous Collaborations / J. Ma ; M. Shizuka ; J. Lee ; R. Huang
Robust Collaboration and Interaction in a Multi-Agent System Basing on Hierarchical Networks / Z. Zhao ; I.-M. Chen ; J. Zhang
Mobile Agent-Based Architecture for Large-Scale CVE / L. Zhang ; Q. Lin ; T.F. Choo
A Novel Approach for Addressing Extensibility Issue in Collaborative Virtual Environment
A Consistency Model for Evaluating Distributed Virtual Environments / S. P. Zhou ; W. T. Cai ; S. Turner ; H. F. Zhao
Developing a Web-Enabled and Graphics-Enhanced Collaborative Environment for Integrated Research of Cardiovascular and Atherosclerotic Clinical Biology / Y. Cai ; L. Khoo ; Z. Xiong ; B. Lu ; Y. Guan ; S. Wong ; C. Cao ; T. Tan ; K. Yu ; M. Opas ; S. Fok
Shared and Virtual Worlds
Reducing Optical Crosstalk in Affordable Systems of Virtual Environment / S.V. Klimenko ; I.N. Nikitin ; L.D. Nikitina
The Enigma of the Sphinx / T. Abaci ; R. Bondelli ; J. Ciger ; M. Clavien ; F. Erol ; M. Gutierrez ; S. Noverraz ; O. Renault ; F. Vexo
Presence: The Sense of Believability of Inaccessible Worlds / A. Luciani ; D. Urma ; S. Marliere ; J. Chevrier
Architectural Design and Simulation in the Heterogeneous Collaborative Virtual Environment / S.M. Rhee ; E. Cho ; H.S. You ; M.H. Kim
Disappearing Computers, Social Actors and Embodied Agents / A. Nijholt
Bakhtinian Understanding to Web Graphics / P. Elias ; A. Ferko ; M. Grabner
Optimized Neighbor Prefetch and Cache for Clien-Server Based Walkthrough / Z. Zheng ; T. Chan
Capture Configuration for Image-Based Street Walkthroughs / S.K. Jung ; D.H. Lee
A Virtual-Reality Based Integrated Driving-Traffic Simulation System to Study the Impacts of Intelligent Transportation Systems (ITS) / M. Jin ; S.-H. Lam
Mapping Cityscapes to Cyber Space / J. Y. Zheng ; M. Shi
Context Modeling Based Depth Image Compression for Distributed Virtual Environment / P. Bao ; D. Gourley ; Y. Li
How to Build Virtual Environment Systems with Component Frameworks / M. Oliveira ; M. Slater ; J. Crowcroft
Combining Polygonal and Subdivision Surface Approaches to Modelling of Urban Environments / A. Day ; D. Arnold ; S. Havemann ; D. Fellner
Geometric Modelling and Visualisation for Cyberworlds
Mesh Generation and Refinement of Polygonal Data Sets / V. Savchenko ; N. Kojekine ; M. Savchenko ; I. Semenova ; O. Egorova ; I. Hagiwara
Detail-Preserving Variational Design of B-Spline Curves and Surfaces / G. Zhao ; S. Xu ; W. Li
DPBP: A Sort-First Parallel Rendering Algorithm for Distributed Rendering Environments / H. Zhu ; K. Chan ; L. Wang ; W. Cai ; S. See
Adaptation of Facial and Body Animation for MPEG-Based Architectures / T. Di Giacomo ; C. Joslin ; S. Garchery ; N. Magnenat-Thalmann
Virtual Surgery System / L. Zheng ; E. Prakash
Cyber Heart: The Employment of an Iterative Design Process to Develop a Left Ventricular Heart Graphical Display / C. Jegathese ; L.G. Goo ; L. Rajiv ; E. Ng ; D. Ghista
Feature Maps: A New Approach in Hierarchical Interpretation of Images / A. Sluzek
Augmenting the World with Interactive Virtual Studio / L. Li ; H. S. Seah ; W. A. Weliamto
Real-Time Update of Eye Features on the 3D Head Model Texture / P. Inostroza
Intelligent Agents
Web Agents with a Three-Stage Information Filtering Approach / K.M. Sim
Agent Services Matchmaking for Cooperation / H. Lu
Negotiation Paradigms for E-Commerce Agents Using Knowledge Beads Methodology / Y. Zhuang ; S. Fong
Datamining and Warehousing
Parallel Algorithm for Mining Fuzzy Association Rules / B. Xu ; J. Lu ; Y. Zhang ; L. Xu ; H. Chen ; H. Yang
Efficient Web Log Mining for Product Development / Y.-K. Woon ; W.-K. Ng ; X. Li ; W.-F. Lu
An Architectural Framework for Native XML Data Management / K.-M. Win ; E.-P. Lim
A Web Mining Approach for Finding Expertise in Research Areas / Q. Tho ; S.C. Hui ; A. Fong
Intelligent Content-Based Retrieval for P2P Networks / M. Rodionov
Geometric Approach to Clustering and Querying in Databases and Warehouses / O. Sourina ; L. Dongquan
Cyberbusiness
An Efficient Framework for Business Software Development / I. Ho ; Z. Komiya ; B. Pham ; H. Kobayashi ; K. Yana
Development of a Recommendation System with Multiple Subjective Evaluation Process Models / E. Yano ; E. Sueyoshi ; I. Shinohara ; T. Kato
Making Recommendations Based on Profitability Analysis in a Hybrid System / J. Qiu ; M. Xu ; Y.H. Qiu
Enhanced Approaches of Content Management for the Collaborative Semiconductor Business / H.S. Jang ; Y.J. Lee ; Y.J. Han ; C.S. Ahn ; J.M. Choi
Design and Development of Neural Bayesian Approach for Unpredictable Stock Exchange Databases / R.H. Khokhar ; M.N. Md Sap
Application of P2P (Peer-to-Peer) Technology to Marketing / Y. Shigeki
Cyberlearning
Educative Distributed Virtual Environments for Children / J.-P. Gerval ; D.-M. Popovici ; J. Tisseau
Virtual Experiment Environments Design for Science Education / Y.-S. Shin
Virtual Spaces as Artifacts: Implications for the Design of Educational CVEs / E. Prasolova-F[phi]rland
Computer-Aided Course Major Decision Making Tool for Remote Students / Q. Zhou ; L.-Q. Yuan
Top-Down eLearning Tools for Hardware Logic Design / N. Fujii ; S. Yukita ; N. Koike
HumaniZing E-Learning / C.S. Lee ; D. Tan
Mascaret: Pedagogical Multi-Agents System for Virtual Environment for Training / C. Buche ; R. Querrec ; P. De Loor ; P. Chevaillier
Cybermuseums
Embodied Tour Guide in an Interactive Virtual Art Gallery / X. Yuan ; Y.S. Chee
Construction of Cyber Science Museum / B.Y. Ahn ; J.Y. Kim ; C.S. Oh ; S.C. Hong
The Empty Museum. Multi-User Interaction in an Immersive and Physically Walkable VR Space / L. Hernandez ; J. Taibo ; A. Seoane ; R. Lopez-Gomez ; R. Lopez-Mihura
Interactive Distributed Guided Tours of Historical Sites / S. Morvan ; E. Maisel
A Distributed Universal 3D Cyberworld for Archaeological Research and Education / D. Green ; J. Cosmas ; R. Degeest ; M. Waelkens
eGaLab--A New Dimension for Artists / M. Masa ; J. Zara ; P. Smetana
Cyberinformation
CyberparaBLAST: The Parallelized BLAST Web Server / Y. Qi ; F. Lin
Webspace Surfing Patterns and Their Impact on Web Prefetching / J.I. Khan ; Q. Tao
Utilizing Statistical Characteristics of N-grams for Intrusion Detection / Z. Li ; A. Das ; S. Nandi
Author Index
Message from the General Co-Chair
Message from the Program Chair
Conference Organization
6.

図書

図書
Peter Vojtáš ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005  xv, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3381
所蔵情報: loading…
7.

図書

図書
sponsored by the IEEE Computer Society, Israel Chapter
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  ix, 129 p. ; 27 cm
所蔵情報: loading…
8.

図書

図書
Jan Pavelka, Gerard Tel, Miroslav Bartošek (eds.)
出版情報: Berlin : Springer, c1999  xiii, 498 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1725
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
Stability of Approximation Algorithms for Hard Optimization Problems / Juraj Hromkovic
Algorithms on Compressed Strings and Arrays / Wojciech Rytter
Core Technologies
WWW Based Collaboration with the BSCW System / Wolfgang Appelt
Middleware and Quality of Service / Christian Bac ; Guy Bernard ; Didier Le Tien ; Olivier Villin
Dynamic Reconfiguration of CORBA-Based Applications / Noemi Rodriguez ; Roberto Ierusalimschy
Fast, Error Correcting Parser Combinators: A Short Tutorial / S. Doaitse Swierstra ; Pablo R. Azero Alcocer
IBM SanFrancisco: Java Based Business Components, and New Tools to Develop Applications / Ghica van Emde Boas
Software and Information Engineering
Databases and the World Wide Web / Paolo Atzeni
Exploiting Formality in Software Engineering / Juan C. Bicarregui
Biomolecular Computing and Programming (Extended Abstract) / Max H. Garzon ; Russell J. Deaton ; The Molecular Computing Group
Software Change and Evolution / Vaclav Rajlich
Distributed Simulation with Cellular Automata: Architecture and Applications / P. M. A. Sloot ; J. A. Kaandorp ; A. G. Hoekstra ; B. J. Overeinder
From Data to Knowledge
Supporting Group-By and Pipelining in Bitmap-Enabled Query Processors / Alejandro P. Buchmann ; Ming-Chuan Wu
On Interactive Computation: Intelligent Tutoring Systems (Extended Abstract) / The Tutoring Research Group
Coherent Concepts, Robust Learning / Dan Roth ; Dmitry Zelenko
Applications
Application of Artificial Neural Networks for Different Engineering Problems / Martin Bogdan ; Wolfgang Rosenstiel
Factor Oracle: A New Structure for Pattern Matching / Cyril Allauzen ; Maxime Crochemore ; Mathieu Raffinot
Principles of Forecasting- A Short Overview / Emil Pelikán
Contributed Papers
UPV-Curry: An Incremental Curry Interpreter / M. Alpuente ; S. Escobar ; S. Lucas
Quantum Finite Multitape Automata / Andris Ambainis ; Richard Bonner ; RusinÜ Freivalds ; Marats Golovkins ; Marek Karpinski
Decomposable Bulk Synchronous Parallel Computers / Martin Beran
Component Change and Version Identification in SOFA / Premysl Brada
Pattern Equations and Equations with Stuttering / Ivana Cerna ; Ondrej Klima ; Jiri Srba
Garbage Collection for Mobile and Replicated Objects / Pablo Galdámez ; Francesc D. Muñoz-Escoí ; José M. Bernabéu-Aubán
Randomized Gossiping by Packets in Faulty Networks / Anna Gambin ; Adam Malinowski
Object-Oriented Specification with the Parallel Multi-Label-Selective ?-calculus / Carlos Herrero ; Javier Oliver
Simulation Problems for One-Counter Machines / Petr Jancar ; Faron Moller ; Zdenek Sawa
On Semantics of Petri Nets over Partial Algebra / Gabriel Juhás
Towards Possibilistic Decision Functions with Minimum-Based Sugeno Integrals / Ivan Kramosil
Quantum Finite One-Counter Automata / Maksim Kravtsev
A Performance Comparison of Mobile Agents and RPC / David Rutter
Cyclic Cutwidth of the Mesh / Heiko Schroder ; Ondrej Sýkora ; Imrich Vrt'o
Some Afterthoughts on Hopfield NetworksJiri Sima / Pekka Orponen ; Teemu Antti-Poika
A Persistent-Set Approach to Abstract State-Space Construction in Verification / Ulrich Ultes-Nitsche
Computational Power of Neuroidal Nets / Jiri Wiedermann
Cellular Automata with Dynamically Reconfigurable Buses / Thomas Worsch
Author Index
Invited Talks
Trends in Theory
Quantum Challenges / Jozef Gruska
9.

図書

図書
editors, SC Dutta Roy ... [et al.] ; organised by the Institute of Electrical and Electronics Engineers, New Delhi India
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1998  2 v. (xvii, 652 p.) ; 28 cm
所蔵情報: loading…
10.

図書

図書
sponsored by IEEE Region 10 ... [et al.]
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1996  2 v. (xii, 966 p.) ; 30 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼