Page 1
Page 1
Numerical Methods and Applications ; 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006, Revised Papers
This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Numerical Methods and Applications, NMA 2006. The papers are organized in topical sections on numerical methods for hyperbolic problems, robust preconditioning solution methods, Monte Carlo and quasi-Monte Carlo for diverse applications, metaheuristics for optimization problems, uncertain/control systems and reliable numerics, interpolation and quadrature processes, large-scale computations in environmental modelling, and contributed talks.
Nonlinear kalman filtering for force-controlled robot tasks
This monograph focuses on how to achieve more robot autonomy by means of reliable processing skills. "Nonlinear Kalman Filtering for Force-Controlled Robot Tasks " discusses the latest developments in the areas of contact modeling, nonlinear parameter estimation and task plan optimization for improved estimation accuracy.
Multiparadigm Programming in Mozart/Oz ; 2nd International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers
Oz's concurrency model yields simplicity and clarity (because Oz makes it easier to express complex programs with many interacting components), g- erality, and better interfaces (because the data?ow model automatically makes interfaces more lightweight). Constraint programming in Oz again yields simplicity and clarity (because theprogrammercanexpresswhatneedstobetrueratherthanthemorecomplex issue of how to make it true), and o?ers a powerful mathematical notation that is di?cult to implement on top of languages that do not support it natively. Mozart's distributed computing model makes for improved interfaces and eases the evolution of systems. In my own work, one of the most important concernsistobeabletoquicklyscaleupaprototypeimplementationintoalar- scale service that can run reliably on thousands of computers, serving millions of users.
Multiobjective Optimization : Interactive and Evolutionary Approaches
Multiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such problems can arise in practically every field of science, engineering and business, and the need for efficient and reliable solution methods is increasing. The task is challenging due to the fact that, instead of a single optimal solution, multiobjective optimization results in a number of solutions with different trade-offs among criteria, also known as Pareto optimal or efficient solutions. Hence, a decision maker is needed to provide additional preference information and to identify the most satisfactory solution. Depending on the paradigm used, such information may be introduced before, during, or after the optimization process. Clearly, research and application in multiobjective optimization involve expertise in optimization as well as in decision support.
Multimedia big data computing for IoT applications : Concepts, paradigms and solutions
This book considers all aspects of managing the complexity of Multimedia Big Data Computing (MMBD) for IoT applications and develops a comprehensive taxonomy. It also discusses a process model that addresses a number of research challenges associated with MMBD, such as scalability, accessibility, reliability, heterogeneity, and Quality of Service (QoS) requirements, presenting case studies to demonstrate its application. Further, the book examines the layered architecture of MMBD computing and compares the life cycle of both big data and MMBD. Written by leading experts, it also includes numerous solved examples, technical descriptions, scenarios, procedures, and algorithms.
Multiaccess, Reservations & Queues
Reservation procedures constitute the core of many popular data transmission protocols. They consist of two steps: A request phase in which a station reserves the communication channel and a transmission phase in which the actual data transmission takes place. Such procedures are often applied in communication networks that are characterised by a shared communication channel with large round-trip times.In this book, we propose queuing models for situations that require a reservation procedure and validate their applicability in the context of cable networks.
Modelling, Computation and Optimization in Information Systems and Management Sciences ; 2nd International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings
This book constitutes the refereed proceedings of the Second International Conference MCO 2008, Metz, France, September 2008.The 65 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on optimization and decision making; data mining theory, systems and applications; computer vision and image processing; computer communications and networks; optimization and search techniques for security, reliability, trust.
Model-Driven Development of Reliable Automotive Services ; 2nd Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the Second Automotive Software Workshop, ASWSD 2006, held in San Diego, CA, USA in March 2006.The 11 revised full papers presented were carefully reviewed and selected from 18 lectures held at the workshop, that brought together experts from industry and academia, working on highly complex, distributed, reactive software systems related to the automotive domain. The papers are organized in topical sections on modeling techniques and infrastructures, model transformations, quality assurance, real-time control, as well as services and components.
IPv6 in Practice: A Unixer's Guide to the Next Generation Internet
This book is a practical guide to IPv6 addressing Unix and network administrators with experience in TCP/IP(v4) but not necessarily any IPv6 knowledge. It focuses on reliable and efficient operation of IPv6 implementations available today rather than on protocol specifications. Consequently, it covers the essential concepts - using instructive and thoroughly tested examples - on how to configure, to administrate, and to debug IPv6 setups.
Introduction to Reliable Distributed Programming
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions as well as algorithms to implement these abstractions. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one specific class of abstractions, covering reliable delivery, shared memory, consensus and various forms of agreement. This textbook comes with a companion set of running examples implemented in Java. These can be used by students to get a better understanding of how reliable distributed programming abstractions can be implemented and used in practice. Combined, the chapters deliver a full course on reliable distributed programming. The book can also be used as a complete reference on the basic elements required to build reliable distributed applications.
Information theoretic security ; 3rd International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008. Proceedings
This book constitutes the proceedings of the Third International Conference on Information Theoretic Security, held in Calgary, Canada, in August 2008.The 14 papers presented in this volume were carefully reviewed and selected from 43 submissions. There were nine invited speeches to the conference. The topics covered are secure and reliable communication; quantum information and communication; networks and devices; multiparty computation; information hiding and tracing; coding theory and security; quantum computation; foundation; and encryption.
Information security applications ; 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with special focus on realization of reliable systems on top of unreliable networked platforms, held in Laguna Beach, CA, USA, in September 2005.
Increasing the security and reliability of e-health system using blockchain technology
The Blockchain technology is the buzzword of the year, and as this new technology slowly matured, it seems clear that from banking to supply chain logistics, it is ready for disruption. And in healthcare in particular, there is a massive opportunity for blockchain revolution to disrupt and lead the digital transformation. From medical records to pharmaceutical supply chains, to smart contracts for payment distribution, there are a plenty of methods to leverage this technology. Thus it has reached a great boom in the health sector, due to its importance to overcome interoperability and security challenges of health records systems in e-health.
IMPROVE - Innovative modelling approaches for production systems to raise validatable efficiency : Intelligent methods for the factory of the future
This open access work presents selected results from the European research and innovation project IMPROVE which yielded novel data-based solutions to enhance machine reliability and efficiency in the fields of simulation and optimization, condition monitoring, alarm management, and quality prediction.
Hosting server management
At a high level, this project involves building and configuring a hosting server to provide website, email, and FTP hosting services to customers. The project also includes building a website where customers can register an account, choose hosting packages, and manage their hosting plan by linking the website to the hosting server's control panel using APIs. To effectively manage the hosting server and provide reliable hosting services to customers, it is important to have a deep understanding of the technologies and protocols involved in web hosting. This includes knowledge of web server software, email protocols, FTP protocols, and security best practices.
High performance computing - HiPC 2008 ; 15th International Conference, Bangalore, India, December 17-20, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on High-Performance Computing, HiPC 2008, held in Bangalore, India, in December 2008.The 46 revised full papers presented together with the abstracts of 5 keynote talks were carefully reviewed and selected from 317 submissions. The papers are organized in topical sections on applications performance optimizazion, parallel algorithms and applications, scheduling and resource management, sensor networks, energy-aware computing, distributed algorithms, communication networks as well as architecture.
High Availability and Disaster Recovery : Concepts, Design, Implementation
Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster recovery are contributions of the IT to fulfill this requirement. And companies will be confronted with such demands to an even greater extent in the future, since their credit ratings will be lower without such precautions. Both, high availability and disaster recovery, are realized by redundant systems. Redundancy can and should be implemented on different abstraction levels: from the hardware, the operating system and middleware components up to the backup computing center in case of a disaster. This book presents requirements, concepts, and realizations of redundant systems on all abstraction levels, and all given examples refer to UNIX and Linux systems.
Healthcare solutions using machine learning and informatics
Covers novel and innovative solutions for the healthcare that apply machine learning and biomedical informatics technology. The healthcare sector is one of the most critical in society. This book presents a series of artificial intelligence, machine learning, intelligent IoT-based solutions for medical image analysis, medical big data processing, disease predictions. Machine learning and artificial intelligence use cases in healthcare presented in the book give researchers, practitioners, and students a wide range of practical examples of cross-domain convergence. The wide variety of topics covered include: Artificial Intelligence in healthcare Machine learning solutions for such disease as diabetes, arthritis, cardiovascular disease, and COVID-19 Big data analytics solutions for healthcare data processing Reliable biomedical applications using AI models Intelligent IoT in healthcare. The book explains fundamental concepts as well as the advanced use cases illustrating how to apply emerging technologies such as machine learning, AI models, data informatics into practice to tackle challenges in the field of healthcare with real-world scenarios. Chapters contributed by noted academicians and professionals examine various solutions, frameworks, applications, case studies, and best practices in the healthcare domain
Handbook of Fractional Calculus for Engineering and Science
Provides reliable methods for solving fractional-order models in science and engineering. Contains efficient numerical methods and algorithms for engineering-related equations. Contains comparison of various methods for accuracy and validity. Demonstrates the applicability of fractional calculus in science and engineering. Examines qualitative as well as quantitative properties of solutions of various types of science- and engineering-related equations.
Guide to wireless network security
Guide to Wireless Network Security is an authoritative, clearly presented guide to key foundation topics and technology frameworks for designing and maintaining secure, reliable operations. From basic concepts to designing principles to deployment, all critical concepts and phases are clearly explained and presented. This guide includes coverage of wireless security testing techniques and prevention techniques for intrusion (attacks).
