Progress in Discovery Science [electronic resource] : Final Report of the Japanese Discovery Science Project /

Searching for Mutual Exclusion Algorithms Using BDDs -- Reducing Search Space in Solving Higher-Order Equations -- The Structure of Scientific Discovery: From a Philosophical Point of View -- Ideal Concepts, Intuitions, and Mathematical Knowledge Acquisitions in Husserl and Hilbert -- Theory of Judgments and Derivations -- Efficient Data Mining from Large Text Databases -- A Computational Model for Children’s Language Acquisition Using Inductive Logic Programming -- Some Criterions for Selecting the Best Data Abstractions -- Discovery of Chances Underlying Real Data -- Towards the Integration of Inductive and Nonmonotonic Logic Programming -- EM Learning for Symbolic-Statistical Models in Statistical Abduction -- Refutable/Inductive Learning from Neighbor Examples and Its Application to Decision Trees over Patterns -- Constructing a Critical Casebase to Represent a Lattice-Based Relation -- On Dimension Reduction Mappings for Approximate Retrieval of Multi-dimensional Data -- Rule Discovery from fMRI Brain Images by Logical Regression Analysis -- A Theory of Hypothesis Finding in Clausal Logic -- Efficient Data Mining by Active Learning -- Data Compression Method Combining Properties of PPM and CTW -- Discovery of Definition Patterns by Compressing Dictionary Sentences -- On-Line Algorithm to Predict Nearly as Well as the Best Pruning of a Decision Tree -- Finding Best Patterns Practically -- Classification of Object Sequences Using Syntactical Structure -- Top-Down Decision Tree Boosting and Its Applications -- Extraction of Primitive Motion and Discovery of Association Rules from Human Motion Data -- Algorithmic Aspects of Boosting -- Automatic Detection of Geomagnetic Jerks by Applying a Statistical Time Series Model to Geomagnetic Monthly Means -- Application of Multivariate MaxwellianMixture Model to Plasma Velocity Distribution -- Inductive Thermodynamics from Time Series Data Analysis -- Mining of Topographic Feature from Heterogeneous Imagery and Its Application to Lunar Craters -- Application of Neural Network Technique to Combustion Spray Dynamics Analysis -- Computational Analysis of Plasma Waves and Particles in the Auroral Region Observed by Scientific Satellite -- A Flexible Modeling of Global Plasma Profile Deduced from Wave Data -- Extraction of Signal from High Dimensional Time Series: Analysis of Ocean Bottom Seismograph Data -- Foundations of Designing Computational Knowledge Discovery Processes -- Computing Optimal Hypotheses Efficiently for Boosting -- Discovering Polynomials to Fit Multivariate Data Having Numeric and Nominal Variables -- Finding of Signal and Image by Integer-Type Haar Lifting Wavelet Transform -- In Pursuit of Interesting Patterns with Undirected Discovery of Exception Rules -- Mining from Literary Texts: Pattern Discovery and Similarity Computation -- Second Difference Method Reinforced by Grouping: A New Tool for Assistance in Assignment of ComplexMolecular Spectra -- Discovery of Positive and Negative Knowledge in Medical Databases Using Rough Sets -- Toward the Discovery of First Principle Based Scientific Law Equations -- A Machine Learning Algorithm for Analyzing String Patterns Helps to Discover Simple and Interpretable Business Rules from Purchase History -- Constructing Inductive Applications by Meta-Learning with Method Repositories -- Knowledge Discovery from Semistructured Texts -- Packet Analysis in Congested Networks -- Visualization and Analysis of Web Graphs -- Knowledge Discovery in Auto-tuning Parallel Numerical Library -- Extended Association Algorithm Based on ROC Analysis for Visual Information Navigator -- WWW Visualization Tools for Discovering Interesting Web Pages -- Scalable and Comprehensible Visualization for Discovery of Knowledge from the Internet -- Meme Media for Re-editing and Redistributing Intellectual Assets and Their Application to Interactive Virtual Information Materialization.