"Soar: A Cognitive Architecture in Perspective" represents a European perspective on Soar with the exception of the special contribution from Allen Newell arguing for Unified Theories of Cognition. The various papers derive from the work of the Soar Research Group that has been active at the University of Groningen, The Netherlands, since 1987. The work reported here has been inspired in particular by two topics that precipitated the group's interest in Soar in the first place: - road user behaviour and the temporal organization of behaviour, more specifically planning. At the same time, the various contributions go beyond the simple use of Soar as a convenient medium for modelling human cognitive activity. In every paper one or more fundamental issues are raised that touch upon the very nature and consistency of Soar as an intelligent architecture. As a result the reader will learn about the operator implementation problem, chunking, multitasking, the need to constrain the depth of the goal stack, and induction etc. Soar is still at a relatively early stage of development. It does, nevertheless, constitute an important breakthrough in the area of computer architectures for general intelligence. Soar shows one important direction that future efforts to build intelligent systems should take if they aim for a comprehensive, and psychologically meaningful, theory of cognition. This is argued by Newell in his contribution to this volume. For this reason, the Soar system will probably play an important integrative role within cognitive science in bringing together important subdomains of psychology, computer science, linguistics, and the neurosciences. Although Soar is not the only "architecture for intelligence", it is one of the most advanced and theoretically best motivated architectures presently available. This work should be of special interest to researchers in the domains of cognitive science, computer science and artificial intelligence, cognitive psychology, and the philosophy of mind.

'Behavior' is an increasingly important concept in the scientific, societal, economic, cultural, political, military, living and virtual worlds. Behavior computing, or behavior informatics, consists of methodologies, techniques and practical tools for examining and interpreting behaviours in these various worlds. Behavior computing contributes to the in-depth understanding, discovery, applications and management of behavior intelligence. With contributions from leading researchers in this emerging field Behavior Computing: Modeling, Analysis, Mining and Decision includes chapters on: representation and modeling behaviors; behavior ontology; behaviour analysis; behaviour pattern mining; clustering complex behaviors; classification of complex behaviors; behaviour impact analysis; social behaviour analysis; organizational behaviour analysis; and behaviour computing applications. Behavior Computing: Modeling, Analysis, Mining and Decision provides a dedicated source of reference for the theory and applications of behavior informatics and behavior computing. Researchers, research students and practitioners in behavior studies, including computer science, behavioral science, and social science communities will find this state of the art volume invaluable.

This book provides an extensive overview of the diffusion of Information and Communication Technologies (ICTs) in developing countries between 2000 and 2012. It covers issues such as country-specific ICT diffusion patterns, technological substitution and technological convergence. By identifying social, economic and institutional prerequisites and analyzing critical country-specific conditions, the author develops a new approach to explaining the emergence of their technological takeoff. Readers will discover how developing countries are now adopting ICTs, rapidly catching up with the developed world in terms of ICT access and use.

The electronics and information technology revolution continues, but it is a critical time in the development of technology. Once again, we stand on the brink of a new era where emerging research will yield exciting applications and products destined to transform and enrich our daily lives! The potential is staggering and the ultimate impact is unimaginable, considering the continuing marriage of te- nology with fields such as medicine, communications and entertainment, to name only a few. But who will actually be responsible for transforming these potential new pr- ucts into reality? The answer, of course, is today's (and tomorrow's) design en- neers! The design of integrated circuits today remains an essential discipline in s- port of technological progress, and the authors of this book have taken a giant step forward in the development of a practice-oriented treatise for design engineers who are interested in the practical, industry-driven world of integrated circuit - sign.

I3E 2009 was held in Nancy, France, during September 23-25, hosted by Nancy University and INRIA Grand-Est at LORIA. The conference provided scientists andpractitionersofacademia, industryandgovernmentwithaforumwherethey presented their latest ?ndings concerning application of e-business, e-services and e-society, and the underlying technology to support these applications. The 9th IFIP Conference on e-Business, e-Services and e-Society, sponsored by IFIP WG 6.1. of Technical Committees TC6 in cooperation with TC11, and TC8 represents the continuation of previous events held in Zurich (Switzerland) in 2001, Lisbon (Portugal) in 2002, Sao Paulo (Brazil) in 2003, Toulouse (France) in 2004, Poznan (Poland) in 2005, Turku (Finland) in 2006, Wuhan (China) in 2007 and Tokyo (Japan) in 2008. The call for papers attracted papers from 31 countries from the ?ve con- nents. As a result, the I3E 2009 programo?ered 12 sessions of full-paper pres- tations. The 31 selected papers cover a wide and important variety of issues in e-Business, e-servicesande-society, including security, trust, andprivacy, ethical and societal issues, business organization, provision of services as software and software as services, and others. Extended versions of selected papers submitted to I3E 2009 will be published in the International Journal of e-Adoption and in AIS Transactions on Enterprise Systems. In addition, a 500-euros prize was awarded to the authors of the best paper selected by the Program Comm- tee. We thank all authors who submitted their papers, the Program Committee members and external reviewers for their excellent

