The book comprises an assembly of benchmarks and examples for porous media mechanics collected over the last twenty years. Analysis of thermo-hydro-mechanical-chemical (THMC) processes is essential to many applications in environmental engineering, such as geological waste deposition, geothermal energy utilisation, carbon capture and storage, water resources management, hydrology, even climate chance. In order to assess the feasibility as well as the safety of geotechnical applications, process-based modelling is the only tool to put numbers, i.e. to quantify future scenarios. This charges a huge responsibility concerning the reliability of computational tools. Benchmarking is an appropriate methodology to verify the quality of modelling tools based on best practices. Moreover, benchmarking and code comparison foster community efforts. The benchmark book is part of the OpenGeoSys initiative - an open source project to share knowledge and experience in environmental analysis and scientific computation.

In recent years Genetic Algorithms (GA) and Artificial Neural Networks (ANN) have progressively increased in importance amongst the techniques routinely used in chemometrics. This book contains contributions from experts in the field is divided in two sections (GA and ANN). In each part, tutorial chapters are included in which the theoretical bases of each technique are expertly (but simply) described. These are followed by application chapters in which special emphasis will be given to the advantages of the application of GA or ANN to that specific problem, compared to classical techniques, and to the risks connected with its misuse.
This book is of use to all those who are using or are interested in GA and ANN. Beginners can focus their attentions on the tutorials, whilst the most advanced readers will be more interested in looking at the applications of the techniques. It is also suitable as a reference book for students.
- Subject matter is steadily increasing in importance
- Comparison of Genetic Algorithms (GA) and Artificial Neural Networks (ANN) with the classical techniques
- Suitable for both beginners and advanced researchers

This book presents intuitive explanations of the principles and applications of power system resiliency, as well as a number of straightforward and practical methods for the impact analysis of risk events on power system operations. It also describes the challenges of modelling, distribution networks, optimal scheduling, multi-stage planning, deliberate attacks, cyber-physical systems and SCADA-based smart grids, and how to overcome these challenges. Further, it highlights the resiliency issues using various methods, including strengthening the system against high impact events with low frequency and the fast recovery of the system properties. A large number of specialists have collaborated to provide innovative solutions and research in power systems resiliency. They discuss the fundamentals and contemporary materials of power systems resiliency, theoretical and practical issues, as well as current issues and methods for controlling the risk attacks and other threats to AC power systems. The book includes theoretical research, significant results, case studies, and practical implementation processes to offer insights into electric power and engineering and energy systems. Showing how systems should respond in case of malicious attacks, and helping readers to decide on the best approaches, this book is essential reading for electrical engineers, researchers and specialists. The book is also useful as a reference for undergraduate and graduate students studying the resiliency and reliability of power systems.

Multisensor fusion systems are only practical if the algorithms used are practical and effective, and if there is efficient database support. The first part of this book discusses a wide range of issues related to the development of robust, context-sensitive, and efficient data fusion algorithms. The second part addresses database requirements, structures, and issues related to achieving overall computational efficiency. Featuring highly accessible notation, the processing model and database issues presented in the text are aimed at system developers working in sensor fusion, automatic target recognition, multiple-target tracking, robotic control, automated image understanding, and large-scale integration and fabrication.

This is volume 73 of "Advances in Computers." This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this current volume, subtitled "Emerging Technologies," we discuss several new advances in computer software generation as well as describe new applications of those computers.
The first chapter gives an overview of various software development technologies that have been applied during the past 40 years with the goal of improving the software development process. This includes various methods such as structured development methods, reviews, object-oriented methods and rapid development technologies.
Chapter 2 explores implications of UML as an emerging design notation for software.
Chapter 3 looks at the emerging concept of pervasive computing and its impact on resource management and security. The authors discuss how the goal of transparency of computers affects efficiency of the system as well as security concerns.
Chapter 4 discusses RFID, or radio frequency identification. This is the technology that cheaply tags products with unique identifiers that only need to pass near a reading device rather than specifically being read by a scanner. With this technology, products can be traced through the supply chain from manufacture to use easily.
In the final chapter, the authors discuss the use of robot technology in medicine, specifically computer-integrated interventionalmedicine (CIIM) in which robotic control takes over some or all of the aspects of surgery.

