This book is a result of ISD2000-The Ninth International Conference on Infor mation Systems Development: Methods and Tools, Theory and Practice, held August 14-16, in Kristiansand, Norway. The ISD conference has its roots in the first Polish Scandinavian Seminar on Current Trends in Information Systems Development Method ologies, held in Gdansk, Poland in 1988. This year, as the conference carries into the new millennium this fine tradition, it was fitting that it returned to Scandinavia. Velkommen tilbake Next year, ISD crosses the North Sea and in the traditions of the Vikings, invades England. Like every ISD conference, ISD2000 gave participants an opportunity to express ideas on the current state of the art in information systems development, and to discuss and exchange views about new methods, tools and applications. This is particularly important now, since the field of ISD has seen rapid, and often bewildering, changes. To quote a Chinese proverb, we are indeed cursed, or blessed, depending on how we choose to look at it, to be "living in interesting times.""

Advances in Computers, Volume 113, the latest volume in this innovative series published since 1960, presents detailed coverage of new advancements in computer hardware, software, theory, design and applications. Chapters in this updated release include A Survey on Regression Test-case Prioritization, Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing and Security Analysis, Model Based Test Cases Reuse and Optimization, Advances in Using Agile and Lean Processes for Software Development, Three Open Problems in the Context of E2E Web Testing and a Vision: NEONATE, Experiences with replicable experiments and replication kits for software engineering research, and Advances in Symbolic Execution.

An essential resource on the future of IP networks

Everyone agrees that Internet Protocol (IP) has played and will play a major role in the evolution of networks and services. The exact nature and scope of that role, however, remains a point of discussion. Assembling the foremost experts in their respective fields, editors Salah Aidarous and Thomas Plevyak present the community with an invaluable resource for research and development in Managing IP Networks: Challenges and Opportunities.

Issues related to end-to-end network and service management, for example, will dramatically impact the future of IP networks, yet there remains a scholarly deficit between the significance of these topics and their presence in the current literature. Aidarous and Plevyak make up this difference, addressing these and other critical challenges affecting the growth of IP networks, with contributions from:

• Paul Levine
• Joberto Martins
• Burkhard Stiller
• Mostafa Hashem Sherif
• Andrea Fumagalli
• Javier Aracil
• Luca Valcarenghi

Network operations engineers, computer scientists, and management software vendors, as well as professionals in the continuing education and research and development communities, will find Managing IP Networks to be an invaluable addition to their professional libraries.

Advances in Computers, Volume 112, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Mobile Application Quality Assurance, Advances in Combinatorial Testing, Advances in Applications of Object Constraint Language for Software Engineering, Advances in Techniques for Test Prioritization, Data Warehouse Testing, Mutation Testing Advances: An Analysis and Survey, Event-Based Concurrency: Applications, Abstractions, and Analyses, and A Taxonomy of Software Integrity Protection Techniques.

This book focuses on the design methodologies of various quantum circuits, DNA circuits, DNA-quantum circuits and quantum-DNA circuits. It considers the merits and challenges of multivalued logic circuits in quantum, DNA, quantum-DNA and DNA-quantum computing. Multiple-Valued Computing in Quantum Molecular Biology: Arithmetic and Combinational Circuits is Volume 1 of a two-volume set. From fundamentals to advanced levels, this book discusses different multiple-valued logic DNA-quantum and quantum-DNA circuits. The text consists of four parts. Part I introduces multiple-valued quantum computing and DNA computing. It contains the basic understanding of multiple-valued quantum computing, multiple-valued DNA computing, multiple-valued quantum-DNA computing and multiple-valued DNA-quantum computing. Part II examines heat calculation, speed calculation, heat transfer, data conversion and data management in multi-valued quantum, DNA, quantum-DNA and DNA-quantum computing. Part III discusses multiple-valued logic operations in quantum and DNA computing such as ternary AND, NAND, OR, NOR, XOR, XNOR and multiple-valued arithmetic operations such as adder, multiplier, divider and more. Quantum-DNA and DNA-quantum multiple-valued arithmetic operations are also explained in this section. Part IV explains multiple-valued quantum and DNA combinational circuits such as multiple-valued DNA-quantum and quantum-DNA multiplexer, demultiplexer, encoder and decoder. This book will be of great help to researchers and students in quantum computing, DNA computing, quantum-DNA computing and DNA-quantum computing researchers.