This volume is a collation of original contributions from the key actors of a new trend in the contemporary theory of knowledge and belief, that we call "dynamic epistemology." It brings the works of these researchers under a single umbrella by highlighting the coherence of their current themes, and by establishing connections between topics that, up until now, have been investigated independently. It also illustrates how the new analytical toolbox unveils questions about the theory of knowledge, belief, preference, action, and rationality, in a number of central axes in dynamic epistemology: temporal, social, probabilistic and even deontic dynamics.

This is a book about a code and about coding. The code is a case study which has been used to teachcourses in e-Science atthe Australian NationalUniv- sity since 2001. Students learn advanced programming skills and techniques TM in the Java language. Above all, they learn to apply useful object-oriented design patterns as they progressively refactor and enhance the software. We think our case study,EScope, is as close to real life as you can get! It is a smaller version of a networked, graphical, waveform browser which is used in the control rooms of fusion energy experiments around the world. It is quintessential "e-Science" in the sense of e-Science being "computer science and information technology in the service of science". It is not, speci?cally, "Grid-enabled", but we develop it in a way that will facilitate its deployment onto the Grid. The standard version ofEScope interfaces with a specialised database for waveforms, and related data, known asMDSplus. On the acc- panying CD, we have provided you with software which will enable you to installMDSplus,EScope and sample data ?les onto Windows or Linux c- puters. There is much additional software including many versions of the case study as it gets built up and progressively refactored using design patterns. There will be a home web-site for this book which will contain up-to-date information about the software and other aspects of the case study.

CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application scenarios. The congress has been held twice, in Los Angeles, USA for the first and in Changchun, China for the second time, each of which attracted a large number of researchers from all over the world. The congress turns out to develop a spirit of cooperation that leads to new friendship for addressing a wide variety of ongoing problems in this vibrant area of technology and fostering more collaboration over the world.

The congress, CSIE 2011, received 2483 full paper and abstract submissions from 27 countries and regions over the world. Through a rigorous peer review process, all submissions were refereed based on their quality of content, level of innovation, significance, originality and legibility. 688 papers have been accepted for the international congress proceedings ultimately. "

A Modular Calculus for the Average Cost of Data Structuring introduces MOQA, a new domain-specific programming language which guarantees the average-case time analysis of its programs to be modular.Time in this context refers to a broad notion of cost, which can be used to estimate the actual running time, but also other quantitative information such as power consumption, while modularity means that the average time of a program can be easily computed from the times of its constituents--something that no programming language of this scope has been able to guarantee so far. MOQA principles can be incorporated in any standard programming language.

MOQA supports tracking of data and their distributions throughout computations, based on the notion of random bag preservation. This allows a unified approach to average-case time analysis, and resolves fundamental bottleneck problems in the area. The main techniques are illustrated in an accompanying Flash tutorial, where the visual nature of this method can provide new teaching ideas for algorithms courses.

This volume, with forewords by Greg Bollella and Dana Scott, presents novel programs based on the new advances in this area, including the first randomness-preserving version of Heapsort. Programs are provided, along with derivations of their average-case time, to illustrate the radically different approach to average-case timing. The automated static timing tool applies the Modular Calculus to extract the average-case running time of programs directly from their MOQA code.

A Modular Calculus for the Average Cost of Data Structuring is designed for a professional audience composed of researchers and practitioners in industry, with an interest in algorithmic analysis and also static timing and power analysis--areas of growing importance. It is also suitable as an advanced-level text or reference book for students in computer science, electrical engineering and mathematics.

Michel Schellekens obtained his PhD from Carnegie Mellon University, following which he worked as a Marie Curie Fellow at Imperial College London. Currently he is an Associate Professor at the Department of Computer Science in University College Cork - National University of Ireland, Cork, where he leads the Centre for Efficiency-Oriented Languages (CEOL) as a Science Foundation Ireland Principal Investigator.

