%{search_type} search results

• On the structure of algorithmic problems
• A mathematical model of digital computers
• On some recent problems concerning developmental languages
• Fault-tolerance and stability of fuzzy-state automata
• Bemerkungen über Homomorphismen endlicher in lineare Automaten
• Der Kaskadenzerlegungssatz für Halbautomaten
• Konvergenzbetrachtungen bei der Vorhersage des Ausgabeverhaltens allgemeiner stochastischer Systeme
• Ketten und arithmetische Prädikate von endlichen Automaten
• Une hierarchie infinie de cones d'Accepteurs verificateurs
• Zustandsfolgenabbildungen von verallgemeinerten endlichen Automaten
• Ein automatentheoretisches Modell einer Speicherhierarchie
• Deterministic one-counter automata
• The use of metric and uniform spaces for the formalization of behavioral proximity of states
• Quelques generateurs des langages algebriques
• Une caracterisation des langages quasi-rationnels standards
• Der Einfluss von Kontext auf spezielle CF-Grammatiken
• Zur Komplexität gesteuerter kontextfreier Ersetzungen
• Characterization of derivation sets of formal systems
• Die Darstellung indizierter Sprachen durch Ausdrücke
• Codes and aperiodic languages
• The characterization of certain classes of languages in the context sensitive area by automata
• A characterization of boolean closures of families of languages
• Zufällige Folgen und Bi-Immunität
• Die mittler Additionsdauer eines Paralleladdierwerks
• On the number of multiplications required by the product of two matrices
• Elementare und subelementare Funktionenklassen über binären Bäumen
• Über die Vernetzungsstruktur von Maschinen
• On the simulation of time bounded machines
• Über die Zeit, die benötigt wird, um endliche Mengen umzuordnen
• Über eine Hierarchie von Push-Down-Entscheidbaren Mengen
• A characterization of the classes L1 and R1 of primitive recursive word functions
• A drum scheduling algorithm
• Some considerations about classes of mappings between context-free derivation systems
• On ianov schemas with one memory location
• Reduction goals in bottom-up recognition
• Un modele semantique pour un langage simple de programmation
• Erweiterungen subrekursiver Programmiersprachen.

• A theorem prover for a computational logic
• A complete semantic back chaining proof system
• Parallelizing the closure computation in automated deduction
• Partheo: A high-performance parallel theorem prover
• Substitution-based compilation of extended rules in deductive databases
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• Case-free programs: An abstraction of definite horn programs
• Generalized well-founded semantics for logic programs
• Tactical theorem proving in program verification
• Extensions to the rippling-out tactic for guiding inductive proofs
• Guiding induction proofs
• Term rewriting induction
• A resolution principle for clauses with constraints
• Str+ve $$\subseteq$$ : The Str+ve-based subset prover
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• Encoding a dependent-type?-calculus in a logic programming language
• Investigations into proof-search in a system of first-order dependent function types
• Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete
• An improved general E-unification method
• Some results on equational unification
• Unification in a combination of equational theories: an efficient algorithm
• SLIM: An automated reasoner for equivalences, applied to set theory
• An examination of the prolog technology theorem-prover
• Presenting intuitive deductions via symmetric simplification
• Toward mechanical methods for streamlining proofs
• Ordered rewriting and confluence
• Complete sets of reductions with constraints
• Rewrite systems for varieties of semigroups
• Improving associative path orderings
• Perspectives on automated deduction
• On restrictions of ordered paramodulation with simplification
• Simultaneous paramodulation
• Hyper resolution and equality axioms without function substitutions
• Automatic acquisition of search guiding heuristics
• Automated reasoning contributes to mathematics and logic
• A mechanically assisted constructive proof in category theory
• Dynamic logic as a uniform framework for theorem proving in intensional logic
• A tableaux-based theorem prover for a decidable subset of default logic
• Computing prime implicants
• Minimizing the number of clauses by renaming
• Higher order E-unification
• Programming by example and proving by example using higher-order unification
• Retrieving library identifiers via equational matching of types
• Unification in monoidal theories
• A science of reasoning: Extended abstract
• The TPS theorem proving system
• Schemata
• Cylindric algebra equation solver
• The OYSTER-CLAM system
• A high-performance parallel theorem prover
• The romulus proof checker
• IMPS : An interactive mathematical proof system
• UNICOM: A refined completion based inductive theorem prover
• The theorem prover of the program verifier Tatzelwurm
• RCL: A lisp verification system
• Orme an implementation of completion procedures as sets of transitions rules
• Otter 2.0
• Dissolver: A dissolution-based theorem prover
• TRIP: An implementation of clausal rewriting
• OSCAR
• Expert thinker: An adaptation of F-Prolog to microcomputers
• A prolog technology theorem prover
• A general clause theorem prover
• Liss
• The logic inference search system
• ACE: The abstract clause engine
• Tutorial on high-performance automated theorem proving
• Tutorial on reasoning and representation with concept languages
• Tutorial on?Prolog
• Tutorial on equational unification
• Tutorial on compilation techniques for logics
• Tutorial on high-performance theorem provers: Efficient implementation and parallelisation
• Tutorial on rewrite-based theorem proving
• Tutorial on program-synthetic deduction
• Tutorial on computing models of propositional logics.

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.

