close
1.

電子ブック

EB
Gianluca Moro, Juris Hartmanis, Claudio Sartori, Munindar P. Singh, Munindar Paul Singh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Gerhard Goos, Juris Hartmanis, Dieter Hutter, J?rg H. Siekmann, Werner Stephan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods
Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner
Time for Thinking Big in AI / Wolfgang Bibel
Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov
From MKRP to Ω mega / Manfred Kerber
Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß
Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth
The Flowering of Automated Reasoning / Larry Wos
Applications of Logics
Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler
Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach
An Essay on Sabotage and Obstruction / Johan van Benthem
Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge
Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc
Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy
Natural Language Proof Explanation / Armin Fiedler
Why Proof Planning for Maths Education and How? / Erica Melis
Formal Methods and Security
Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner
The Impact of Models in Software Development / Manfred Broy
Formal Software Development in MAYA / Serge Autexier
A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang
Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer
Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock
Agents and Planning
SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz
Agents with Exact Foreknowledge / Jim Doran
Self-organisation in Holonic Multiagent Systems / Klaus Fischer
Author Index
A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan
Logic and Deduction
Some Reflections on Proof Transformations / Peter B. Andrews
3.

電子ブック

EB
Vito Ges?, V. Di Ges?, Juris Hartmanis, Francesco Masulli, Alfredo Petrosino
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック

EB
Bill Pugh, Juris Hartmanis, William Pugh, Chau-Wen Tseng
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
5.

電子ブック

EB
International Workshop on DNA-Based Computers, Juris Hartmanis, Nataša Jonoska, Nadrian C. Seeman, Nadriaan C. Seeman
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Experimental Tools
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification / T. Hinze ; U. Hatnik ; M. Sturm
Towards Optimization ofPCR Protocol in DNA Computing / S. Kashiwamura ; M. Nakatsugawa ; M. Yamamoto ; T. Shiba ; A. Ohuchi
DNASequenceGenerator: A Program for the Construction of DNA Sequences / U. Feldkamp ; S. Saghafi ; W. Banzhaf ; H. Rauhe
DNA Computing in Microreactors / D. van Noort ; F.-U. Gast ; J.S. McCaskill
Cascadable Hybridisation Transfer of Specific DNA between Microreactor Selection Modules / R. Penchovsky
Theoretical Tools
Coding Properties ofDNA Languages / S. Hussini ; L. Kari ; S. Konstantinidis
Boundary Components ofThickened Graphs / N. Jonoska ; M. Saito
Probabilistic Computational Models
Population Computation and Majority Inference in Test Tube / Y. Sakakibara
DNA Starts to Learn Poker / D.H. Wood ; H. Bi ; S.O. Kimbrough ; D.-J. Wu ; J. Chen
PNA-mediated Whiplash PCR / J.A. Rose ; R.J. Deaton ; M. Hagiya ; A. Suyama
Computer Simulation and Sequence Design
Biomolecular Computation in Virtual Test Tubes / M.H. Garzon ; C. Oehmen
Developing Support System for Sequence Design in DNA Computing / F. Tanaka
The Fidelity ofthe Tag-Antitag System
PUNCH: An Evolutionary Algorithm for Optimizing Bit Set Selection / A.J. Ruben ; S.J. Freeland ; L.F. Landweber
Algorithms
Solving Knapsack Problems in a Sticker Based Model / M.J. Perez-Jimenez ; F. Sancho-Caparrini
A Clause String DNA Algorithm for SAT / V. Manca ; C. Zandron
A Proposal ofDNA Computing on Beads with Application to SAT Problems / T. Yoichi ; H. Akihiro
Experimental Solutions
Aqueous Solutions ofAlgorithmic Problems: Emphasizing Knights on a 3×3 / T. Head ; X. Chen ; M.J. Nichols ; M. Yamamura ; S. Gal
Solutions ofShortest Path Problems by Concentration Control / N. Matsuura ; Y. Kawazoe
Another Realization ofAqueous Computing with Peptide Nucleic Acid / Y. Hiroto ; T. Matoba
Experimental Conformation ofthe Basic Principles ofLength-only Discrimination / Y. Khodor ; J. Khodor ; T.F. Knight, Jr.
Experimental Construction ofVery Large Scale DNA Databases with Associative Search Capability / J.H. Reif ; T.H. LaBean ; M. Pirrung ; V.S. Rana ; B. Guo ; C. Kingsford ; G.S. Wickham
Nano-tech Devices
Operation ofa Purified DNA Nanoactuator / F.C. Simmel ; B. Yurke
DNA Scissors / J.C. Mitchell
Biomimetic Tools
A Realization ofInformation Gate by Using Enterococcus faecalis Pheromone System / K. Wakabayashi
Patterns ofMicronuclear Genes in Ciliates / A. Ehrenfeucht ; T. Harju ; I. Petre ; G. Rozenberg
Peptide Computing - Universality and Complexity / M.S. Balan ; K. Krithivasan ; Y. Sivasubramanyam
Programmed Mutagenesis Is a Universal Model ofComputation / D.K. Gifford
New Computing Models
Horn Clause Computation by Self-assembly of DNA Molecules / H. Uejima ; S. Kobayashi
DNA-based Parallel Computation ofSimple Arithmetic / H. Hug ; R. Schuler
Splicing Systems and Membranes
On P Systems with Global Rules / A. Paun
Computing with Membranes: Variants with an Enhanced Membrane Handling / M. Margenstern ; C. Martín-Vide ; G. Paun
Towards an Electronic Implementation ofMembrane Computing: A Formal Description ofNon-deterministic Evolution in Transition P Systems / A.V. Baranda ; F. Arroyo ; J. Castellanos ; R. Gonzalo
Insertion-Deletion P Systems / S.N. Krishna ; R. Rama
A Universal Time-Varying Distributed H System ofDegree 1 / Y. Rogozhin
A Note on Graph Splicing Languages / N.G. David ; K.G. Subramanian ; D.G. Thomas
Author Index
Experimental Tools
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification / T. Hinze ; U. Hatnik ; M. Sturm
Towards Optimization ofPCR Protocol in DNA Computing / S. Kashiwamura ; M. Nakatsugawa ; M. Yamamoto ; T. Shiba ; A. Ohuchi
6.

