Table of Contents: “…Appendix B: First-Order ValuationAppendix C: A Commentary on Prolog; References; PART 2. Computability Theory; 4 Overview of Computability; 4.1 Decision Problems and Algorithms; 4.2 Three Informal Concepts; 5 A Machine Model of Computability; 5.1 Register Machines and RM-Computable Functions; 5.2 Operations with RM-Computable Functions; Church-Turing Thesis; LRM-Computable Functions; 5.3 RM-Decidable and RM-Semi-Decidable Relations; the Halting Problem; 5.4 Unsolvability of Hilbert's Decision Problem and Thue's Word Problem; 6 A Mathematical Model of Computability.…”
Connect to this title online (unlimited users allowed)

Connect to this title online

Table of Contents: “…Introduction: what can and cannot be computed? -- Part I: computability theory -- 2. What is a computer program? -- 3. …”
Connect to this title online (unlimited users allowed)

Table of Contents: “…--v. 5. Design of computers, theory of automata and numerical analysis.--v. 6. …”

Table of Contents: “…Cover; Half title; Title page; Copyright information; Table of Contents; List of Figures; List of Tables; Contributors; Preface; Introduction; 1 Computability Theory and the Church-Turing Thesis; 2 Computational Complexity Theory; 3 Quantum Computing; 4 Computational Implementation and the Physical Church-Turing Theses; 5 Landauer's Principle and the Thermodynamics of Computation; 6 Chapter Summaries; Part I The Computability of Physical Systems and Physical Systems as Computers; 1 Ontic Pancomputationalism; 1.1 Introduction; 1.2 Forms of Ontic PC and their Empirical Claims…”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…Information Theories of Consciousness -- 8. Computation Theories of Consciousness -- 9. Predictions and Deductions about Consciousness -- 10. …”
Connect to this title online (unlimited users allowed)

Connect to this title online

Table of Contents: “…-- What is Cybercrime? -- Computer Theory -- Collecting Evidence -- Analyzing Data and Writing Reports.- Part II: Putting it into Practice.- Collecting Data -- Indexing, Searching and Cracking -- Finding Artifacts -- Some Common Questions -- FTK Specifics -- Basic Memory Analysis.- Part III: Vocabulary -- Vocabulary -- Part IV: Appendices -- Appendix A: Solutions -- Appendix B: Useful Scripts -- Appendix C: Sample Report Template -- Appendix D: List of Time Zones -- Appendix E: Complete Jitsi Chat Log.…”
Connect to this title online

Table of Contents: “…Mathematical Issues in Data Science --  Computational Theory for Data Science, Big Data Management and Applications -- Data Quality and Data Preparation -- Evaluation and Measurement in Data Science -- Data Visualization -- Big Data Mining and Knowledge Management -- Infrastructure for Data Science -- Machine Learning for Data Science -- Data Security and Privacy -- Applications of Data Science -- Case Study of Data Science -- Multimedia Data Management and Analysis -- Data-driven Scientific Research -- Data-driven Bioinformatics -- Data-driven Healthcare -- Data-driven Management -- Data-driven eGovernment -- Data-driven Smart City/Planet -- Data Marketing and Economics -- Social Media and Recommendation Systems -- Data-driven Security -- Data-driven Business Model Innovation -- Social and/or organizational impacts of Data Science.…”
Connect to this title online

Table of Contents: “…Mathematical Issues in Data Science --  Computational Theory for Data Science, Big Data Management and Applications -- Data Quality and Data Preparation -- Evaluation and Measurement in Data Science -- Data Visualization -- Big Data Mining and Knowledge Management -- Infrastructure for Data Science -- Machine Learning for Data Science -- Data Security and Privacy -- Applications of Data Science -- Case Study of Data Science -- Multimedia Data Management and Analysis -- Data-driven Scientific Research -- Data-driven Bioinformatics -- Data-driven Healthcare -- Data-driven Management -- Data-driven eGovernment -- Data-driven Smart City/Planet -- Data Marketing and Economics -- Social Media and Recommendation Systems -- Data-driven Security -- Data-driven Business Model Innovation -- Social and/or organizational impacts of Data Science.…”
Connect to this title online

Table of Contents: “…Lobina & Jose Garcia-Albea -- The neurobiological bases for the computational theory of mind / Randy C. Gallistel -- Indices.…”

Table of Contents: “…Stakeholder Groups in Computational Creativity Research and Practice -- Weak and Strong Computational Creativity -- Theorem: General intelligence entails creativity, assuming -- The Computational Creativity Complex -- How Models of Creativity and Analogy Need to Answer the Tailorability Concern -- On the role of computers in creativity-support systems -- A computational theory of creativity as everyday reasoning from learned information -- Accounting for creativity within a psychologically realistic cognitive architecture -- E pluribus unum - Formalisation, Use-Cases, and Computational Support for Conceptual Blending -- Creating Meaningful and Poetic Instances of Rhetorical Forms -- Open-Ended Elaborations in Creative Metaphor -- Poetry generation with PoeTryMe -- From MEXICA to MEXICA-impro: the Evolution of a Computer Model for Plot Generation -- Handle: Engineering Artificial Musical Creativity at the "Trickery" Level -- A Culinary Computational Creativity System -- Interactive Meta-Reasoning: Toward a CAD-like environment for designing game-playing agents -- Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets -- A Personal Perspective Into the Future for Computational Creativity.…”
Connect to this title online

Table of Contents: “…From Binding to Interpretation and Back4.1 Semantics as Computational Theory; 4.2 Principles of Discourse Processing; 4.3 Three Dimensions of Interpretation; 5. …”
Connect to this title online (unlimited simultaneous users allowed; 325 uses per year)

Table of Contents: “…Kraushaar, Thomas Chittenden, and David Novak -- Using tablet PCs and DyKnow vision to enhance student engagement in a human anatomy class / Pascal Lafontant -- Tablet PCs : impacting student learning in computer theory instruction / Holger Mauch -- Integrating PC technology and software into synchronous distributed learning environments / Elliot Moore II, Monson Hayes, Tristan Utschig -- Successfully integrating tablet PC technology into the Australian secondary school curriculum / Greg Neal and Kristy Davidson -- Using tablet PCs as interactive Web-based instruction tools in freshman calculus / Marilyn Reba and Roy Pargas -- Implementing DyKnow for secondary mathematics instruction / Jason Roy and Shabbi Luthra…”
View Table of contents only

Table of Contents: “…Background on 3D recognition -- 6.1 Human vision theories -- 6.1.1 The Geon theory -- 6.1.2 2D-view specific templates -- 6.1.3 Aspect graphs -- 6.1.4 Computational theories by 3D alignment -- 6.1.5 Conclusions -- 6.2 Early computational models.…”
Connect to this title online