Security-Aware Systems Applications and Software Development Methods

Polarization in Western democracies and the collapse of centrally planned economies have led to calls for a redefinition of the state's core functions. This volume explores shifting conceptions of constitutional political economy anchoring the state from the viewpoints of theory, systems, and applications. It suggests why changes may be desirable and how these might be implemented. Part I addresses the writing of constitutions, the dynamic between constitutional order and civil society, the struggle between competitive and protectionist interests, the conflict between protecting expectations and moral evolution, and the role of cultural explanations of constitutional development patterns. Part II explores the interplay between electoral systems and constitutional engineering, the internal costs of political coalitions, and campaigns in pluralistic elections. Part III investigates the quest for stable, dynamic federal states with particular attention to opportunities and pitfalls in Eur

Multi-scale systems, involving complex interacting processes that occur over a range of temporal and spatial scales, are present in a broad range of disciplines. Several methodologies exist to retrieve this multi-scale information from a given time series; however, each method has its own limitations. This book presents the mathematical theory behind the stochastic analysis of scaling time series, including a general historical introduction to the problem of intermittency in turbulence, as well as how to implement this analysis for a range of different applications. Covering a variety of statistical methods, such as Fourier analysis and wavelet transforms, it provides readers with a thorough understanding of the techniques and when to apply them. New techniques to analyse stochastic processes, including empirical mode decomposition, are also explored. Case studies, in turbulence and ocean sciences, are used to demonstrate how these statistical methods can be applied in practice, for st

Dealing with all aspects of Monte Carlo simulation of complex physical systems encountered in condensed matter physics and statistical mechanics, this book provides an introduction to computer simulations in physics. The 5th edition contains extensive new material describing numerous powerful algorithms and methods that represent recent developments in the field. New topics such as active matter and machine learning are also introduced. Throughout, there are many applications, examples, recipes, case studies, and exercises to help the reader fully comprehend the material. This book is ideal for graduate students and researchers, both in academia and industry, who want to learn techniques that have become a third tool of physical science, complementing experiment and analytical theory.

Semiclassical approximation addresses the important relationship between quantum and classical mechanics. There has been a very strong development in the mathematical theory, mainly thanks to methods of microlocal analysis. This book develops the basic methods, including the WKB-method, stationary phase and h-pseudodifferential operators. The applications include results on the tunnel effect, the asymptotics of eigenvalues in relation to classical trajectories and normal forms, plus slow perturbations of periodic Schrödinger operators appearing in solid state physics. No previous specialized knowledge in quantum mechanics or microlocal analysis is assumed, and only general facts about spectral theory in Hilbert space, distributions, Fourier transforms and some differential geometry belong to the prerequisites. This book is addressed to researchers and graduate students in mathematical analysis, as well as physicists who are interested in rigorous results. A fairly large fraction can be

The area of computational cryptography is dedicated to the development of effective methods in algorithmic number theory that improve implementation of cryptosystems or further their cryptanalysis. This book is a tribute to Arjen K. Lenstra, one of the key contributors to the field, on the occasion of his 65th birthday, covering his best-known scientific achievements in the field. Students and security engineers will appreciate this no-nonsense introduction to the hard mathematical problems used in cryptography and on which cybersecurity is built, as well as the overview of recent advances on how to solve these problems from both theoretical and practical applied perspectives. Beginning with polynomials, the book moves on to the celebrated Lenstra–Lenstra–Lovász lattice reduction algorithm, and then progresses to integer factorization and the impact of these methods to the selection of strong cryptographic keys for usage in widely used standards.

The use of neural networks in signal processing is becoming increasingly widespread, with applications in many areas. Applied Neural Networks for Signal Processing is the first book to provide a comprehensive introduction to this broad field. It begins by covering the basic principles and models of neural networks in signal processing. The authors then discuss a number of powerful algorithms and architectures for a range of important problems, and describe practical implementation procedures. A key feature of the book is that many carefully designed simulation examples are included to help guide the reader in the development of systems for new applications. The book will be an invaluable reference for scientists and engineers working in communications, control or any other field related to signal processing. It can also be used as a textbook for graduate courses in electrical engineering and computer science.