Thecontinuousandincreasinginterestconcerningvectoroptimizationperc- tible in the research community, where contributions dealing with the theory of duality abound lately, constitutes the main motivation that led to writing this book. Decisive was also the research experience of the authors in this ?eld, materialized in a number of works published within the last decade. The need for a book on duality in vector optimization comes from the fact that despite the large amount of papers in journals and proceedings volumes, no book mainly concentrated on this topic was available so far in the scienti?c landscape. There is a considerable presence of books, not all recent releases, on vector optimization in the literature. We mention here the ones due to Chen,HuangandYang(cf. [49]),EhrgottandGandibleux(cf. [65]),Eichfelder (cf. [66]), Goh and Yang (cf. [77]), G.. opfert and Nehse (cf. [80]), G.. opfert, - ahi, Tammer and Z? alinescu (cf. [81]), Jahn (cf. [104]), Kaliszewski (cf. [108]), Luc (cf. [125]), Miettinen (cf. [130]), Mishra, Wang and Lai (cf. [131,132]) and Sawaragi, Nakayama and Tanino (cf. [163]), where vector duality is at most tangentially treated. We hope that from our e?orts will bene? t not only researchers interested in vector optimization, but also graduate and und- graduate students. The framework we consider is taken as general as possible, namely we work in (locally convex) topological vector spaces, going to the usual ?nite - mensional setting when this brings additional insights or relevant connections to the existing literature.

IT securiteers - The human and technical dimension working for the organisation.

Current corporate governance regulations and international standards lead many organisations, big and small, to the creation of an information technology (IT) security function in their organisational chart or to the acquisition of services from the IT security industry.

More often than desired, these teams are only useful for companies' executives to tick the corresponding box in a certification process, be it ISO, ITIL, PCI, etc. Many IT security teams do not provide business value to their company. They fail to really protect the organisation from the increasing number of threats targeting its information systems.

IT Security Management provides an insight into how to create and grow a team of passionate IT security professionals. We will call them "securiteers." They will add value to the business, improving the information security stance of organisations.

This book contains papers presented at the International Symposium on Elect- magnetic Fields in Mechatronics, Electrical and Electronic Engineering ISEF'07 which was held in Prague, the Czech Republic, from September 13 to 15, 2007. ISEF conferences have been organized since 1985 and from the very beginning it was a common initiative of Polish and other European researchers who have dealt with electromagnetic ?eld in electrical engineering. The conference travels through Europe and is organized in various academic centres. Relatively often, it was held in some Polish city as the initiative was on the part of Polish scientists. Now ISEF is much more international and successive events take place in different European academic centres renowned for electromagnetic research. This time it was Prague, famous for its beauty and historical background, as it is the place where many c- tures mingle. The venue of the conference was the historical building of Charles University, placed just in the centre of Prague. The Technical University of Prague, in turn, constituted the logistic centre of the conference. It is the tradition of the ISEF meetings that they try to tackle quite a vast area of computational and applied electromagnetics. Moreover, the ISEF symposia aim at combining theory and practice; therefore the majority of papers are deeply rooted in engineering problems, being simultaneously of a high theoretical level.

Power consumption becomes the most important design goal in a wide range of electronic systems. There are two driving forces towards this trend: continuing device scaling and ever increasing demand of higher computing power. First, device scaling continues to satisfy Moore's law via a conventional way of scaling (More Moore) and a new way of exploiting the vertical integration (More than Moore). Second, mobile and IT convergence requires more computing power on the silicon chip than ever. Cell phones are now evolving towards mobile PC. PCs and data centers are becoming commodities in house and a must in industry. Both supply enabled by device scaling and demand triggered by the convergence trend realize more computation on chip (via multi-core, integration of diverse functionalities on mobile SoCs, etc.) and finally more power consumption incurring power-related issues and constraints.

"Energy-Aware System Design: Algorithms and Architectures" provides state-of-the-art ideas for low power design methods from circuit, architecture to software level andoffers design case studies in three fast growing areas of mobile storage, biomedical and security.

Important topics and features:

- Describes very recent advanced issues and methods for energy-aware design at each design level from circuit andarchitecture toalgorithm level, and also covering important blocks including low power main memory subsystem and on-chip network at architecture level

- Explains efficient power conversion and delivery which is becoming important as heterogeneous power sources are adopted for digital and non-digital parts

- Investigates 3D die stacking emphasizing temperature awareness for better perspective on energy efficiency

- Presents three practical energy-aware design case studies; novel storage device (e.g., solid state disk), biomedical electronics (e.g., cochlear and retina implants), and wireless surveillance camera systems.

Researchers and engineers in the field of hardware and software design will find this book an excellent starting point to catch up with the state-of-the-art ideas of low power design.

This book contains the collection of papers presented at the conference of the International Federation for Information Processing Working Group 8.2 "Information and Organizations." The conference took place during June 21-24, 2009 at the Universidade do Minho in Guimaraes, Portugal. The conference entitled "CreativeSME - The Role of IS in Leveraging the Intelligence and Creativity of SME's" attracted high-quality submissions from across the world. Each paper was reviewed by at least two reviewers in a double-blind review process. In addition to the 19 papers presented at the conference, there were five panels and four workshops, which covered a range of issues relevant to SMEs, creativity and information systems. We would like to show our appreciation of the efforts of our two invited keynote speakers, Michael Dowling of the University of Regensburg, Germany and Carlos Zorrinho, Portuguese coordinator of the Lisbon Strategy and the Technological Plan. The following organizations supported the conference through financial or other contributions and we would like to thank them for their engagement: "