• v. 1. Methodology and tools in knowledge-based systems / José Mira, Angel Pasqual del Pobil, Moonis Ali, eds.
• v. 2. Tasks and methods in applied artificial intelligence / Angel Pasqual del Pobil, José Mira, Moonis Ali, eds.

• 21st Century Learning for 21st Century Skills: What Does It Mean, and How Do We Do It? / Richard Noss
• Exploiting Semantic Information for Graph-Based Recommendations of Learning Resources / Mojisola Anjorin, Thomas Rodenhausen, Renato Domínguez García and Christoph Rensing
• An Initial Evaluation of Metacognitive Scaffolding for Experiential Training Simulators / Marcel Berthold, Adam Moore, Christina M. Steiner, Conor Gaffney and Declan Dagger, et al.
• Paper Interfaces for Learning Geometry / Quentin Bonnard, Himanshu Verma, Frédéric Kaplan and Pierre Dillenbourg
• The European TEL Projects Community from a Social Network Analysis Perspective / Michael Derntl and Ralf Klamma
• TinkerLamp 2.0: Designing and Evaluating Orchestration Technologies for the Classroom / Son Do-Lenh, Patrick Jermann, Amanda Legge, Guillaume Zufferey and Pierre Dillenbourg
• Understanding Digital Competence in the 21st Century: An Analysis of Current Frameworks / Anusca Ferrari, Yves Punie and Christine Redecker
• How CSCL Moderates the Influence of Self-efficacy on Students' Transfer of Learning / Andreas Gegenfurtner, Koen Veermans and Marja Vauras
• Notebook or Facebook? How Students Actually Use Mobile Devices in Large Lectures / Vera Gehlen-Baum and Armin Weinberger.

• Enhancing Orchestration of Lab Sessions by Means of Awareness Mechanisms / Israel Gutiérrez Rojas, Raquel M. Crespo García and Carlos Delgado Kloos
• Discerning Actuality in Backstage: Comprehensible Contextual Aging / Julia Hadersberger, Alexander Pohl and François Bry
• Tweets Reveal More Than You Know: A Learning Style Analysis on Twitter / Claudia Hauff, Marcel Berthold, Geert-Jan Houben, Christina M. Steiner and Dietrich Albert
• Motivational Social Visualizations for Personalized E-Learning / I. -Han Hsiao and Peter Brusilovsky
• Generator of Adaptive Learning Scenarios: Design and Evaluation in the Project CLES / Aarij Mahmood Hussaan and Karim Sehaba
• Technological and Organizational Arrangements Sparking Effects on Individual, Community and Organizational Learning / Andreas Kaschig, Ronald Maier, Alexander Sandow, Alan Brown and Tobias Ley, et al.
• The Social Requirements Engineering (SRE) Approach to Developing a Large-Scale Personal Learning Environment Infrastructure / Effie Lai-Chong Law, Arunangsu Chatterjee, Dominik Renzel and Ralf Klamma
• The Six Facets of Serious Game Design: A Methodology Enhanced by Our Design Pattern Library / Bertrand Marne, John Wisdom, Benjamin Huynh-Kim-Bang and Jean-Marc Labat
• To Err Is Human, to Explain and Correct Is Divine: A Study of Interactive Erroneous Examples with Middle School Math Students / Bruce M. McLaren, Deanne Adams, Kelley Durkin, George Goguadze and Richard E. Mayer, et al.