Multilayer networks, in particular multilayer social networks, where users belong to and interact on different networks at the same time, are an active research area in social network analysis, computer science, and physics. These networks have traditionally been studied within these separate research communities, leading to the development of several independent models and methods to deal with the same set of problems. This book unifies and consolidates existing practical and theoretical knowledge on multilayer networks including data collection and analysis, modeling, and mining of multilayer social network systems, the evolution of interconnected social networks, and dynamic processes such as information spreading. A single real dataset is used to illustrate the concepts presented throughout the book, demonstrating both the practical utility and the potential shortcomings of the various methods. Researchers from all areas of network analysis will learn new aspects and future directi

Multilayer networks, in particular multilayer social networks, where users belong to and interact on different networks at the same time, are an active research area in social network analysis, computer science, and physics. These networks have traditionally been studied within these separate research communities, leading to the development of several independent models and methods to deal with the same set of problems. This book unifies and consolidates existing practical and theoretical knowledge on multilayer networks including data collection and analysis, modeling, and mining of multilayer social network systems, the evolution of interconnected social networks, and dynamic processes such as information spreading. A single real dataset is used to illustrate the concepts presented throughout the book, demonstrating both the practical utility and the potential shortcomings of the various methods. Researchers from all areas of network analysis will learn new aspects and future directi

Advanced Computational Vibroacoustics presents an advanced computational method for the prediction of sound and structural vibrations, in low- and medium-frequency ranges - complex structural acoustics and fluid-structure interaction systems encountered in aerospace, automotive, railway, naval, and energy-production industries. The formulations are presented within a unified computational strategy and are adapted for the present and future generation of massively parallel computers. A reduced-order computational model is constructed using the finite element method for the damped structure and the dissipative internal acoustic fluid (gas or liquid with or without free surface) and using an appropriate symmetric boundary-element method for the external acoustic fluid (gas or liquid). This book allows direct access to computational methods that have been adapted for the future evolution of general commercial software. Written for the global market, it is an invaluable resource for academi

The long-awaited second edition of this well-received textbook gives a thorough introduction to observational astronomy. Starting with the basics of positional astronomy and systems of time, it continues with charts and catalogs covering both historically important publications and modern electronic databases. The book builds on a fundamental discussion of the basics of light and the effects of the atmosphere on astronomical observations. Chapters include discussions of optical telescopes, detectors, photometry, variable stars, astrometry, spectroscopy, and solar observations. This edition contains new discussions of measurements with CCDs and appendices give basic statistical methods, useful astronomical software and websites, and sources of accurate time-calibration signals. Observational Astronomy is the perfect textbook for upper level undergraduate or beginning graduate courses on astronomy. Examples based on real astronomical data are placed throughout the text. Each of the well-

This book provides an advanced introduction to the science behind automated prediction systems, focusing on sea ice analysis and forecasting. Starting from basic principles, fundamental concepts in sea ice physics, remote sensing, numerical methods, and statistics are explained at an accessible level. Existing operational automated prediction systems are described and their impacts on information providers and end clients are discussed. The book also provides insight into the likely future development of sea ice services and how they will evolve from mainly manual processes to increasing automation, with a consequent increase in the diversity and information content of new ice products. With contributions from world-leading experts in the fields of sea ice remote sensing, data assimilation, numerical modelling, and verification and operational prediction, this comprehensive reference is ideal for students, sea ice analysts, and researchers, as well as decision-makers and professionals

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

This book, the first in the Cambridge Nonlinear Science Series, presents the fundamentals of chaos theory in conservative systems, providing a systematic study of the theory of transitional states of physical systems which lie between deterministic and chaotic behaviour. The authors' treatment of transitions to chaos, the theory of stochastic layers and webs, and the numerous applications of this theory, particularly to pattern symmetry, will make the book of importance to scientists from many disciplines.The authors have been meticulous in providing a detailed presentation of the material, enabling the reader to learn the necessary computational methods and to apply them in other problems. The inclusion of a significant amount of computer graphics is also an important aid to understanding. The final section of the book contains a fascinating collection of patterns in art and living nature. The book will be of interest to graduate students and researchers in physics and mathematics who

Wireless sensor networks promise an unprecedented fine-grained interface between the virtual and physical worlds. They are one of the most rapidly developing information technologies, with applications in a wide range of fields including industrial process control, security and surveillance, environmental sensing, and structural health monitoring. Originally published in 2005, this book provides a detailed and organized survey of the field. It shows how the core challenges of energy efficiency, robustness, and autonomy are addressed in these systems by networking techniques across multiple layers. The topics covered include network deployment, localization, time synchronization, wireless radio characteristics, medium-access, topology control, routing, data-centric techniques, and transport protocols. Ideal for researchers and designers seeking to create algorithms and protocols and engineers implementing integrated solutions, it also contains many exercises and can be used by graduate

