Page 9
Page 9
Progress in Artificial Life ; 3rd Australian Conference, ACAL 2007 Gold Coast, Australia, December 4-6, 2007 Proceedings
This book constitutes the refereed proceedings of the Third Australian Conference on Artificial Life, ACAL 2007, held in Gold Coast, Australia, in December 2007. Research in Alife covers the main areas of biological behaviour as a metaphor for computational models, computational models that reproduce/duplicate a biological behaviour, and computational models to solve biological problems.
Programming languages and systems ; 31st European symposium on programming, ESOP 2022, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.
Programming for Computations - MATLAB/Octave : A Gentle Introduction to Numerical Simulations with MATLAB/Octave
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.
Product Lifecycle Management
The significance of product lifecycle management (PLM - Product Lifecycle Management, formerly referred to, in a narrower frame of reference, as PDM - Product Data Management) is increasing, especially for companies in the manufacturing, high technology, and service industries. Product and component lifecycles are shortening while, at the same time, new products must be delivered to market more quickly than before. Many manufacturing and service companies are also trying to grow out of a bulk provider role. In the future they will be p- viding configurable and flexible solutions rather than just individual products. This leads companies to form networks in which each actor specializes in the planning, manufacture or integration of products in a certain field. Information concerning common products must pass quickly, faultlessly, and automatically between companies so that they can compete effectively in international markets. In today's industrial production, therefore, PLM is an essential tool for coping with the challenges of more demanding global competition and ever-shortening product and component lifecycles and growing customer needs.
Product Development within Artificial Intelligence, Ethics and Legal Risk : Exemplary for Safe Autonomous Vehicles
This book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge of Artificial Intelligence and limits of image recognition. The study bases on technical, ethical, and legal requirements with examples concerning autonomous vehicles. As the first of its kind, it analyzes all reported car accidents state wide (1.28 million) over a 10-year period. Integrating of highly sensitive international court rulings and growing consumer expectations make this book a helpful guide for product and team development from initial concept until market launch.
Process Mining Handbook
Comprises all the single courses given as part of the First Summer School on Process Mining, PMSS 2022, which was held in Aachen, Germany, during July 4-8, 2022. The 17 chapters presented in this volume were organized in the following topical sections: introduction; process discovery; conformance checking; data preprocessing; process enhancement and monitoring; assorted process mining topics; industrial perspective and applications; and closing.
Process Automation Handbook : A Guide to Theory and Practice
The handbook focuses on the knowledge needed to cope with the vast majority of process control and automation situations. In doing so, a number of sensible balances have been carefully struck between breadth and depth, theory and practice, classical and modern, technology and technique, information and understanding. A thorough grounding is provided for every topic. If more detailed information is required, the reader is referred to more specialised texts in the knowledge that he or she has been provided with a sound platform to ask the right questions and understand the answers. Process Automation Handbook will be of value to any engineer actively concerned with process control and automation in the chemical and process industries and final-year undergraduate and postgraduate students studying process control.
Proceedings of the Scientific-Practical Conference "Research and Development - 2016"
Relates to the III Annual Conference hosted by the Russian Federal Ministry of Education and Science in December 2016. This event has summarized, analyzed and discussed the interim results, academic outputs and scientific achievements of the Russian Federal Targeted Programme for Research and Development in priority areas of development of the Russian Scientific and Technological Complex for 2014-2020. It contains 75 selected papers from 6 areas considered priority by the Federal programme: computer science, ecology & environment sciences; energy and energy efficiency; life sciences; nanoscience & nanotechnology; and transport & communications. The chapters report the results of the 3-years research projects supported by the Programme and finalized in 2016.
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005)
This book contains the proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005) held in Awara-Spa, Fukui, JAPAN, from September 20 to 22, 2005. The symposium theme has been "highly intelligent technology for robots," to realize the autonomy in unknown and dynamic environments including humans.
Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)
Selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication.
Probing Experience : From Assessment of User Emotions and Behaviour to Development of Products
Adheres to the vision that in the future compelling user experiences will be key differentiating benefits of products and services. Evaluating the user experience plays a central role, not only during the design process,but also during regular usage: for instance a video recorder that recommends TV programs that fit your current mood, a product that measures your current level of relaxation and produces advice on how to balance your life, or a module that alerts a factory operator when he is getting drowsy.
Pro C# 2008 and the .NET 3.5 Platform
.NET 3.0 was more of an augmentative release, essentially providing three new APIs: Windows Presentation Foundation (WPF), Windows Communication Foundation (WCF) and Windows Workflow Foundation (WF). As you would expect, coverage of the "W's" has been expanded a great deal in this version of the book from the previous Special Edition text. Unlike .NET 3.0, .NET 3.5 provides dozens of C# language features and .NET APIs. This edition of the book will walk you through all of this material using the same readable approach as was found in previous editions. Rest assured, you'll find detailed coverage of Language Integrated Query (LINQ), the C# 2008 language changes (automatic properties, extension methods, anonymous types, etc.) and the numerous bells and whistles of Visual Studio 2008.
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. The presentation starts with the verification of sequential programs and proceeds in gradual stages to the verification of concurrent and then distributed programs. Complete programs are used to demonstrate each construct and concept, and the source code of these programs, together with that of longer case studies, are available on the companion website.The book describes free software that the author has developed: jSpin—an integrated development environment for Spin, SpinSpider.
PRICAI 2006 : Trends in Artificial Intelligence ; 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings
Constitutes the refereed proceedings of the 9th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2006, held in Guilin, China in August 2006. The book presents 81 revised full papers and 87 revised short papers together with 3 keynote talks.
Precision Assembly Technologies for Mini and Micro Products ; Proceedings of the IFIP TC5 WG5.5 Third International Precision Assembly Seminar (IPAS'2006), 19-21 February 2006, Bad Hofgastein, Austria
The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.
Practice and Theory of Automated Timetabling VI ; 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers
This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory of Automated Timetabling (PATAT) which was organized in Brno, Czech Republic, from August 30 to September 1 of 2006. The PATAT conferences, which are held every 2 years, bring together - searchers and practitioners from across the broad spectrum of inter-disciplinary research activity in search methodologies for automated timetable generation.
Practice and Theory of Automated Timetabling V ; 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
This volume contains a selection of the papers presented at the Sixth Int- national Conference on the Practice and Theory of Automated Timetabling (PATAT) which was organized in Brno, Czech Republic, from August 30 to September 1 of 2006. The PATAT conferences, which are held every 2 years, bring together - searchers and practitioners from across the broad spectrum of inter-disciplinary research activity in search methodologies for automated timetable generation. This includes university timetabling, school timetabling, personnel rostering, transportation timetabling, sports scheduling. The programme of the 2006 c- ference featured 70 presentations which represented the state of the art in au- mated timetabling: there were four plenary papers, 17 full papers, 41 extended abstracts, and eight system demonstrations. After the conference, all authors were invited to submit their papers to a second round of rigorous refereeing for this volume of selected revised papers. We are pleased to have accepted 25 - pers for this volume. This ?gure represents the highest number of acceptances in a PATAT post-proceedings volume and is a testament to the high standards of the papers that were submitted. The organization of the book is structured around particular problem areas.
Practical Problems in VLSI Physical Design Automation
Practical Problems in VLSI Physical Design Automation contains problems and solutions related to various well-known algorithms used in VLSI physical design automation. Dr. Lim believes that the best way to learn new algorithms is to walk through a small example by hand. This knowledge will greatly help understand, analyze, and improve some of the well-known algorithms. His vision in this book is to see the students realize that the learning curve is not so steep after all.
Practical MythTV : Building a PVR and Media Center PC
MythTV is a powerful open source personal video recorder (PVR) application that runs on Linux. Developed for several years by volunteers, it offers a stable and extensible platform for automating all of the things you would expect from a PVR, and much more. Practical MythTV: Building a PVR and Media Center PC takes a project-based approach to implementing your own MythTV setup. You get to pick and choose the functionality you want to install for your PVR, and will learn the details of everything from selecting hardware to advanced customization.