電子ブック

EB
DaWaK 2002, Masatoshi Arikawa, Juris Hartmanis, Y. Kambayashi, Werner Winiwarter
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
目次情報: 続きを見る
Association Rules
A Comparison between Query Languages for the Extraction of Association Rules / Marco Botta ; Jean-Francois Boulicaut ; Cyrille Masson ; Rosa Meo
Learning from Dissociations / Choh Man Teng
Mining Association Rules from XML Data / Daniele Braga ; Alessandro Campi ; Mika Klemettinen ; PierLuca Lanzi
Estimating Joint Probabilities from Marginal Ones / Tao Li ; Shenghuo Zhu ; Mitsunori Ogihara ; Yinhe Cheng
Clustering
Self-Tuning Clustering: An Adaptive Clustering Method for Transaction Data / Ching-Huang Yun ; Kun-Ta Chuang ; Ming-Syan Chen
CoFD: An Algorithm for Non-distance Based Clustering in High Dimensional Spaces / Mitsuonri Ogihara
An Efficient K-Medoids-Based Algorithm Using Previous Medoid Index, Triangular Inequality Elimination Criteria, and Partial Distance Search / Shu-Chuan Chu ; John F. Roddick ; J.S. Pan ; Taiwan
Web Mining and Security
A Hybrid Approach to Web Usage Mining / Søren E. Jespersen ; Jesper Thorhauge ; Torben Bach Pedersen
Building and Exploiting Ad Hoc Concept Hierarchies for Web Log Analysis / Carsten Pohle ; Myra Spiliopoulou
Authorization Based on Evidence and Trust / Bharat Bhargava ; Yuhui Zhong
An Algorithm for Building User-Role Profiles in a Trust Environment / Evimaria Terzi ; Pankaj ; Sanjay Madria
Data Mining Techniques
Neural-Based Approaches for Improving the Accuracy of Decision Trees / Yue-Shi Lee ; Show-Jane Yen
Approximate k-Closest-Pairs with Space Filling Curves / Fabrizio Angiulli ; Clara Pizzuti
Optimal Dimension Order: A Generic Technique for the Similarity Join / Christian Böhm ; Florian Krebs ; Hans-Peter Kriegel
Fast Discovery of Sequential Patterns by Memory Indexing / Ming-Yen Lin ; Suh-Yin Lee
Data Cleansing
Dynamic Similarity for Fields with NULL Values / Li Zhao ; Sung Sam Yuan ; Qi Xiao Yang ; Sun Peng
Outlier Detection Using Replicator Neural Networks / Simon Hawkins ; Hongxing He ; Graham Williams ; Rohan Baxter
The Closed Keys Base of Frequent Itemsets / Viet Phan Luong
Applications
New Representation and Algorithm for Drawing RNA Structure with Pseudoknots / Yujin Lee ; Wootaek Kim ; Kyungsook Han
Boosting Naive Bayes for Claim Fraud Diagnosis / Stijn Viaene ; Richard Derrig ; Guido Dedene
Optimization of Association Word Knowledge Base through Genetic Algorithm / Su-Jeong Ko ; Jung-Hyun Lee
Mining Temporal Patterns from Health Care Data / Weiqiang Lin ; Mehmet A. Orgun ; Graham J. Williams
Data Warehouse Design
Adding a Performance-Oriented Perspective to Data Warehouse Design / Pedro Bizarro ; Henrique Madeira
Cost Modeling and Estimation for OLAP-XML Federations / Dennis Pedersen ; Karsten Riis
Constraint-Free Join Processing on Hyperlinked Web Data / Sourav S. Bhowmick ; Wee Keong Ng ; Mukesh Mohania
OLAP / Cristina Dutra de Aguiar Ciferri ; Fernando da Fonseca de Souza
A Decathlon in Multidimensional Modeling: Open Issues and Some Solutions / W. Hummer ; W. Lehner ; A. Bauer ; L. Schlesinger
Modeling and Imputation of Large Incomplete Multidimensional Datasets / Xintao Wu ; Daniel Barbará
PartJoin: An Efficient Storage and Query Execution for Data Warehouses / Ladjel Bellatreche ; Michel Schneider
Data Warehouse Maintenance
A Transactional Approach to Parallel Data Warehouse Maintenance / Bin Liu ; Songting Chen ; Elke A. Rundensteiner
Striving towards Near Real-Time Data Integration for Data Warehouses / Robert M. Bruckner ; Beate List ; Josef Schiefer
Time-Interval Sampling for Improved Estimations in Data Warehouses / Pedro Furtado ; João Pedro Costa
Author Index
Association Rules
A Comparison between Query Languages for the Extraction of Association Rules / Marco Botta ; Jean-Francois Boulicaut ; Cyrille Masson ; Rosa Meo
Learning from Dissociations / Choh Man Teng
7.