Wireless sensor networks promise an unprecedented fine-grained interface between the virtual and physical worlds. They are one of the most rapidly developing information technologies, with applications in a wide range of fields including industrial process control, security and surveillance, environmental sensing, and structural health monitoring. Originally published in 2005, this book provides a detailed and organized survey of the field. It shows how the core challenges of energy efficiency, robustness, and autonomy are addressed in these systems by networking techniques across multiple layers. The topics covered include network deployment, localization, time synchronization, wireless radio characteristics, medium-access, topology control, routing, data-centric techniques, and transport protocols. Ideal for researchers and designers seeking to create algorithms and protocols and engineers implementing integrated solutions, it also contains many exercises and can be used by graduate

As the analysis of social networks, or networks of interpersonal and social relationships among social groups, has become an increasingly important method of research in several of the social and behavioural sciences, the gathering of network data has outpaced the development of new methods for its analysis. Addressing the need for analytical tools, Philippa Pattison presents a number of algebraic models for the analysis of network data, explaining in the process the rationale for an algebraic approach. Models are developed for both complete networks, meaning those representing the social ties between all pairs of members in a given group, and local networks, meaning those structured around the social ties of one particular group member. Many applications are presented and the ways that these methods can address a number of important issues confronting network analysis are explained.

As the analysis of social networks, or networks of interpersonal and social relationships among social groups, has become an increasingly important method of research in several of the social and behavioural sciences, the gathering of network data has outpaced the development of new methods for its analysis. Addressing the need for analytical tools, Philippa Pattison presents a number of algebraic models for the analysis of network data, explaining in the process the rationale for an algebraic approach. Models are developed for both complete networks, meaning those representing the social ties between all pairs of members in a given group, and local networks, meaning those structured around the social ties of one particular group member. Many applications are presented and the ways that these methods can address a number of important issues confronting network analysis are explained.

Available for the first time in paperback, The Quantum Theory of Fields is a self-contained, comprehensive, and up-to-date introduction to quantum field theory from Nobel Laureate Steven Weinberg. The first volume introduces the foundations of quantum field theory, the second volume examines modern applications, and finally the third volume presents supersymmetry, an area of theoretical physics likely to be at the centre of progress in the physics of elementary particles and gravitation. The development is fresh and logical throughout, with each step carefully motivated by what has gone before. The presentation of modern mathematical methods is throughout interwoven with accounts of applications in both elementary particle and condensed matter physics. The three volumes contain much original material, and are peppered with examples and insights drawn from the author's experience as a leader of elementary particle research. Exercises are included at the end of each chapter.

Developed fifty years ago by the National Bureau of Economic Research, the analytic methods of business cycles and economic indicators enable economists to forecast economic trends by examining the repetitive sequences that occur in business cycles. The methodology has proven to be an inexpensive and useful tool that is now used extensively throughout the world. In recent years, however, significant new developments have emerged in the field of business cycles and economic indicators. This volume contains twenty-two articles by international experts who are working with new and innovative approaches to indicator research. They cover advances in three broad areas of research: the use of new developments in economic theory and time-series analysis to rationalise existing systems of indicators; more appropriate methods to evaluate the forecasting records of leading indicators, particularly of turning point probability; and the development of new indicators.