Mathematical Linguistics introduces the mathematical foundations of linguistics to computer scientists, engineers, and mathematicians interested in natural language processing. The book presents linguistics as a cumulative body of knowledge from the ground up: no prior knowledge of linguistics is assumed. Previous textbooks in this area concentrate on syntax and semantics - this comprehensive volume covers an extremely rich array of topics also including phonology and morphology, probabilistic approaches, complexity, learnability, and the analysis of speech and handwriting. As the first textbook of its kind, this book is useful for those in information science (information retrieval and extraction, search engines) and in natural language technologies (speech recognition, optical character recognition, HCI). Exercises suitable for the advanced reader are included, as well as suggestions for further reading and an extensive bibliography.

This book records the very first Working Conference of the newly established IFIP Working Group on Human-Work Interaction Design, which was hosted by the University of Madeira in 2006. The theme of the conference was on synthesizing work analysis and design sketching, with a particular focus on how to read design sketches within different approaches to analysis and design of human-work interaction. Authors were encouraged to submit papers about design sketches - for interfaces, for organizations of work etc. - that they themselves had worked on. During the conference, they presented the lessons they had learnt from the design and evaluation process, citing reasons for why the designs worked or why they did not work. Researchers, designers and analysts in this way confronted concrete design problems in complex work domains and used this unique opportunity to share their own design problems and solutions with the community. To successfully practice and do research within Human - Work Interaction Design requires a high level of personal skill, which the conference aimed at by confronting designers and work analysts and those whose research is both analysis and design. They were asked to collaborate in small groups about analysis and solutions to a common design problem.

This book provides an insight into the possibilities that so-called ""Electronic Government"" has to offer. It demonstrates the elements belonging to the concept of E-Government and acts as a point of reference for those aiming to implement it. Checklists and lists of questions enable self-assessment at local, state and federal levels, highlighting opportunities for further development. The book cannot be described as technical - programmers will not find any instructions. Instead, it is designed to act as a point of orientation for decision makers in the field of government and politics, without the need to get bogged down in technical details. Central to the book are the following questions: what is Electronic Government, what advantages does it bring to those involved with it, and how can it be introduced?

Aware that the readers like a scientific array, the author strived to satiate this overlooked desirability. The mosaic of topics offered here, was for addressing this forgotten craving. Studying the invented over the years, showed how inventiveness was affected by fiction, intuition, deliberate thinking and the tabooed. Though unlooked for, the author came up with a new Classification Of Inventions. The connoted proved that inventiveness could be learned. Besides inventing the materialistic, man was also enthused to invent the spiritualistic. This led the author to discuss our changing views on Mythopoeia, Religion, the Expiration of Man, our Distopian Cultures and our global insociability. Thus and so, these subjects were an appropriated connubiality between the materialistic and the established by fuliginous credos. His contrived methodologies, to name a few comprised inventions for: collecting spilt oil lost to the sea; desalting sea water; protecting our affluent and the influential from being spied on or targeted by snipers; severing bloodlessly our skin folds hence winning the battle of the flap. share them with his readers and to leave them behind for the indulgers of coming generations. Credentials though important, yet intuition as instanced know no boundries for the insighted.

The convergence of biology and computer science was initially motivated by the need to organize and process a growing number of biological observations resulting from rapid advances in experimental techniques. Today, however, close collaboration between biologists, biochemists, medical researchers, and computer scientists has also generated remarkable benefits for the field of computer science. Systemic Approaches in Bioinformatics and Computational Systems Biology: Recent Advances presents new techniques that have resulted from the application of computer science methods to the organization and interpretation of biological data. The book covers three subject areas: bioinformatics, computational biology, and computational systems biology. It focuses on recent, systemic approaches in computer science and mathematics that have been used to model, simulate, and more generally, experiment with biological phenomena at any scale.

Recently, the emergence of wireless and mobile networks has made possible the admission of electronic commerce to a new application and research subject: mobile commerce, defined as the exchange or buying and selling of commodities, services, or information on the Internet through the use of mobile handheld devices. In just a few years, mobile commerce has emerged from nowhere to become the hottest new trend in business transactions. However, the prosperity and popularity of mobile commerce will be brought to a higher level only if information is securely and safely exchanged among end systems (mobile users and content providers). Advances in Security and Payment Methods for Mobile Commerce includes high-quality research papers and industrial and practice articles in the areas of mobile commerce security and payment from academics and industrialists. It covers research and development results of lasting significance in the theory, design, implementation, analysis, and application of mobile commerce security and payment.

