close
1.

図書

図書
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
出版情報: Berlin : Springer, c2004  x, 392 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3119
所蔵情報: loading…
2.

図書

図書
Stephen Brewster, Mark Dunlop (eds.)
出版情報: Berlin : Springer, c2004  xvii, 541 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3160
所蔵情報: loading…
3.

図書

図書
Francisco J. Perales, Bruce A. Draper (eds.)
出版情報: Berlin : Springer, c2004  xi, 270 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3179
所蔵情報: loading…
4.

図書

図書
Pen-Chung Yew, Jingling Xue (eds.)
出版情報: Berlin : Springer, c2004  xvii, 598 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3189
所蔵情報: loading…
5.

図書

図書
Jean-François Boulicaut ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xix, 560 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3202 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Random Matrices in Data Analysis / Dmitris Achlioptas
Data Privacy / Rakesh Agrawal
Breaking Through the Syntax Barrier: Searching with Entities and Relations / Soumen Chakrabarti
Real-World Learning with Markov Logic Networks / Pedro Domingos
Strength in Diversity: The Advance of Data Analysis / David J. Hand
Contributed Papers
Mining Positive and Negative Association Rules: An Approach for Confined Rules / Maria-Luiza Antonie ; Osmar R. Zaïane
An Experiment on Knowledge Discovery in Chemical Databases / Sandra Berasaluce ; Claude Laurenço ; Amedeo Napoli ; Gilles Niel
Shape and Size Regularization in Expectation Maximization and Fuzzy Clustering / Christian Borgelt ; Rudolf Kruse
Combining Multiple Clustering Systems / Constantinos Boulis ; Mari Ostendorf
Reducing Data Stream Sliding Windows by Cyclic Tree-Like Histograms / Francesco Buccafurri ; Gianluca Lax
A Framework for Data Mining Pattern Management / Barbara Catania ; Anna Maddalena ; Maurizio Mazza ; Elisa Bertino ; Stefano Rizzi
Spatial Associative Classification at Different Levels of Granularity: A Probabilistic Approach / Michelangelo Ceci ; Annalisa Appice ; Donato Malerba
AutoPart: Parameter-Free Graph Partitioning and Outlier Detection / Deepayan Chakrabarti
Properties and Benefits of Calibrated Classifiers / Ira Cohen ; Moises Goldszmidt
A Tree-Based Approach to Clustering XML Documents by Structure / Gianni Costa ; Giuseppe Manco ; Riccardo Ortale ; Andrea Tagarelli
Discovery of Regulatory Connections in Microarray Data / Michael Egmont-Petersen ; Wim de Jonge ; Arno Siebes
Learning from Little: Comparison of Classifiers Given Little Training / George Forman
Geometric and Combinatorial Tiles in 0-1 Data / Aristides Gionis ; Heikki Mannila ; Jouni K. Seppänen
Document Classification Through Interactive Supervision of Document and Term Labels / Shantanu Godbole ; Abhay Harpale ; Sunita Sarawagi
Classifying Protein Fingerprints / Melanie Hilario ; Alex Mitchell ; Jee-Hyub Kim ; Paul Bradley ; Terri Attwood
Finding Interesting Pass Patterns from Soccer Game Records / Shoji Hirano ; Shusaku Tsumoto
Discovering Unexpected Information for Technology Watch / François Jacquenet ; Christine Largeron
Scalable Density-Based Distributed Clustering / Eshref Januzaj ; Hans-Peter Kriegel ; Martin Pfeifle
Summarization of Dynamic Content in Web Collections / Adam Jatowt ; Mitsuru Ishizuka
Mining Thick Skylines over Large Databases / Wen Jin ; Jiawei Han ; Martin Ester
Ensemble Feature Ranking / Kees Jong ; Jérémie Mary ; Antoine Cornuéjols ; Elena Marchiori ; Michèle Sebag
Privately Computing a Distributed k-nn Classifier / Murat Kantarcio&gcaron;lu ; Chris Clifton
Incremental Nonlinear PCA for Classification / Byung Joo Kim ; Il Kon Kim
A Spectroscopy of Texts for Effective Clustering / Wenyuan Li ; Wee-Keong Ng ; Kok-Leong Ong ; Ee-Peng Lim
Constraint-Based Mining of Episode Rules and Optimal Window Sizes / Nicolas Méger ; Christophe Rigotti
Analysing Customer Churn in Insurance Data - A Case Study / Katharina Morik ; Lianna Köpeke
Nomograms for Visualization of Naive Bayesian Classifier / Martin Možina ; Janez Demšar ; Michael Kattan ; Blaž Zupan
Using a Hash-Based Method for Apriori-Based Graph Mining / Phu Chien Nguyen ; Takashi Washio ; Kouzou Ohara ; Hiroshi Motoda
Evaluation of Rule Interestingness Measures with a Clinical Dataset on Hepatitis / Miho Ohsaki ; Shinya Kitaguchi ; Kazuya Okamoto ; Hideto Yokoi ; Takahira Yamaguchi
Classification in Geographical Information Systems / Salvatore Rinzivillo ; Franco Turini
Digging into Acceptor Splice Site Prediction: An Iterative Feature Selection Approach / Yvan Saeys ; Sven Degroeve ; Yves Van de Peer
Itemset Classified Clustering / Jun Sese ; Shinichi Morishita
Combining Winnow and Orthogonal Sparse Bigrams for Incremental Spam Filtering / Christian Siefkes ; Fidelis Assis ; Shalendra Chhabra ; William S. Yerazunis
Asynchronous and Anticipatory Filter-Stream Based Parallel Algorithm for Frequent Itemset Mining / Adriano Veloso ; Wagner Meira Jr. ; Renato Ferreira ; Dorgival Guedes Neto ; Srinivasan Parthasarathy
A Quantification of Cluster Novelty with an Application to Martian Topography / Ricardo Vilalta ; Tom Stepinski ; Muralikrishna Achari ; Francisco Ocegueda-Hernandez
Density-Based Spatial Clustering in the Presence of Obstacles and Facilitators / Xin Wang ; Camilo Rostoker ; Howard J. Hamilton
Text Mining for Finding Functional Community of Related Genes Using TCM Knowledge / Zhaohui Wu ; Xuezhong Zhou ; Baoyan Liu ; Junli Chen
Dealing with Predictive-but-Unpredictable Attributes in Noisy Data Sources / Ying Yang ; Xindong Wu ; Xingquan Zhu
A New Scheme on Privacy Preserving Association Rule Mining / Nan Zhang ; Shengquan Wang ; Wei Zhao
Posters
A Unified and Flexible Framework for Comparing Simple and Complex Patterns / Ilaria Bartolini ; Paolo Ciaccia ; Irene Ntoutsi ; Marco Patella ; Yannis Theodoridis
Constructing (Almost) Phylogenetic Trees from Developmental Sequences Data / Ronnie Bathoorn
Learning from Multi-source Data / Élisa Fromont ; Marie-Odile Cordier ; René Quiniou
The Anatomy of SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets / Paolo Ferragina ; Antonio Gullì
COCOA: Compressed Continuity Analysis for Temporal Databases / Kuo-Yu Huang ; Chia-Hui Chang ; Kuo-Zui Lin
Discovering Interpretable Muscle Activation Patterns with the Temporal Data Mining Method / Fabian Mörchen ; Alfred Ultsch ; Olaf Hoos
A Tolerance Rough Set Approach to Clustering Web Search Results / Chi Lang Ngo ; Hung Son Nguyen
Improving the Performance of the RISE Algorithm / Aloísio Carlos de Pina ; Gerson Zaverucha
Mining History of Changes to Web Access Patterns / Qiankun Zhao ; Sourav S. Bhowmick
Demonstration Papers
Visual Mining of Spatial Time Series Data / Gennady Andrienko ; Natalia Andrienko ; Peter Gatalsky
Detecting Driving Awareness / Bruno Apolloni ; Andrea Brega ; Dario Malchiodi ; Cristian Mesiano
An Effective Recommender System for Highly Dynamic and Large Web Sites / Ranieri Baraglia ; Francesco Merlo ; Fabrizio Silvestri
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections / Chris Biemann ; Karsten Böhm ; Gerhard Heyer ; Ronny Melz
Orange: From Experimental Machine Learning to Interactive Data Mining / Gregor Leban ; Tomaz Curk
Terrorist Detection System / Yuval Elovici ; Abraham Kandel ; Mark Last ; Bracha Shapira ; Omer Zaafrany ; Moti Schneider ; Menahem Friedman
Experimenting SnakeT: A Hierarchical Clustering Engine for Web-Page Snippets
HIClass: Hyper-interactive Text Classification by Interactive Supervision of Document and Term Labels
Balios - The Engine for Bayesian Logic Programs / Kristian Kersting ; Uwe Dick
SEWeP: A Web Mining System Supporting Semantic Personalization / Stratos Paulakis ; Charalampos Lampos ; Magdalini Eirinaki ; Michalis Vazirgiannis
SPIN! Data Mining System Based on Component Architecture / Alexandr Savinov
Author Index
Invited Papers
Random Matrices in Data Analysis / Dmitris Achlioptas
Data Privacy / Rakesh Agrawal
6.

図書

図書
Hans Jürgen Ohlbach, Sebastian Schaffert (eds.)
出版情報: Berlin : Springer, c2004  vi, 163 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3208
所蔵情報: loading…
7.

図書

図書
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…
8.

図書

図書
Christian Barillot, David R. Haynor, Pierre Hellier (eds.)
出版情報: Berlin : Springer, c2004  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3216-3217
所蔵情報: loading…
9.

図書

図書
Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann (eds.)
出版情報: Berlin : Springer, c2004  xi, 337 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3219
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument / J.M. Armstrong ; S.E. Paynter
Using Fuzzy Self-Organising Maps for Safety Critical Systems / Z. Kurd ; T.P. Kelly
Using Formal Methods in a Retrospective Safety Case / L.-H. Eriksson
Reliability
A Highly Fault Detectable Cache Architecture for Dependable Computing / H.R. Zarandi ; S.G. Miremadi
An Empirical Exploration of the Difficulty Function / J.G.W. Bentley ; P.G. Bishop ; M. van der Meulen
Towards the Integration of Fault, Resource, and Power Management / T. Saridakis
Human Factors
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems / M. Cebulla
Analysing Mode Confusion: An Approach Using FDR2 / B. Buth
Handling Safety Critical Requirements in System Engineering Using the B Formal Method / D. Essame
Transportation
A Hybrid Testing Methodology for Railway Control Systems / G. De Nicola ; P. di Tommaso ; R. Esposito ; F. Flammini ; A. Orazzo
Actuator Based Hazard Analysis for Safety Critical Systems / P. Johannessen ; F. Torner ; J. Torin
Performability Measures of the Public Mobile Network of a Tele Control System / E. Ciancamerla ; M. Minichino
Software Development
PLC-Based Safety Critical Software Development for Nuclear Power Plants / J. Yoo ; S. Cha ; H.S. Son ; C.H. Kim ; J.-S. Lee
Compositional Hazard Analysis of UML Component and Deployment Models / H. Giese ; M. Tichy ; D. Schilling
Automatic Test Data Generation from Embedded C Code / E. Dillon ; C. Meudec
Fault Tree Analysis
State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems / B. Kaiser ; C. Gramlich
Safety Requirements and Fault Trees Using Retrenchment / R. Banach ; R. Cross
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics / D. Rehage ; U.B. Carl ; M. Merkel ; A. Vahl
Automotive Telematics - Road Safety Versus IT Security? / R.G. Herrtwich
Formal Methods and Systems
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture / H. Pfeifer ; F.W. von Henke
Refinement of Fault Tolerant Control Systems in B / L. Laibinis ; E. Troubitsyna
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems / M. Vollmer
Security and Quality of Service
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth / A. Aldini ; M. Bernardo
Dependability Benchmarking of Web-Servers / J. Duraes ; M. Vieira ; H. Madeira
Hazard and Risk Analysis
An Approach for Model-Based Risk Assessment / B.A. Gran ; R. Fredriksen ; A.P.-J. Thunem
How Explicit Are the Barriers to Failure in Safety Arguments? / S.P. Smith ; M.D. Harrison ; B.A. Schupp
Author Index
Invited Talk
Why Safety and Security Should and Will Merge / A. Pfitzmann
Safety Cases
10.

図書

図書
Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
出版情報: Berlin : Springer, c2004  viii, 336 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3223
所蔵情報: loading…
目次情報: 続きを見る
Error Analysis of Digital Filters Using Theorem Proving / Behzad Akbarpour ; Sofiène Tahar
Verifying Uniqueness in a Logical Framework / Penny Anderson ; Frank Pfenning
A Program Logic for Resource Verification / David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
Proof Reuse with Extended Inductive Types / Olivier Boite
Hierarchical Reflection / Luís Cruz-Filipe ; Freek Wiedijk
Correct Embedded Computing Futures / Al Davis
Higher Order Rippling in IsaPlanner / Lucas Dixon ; Jacques Fleuriot
A Mechanical Proof of the Cook-Levin Theorem / Ruben Gamboa ; John Cowles
Formalizing the Proof of the Kepler Conjecture / Thomas Hales
Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code / Nadeem Abdul Hamid ; Zhong Shao
Extensible Hierarchical Tactic Construction in a Logical Framework / Jason Hickey ; Aleksey Nogin
Theorem Reuse by Proof Term Transformation / Einar Broch Johnsen ; Christoph Lüth
Proving Compatibility Using Refinement / Michael Jones ; Aaron Benson ; Dan Delorey
Java Program Verification via a JVM Deep Embedding in ACL2 / Hanbing Liu ; J. Strother Moore
Reasoning About CBV Functional Programs in Isabelle/HOL / John Longley ; Randy Pollack
Proof Pearl: From Concrete to Functional Unparsing / Jean-Fraçois Monin
A Decision Procedure for Geometry in Coq / Julien Narboux
Recursive Function Definition for Types with Binders / Michael Norrish
Abstractions for Fault-Tolerant Distributed System Verification / Lee Pike ; Jeffrey Maddalon ; Paul Miner ; Alfons Geser
Formalizing Integration Theory with an Application to Probabilistic Algorithms / Stefan Richter
Formalizing Java Dynamic Loading in HOL / Tian-jun Zuo ; Jun-gang Han ; Ping Chen
Certifying Machine Code Safety: Shallow Versus Deep Embedding / Martin Wildmoser ; Tobias Nipkow
Term Algebras with Length Function and Bounded Quantifier Alternation / Ting Zhang ; Henny B. Sipma ; Zohar Manna
Author Index
Error Analysis of Digital Filters Using Theorem Proving / Behzad Akbarpour ; Sofiène Tahar
Verifying Uniqueness in a Logical Framework / Penny Anderson ; Frank Pfenning
A Program Logic for Resource Verification / David Aspinall ; Lennart Beringer ; Martin Hofmann ; Hans-Wolfgang Loidl ; Alberto Momigliano
11.

