Page 7
Page 7
Formal Modelling in Electronic Commerce
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, and policies of commerce itself. These include business objects such as bills of lading and contracts; processes such as workflows and trade procedures; and policies covering such problems as contract or procedure validation and strategic behaviour. This book is about theory, formalization, and proof-of-concept implementation of these and related matters. In addition to presenting state-of-the-art results, the book places this work in the context of nearly twenty years of developments in formal modelling for electronic commerce. A comprehensive bibliography and index are provided.
Food physics : Physical properties : Measurement and applications
Food Physics deals with the physical properties of food, food ingredients and their measurement. Physical properties of food play a key role in all fields where modern technological processes are applied for the generation of food raw materials and the production of food. The determination of physical properties of food and related products are a pre-requisite for planning, production engineering and automation processes in today’s food, pharmaceutical and cosmetics industries as well as in all related quality control activities.This book describes the principles of food physics starting with the very basics and focuses on the needs of practitioners without omitting important basic principles.
Field and Service Robotics ; Vol. 25 : Results of the 5th International Conference
Field robots are robots which operate in outdoor, complex, and dynamic environments. Service robots are those that work closely with humans, with particular applications involving indoor and structured environments. There are a wide range of topics presented in this issue on field and service robots including: Agricultural and Forestry Robotics, Mining and Exploration Robots, Robots for Construction, Security & Defence Robots, Cleaning Robots, Autonomous Underwater Vehicles and Autonomous Flying Robots.
Field and service robotics : Results of the 6th international conference
This book presents the results of the sixth edition of Field and Service Robotics, FSR07, held in Chamonix, France, on 9th - 12th July 2007. The conference provided a forum for researchers, professionals and robot manufacturers to exchange up-to-date technical knowledge and experience. This book offers a collection of a broad range of topics including: Underwater Robots and Systems, Autonomous Navigation for Unmanned Aerial Vehicles, Simultaneous Localization and Mapping, Climbing Robotics, Sensor Fusion.
Fabbriche, sistemi, organizzazioni : Storia dell'ingegneria industriale = Factories, systems, organizations : A history of industrial engineering
This book examines the origin of the technological and organizational challenges of industry in Europe and the United States and the stages of its theoretical formulation; the creation of the figure of the industrial engineer between the nineteenth and twentieth centuries; and the elaboration of the technological disciplines and of the language and of the fundamental concepts (system, automation, control, optimization, network) of modern industrial engineering. Divided into three chronologically organized parts, each chapter is accompanied by readings, bibliographic information for in-depth study and illustrative sheets of historical, biographical aspects (relating to some great engineers, scientists and philosophers), terminological and mathematical-technical aspects.
Experimental Robotics : The 10th International Symposium on Experimental Robotics
The goal of ISER is to provide a forum for research in robotics that focuses on novelty of theoretical contributions validated by experimental results. The meetings are conceived to bring together, in a small group setting, researchers from around the world who are in the forefront of experimental robotics research.
Evolutionary Swarm Robotics : Evolving Self-Organising Behaviours in Groups of Autonomous Robots
In this book the use of ER techniques for the design of self-organising group behaviours, for both simulated and real robots is introduced. This research has a twofold value. From an engineering perspective, an automatic methodology for synthesising complex behaviours in a robotic system is described.
Essential Issues in SOC Design : Designing Complex Systems-on-Chip
SOC design is fast becoming the key area of focus that engineers and researchers from the Electronic Design Automation field are focusing on in their quest to further develop Integrated Circuit technology. The more systems and even networks that we can integrate on one piece of silicon, the faster, cheaper, more powerful and efficient the technology will become. Essential Issues in SOC Design contains valuable academic and industrial examples for those involved with the design of complex SOCs, all contributors are selected from a region of the world that is generally known to lead the "SOC-Revolution", namely Asia.
Engineering psychology and cognitive ergonomics ; 7th International Conference, EPCE 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
This book address the latest research and development efforts and highlight the human aspects of design and use of computing systems. It cover the entire field of Human-Computer Interaction, addressing major - vances in knowledge and effective use of computers in a variety of application areas. This volume contains papers in the thematic area of En- neering Psychology and Cognitive Ergonomics, addressing the following major topics: Cognitive and Affective Issues in User Interface Design, Cognitive Workload and Human Performance, Cognitive Modeling and Measuring, Safety Critical Applications and Systems
Encyclopedia of GIS "Geographical Information Sciences"
provides up-to-date information on emerging topics such as spatial big data, smart-phone GIS, urban computing and mobile recommender systems. It also expands the first edition’s rich set of GIS-related commercial and societal applications such as geo-targeting, geo-fencing and understanding climate changes, while enabling more comprehensive coverage of classical GIS topics such as map projections, global positioning systems and spatial cognition. The entries explain the key software, data sets and processes used by geographers and computational scientists. Additionally, the reference emphasizes the role of GIS in business and mobile intelligence. By offering more diversified GIS-related topics from theory and research than most of the other available literature, the authors equip newcomers to the field with principles as well as applications.
Encyclopedia of Algorithms
Provides a comprehensive set of solutions to important algorithmic problems for students and researchers, including high-impact solutions from the most recent decade.A must-have for computer scientists, this encyclopedic reference has been edited by Ming Yang Kao, Editor-in-Chief of the top journal in the field, Algorithmica, All of the entries have been written and peer-reviewed by experts in the field. Nearly 400 entries are organized alphabetically by problem, with subentries for distinct solutions.
Emerging solutions for future manufacturing Systems ; IFIP TC 5 / WG 5.5. Sixth IFIP International conference on information technology for balanced automation systems in manufacturing and services, 27-29 September 2004, Vienna, Austria
This book includes the papers selected for the BASYS’04 conference, which was held in Vienna, Austria in September 2004 and sponsored by the International Federation for Information Processing (IFIP).
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Embedded Software and Systems Vol. 3605 ; 1st International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which was held in Hangzhou, P. R. China, 9–10 December 2004. Embedded Software and Systems technology is of increasing importance for a wide range of industrial areas, such as aerospace, automotive, telecommunication, and manufacturing automation. Embedded technology is playing an increasingly dominant role in modern society. This is a natural outcome of amazingly fast developments in the embedded field. The ICESS 2004 conference brought together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software and systems development, and provided them with a forum to present and exchange their ideas, results, work in progress, and experience in all areas of embedded systems research and development. The ICESS 2004 conference attracted much more interest than expected.
Embedded Robotics : Mobile Robot Design and Applications with Embedded Systems
The EyeBot controller and mobile robots have evolved over more than a decade. This book gives an in-depth introduction to embedded systems and autonomous mobile robots, using the EyeBot controller (EyeCon) and the EyeBot mobile robot family as application examples. This book combines teaching and research material and can be used for courses in Embedded Systems as well as in Robotics and Automation.
Embedded robotics : From mobile robots to autonomous vehicles with Raspberry Pi and Arduino
Presents a unique examination of mobile robots and autonomous vehicles using embedded systems, from introductory to advanced level. It is structured in four parts, dealing with Embedded Systems (processors, sensors, actuators, control, multitasking and communication), Robot Hardware (driving and walking robots, autonomous boats and planes, as well as robot manipulators), Robot Software (localization, navigation, image processing and automotive systems), and Artificial Intelligence (neural networks, genetic algorithms and deep learning). The book is organized for ease of use, with numerous figures, photographs, and worked example programs. The book is written as a text for courses in computer science, computer engineering, IT, electronics engineering, and mechatronics, as well as a guide for robot hobbyists and researchers.
Embedded and Ubiquitous Computing ; International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings
Embedded and ubiquitous computing is an exciting new paradigm that p- vides computing and communication services all the time, everywhere. Now we can attach computing and communication devices to human bodies to mo- tor our health, embed computing chips into brains to cure memory losses, or make smart fabrics so they can change colors or generate heat.
Embedded and Ubiquitous Computing ; IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings
This book provides a forum for engineers and scientists in academia, industry, and governmentto address challenges and to present and discuss their ideas, results, work in progress and experience.
Electronic Government ; 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007, Proceedings
The volume includes information and technology to support and improve public policies and government operations, engage citizens, and provide comprehensive and timely government services”.
Drive Solutions : Mechatronics for Production and Logistics
Highly automated production and logistics facilities require mechatronic drive solutions. This book describes in which way the industrial production and logistics work and shows the structure of the drive solutions required for this purpose.
