{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":47,"n_cols":5,"rows_kept":47,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[19,2,19,3],[20,2,20,3],[24,2,24,3],[27,2,27,3],[27,4,27,5],[28,2,28,3],[28,4,28,5],[29,2,29,3],[30,2,30,3],[33,2,33,3],[34,2,34,3],[35,2,35,3],[36,2,36,3],[37,2,37,3],[39,2,39,3],[40,2,40,3],[44,2,44,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNISA996465908503316"]
[null,null,"Titolo",null,"Discovery Science [[electronic resource] ] : 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001 Proceedings / / edited by Klaus P. Jantke, Ayumi Shinohara"]
[null,null,"Pubbl/distr/stampa",null,"Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001"]
[null,null,"ISBN",null,"3-540-45650-3"]
[null,null,"Edizione",null,"[1st ed. 2001.]"]
[null,null,"Descrizione fisica",null,"1 online resource (XII, 500 p.)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence ; ; 2226"]
[null,null,"Disciplina",null,"500"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Philosophy and science"]
[{"$nulls":4},"Database management"]
[{"$nulls":4},"Information storage and retrieval"]
[{"$nulls":4},"Information technology"]
[{"$nulls":4},"Business—Data processing"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Philosophy of Science"]
[{"$nulls":4},"Database Management"]
[{"$nulls":4},"Information Storage and Retrieval"]
[{"$nulls":4},"IT in Business"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references at the end of each chapters and index."]
[null,null,"Nota di contenuto",null,"Invited Papers -- The Discovery Science Project in Japan -- Discovering Mechanisms: A Computational Philosophy of Science Perspective -- Queries Revisited -- Inventing Discovery Tools: Combining Information Visualization with Data Mining -- Robot Baby 2001 -- Regular Papers -- VML: A View Modeling Language for Computational Knowledge Discovery -- Computational Discovery of Communicable Knowledge: Symposium Report -- Bounding Negative Information in Frequent Sets Algorithms -- Functional Trees -- Spherical Horses and Shared Toothbrushes: Lessons Learned from a Workshop on Scientific and Technological Thinking -- Clipping and Analyzing News Using Machine Learning Techniques -- Towards Discovery of Deep and Wide First-Order Structures: A Case Study in the Domain of Mutagenicity -- Eliminating Useless Parts in Semi-structured Documents Using "]
[{"$nulls":4},"Alternation Counts -- Multicriterially Best Explanations -- Constructing Approximate Informative Basis of Association Rules -- Passage-Based Document Retrieval as a Tool for Text Mining with User’s Information Needs -- Automated Formulation of Reactions and Pathways in Nuclear Astrophysics: New Results -- An Integrated Framework for Extended Discovery in Particle Physics -- Stimulating Discovery -- Assisting Model-Discovery in Neuroendocrinology -- A General Theory of Deduction,Induction,and Learning -- Learning Conformation Rules -- Knowledge Navigation on Visualizing Complementary Documents -- KeyWorld:Extracting Keywords from Document s Small World -- A Method for Discovering Purified Web Communities -- Divide and Conquer Machine Learning for a Genomics Analogy Problem -- Towards a Method of Searching a Diverse Theory Space for Scientific Discovery -- Effcient Local Search in Conceptual Clustering -- Computational Revision of Quantitative Scientific Models -- An Efficient Derivation for Elementary Formal Systems Based on Partial Unification -- Worst-Case Analysis of Rule Discovery -- Mining Semi-structured Data by Path Expressions -- Theory Revision in Equation Discovery -- Simplified Training Algorithms for Hierarchical Hidden Markov Models -- Discovering Repetitive Expressions and Affinities from Anthologies of Classical Japanese Poems -- Poster Papers -- Web Site Rating and Improvement Based on Hyperlink Structure -- A Practical Algorithm to Find the Best Episode Patterns -- Interactive Exploration of Time Series Data -- Clustering Rules Using Empirical Similarity of Support Sets -- Computational Lessons from a Cognitive Study of Invention -- Component-Based Framework for Virtual Information Materialization -- Dynamic Aggregation to Support Pattern Discovery: A Case Study with Web Logs -- Separation of Photoelectrons via Multivariate Maxwellian Mixture Model -- Logic of Drug Discovery: A Descriptive Model of a Practice in Neuropharmacology -- SCOOP: A Record Extractor without Knowledge on Input -- Meta-analysis of Mutagenes Discovery."]
[null,null,null,"Sommario/riassunto","These are the conference proceedings of the 4th International Conference on Discovery Science (DS 2001). Although discovery is naturally ubiquitous in s- ence, and scientific discovery itself has been subject to scientific investigation for centuries, the term Discovery Science is comparably new. It came up in conn- tion with the Japanese Discovery Science project (cf. Arikawa's invited lecture on The Discovery Science Project in Japan in the present volume) some time during the last few years. Setsuo Arikawa is the father in spirit of the Discovery Science conference series. He led the above mentioned project, and he is currently serving as the chairman of the international steering committee for the Discovery Science c- ference series. The other members of this board are currently (in alphabetical order) Klaus P. Jantke, Masahiko Sato, Ayumi Shinohara, Carl H. Smith, and Thomas Zeugmann. Colleagues and friends from all over the world took the opportunity of me- ing for this conference to celebrate Arikawa's 60th birthday and to pay tribute to his manifold contributions to science, in general, and to Learning Theory and Discovery Science, in particular. Algorithmic Learning Theory (ALT, for short) is another conference series initiated by Setsuo Arikawa in Japan in 1990. In 1994, it amalgamated with the conference series on Analogical and Inductive Inference (AII), when ALT was held outside of Japan for the first time."]
[null,"2.","Record Nr.",null,"UNINA9910484724803321"]
[null,null,"Titolo",null,"Static analysis : 16th International symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings / / Jens Palsberg, Zhendong Su (eds.)"]
[null,null,"Pubbl/distr/stampa",null,"Berlin ; ; New York, : Springer-Verlag, 2009"]
[null,null,"ISBN",null,"1-280-38313-5"]
[{"$nulls":4},"9786613561053"]
[{"$nulls":4},"3-642-03237-0"]
[null,null,"Edizione",null,"[1st ed. 2009.]"]
[null,null,"Descrizione fisica",null,"1 online resource (X, 362 p.)"]
[null,null,"Collana",null,"Lecture notes in computer science, , 0302-9743 ; ; 5673"]
[null,null,"Disciplina",null,"005.13"]
[null,null,"Soggetti",null,"Computer programming"]
[{"$nulls":4},"Programming languages (Electronic computers)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Nota di bibliografia","Includes bibliographical references and index."]
[null,null,"Nota di contenuto",null,"Invited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen’s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties."]
[null,null,null,"Sommario/riassunto","This book constitutes the refereed proceedings of the 16th "]
[{"$nulls":4},"International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems."]