電子ブック

EB
International Workshop on Database Programming Languages, Giorgio Ghelli, G. Grahne, Juris Hartmanis, Giorgia Ghelli
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
8.

電子ブック

EB
Herman Balsters, Bert Brock, Bert de Brock, Stefan Conrad, Juris Hartmanis
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS / Can Türker
Regular Papers
Consistency Management in Runtime Evolving Concurrent Information Systems: A Co-nets-Based Approach / Nasreddine Aoumeur ; Gunter Saake
Adaptive Specifications of Technical Information Systems / Sören Balko
Evolving the Software of a Schema Evolution System / Kajal T. Claypool ; Elke A. Rundensteiner ; George T. Heineman
Schema Evolution and Versioning: A Logical and Computational Characterisation / Enrico Franconi ; Fabio Grandi ; Federica Mandreoli
Temporal Branching as a Conflict Management Technique / Roy Gelbard ; Asher Gilmour
Evolving Relations / Ole G. Jensen ; Michael H. Bohlen
QFD Matrix for Incremental Construction of a Warehouse via Data Marts / Ron McFadyen ; Fung-Yee Chan
Change Propagation in an Axiomatic Model of Schema Evolution for Objectbase Management Systems / Randal J. Peters ; Ken Barker
Evolving Objects: Conceptual Description of Adaptive Information Systems / Stefan Conrad
Extending the Object Query Language for Transparent Metadata Access / Hong Su
A Metamodeling Approach to Evolution / Marie-Noëlle Terrasse
Defining Metrics for Conceptual Schema Evolution / Lex Wedemeijer
Author Index
Invited Talk
Schema Evolution in SQL-99 and Commercial (Object-)Relational DBMS / Can Türker
Regular Papers
9.

電子ブック

EB
DMTCS 2003, Cristian Calude, M. J. Dinneen, Gerhard Goos, Juris Hartmanis, Vincent Vajnovszki, Michael J. Dinneen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2003
所蔵情報: loading…
10.

電子ブック

EB
Boris Magnusson, Juris Hartmanis
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2002
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