• An Authoring Tool for Adaptive Digital Educational Games / Florian Mehm, Johannes Konert, Stefan Göbel and Ralf Steinmetz
• A Dashboard to Regulate Project-Based Learning / Christine Michel, Elise Lavoué and Laurent Pietrac
• Lost in Translation from Abstract Learning Design to ICT Implementation: A Study Using Moodle for CSCL / Juan Alberto Muñoz-Cristóbal, Luis Pablo Prieto, Juan Ignacio Asensio-Pérez, Iván M. Jorrín-Abellán and Yannis Dimitriadis
• The Push and Pull of Reflection in Workplace Learning: Designing to Support Transitions between Individual, Collaborative and Organisational Learning / Michael Prilla, Viktoria Pammer and Silke Balzert
• eAssessment for 21st Century Learning and Skills / Christine Redecker, Yves Punie and Anusca Ferrari
• Supporting Educators to Discover and Select ICT Tools with SEEK-AT-WD / Adolfo Ruiz-Calleja, Guillermo Vega-Gorgojo, Areeb Alowisheq, Juan Ignacio Asensio-Pérez and Thanassis Tiropanis
• Key Action Extraction for Learning Analytics / Maren Scheffel, Katja Niemann, Derick Leony, Abelardo Pardo and Hans-Christian Schmitz, et al.
• Using Local and Global Self-evaluations to Predict Students' Problem Solving Behaviour / Lenka Schnaubert, Eric Andrès, Susanne Narciss, Sergey Sosnovsky and Anja Eichelmann, et al.
• Taming Digital Traces for Informal Learning: A Semantic-Driven Approach / Dhavalkumar Thakker, Dimoklis Despotakis, Vania Dimitrova, Lydia Lau and Paul Brna.

• Analysing the Relationship between ICT Experience and Attitude toward E-Learning: Comparing the Teacher and Student Perspectives in Turkey / Dursun Akaslan and Effie Lai-Chong Law
• Integration of External Tools in VLEs with the GLUE! Architecture: A Case Study / Carlos Alario-Hoyos, Miguel Luis Bote-Lorenzo, Eduardo Gómez-Sánchez, Juan Ignacio Asensio-Pérez and Guillermo Vega-Gorgojo, et al.
• Mood Tracking in Virtual Meetings / Angela Fessl, Verónica Rivera-Pelayo, Viktoria Pammer and Simone Braun
• Teachers and Students in Charge: Using Annotated Model Solutions in a Functional Programming Tutor / Alex Gerdes, Bastiaan Heeren and Johan Jeuring
• The Effect of Predicting Expertise in Open Learner Modeling / Martin Hochmeister, Johannes Daxböck and Judy Kay
• Technology-Embraced Informal-in-Formal-Learning / Isa Jahnke
• Towards Automatic Competence Assignment of Learning Objects / Ricardo Kawase, Patrick Siehndel, Bernardo Pereira Nunes, Marco Fisichella and Wolfgang Nejdl
• Slicepedia: Automating the Production of Educational Resources from Open Corpus Content / Killian Levacher, Seamus Lawless and Vincent Wade
• Fostering Multidisciplinary Learning through Computer-Supported Collaboration Script: The Role of a Transactive Memory Script / Omid Noroozi, Armin Weinberger, Harm J.A. Biemans, Stephanie D. Teasley and Martin Mulder.