Beginning with the development of finite difference equations, and leading to the complete FDTD algorithm, this is a coherent introduction to the FDTD method (the method of choice for modeling Maxwell's equations). It provides students and professional engineers with everything they need to know to begin writing FDTD simulations from scratch and to develop a thorough understanding of the inner workings of commercial FDTD software. Stability, numerical dispersion, sources and boundary conditions are all discussed in detail, as are dispersive and anisotropic materials. A comparative introduction of the finite volume and finite element methods is also provided. All concepts are introduced from first principles, so no prior modeling experience is required, and they are made easier to understand through numerous illustrative examples and the inclusion of both intuitive explanations and mathematical derivations.

This practical book is designed for applied researchers who want to use mixed models with their data. It discusses the basic principles of mixed model analysis, including two-level and three-level structures, and covers continuous outcome variables, dichotomous outcome variables, and categorical and survival outcome variables. Emphasizing interpretation of results, the book develops the most important applications of mixed models, such as the study of group differences, longitudinal data analysis, multivariate mixed model analysis, IPD meta-analysis, and mixed model predictions. All examples are analyzed with STATA, and an extensive overview and comparison of alternative software packages is provided. All datasets used in the book are available for download, so readers can re-analyze the examples to gain a strong understanding of the methods. Although most examples are taken from epidemiological and clinical studies, this book is also highly recommended for researchers working in other

This practical book is designed for applied researchers who want to use mixed models with their data. It discusses the basic principles of mixed model analysis, including two-level and three-level structures, and covers continuous outcome variables, dichotomous outcome variables, and categorical and survival outcome variables. Emphasizing interpretation of results, the book develops the most important applications of mixed models, such as the study of group differences, longitudinal data analysis, multivariate mixed model analysis, IPD meta-analysis, and mixed model predictions. All examples are analyzed with STATA, and an extensive overview and comparison of alternative software packages is provided. All datasets used in the book are available for download, so readers can re-analyze the examples to gain a strong understanding of the methods. Although most examples are taken from epidemiological and clinical studies, this book is also highly recommended for researchers working in other

If you need to maximize efficiency in wireless network planning, an understanding of radio propagation issues is vital, and this 2007 reference guide is for you. Using real-world case studies, practical problems and minimum mathematics, the author explains simply and clearly how to predict signal strengths in a variety of situations. Fundamentals are explained in the context of their practical significance. Applications, including point-to-point radio links, broadcasting and earth-space communications, are thoroughly treated, and more sophisticated methods, which form the basis of software tools for both network planning and spectrum management, are also described. For a rapid understanding and insight into radio propagation, sufficient to enable you to undertake real-world engineering tasks, this concise book is invaluable for network planners, hardware designers, spectrum managers, senior technical managers and policy makers who are either new to radio propagation or who need a quick

This book, first published in 2006, presents an introduction to the methodology of structural equation modeling, illustrates its use, and goes on to argue that it has revolutionary implications for the study of natural systems. A major theme of this book is that we have, up to this point, attempted to study systems primarily using methods (such as the univariate model) that were designed only for considering individual processes. Understanding systems requires the capacity to examine simultaneous influences and responses. Structural equation modeling (SEM) has such capabilities. It also possesses many other traits that add strength to its utility as a means of making scientific progress. In light of the capabilities of SEM, it can be argued that much of ecological theory is currently locked in an immature state that impairs its relevance. It is further argued that the principles of SEM are capable of leading to the development and evaluation of multivariate theories of the sort vitally

With the advent of the Al era, professionals need to select the right tools to meet new opportunities and challenges! This instructional material focuses on the application of big data analysis, text mining, and machine learning in auditing to assist readers in understanding the latest developments in data analysis and smart audit.JCAATs is a new generation audit software developed by Python, which can be executed in a Windows and MAC operation systems with a multi-language, visual, and easy-to-use interface. Non-IT professionals can easily conduct smart data analysis. Through JCAATs' built-in data fusion technology and OPEN DATA connector, heterogeneous data can be quickly analyzed in real-time and effectively identifying anomalies. The features of this book include:The book is structured to provide a progressive learning experience, with chapters covering different concepts and applications, as well as exercises and practice questions. The official textbook endorsed by ICAEA

Learn about the key technologies and understand the state of the art in research for full-duplex communication networks and systems with this comprehensive and interdisciplinary guide. Incorporating physical, MAC, network, and application layer perspectives, it explains the fundamental theories on which full-duplex communications are built, and lays out the techniques needed for network design, analysis and optimization. Techniques covered in detail include self-interference cancellation and signal processing algorithms, physical layer algorithms, methods for efficient resource allocation, and game theory. Potential applications and networking schemes are discussed, including full-duplex cognitive radio networks, cooperative networks, and heterogeneous networks. The first book to focus exclusively on full-duplex communications, this is an indispensable reference for both researchers and practitioners designing the next generation of wireless networks.

As Artificial Intelligence (AI) technologies rapidly progress, questions about the ethics of AI, in both the near-future and the long-term, become more pressing than ever. This volume features seventeen original essays by prominent AI scientists and philosophers and represents the state-of-the-art thinking in this fast-growing field. Organized into four sections, this volume explores the issues surrounding how to build ethics into machines; ethical issues in specific technologies, including self-driving cars, autonomous weapon systems, surveillance algorithms, and sex robots; the long term risks of superintelligence; and whether AI systems can be conscious or have rights.Though the use and practical applications of AI are growing exponentially, discussion of its ethical implications is still in its infancy. This volume provides an invaluable resource for thinking through the ethical issues surrounding AI today and for shaping the study and development of AI in the coming years.

Are you an engineer or manager working on the development and implementation of RFID technology? If so, this book is for you. Covering both passive and active RFID systems, the challenges to RFID implementation are addressed using specific industry research examples and common integration issues. Key topics include RF tag performance optimization, evaluation methodologies for RFID and Real-Time-Location Systems (RTLS) and sensors, EPC network simulation, RFID in the retail supply chain, and applications in product lifecycle management, anti-counterfeiting and cold chain management. The book brings together insights from the world's leading research laboratories in the field, including the Auto-ID Labs at MIT, successor to the Auto-ID Center which developed the Electronic Product Code scheme which is set to become the global standard for product identification.MIT Auto-ID Labs's suite of Open Source code and tools for RFID implementation is available at www.cambridge.org/9780521880930.

Are you an engineer or manager working on the development and implementation of RFID technology? If so, this book is for you. Covering both passive and active RFID systems, the challenges to RFID implementation are addressed using specific industry research examples and common integration issues. Key topics include RF tag performance optimization, evaluation methodologies for RFID and Real-Time-Location Systems (RTLS) and sensors, EPC network simulation, RFID in the retail supply chain, and applications in product lifecycle management, anti-counterfeiting and cold chain management. The book brings together insights from the world's leading research laboratories in the field, including the Auto-ID Labs at MIT, successor to the Auto-ID Center which developed the Electronic Product Code scheme which is set to become the global standard for product identification.MIT Auto-ID Labs's suite of Open Source code and tools for RFID implementation is available at www.cambridge.org/9780521880930.

Engineering advances economic growth, enhances manufacturing capacity, enhances infrastructure resilience, improves healthcare, and strengthens national security. However, the impact of engineering research - and, by extension, engineering education - is often hidden from the public eye. Promoting comprehension of how engineering affects society is thus a crucial aspect of garnering and sustaining public backing of policies aimed at ensuring that technology continues to serve the greater good of humanity. One part of this effort is highlighting the pivotal role of federal support of engineering research. Such support furnishes researchers with the necessary resources to pursue ambitious projects, fostering exploration into fundamental questions, groundbreaking technology and engineered systems developments, and practical applications. Since its inception in 1950, the National Science Foundation (NSF)--an independent federal agency--has played a critical role in funding cutting-edge res

Understand multiphase flows using multidisciplinary knowledge in physical principles, modelling theories, and engineering practices. This essential text methodically introduces the important concepts, governing mechanisms, and state-of-the-art theories, using numerous real-world applications, examples, and problems. Covers all major types of multiphase flows, including gas-solid, gas-liquid (sprays or bubbling), liquid-solid, and gas-solid-liquid flows. Introduces the volume-time-averaged transport theorems and associated Lagrangian-trajectory modelling and Eulerian-Eulerian multi-fluid modelling. Explains typical computational techniques, measurement methods and four representative subjects of multiphase flow systems. Suitable as a reference for engineering students, researchers, and practitioners, this text explores and applies fundamental theories to the analysis of system performance using a case-based approach.

The productivity of agricultural systems is the result of human alteration of originally wild organisms over millennia. The availability of germplasm, particularly from wild relatives of crop plants, is vitally important in the development of new and improved crops for both agriculture and horticulture. The handling of these genetic resources for both immediate and future human benefits has resulted in the decades of interdisciplinary scientific research described in this book. The applications of this work and the associated operational programmes in all parts of the world are discussed in the light of their impact on the conservation of biodiversity, ecosystem rehabilitation and the future health of our planet.

The productivity of agricultural systems is the result of human alteration of originally wild organisms over millennia. The availability of germplasm, particularly from wild relatives of crop plants, is vitally important in the development of new and improved crops for both agriculture and horticulture. The handling of these genetic resources for both immediate and future human benefits has resulted in the decades of interdisciplinary scientific research described in this book. The applications of this work and the associated operational programmes in all parts of the world are discussed in the light of their impact on the conservation of biodiversity, ecosystem rehabilitation and the future health of our planet.

The globular star clusters of the Milky Way contain hundreds of thousands of stars held together by gravitational interactions, and date from the time when the Milky Way was forming. This 2003 text describes the theory astronomers need for studying globular star clusters. The gravitational million-body problem is an idealised model for understanding the dynamics of a cluster with a million stars. After introducing the million-body problem from various view-points, the book systematically develops the tools needed for studying the million-body problems in nature, and introduces the most important theoretical models. Including a comprehensive treatment of few-body interactions, and developing an intuitive but quantitative understanding of the three-body problem, the book introduces numerical methods, relevant software, and current problems. Suitable for graduate students and researchers in astrophysics and astronomy, this text also has important applications in the fields of theoretica

The globular star clusters of the Milky Way contain hundreds of thousands of stars held together by gravitational interactions, and date from the time when the Milky Way was forming. This 2003 text describes the theory astronomers need for studying globular star clusters. The gravitational million-body problem is an idealised model for understanding the dynamics of a cluster with a million stars. After introducing the million-body problem from various view-points, the book systematically develops the tools needed for studying the million-body problems in nature, and introduces the most important theoretical models. Including a comprehensive treatment of few-body interactions, and developing an intuitive but quantitative understanding of the three-body problem, the book introduces numerical methods, relevant software, and current problems. Suitable for graduate students and researchers in astrophysics and astronomy, this text also has important applications in the fields of theoretica

Studies of dental and skeletal growth and development have often been treated as independent disciplines within the literature. Human Growth in the Past, first published in 1999, brings together these two related fields of enquiry in a single volume whose purpose is to place methodological issues of growth and development in past populations within a strong theoretical framework. Contributions examine a variety of aspects of human growth in the past, drawing from both palaeoanthropological and bioarchaeological data. The book covers a wide spectrum of topics, from patterns of growth in humans and their close relatives, innovative methods and applications of techniques and models for the study of growth, to estimation of age-at-death in subadults and infant mortality in archaeological samples. Human Growth in the Past will be of interest to biological anthropologists, and those in the related fields of dental anatomy, evolutionary biology and developmental biology.

Studies of dental and skeletal growth and development have often been treated as independent disciplines within the literature. Human Growth in the Past, first published in 1999, brings together these two related fields of enquiry in a single volume whose purpose is to place methodological issues of growth and development in past populations within a strong theoretical framework. Contributions examine a variety of aspects of human growth in the past, drawing from both palaeoanthropological and bioarchaeological data. The book covers a wide spectrum of topics, from patterns of growth in humans and their close relatives, innovative methods and applications of techniques and models for the study of growth, to estimation of age-at-death in subadults and infant mortality in archaeological samples. Human Growth in the Past will be of interest to biological anthropologists, and those in the related fields of dental anatomy, evolutionary biology and developmental biology.

In recent years game theory has had a substantial impact on computer science, especially on Internet- and e-commerce-related issues. Algorithmic Game Theory, first published in 2007, develops the central ideas and results of this exciting area in a clear and succinct manner. More than 40 of the top researchers in this field have written chapters that go from the foundations to the state of the art. Basic chapters on algorithmic methods for equilibria, mechanism design and combinatorial auctions are followed by chapters on important game theory applications such as incentives and pricing, cost sharing, information markets and cryptography and security. This definitive work will set the tone of research for the next few years and beyond. Students, researchers, and practitioners alike need to learn more about these fascinating theoretical developments and their widespread practical application.

Our world is becoming more urban. More than fifty percent of the global population now lives in cities, which poses new challenges for sustainable development. This book integrates theory and methods of sustainability assessment with concepts from systems science to provide guidelines for assessing the sustainability of urban systems. It discusses different aspects of urban sustainability, from energy and housing, to mobility and health, covering social, economic and environmental factors, as well as the various stakeholders and actors involved. The book argues for the need to find models and solutions in order to design sustainable cities of the future in light of the complexity of urban social life. Including diverse case studies from the developed and developing world, this book provides a useful reference for researchers and students from a broad range of disciplines working in the field of sustainability, as well as for environmental consultants and policy makers.

One of the most remarkable recent occurrences in mathematics is the refounding, on a rigorous basis, of the idea of infinitesimal quantity, a notion which played an important role in the early development of the calculus and mathematical analysis. In this new edition basic calculus, together with some of its applications to simple physical problems, are presented through the use of a straightforward, rigorous, axiomatically formulated concept of 'zero-square', or 'nilpotent' infinitesimal - that is, a quantity so small that its square and all higher powers can be set, literally, to zero. The systematic employment of these infinitesimals reduces the differential calculus to simple algebra and, at the same time, restores to use the “infinitesimal” methods figuring in traditional applications of the calculus to physical problems - a number of which are discussed in this book. This edition also contains an expanded historical and philosophical introduction.