In e-learning, the learner spends a significant amount of time online, interacting with Web-based applications. This interaction carries tremendous weight in the learning process, because it directly influences the way the learner receives, comprehends, and ultimately retains information. Affective, Interactive, and Cognitive Methods for E-Learning Design: Creating an Optimal Education Experience brides a current gap in e-learning literature through focus on the study and application of human computer interaction principles in the design of online education in order to offer students the optimal learning experience. This advanced publication gives insight into the most significant design issues encountered and offers solutions to help in the creation of an ideal learning environment.

With the rise of mobile and wireless technologies, more sustainable networks are necessary to support communication. These next-generation networks can now be utilized to extend the growing era of the Internet of Things. Enabling Technologies and Architectures for Next-Generation Networking Capabilities is an essential reference source that explores the latest research and trends in large-scale 5G technologies deployment, software-defined networking, and other emerging network technologies. Featuring research on topics such as data management, heterogeneous networks, and spectrum sensing, this book is ideally designed for computer engineers, technology developers, network administrators and researchers, professionals, and graduate-level students seeking coverage on current and future network technologies.

At a time when Internet use is closely tracked and social networking sites supply data for targeted advertising, Lars Heide presents the first academic study of the invention that fueled today's information revolution: the punched card.

Early punched cards helped to process the United States census in 1890. They soon proved useful in calculating invoices and issuing pay slips. As demand for more sophisticated systems and reading machines increased in both the United States and Europe, punched cards served ever-larger data-processing purposes. Insurance companies, public utilities, businesses, and governments all used them to keep detailed records of their customers, competitors, employees, citizens, and enemies.

The United States used punched-card registers in the late 1930s to pay roughly 21 million Americans their Social Security pensions, Vichy France used similar technologies in an attempt to mobilize an army against the occupying German forces, and the Germans in 1941 developed several punched-card registers to make the war effort--and surveillance of minorities--more effective. Heide's analysis of these three major punched-card systems, as well as the impact of the invention on Great Britain, illustrates how different cultures collected personal and financial data and how they adapted to new technologies.

This comparative study will interest students and scholars from a wide range of disciplines, including the history of technology, computer science, business history, and management and organizational studies.

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.

A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aerospace, railway, and enterprise information systems, and microprocessor design. The project introduced a formal method, Event-B, into several industrial organisations and built on the lessons learned to provide an ecosystem of better tools, documentation and support to help others to select and introduce rigorous systems engineering methods. The contributing authors report on these projects and the lessons learned. For the academic and research partners and the tool vendors, the project identified improvements required in the methods and supporting tools, while the industrial partners learned about the value of formal methods in general. A particular feature of the book is the frank assessment of the managerial and organisational challenges, the weaknesses in some current methods and supporting tools, and the ways in which they can be successfully overcome. The book will be of value to academic researchers, systems and software engineers developing critical systems, industrial managers, policymakers, and regulators.

This book is for people worrying about their sinking ship. Based on experience, it is a guide for navigating the blockers, buzzwords and bloody-mindedness that doom any analogue organisation trapped into thinking that while the internet has changed the world, it won't change their world. Companies that grew up on the web have changed our expectations of the services we rely on. We demand simplicity, speed and low cost. Organizations founded before the Internet aren't keeping up - despite spending millions on IT, marketing and 'innovation'. This revised, expanded second edition of Digital Transformation at Scale is a guide to building a digital institution. It explains how a growing band of reformers in businesses and governments around the world have helped their organizations pivot to this new way of working, and what lessons others can learn from their experience. It is based on the authors' experience designing and helping to deliver the UK's Government Digital Service (GDS). The GDS was a new institution made responsible for the digital transformation of government, designing public services for the Internet era. It snipped GBP4 billion off the government's technology bill, opened up public sector contracts to thousands of new suppliers, and delivered online services so good that citizens chose to use them over the offline alternatives, without a big marketing campaign. Other countries and companies noticed, with the GDS model now being copied around the world.

This Volume discusses the underlying principles and analysis of the different concepts associated with an emerging socio-inspired optimization tool referred to as Cohort Intelligence (CI). CI algorithms have been coded in Matlab and are freely available from the link provided inside the book. The book demonstrates the ability of CI methodology for solving combinatorial problems such as Traveling Salesman Problem and Knapsack Problem in addition to real world applications from the healthcare, inventory, supply chain optimization and Cross-Border transportation. The inherent ability of handling constraints based on probability distribution is also revealed and proved using these problems.