Discusses various design aspects of multiple-valued logic DNA-quantum and quantum-DNA sequential circuits, memory devices, programmable logic devices and nano-processors Presents how multiple-valued quantum, DNA, quantum-DNA and DNA-quantum nano processors are designed with algorithms Examines the architecture and design procedure of memory devices such as Random Access Memory (RAM), Read Only Memory (ROM) Reviews the designs and algorithms of Multiple-valued quantum, DNA, quantum-DNA and DNA-quantum nano processors.

This newly revised edition of the highly successful 1997 book offers professionals and students an up-to-date, in-depth understanding of how payments are made electronically across the Internet. The second edition explores the very latest developments in this quickly expanding area, including the newest security techniques and methods, and features a completely new chapter on the exciting advances in mobile commerce. Pub 8/01.

This volume is the first extensive study of the historical and philosophical connections between technology and mathematics. Coverage includes the use of mathematics in ancient as well as modern technology, devices and machines for computation, cryptology, mathematics in technological education, the epistemology of computer-mediated proofs, and the relationship between technological and mathematical computability. The book also examines the work of such historical figures as Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace, and Alan Turing.

This reference blends the concepts of optics and microwave theory. It is logically organized in two main parts, the first section deals with network analysis, while the second concentrates on signal analysis. As a whole, the text focuses on the fundamental aspects of optical networks. Methodology, rather than analysis, is the focus of the book. The discussion provides the tools you need to perform your own in-depth analysis of optical networks.

This volume offers an up-to-date overview of essential concepts and modern approaches to computational modelling, including the use of experimental techniques related to or directly inspired by them. The book introduces, at increasing levels of complexity and with the non-specialist in mind, state-of-the-art topics ranging from single-cell and molecular descriptions to circuits and networks. Four major themes are covered, including subcellular modelling of ion channels and signalling pathways at the molecular level, single-cell modelling at different levels of spatial complexity, network modelling from local microcircuits to large-scale simulations of entire brain areas and practical examples. Each chapter presents a systematic overview of a specific topic and provides the reader with the fundamental tools needed to understand the computational modelling of neural dynamics. This book is aimed at experimenters and graduate students with little or no prior knowledge of modelling who are interested in learning about computational models from the single molecule to the inter-areal communication of brain structures. The book will appeal to computational neuroscientists, engineers, physicists and mathematicians interested in contributing to the field of neuroscience. Chapters 6, 10 and 11 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book describes how a key signal/image processing algorithm - that of the fast Hartley transform (FHT) or, via a simple conversion routine between their outputs, of the real-data version of the ubiquitous fast Fourier transform (FFT) - might best be formulated to facilitate computationally-efficient solutions. The author discusses this for both 1-D (such as required, for example, for the spectrum analysis of audio signals) and m-D (such as required, for example, for the compression of noisy 2-D images or the watermarking of 3-D video signals) cases, but requiring few computing resources (i.e. low arithmetic/memory/power requirements, etc.). This is particularly relevant for those application areas, such as mobile communications, where the available silicon resources (as well as the battery-life) are expected to be limited. The aim of this monograph, where silicon-based computing technology and a resource-constrained environment is assumed and the data is real-valued in nature, has thus been to seek solutions that best match the actual problem needing to be solved.

This book presents a peer reviewed selection of extended versions of ten original papers that were presented at the 15th International Symposium on Computers in Education (SIIE 2013) held in Viseu, Portugal. The book provide a representative view of current Information and Communications Technology (ICT) educational research approaches in the Ibero-American context as well as internationally. It includes studies that range from elementary to higher education, from traditional to distance learning settings. It considers special needs and other inclusive issues, across a range of disciplines, using multiple and diverse perspectives and technologies to furnish detailed information on the latest trends in ICT and education globally. Design, development and evaluation of educational software; ICT use and evaluation methodologies; social web and collaborative systems; and learning communities are some of the topics covered.

