close
1.

図書

図書
松本安弘, 松本アイリン共著
出版情報: 東京 : 北星堂書店, 1976.6  vii, 14, 995p ; 19cm
所蔵情報: loading…
2.

図書

図書
[Harold Wentworth, Stuart Berg Flexner編] ; R. C. ゴリス, 大久保雪美訳編
出版情報: 東京 : 秀文インターナショナル, 1986.5  37, 1288p ; 19cm
所蔵情報: loading…
3.

図書

図書
Umeshwar Dayal ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009  xiii, 362 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 5701
所蔵情報: loading…
4.

図書

図書
新井明著訳
出版情報: 東京 : 英潮社新社, 1983.12  9, 191, 69p ; 19cm
シリーズ名: 講座・イギリス文学作品論 ; 第16巻
所蔵情報: loading…
5.

図書

図書
Frederick V. Kroeber
出版情報: South Brunswick : A. S. Barnes, c1976  212 p. ; 24 cm
所蔵情報: loading…
6.

図書

図書
出版情報: Harlow : Longman, 1982  363p ; 20cm
所蔵情報: loading…
7.

図書

図書
edited by J.I. Duffy
出版情報: Park Ridge, N.J. : Noyes Data Corp., 1983  xii, 287 p. ; 25 cm
シリーズ名: Pollution technology review ; no. 95
Chemical technology review ; no. 216
所蔵情報: loading…
8.

図書

図書
Jan Gecsei
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1983  xvii, 276 p., [2] leaves of plates ; 24 cm
所蔵情報: loading…
9.

図書

図書
[edited by] Isaac Asimov, Patricia S. Warrick and Martin H. Greenberg
出版情報: London : Allen Lane, 1984  627p ; 23cm.
所蔵情報: loading…
10.

図書

図書
G. Prentice Hastings, Kathryn J. King
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1986  xii, 214 p. ; 25 cm
所蔵情報: loading…
11.

図書

図書
Ilarion V. Melnikov
出版情報: [Cham] : Springer, c2019  xv, 482 p. ; 24 cm
シリーズ名: Lecture notes in physics ; v. 951
所蔵情報: loading…
12.

図書

図書
edited by H. Preston-Thomas, T.P. Murray, R.L. Shepard
出版情報: Pittsburgh : Instrument Society of America, c1972  767, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 1
所蔵情報: loading…
13.

図書

図書
edited by L.G. Rubin ... [et al.]
出版情報: Pittsburgh : Instrument Society of America, c1972  773-1519, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 2
所蔵情報: loading…
14.

図書

図書
edited by D.I. Finch ... [et al.]
出版情報: Pittsburgh : Instrument Society of America, c1972  1525-2383, xlvii p. ; 26 cm
シリーズ名: Temperature : its measurement and control in science and industry / Harmon H. Plumb, editor-in-chief ; v. 4, pt. 3
所蔵情報: loading…
15.

図書

図書
with introduction and notes by Masami Nishikawa
出版情報: Tokyo : Kenkyusha, 1947.10  xx, 353 p. ; 18 cm
シリーズ名: 英米文學叢書 ; 6, 45
所蔵情報: loading…
16.

図書

図書
by Aldous Huxley ; with introduction and notes by Eizo Ohashi
出版情報: Tokyo : Kenkyusha, 1952.2  xx, 370 p., port ; 18 cm
シリーズ名: 英米文學叢書 ; 55, 224
所蔵情報: loading…
17.

図書

図書
A.T. Henly
出版情報: London : C. Lockwood, 1956  ix, 250 p. ; 23 cm
所蔵情報: loading…
18.

図書

図書
edited by János Dobó and Péter Hedvig
出版情報: Budapest : Akadémiai Kiadó, Publishing House of the Hungarian Academy of Sciences, 1967  xvi, 813 p. ; 22 cm
所蔵情報: loading…
19.

図書

図書
[Bennett L. Silverstein, editor]
出版情報: Washington, D.C. : Office of Naval Research, [1962]  x, 1082 p. ; 26 cm
所蔵情報: loading…
20.

図書

図書
Michael Rettinger
出版情報: New York : Chemical Pub., 1947  xi, 189 p. ; 23 cm
所蔵情報: loading…
21.

図書

図書
H. Griffith Edwards
出版情報: New York : Van Nostrand, c1953  xii, 311 p., ill., 24 cm
シリーズ名: A technical series on building construction
所蔵情報: loading…
22.

図書

図書
Julius Walter Reppe
出版情報: New York : Meyer, 1949.  vii, 209 leaves ; 28 cm
所蔵情報: loading…
23.

図書

図書
Robert Schrank
出版情報: Cambridge, Mass. : MIT Press, c1978  xiv, 243, [2] p. ; 24 cm
所蔵情報: loading…
24.

図書

図書
Mogens Nielsen, Uffe Engberg (eds.)
出版情報: Berlin : Springer, c2002  xiii, 433 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2303
所蔵情報: loading…
25.

図書

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

図書

図書
James A. Foster ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xi, 335 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2278
所蔵情報: loading…
27.

図書

図書
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
28.

図書

図書
Achille Braquelaire, Jacques-Olivier Lachaud, Anne Vialard (eds.)
出版情報: Berlin : Springer, c2002  xi, 438 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2301
所蔵情報: loading…
29.

図書

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

図書

図書
by George F. Wislicenus
出版情報: New York : McGraw-Hill, 1947  xv, 613 p. ; 21 cm
所蔵情報: loading…
31.

図書

図書
Shahar Mendelson, Alexander J. Smola (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  257 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2600 . Lecture notes in artificial intelligence
所蔵情報: loading…
32.

図書

図書
edited by H.C. Dent
出版情報: London : Adam & Charles Black, [1957]-  v. ; 20-21cm
所蔵情報: loading…
33.

図書

図書
Burton S. Kaliski, Jr., Çetin K. Koç, Christof Paar (eds.)
出版情報: Berlin ; Tokyo : Springer, c2002  xiv, 612 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2523
所蔵情報: loading…
34.

図書

図書
Ivan Dimov ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 574 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2542
所蔵情報: loading…
35.

図書

図書
Luther Pfahler Eisenhart
出版情報: Princeton : Princeton Univ. Press, [n. d.].  vii, 306 p. ; 24 cm
所蔵情報: loading…
36.

図書

図書
John Dean, Andrée Gravel (eds.)
出版情報: Berlin : Springer, c2002  xiv, 255 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2255
所蔵情報: loading…
37.

図書

図書
Didier Bert ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xii, 534 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2272
所蔵情報: loading…
38.

図書

図書
Gilles Bertrand, Atsushi Imiya, Reinhard Klette (eds.)
出版情報: Berlin ; New York : Springer, c2001  viii, 453 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2243
所蔵情報: loading…
39.

図書

図書
Irene Zabawski
出版情報: Morristown : Silver Burdett, c1976  T32, 288 p. ; 26 cm
シリーズ名: Silver Burdett social science
所蔵情報: loading…
40.

図書

図書
Gordon S. Wood
出版情報: New York : Modern Library, 2002  xxv, 190 p. ; 20 cm
シリーズ名: A Modern Library chronicles book
所蔵情報: loading…
41.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
revised and edited by Henry C. Speel and E.W.K. Schwarz
出版情報: New York : Reinhold, c1957  vi, 545 p. ; 24 cm
所蔵情報: loading…
48.

図書

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

図書

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

図書

図書
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
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