The 1960s were perhaps a decade of confusion, when scientists faced d- culties in dealing with imprecise information and complex dynamics. A new set theory and then an in?nite-valued logic of Lot? A. Zadeh were so c- fusing that they were called fuzzy set theory and fuzzy logic; a deterministic system found by E. N. Lorenz to have random behaviours was so unusual that it was lately named a chaotic system. Just like irrational and imaginary numbers, negative energy, anti-matter, etc., fuzzy logic and chaos were gr- ually and eventually accepted by many, if not all, scientists and engineers as fundamental concepts, theories, as well as technologies. In particular, fuzzy systems technology has achieved its maturity with widespread applications in many industrial, commercial, and technical ?elds, ranging from control, automation, and arti?cial intelligence to image/signal processing, patternrecognition, andelectroniccommerce.Chaos, ontheother hand, wasconsideredoneofthethreemonumentaldiscoveriesofthetwentieth century together with the theory of relativity and quantum mechanics. As a very special nonlinear dynamical phenomenon, chaos has reached its current outstanding status from being merely a scienti?c curiosity in the mid-1960s to an applicable technology in the late 1990s. Finding the intrinsic relation between fuzzy logic and chaos theory is certainlyofsigni?cantinterestandofpotentialimportance.Thepast20years have indeed witnessed some serious explorations of the interactions between fuzzylogicandchaostheory, leadingtosuchresearchtopicsasfuzzymodeling of chaotic systems using Takagi-Sugeno models, linguistic descriptions of chaotic systems, fuzzy control of chaos, and a combination of fuzzy control technology and chaos theory for various engineering pract

This book is intended as an introduction to fuzzy algebraic hyperstructures. As the first in its genre, it includes a number of topics, most of which reflect the authors' past research and thus provides a starting point for future research directions. The book is organized in five chapters. The first chapter introduces readers to the basic notions of algebraic structures and hyperstructures. The second covers fuzzy sets, fuzzy groups and fuzzy polygroups. The following two chapters are concerned with the theory of fuzzy Hv-structures: while the third chapter presents the concept of fuzzy Hv-subgroup of Hv-groups, the fourth covers the theory of fuzzy Hv-ideals of Hv-rings. The final chapter discusses several connections between hypergroups and fuzzy sets, and includes a study on the association between hypergroupoids and fuzzy sets endowed with two membership functions. In addition to providing a reference guide to researchers, the book is also intended as textbook for undergraduate and graduate students.

This book offers a coherent and comprehensive approach to feature subset selection in the scope of classification problems, explaining the foundations, real application problems and the challenges of feature selection for high-dimensional data. The authors first focus on the analysis and synthesis of feature selection algorithms, presenting a comprehensive review of basic concepts and experimental results of the most well-known algorithms. They then address different real scenarios with high-dimensional data, showing the use of feature selection algorithms in different contexts with different requirements and information: microarray data, intrusion detection, tear film lipid layer classification and cost-based features. The book then delves into the scenario of big dimension, paying attention to important problems under high-dimensional spaces, such as scalability, distributed processing and real-time processing, scenarios that open up new and interesting challenges for researchers. The book is useful for practitioners, researchers and graduate students in the areas of machine learning and data mining.

Ambient Intelligence is one of the new paradigms in the development of information and communication technology, which has attracted much attention over the past years. The aim is the to integrate technology into people environment in such a way that it improves their daily lives in terms of well-being, creativity, and productivity. Ambient Intelligence is a multidisciplinary concept, which heavily builds on a number of fundamental breakthroughs that have been achieved in the development of new hardware concepts over the past years. New insights in nano and micro electronics, packaging and interconnection technology, large-area electronics, energy scavenging devices, wireless sensors, low power electronics and computing platforms enable the realization of the heaven of ambient intelligence by overcoming the hell of physics. Based on contributions from leading technical experts, this book presents a number of key topics on novel hardware developments, thus providing the reader a good insight into the physical basis of ambient intelligence. It also indicates key research challenges that must be addressed in the future.

This edited volume is intended to address in a comprehensive and integrated manner three major areas of national and international security research from an information systems-centric perspective: legal and policy frameworks; intelligence and security informatics; and emergency preparedness and infrastructure protection. The discussions are replete with real-world case studies and examples that present the concepts using an integrated, action-oriented and theory-based approach to validate the frameworks presented and to provide specific insights on the technical approaches and organizational issues under investigation.
This book is intended to be used as both a textbook and a comprehensive research handbook. The contributors to this edited volume are renowned experts in their respective fields. Most of the chapters contained in this book provide an updated comprehensive survey of the related field and also specific findings from cutting-edging innovative research. To facilitate its adoption as a textbook, all the authors have included specific discussion questions that could be utilized to stimulate discussions and potentially further research in the area.
*Addresses three major areas of national and international security research from an information systems-centric perspective
*Focuses on legal and policy frameworks, intelligence and security informatics, and emergency preparedness and infrastructure protection
*Real-world case studies are used as examples to provide specific insights