The availability of today's online information systems rapidly increases the relevance of dynamic decision making within a large number of operational contexts. Whenever a sequence of interdependent decisions occurs, making a single decision raises the need for anticipation of its future impact on the entire decision process. Anticipatory support is needed for a broad variety of dynamic and stochastic decision problems from different operational contexts such as finance, energy management, manufacturing and transportation. Example problems include asset allocation, feed-in of electricity produced by wind power as well as scheduling and routing. All these problems entail a sequence of decisions contributing to an overall goal and taking place in the course of a certain period of time. Each of the decisions is derived by solution of an optimization problem. As a consequence a stochastic and dynamic decision problem resolves into a series of optimization problems to be formulated and solved by anticipation of the remaining decision process.

However, actually solving a dynamic decision problem by means of approximate dynamic programming still is a major scientific challenge. Most of the work done so far is devoted to problems allowing for formulation of the underlying optimization problems as linear programs. Problem domains like scheduling and routing, where linear programming typically does not produce a significant benefit for problem solving, have not been considered so far. Therefore, the industry demand for dynamic scheduling and routing is still predominantly satisfied by purely heuristic approaches to anticipatory decision making. Although this may work well for certain dynamic decision problems, these approaches lack transferability of findings to other, related problems.

This book has serves two major purposes:

It provides a comprehensive and unique view of anticipatory optimization for dynamic decision making. It fully integrates Markov decision processes, dynamic programming, data mining and optimization and introduces a new perspective on approximate dynamic programming. Moreover, the book identifies different degrees of anticipation, enabling an assessment of specific approaches to dynamic decision making.

It shows for the first time how to successfully solve a dynamic vehicle routing problem by approximate dynamic programming. It elaborates on every building block required for this kind of approach to dynamic vehicle routing. Thereby the book has a pioneering character and is intended to provide a footing for the dynamic vehicle routing community."

- The complete guide to mastering the technical challenges of lighting and flash - Explores locations, subjects and styles, and all the technical skills, tools and tips needed to master them - Written by multi award-winning photographer Richard Bradbury Aimed at the serious amateur, this is a practical guide to achieving professional results in digital photography. Light is at the very heart of photography and plays a fundamental role in creating successful images. Not only does light affect brightness, it also determines tone, mood, atmosphere, texture, colour and luminosity. Mastering Lighting & Flash Photography contains everything you need to know about controlling and manipulating light to capture the beauty of the world around you in your own signature style. Written and photographed by a multi award-winning photographer, the book describes and demonstrates all the key topics: from understanding light and how to use it; through choosing the best kit and mastering the essential techniques; to different forms of flash photography and studio lighting, tips from leading professionals, and elevating your prints in post-production. .

Cellular automata are widely-used tools for simulation in physics, ecology, evolution, mathematics and other fields. They are also digital "toy universes" worthy of study in their own right, with a significant and growing body of enthusiastic investigators. This book will present many of the most interesting new developments and applications of cellular automata. There has not been a compilation like this for some time and this field is due for an explosion of research interest in the rather near future.

This second volume in the series, "Strategic Management and Information Technology" presents a coherent set of papers that deal with the challenges of leveraging information technology for designing inter-organizational relationships. Instead of assembling a set of papers that are loosely connected to the broad theme of strategy and information technology, this volume presents a well-knit compendium of papers on a coherent topic.

The International Conference on Informatics and Management Science (IMS) 2012 will be held on November 16-19, 2012, in Chongqing, China, which is organized by Chongqing Normal University, Chongqing University, Shanghai Jiao Tong University, Nanyang Technological University, University of Michigan, Chongqing University of Arts and Sciences, and sponsored by National Natural Science Foundation of China (NSFC). The objective of IMS 2012 is to facilitate an exchange of information on best practices for the latest research advances in a range of areas. Informatics and Management Science contains over 600 contributions to suggest and inspire solutions and methods drawing from multiple disciplines including: * Computer Science * Communications and Electrical Engineering * Management Science * Service Science * Business Intelligence

