This book adheres to the vision that in the future compelling user experiences will be key differentiating benefits of products and services. Evaluating the user experience plays a central role, not only during the design process, but also during regular usage: for instance a video recorder that recommends TV programs that fit your current mood, a product that measures your current level of relaxation and produces advice on how to balance your life, or a module that alerts a factory operator when he is getting drowsy. Such systems are required to assess and interpret user experiences (almost) in real-time, and that is exactly what this book is about. How to achieve this? What are potential applications of psychophysiological measurements? Are real-time assessments based on monitoring of user behavior possible? If so, which elements are critical? Are behavioral aspects important? Which technology can be used? How important are intra-individual differences? What can we learn from products already on the market? The book gathers a group of invited authors from different backgrounds, such as technology, academy and business. This is a mosaic of their work, and that of Philips Research, in the assessment of user experience, covering the full range from academic research to commercial propositions..

Candida Ferreira thoroughly describes the basic ideas of gene expression programming (GEP) and numerous modifications to this powerful new algorithm. This monograph provides all the implementation details of GEP so that anyone with elementary programming skills will be able to implement it themselves. The book also includes a self-contained introduction to this new exciting field of computational intelligence, including several new algorithms for decision tree induction, data mining, classifier systems, function finding, polynomial induction, times series prediction, evolution of linking functions, automatically defined functions, parameter optimization, logic synthesis, combinatorial optimization, and complete neural network induction. The book also discusses some important and controversial evolutionary topics that might be refreshing to both evolutionary computer scientists and biologists.

This second edition has been substantially revised and extended with five new chapters, including a new chapter describing two new algorithms for inducing decision trees with nominal and numeric/mixed attributes."

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.

This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.

The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation; the founder of the Research Institute for Symbolic Computation (RISC) and its chairman from 1987-2000; the founder in 1990 of the Softwarepark Hagenberg, Austria, and since then its director.

More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essays by leading authorities, on such topics as mathematical foundations from the perspective of computer verification; a symbolic-computational philosophy and methodology for mathematics; the role of logic and algebra in software engineering; and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically interested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computer science and logic.

Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchberger s successor as director of the Research Institute for Symbolic Computation.

"

This book will help organizations who have implemented or are considering implementing Microsoft Dynamics achieve a better result.

It presents Regatta Dynamics, a methodology developed by the authors for the structured implementation of Microsoft Dynamics. From A-to-Z, it details the full implementation process, emphasizing the organizational component of the implementation process and the cohesion with functional and technical processes.

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.

Information infrastructures are integrated solutions based on the fusion of information and communication technologies. They are characterized by the large amount of data that must be managed accordingly. An information infrastructure requires an efficient and effective information retrieval system to provide access to the items stored in the infrastructure. Terminological Ontologies: Design, Management and Practical Applications presents the main problems that affect the discovery systems of information infrastructures to manage terminological models, and introduces a combination of research tools and applications in Semantic Web technologies. This book specifically analyzes the need to create, relate, and integrate the models required for an infrastructure by elaborating on the problem of accessing these models in an efficient manner via interoperable services and components. Terminological Ontologies: Design, Management and Practical Applications is geared toward information management systems and semantic web professionals working as project managers, application developers, government workers and more. Advanced undergraduate and graduate level students, professors and researchers focusing on computer science will also find this book valuable as a secondary text or reference book.

Thepurposeofthe 7thIEEE/ACISInternationalConferenceonComputerandInfor- tion Science (ICIS2008)and the 2nd IEEE/ACISInternationalWorkshop on e-Activity (IWEA 2008) to be held on May 14-16, 2008 in Portland, Oregon, U.S.A. is to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science; and to discuss the practical challenges - countered along the way and the solutions adopted to solve them. In January, 2008 one of editors of this book approached in house editor Dr. Thomas Ditzingeraboutpreparingavolumecontainingextendedandimprovedversionsofsome of the papers selected for presentation at the conference and workshop. Upon receiving Dr. Ditzinger's approval, conference organizers selected 23 outstanding papers from ICIS/IWEA 2008, all of which you will nd in this volume of Springer's Studies in Computational Intelligence. In chapter 1, Fabio Perez Marzullo et al. describe a model driven architecture (MDA) approachfor assessing database performance.The authorspresent a pro ling technique that offers a way to assess performance and identify aws, while performing software construction activities. In chapter 2, authorsHuy Nguyen Anh Pham and EvangelosTriantaphyllouoffera new approachfortesting classi cation algorithms, and present thisapproachthroughrean- ysis of the Pima Indian diabetes dataset, one of the most well-known datasets used for this purpose. The new method put forth by the authors is dubbed the Homogeneity- Based Algorithm(HBA), and it aims to optimally control the over ttingand overgen- alization behaviors that have proved problematic for previous classi cation algorithms on this dataset.

