Page 2
Page 2
Fundamentals of computation theory ; 15th International symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
This book constitutes the refereed proceedings of the 15th International Symposium Fundamentals of Computation Theory, FCT 2005, held in L]beck, Germany in August 2005. The 46 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 105 submissions. The papers are organized in topical sections on circuits, automata, complexity, approximability, computational and structural complexity, graphs and complexity, computational game theory, visual cryptography and computational geometry, query complexity, distributed systems, automata and formal languages, semantics, approximation algorithms, average case complexity, algorithms, graph algorithms, and pattern matching.
Fundamentals of Artificial Intelligence
Fundamentals of Artificial Intelligence introduces the foundations of present day AI and provides coverage to recent developments in AI such as Constraint Satisfaction Problems, Adversarial Search and Game Theory, Statistical Learning Theory, Automated Planning, Intelligent Agents, Information Retrieval, Natural Language & Speech Processing, and Machine Vision. The book features a wealth of examples and illustrations, and practical approaches along with the theoretical concepts. It covers all major areas of AI in the domain of recent developments. The book is intended primarily for students who major in computer science at undergraduate and graduate level but will also be of interest as a foundation to researchers in the area of AI.
Fun and Games ; 2nd International conference, Eindhoven, The Netherlands, October 20-21, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Fun and Games, held in Eindhoven, The Netherlands, in October 2008.The 17 revised full papers, presented together with 2 invited talks were carefully reviewed and selected from a total of 36 submissions. The papers encompass the study of computer games, game development and experiences by researchers from social sciences, computing, electrical engineering, design, etc. Main focus is given to topics such as tightly-coupled embodied control of movement-sensitive mobile devices, hypercomputation and cultural computing, emerging gaming paradigms.
Frontiers in Algorithmics ; 2nd Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings
This book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, held in Changsha, China, in June 2008.The 33 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 80 submissions. The papers were selected for 9 special focus tracks in the areas of biomedical informatics, discrete structures, geometric information processing and communication, games and incentive analysis.
From Animals to Animats 9 ; 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Simulation of Adaptive Behavior, SAB 2006. The 35 revised full papers and 35 revised poster papers presented are organized in topical sections on the animat approach to adaptive behaviour, perception and motor control, action selection and behavioral sequences, navigation and internal world models, learning and adaptation, evolution, collective and social behaviours, applied adaptive behavior and more.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Foundation Mathematics for Computer Science : A Visual Approach
In this second edition of Foundation Mathematics for Computer Science, John Vince has reviewed and edited the original book and written new chapters on combinatorics, probability, modular arithmetic and complex numbers. These subjects complement the existing chapters on number systems, algebra, logic, trigonometry, coordinate systems, determinants, vectors, matrices, geometric matrix transforms, differential and integral calculus. During this journey, the author touches upon more esoteric topics such as quaternions, octonions, Grassmann algebra, Barrycentric coordinates, transfinite sets and prime numbers.
Formal Modeling and Analysis of Timed Systems ; Vol. 3829 ; 3rd International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems. The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Experimental and Efficient Algorithms ; 4th International Workshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings
This proceedings volume contains the accepted papers and invited talks p- sented at the 4th International Workshop of E?cient and Experimental Al- rithms (WEA 2005), that was held May 10–13, on Santorini Island, Greece. The WEA events are intended to be an international forum for research on the design, analysis and especially the experimental implementation, evaluation and engineering of algorithms, as well as on combinatorial optimization and its applications. The?rstthreeworkshopsinthisserieswereheldinRiga(2001),MonteVerita (2003) and Rio de Janeiro (2004). Thisvolumecontains3invitedpapersrelatedtocorrespondingkeynotetalks.
Ergodic Dynamics : From Basic Theory to Applications
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples throughout, the author offers readers an approachable entry-point to the dynamics of ergodic systems. Modern and classical applications complement the theory on topics ranging from financial fraud to virus dynamics, offering numerous avenues for further inquiry. Starting with several simple examples of dynamical systems, the book begins by establishing the basics of measurable dynamical systems, attractors, and the ergodic theorems. From here, chapters are modular and can be selected according to interest. Highlights include the Perron–Frobenius theorem, which is presented with proof and applications that include Google PageRank. An in-depth exploration of invariant measures includes ratio sets and type III measurable dynamical systems using the von Neumann factor classification. Topological and measure theoretic entropy are illustrated and compared in detail, with an algorithmic application of entropy used to study the papillomavirus genome. A chapter on complex dynamics introduces Julia sets and proves their ergodicity for certain maps. Cellular automata are explored as a series of case studies in one and two dimensions, including Conway’s Game of Life and latent infections of HIV. Other chapters discuss mixing properties, shift spaces, and toral automorphisms.
Entertainment computing – ICEC 2007 ; 6th International Conference, Shanghai, China, September 15-17, 2007, Proceedings
This book are organized in topical sections on augmented, virtual and mixed reality, computer games, image processing, mesh and modeling, digital storytelling and interactive systems, sound, music and creative environments, video processing, rendering, computer animation and networks, game based interfaces, as well as robots and cyber pets.
Distributed artificial intelligence ; 2nd International conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Distributed Artificial Intelligence, DAI 2020, held in Nanjing, China, in October 2020. The 9 full papers presented in this book were carefully reviewed and selected from 22 submissions. DAI aims at bringing together international researchers and practitioners in related areas including general AI, multiagent systems, distributed learning, computational game theory, etc., to provide a single, high-profile, internationally renowned forum for research in the theory and practice of distributed AI.
Developing Services for the Wireless Internet
This book is for developers of wireless Internet services. It addresses the technical issues that can get in the way of the production of a successful service: variability of terminals, unstable technology, incomplete testing environment, variable bandwidth and quality of service. Useful techniques and methods when handing these issues are proposed using two case studies: a mobile game and a mobile trading service.
Designing Intelligent Construction Projects
Readers will find: Illuminating case study material that highlights how change management methodologies, game theory, and collaborative contractual design can deliver results Strategies for achieving lean, viable, and digitally oriented construction leadership fit for the modern market Rigorous discussions of the current and potential future impact of digitization on construction firms
Dependable computing ; 3rd Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
Cyber-physical systems : A model-based approach
In this concise yet comprehensive textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way.
Creative applications of artificial intelligence in education
Explores the synergy between AI and education, highlighting its potential impact on pedagogical practices. It navigates the evolving landscape of AI-powered educational technologies and suggests practical ways to personalise instruction, nurture human-AI co-creativity, and transform the learning experience. Spanning from primary to higher education, this short and engaging volume proposes concrete examples of how educational stakeholders can be empowered in their AI literacy to foster creativity, inspire critical thinking, and promote problem-solving by embracing AI as a tool for expansive learning. Structured in three parts, the book starts developing the creative engagement perspective for learning and teaching to then present practical applications of AI in K-12 and higher education, covering different fields (teacher education, professional education, business education) as well as different types of AI supported tools (games, chatbots, and AI assisted assessment).
Creating New Learning Experiences on a Global Scale ; 2nd European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September 17-20, 2007, Proceedings
It is holding more than 500 pages of combined wisdom on Technology Enhanced Learning (TEL) in your hands! With the advance of metadata, standards, learning objects, Web 2. 0 approaches to rip, mix and burn learning, wikis, blogs, syndication, user-generated content, W- based video, games and the ubiquitous availability of computing devices we can and have to offer more flexible learning services on a global scale.It provided a unique forum for all research related to technology enhanced learning, including its interactions with knowledge management, business processes and work environments.