This book explores quantum computing as a transformative technology and its applications in communications, cryptography, teleportation, IoT, AI, and blockchain, in addition to the revolutionary concept of quantum internet. It also explains the concept of dark, small, thick data, and clarifies what the concept of a data lake. Other exciting technologies like edge/fog computing, CDN, SDN, wearable technology and IoE topics are discussed in details in the book. Information security applications like zero trust model, zero-day vulnerability and heuristic analysis, and use of AI in cybersecurity are explored. Two of the most intriguing concepts in computing "affective computing" and "autonomic computing" are explained and simplified. The blockchain applications presented include blockchain and supply chain, crowdsourcing, cryptocurrency, and IoT. The book ends with a look at using technology to fight COVID-19 and future pandemics.

Control technology is a new learning environment which offers the opportunity to take up the economic and educational challenge of enabling people to adapt to new technologies and use them to solve problems. Giving young children (and also adults) easy access to control technology introduces them to a learning environment where they can build their knowledge across a range of topics. As they build and program their own automata and robots, they learn to solve problems, work incollaboration, and be creative. They also learn more about science, electronics, physics, computer literacy, computer assisted manufacturing, and so on. This book, based on a NATO Advanced Research Workshop in the Special Programme on Advanced Educational Technology, presents a cross-curricular approach to learning about control technology. The recommended methodology is active learning, where the teacher's role is to stimulate the learner to build knowledge by providing him/her with appropriate materials (hardware and software) and suggestions to develop the target skills. The results are encouraging, although more tools are needed to help the learner to generalize from his/her concrete experiment in control technology as well as to evaluate its effect on the target skills. The contributions not only discuss epistemological controversies linked to such learning environments as control technology, but also report on the state of the art and new developments in the field and present some stimulating ideas.

This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or on semialgebraic sets. A certificate of positivity for a real polynomial is an algebraic identity that gives an immediate proof of a positivity condition for the polynomial. Certificates of positivity have their roots in fundamental work of David Hilbert from the late 19th century on positive polynomials and sums of squares. Because of the numerous applications of certificates of positivity in mathematics, applied mathematics, engineering, and other fields, it is desirable to have methods for finding, describing, and characterizing them. For many of the topics covered in this book, appropriate algorithms, computational methods, and applications are discussed. This volume contains a comprehensive, accessible, up-to-date treatment of certificates of positivity, written by an expert in the field. It provides an overview of both the theory and computational aspects of the subject, and includes many of the recent and exciting developments in the area. Background information is given so that beginning graduate students and researchers who are not specialists can learn about this fascinating subject. Furthermore, researchers who work on certificates of positivity or use them in applications will find this a useful reference for their work.

The application of 3D methodology has recently been receiving increasing attention at many PET centres, and this monograph is an attempt to provide a state-of-the-art review of this methodology, covering 3D reconstruction methods, quantitative procedures, current tomography performance, and clinical and research applications. No such review has been available until now to assist PET researchers in understanding and implementing 3D methodology, and in evaluating the performance of the available imaging technology. In all the chapters, the subject matter is treated in sufficient depth to appeal equally to the physicist or engineer who wishes to establish the methodology, and to PET investigators with experience in 2D PET who wish to familiarize themselves with the concepts and advantages of 3D, and to be made aware of the pitfalls.