• Mobile Gaming Patterns and Their Impact on Learning Outcomes: A Literature Review / Birgit Schmitz, Roland Klemke and Marcus Specht
• Adaptation "in the Wild": Ontology-Based Personalization of Open-Corpus Learning Material / Sergey Sosnovsky, I. -Han Hsiao and Peter Brusilovsky
• Encouragement of Collaborative Learning Based on Dynamic Groups / Ivan Srba and Mária Bieliková
• An Authoring Tool to Assist the Design of Mixed Reality Learning Games / Charlotte Orliac, Christine Michel and Sébastien George
• An Automatic Evaluation of Construction Geometry Assignments / Šárka Gergelitsová and Tomáš Holan
• Ask-Elle: A Haskell Tutor: Demonstration / Johan Jeuring, Alex Gerdes and Bastiaan Heeren
• Backstage -- Designing a Backchannel for Large Lectures / Vera Gehlen-Baum, Alexander Pohl, Armin Weinberger and François Bry
• Demonstration of the Integration of External Tools in VLEs with the GLUE! Architecture / Carlos Alario-Hoyos, Miguel Luis Bote-Lorenzo, Eduardo Gómez-Sánchez, Juan Ignacio Asensio-Pérez and Guillermo Vega-Gorgojo, et al.
• Energy Awareness Displays: Prototype for Personalised Energy Consumption Feedback / Dirk Börner, Jeroen Storm, Marco Kalz and Marcus Specht
• I-Collaboration 3.0: A Model to Support the Creation of Virtual Learning Spaces / Eduardo A. Oliveira, Patricia Tedesco and Thun Pin T.F. Chiu.

• Learning to Learn Together through Planning, Discussion and Reflection on Microworld-Based Challenges / Manolis Mavrikis, Toby Dragon, Rotem Abdu, Andreas Harrer and Reuma De Groot, et al.
• Making Learning Designs Happen in Distributed Learning Environments with GLUE!-PS / Luis Pablo Prieto, Juan Alberto Muñoz-Cristóbal, Juan Ignacio Asensio-Pérez and Yannis Dimitriadis
• Math-Bridge: Adaptive Platform for Multilingual Mathematics Courses / Sergey Sosnovsky, Michael Dietrich, Eric Andrès, George Goguadze and Stefan Winterstein
• MEMO -- Situated Learning Services for e-Mobility / Holger Diener, Katharina Freitag, Tobias Häfner, Antje Heinitz and Markus Schäfer, et al.
• PINGO: Peer Instruction for Very Large Groups / Wolfgang Reinhardt, Michael Sievers, Johannes Magenheim, Dennis Kundisch and Philipp Herrmann, et al.
• Proportion: Learning Proportional Reasoning Together / Jochen Rick, Alexander Bejan, Christina Roche and Armin Weinberger
• Supporting Goal Formation, Sharing and Learning of Knowledge Workers / Colin Milligan, Anoush Margaryan and Allison Littlejohn
• U-Seek: Searching Educational Tools in the Web of Data / Guillermo Vega-Gorgojo, Adolfo Ruiz-Calleja, Juan Ignacio Asensio-Pérez and Iván M. Jorrín-Abellán
• XESOP: A Content-Adaptive M-Learning Environment / Ivan Madjarov and Omar Boucelma.

• A Collaboration Based Community to Track Idea Diffusion Amongst Novice Programmers / Reilly Butler, Greg Edelston, Jazmin Gonzalez-Rivero, Derek Redfern and Brendan Ritter, et al.
• Argument Diagrams in Facebook: Facilitating the Formation of Scientifically Sound Opinions / Dimitra Tsovaltzi, Armin Weinberger, Oliver Scheuer, Toby Dragon and Bruce M. McLaren
• Authoring of Adaptive Serious Games / Maurice Hendrix, Evgeny Knutov, Laurent Auneau, Aristidis Protopsaltis and Sylvester Arnab, et al.
• Collaborative Learning and Knowledge Maturing from Two Perspectives / Uwe V. Riss and Wolfgang Reinhardt
• Computer Supported Intercultural Collaborative Learning: A Study on Challenges as Perceived by Students / Vitaliy Popov, Omid Noroozi, Harm J.A. Biemans and Martin Mulder
• Just4me: Functional Requirements to Support Informal Self-directed Learning in a Personal Ubiquitous Environment / Ingrid Noguera, Iolanda Garcia, Begoña Gros, Xavier Mas and Teresa Sancho
• Observations Models to Track Learners' Activity during Training on a Nuclear Power Plant Full-Scope Simulator / Olivier Champalle, Karim Sehaba and Alain Mille
• Practical Issues in e-Learning Multi-Agent Systems / Alberto González Palomo
• Students' Usage and Access to Multimedia Learning Resources in an Online Course with Respect to Individual Learning Styles as Identified by the VARK Model / Tomislava Lauc, Sanja Kišiček and Petra Bago
• Technology-Enhanced Replays of Expert Gaze Promote Students' Visual Learning in Medical Training / Marko Seppänen and Andreas Gegenfurtner
• Towards Guidelines for Educational Adventure Games Creation (EAGC) / Gudrun Kellner, Paul Sommeregger and Marcel Berthold.