図書

図書
Kan Zhang, Yuliang Zheng (eds.)
出版情報: Berlin : Springer, c2004  xii, 442 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3225
所蔵情報: loading…
目次情報: 続きを見る
Key Management
Practical Authenticated Key Agreement Using Passwords / Taekyoung Kwon
Further Analysis of Password Authenticated Key Exchange Protocol Based on RSA for Imbalanced Wireless Networks / Muxiang Zhang
Storage-Efficient Stateless Group Key Revocation / Pan Wang ; Peng Ning ; Douglas S. Reeves
Digital Signatures
Low-Level Ideal Signatures and General Integrity Idealization / Michael Backes ; Birgit Pfitzmann ; Michael Waidner
Cryptanalysis of a Verifiably Committed Signature Scheme Based on GPS and RSA / Julien Cathalo ; Benoît Libert ; Jean-Jacques Quisquater
How to Break and Repair a Universally Composable Signature Functionality / Dennis Hofheinz
New Algorithms
RSA Accumulator Based Broadcast Encryption / Craig Gentry ; Zulfikar Ramzan
Chameleon Hashing Without Key Exposure / Xiaofeng Chen ; Fangguo Zhang ; Kwangjo Kim
Radix-r Non-Adjacent Form / Tsuyoshi Takagi ; Sung-Ming Yen ; Bo-Ching Wu
Cryptanalysis
On Related-Key and Collision Attacks: The Case for the IBM 4758 Cryptoprocessor / Raphael C.-W. Phan ; Helena Handschuh
Security Analysis of Two Signcryption Schemes / Guilin Wang ; Robert H. Deng ; DongJin Kwak ; SangJae Moon
On The Security of Key Derivation Functions / Carlisle Adams ; Guenther Kramer ; Serge Mister ; Robert Zuccherato
Intrusion Detection
Evaluating the Impact of Intrusion Detection Deficiencies on the Cost-Effectiveness of Attack Recovery / Hai Wang ; Peng Liu ; Lunqun Li
A Model for the Semantics of Attack Signatures in Misuse Detection Systems / Michael Meier
Detection of Sniffers in an Ethernet Network / Zouheir Trabelsi ; Hamza Rahmani
Using Greedy Hamiltonian Call Paths to Detect Stack Smashing Attacks / Mark Foster ; Joseph N. Wilson ; Shigang Chen
Securing DBMS: Characterizing and Detecting Query Floods / Elisa Bertino ; Teodoro Leggieri ; Evimaria Terzi
Access Control
An XML-Based Approach to Document Flow Verification / Elena Ferrari ; Giovanni Mella
Model-Checking Access Control Policies / Dimitar P. Guelev ; Mark Ryan ; Pierre Yves Schobbens
A Distributed High Assurance Reference Monitor / Ajay Chander ; Drew Dean ; John Mitchell
Using Mediated Identity-Based Cryptography to Support Role-Based Access Control / D. Nali ; C. Adams ; A. Miri
Human Authentication
Towards Human Interactive Proofs in the Text-Domain (Using the Problem of Sense-Ambiguity for Security) / Richard Bergmair ; Stefan Katzenbeisser
Image Recognition CAPTCHAs / Monica Chew ; J.D. Tygar
Certificate Management
A Hierarchical Key-Insulated Signature Scheme in the CA Trust Model / Zhengyi Le ; Yi Ouyang ; James Ford ; Fillia Makedon
Certificate Recommendations to Improve the Robustness of Web of Trust / Qinglin Jiang
Mobile and Ad Hoc Security
Universally Composable Secure Mobile Agent Computation / Ke Xu ; Stephen R. Tate
Re-thinking Security in IP Based Micro-Mobility / Jukka Ylitalo ; Jan Melén ; Pekka Nikander ; Vesa Torvinen
Shared-Key Signature and Its Application to Anonymous Authentication in Ad Hoc Group / Qianhong Wu ; Changjie Wang ; Yumin Wang
Web Security
Prevent Online Identity Theft - Using Network Smart Cards for Secure Online Transactions / HongQian Karen Lu ; Asad Ali
Provable Unlinkability Against Traffic Analysis Already After <$>{\cal O}<$>(log(n)) Steps! / Marcin Gomułkiewicz ; Marek Klonowski ; Mirosław Kutyłowski
An Efficient Online Electronic Cash with Unlinkable Exact Payments / Toru Nakanishi ; Mitsuaki Shiota ; Yuji Sugiyama
Digital Rights Management
Modifiable Digital Content Protection in P2P / Heejae Park ; Jong Kim
Survey on the Technological Aspects of Digital Rights Management / William Ku ; Chi-Hung Chi
Detecting Software Theft via Whole Program Path Birthmarks / Ginger Myles ; Christian Collberg
Software Security
Effective Security Requirements Analysis: HAZOP and Use Cases / Thitima Srivatanakul ; John A. Clark ; Fiona Polack
The Obfuscation Executive / Kelly Heffner
Author Index
Key Management
Practical Authenticated Key Agreement Using Passwords / Taekyoung Kwon
Further Analysis of Password Authenticated Key Exchange Protocol Based on RSA for Imbalanced Wireless Networks / Muxiang Zhang
12.

図書

図書
Inge Jonassen, Junhyong Kim (eds.)
出版情報: Berlin : Springer, c2004  ix, 476 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3240 . Lecture notes in bioinformatics
所蔵情報: loading…
13.

図書

図書
Dieter Kranzlmüller, Peter Kacsuk, Jack Dongarra (eds.)
出版情報: Berlin : Springer, c2004  xiii, 452 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3241
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
PVM Grids to Self-assembling Virtual Machines / A Geist
The Austrian Grid Initiative - High Level Extensions to Grid Middleware / J. Volkert
Fault Tolerance in Message Passing and in Action / J.J. Dongarra
MPI and High Productivity Programming / W.D. Gropp
High Performance Application Execution Scenarios in P-GRADE / G. Dózsa
An Open Cluster System Software Stack / E. Lusk
Advanced Resource Connector (ARC) - The Grid Middleware of the NorduGrid / B Kónya
Next Generation Grid: Learn from the Past, Look to the Future / D. Laforenza
Tutorials
Production Grid Systems and Their Programming / P. Kacsuk ; B. Kónya ; P. Stefán
Tools and Services for Interactive Applications on the Grid - The CrossGrid Tutorial / T. Szepieniec ; M. Radecki ; K. Rycerz ; M. Bubak ; M. Malawski
Extensions and Improvements
Verifying Collective MPI Calls / J.L. Träff ; J. Worringen
Fast Tuning of Intra-cluster Collective Communications / L.A. Barchet-Estefanel ; G. Mounié
More Efficient Reduction Algorithms for Non-Power-of-Two Number of Processors in Message-Passing Parallel Systems / R. Rabenseifner
Zero-Copy MPI Derived Datatype Communication over InfiniBand / G. Santhanaraman ; J. Wu ; D.K. Panda
Minimizing Synchronization Overhead in the Implementation of MPI One-Sided Communication / R. Thakur ; B. Toonen
Efficient Implementation of MPI-2 Passive One-Sided Communication on InfiniBand Clusters / W. Jiang ; J. Liu ; H.-W. Jin ; D. Buntinas
Providing Efficient I/O Redundancy in MPI Environments / R. Ross ; N. Miller
The Impact of File Systems on MPI-IO Scalability / R. Latham
Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation / E. Gabriel ; G.E. Fagg ; G. Bosilca ; T. Angskun ; J.M. Squyres ; V. Sahay ; P. Kambadur ; B. Barrett ; A. Lumsdaine ; R.H. Castain ; D.J. Daniel ; R.L. Graham ; T.S. Woodall
Open MPI's TEG Point-to-Point Communications Methodology: Comparison to Existing Implementations / M.W. Sukalski
The Architecture and Performance of WMPI II / A.L. Christensen ; J. Brito ; J.G. Silva
A New MPI Implementation for Cray SHMEM / R. Brightwell
Algorithms
A Message Ordering Problem in Parallel Programs / B. Uçar ; C. Aykanat
BSP/CGM Algorithms for Maximum Subsequence and Maximum Subarray / C.E.R. Alves ; E.N. Cáceres ; S.W. Song
A Parallel Approach for a Non-rigid Image Registration Algorithm / G. Román-Alonso ; N.P. Castellanos-Abrego ; L. Zamora-Venegas
Neighborhood Composition: A Parallelization of Local Search Algorithms / Y. Handa ; H. Ono ; K. Sadakane ; M. Yamashita
Asynchronous Distributed Broadcasting in Cluster Environment / S. Juhász ; F. Kovács
A Simple Work-Optimal Broadcast Algorithm for Message-Passing Parallel Systems
Nesting OpenMP and MPI in the Conjugate Gradient Method for Band Systems / L.F. Romero ; E.M. Ortigosa ; S. Romero ; E.L. Zapata
An Asynchronous Branch and Bound Skeleton for Heterogeneous Clusters / J.R. Gonzaález ; C. Leoán ; C. Rodráguez
Applications
Parallelization of GSL: Architecture, Interfaces, and Programming Models / J. Aliaga ; F. Almeida ; J.M. Badáa ; S. Barrachina ; V. Blanco ; M. Castillo ; U. Dorta ; R. Mayo ; E.S. Quintana ; G. Quintana ; C Rodríguez ; F. de Sande
Using Web Services to Run Distributed Numerical Applications / D Puppin ; N. Tonellotto
A Grid-Based Parallel Maple / D. Petcu ; D. Dubu ; M. Paprzycki
A Pipeline-Based Approach for Mapping Message-Passing Applications with an Input Data Stream / F. Guirado ; A. Ripoll ; C. Roig ; E. Luque
Parallel Simulations of Electrophysiological Phenomena in Myocardium on Large 32 and 64-bit Linux Clusters / P. Czarnul ; K. Grz&ecedil;da
Tools and Environments
MPI I/O Analysis and Error Detection with MARMOT / B. Krammer ; M.S. Müller ; M.M. Resch
Parallel I/O in an Object-Oriented Message-Passing Library / S. Pinkenburg ; W. Rosenstiel
Detection of Collective MPI Operation Patterns / A Knüpfer ; D. Kranzlmüller ; W.E. Nagel
Detecting Unaffected Race Conditions in Message-Passing Programs / M.-Y. Park ; Y.-K. Jun
MPI Cluster System Software / N. Desai ; R. Bradshaw ; A. Lusk
A Lightweight Framework for Executing Task Parallelism on Top of MPI / P.E. Hadjidoukas
Easing Message-Passing Parallel Programming Through a Data Balancing Service / M.A. Castro-García ; J. Buenabad-Chávez
TEG: A High-Performance, Scalable, Multi-network Point-to-Point Communications Methodology
Cluster and Grid
Efficient Execution on Long-Distance Geographically Distributed Dedicated Clusters / E. Argollo ; J.R. de Souza ; D. Rexachs
Identifying Logical Homogeneous Clusters for Efficient Wide-Area Communications
Coscheduling and Multiprogramming Level in a Non-dedicated Cluster / M. Hanzich ; F. Giné ; P. Hernández ; F. Solsona
Heterogeneous Parallel Computing Across Multidomain Clusters / P. Hwang ; D. Kurzyniec ; V. Sunderam
Performance Evaluation and Monitoring of Interactive Grid Applications / B Baliś ; W. Funika ; R. Wismüuller ; T. Arodaź ; M. Kurdziel
A Domain Decomposition Strategy for GRID Environments / B. Otero ; J.M. Cela ; R.M. Badia ; J. Labarta
A PVM Extension to Exploit Cluster Grids / F Frattolillo
Performance
An Initial Analysis of the Impact of Overlap and Independent Progress for MPI / K.D. Underwood ; R. Riesen
A Performance-Oriented Technique for Hybrid Application Development / E Mancini ; M. Rak ; R. Torella ; U. Villano
A Refinement Strategy for a User-Oriented Performance Analysis / J. Lemeire ; A. Crijns ; J. Crijns ; E. Dirkx
What Size Cluster Equals a Dedicated Chip / S. Höfinger
Architecture and Performance of the BlueGene/L Message Layer / G Almási ; C. Archer ; J. Gunnels ; P. Heidelberger,X. Martorell ; J.E. Moreira
Special Session: ParSim
Current Trends in Numerical Simulation for Parallel Engineering Environments. ParSim 2004 / C Trinitis ; M. Schulz
Parallelization of a Monte Carlo Simulation for a Space Cosmic Particles Detector / F Almeida ; C. Delgado ; R.J. García López
On the Parallelization of a Cache-Optimal Iterative Solver for PDEs Based on Hierarchical Data Structures and Space-Filling Curves / F. Güunther ; A. Krahnke ; M. Langlotz ; M. Mehl ; M. Pöogl ; C. Zenger
Parallelization of an Adaptive Vlasov Solver / O. Hoenen ; M. Mehrenberger ; É. Violard
A Framework for Optimising Parameter Studies on a Cluster Computer by the Example of Micro-system Design / D Fey ; M. Komann ; C. Kauhaus
Numerical Simulations on PC Graphics Hardware / J. Krüger ; T. Schiwietz ; P. Kipfer ; R. Westermann
Author Index
Invited Talks
PVM Grids to Self-assembling Virtual Machines / A Geist
The Austrian Grid Initiative - High Level Extensions to Grid Middleware / J. Volkert
14.

図書