Digital Accounting: The Effects of the Internet and ERP on Accounting provides a foundation in digital accounting by covering fundamental topics such as accounting software, XBRL (eXtensible Business Reporting Language), and EDI. The effects of the Internet and ERP on accounting are classified and presented for each accounting cycle, along with a comprehensive discussion of online controls. ""Digital Accounting: The Effects of the Internet and ERP on Accounting"" provides a conceptual approach to handling the latest developments at the intersection of the accounting and IT fields.

Develop your own trading system with practical guidance and expert advice In Building Algorithmic Trading Systems: A Trader's Journey From Data Mining to Monte Carlo Simulation to Live Training, award-winning trader Kevin Davey shares his secrets for developing trading systems that generate triple-digit returns. With both explanation and demonstration, Davey guides you step-by-step through the entire process of generating and validating an idea, setting entry and exit points, testing systems, and implementing them in live trading. You'll find concrete rules for increasing or decreasing allocation to a system, and rules for when to abandon one. The companion website includes Davey's own Monte Carlo simulator and other tools that will enable you to automate and test your own trading ideas. A purely discretionary approach to trading generally breaks down over the long haul. With market data and statistics easily available, traders are increasingly opting to employ an automated or algorithmic trading system enough that algorithmic trades now account for the bulk of stock trading volume. Building Algorithmic Trading Systems teaches you how to develop your own systems with an eye toward market fluctuations and the impermanence of even the most effective algorithm. * Learn the systems that generated triple-digit returns in the World Cup Trading Championship * Develop an algorithmic approach for any trading idea using off-the-shelf software or popular platforms * Test your new system using historical and current market data * Mine market data for statistical tendencies that may form the basis of a new system Market patterns change, and so do system results. Past performance isn't a guarantee of future success, so the key is to continually develop new systems and adjust established systems in response to evolving statistical tendencies. For individual traders looking for the next leap forward, Building Algorithmic Trading Systems provides expert guidance and practical advice.

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple and robust, with an almost total absence of hard-wired syntax, and we believe that it provides about the simplest possible framework that allows essentially all of mathematics to be expressed with absolute rigor. While simple, it is also powerful; the Metamath Proof Explorer (MPE) database has over 23,000 proven theorems and is one of the top systems in the "Formalizing 100 Theorems" challenge. This book explains the Metamath language and program, with specific emphasis on the fundamentals of the MPE database.

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

The volume comprises the proceedings of the third International Conference on Dynamics in Logistics LDIC 2012. The scope of the conference targeted the identification, analysis, and description of the dynamics of logistic processes and networks. The spectrum ranged from the modeling and planning of processes and innovative methods like autonomous control and knowledge management to the new technologies provided by radio frequency identification, mobile communication, and networking. The growing dynamics in the area of logistics poses completely new challenges: Logistic processes and networks must rapidly and flexibly adapt to continuously changing conditions. LDIC 2012 provided a venue for researchers from academia and industry interested in the technical advances in dynamics in logistics. The conference addressed research in logistics from a wide range of fields, e.g. engineering, computer science and operations research. The volume consists of two invited papers and of 49 contributed papers divided into various subjects including transport logistics, routing in dynamic logistic networks, modeling, simulation, optimization and collaboration in logistics, identification technologies, mathematical modeling in transport and production logistics, information, communication, risk and failure in logistic systems, autonomous control in logistic processes, global supply chains and industrial applications, and the Internet of Things in the context of logistics.

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 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.

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.

As technology grows as the largest source of modern economic growth, the emergence of new models is currently challenging the standard western model of organizational management. Companies from all over the world have succeeded in creating emerging economies with these new models and are now competing with established multinational corporations Organizational Innovation and IT Governance in Emerging Economies develops a methodological framework that supports new approaches of technological innovation by companies. This reference book provides contributions from experts in emerging economies, highlighting specific case studies of home grown companies from these emerging markets, offering lessons on how traditional multinationals can compete with these new companies for policymakers, government officers, academics, researchers, students, and practitioners.

Learn application security from the very start, with this comprehensive and approachable guide! Alice and Bob Learn Application Security is an accessible and thorough resource for anyone seeking to incorporate, from the beginning of the System Development Life Cycle, best security practices in software development. This book covers all the basic subjects such as threat modeling and security testing, but also dives deep into more complex and advanced topics for securing modern software systems and architectures. Throughout, the book offers analogies, stories of the characters Alice and Bob, real-life examples, technical explanations and diagrams to ensure maximum clarity of the many abstract and complicated subjects. Topics include: Secure requirements, design, coding, and deployment Security Testing (all forms) Common Pitfalls Application Security Programs Securing Modern Applications Software Developer Security Hygiene Alice and Bob Learn Application Security is perfect for aspiring application security engineers and practicing software developers, as well as software project managers, penetration testers, and chief information security officers who seek to build or improve their application security programs. Alice and Bob Learn Application Security illustrates all the included concepts with easy-to-understand examples and concrete practical applications, furthering the reader's ability to grasp and retain the foundational and advanced topics contained within.

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.

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation.

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the lifecycle of the product. With the appearance of two new languages, PSL and SVA, assertions have already started to improve verification quality and productivity.

This is the first book that presents an under-the-hood view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.