This book constitutes the refereed proceedings of the 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, held in Saarbrucken, Germany, in September 2012. The 26 revised full papers presented were carefully reviewed and selected from 130 submissions. The book also includes 12 short papers, 16 demonstration papers, 11 poster papers, and 1 invited paper. Specifically, the programme and organizing structure was formed through the themes: mobile learning and context; serious and educational games; collaborative learning; organisational and workplace learning; learning analytics and retrieval; personalised and adaptive learning; learning environments; academic learning and context; and, learning facilitation by semantic means.

• The Birth of Model Checking
• The Beginning of Model Checking: A Personal Perspective
• Verification Technology Transfer
• New Challenges in Model Checking
• A Retrospective on Mur?
• Model Checking: From Tools to Theory
• Value Iteration
• Fifteen Years of Formal Property Verification in Intel
• A View from the Engine Room: Computational Support for Symbolic Model Checking
• From Church and Prior to PSL
• On the Merits of Temporal Testers
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
• SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.
(source: Nielsen Book Data)

• Twenty-Five Years of Logic Programming in Italy.- Logic Programming in Italy: A Historical Perspective.- Theoretical Foundations and Semantics of Logic Programming.- Theory-Specific Automated Reasoning.- Constraint Logic Programming.- Knowledge Representation and Non-monotonic Reasoning.- The Transformational Approach to Program Development.- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming.- Answer Set Programming.- Logic Programming Languages for Databases and the Web.- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?.- Concurrent and Reactive Constraint Programming.- Proof-Theoretic and Higher-Order Extensions of Logic Programming.- Transformation and Debugging of Functional Logic Programs.- 25 Years of Applications of Logic Programming in Italy.
• (source: Nielsen Book Data)

This book celebratesthe 25th anniversaryof GULP-the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding distinguished disser- tions. WeintheinternationallogicprogrammingcommunitylookuponGULPwith a combination of envy, admiration and gratitude. We are pleased to attend its conferences and summer schools, where we can learn about scienti?c advances, catch up with old friends and meet young students. It is an honour for me to acknowledge our appreciation to GULP for its outstanding contributions to our ?eld and to express our best wishes for its continuing prosperity in the future. March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association. That was the starting point of a long adventure in science, that 1 we are still experiencing 25 years later. This volume celebrates this important event.
(source: Nielsen Book Data)

• Part 1: High-order Adapted Meshes
• P2 Mesh Optimization Operators
• Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces
• Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes
• Curvilinear Mesh Adaptation
• Part 2 : Mesh and Geometry Blocks, Hex mesh generation
• A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems
• Representing Three-dimensional Cross Fields Using 4th Order Tensors
• Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing
• An Angular Method with Position Control for Block Mesh Squareness Improvement
• Dual Surface Based Approach to Block Decomposition of Solid Models
• Automatic Blocking of Shapes using Evolutionary Algorithm
• Multi-block mesh refinement by adding mesh singularities
• Part 3: Simplicial Meshes
• Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation
• Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes
• A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping
• Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement
• Part 4: Curved High-Order Meshes
• Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm
• Curving for Viscous Meshes
• An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes
• Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem
• Part 5: Parallel and Fast Meshing Methods
• Exact Fast Parallel Intersection of Large 3-D Triangular Meshes
• Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms
• Accurate Manycore-Accelerated Manifold Surface Remesh Kernels
• Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning
• Discrete Mesh Optimization on GPU
• Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions.

