- Table View
- List View
Automated Data Collection with R: A Practical Guide to Web Scraping and Text Mining
by Simon Munzert Christian Rubba Peter Meißner Dominic NyhuisA hands on guide to web scraping and text mining for both beginners and experienced users of R Introduces fundamental concepts of the main architecture of the web and databases and covers HTTP, HTML, XML, JSON, SQL. Provides basic techniques to query web documents and data sets (XPath and regular expressions). An extensive set of exercises are presented to guide the reader through each technique. Explores both supervised and unsupervised techniques as well as advanced techniques such as data scraping and text management. Case studies are featured throughout along with examples for each technique presented. R code and solutions to exercises featured in the book are provided on a supporting website.
Automated Data Retrieval in Astronomy: Proceedings of the 64th Colloquium of the International Astronomical Union held in Strasbourg, France, July 7–10, 1981 (Astrophysics and Space Science Library #97)
by Carlos Jaschek W. HeintzThe idea of this Colloquium came during the XVIIth General Assembly of the I. A. U. at Montreal. The meeting was organized under the auspices of I. A. U. Commission 5 (Documentation and Astronomical Data). The Scientific Organizing Committee consisted of C. Jaschek (chairperson), O. Dluzhnevskaya, B. Hauck (vice chairperson), W. Heintz, P. Lantos, Th. Lederle, J. Mead~ G. Ruben, Y. Terashita, G. Wilkins. The members of this Committee are to be thanked for their devotion to the organization of what turned out to be a very successful meeting. The program was organized so as to cover most of the aspects concerning work with machine readable data. In a certain sense it is the develop ment of the subjects of I. A. U. Colloquium 35 "Compilation, critical evaluation and distribution of stellar data" held at Strasbourg in 1976. The meeting was opened by welcoming addresses delivered by Dr A. Florsch, Director of the Strasbourg Observatory, Prof. H. Curien, President of the European Science Foundation and Prof. W. Heintz, President of I. A. U. Commission 5. The sessions were devoted to the fol lowing subjects : Existing data centers, Data networks, New hardware, Recent software developments, Bibliographical services, Copyright, Editorial policies and nomenclature, Data in astronomy and Data in space astronomy. The different sessions were chaired by G. A. Pilkins, J. Mead, S. Lavrov, W. Heintz, P. Lantos, M. McCarthy, J. Delhaye and G. Westerhout. On July 9. Dr A.
Automated Decision-Making and Effective Remedies: The New Dynamics in the Protection of EU Fundamental Rights in the Area of Freedom, Security and Justice (Elgar Studies in European Law and Policy)
by Simona DemkováThis timely book explores the legal and practical challenges created by the increasingly automated decision-making procedures underpinning EU multilevel cooperation, for example, in the fields of border control and law enforcement. It argues that such procedures impact not only the rights to privacy and data protection, but fundamentally challenge the EU constitutional promise of effective judicial protection.Focusing on informational cooperation in the EU Area of Freedom, Security and Justice, this book examines the extent to which the EU’s system of remedies allows individuals to enforce their rights against automated decisions – such as in cases of the rejection of a residence permit application or the execution of search warrants. Concluding that enforcement of rights is difficult to achieve, the book calls for the comprehensive legal empowerment of individuals through a deep procedural review of automated decision-making. It advances the academic and policy debate on human-centric digital innovation, presenting an empirical case for greater scrutiny of the uses of new technology.The book will be a fascinating read for scholars and students of European law, the law of technology, and human rights. It will also be a useful guide for human and digital rights organisations, policy-makers, and judges seeking to empower individuals in the age of automation.
Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science #3632)
by Robert NieuwenhuisAutomated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (Lecture Notes in Computer Science #5663)
by Renate SchmidtAutomated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings (Lecture Notes in Computer Science #10395)
by Leonardo De MouraThis book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings (Lecture Notes in Computer Science #11716)
by Pascal FontaineThis book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science #12699)
by André Platzer Geoff SutcliffeThis open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Computer Science #14132)
by Brigitte Pientka Cesare TinelliThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #9)
by Wolfgang Bibel P. H. Schmitt1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us. Interaction typi cally is needed, for example, to direct and control the reasoning, to speculate or generalize strategic lemmas, and sometimes simply because the conjec ture to be proved does not hold. In software verification, for example, correct versions of specifications and programs typically are obtained only after a number of failed proof attempts and subsequent error corrections. Different interactive theorem provers may actually look quite different: They may support different logics (first-or higher-order, logics of programs, type theory etc.), may be generic or special-purpose tools, or may be tar geted to different applications. Nevertheless, they share common concepts and paradigms (e.g. architectural design, tactics, tactical reasoning etc.). The aim of this chapter is to describe the common concepts, design principles, and basic requirements of interactive theorem provers, and to explore the band width of variations. Having a 'person in the loop', strongly influences the design of the proof tool: proofs must remain comprehensible, - proof rules must be high-level and human-oriented, - persistent proof presentation and visualization becomes very important.
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series #10)
by Wolfgang Bibel P. H. SchmittWe are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted from(Wang, 1970). The field of mathematics has been a key application area for automated theorem proving from the start, in fact the very first automatically found the orem was that the sum of two even numbers is even (Davis, 1983). The field of automated deduction has witnessed considerable progress and in the last decade, automated deduction methods have made their way into many areas of research and product development in computer science. For instance, deduction systems are increasingly used in software and hardware verification to ensure the correctness of computer hardware and computer programs with respect to a given specification. Logic programming, while still falling somewhat short of its expectations, is now widely used, deduc tive databases are well-developed and logic-based description and analysis of hard-and software is commonplace today.
Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science #1249)
by William McCuneThis book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997.The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science #1632)
by Harald GanzingerAutomated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Lecture Notes in Computer Science #1831)
by David McAllesterFor the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri?cation, model checking, cooperating decision procedures, program veri?cation, and resolution theorem proving. The program also included three invited lectures: “High-level veri?cation using theorem proving and formalized mathematics” by John Harrison, “Sc- able Knowledge Representation and Reasoning Systems” by Henry Kautz, and “Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice” by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.
Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science #2392)
by Andrei VoronkovThe First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of automated deduction. CADE-18 was sponsored by the Association for Auto- ted Reasoning, CADE Inc., the Department of Computer Science at Chalmers University, the Gesellschaft fur ¨ Informatik, Safelogic AB, and the University of Koblenz-Landau. There were 70 submissions, including 60 regular papers and 10 system - scriptions. Each submission was reviewed by at least ?ve program committee members and an electronic program committee meeting was held via the Int- net. The committee decided to accept 27 regular papers and 9 system descr- tions. One paper switched its category after refereeing, thus the total number of system descriptions in this volume is 10. In addition to the refereed papers, this volume contains an extended abstract of the CADE invited talk by Ian Horrocks, the joint CADE/CAV invited talk by Sharad Malik, and the joint CADE-TABLEAUX invited talk by Matthias Baaz. One more invited lecture was given by Daniel Jackson.
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science #2741)
by Franz BaaderThe refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions. All current aspects of automated deduction are discussed, ranging from theoretical and methodological issues to the presentation of new theorem provers and systems.
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science #4603)
by Frank PfenningA veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science #6803)
by Nikolaj Bjørner Viorica Sofronie-StokkermansThis book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
Automated Deduction -- CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture Notes in Computer Science #7898)
by Maria Paola BonacinaThis book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science #9195)
by Amy P. Felty Aart MiddeldorpThis book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science #1761)
by Ricardo Caferra Gernot SalzerAutomated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science #9201)
by Francisco Botana Pedro QuaresmaThis book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (Lecture Notes in Computer Science #4869)
by Francisco Botana Tomas RecioThe papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies. The book is made up of the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2006, held at Pontevedra, Spain, in 2006. There are a total of 13 revised full papers selected from a number of submissions.
Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science #1669)
by Xiao-Lu Gao Dongming Wang Lu YangThe Second International Workshop on Automated Deduction in Geometry (ADG ’98) was held in Beijing, China, August 1–3, 1998. An increase of interest in ADG ’98 over the previous workshop ADG ’96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¨ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e?ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ’98 was hosted by the Mathematics Mechanization Research Center (MMRC) with ?nancial support from the Chinese Academy of Sciences and the French National Center for Scienti?c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ’98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi?cant research results and developments and re?ect the current state-of-the-art of ADG.
Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science #3763)
by Hoon Hong Dongming WangThis book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.