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.

The book discusses intelligent system design using soft computing and similar systems and their interdisciplinary applications. It also focuses on the recent trends to use soft computing as a versatile tool for designing a host of decision support systems.

This book aims to deconstruct ethnography to alert systems designers, and other stakeholders, to the issues presented by new approaches that move beyond the studies of 'work' and 'work practice' within the social sciences (in particular anthropology and sociology). The theoretical and methodological apparatus of the social sciences distort the social and cultural world as lived in and understood by ordinary members, whose common-sense understandings shape the actual milieu into which systems are placed and used. In Deconstructing Ethnography the authors show how 'new' calls are returning systems design to 'old' and problematic ways of understanding the social. They argue that systems design can be appropriately grounded in the social through the ordinary methods that members use to order their actions and interactions. This work is written for post-graduate students and researchers alike, as well as design practitioners who have an interest in bringing the social to bear on design in a systematic rather than a piecemeal way. This is not a 'how to' book, but instead elaborates the foundations upon which the social can be systematically built into the design of ubiquitous and interactive systems.

This book presents an overview of the differential evolution algorithm. In the last few years the evolutionary computation domain has developed rapidly, and differential evolution is one of the representatives of this domain. It is a recently invented evolutionary algorithm that is gaining more and more popularity. Originally proposed for continuous unconstraint optimization, it was enlarged both for mixed optimization and for handling nonlinear constraints. Later on, new strategies, tuning, and adaptation of control parameters, ways of hybridization were elaborated. Attempts at theoretical analysis were accomplished as well. Moreover, the algorithm has a huge number of practical applications in different areas of science and industry.

This volume presents 38 classic texts in formal epistemology, and strengthens the ties between research into this area of philosophy and its neighbouring intellectual disciplines. The editors provide introductions to five subsections: Bayesian Epistemology, Belief Change, Decision Theory, Interactive Epistemology and Epistemic Logic. 'Formal epistemology' is a term coined in the late 1990s for a new constellation of interests in philosophy, the origins of which are found in earlier works of epistemologists, philosophers of science and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, rationality, deliberation, decision, strategy, action and agent interaction - and it does so using methods from logic, probability, computability, decision and game theory. The volume also includes a thorough index and suggestions for further reading, and thus offers a complete teaching and research package for students as well as research scholars of formal epistemology, philosophy, logic, computer science, theoretical economics and cognitive psychology.

This book presents the technical program of the International Embedded Systems Symposium (IESS) 2009. Timely topics, techniques and trends in embedded system design are covered by the chapters in this volume, including modelling, simulation, verification, test, scheduling, platforms and processors. Particular emphasis is paid to automotive systems and wireless sensor networks. Sets of actual case studies in the area of embedded system design are also included. Over recent years, embedded systems have gained an enormous amount of proce- ing power and functionality and now enter numerous application areas, due to the fact that many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. Embedded systems meet their performance goals, including real-time constraints, through a combination of special-purpose hardware and software components tailored to the system requirements. Both the development of new features and the reuse of existing intellectual property components are essential to keeping up with ever more demanding customer requirements. Furthermore, design complexities are steadily growing with an increasing number of components that have to cooperate properly. Embedded system designers have to cope with multiple goals and constraints simul- neously, including timing, power, reliability, dependability, maintenance, packaging and, last but not least, price.

Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout the last few years. Especially in the climate of an increasingly competitive market Requirements Management helps in carrying out developments faster, cheaper and with a higher quality.

This book focuses on the interfaces of Requirements Management to the other disciplines of Systems Engineering, for example Project Management, Change Management and Configuration and Version Management.

To this end, an introduction into Requirements Management and Requirements Development is given, along with a short sketch of Systems Engineering, and especially the necessary inputs and resulting outputs of Requirements Management are explained. Using these flows of information it is shown how Requirements Management can support and optimize the other project disciplines and how very important therefore a functioning Requirements Management is for all areas of development.

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.

The most significant articles from each of the fields represented at the conference on Work with Display Units 1992 are presented in this volume. Such topics are:

- The newest occupational health research results, partially backed by extensive epidemiological studies, concerning radiation, eye fatigue, stressors and diseases of the musculoskeletal apparatus and the medical surveillance of workers with display units.

- Ergonomic studies pertaining to design improvements.

- Support of the human operator by intelligent user surfaces and interfaces, demonstrated by experimental results.

- The latest developments in input devices including virtual reality as well as multi-media, multi-screen and multi-language human computer interaction.

- Concepts of group work and organizational stress in combination with its psychophysical and psychophysiological evaluation, especially the problem of stress-strain regulation, adaptation and long-term effects on recovery and recreation.