The International Meshing Roundtable (IMR) brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as well as technical applications in science and engineering, geometric modelling, computer graphics, and visualization.-- Provided by publisher.

• Intersection of digital heritage
• Engineering
• Computer science
• Mathematics
• Material science
• Architecture
• Civil engineering and archaeology.

This book contains selected contributions from some of the most renowned researchers in the field of Digital Heritage and 3D representation of the Past, based in large part on invited presentations from the workshop "Computational Geometry and Ontologies for Cultural Heritage 3D Digital Libraries: What are the future alternatives for Europeana?" which was held in conjunction with the International Conference on Cultural Heritage EuroMed2012 (www.euromed2012.eu) on the island of Cyprus in October 2012. This was the official event of the Cyprus Presidency of the Council of the European Union on Progress in Cultural Heritage Preservation. The aim of this book is to provide an insight to ongoing research and future directions in this novel, continuously very promising and multi-disciplinary evolving field, which lies at the intersection of digital heritage, engineering, computer science, mathematics, material science, architecture, civil engineering and archaeology

• A Model Classification for Digital 3D Reconstruction in the Context of Humanities.- Typical Workflows, Documentation Approaches and Principles of 3D Digital Reconstruction of Cultural Heritage.- Digital Reconstruction in Historical Research and its Implications for Virtual Research Environments.- Digital Research Infrastructures: DARIAH.- Heritage and Museum Displays. Buildings, Cities, Landscapes, Illuminated Models.- Interpretation of Sensor-based 3D Documentation.- 3D Model, Linked Database, and Born-Digital E-Book: An Ideal Approach to Archaeological Research and Publication.- 3D Models on Triple Paths.- New Pathways for Documenting and Visualizing Virtual Reconstructions.- Classification schemes for visualization of uncertainty in digital hypothetical reconstruction.- Show me the Data!: Structuring Archaeological Data to Deliver Interactive, Transparent 3D Reconstructions in a 3D WebGIS.- Enrichment and Preservation of Architectural Knowledge.- Simplifying Documentation of Digital Reconstruction Processes. Introducing an interactive documentation system.- Cultural Heritage in a Spatial Context. Towards an Integrative, Interoperable, and Participatory Data and Information Management.
• (source: Nielsen Book Data)

This book reflects a current state of the art and future perspectives of Digital Heritage focusing on not interpretative reconstruction and including as well as bridging practical and theoretical perspectives, strategies and approaches. Comprehensive key challenges are related to knowledge transfer and management as well as data handling within a interpretative digital reconstruction of Cultural Heritage including aspects of digital object creation, sustainability, accessibility, documentation, presentation, preservation and more general scientific compatibility. The three parts of the book provide an overview of a scope of usage scenarios, a current state of infrastructures as digital libraries, information repositories for an interpretative reconstruction of Cultural Heritage; highlight strategies, practices and principles currently used to ensure compatibility, reusability and sustainability of data objects and related knowledge within a 3D reconstruction work process on a day to day work basis; and show innovative concepts for the exchange, publishing and management of 3D objects and for inherit knowledge about data, workflows and semantic structures.
(source: Nielsen Book Data)

This book constitutes the strictly refereed post-workshop proceedings of the European Workshop on 3D Structure from Multiple Images of Large-Scale Environments, SMILE'98, held in conjunction with ECCV'98 in Freiburg, Germany, in June 1998.The 21 revised full papers presented went through two cycles of reviewing and were carefully selected for inclusion in the book. The papers are organized in sections on multiview relations and correspondence search, 3D structure from multiple images, callibration and reconstruction using scene constraints, range integration and augmented reality application.
(source: Nielsen Book Data)

