springer berlin atlantis press (15 risultati)

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Information systems (IS)/Information technology(IT) has become an essential part and a major resource of the organization. IS/IT is a major resource that can radically affect the structure of an organisation, the way it serves customers, and the way it helps people in organisations to communicate both internally and externally, and the way an organisation runs its business. Managing information and information systems effectively and efficiently have become an essential part of the life of 21st century managers. This book is about Managing information and information systems and focuses on relationships between information, information systems/information technology, people and business. The impacts, roles, risks, challenges as well as emerging trends of information systems will be an important element of the book. At the same time, many strategic and contemporary uses of information systems such as implementing enterprise planning systems for improving internal operation, adopting customer relationship management systems and supply chain management systems to enhance relations with customers and suppliers/partners respectively, and establishing knowledge management systems for better managing organizational knowledge resources as well as using different information systems for supporting managers' decision making in all levels will be an integral part of the book. In addition, essential and critical information systems management skills including using information systems for competitive advantages, planning and evaluating information systems, system development & implementing information systems, and managing information systems operations will be a critical part of the book.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the new development of computation intelligence for traffic, transportation and mobility, the main contents include traffic safety, mobility analysis, intelligent transportation system, smart vehicle, transportation behavior, driver modeling and assistance, transportation risk analysis and reliability system analysis, vehicle operation and active safety, urban traffic management and planning.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The subject theory is important in finance, economics, investment strategies, health sciences, environment, industrial engineering, etc.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the theory of order statistics in a way, such that beginners can get easily acquainted with the very basis of the theory without having to work through heavily involved techniques. At the same time more experienced readers can check their level of understanding and polish their knowledge with certain details. This is achieved by, on the one hand, stating the basic formulae and providing many useful examples to illustrate the theoretical statements, while on the other hand an upgraded list of references will make it easier to gain insight into more specialized results. Thus this book is suitable for a readership working in statistics, actuarial mathematics, reliability engineering, meteorology, hydrology, business economics, sports analysis and many more.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Trustworthy Ubiquitous Computing covers aspects of trust in ubiquitous computing environments. The aspects of context, privacy, reliability, usability and user experience related to 'emerged and exciting new computing paradigm of Ubiquitous Computing', includes pervasive, grid, and peer-to-peer computing including sensor networks to provide secure computing and communication services at anytime and anywhere.Marc Weiser presented his vision of disappearing and ubiquitous computing more than 15 years ago. The big picture of the computer introduced into our environment was a big innovation and the starting point for various areas of research. In order to totally adopt the idea of ubiquitous computing several houses were build, equipped with technology and used as laboratory in order to find and test appliances that are useful and could be made available in our everyday life. Within the last years industry picked up the idea of integrating ubiquitous computing and already available products like remote controls for your house were developed and brought to the market.In spite of many applications and projects in the area of ubiquitous and pervasive computing the success is still far away. One of the main reasons is the lack of acceptance of and confidence in this technology. Although researchers and industry are working in all of these areas a forum to elaborate security, reliability and privacy issues, that resolve in trustworthy interfaces and computing environments for people interacting within these ubiquitous environments is important. The user experience factor of trust thus becomes a crucial issue for the success of a UbiComp application. The goal of this book is to provide a state the art of Trustworthy Ubiquitous Computing to address recent research results and to present and discuss the ideas, theories, technologies, systems, tools, applications and experiences on all theoretical and practical issues.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This textbook provides a progressive approach to the teaching of software engineering. First, readers are introduced to the core concepts of the object-oriented methodology, which is used throughout the book to act as the foundation for software engineering and programming practices, and partly for the software engineering process itself. Then, the processes involved in software engineering are explained in more detail, especially methods and their applications in design, implementation, testing, and measurement, as they relate to software engineering projects. At last, readers are given the chance to practice these concepts by applying commonly used skills and tasks to a hands-on project. The impact of such a format is the potential for quicker and deeper understanding. Readers will master concepts and skills at the most basic levels before continuing to expand on and apply these lessons in later chapters.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - System on chips designs have evolved from fairly simple unicore, single memory designs to complex heterogeneous multicore SoC architectures consisting of a large number of IP blocks on the same silicon. To meet high computational demands posed by latest consumer electronic devices, most current systems are based on such paradigm, which represents a real revolution in many aspects in computing.The attraction of multicore processing for power reduction is compelling. By splitting a set of tasks among multiple processor cores, the operating frequency necessary for each core can be reduced, allowing to reduce the voltage on each core. Because dynamic power is proportional to the frequency and to the square of the voltage, we get a big gain, even though we may have more cores running. As more and more cores are integrated into these designs to share the ever increasing processing load, the main challenges lie in efficient memory hierarchy, scalable system interconnect, new programming paradigms, and efficient integration methodology for connecting such heterogeneous cores into a single system capable of leveraging their individual flexibility. Current design methods tend toward mixed HW/SW co-designs targeting multicore systems on-chip for specific applications. To decide on the lowest cost mix of cores, designers must iteratively map the device's functionality to a particular HW/SW partition and target architectures. In addition, to connect the heterogeneous cores, the architecture requires high performance complex communication architectures and efficient communication protocols, such as hierarchical bus, point-to-point connection, or Network-on-Chip. Software development also becomes far more complex due to the difficulties in breaking a single processing task into multiple parts that can be processed separately and then reassembled later. This reflects the fact that certain processor jobs cannot be easily parallelized to run concurrently on multiple processingcores and that load balancing between processing cores - especially heterogeneous cores - is very difficult.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The approximation of a continuous function by either an algebraic polynomial, a trigonometric polynomial, or a spline, is an important issue in application areas like computer-aided geometric design and signal analysis. This book is an introduction to the mathematical analysis of such approximation, and, with the prerequisites of only calculus and linear algebra, the material is targeted at senior undergraduate level, with a treatment that is both rigorous and self-contained.The topics include polynomial interpolation; Bernstein polynomials and the Weierstrass theorem; best approximations in the general setting of normed linear spaces and inner product spaces; best uniform polynomial approximation; orthogonal polynomials; Newton-Cotes , Gauss and Clenshaw-Curtis quadrature; the Euler-Maclaurin formula ; approximation of periodic functions; the uniform convergence of Fourier series; spline approximation,with an extensive treatment of local spline interpolation,and its application in quadrature. Exercises are provided at the end of each chapter.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The guiding light of this monograph is a question easy to understand but difficult to answer: {What is the shape of the universe In other words, how do we measure the shortest distance between two points of the physical space Should we follow a straight line, as on a flat table, fly along a circle, as between Paris and New York, or take some other path, and if so, what would that path look like If you accept that the model proposed here, which assumes a gravitational law extended to a universe of constant curvature, is a good approximation of the physical reality (and I will later outline a few arguments in this direction), then we can answer the above question for distances comparable to those of our solar system. More precisely, this monograph provides a mathematical proof that, for distances of the order of 10 AU, space is Euclidean. This result is, of course, not surprising for such small cosmic scales. Physicists take the flatness of space for granted in regions of that size. But it is good to finally have a mathematical confirmation in this sense.Our main goals, however, are mathematical. We will shed some light on the dynamics of N point masses that move in spaces of non-zero constant curvature according to an attraction law that naturally extends classical Newtonian gravitation beyond the flat (Euclidean) space. This extension is given by the cotangent potential, proposed by the German mathematician Ernest Schering in 1870. He was the first to obtain this analytic expression of a law suggested decades earlier for a 2-body problem in hyperbolic space by Janos Bolyai and, independently, by Nikolai Lobachevsky. As Newton's idea of gravitation was to introduce a force inversely proportional to the area of a sphere the same radius as the Euclidean distance between the bodies, Bolyai and Lobachevsky thought of a similar definition using the hyperbolic distance in hyperbolic space. The recent generalization we gave to the cotangent potential to any number N ofbodies, led to the discovery of some interesting properties. This new research reveals certain connections among at least five branches of mathematics: classical dynamics, non-Euclidean geometry, geometric topology, Lie groups, and the theory of polytopes.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Templates are used to generate all kinds of text, including computer code. The last decade, the use of templates gained a lot of popularity due to the increase of dynamic web applications. Templates are a tool for programmers, and implementations of template engines are most times based on practical experience rather than based on a theoretical background. This book reveals the mathematical background of templates and shows interesting findings for improving the practical use of templates. First, a framework to determine the necessary computational power for the template metalanguage is presented. The template metalanguage does not need to be Turing-complete to be useful. A non-Turing-complete metalanguage enforces separation of concerns between the view and model. Second, syntactical correctness of all languages of the templates and generated code is ensured. This includes the syntactical correctness of the template metalanguage and the output language. Third, case studies show that the achieved goals are applicable in practice. It is even shown that syntactical correctness helps to prevent cross-site scripting attacks in web applications. The target audience of this book is twofold. The first group exists of researcher interested in the mathematical background of templates. The second group exists of users of templates. This includes designers of template engines on one side and programmers and web designers using templates on the other side.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - For more than a century, the study of various types of inequalities has been the focus of great attention by many researchers, interested both in the theory and its applications. In particular, there exists a very rich literature related to the well known Cebysev, Gruss, Trapezoid, Ostrowski, Hadamard and Jensen type inequalities. The present monograph is an attempt to organize recent progress related to the above inequalities, which we hope will widen the scope of their applications. The field to be covered is extremely wide and it is impossible to treat all of these here. The material included in the monograph is recent and hard to find in other books. It is accessible to any reader with a reasonable background in real analysis and an acquaintance with its related areas. All results are presented in an elementary way and the book could also serve as a textbook for an advanced graduate course. The book deserves a warm welcome to those who wish to learn the subject and it will also be most valuable as a source of reference in the field. It will be invaluable reading for mathematicians and engineers and also for graduate students, scientists and scholars wishing to keep abreast of this important area of research.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Disaster management is a process or strategy that is implemented when any type of catastrophic event takes place. The process may be initiated when anything threatens to disrupt normal operations or puts the lives of human beings at risk. Governments on all levels as well as many businesses create some sort of disaster plan that make it possible to overcome the catastrophe and return to normal function as quickly as possible.Response to natural disasters (e.g., floods, earthquakes) or technological disaster (e.g., nuclear, chemical) is an extreme complex process that involves severe time pressure, various uncertainties, high non-linearity and many stakeholders. Disaster management often requires several autonomous agencies to collaboratively mitigate, prepare, respond, and recover from heterogeneous and dynamic sets of hazards to society.Almost all disasters involve high degrees of novelty to deal with most unexpected various uncertainties and dynamic time pressures. Existing studies and approaches within disaster management have mainly been focused on some specific type of disasters with certain agency oriented. There is a lack of a general framework to deal with similarities and synergies among different disasters by taking their specific features into account.This book provides with various decisions analysis theories and support tools in complex systems in general and in disaster management in particular. The book is also generated during a long-term preparation of a European project proposal among most leading experts in the areas related to the book title.Chapters are evaluated based on quality and originality in theory and methodology, application oriented, relevance to the title of the book.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Industrial engineering is a branch of engineering dealing with the optimization of complex processes or systems. It is concerned with the development, improvement, implementation and evaluation of production and service systems. Computational Intelligence Systems find a wide application area in industrial engineering: neural networks in forecasting, fuzzy sets in capital budgeting, ant colony optimization in scheduling, Simulated Annealing in optimization, etc. This book will include most of the application areas of industrial engineering through these computational intelligence systems. In the literature, there is no book including many real and practical applications of Computational Intelligence Systems from the point of view of Industrial Engineering. Every chapter will include explanatory and didactic applications. It is aimed that the book will be a main source for MSc and PhD students.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a collection of writings by active researchers in the field of Artificial General Intelligence, on topics of central importance in the field. Each chapter focuses on one theoretical problem, proposes a novel solution, and is written in sufficiently non-technical language to be understandable by advanced undergraduates or scientists in allied fields.This book is the very first collection in the field of Artificial General Intelligence (AGI) focusing on theoretical, conceptual, and philosophical issues in the creation of thinking machines. All the authors are researchers actively developing AGI projects, thus distinguishing the book from much of the theoretical cognitive science and AI literature, which is generally quite divorced from practical AGI system building issues. And the discussions are presented in a way that makes the problems and proposed solutions understandable to a wide readership of non-specialists, providing a distinction from the journal and conference-proceedings literature. The book will benefit AGI researchers and students by giving them a solid orientation in the conceptual foundations of the field (which is not currently available anywhere); and it would benefit researchers in allied fields by giving them a high-level view of the current state of thinking in the AGI field. Furthermore, by addressing key topics in the field in a coherent way, the collection as a whole may play an important role in guiding future research in both theoretical and practical AGI, and in linking AGI research with work in allied disciplines.