図書
András Benczúr, János Demetrovics, Georg Gottlob (eds.)
出版情報: Berlin : Springer, c2004  xi, 422 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3255
所蔵情報: loading…
目次情報: 続きを見る
Constraint Databases
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints / Peter Revesz
Deductive Databases
Update Propagation in Deductive Databases Using Soft Stratification / Andreas Behrend ; Rainer Manthey
Heterogenous and Web Information Systems
Query Rewriting Using Views in a Typed Mediator Environment / Leonid A. Kalinichenko ; Dmitry O. Martynov ; Sergey A. Stupnikov
Reasoning About Web Information Systems Using Story Algebras / Klaus-Dieter Schewe ; Bernhard Thalheim
Cross Enterprise Information Systems
Component Framework for Strategic Supply Network Development / Antonia Albani ; Bettina Bazijanec ; Klaus Turowski ; Christian Winnewisser
Knowledge Discovery
An Abstract Algebra for Knowledge Discovery in Databases / Luciano Gerber ; Alvaro A.A. Fernandes
Database Modelling
Beyond Databases: An Asset Language for Conceptual Content Management / Hans-Werner Sehring ; Joachim W. Schmidt
Component-Based Modeling of Huge Databases / Peggy Schmidt
Cognitive Load Effects on End User Understanding of Conceptual Models: An Experimental Analysis / Daniel L. Moody
Template Based, Designer Driven Design Pattern
Instantiation Support / Vladim'ir Marko
XML and Semistructured Databases
A High-Level Language for Specifying XML Data Transformations / Tadeusz Pankowski
Implementing a Query Language for Context-Dependent Semistructured Data / Yannis Stavrakas ; Kostis Pristouris ; Antonis Efandis ; Timos Sellis
Static Analysis of Structural Recursion in Semistructured Databases and Its Consequences / Andras Benczur ; Balazs Kosa
Physical Database Design and Query Evaluation
Catalogues from a New Perspective: A Data Structure for Physical Organisation / Gabor M. Suranyi ; Zsolt T. Kardkovacs ; Sandor Gajdos
Database Caching - Towards a Cost Model for Populating Cache Groups / Theo Harder ; Andreas Buhmann
Towards Quadtree-Based Moving Objects Databases / Katerina Raptopoulou ; Michael Vassilakopoulos ; Yannis Manolopoulos
A Content-Based Music Retrieval System Using Multidimensional Index of Time-Sequenced Representative Melodies from Music Database / Kyong-I Ku ; Jae-Yong Won ; Jaehyun Park ; Yoo-Sung Kim
Solving Stochastic Optimization in Distributed Databases
Using Genetic Algorithms / Viorica Varga ; Dumitru Dumitrescu ; Crina Grosan
Transaction Management and Workflow Systems
ML-1-2PC: An Adaptive Multi-level Atomic Commit Protocol / Yousef J. Al-Houmaily ; Panos K. Chrysanthis
Making More Out of an Inconsistent Database / Jef Wijsen
Process Query Language: A Way to Make Workflow Processes More Flexible / Mariusz Momotko ; Kazimierz Subieta
Triggering Replanning in an Integrated Workflow Planning and Enactment System / Hilmar Schuschel ; Mathias Weske
Query Processing and Data Streams
Grouped Processing of Relational Algebra Expressions over Data Streams / Janusz R. Getta ; Ehsan Vossough
Processing Sliding Window Join Aggregate in Continuous Queries over Data Streams / Weiping Wang ; Jianzhong Li ; DongDong Zhang ; Longjiang Guo
Spatial Databases
How to Integrate Heterogeneous Spatial Databases in a Consistent Way? / David Sheeren ; Sebastien Mustiere ; Jean-Daniel Zucker
Vague Spatial Data Types, Set Operations, and Predicates / Alejandro Pauly ; Markus Schneider
Agents and Mobile Systems
Intelligent Multi-agent Based Database Hybrid Intrusion Prevention System / P. Ramasubramanian ; A. Kannan
Energy Efficient Transaction Processing in Mobile Broadcast Environments / SangKeun Lee
Author Index
Constraint Databases
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints / Peter Revesz
Deductive Databases
15.

図書

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

図書

図書
Hyun-Kook Kahng, Shigeki Goto (eds.)
出版情報: Berlin : Springer, c2004  xvii, 1048 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3090
所蔵情報: loading…
17.

図書

図書
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:
18.

図書

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

図書

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

図書

図書
Marco Bernardo, Flavio Corradini (eds.)
出版情報: Berlin : Springer, c2004  vi, 293 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3185
所蔵情報: loading…
目次情報: 続きを見る
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing) / J.C.M. Baeten ; M.A. Reniers
Expressiveness of Timed Events and Timed Languages / D.R. Cacciagrano ; F. Corradini
Real Time and Stochastic Time / M. Bravetti
On the Semantic Foundations of Standard UML 2.0 / B.V. Selic
Tools and Applications / Part II:
A Tutorial on Uppaal / G. Behrmann ; A. David ; K.G. Larsen
The IF Toolset / M. Bozga ; S. Graf ; I. Ober ; J. Sifakis
Embedded Software Analysis with MOTOR / J.-P. Katoen ; H. Bohnenkamp ; R. Klaren ; H. Hermanns
Author Index
Models and Languages / Part I:
Decision Problems for Timed Automata: A Survey / R. Alur ; P. Madhusudan
Timed Petri Nets: Efficiency of Asynchronous Systems / E. Bihler ; W. Vogler
21.

図書

図書
Pierangela Samarati ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  x, 456 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3193
所蔵情報: loading…
22.

図書

図書
Gert-Jan de Vreede, Luis A. Guerrero, Gabriela Marín Raventós (eds.)
出版情報: Berlin : Springer, c2004  xi, 378 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3198
所蔵情報: loading…
23.

図書

図書
Jean-François Boulicaut ... [et al.] (eds.)
出版情報: Berlin : Springer, c2004  xviii, 580 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3201 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Random Matrices in Data Analysis / Dimitris Achlioptas
Data Privacy / Rakesh Agrawal
Breaking Through the Syntax Barrier: Searching with Entities and Relations / Soumen Chakrabarti
Real-World Learning with Markov Logic Networks / Pedro Domingos
Strength in Diversity: The Advance of Data Analysis / David J. Hand
Contributed Papers
Filtered Reinforcement Learning / Douglas Aberdeen
Applying Support Vector Machines to Imbalanced Datasets / Rehan Akbani ; Stephen Kwek ; Nathalie Japkowicz
Sensitivity Analysis of the Result in Binary Decision Trees / Isabelle Alvarez
A Boosting Approach to Multiple Instance Learning / Peter Auer ; Ronald Ortner
An Experimental Study of Different Approaches to Reinforcement Learning in Common Interest Stochastic Games / Avi Bab ; Ronen Brafman
Learning from Message Pairs for Automatic Email Answering / Steffen Bickel ; Tobias Scheffer
Concept Formation in Expressive Description Logics / Nicola Fanizzi ; Luigi Iannone ; Ignazio Palmisano ; Giovanni Semeraro
Multi-level Boundary Classification for Information Extraction / Aidan Finn ; Nicholas Kushmerick
An Analysis of Stopping and Filtering Criteria for Rule Learning / Johannes Fürnkranz ; Peter Flach
Adaptive Online Time Allocation to Search Algorithms / Matteo Gagliolo ; Viktor Zhumatiy ; Jürgen Schmidhuber
Model Approximation for HEXQ Hierarchical Reinforcement Learning / Bernhard Hengst
Iterative Ensemble Classification for Relational Data: A Case Study of Semantic Web Services / Andreas Heß
Analyzing Multi-agent Reinforcement Learning Using Evolutionary Dynamics / Pieter Jan 't Hoen ; Karl Tuyls
Experiments in Value Function Approximation with Sparse Support Vector Regression / Tobias Jung ; Thomas Uthmann
Constructive Induction for Classifying Time Series / Mohammed Waleed Kadous ; Claude Sammut
Fisher Kernels for Logical Sequences / Kristian Kersting ; Thomas Gärtner
The Enron Corpus: A New Dataset for Email Classification Research / Bryan Klimt ; Yiming Yang
Margin Maximizing Discriminant Analysis / András Kocsor ; Kornél Kovács ; Csaba Szepesvári
Multi-objective Classification with Info-Fuzzy Networks / Mark Last
Improving Progressive Sampling via Meta-learning on Learning Curves / Rui Leite ; Pavel Brazdil
Methods for Rule Conflict Resolution / Tony Lindgren
An Efficient Method to Estimate Labelled Sample Size for Transductive LDA(QDA/MDA) Based on Bayes Risk / Han Liu ; Xiaobin Yuan ; Qianying Tang ; Rafal Kustra
Analyzing Sensory Data Using Non-linear Preference Learning with Feature Subset Selection / Oscar Luaces ; Gustavo F. Bayón ; José R. Quevedo ; Jorge Díez ; Juan José del Coz ; Antonio Bahamonde
Dynamic Asset Allocation Exploiting Predictors in Reinforcement Learning Framework / Jangmin O ; Jae Won Lee ; Jongwoo Lee ; Byoung-Tak Zhang
Justification-Based Selection of Training Examples for Case Base Reduction / Santiago Ontañón ; Enric Plaza
Using Feature Conjunctions Across Examples for Learning Pairwise Classifiers / Satoshi Oyama ; Christopher D. Manning
Feature Selection Filters Based on the Permutation Test / Predrag Radivojac ; Zoran Obradovic ; A. Keith Dunker ; Slobodan Vucetic
Sparse Distributed Memories for On-Line Value-Based Reinforcement Learning / Bohdana Ratitch ; Doina Precup
Improving Random Forests / Marko Robnik-Šikonja
The Principal Components Analysis of a Graph, and Its Relationships to Spectral Clustering / Marco Saerens ; Francois Fouss ; Luh Yen ; Pierre Dupont
Using String Kernels to Identify Famous Performers from Their Playing Style / Craig Saunders ; David R. Hardoon ; John Shawe-Taylor ; Gerhard Widmer
Associative Clustering / Janne Sinkkonen ; Janne Nikkilä ; Leo Lahti ; Samuel Kaski
Learning to Fly Simple and Robust / Dorian Šuc ; Ivan Bratko
Bayesian Network Methods for Traffic Flow Forecasting with Incomplete Data / Shiliang Sun ; Changshui Zhang ; Guoqiang Yu ; Naijiang Lu ; Fei Xiao
Matching Model Versus Single Model: A Study of the Requirement to Match Class Distribution Using Decision Trees / Kai Ming Ting
Inducing Polynomial Equations for Regression / Ljupčo Todorovski ; Peter Ljubič ; Sašo Džeroski
Efficient Hyperkernel Learning Using Second-Order Cone Programming / Ivor W. Tsang ; James T. Kwok
Effective Voting of Heterogeneous Classifiers / Grigorios Tsoumakas ; Ioannis Katakis ; Ioannis Vlahavas
Convergence and Divergence in Standard and Averaging Reinforcement Learning / Marco A. Wiering
Document Representation for One-Class SVM / Xiaoyun Wu ; Rohini Srihari ; Zhaohui Zheng
Naive Bayesian Classifiers for Ranking / Harry Zhang ; Jiang Su
Conditional Independence Trees
Exploiting Unlabeled Data in Content-Based Image Retrieval / Zhi-Hua Zhou ; Ke-Jia Chen ; Yuan Jiang
Population Diversity in Permutation-Based Genetic Algorithm / Kenny Q. Zhu ; Ziwei Liu
Simultaneous Concept Learning of Fuzzy Rules / Jacobus van Zyl ; Ian Cloete
Posters
SWITCH: A Novel Approach to Ensemble Learning for Heterogeneous Data / Rong Jin ; Huan Liu
Estimating Attributed Central Orders - An Empirical Comparison / Toshihiro Kamishima ; Hideto Kazawa ; Shotaro Akaho
Batch Reinforcement Learning with State Importance / Lihong Li ; Vadim Bulitko ; Russell Greiner
Explicit Local Models: Towards "Optimal" Optimization Algorithms / Jan Poland
An Intelligent Model for the Signorini Contact Problem in Belt Grinding Processes / Xiang Zhang ; Bernd Kuhlenkötter ; Klaus Kneupner
Cluster-Grouping: From Subgroup Discovery to Clustering / Albrecht Zimmermann ; Luc De Raedt
Author Index
Invited Papers
Random Matrices in Data Analysis / Dimitris Achlioptas
Data Privacy / Rakesh Agrawal
24.

図書