This book is about wireless local area networks (WLANs) based upon the IEEE 802.11 standards. It has three primary objectives: * To introduce the principles of 802.11 wireless networks and show how to con- ure equipment in order to implement various network solutions. * To provide an understandingof the security implicationsof wireless networks and demonstrate how vulnerabilities can be mitigated. * To introduce the underlying 802.11 protocols and build mathematical models in order to analyse performance in a WLAN environment. The book is aimed at industry professionals as well as undergraduate and gra- ate level students. It is intended as a companion for a university course on wireless networking. A practical approach is adopted in this book; examples are provided throughout, supported by detailed instructions. We cover a number of wireless vendors; namely, Cisco's Aironet, Alactel-Lucent's Omniaccess and Meru Networks. While separate vendors, all three systems have a Cisco IOS-like command-line interface. The GNU/Linux operating system is used extensively throughout this book.

First studied in social insects like ants, indirect self-organizing interactions - known as "stigmergy" - occur when one individual modifies the environment and another subsequently responds to the new environment. The implications of self-organizing behavior extend to robotics and beyond. This book explores the application of stigmergy for a variety of optimization problems. The volume comprises 12 chapters including an introductory chapter conveying the fundamental definitions, inspirations and research challenges.

Gatewatching: Collaborative Online News Production is the first comprehensive study of the latest wave of online news publications. The book investigates the collaborative publishing models of key news Websites, ranging from the worldwide Indymedia network to the massively successful technology news site Slashdot, and further to the multitude of Weblogs that have emerged in recent years. Building on collaborative approaches borrowed from the open source software development community, this book illustrates how gatewatching provides an alternative to gatekeeping and other traditional journalistic models of reporting, and has enabled millions of users around the world to participate in the online news publishing process.

Bioinformatics as a discipline has come of age, and there are now numerous databases and tools that are widely used by researchers in the biomedical field. However, successful development of future bioinformatics applications will depend on an appropriately formalised representation of domain knowledge.

This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary in its approach, bringing together relevant expertise from computing and biomedical studies, and covering both theoretical and applied aspects, with an emphasis on newer work relevant to the emerging Semantic Web.

Topics and Features:

a [ Provides a comprehensive discussion of the foundations of anatomical ontologies and the state of the art in existing computational tools and applications

a [ Considers a number of fundamental modelling principles

a [ Includes chapters about research on algorithms to systematically align anatomy ontologies and to mine data in the literature, using anatomy terms

a [ Explains recent efforts to develop a common anatomy reference ontology

a [ Discusses anatomy in the context of spatio-temporal biomedical atlases

a [ Describes systems and tools for linking anatomy ontologies with each other and with other on-line resources, such as the biomedical literature

a [ Highlights the challenges of dealing with anatomy-based information on the Semantic Web

Although primarily written for readers who will be involved in developing the next generation of IT applications in the areas of life sciences, biomedical sciences and health care, this unique volume will be of interest to anyone who will furtherdevelop anatomy ontologies, who will use them, and who will be involved in the actual development of relevant (semantic) web applications.

In IoT scenarios, ways in which large-scale and cross-domain service systems can be established are still unclear, and no systematic or in-depth theories and methods have yet been found. An effective, formal foundation to IoT application designs could serve as a knowledge base for a variety of virtual world applications. Integrating and Streamlining Event-Driven IoT Services discusses how to observe isolated services running by different observation sources, how to fuse different observations to deal with observation conflict and incompleteness, and how to deal with adversaries and physical system features for real-time property enforcement over the fused knowledge. Overall, presenting an exploration of systematic theories and methods for the design of IoT services based on the principles of streamlining and integration, this book features research on topics such as CEP service, virtual machine technologies, and hybrid EPC. It is ideally designed for engineers, researchers, and university students seeking coverage on applications for smart cities, smart grids, and Industry 4.0.

This book provides a holistic perspective on Digital Twin (DT) technologies, and presents cutting-edge research in the field. It assesses the opportunities that DT can offer for smart cities, and covers the requirements for ensuring secure, safe and sustainable smart cities. Further, the book demonstrates that DT and its benefits with regard to: data visualisation, real-time data analytics, and learning leading to improved confidence in decision making; reasoning, monitoring and warning to support accurate diagnostics and prognostics; acting using edge control and what-if analysis; and connection with back-end business applications hold significant potential for applications in smart cities, by employing a wide range of sensory and data-acquisition systems in various parts of the urban infrastructure. The contributing authors reveal how and why DT technologies that are used for monitoring, visualising, diagnosing and predicting in real-time are vital to cities' sustainability and efficiency. The concepts outlined in the book represents a city together with all of its infrastructure elements, which communicate with each other in a complex manner. Moreover, securing Internet of Things (IoT) which is one of the key enablers of DT's is discussed in details and from various perspectives. The book offers an outstanding reference guide for practitioners and researchers in manufacturing, operations research and communications, who are considering digitising some of their assets and related services. It is also a valuable asset for graduate students and academics who are looking to identify research gaps and develop their own proposals for further research.