The book presents a comprehensive view on Flow-Aware Networking. It starts with a brief overview of the known QoS architectures based on the concept of a flow. Then, the original FAN concept is presented, along with its variations proposed by the authors. The next chapter covers a very valuable feature of the FAN architecture, namely its ability to assure net neutrality. The chapters that follow will discuss, in detail, a variety of issues making the FAN concept implementable, including congestion control, fairness, resilience to failures, service differentiation and degradation. The final chapter presents the test implementation of the FAN router, including the environment used and performance tests. Chapters are supplemented with problems to solve, along with their solutions. The pedagogical character of the book is supported by a number of illustrative examples contained in most of the chapters. At the end of the book, a glossary of the key terms is included, along with a comprehensive bibliography. Flow-based traffic management is currently becoming a mainstream. There is plenty of Quality of Service (QoS) techniques based on flows. Software-Defined Networking with its dominant protocol OpenFlow also follows this trend. Flow-Aware Networking (FAN) is a promising QoS architecture. Information on FAN can be found in various research papers. It is, therefore highly scattered. This book gathers practically all relevant information regarding FAN and puts it together. Quality of Service assurance is one of the key challenges of today's Internet. The existing approaches to provide QoS do not meet expectations of network operators, managers and users although numerous efforts in this area have been reported. One of the most promising concepts is the Flow-Aware Network (FAN). FAN can play a key role in assuring the net neutrality, smoothly combining interests of all the involved parties. The authors of the proposal have been involved in FAN research practically since its inception at the start of the 21st century. The book reports the wide experiences the authors accumulated in the subject area during the work on common FAN-related projects conducted with the team of James Roberts that proposed the original FAN concept as well as other leading research groups in Europe and the USA. One of the aims of the book is to accompany courses taught by the authors.

A new class of provably capacity achieving error-correction codes, polar codes are suitable for many problems, such as lossless and lossy source coding, problems with side information, multiple access channel, etc. The first comprehensive book on the implementation of decoders for polar codes, the authors take a tutorial approach to explain the practical decoder implementation challenges and trade-offs in either software or hardware. They also demonstrate new trade-offs in latency, throughput, and complexity in software implementations for high-performance computing and GPGPUs, and hardware implementations using custom processing elements, full-custom application-specific integrated circuits (ASICs), and field-programmable-gate arrays (FPGAs). Presenting a good overview of this research area and future directions, High-Speed Decoders for Polar Codes is perfect for any researcher or SDR practitioner looking into implementing efficient decoders for polar codes, as well as students and professors in a modern error correction class. As polar codes have been accepted to protect the control channel in the next-generation mobile communication standard (5G) developed by the 3GPP, the audience includes engineers who will have to implement decoders for such codes and hardware engineers designing the backbone of communication networks.

This book systematically summarizes the fundamentals and various technologies in both terrestrial radio wireless networks and underwater acoustic networks (UWANs). It addresses the basic issues frequently investigated in terrestrial radio wireless networks and the key technologies suitable for the newly developing research area of UWANs. Starting with a review of our current understanding of wireless networks, it then introduces the principles of the main technologies, including error control, medium access control (MAC) protocols, routing protocols, end-to-end transmission control and mobility issues as well as network security for terrestrial radio wireless networks, and offers detailed surveys of these technologies for UWANs. Providing readers with the basic knowledge of terrestrial radio wireless networking technologies and raising readers' awareness of the developing topic of UWANs in ocean , it is a valuable resource for researchers and practitioners in terrestrial radio wireless networks and UWANs.

This powerful new volume explores the diverse and sometimes unexpected roles that IoT and AI technologies played during the recent COVID-19 global pandemic. The book discusses the how existing and new state-of-the art technology has been and can be applied for global health crises in a multitude of ways. The chapters in Pandemic Detection and Analysis through Smart Computing Technologies look at exciting technological solutions for virus detection, prediction, classification, prevention, and communication outreach. The book considers the various modes of transmission of the virus as well as how technology has been implemented for personalized healthcare systems and how it can be used for future pandemics. The huge importance of social and mobile communication and networks during the pandemic is addressed such as in business, education, and healthcare; in research and development; for health information and outreach; in social life; and more. A chapter also addresses using smart computing for forecasting the damage caused by COVID-19 using time series analyses. This up-to-the-minute volume illuminates on the many ways AI, IoT, machine learning, and other technologies have important roles in the diverse challenges faced during COVID-19 and how they can be enhanced for future pandemic situations. The volume will be of high interest to those in different fields of computer science and other domains as well as to data scientists, government agencies and policymakers, doctors and healthcare professionals, engineers, economists, and many other professionals. This book will also be very helpful to faculty, students, and research scholars in understanding the pre- and post-effect of this pandemic.