• Historical and Philosphical Issues.- AI in the 21st Century - With Historical Reflections.- The Physical Symbol System Hypothesis: Status and Prospects.- Fifty Years of AI: From Symbols to Embodiment - and Back.-
• 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years.- Evolutionary Humanoid Robotics: Past, Present and Future.- Philosophical Foundations of AI.- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences.- Information Theory and Quantification.- On the Information Theoretic Implications of Embodiment - Principles and Methods.- Development Via Information Self-structuring of Sensorimotor Experience and Interaction.- How Information and Embodiment Shape Intelligent Information Processing.- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence.- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications.- Morphology and Dynamics.- AI in Locomotion: Challenges and Perspectives of Underactuated Robots.- On the Task Distribution Between Control and Mechanical Systems.- Bacteria Integrated Swimming Microrobots.- Adaptive Multi-modal Sensors.- Neurorobotics.- What Can AI Get from Neuroscience?.- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior.- Adaptive Behavior Control with Self-regulating Neurons.- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence.- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics.- Machine Intelligence, Cognition, and Natural Language Processing.- Tests of Machine Intelligence.- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots.- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition.- Computer-Supported Human-Human Multilingual Communication.- Human-Like Intelligence: Motivation, Emotions, and Consciousness.- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence.- Intrinsically Motivated Machines.- Curious and Creative Machines.- Applying Data Fusion in a Rational Decision Making with Emotional Regulation.- How to Build Consciousness into a Robot: The Sensorimotor Approach.- Robot Platforms.- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI.- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition.- Intelligent Mobile Manipulators in Industrial Applications:Experiences and Challenges.- Art and AI.- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology.
• (source: Nielsen Book Data)

This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verita, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
(source: Nielsen Book Data)

• Historical and Philosphical Issues.- AI in the 21st Century - With Historical Reflections.- The Physical Symbol System Hypothesis: Status and Prospects.- Fifty Years of AI: From Symbols to Embodiment - and Back.-
• 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years.- Evolutionary Humanoid Robotics: Past, Present and Future.- Philosophical Foundations of AI.- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences.- Information Theory and Quantification.- On the Information Theoretic Implications of Embodiment - Principles and Methods.- Development Via Information Self-structuring of Sensorimotor Experience and Interaction.- How Information and Embodiment Shape Intelligent Information Processing.- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence.- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications.- Morphology and Dynamics.- AI in Locomotion: Challenges and Perspectives of Underactuated Robots.- On the Task Distribution Between Control and Mechanical Systems.- Bacteria Integrated Swimming Microrobots.- Adaptive Multi-modal Sensors.- Neurorobotics.- What Can AI Get from Neuroscience?.- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior.- Adaptive Behavior Control with Self-regulating Neurons.- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence.- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics.- Machine Intelligence, Cognition, and Natural Language Processing.- Tests of Machine Intelligence.- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots.- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition.- Computer-Supported Human-Human Multilingual Communication.- Human-Like Intelligence: Motivation, Emotions, and Consciousness.- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence.- Intrinsically Motivated Machines.- Curious and Creative Machines.- Applying Data Fusion in a Rational Decision Making with Emotional Regulation.- How to Build Consciousness into a Robot: The Sensorimotor Approach.- Robot Platforms.- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI.- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition.- Intelligent Mobile Manipulators in Industrial Applications:Experiences and Challenges.- Art and AI.- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology.
• (source: Nielsen Book Data)

This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verita, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
(source: Nielsen Book Data)

• Solving open questions with an automated theorem-proving program
• STP: A mechanized logic for specification and verification
• A look at TPS
• Logic machine architecture: Kernel functions
• Logic machine architecture: Inference mechanisms
• Procedure implementation through demodulation and related tricks
• The application of Homogenization to simultaneous equations
• Meta-level inference and program verification
• An example of FOL using metatheory
• Comparison of natural deduction and locking resolution implementations
• Derived preconditions and their use in program synthesis
• Automatic construction of special purpose programs
• Deciding combinations of theories
• Exponential improvement of efficient backtracking
• Exponential improvement of exhaustive backtracking: data structure and implementation
• Intuitionistic basis for non-monotonic logic
• Knowledge retrieval as limited inference
• On indefinite databases and the closed world assumption
• Proof by matrix reduction as plan + validation
• Improvements of a tautology-testing algorithm
• Representing infinite sequences of resolvents in recursive First-Order Horn Databases
• The power of the Church-Rosser property for string rewriting systems
• Universal unification and a classification of equational theories.

• pt. 1. Connectionist models of neurons, learning processes, and artificial intelligence
• pt. 2. Bio-inspired applications of connectionism.