図書
Bernhard Steffen, Giorgia Levi (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 324 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2937
所蔵情報: loading…
目次情報: 続きを見る
Tutorial
Security, Protocols, and Trust / J.D. Guttman
Security
Security Types Preserving Compilation / G. Barthe ; A. Basu ; T. Rezk
History-Dependent Scheduling for Cryptographic Processes / V. Vanackere
Construction of a Semantic Model for a Typed Assembly Language / G. Tan ; A.W. Appel ; K.N. Swadi ; D. WuFormal Methods I:
Rule-Based Runtime Verification / H. Barringer ; A. Goldberg ; K. Havelund ; K. Sen
Invited Talk
On the Expressive Power of Canonical Abstraction / M. Sagiv
Miscellaneous
Boolean Algebra of Shape Analysis Constraints / V. Kuncak ; M. Rinard
Model Checking
Approximate Probabilistic Model Checking / T. Hérault ; R. Lassaigne ; F. Magniette ; S. Peyronnet
Completeness and Complexity of Bounded Model Checking / E. Clarke ; D. Kroening ; J. Ouaknine ; O. Strichman
Model Checking for Object Specifications in Hidden Algebra / D. Lucanu ; G. Ciobanu
Model Checking Polygonal Differential Inclusions Using Invariance Kernels / G.J. Pace ; G. SchneiderFormal Methods II:
Checking Interval Based Properties for Reactive Systems / P. Yu ; X. Qiwen
Widening Operators for Powerset Domains / R. Bagnara ; P.M. Hill ; E. Zaffanella
Software Checking
Type Inference for Parameterized Race-Free Java / R. Agarwal ; S.D. Stoller
Certifying Temporal Properties for Compiled C Programs / S. Xia ; J. Hook
Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-Checking / J. Hatcliff ; Robby ; M.B. Dwyer
Static Analysis versus Software Model Checking for Bug Finding / D. Engler ; M. Musuvathi
Automatic Inference of Class Invariants / F. Logozzo
Liveness and Completeness
Liveness with Invisible Ranking / Y. Fang ; N. Piterman ; A. Pnueli ; L. Zuck
A Complete Method for the Synthesis of Linear Ranking Functions / A. Podelski ; A. Rybalchenko
Symbolic Implementation of the Best Transformer / T. Reps ; G. Yorsh
Constructing Quantified Invariants via Predicate Abstraction / S.K. Lahiri ; R.E. BryantFormal Methods III:
Analysis of Recursive Game Graphs Using Data Flow Equations / K. Etessami
Applying Jlint to Space Exploration Software / C. Artho
Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone / R. Wilhelm
Key Note
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal / D. Harel
Author Index
Tutorial
Security, Protocols, and Trust / J.D. Guttman
Security
25.

図書

図書
Vladimir Lifschitz, Ilkka Niemelä (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  ix, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2923 . Lecture notes in artificial intelligence
所蔵情報: loading…
26.

図書

図書
Bruce Christianson ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 241 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2845
所蔵情報: loading…
27.

図書

図書
Georg Lausen, Dan Suciu (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2921
所蔵情報: loading…
28.

図書

図書
Peter van Emde Boas ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 384 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2932
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Games, Theory and Applications / H.J. van den Herik ; H.H.L.M. Donkers
Database Research Issues in a WWW and GRIDs World / K.G. Jeffery
Integration, Diffusion, and Merging in Information Management Discipline / V. Kumar
Flexibility through Multiagent Systems: Solution or Illusion? / P.C. Lockemann ; J. Nimis
World Wide Web Challenges: Supporting Users in Search and Navigation / N. Milic-Frayling
Querying and Viewing the Semantic Web: An RDF-Based Perspective / D. Plexousakis
Knowledge Acquisition and Processing: New Methods for Neuro-Fuzzy Systems / D. Rutkowska
Algorithms for Scalable Storage Servers / P. Sanders
Fuzzy Unification and Argumentation for Well-Founded Semantics / R. Schweimeier ; M. Schroeder
Tree Signatures and Unordered XML Pattern Matching / P. Zezula ; F. Mandreoli ; R. Martoglia
Regular Papers
Quantum Query Complexity for Some Graph Problems / A. Berzina ; A. Dubrovsky ; R. Freivalds ; L. Lace ; O. Scegulnaja
A Model of Versioned Web Sites / M. Bieliková ; I. Noris
Design of Secure Multicast Models for Mobile Services / E. Blessing ; R. ; R. Uthariaraj ; V.
Some Notes on the Complexity of Protein Similarity Search under mRNA Structure Constraints / D. Bongartz
Measures of Intrinsic Hardness for Constraint Satisfaction Problem Instances / G. Boukeas ; C. Halatsis ; V. Zissimopoulos ; P. Stamatopoulos
Validity Conditions in Agreement Problems and Time Complexity / B. Charron-Bost ; F. Le Fessant
Supporting Evolution in Workflow Definition Languages / S.M. Fernandes ; J. Cachopo ; A.R. Silva
Clustered Level Planarity / M. Forster ; C. Bachmaier
Artificial Perception: Auditory Decomposition of Mixtures of Environmental Sounds - Combining Information Theoretical and Supervised Pattern Recognition Approaches / L. Janku
Features of Neighbors Spaces / M. Jirina ; Jr.
Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning / M. Kavalec ; A. Maedche ; V. Svatek
Approaches Based on Markovian Architectural Bias in Recurrent Neural Networks / M. Makula ; M. Cernansky ; L. Benuskova
Processing XPath Expressions in Relational Databases / T. Pankowski
An Embedded Language Approach to Router Specification in Curry / J.G. Ramos ; J. Silva ; G. Vidal
Multi-document Automatic Text Summarization Using Entropy Estimates / G. Ravindra ; N. Balakrishnan ; K.R. Ramakrishnan
Implicit Flow Maximization by Iterative Squaring / D. Sawitzki
Evolving Constructors for Infinitely Growing Sorting Networks and Medians / L. Sekanina
Fuzzy Group Models for Adaptation in Cooperative Information Retrieval Contexts / M.- Á. Sicilia ; E. Garc'ia
Theory of One Tape Linear Time Turing Machines / K. Tadaki ; T. Yamakami ; J.C.H. Lin
Avoiding Forbidden Submatrices by Row Deletions / S. Wernicke ; J. Alber ; J. Gramm ; J. Guo ; R. Niedermeier
Building a Bridge between Mirror Neurons and Theory of Embodied Cognition / J. Wiedermann
The Best Student Paper
Fully Truthful Mechanisms / N. Chen ; H. Zhu
Author Index
Invited Talks
Games, Theory and Applications / H.J. van den Herik ; H.H.L.M. Donkers
Database Research Issues in a WWW and GRIDs World / K.G. Jeffery
29.

図書

図書
Giuseppe Liotta (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  xv, 542 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2912
所蔵情報: loading…
30.

図書

図書
Paolo Giorgini, Jörg P. Müller, James Odell (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 245 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2935
所蔵情報: loading…
31.

図書

図書
Holger Karl, Andreas Willig, Adam Wolisz, (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 363 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2920
所蔵情報: loading…
目次情報: 続きを見る
Power Sources for Wireless Sensor Networks / Shad Roundy ; Dan Steingart ; Luc Frechette ; Paul Wright ; Jan Rabaey
Matrix Pencil for Positioning in Wireless Ad Hoc Sensor Network / Liang Song ; Raviraj Adve ; Dimitrios Hatzinakos
Tracking Real-World Phenomena with Smart Dust / Kay Römer
Networked Slepian-Wolf: Theory and Algorithms / Razvan Cristescu ; Baltasar Beferull-Lozano ; Martin Vetterli
WSDP: Efficient, Yet Reliable, Transmission of Real-Time Sensor Data over Wireless Networks / Arasch Honarbacht ; Anton Kummert
Context-Aware Sensors / Eiman Elnahrawy ; Badri Nath
Analysis of Node Energy Consumption in Sensor Networks / Katja Schwieger ; Heinrich Nuszkowski ; Gerhard Fettweis
Silence Is Golden with High Probability: Maintaining a Connected Backbone in Wireless Sensor Networks / Paolo Santi ; Janos Simon
Topology Transparent Support for Sensor Networks / Robert Simon ; Emerson Farrugia
Structured Communication in Single Hop Sensor Networks / Amol Bakshi ; Viktor K. Prasanna
ACE: An Emergent Algorithm for Highly Uniform Cluster Formation / Haowen Chan ; Adrian Perrig
Improving the Energy Efficiency of Directed Diffusion Using Passive Clustering / Vlado Handziski ; Andreas Kopke ; Holger Karl ; Christian Frank ; Witold Drytkiewicz
The XCast Approach for Content-Based Flooding Control in Distributed Virtual Shared Information Spaces-Design and Evaluation / Jochen Koberstein ; Florian Reuter ; Norbert Luttenberger
A Novel Mechanism for Routing in Highly Mobile Ad Hoc Sensor Networks / Jane Tateson ; Ian W. Marshall
Building Blocks of Energy and Cost Efficient Wireless Sensor Networks / Amer Filipovic ; Amitava Datta
Max-Min Length-Energy-Constrained Routing in Wireless Sensor Networks / Rajgopal Kannan ; Lydia Ray ; Ram Kalidindi ; S.S. Iyengar
Design of Surveillance Sensor Grids with a Lifetime Constraint / Wonjong Noh ; Kyungsoo Lim ; Jihoon Lee ; Sunshin An ; Vivek Mhatre ; Catherine Rosenberg ; Daniel Kofman ; Ravi Mazumdar ; Ness Shroff
Design of a Secure Distributed Service Directory for Wireless Sensornetworks / Hans-Joachim Hof ; Erik-Oliver Blaß ; Thomas Fuhrmann ; Martina Zitterbart
Embedding Low-Cost Wireless Sensors into Universal Plug and Play Environments / Yvonne Gsottberger ; Xiaolei Shi ; Guido Stromberg ; Thomas F. Sturm ; Werner Weber
Lessons from a Sensor Network Expedition / Robert Szewczyk ; Joseph Polastre ; Alan Mainwaring ; David Culler
Prototyping Wireless Sensor Network Applications with BTnodes / Jan Beutel ; Oliver Kasten ; Friedemann Mattern ; Kay Romer ; Frank Siegemund ; Lothar Thiele
A Real-World, Simple Wireless Sensor Network for Monitoring Electrical Energy Consumption / Cornelia Kappler ; Georg Riegel
Reliable Set-Up of Medical Body-Sensor Networks / H. Baldus ; K. Klabunde ; G. Musch
Author Index
Power Sources for Wireless Sensor Networks / Shad Roundy ; Dan Steingart ; Luc Frechette ; Paul Wright ; Jan Rabaey
Matrix Pencil for Positioning in Wireless Ad Hoc Sensor Network / Liang Song ; Raviraj Adve ; Dimitrios Hatzinakos
Tracking Real-World Phenomena with Smart Dust / Kay Römer
32.

図書

図書
Kijoon Chae, Moti Yung (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 506 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2908
所蔵情報: loading…
33.

図書

図書
Enrico Giunchiglia, Armando Tacchella (eds.)
出版情報: Berlin : Springer, c2004  xi, 530 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2919
所蔵情報: loading…
目次情報: 続きを見る
Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski
An Algorithm for SAT Above the Threshold / Hubie Chen
Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella
How Good Can a Resolution Based SAT-solver Be? / Eugene Goldberg ; Yakov Novikov
A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation / Xiao Yu Li ; Matthias F. Stallmann ; Franc Brglez
Density Condensation of Boolean Formulas / Youichi Hanatani ; Takashi Horiyama ; Kazuo Iwama
SAT Based Predicate Abstraction for Hardware Verification / Edmund Clarke ; Muralidhar Talupur ; Helmut Veith ; Dong Wang
On Boolean Models for Quantified Boolean Horn Formulas / Hans Kleine Büning ; K. Subramani ; Xishun Zhao
Local Search on SAT-encoded Colouring Problems / Steven Prestwich
A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods / Guilhem Semerjian ; Remi Monasson
Hidden Threshold Phenomena for Fixed-Density SAT-formulae / Hans van Maaren ; Linda van Norden
Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs / Sven Baumer ; Rainer Schuler
Width-Based Algorithms for SAT and CIRCUIT-SAT / Elizabeth Broering ; Satyanarayana V. Lokam
Linear Time Algorithms for Some Not-All-Equal Satisfiability Problems / Stefan Porschen ; Bert Randerath ; Ewald Speckenmeyer
On Fixed-Parameter Tractable Parameterizations of SAT / Stefan Szeider
On the Probabilistic Approach to the Random Satisfiability Problem / Giorgio Parisi
Comparing Different Prenexing Strategies for Quantified Boolean Formulas / Uwe Egly ; Martina Seidl ; Hans Tompits ; Stefan Woltran ; Michael Zolda
Solving Error Correction for Large Data Sets by Means of a SAT Solver / Renato Bruni
Using Problem Structure for Efficient Clause Learning / Ashish Sabharwal ; Paul Beame ; Henry Kautz
Abstraction-Driven SAT-based Analysis of Security Protocols / Alessandro Armando ; Luca Compagna
A Case for Efficient Solution Enumeration / Sarfraz Khurshid ; Darko Marinov ; Ilya Shlyakhter ; Daniel Jackson
Cache Performance of SAT Solvers: a Case Study for Efficient Implementation of Algorithms / Lintao Zhang ; Sharad Malik
Local Consistencies in SAT / Christian Bessière ; Emmanuel Hebrard ; Toby Walsh
Guiding SAT Diagnosis with Tree Decompositions / Per Bjesse ; James Kukula ; Robert Damiano ; Ted Stanion ; Yunshan Zhu
On Computing k-CNF Formula Properties / Ryan Williams
Effective Preprocessing with Hyper-Resolution and Equality Reduction / Fahiem Bacchus ; Jonathan Winter
Read-Once Unit Resolution
The Interaction Between Inference and Branching Heuristics / Lyndon Drake ; Alan Frisch
Hypergraph Reductions and Satisfiability Problems / Daniele Pretolani
SBSAT: a State-Based, BDD-Based Satisfiability Solver / John Franco, Michal Kouril ; John Schlipf ; Jeffrey Ward ; Sean Weaver ; Michael Dransfield ; W. Mark Vanfleet
Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution / Maher Mneimneh ; Karem Sakallah
The Combinatorics of Conflicts between Clauses / Oliver Kullmann
Conflict-Based Selection of Branching Rules / Marc Herbstritt ; Bernd Becker
The Essentials of the SAT 2003 Competition / Daniel Le Berre ; Laurent Simon
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers
kcnfs: an Efficient Solver for Random k-SAT Formulae / Gilles Dequen ; Olivier Dubois
An Extensible SAT-solver / Niklas Eén ; Niklas Sörensson
Survey and Belief Propagation on Random K-SAT / Alfredo Braunstein ; Riccardo Zecchina
Author Index
Satisfiability and Computing van der Waerden Numbers / Michael R. Dransfield ; Victor W. Marek ; Miroslaw Truszczynski
An Algorithm for SAT Above the Threshold / Hubie Chen
Watched Data Structures for QBF Solvers / Ian Gent ; Enrico Giunchiglia ; Massimo Narizzano ; Andrew Rowley ; Armando Tacchella
34.

図書

図書
Jamie Callan, Fabio Crestani, Mark Sanderson (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xii, 172 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2924
所蔵情報: loading…
35.

図書

図書
Ludger van Elst, Virginia Dignum, Andreas Abecker (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 428 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2926. Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Towards Agent-Mediated Knowledge Management / L. van Elst ; V. Dignum ; A. Abecker
Collaboration and Peer-to-Peer Support / Section I:
Peer-Mediated Distributed Knowledge Management / M. Bonifacio ; fP. Bouquet ; G. Mameli ; M. Nori
The Impact of Conversational Navigational Guides on the Learning, Use, and Perceptions of Users of a Web Site / A. Graesser ; G.T. Jackson ; M. Ventura ; J. Mueller ; X. Hu ; N. Person
Agent-Oriented Knowledge Management in Learning Environments: A Peer-to-Peer Helpdesk Case Study / R.S.S. Guizzardi ; L. Aroyo ; G. Wagner
Towards Evaluation of Peer-to-Peer-Based Distributed Knowledge Management Systems / M. Ehrig ; C. Schmitz ; S. Staab ; J. Tane ; C. Tempich
Agent Based Community Support / Section II:
TAKEUP: Trust-Based Agent-Mediated Knowledge Exchange for Ubiquitous Peer Networks / S. Schulz ; K. Herrmann ; R. Kalcklosch ; T. Schwotzer
Knowledge Management Framework for Collaborative Learning Support / M. Kayama ; T. Okamoto
An Agent-Based Approach to Mailing List Knowledge Management / E. Moreale ; S. Watt
Agent Models for Knowledge and Organizations / Section III:
Information Fields in Organization Modeling Using an EDA Multi-agent Architecture / J. Filipe
A Quantum Perturbation Model (QPM) of Knowledge Fusion and Organizational Mergers / W.F. Lawless ; J.M. Grayson
Improving Organizational Memory through Agents for Knowledge Discovery in Database / J.J. Vasco Furtado ; V. Ponte Machado
Experience in Using RDF in Agent-Mediated Knowledge Architectures / K.-y. Hui ; S. Chalmers ; P.M.D. Gray ; A.D. Preece
Using an Agent-Based Framework and Separation of Concerns for the Generation of Document Classification Tools / J.A. Pinto de Magalhaes ; C.J. Pereira de Lucena
Context and Personalization / Section IV:
Modelling Context-Aware Distributed Knowledge / J. Louca
Discovering, Visualizing, and Sharing Knowledge through Personalized Learning Knowledge Maps / J. Novak ; M. Wurst ; M. Fleischmann ; W. Strauss
Agentized, Contextualized Filters for Information Management / D.A. Evans ; G. Grefenstette ; Y. Qu ; J.G. Shanahan ; V.M. Sheftel
Implicit Culture-Based Personal Agents for Knowledge Management / E. Blanzieri ; P. Giorgini ; F. Giunchiglia ; C. Zanoni
Ontologies and Semantic Web / Section V:
Integrating External Sources in a Corporate Semantic Web Managed by a Multi-agent System / T.-D. Cao ; F. Gandon
Automatically Generated DAML Markup for Semistructured Documents / W. Krueger ; J. Nilsson ; T. Oates ; T. Finin
A Spreading Activation Framework for Ontology-Enhanced Adaptive Information Access within Organisations / M.M. Hasan
Ontology Extraction for Educational Knowledge Bases / P. Cassin ; C. Eliot ; V. Lesser ; K. Rawlins ; B. Woolf
Representing Interaction Protocols in DAML / S. Toivonen ; H. Helin
Adding AI to Web Services / C. Petrie ; M. Genesereth ; H. Bjornsson ; R. Chirkova ; M. Ekstrom ; H. Gomi ; T. Hinrichs ; R. Hoskins ; M. Kassoff ; D. Kato ; K. Kawazoe ; J.U. Min ; W. Mohsin
Agents and Knowledge Engineering / Section VI:
Knowledge Discovery in Databases and Agent-Mediated Knowledge Management / I. Haimowitz
Intentional Analysis for Distributed Knowledge Management / A. Perini ; P. Bresciani ; E. Yu ; A. Molani
Perspectives: An Analysis of Multiple Viewpoints in Agent-Based Systems / S.C. Bailin ; W. Truszkowski
A Multi-agent Architecture for Evolving Memories / C. Tacla ; J.-P. Barthes
Agent-Mediated Knowledge Engineering Collaboration / A. Pease ; J. Li
Dynamic Generation of Agent Communities from Distributed Production and Content-Driven Delivery of Knowledge / J.M. Dodero ; S. Arroyo ; V.R. Benjamins
Author Index
Towards Agent-Mediated Knowledge Management / L. van Elst ; V. Dignum ; A. Abecker
Collaboration and Peer-to-Peer Support / Section I:
Peer-Mediated Distributed Knowledge Management / M. Bonifacio ; fP. Bouquet ; G. Mameli ; M. Nori
36.

図書

図書
Nataša Jonoska, Gheorghe Păun, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 389 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2950
所蔵情報: loading…
37.

図書

図書
Frank Dignum (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  x, 401 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2922 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Fundamentals of Agent Communication / Section I:
Conventional Signalling Acts and Conversation / Andrew J.I. Jones ; Xavier Parent
An Empirical Model of Communication in Multiagent Systems / Michael Rovatsos ; Matthias Nickles ; Gerhard Weiss
An Exploration in Using Cognitive Coherence Theory to Automate BDI Agents' Communicational Behavior / Philippe Pasquier ; Nicolas Andrillon ; Marc-André Labrie ; Brahim Chaib-draa
A Performative Type Hierarchy and Other Interesting Considerations in the Design of the CASA Agent Architecture / Rob Kremer ; Roberto Flores ; Chad La Fournie
Model Checking for ACL Compliance Verification / Marc-Philippe Huget ; Michael Wooldridge
Logic-Based Agent Communication Protocols / Ulle Endriss ; Nicolas Maudet ; Fariba Sadri ; Francesca Toni
Agent Communication and Commitments / Section II:
Protocol Specification Using a Commitment Based ACL / Nicoletta Fornara ; Marco Colombetti
A Logical Model of Social Commitment for Agent Communication / Mario Verdicchio
Commitment and Argument Network: A New Formalism for Agent Communication / Jamal Bentahar ; Bernard Moulin
Resolving Commitments among Autonomous Agents / Ashok U. Mallya ; Pinar Yolum ; Munindar P. Singh
Nonmonotonic Commitment Machines / Amit Chopra
Communication within Groups of Agents / Section III:
Issues in Multiparty Dialogues / David Traum
Towards a Testbed for Multi-party Dialogues / Frank P.M. Dignum ; Gerard A.W. Vreeswijk
Intra-role Coordination Using Group Communication: A Preliminary Report / Paolo Busetta ; Mattia Merzi ; Silvia Rossi ; François Legras
LOTTO: Group Formation by Overhearing in Large Teams / Catherine Tessier
Proactive Communications in Agent Teamwork / John Yen ; Xiaocong Fan ; Richard A. Volz
Dialogues / Section IV:
Modularity in Interaction Protocols / Benjamin Vitteau
Concepts of Optimal Utterance in Dialogue: Selection and Complexity / Paul E. Dunne ; Peter McBurney
The Mechanics of Some Formal Inter-agent Dialogues / Simon Parsons
A Cooperative Dialogue Game for Resolving Ontological Discrepancies / Robbert-Jan Beun ; Rogier M. van Eijk
The Posit Spaces Protocol for Multi-agent Negotiation
On Interest-Based Negotiation / Iyad Rahwan ; Liz Sonenberg
Author Index
Fundamentals of Agent Communication / Section I:
Conventional Signalling Acts and Conversation / Andrew J.I. Jones ; Xavier Parent
An Empirical Model of Communication in Multiagent Systems / Michael Rovatsos ; Matthias Nickles ; Gerhard Weiss
38.

図書

図書
Roberto Battiti, Marco Conti, Renato Lo Cigno (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 402 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2928
所蔵情報: loading…
目次情報: 続きを見る
Localization and Mobility Management
Markov Localization of Wireless Local Area Network Clients / Michael Wallbaum ; Torsten Wasch
A Topology Based Localization in Ad Hoc Mobile Sensor Networks / Sridhar Gangadharpalli ; Uday Golwelkar ; Sridhar Varadarajan
Grcmob: A Group Mobility Pattern Generator to Evaluate Mobile Ad Hoc Networks Performance / Juan-Carlos Cano ; Pietro Manzoni ; Miguel Sanchez
Activity-Based User Modeling in Service-Oriented Ad-Hoc-Networks / Tobias Breyer ; Michael Klein ; Philipp Obreiter ; Birgitta König-Ries
MAC and Radio Resource Management
Media Access Control Schemes for Mobile Ad Hoc Networks / Chun-Hung Lin ; Chien-Yuan Liu
Throughput Evaluation and Enhancement of TCP Clients in Wi-Fi Hot Spots / Raffaele Bruno ; Marco Conti ; Enrico Gregori
An Adaptive IEEE 802.11 MAC in Multihop Wireless Ad Hoc Networks Considering Large Interference Range / Tzu-Chieh Tsai ; Chien-Ming Tu
A Distributed Algorithm for Bandwidth Allocation in Stable Ad Hoc Networks / Claude Chaudet ; Isabelle Guérin Lassous ; Janez &Zbreve;erovnik
Bluetooth Scatternets
Locally Optimal Scatternet Topologies for Bluetooth Ad Hoc Networks / Tommaso Melodia ; Francesca Cuomo
An On-Demand Bluetooth Scatternet Formation Algorithm / Elena Pagani ; Gian Paolo Rossi ; Stefano Tebaldi
Ad Hoc Routing I
GPS-Based Route Discovery Algorithms for On-Demand Routing Protocols in MANETs / Mehran Abolhasan ; Tadeusz Wysocki
Dynamic AODV Backup Routing in Dense Mobile Ad-Hoc Networks / Wen-Tsuen Chen ; Wei-Ting Lee
Multipath Power Sensitive Routing Protocol for Mobile Ad Hoc Networks / Anand Prabhu Subramanian ; A.J. Anto ; Janani Vasudevan ; P. Narayanasamy
Security, Applications, and Service Support
Dependable and Secure Data Storage in Wireless Ad Hoc Networks: An Assessment of DS2 / S. Chessa ; R. Di Pietro ; P. Maestrini
A Comparative Analysis on Performance of Mobile IP with Paging Support / Hung Tuan Do ; Yoshikuni Onozato
Preventive and Corrective Protection for Mobile Ad Hoc Network Routing Protocols / Ricardo Staciarini Puttini ; Ludovic Mé ; Rafael Timóteo de Sousa Jr.
Dynamic Service Adaptation for Runtime System Extensions / Robert Hirschfeld ; Katsuya Kawamura ; Hendrik Berndt
Ad Hoc Routing II
Flood Filtering and Route Selection for Energy-Efficient On-Demand Routing in Wireless Ad Hoc Networks / Tran Minh Trung ; Seong-Lyun Kim
High Throughput Route Selection in Multi-rate Ad Hoc Wireless Networks / Baruch Awerbuch ; David Holmer ; Herbert Rubens
A Three-Tier Framework Supporting Soft QoS Routing in MANET / Xin Jin ; Hongbo Wang ; Yaoxue Zhang ; Bin Meng
MAC Analytical Models
Achieving Maximum Throughput and Service Differentiation by Enhancing the IEEE 802.11 MAC Protocol / Bo Li ; Roberto Battiti
Throughput of the Multi-hop Slotted Aloha with Multi-packet Reception / M. Coupechoux ; T. Lestable ; C. Bonnet ; V. Kumar
On Demand Internet Access
WIDE: Wireless Information Delivery Environment in Distributed Hot Spots / Mehmet Yunus Donmez ; Sinan Isik ; Cem Ersoy
Smart Wireless Access Points for Pervasive Computing / Roel Ocampo ; Hermann de Meer
NAT-Based Internet Connectivity for On-Demand Ad Hoc Networks / Paal Engelstad ; Geir Egeland
Poster Session
Efficient Management of Domain Foreign Agents in Mobile Computing Environment Using Load Balance / Yong Chul Kim ; Min Gyo Chung ; Jun Hwang
Node Synchronization Based Redundant Routing for Mobile Ad-Hoc Networks / Wonjong Noh ; Yunkuk Kim ; Sunshin An
A New Backoff Algorithm to Guarantee Quality of Service over IEEE 802.11 Wireless Local Area Networks / Kil-Woong Jang
A Light Protocol for Distance Estimation in Bluetooth Mobile Ad-Hoc Networks / Felipe Gil-Castiñeira ; Francisco Javier González-Castaño
Access Router Discovery and Selection in Advanced Wireless Networks / N. Blefari-Melazzi ; D. Di Sorte ; M. Femminella ; L. Piacentini ; G. Reali
Enhancing HIPERLAN/2 Security Aspects / Josep L. Ferrer-Gomila ; Guillem Femenias ; Magdalena Payeras-Capellà
Analytical Modeling of a Traffic Differentiation Strategy for 802.11 / Luca Vollero ; Giulio Iannello
Author Index
Localization and Mobility Management
Markov Localization of Wireless Local Area Network Clients / Michael Wallbaum ; Torsten Wasch
A Topology Based Localization in Ad Hoc Mobile Sensor Networks / Sridhar Gangadharpalli ; Uday Golwelkar ; Sridhar Varadarajan
39.

図書

図書
Dieter Hutter ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c2004  xi, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2802
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
Security in Pervasive Computin / Frank Stajano
The Importance of High Assurance Security in Pervasive Computing / Paul A. Karger
Location Privacy A Methodological Assessment of Location Privacy Risks in Wireless Hotspot
Networks / Marco Gruteser ; Dirk Grunwald
Protecting Access to People Location Information / Urs Hengartner ; Peter Steenkiste
Security Requirements
Smart Devices and Software Agents: The Basics of Good Behaviour / Howard Chivers ; John A. Clark ; Susan Stepney
Dependability Issues of Pervasive Computing in a Healthcare Environment / JurgenBohn ; FelixGartner ; HaraldVogt
Security Policies and Protection
Protecting Security Policies in Ubiquitous Environments
Using One-Way Functions / HakanKvarnstrom ; HansHedbom ; ErlandJonsson
Enforcing Security Policies via Types / Daniele Gorla ; Rosario Pugliese
Towards Using Possibilistic Information Flow Control to Design Secure Multiagent Systems / Axel Schairer
Authentication and Trust
Authentication for Pervasive Computing / Sadie Creese ; Michael Goldsmith ; Bill Roscoe ; Irfan Zakiuddin
End-to-End Trust Starts with Recognition / Jean-Marc Seigneur ; Stephen Farrell ; Christian Damsgaard Jensen ; Elizabeth Gray ; Yong Chen
Embedding Distance-Bounding Protocols within Intuitive Interactions / Laurent Bussard and Yves Roudier
Secure Infrastructures
Trust Context Spaces: An Infrastructure for Pervasive Security in Context-Aware Environments / Philip Robinson ; Michael Beigl
Time Constraint Delegation for P2P Data Decryption / Tie-Yan Li
SAOTS: A New Efficient Server Assisted Signature Scheme for Pervasive Computing / Kemal Bicakci ; Nazife Baykal
Smart Labels
Security and Privacy Aspects of Low-Cost Radio Frequency Identification Systems / Stephen A. Weis ; Sanjay E. Sarma ; Ronald L. Rivest ; Daniel W. Engels
Verification
Implementing a Formally Verifiable Security Protocol in Java Card / Engelbert Hubbers ; Martijn Oostdijk ; Erik Poll
Hardware Architectures
Cellular Automata Based Multiplier for Public-Key Cryptosystem / Hyun-Sung Kim ; Kee-Young Yoo
Enlisting Hardware Architecture to Thwart Malicious Code Injection / Ruby B. Lee ; David K. Karig ; John P. McGregor ; Zhijie Shi
Optimized RISC Architecture for Multiple-Precision Modular Arithmetic / Johann Großschadl ; Guy-Armand Kamendje
Visual Crypto Displays Enabling Secure Communications / Pim Tuyls ; Tom Kevenaar ; Geert-Jan Schrijen ; Toine Staring ; Marten van Dijk
Workshop
Security and Privacy in Pervasive Computing State of the Art and Future Directions / Dieter Hutter ; Werner Stephan ; Markus Ullmann
Author Index
Invited Talks (Abstracts)
The Age of Pervasive Computing - Everything Smart, Everything Connected? / Friedemann Mattern
Cyber Assist Project and Its Security Requirement / Hideyuki Nakashima
40.

図書

図書
Bharat Bhushan (ed.)
出版情報: Berlin : Springer-Verlag, c2004  xxxvi, 1222 p. ; 25 cm.
所蔵情報: loading…
目次情報: 続きを見る
List of Abbreviations
Introduction
Introduction to Nanotechnology Bharat Bhushan / 1:
Nanotechnology - Definition and Examples / 1.1:
Background and Research Expenditures / 1.2:
Lessons from Nature (Biomimetics) / 1.3:
Applications in Different Fields / 1.4:
Various Issues / 1.5:
Research Training / 1.6:
Organization of Handbook / 1.7:
References
Nanostructures, Micro/Nanofabrication and Materials / Part A:
Nanomaterials Synthesis and Applications: Molecule-Based Devices / Frangisco M. Raymo2:
Chemical Approaches to Nanostructured Materials / 2.1:
Molecular Switches and Logic Gates / 2.2:
Solid State Devices / 2.3:
Conclusions and Outlook / 2.4:
Introduction to Carbon Nanotubes / Marc Monthioux ; Philippe Serp ; Emmanuel Flahaut ; Manitra Razafinimanana ; Christophe Laurent ; Alain Peigney ; Wolfgang Bacsa ; Jean-Marc Broto3:
Structure of Carbon Nanotubes / 3.1:
Synthesis of Carbon Nanotubes / 3.2:
Growth Mechanisms of Carbon Nanotubes / 3.3:
Properties of Carbon Nanotubes / 3.4:
Carbon Nanotube-Based Nano-Objects / 3.5:
Applications of Carbon Nanotubes / 3.6:
Concluding Remarks / 3.7:
Nanowires / Mildred S. Dresselhaus ; Yu-Ming Lin ; Oded Rabin ; Marcie R. Black ; Jing Kong ; Gene Dresselhaus4:
Synthesis / 4.1:
Characterization and Physical Properties of Nanowires / 4.2:
Applications / 4.3:
Template-Based Synthesis of Nanorod or Nanowire Arrays / Huamei (Mary) Shang ; Guozhong Cao4.4:
Template-Based Approach / 5.1:
Electrochemical Deposition / 5.2:
Electrophoretic Deposition / 5.3:
Template Filling / 5.4:
Converting from Reactive Templates / 5.5:
Summary and Concluding Remarks / 5.6:
Three-Dimensional Nanostructure Fabrication by Focused Ion Beam Chemical Vapor Deposition / Shinji Matsui6:
Three-Dimensional Nanostructure Fabrication / 6.1:
Nanoelectromechanics / 6.2:
Nanooptics: Brilliant Blue from a Morpho Butterfly Scale Quasi-Structure / 6.3:
Nanobiology / 6.4:
Summary / 6.5:
Introduction to Micro/Nanofabrication / Babak Ziaie ; Antonio Baldi ; Massood Z. Atashbar7:
Basic Microfabrication Techniques / 7.1:
MEMS Fabrication Techniques / 7.2:
Nanofabrication Techniques / 7.3:
Summary and Conclusions / 7.4:
Nanoimprint Lithography Helmut Schift, Anders Kristensen / 8:
Emerging Nanopatterning Methods / 8.1:
Nanoimprint Process / 8.2:
Tools and Materials for Nanoimprint / 8.3:
Conclusion and Outlook / 8.4:
Stamping Techniques for Micro- and Nanofabrication / Etienne Menard ; John A. Rogers9:
High-Resolution Stamps / 9.1:
Microcontact Printing / 9.2:
Nanotransfer Printing / 9.3:
Conclusions / 9.4:
Material Aspects of Micro- and Nanoelectromechanical Systems / Christian A. Zorman ; Mehran Mehregany10:
Silicon / 10.1:
Germanium-Based Materials / 10.2:
Metals / 10.3:
Harsh-Environment Semiconductors / 10.4:
Ga As, InP, and Related III-V Materials / 10.5:
Ferroelectric Materials / 10.6:
Polymer Materials / 10.7:
Future Trends / 10.8:
Complexity and Emergence as Design Principles for Engineering Decentralized Nanoscale Systems / David Wendell ; Dean Ho ; Carlo D. Montemagno11:
Definitions / 11.1:
Examples and Experimental Analysis of Decentralized Systems in Nature / 11.2:
Engineering Emergent Behavior into Nanoscale Systems: Thematic Examples of Synthetic Decentralized Nanostructures / 11.3:
Conclusion / 11.4:
Nanometer-Scale Thermoelectric Materials / Joseph P. Heremans12:
The Promise of Thermoelectricity / 12.1:
Theory of Thermoelectric Transport in Low-Dimensional Solids / 12.2:
Two-Dimensional Thermoelectric Transport in Quantum Wells / 12.3:
One-Dimensional Thermoelectric Transport in Quantum Wires / 12.4:
Quasi-Zero-Dimensional Systems, Solids Containing Quantum Dots / 12.5:
Nano- and Microstructured Semiconductor Materials for Macroelectronics / Yugang Sun ; Seung-Hyun Hur12.6:
Classes of Semiconductor Nanomaterials and their Preparation / 13.1:
Generation of Thin Films of Ordered Nanostructures on Plastic Substrates / 13.2:
Applications for Macroelectronics / 13.3:
Outlook / 13.4:
Mems/Nems and Biomems/Nems / Part B:
Next-Generation DNA Hybridization and Self-Assembly Nanofabrication Devices / Michael J. Heller ; Benjamin Sullivan ; Dietrich Dehlinger ; Paul Swanson ; Dalibor Hodko14:
Electronic Microarray Technology / 14.1:
Electric Field-Assisted Nanofabrication Processes / 14.2:
Mems/Nems Devices and Applications / Darrin J. Young14.3:
Mems Devices and Applications / 15.1:
Nanoelectromechanical Systems (Nems) / 15.2:
Current Challenges and Future Trends / 15.3:
Nanomechanical Cantilever Array Sensors / Hans Peter Lang ; Martin Hegner ; Christoph Gerber16:
Technique / 16.1:
Cantilever Array Sensors / 16.2:
Modes of Operation / 16.3:
Microfabrication / 16.4:
Measurement Set-Up / 16.5:
Functionalization Techniques / 16.6:
Therapeutic Nanodevices / Stephen C. Lee ; Mark Ruegsegger ; Philip D. Barnes ; Bryan R. Smith ; Mauro Ferrari16.7:
Definitions and Scope of Discussion / 17.1:
Synthetic Approaches: """"Top-Down"""" Versus """"Bottom-Up"""" Approaches for Nanotherapeutic Device Components / 17.2:
Technological and Biological Opportunities / 17.3:
Applications of Nanotherapeutic Devices / 17.4:
Concluding Remarks: Barriers to Practice and Prospects / 17.5:
G-Protein Coupled Receptors: Surface Display and Biosensor Technology / Edward J. McMurchie ; Wayne R. Leifert18:
The GPCR: G-Protein Activation Cycle / 18.1:
Preparation of GPCRs and G-proteins / 18.2:
Measurement of GPCR Signaling / 18.3:
GPCR Biosensing / 18.4:
Protein Engineering in GPCR Signaling / 18.5:
The Future of GPCRs in Nanobiotechnologies / 18.6:
Microfluidics and Their Applications to Lab-on-a-Chip / Jin-Woo Choi19:
Materials for Microfluidic Devices and Micro/Nanofabrication Techniques / 19.1:
Active Microfluidic Devices / 19.2:
Smart Passive Microfluidic Devices / 19.3:
Lab-on-a-Chip for Biochemical Analysis / 19.4:
Centrifuge-Based Fluidic Platforms / Jim Zoval ; Guangyao Jia ; Horacio Kido ; Jitae Kim ; Nahui Kim ; Marc J. Madou20:
Why Centripetal Force for Fluid Propulsion? / 20.1:
Compact Disc or Micro-Centrifuge Fluidics / 20.2:
CD Applications / 20.3:
Micro/Nanodroplets in Microfluidic Devices / """"Mike"""" Yung-Chieh Tan ; Abraham """"Abe"""" Lee20.4:
Active or Programmable Droplet System / 21.1:
Passive Droplet Control Techniques / 21.2:
Scanning Probe Microscopy / 21.3:
Scanning Probe Microscopy - Principle of Operation, Instrumentation, and Probes / Bharat Bhushan ; Othmar Marti22:
Scanning Tunneling Microscope / 22.1:
Atomic Force Microscope / 22.2:
AFM Instrumentation and Analyses / 22.3:
Probes in Scanning Microscopies Jason H. Hafner / 23:
Atomic Force Microscopy / 23.1:
Scanning Tunneling Microscopy / 23.2:
Noncontact Atomic Force Microscopy and Related Topics / Franz J. Giessibl ; Yasuhiro Sugawara ; Seizo Morita ; Hirotaka Hosoi ; Kazuhisa Sueoka ; Koichi Mukasa ; Akira Sasahara ; Hiroshi Onishi24:
Atomic Force Microscopy (AFM) / 24.1:
Applications to Semiconductors / 24.2:
Applications to Insulators / 24.3:
Applications to Molecules / 24.4:
Low-Temperature Scanning Probe Microscopy / Markus Morgenstern ; Alexander Schwarz ; Udo D. Schwarz25:
Microscope Operation at Low Temperatures / 25.1:
Instrumentation / 25.2:
Scanning Tunneling Microscopy and Spectroscopy / 25.3:
Scanning Force Microscopy and Spectroscopy / 25.4:
Higher-Harmonic Force Detection in Dynamic Force Microscopy / Ozgur Sahin ; Calvin F. Quate ; Olav Solgaard26:
Modeling of Tip-Sample Interaction Forces in Tapping-Mode AFM / 26.1:
Enhancing a Specific Harmonic of the Interaction Force Using a Flexural Resonance / 26.2:
Recovering the Time-Resolved Tip-Sample Forces with Torsional Vibrations / 26.3:
Application Examples / 26.4:
Higher Harmonic/Atomic Force Microscopy with Small Amplitudes / 26.5:
Dynamic Modes of Atomic Force Microscopy / A. Schirmeisen ; B. Anczykowski ; Harald Fuchs27:
Motivation: Measurement of a Single Atomic Bond / 27.1:
Harmonic Oscillator: A Model System for Dynamic AFM / 27.2:
Dynamic AFM Operational Modes / 27.3:
Q-Control / 27.4:
Dissipation Processes Measured with Dynamic AFM / 27.5:
Molecular Recognition Force Microscopy: From Simple Bonds to Complex Energy Landscapes / Peter Hinterdorfer ; Ziv Reich27.6:
Ligand Tip Chemistry / 28.1:
Immobilization of Receptors onto Probe Surfaces / 28.2:
Single-Molecule Recognition Force Detection / 28.3:
Principles of Molecular Recognition Force Spectroscopy / 28.4:
Recognition Force Spectroscopy: From Isolated Molecules to Biological Membranes / 28.5:
Recognition Imaging / 28.6:
Nanotribology and Nanomechanics / 28.7:
Nanotribology, Nanomechanics and Materials Characterization / 29:
Description of AFM/FFM and Various Measurement Techniques / 29.1:
Surface Imaging, Friction and Adhesion / 29.2:
Wear, Scratching, Local Deformation, and Fabrication/Machining / 29.3:
Indentation / 29.4:
Boundary Lubrication / 29.5:
Closure / 29.6:
Surface Forces and Nanorheology of Molecularly Thin Films / Marina Ruths ; Jacob N. Israelachvili30:
Introduction: Types of Surface Forces / 30.1:
Methods Used to Study Surface Forces / 30.2:
Normal Forces Between Dry (Unlubricated) Surfaces / 30.3:
Normal Forces Between Surfaces in Liquids / 30.4:
Adhesion and Capillary Forces / 30.5:
Introduction: Different Modes of Friction and the Limits of Continuum Models / 30.6:
Relationship Between Adhesion and Friction Between Dry (Unlubricated and Solid Boundary Lubricated) Surfaces / 30.7:
Liquid Lubricated Surfaces / 30.8:
Effects of Nanoscale Texture on Friction / 30.9:
Interfacial Forces and Spectroscopic Study of Confined Fluids / Y. Elaine Zhu ; Ashis Mukhopadhyay ; Steve Granick31:
Hydrodynamic Force of Fluids Flowing in Micro- to Nanofluidics: A Question About No-Slip Boundary Condition / 31.1:
Hydrophobic Interaction and Water at a Hydrophobicity Interface / 31.2:
Ultrafast Spectroscopic Study of Confined Fluids: Combining Ultra-Fast Spectroscopy with Force Apparatus / 31.3:
Contrasting Friction with Diffusion in Molecularly Thin Films / 31.4:
Diffusion of Confined Molecules During Shear / 31.5:
Scanning Probe Studies of Nanoscale Adhesion Between Solids in the Presence of Liquids and Monolayer Films / Robert W. Carpick ; James Batteas ; Maarten P.de Boer31.6:
The Importance of Adhesion at the Nanoscale / 32.1:
Techniques for Measuring Adhesion / 32.2:
Calibration of Forces, Displacements, and Tips / 32.3:
The Effect of Liquid Capillaries on Adhesion / 32.4:
Self-Assembled Monolayers / 32.5:
Friction and Wear on the Atomic Scale / Enrico Gnecco ; Roland Bennewitz ; Oliver Pfeiffer ; Anisoara Socoliuc ; Ernst Meyer32.6:
Friction Force Microscopy in Ultrahigh Vacuum / 33.1:
The Tomlinson Model / 33.2:
Friction Experiments on the Atomic Scale / 33.3:
Thermal Effects on Atomic Friction / 33.4:
Geometry Effects in Nanocontacts / 33.5:
Wear on the Atomic Scale / 33.6:
Molecular Dynamics Simulations of Atomic Friction and Wear / 33.7:
Energy Dissipation in Noncontact Atomic Force Microscopy / 33.8:
Velocity Dependence of Nanoscale Friction, Adhesion and Wear / Nikhil S. Tambe33.9:
Bridging Science and Engineering for Nanotribological Investigations / 34.1:
Velocity Dependence of Nanoscale Friction and Adhesion / 34.2:
Dominant Friction Regimes and Mechanisms / 34.4:
Nanoscale Friction Mapping / 34.5:
Wear Studies at High Sliding Velocities / 34.6:
Identifying Materials with Low Friction and Adhesion for Nanotechnological Applications / 34.7:
Computer Simulations of Nanometer-Scale Indentation and Friction / Susan B. Sinnott ; Seong-Jun Heo ; Donald W. Brenner ; Judith A. Harrison34.8:
Computational Details / 35.1:
Friction and Lubrication / 35.2:
Nanoscale Mechanical Properties - Measuring Techniques and Applications / Andrzej J. Kulik ; Andras Kis ; Gérard Gremaud ; Stefan Hengsberger ; Gustavo S. Luengo ; Philippe K. Zysset ; László Forró35.4:
Local Mechanical Spectroscopy via Dynamic Contact AFM / 36.1:
Static Methods - Mesoscopic Samples, Shear and Young's Modulus / 36.2:
Scanning Nanoindentation as a Tool to Determine Nanomechanical Properties of Biological Tissue Under Dry and Wet Conditions / 36.3:
General Summary and Perspectives / 36.4:
Nanomechanical Properties of Solid Surfaces and Thin Films / Adrian B. Mann37:
Data Analysis / 37.1:
Modes of Deformation / 37.3:
Thin Films and Multilayers / 37.4:
Developing Areas / 37.5:
Scale Effect in Mechanical Properties and Tribology / Michael Nosonovsky38:
Nomenclature / 38.1:
Scale Effect in Mechanical Properties / 38.2:
Scale Effect in Surface Roughness and Contact Parameters / 38.4:
Scale Effect in Friction / 38.5:
Scale Effect in Wear / 38.6:
Scale Effect in Interface Temperature / 38.7:
A Statistics of Particle Size Distribution / 38.8:
Mechanics of Biological Nanotechnology / Rob Phillips ; Prashant K. Purohit ; Jane Kondev39:
Science at the Biology-Nanotechnology Interface / 39.1:
Scales at the Bio-Nano Interface / 39.2:
Modeling at the Nano-Bio Interface / 39.3:
Nature's Nanotechnology Revealed: Viruses as a Case Study / 39.4:
Structural, Nanomechanical and Nanotribological Characterization of Human Hair Using Atomic Force Microscopy and Nanoindentation / Carmen La Torre ; Guohua Wei39.5:
Human Hair, Skin and Hair Care Products / 40.1:
Experimental Techniques / 40.2:
Structural Characterization Using an AFM / 40.3:
Nanomechanical Characterization Using Nanoindentation and Nanoscratch / 40.4:
Macroscale Tribological Characterization / 40.5:
Nanotribological Characterization Using an AFM / 40.6:
A Conditioner Thickness Approximation / 40.7:
Mechanical Properties ofNanostructures Bharat Bhushan / 41:
Experimental Techniques for Measurementof Mechanical Properties of Nanostructures / 41.1:
Experimental Results and Discussion / 41.2:
Finite Element Analysis of Nanostructures with Roughness and Scratches / 41.3:
Molecularly Thick Films for Lubrication / 41.4:
Nanotribology of Ultrathin and Hard Amorphous Carbon Films Bharat Bhushan / 42:
Description of Common Deposition Techniques / 42.1:
Chemical and Physical Coating Characterization / 42.2:
Micromechanical and Tribological Coating Characterization / 42.3:
Self-Assembled Monolayers (SAMs) for Controlling Adhesion, Friction, and Wear Bharat Bhushan / 42.4:
A Brief Organic Chemistry Primer / 43.1:
Self-Assembled Monolayers: Substrates, Spacer Chains; and End Groups in the Molecular Chains / 43.2:
Tribological Properties of SAMs / 43.3:
Nanoscale Boundary Lubrication Studies / Huiwen Liu43.4:
Lubricants Details / 44.1:
Nanodeformation, Molecular Conformation, and Lubricant Spreading / 44.2:
Boundary Lubrication Studies / 44.3:
Kinetics and Energetics in Nanolubrication / Rene M. Overney ; George W. Tyndall ; Jane Frommer44.4:
Background: From Bulk to Molecular Lubrication / 45.1:
Thermal Activation Model of Lubricated Friction / 45.2:
Functional Behavior of Lubricated Friction / 45.3:
Thermodynamical Models Based on Small and Nonconforming Contacts / 45.4:
Limitationof the Gaussian Statistics - The Fractal Space / 45.5:
Fractal Mobility in Reactive Lubrication / 45.6:
Metastable Lubricant Systems in Large Conforming Contacts / 45.7:
Industrial Applications / 45.8:
The """"Millipede"""" - A Nanotechnology-Based AFM Data-Storage System / Gerd K. Binnig ; G. Cherubini ; M. Despont ; Urs T. Dürig ; Evangelos Eleftheriou ; H. Pozidis ; Peter Vettiger46:
The Millipede Concept / 46.1:
Thermomechanical AFM Data Storage / 46.2:
Array Design, Technology, and Fabrication / 46.3:
Array Characterization / 46.4:
x/y/z Medium Microscanner / 46.5:
First Write/Read Results with the 32x32 Array Chip / 46.6:
Polymer Medium / 46.7:
Read Channel Model / 46.8:
System Aspects / 46.9:
Nanotechnology for Data Storage Applications / Dror Sarid ; Brendan McCarthy ; Ghassan E. Jabbour46.10:
Current Status of Commercial Data Storage Devices / 47.1:
Opportunities Offered by Nanotechnology for Data Storage / 47.2:
Microactuators for Dual-Stage Servo Systems in Magnetic Disk Files / Roberto Horowitz ; Tsung-Lin (Tony) Chen ; Kenn Oldham ; Yunfeng Li ; Xinghui Huang ; Shih-Chung Kon ; Ryozo Nagamune47.3:
Design of the Electrostatic Microactuator / 48.1:
Fabrication / 48.2:
Servo Control Design of MEMS Microactuator Dual-Stage Servo Systems / 48.3:
Nanorobotics Bradley J. Nelson, Lixin Dong / 48.4:
Overview of Nanorobotics / 49.1:
Actuation at Nanoscales / 49.2:
Nanorobotic Manipulation Systems / 49.3:
Nanorobotic Assembly / 49.4:
Micro/Nanodevice Reliability / 49.5:
Nanotribology and Materials Characterization of MEMS/NEMS and BioMEMS/BioNEMS Materials and Devices / 50:
Tribological Studies of Silicon and Related Materials / 50.1:
Lubrication Studies for MEMS/NEMS / 50.3:
Tribological Studies of Biological Molecules on Silicon-Based Surfaces and of Coated Polymer Surfaces / 50.4:
Nanopatterned Surfaces / 50.5:
Component-Level Studies / 50.6:
A Appendix Micro/Nanofabrication Methods / 50.7:
Experimental Characterization Techniques for Micro/Nanoscale Devices / Kimberly L. Turner ; Peter G. Hartwell51:
Motivation / 51.1:
Applications Utilizing Dynamic MEMS/NEMS / 51.2:
Test/Characterization Techniques / 51.3:
Example: Characterizing an In-Plane MEMS Actuator / 51.4:
Design for Test / 51.5:
Failure Mechanisms in MEMS/NEMS Devices / W. Merlijn van Spengen ; Robert Modlinski ; Robert Puers ; Anne Jourdain52:
Failure Modes and Failure Mechanisms / 52.1:
Stiction and Charge-Related Failure Mechanisms / 52.2:
Creep, Fatigue, Wear, and Packaging-Related Failures / 52.3:
Mechanical Properties of Micromachined Structures / Harold Kahn52.4:
Measuring Mechanical Properties of Films on Substrates / 53.1:
Micromachined Structures for Measuring Mechanical Properties / 53.2:
Measurements of Mechanical Properties / 53.3:
Thermo- and Electromechanical Behavior of Thin-Film Micro and Nanostructures / Martin L. Dunn ; Shawn J. Cunningham54:
Thermomechanics of Multilayer Thin-Film Structures / 54.1:
Electromechanics of Thin-Film Structures / 54.2:
Summaryand Topics not Covered / 54.3:
High Volume Manufacturing and Field Stability of MEMS Products / Jack Martin55:
Manufacturing Strategy / 55.1:
Robust Manufacturing / 55.2:
Stable Field Performance / 55.3:
Packaging and Reliability Issues in Micro/Nano Systems / Jongbaeg Kim ; Yu-Ting Cheng ; Mu Chiao ; Liwei Lin56:
Introduction to Micro-/Nano-Electromechanical (MEMS)/(NEMS) Packaging / 56.1:
Hermetic and Vacuum Packaging and Applications / 56.2:
Thermal Issues and Packaging Reliability / 56.3:
Future Trends and Summary / 56.4:
Technological Convergence and Governing Nanotechnology / Part H:
Technological Convergence from the Nanoscale / William Sims Bainbridge57:
Nanoscience Synergy / 57.1:
Dynamics of Convergence from the Nanoscale / 57.2:
Ethical, Legal and Social Implications / 57.3:
Transformative Synthesis / 57.4:
Cultural Implications of Convergence / 57.5:
Governing Nanotechnology: Social, Ethical and Human Issues / 57.6:
Social Science Background / 58.1:
Human Impacts of Nanotechnology / 58.2:
Regulating Nanotechnology / 58.3:
The Cultural Contextfor Nanotechnology / 58.4:
Acknowledgements / 58.5:
About the Authors
Subject Index
List of Abbreviations
Introduction
Introduction to Nanotechnology Bharat Bhushan / 1:
41.

図書

図書
Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
出版情報: Berlin ; Tokyo : Springer, c2004  xiii, 240 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2900
所蔵情報: loading…
目次情報: 続きを見る
Background / Part I:
Introduction / 1:
CoFI / 1.1:
CASL / 1.2:
Underlying Concepts / 2:
Basic Specifications / 2.1:
Structured Specifications / 2.2:
Architectural Specifications / 2.3:
Libraries of Specifications / 2.4:
CASL Specifications / Part II:
Getting Started / 3:
Loose Specifications / 3.1:
Generated Specifications / 3.2:
Free Specifications / 3.3:
Partial Functions / 4:
Declaring Partial Functions / 4.1:
Specifying Domains of Definition / 4.2:
Partial Selectors and Constructors / 4.3:
Existential Equality / 4.4:
Subsorting / 5:
Subsort Declarations and Definitions / 5.1:
Subsorts and Overloading / 5.2:
Subsorts and Partiality / 5.3:
Structuring Specifications / 6:
Union and Extension / 6.1:
Renaming / 6.2:
Hiding / 6.3:
Local Specifications / 6.4:
Named Specifications / 6.5:
Generic Specifications / 7:
Parameters and Instantiation / 7.1:
Compound Symbols / 7.2:
Generic Specifications with Imports / 7.3:
Views / 7.4:
Specifying the Architecture of Implementations / 8:
Generic Components / 8.1:
Writing Meaningful Architectural Specifications / 8.3:
Libraries / 9:
Local Libraries / 9.1:
Distributed Libraries / 9.2:
Version Control / 9.3:
Carrying On / Part III:
Foundations / 10:
Tools / 11:
The Heterogeneous Tool Set (HETS) / 11.1:
HOL-CASL / 11.2:
ASF+SDF Parser and Syntax-Directed Editor / 11.3:
Other Tools / 11.4:
Basic Libraries / 12:
Library Basic/Numbers / 12.1:
Library Basic/StructuredDatatypes / 12.2:
Case Study: The Steam-Boiler Control System / 13:
Specifying the Mode of Operation / 13.1:
Specifying the Detection of Equipment Failures / 13.5:
Predicting the Behavior of the Steam-Boiler / 13.6:
Specifying the Messages to Send / 13.7:
The Steam-Boiler Control System Specification / 13.8:
Validation of the CASL Requirements Specification / 13.9:
Designing the Architecture / 13.10:
Appendices
CASL Quick Reference / A:
Points to Bear in Mind / A.1:
The Steam-Boiler Control Specification Problem / B.1:
Physical Environment / C.1:
The Overall Operation of the Program / C.3:
Operation Modes of the Program / C.4:
Messages Sent by the Program / C.5:
Messages Received by the Program / C.6:
Detection of Equipment Failures / C.7:
References
List of Named Specifications
Index of Library and Specification Names
Concept Index
Background / Part I:
Introduction / 1:
CoFI / 1.1:
42.

図書

図書
Elisa Quintarelli
出版情報: Berlin : Springer, c2004  xvi, 134 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2917
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Motivations / 1.1:
Overview of the Book / 1.2:
Contributions / 1.3:
Semantics Based on Bisimulation / 2:
G-Log: a Language for Semistructured Data / 2.1:
An Informal Presentation / 2.1.1:
Syntax of G-Log / 2.1.2:
Bisimulation Semantics of G-Log / 2.2:
Semantics of Rules / 2.2.1:
Programming in G-Log / 2.2.2:
Basic Semantic Results / 2.3:
Applicability / 2.3.1:
Satisfiability / 2.3.2:
Simple Edge-Adding Rules / 2.3.3:
Very Simple Queries / 2.3.4:
Abstract Graphs and Semantics / 2.4:
Logical Semantics of G-Log / 2.5:
Formulae for G-Log Rules / 2.5.1:
Concrete Graphs as Models / 2.5.2:
Model Theoretic Semantics / 2.5.3:
Relationship with the Original G-Log Semantics / 2.6:
G-Log Graphs with Negation / 2.7:
Computational Issues / 2.8:
Other Languages for Semistructured Data / 2.9:
UnQL / 2.9.1:
GraphLog / 2.9.2:
Model-Checking Based Data Retrieval / 3:
An Introduction to Model-Checking / 3.1:
Transition Systems and CTL / 3.1.1:
A Linear Time Algorithm to Solve the Model-Checking Problem / 3.1.2:
Syntax of the Query Language W / 3.2:
W-Instances as KTS / 3.3:
CTL-Based Semantics of W-Queries / 3.4:
Technique Overview / 3.4.1:
Admitted Queries / 3.4.2:
Query Translation / 3.4.3:
Acyclic Graphs / 3.4.4:
Cyclic Queries / 3.4.5:
Complexity Issues / 3.5:
Implementation of the Method / 3.6:
Applications to Existing Languages / 3.7:
G-Log / 3.7.1:
Expressive Power of Temporal Logics / 3.8:
Temporal Aspects of Semistructured Data / 4:
An Introduction to Temporal Databases / 4.1:
A Graphical Temporal Data Model for Semistructured Data / 4.2:
Operations on Temporal Data / 4.3:
TSS-QL: Temporal Semistructured Query Language / 4.4:
Grammar of TSS-QL / 4.4.1:
Some Examples of TSS-QL Queries / 4.4.2:
A Graphical Model for User Navigation History / 4.5:
Analyzing User History Navigation / 4.5.1:
Using the Query Language TSS-QL to Obtain Relevance Information / 4.6:
Semistructured Temporal Graph as a KTS / 4.6.1:
Complexity Results on TSS-QL Fragments / 4.6.2:
Related Works / 5:
Semantics Aspects of Query Languages / 5.1:
Efficient Query Retrieval / 5.2:
Temporal Models and Query Languages for Semistructured Data / 5.3:
Comparison with the DOEM Model / 5.3.1:
Conclusion / 6:
References
Introduction / 1:
Motivations / 1.1:
Overview of the Book / 1.2:
43.

図書

図書
Franz Winkler (ed.)
出版情報: Berlin ; Tokyo : Springer, c2004  vi, 229 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2930 . Lecture notes in artificial intelligence
所蔵情報: loading…
44.

図書

図書
Alexandre Petrenko, Andreas Ulrich (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 266 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2931
所蔵情報: loading…
目次情報: 続きを見る
Program Testing and Analysis
Black-Box Testing of Grey-Box Behavior / Benjamin Tyler ; Neelam Soundarajan
On Checking Whether a Predicate Definitely Holds / Alper Sen ; Vijay K. Garg
Using a Software Testing Technique to Improve Theorem Proving / Reiner Hahnle ; Angela Wallenburg
Auto-generating Test Sequences Using Model Checkers: A Case Study / Mats P.E. Heimdahl ; Sanjai Rayadurgam ; Willem Visser ; George Devaraj ; Jimin Gao
Mutually Enhancing Test Generation and Specification Inference / Tao Xie ; David Notkin
JMLAutoTest: A Novel Automated Testing Framework Based on JML and Junit / Guoqing Xu ; Zongyuang Yang
Test Theory and Test Derivation Algorithms
Compositional Testing with ioco / Machiel van der Bijl ; Arend Rensink ; Jan Tretmans
Defining Observation Objectives for Reactive and Distributed Systems / Timo Aaltonen
Time-Optimal Real-Time Test Case Generation Using Uppaal / Anders Hessel ; Kim G. Larsen ; Brian Nielsen ; Paul Pettersson ; Arne Skou
Test Cases Generation for Nondeterministic Real-Time Systems / Ahmed Khoumsi ; Thierry Jeron ; Herve Marchand
Property Oriented Test Case Generation / Jean-Claude Fernandez ; Laurent Mounier ; Cyril Pachon
Computing Unique Input/Output Sequences Using Genetic Algorithms / Qiang Guo ; Robert M. Hierons ; Mark Harman ; Karnig Derderian
Automatic Generation of Test Purposes for Testing Distributed Systems / Olaf Henniger ; Miao Lu ; Hasan Ural
Test Methods and Test Tools Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation / Ahyoung Sung ; Byoungju Choi
Automatic Conformance Testing of Internet Applications / Harm M.A. van Beek ; Sjouke Mauw
A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams / Mourad Badri ; Linda Badri ; Marius Naha
VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile / Sita Ramakrishnan
Towards a Tool Environment for Model-Based Testing with AsmL / Mike Barnett ; Wolfgang Grieskamp ; Lev Nachmanson ; Wolfram Schulte ; Nikolai Tillmann ; Margus Veanes
Author Index
Program Testing and Analysis
Black-Box Testing of Grey-Box Behavior / Benjamin Tyler ; Neelam Soundarajan
On Checking Whether a Predicate Definitely Holds / Alper Sen ; Vijay K. Garg
45.

図書

図書
Carlos Martín-Vide ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  viii, 382 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2933
所蔵情報: loading…
46.

図書

図書
Zili Zhang, Chengqi Zhang
出版情報: Berlin : Springer, c2004  xiv, 196 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2938 . Lecture notes in artificial intelligence
所蔵情報: loading…
47.

図書

図書
Dietmar Seipel, José María Turull-Torres (eds.)
出版情報: Berlin : Springer, c2004  x, 319 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2942
所蔵情報: loading…
48.

図書

図書
Karl Aberer, Manolis Koubarakis, Vana Kalogeraki (eds.)
出版情報: Berlin : Springer, c2004  x, 247 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2944
所蔵情報: loading…
49.

図書

東工大
目次DB

図書
東工大
目次DB
Alexander Gelbukh (ed.)
出版情報: Berlin : Springer, c2004  xviii, 651 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2945
所蔵情報: loading…
目次情報: 続きを見る
Computational Linguistics
   Computational Linguistics Formalisms
   Towards an LFG Syntax-Semantics Interface for Frame Semantics Annotation Anette Frank, Katrin Erk 1
   Projections from Morphology to Syntax in the Korean Resource Grammar: Implementing Typed Feature Structures Jong-Bok Kim, Jaehyung Yang 14
   A Systemic-Functional Approach to Japanese Text Understanding Noriko Ito, Toru Sugimoto, Michio Sugeno 26
   Building and Using a Russian Resource Grammar in GF Janna Khegai, Aarne Ranta 38
   An Application of a Semantic Framework for the Analysis of Chinese Sentences Li Tang, Donghong Ji, Yu Nie, Lingpeng Yang 42
   Semantics and Dialogue
   A Modal Logic Framework for Human-Computer Spoken Interaction Luis Villasenor-Pineda, Manuel Montes -y-Gomez, Jean Caelen 46
   Agents Interpreting Imperative Sentences Miguel Perez-Ramirez, Chris Fox 56
   Intention Retrieval with a Socially-Supported Belief System Naoko Matsumoto, Akifumi Tokosum 68
   Extracting Domain Knowledge for Dialogue Model Adaptation Kuei-Kuang Lin, Hsin-Hsi Chen 72
   Syntax and Parsing
   A Probabilistic Chart Parser Implemented with an Evolutionary algorithm Lourdes Araujo 81
   Probabilistic Shift-Reduce Parsing Model Using Rich Contextual Information Yong-Jae Kwak, So-Young Park, Joon-Ho Lim, Hae-Chang Rim 93
   Evaluation of Feature Combination for Effective Structural Disambiguation So-Young Park, Yong-Jae Kwak, Joon-Ho Lim, Hae-Chang Rim 97
   Parsing Incomplete Sentences Revisited Manuel Vilares, Victor M. Darriba, Jesus Vilares 102
   Unlexicalized Dependency Parser for Variable Word Order Languages Based on Local Contextual Pattern Hoojung Chung, Hae-Chang Rim 112
   A Cascaded Syntactic Analyser for Basque Itziar Aduriz, Maxux J. Aranzabe, Jose Maria Arriola, Arantza Diaz de Ilarraza, Koldo Gojenola, Maite Oronoz, Larraitz Uria 124
   Lexical Analysis
   An Analysis of Sentence Boundary Detection Systems for English and Portuguese Documents Carlos N. Silla Jr., Celso A.A. Kaestner 135
   Towards Language-Independent Sentence Boundary Detection Do-Gil Lee, Hae-Chang Rim 142
   Korean Compound Noun Decomposition Using Syllabic Information Only Seong-Bae Park, Jeong-Ho Chang, Byoung-Tak Zhang 146
   Named Entity Recognition
   Learning Named Entity Classifiers Using Support Vector Machines Thamar Solorio, Aurelio Lopez Lopez 158
   An Internet-Based Method for Verification of Extracted Proper Names Angelo Dalli 168
   Boundary Correction of Protein Names Adapting Heuristic Rules Tomohiro Mitsumori, Sevrani Fation, Masaki Murata, Kouichi Doi, Hirohumi Doi 172
   Word Sense Disambiguation
   Word Sense Disambiguation Based on Weight Distribution Model with Multiword Expression Hee-Cheol Seo, Young-Sook Hwang, Hae-Chang Rim 176
   Combining EWN and Sense-Untagged Corpus for WSD Iulia Nica, Ma. Antonia Marti, Andres Montoyo, Sonia Vazquez 188
   Feature Selection for Chinese Character Sense Discrimination Zheng-Yu Niu, Dong-Hong Ji 201
   The Role of Temporal Expressions in Word Sense Disambiguation Sonia Vazquez, Estela Saquete, Andres Montoyo, Patricio Martinez-Barco, Rafael Munoz 209
   Anaphora Resolution
   An Empirical Study on Pronoun Resolution in Chinese Houfeng Wang, Zheng Mei 213
   Lexicon and Corpus
   Language-Independent Methods for Compiling Monolingual Lexical Data Christian Biemann, Stefan Bordag, Gerhard Heyer, Uwe Quasthoff, Christian Wolff 217
   Getting One's First Million. .. Collocations Igor A. Bolshakov 229
   Automatic Syntactic Analysis for Detection of Word Combinations Alexander Gelbukh, Grigori Sidorov, Sang-Yong Han, Erika Hernandez-Rubio 243
   A Small System Storing Spanish Collocations Igor A. Bolshakov, Sabino Miranda-Jimenez 248
   A Semi-automatic Tree Annotating Workbench for Building a Korean Treebank Joon-Ho Lim, So-Young Park, Yong-Jae Kwak, Hae-Chang Rim 253
   Extracting Semantic Categories of Nouns for Syntactic Disambiguation from Human-Oriented Explanatory Dictionaries Hiram Calvo, Alexander Gelbukh 258
   Hierarchies Measuring Qualitative Variables Serguei Levachkine, Adolfo Guzman-Arenas 262
   Bilingual Resources
   Invited Talk: Substring Alignment Using Suffix Trees Martin Kay 275
   Invited Talk: Exploiting Hidden Meanings: Using Bilingual Text for Monolingual Annotation Philip Resnik 283
   Acquisition of Word Translations Using Local Focus-Based Learning in Ainu-Japanese Parallel Corpora Hiroshi Echizen-ya, Kenji Araki, Yoshio Momouchi, Koji Tochinai 300
   Sentence Alignment for Spanish-Basque Bitexts: Word Correspondences vs. Markup Similarity Arantza Casillas, Idoia Fernandez, Raquel Martinez 305
   Two-Level Alignment by Words and Phrases Based on Syntactic Information Seonho Kim, Juntae Yoon, Dong-Yul Ra 309
   Machine Translation
   Exploiting a Mono-bilingual Dictionary for English-Korean Translation Selection and Sense Disambiguation Hyun Ah Lee, Juntae Yoon, Gil Chang Kim 321
   Source Language Effect on Translating Korean Honorifics Kyonghee Paik, Kiyonori Ohtake, Francis Bond, Kazuhide Yamamoto 334
   An Algorithm for Determining DingYu Structural Particle Using Grammar Knowledge and Statistical Information Fuji Ren 338
   Natural Language Generation
   Generating Natural Word Orders in a Semi-free Word Order Language: Treebank-Based Linearization Preferences for German Gerard Kempen, Karin Harbusch 350
   Guideline for Developing a Software Life Cycle Process in Natural Language Generation Projects Ma. del Socorro Bernardos 355
   Human-Computer Interaction Applications
   A Plug and Play Spoken Dialogue Interface for Smart Environments German Montoro, Xavier Alaman, Pablo A. Haya 360
   Evaluation of Japanese Dialogue Processing Method Based on Similarity Measure Using tf. Aol Yasutomo Kimura, Kenji Araki, Koji Tochinai 371
   Towards Programming in Everyday Language: A Case for Email Management Toru Sugimoto, Noriko Ito, Shino Iwashita, Michio Sugeno 383
   Speech Recognition and Synthesis
   Invited Talk: Specifying Affect and Emotion for Expressive Speech Synthesis Nick Campbell 395
   Overcoming the Sparseness Problem of Spoken Language Corpora Using Other Large Corpora of Distinct Characteristics Sehyeong Cho, SangHun Kim, Jun Park, YoungJik Lee 407
   A Syllabification Algorithm for Spanish Heriberto Cuayahuitl 412
   Experiments on the Construction of a Phonetically Balanced Corpus from the Web Luis Villasenor-Pineda, Manuel Montes-y-Gomez, Dominique Vaufreydaz, Jean-Francois Serignat 416
Intelligent Text Processing
   Indexing
   Head/Modifier Frames for Information Retrieval Cornelis H.A. Koster 420
   Performance Analysis of Semantic Indexing in Text Retrieval Bo-Yeong Kang, Hae-Jung Kim, Sang-Jo Lee 433
   A Model for Extracting Keywords of Document Using Term Frequency and Distribution Jae-Woo Lee, Doo-Kwon Baik 437
   A Combining Approach to Automatic Keyphrases Indexing for Chinese News Documents Houfeng Wang, Sujian Li, Shiwen Yu, Byeong Kwu Kang 441
   Information Retrieval
   Invited Talk: Challenges in the Interaction of Information Retrieval and Natural Language Processing Ricardo Baeza-Yates 445
   The Challenge of Creative Information Retrieval Tony Veale 457
   Using T-Ret System to Improve Incident Report Retrieval Joe Carthy, David C. Wilson, Ruichao Wang, John Dunnion, Anne Drummond 468
   Question Answering and Sentence Retrieval
   Spanish Question Answering Evaluation Anselmo Penas, Felisa Verdejo, Jesus Herrera 472
   Compartive Analysis of Term Distributions in a Sentence and in a Document for Sentence Retrieval Kyoung-Soo Han, Hae-Chang Rim 484
   Browsing
   Contextual Exploration of Text Collections Manuel Montes-y-Gomez, Manuel Perez-Coutino, Luis Villasenor-Pineda, Aurelio Lopez-Lopez 488
   Automatic Classification and Skimming of Articles in a News Video Using Korean Closed-Caption Jung-Won Cho, Seung-Do Jeong, Byung-Uk Choi 498
   Filtering
   A Framework for Evaluation of Information Filtering Techniques in an Adaptive Recommender System John O'Donovan, John Dunnion 502
   Lexical Chains versus Keywords for Topic Tracking Joe Carthy 507
   Filtering Very Similar Text Documents: A Case Study Jiri Hroza, Jan Zizka, Ales Bourek 511
   Information Extraction
   Using Information Extraction to Build a Directory of Conference Announcements Karl-Michael Schneider 521
   Unsupervised Event Extraction from Biomedical Text Based on Event and Pattern Information Hong-woo Chun, Young-sook Hwang, Hae-Chang Rim 533
   Thai Syllable-Based Information Extraction Using Hidden Markov Models Lalita Narupiyakul, Calvin Thomas, Nick Cercone, Booncharoen Sirinaovakul 537
   The Impact of Enriched Linguistic Annotation on the Performance of Extracting Relation Triples Sanghee Kim, Paul Lewis, Kirk Martinez 547
   Text Categorization
   An kNN Model-Based Approach and Its Application in Text Categorization Gongde Guo, Hui Wang, David Bell, Yaxin Bi, Kieran Greer 559
   Automatic Learning Features Using Bootstrapping for Text Categorization Wenliang Chen, Jingbo Zhu, Honglin Wu, Tianshun Yao 571
   Recomputation of Class Relevance Scores for Improving Text Classification Sang-Bum Kim, Hae-Chang Rim 580
   Raising High-Degree Overlapped Character Bigrams into Trigrams for Dimensionality Reduction in Chinese Text Categorization Dejun Xue, Maosong Sun 584
   Information Retrieval and Text Categorization with Semantic Indexing Paolo Rosso, Antonio Molina, Ferran Pla, Daniel Jimenez, Vicent Vidal 596
   Document Clustering
   Sampling and Feature Selection in a Genetic Algorithm for Document Clustering Arantza Casillas, Mayte T. Gonzalez de Lena, Raquel Martinez 601
   A New Efficient Clustering Algorithm for Organizing Dynamic Data Collection Kwangcheol Shin, Sangyong Han 613
   Domain-Informed Topic Detection Cormac Flynn, John Dunnion 617
   Summarization
   Assessing the Impact of Lexical Chain Scoring Methods and Sentence Extraction Schemes on Summarization William Doran, Nicola Stokes, Joe Carthy, John Dunnion 627
   A Term Weighting Method Based on Lexical Chain for Automatic Summarization Young-In Song, Kyoung-Soo Han, Hae-Chang Rim 636
   Language Identification
   Centroid-Based Language Identification Using Letter Feature Set Hidayet Takcl, Ibrahim Sogukplnar 640
   Author Index 649
Computational Linguistics
   Computational Linguistics Formalisms
   Towards an LFG Syntax-Semantics Interface for Frame Semantics Annotation Anette Frank, Katrin Erk 1
50.

図書

図書
Riccardo Focardi, Roberto Gorrieri (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  vi, 265 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2946
所蔵情報: loading…
目次情報: 続きを見る
Two Formal Approaches for Approximating Noninterference Properties / Alessandro Aldini ; Mario Bravetti ; Alessandra Di Pierro ; Roberto Gorrieri ; Chris Hankin ; Herbert Wiklicky
The Key Establishment Problem / Carlo Blundo ; Paolo D'Arco
A Survey of Name-Passing Calculi and Crypto-Primitives / Michele Bugliesi ; Giuseppe Castagna ; Silvia Crafa ; Riccardo Focardi ; Vladimiro Sassone
Classification of Security Properties (Part II Network Security). / Fabio Martinelli
Cryptographic Algorithms for Multimedia Traffic / Rosario Gennaro
Security for Mobility / Hanne Riis Nielson ; Flemming Nielson ; Mikael Buchholtz
Author Index
Two Formal Approaches for Approximating Noninterference Properties / Alessandro Aldini ; Mario Bravetti ; Alessandra Di Pierro ; Roberto Gorrieri ; Chris Hankin ; Herbert Wiklicky
The Key Establishment Problem / Carlo Blundo ; Paolo D'Arco
A Survey of Name-Passing Calculi and Crypto-Primitives / Michele Bugliesi ; Giuseppe Castagna ; Silvia Crafa ; Riccardo Focardi ; Vladimiro Sassone
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