- Discussion of hypertext and hypermedia as well as applications of computer aided techniques for knowledge acquisition, knowledge structuring and knowledge use for decisions and working processes in different contexts.

- New organizational concepts such as Chaos Theory and new methods of work design in industry such as Kansei Engineering.

- Discussion of the International Standardization and EC regulations.

This unique text/reference presents a thorough introduction to the field of structural pattern recognition, with a particular focus on graph edit distance (GED). The book also provides a detailed review of a diverse selection of novel methods related to GED, and concludes by suggesting possible avenues for future research. Topics and features: formally introduces the concept of GED, and highlights the basic properties of this graph matching paradigm; describes a reformulation of GED to a quadratic assignment problem; illustrates how the quadratic assignment problem of GED can be reduced to a linear sum assignment problem; reviews strategies for reducing both the overestimation of the true edit distance and the matching time in the approximation framework; examines the improvement demonstrated by the described algorithmic framework with respect to the distance accuracy and the matching time; includes appendices listing the datasets employed for the experimental evaluations discussed in the book.

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.

This volume is dedicated to Leo Esakia's contributions to the theory of modal and intuitionistic systems. Consisting of 10 chapters, written by leading experts, this volume discusses Esakia s original contributions and consequent developments that have helped to shape duality theory for modal and intuitionistic logics and to utilize it to obtain some major results in the area.

Beginning with a chapter which explores Esakia duality for S4-algebras, the volume goes on to explore Esakia duality for Heyting algebras and its generalizations to weak Heyting algebras and implicative semilattices. The book also dives into the Blok-Esakia theorem and provides an outline of the intuitionistic modal logic KM which is closely related to the Godel-Lob provability logic GL. One chapter scrutinizes Esakia s work interpreting modal diamond as the derivative of a topological space within the setting of point-free topology. The final chapter in the volume is dedicated to the derivational semantics of modal logic and other related issues."

In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;
methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; and
methods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.
As a result, the book represents a blend of new methods in general computational analysis,
and specific, but also generic, techniques for study of systems theory ant its particular
branches, such as optimal filtering and information compression.
- Best operator approximation,
- Non-Lagrange interpolation,
- Generic Karhunen-Loeve transform
- Generalised low-rank matrix approximation
- Optimal data compression
- Optimal nonlinear filtering

Essential Computational Thinking: Computer Science from Scratch helps students build a theoretical and practical foundation for learning computer science. Rooted in fundamental science, this text defines elementary ideas including data and information, quantifies these ideas mathematically, and, through key concepts in physics and computation, demonstrates the relationship between computer science and the universe itself. In Part I, students explore the theoretical underpinnings of computer science in a wide-ranging manner. Readers receive a robust overview of essential computational theories and programming ideas, as well as topics that examine the mathematical and physical foundations of computer science. Part 2 presents the basics of computation and underscores programming as an invaluable tool in the discipline. Students can apply their newfound knowledge and begin writing substantial programs immediately. Finally, Part 3 explores more sophisticated computational ideas, including object-oriented programing, databases, data science, and some of the underlying principles of machine learning. Essential Computational Thinking is an ideal text for a firmly technical CS0 course in computer science. It is also a valuable resource for highly-motivated non-computer science majors at the undergraduate or graduate level who are interested in learning more about the discipline for either professional or personal development.

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.

In recent years there has been an explosion of research into linear programming, as well as further steady advances in integer programming. This research has been reported in the research literature but there has been little done from the view of a "combined whole". This book aims to overcome this. With an international authorship of contributors from acknowledged experts in their field, this book provides a clear exposition on such topics as simplex algorithms, and interior point algorithms, both from a theoretical and a computational viewpoint. Surveying recent research that is currently only available in journals this topical book will be of interest not only in the field of mathematics, but also in computer science and operations research as well.

Offers access to projects of some of the top professionals working in Real-Time Content Production today like engineering teams from "The Mandalorian" & League of Legends as well as video content designers for The Foo Fighters and Back to the Future, The Musical Includes reviews of real-time content production workflow for virtual production Features discussion from the software developers about the origins of their platforms

PHP Programming Professional Made Easy: Expert PHP Programming Language Success in a Day for any Computer User! Need basic tips on scripting for web development? Want to take the next step in programming and become an expert in the category without getting confused of technical jargon? Need a step by step walkthrough to take your PHP Programming to the next level? Start from PHP basics in coding such as syntax, echo & print, right through to constants and variables! Concerned or need improvement on Data Types! Start becoming a professional in PHP Today and begin Learning Basics in PHP PHP Flow Control Data Types PURCHASE RIGHT NOW!

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.