This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan's work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

Claus Pahl provides fundamental research on the common structures in LTS architectures and solutions for specific forms such as knowledge-based, distributed, or adaptive applications of e-learning.

1. MOTIVATION In many physical situations, a plant model is often provided with a qualitative or quantitative measure of associated model uncertainties. On the one hand, the validity of the model is guaranteed only inside a frequency band, so that nearly nothing can be said about the behavior of the real plant at high frequencies. On the other hand, if the model is derived on the basis of physical equations, it can be parameterized as a function of a few physical parameters, which are usually not perfectly known in practice. This is e.g. the case in aeronautical systems: as an example, the ae- dynamic model of an airplane is derived from the flight mechanics eq- tions. When synthesizing the aircraft control law, it is then necessary to take into account uncertainties in the values of the stability derivatives, which correspond to the physical coefficients of the aerodynamic model. Moreover, this airplane model does not perfectly represent the be- vior of the real aircraft. As a simple example, the flight control system or the autopilot are usually synthesized just using the aerodynamic model, thus without accounting for the flexible mechanicalstructure: the c- responding dynamics are indeed considered as high frequency neglected 1 dynamics, with respect to the dynamics of the rigid model .

Developing software for current and especially for future architectures will require knowledge about parallel programming techniques of applications and library p- grammers. Multi-core processors are already available today, and processors with a dozen and more cores are on the horizon. The major driving force in hardware development, the game industry, has - ready shown interest in using parallel programming paradigms, such as OpenMP for further developments. Therefore developers have to be supported in the even more complex task of programming for these new architectures. HLRS has a long-lasting tradition of providing its user community with the most up-to-date software tools. Additionally, important research and development projects are worked on at the center: among the software packages developed are the MPI correctness checker Marmot, the OpenMP validation suite and the M- implementations PACX-MPI and Open MPI. All of these software packages are - ing extended in the context of German and European community research projects, such as ParMA, the InterActive European Grid (I2G) project and the German C- laborative Research Center (Sonderforschungsbereich 716). Furthermore, ind- trial collaborations, i.e. with Intel and Microsoft allow HLRS to get its software production-grade ready. In April 2007, a European project on Parallel Programming for Multi-core - chitectures, in short ParMA was launched, with a major focus on providing and developing tools for parallel programming.

The virtual digital domain allows the capture, processing, transmission, storage, retrieval and display of text, images, audio and animation, without familiar materials such as paper, celluloid, magnetic tape and plastic. But moving from these media to the digital domain introduces all sorts of problems, such as the conversion of analogue archives, multimedia databases, content-based retrieval and the design of new content that exploits the benefits offered by digital systems. It is this issue of digital content creation that is addressed in this book.Different aspects of digital content creation are discussed in this volume, contributed by authors from around the world. Although each chapter addresses an individual aspect of the digital domain, there are common threads that unite them into an exciting vision of the future.

Games and simulations are not only a rapidly growing source of entertainment in today's world; they are also quite beneficial. They enable players to develop quick-reaction and motor skills, engage cognitive processes, and interact with peers around the globe, thereby enhancing social skills. However, as a result of the rise of games and simulations, educators are struggling to engage their students through more traditional ways of learning. Educational Gameplay and Simulation Environments: Case Studies and Lessons Learned presents a remarkable collection of cases demonstrating how to conceptualize, design, and implement games and simulations effectively for learning. This paramount publication will aid educators, researchers, and game developers in broadening their work to effectively create and implement engaging learning environments for present and future students.

Intelligent Multimedia Multi-Agent Systems focuses on building intelligent successful systems. The book adopts a human-centered approach and considers various pragmatic issues and problems in areas like intelligent systems, software engineering, multimedia databases, electronic commerce, data mining, enterprise modeling and human-computer interaction for developing a human-centered virtual machine. The authors describe an ontology of the human-centered virtual machine which includes four components: activity-centered analysis component, problem solving adapter component, transformation agent component, and multimedia based interpretation component. These four components capture the external and internal planes of the system development spectrum. They integrate the physical, social and organizational reality on the external plane with stakeholder goals, tasks and incentives, and organization culture on the internal plane. The human-centered virtual machine and its four components are used for developing intelligent multimedia multi-agent systems in areas like medical decision support and health informatics, medical image retrieval, e-commerce, face detection and annotation, internet games and sales recruitment. The applications in these areas help to expound various aspects of the human-centered virtual machine including, human-centered domain modeling, distributed intelligence and communication, perceptual and cognitive task modeling, component based software development, and multimedia based data modeling. Further, the applications described in the book employ various intelligent technologies like neural networks, fuzzy logic and knowledge based systems, software engineering artifacts like agents and objects, internet technologies like XML and multimedia artifacts like image, audio, video and text.

This book contains extended and revised versions of the best papers that were presented during the fifteenth edition of the IFIP/IEEE WG10.5 International Conference on Very Large Scale Integration, a global System-on-a-Chip Design & CAD conference. The 15th conference was held at the Georgia Institute of Technology, Atlanta, USA (October 15-17, 2007). Previous conferences have taken place in Edinburgh, Trondheim, Vancouver, Munich, Grenoble, Tokyo, Gramado, Lisbon, Montpellier, Darmstadt, Perth and Nice. The purpose of this conference, sponsored by IFIP TC 10 Working Group 10.5 and by the IEEE Council on Electronic Design Automation (CEDA), is to provide a forum to exchange ideas and show industrial and academic research results in the field of microelectronics design. The current trend toward increasing chip integration and technology process advancements brings about stimulating new challenges both at the physical and system-design levels, as well in the test of these systems. VLSI-SoC conferences aim to address these exciting new issues.

The book gives a thorough introduction into object orientated design and programming using C++. At the same time it can be used as a library of very useful programs chosen from the fields of finance, adminstration and statistics. These include programs for calculating loan periods, amortization, least squares fitting, a spelling checker, Gregorian calendar, data compression and encryption, searching and sorting. Basic C++ programming is introduced with simple introductory programs while object-oriented programming in C++ is explained as we develop useful classes. Finally we give an introduction into object orientated design and we demonstrate its power by developing a banking package.

With the increased efforts of the analog design community to integrate analog high-frequency front-ends for telecommunications, there has been heightened interest in the behaviour of nonlinear circuits since this can cause considerable degradation of signals. In analog integrated circuits at lower frequencies, such as filters, nonlinear behaviour limits the dynamic range. Analog integrated circuit designers often lack insight into nonlinear circuit behaviour. Indeed, designers are trained to reason in linear or linearized circuits but not in nonlinear ones. Numerical circuit simulations of nonlinear circuit behavior do not provide enough insight to the designer. Distortion Analysis of Analog Integrated Circuits, with a foreword by Robert G. Meyer, provides both qualitative and quantitative insight into the nonlinear behavior of analog integrated circuits at low and high frequencies. General techniques to suppress nonlinear behavior such as pre-distortion, linear and nonlinear feedback are explained in detail and illustrated with realistic examples. In this way the book fills the gap between the theory of nonlinear systems and practical analog integrated circuits. Distortion Analysis of Analog Integrated Circuits provides the reader with an in-depth analysis of elementary transistor stages, both CMOS and bipolar, as well as an analysis of several larger circuits. Hereby use is made of advanced transistor models that are also discussed in the book. The analyses take into account many more effects than in existing publications, thanks to the use of a calculation method that yields closed-form expressions for nonlinear behavior. These expressions are interpreted and illustrated withrealistic numerical examples. Distortion Analysis of Analog Integrated Circuits is essential reading for practicing analog and mixed-signal design engineers and researchers in the field. It is also suitable as a text for an advanced course on the subject. From the foreword: I am sure that the analog circuit design community will [...] welcome this work by Dr. Wambacq and Prof. Sansen as a major contribution to the analog circuit design literature in the area of distortion analysis of electronic circuits. I am personally looking forward to having a copy readily available for reference when designing integrated circuits for communication systems.' Robert G. Meyer, Professor, Electrical Engineering and Computer Sciences, University of California, Berkeley.

This book constitutes Part III of the refereed four-volume post-conference proceedings of the 4th IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture, CCTA 2010, held in Nanchang, China, in October 2010. The 352 revised papers presented were carefully selected from numerous submissions. They cover a wide range of interesting theories and applications of information technology in agriculture, including simulation models and decision-support systems for agricultural production, agricultural product quality testing, traceability and e-commerce technology, the application of information and communication technology in agriculture, and universal information service technology and service systems development in rural areas.

With the fast development of networking and software technologies, information processing infrastructure and applications have been growing at an impressive rate in both size and complexity, to such a degree that the design and development of high performance and scalable data processing systems and networks have become an ever-challenging issue. As a result, the use of performance modeling and m- surementtechniquesas a critical step in designand developmenthas becomea c- mon practice. Research and developmenton methodologyand tools of performance modeling and performance engineering have gained further importance in order to improve the performance and scalability of these systems. Since the seminal work of A. K. Erlang almost a century ago on the mod- ing of telephone traf c, performance modeling and measurement have grown into a discipline and have been evolving both in their methodologies and in the areas in which they are applied. It is noteworthy that various mathematical techniques were brought into this eld, including in particular probability theory, stochastic processes, statistics, complex analysis, stochastic calculus, stochastic comparison, optimization, control theory, machine learning and information theory. The app- cation areas extended from telephone networks to Internet and Web applications, from computer systems to computer software, from manufacturing systems to s- ply chain, from call centers to workforce management.

This book describes a cross-domain architecture and design tools for networked complex systems where application subsystems of different criticality coexist and interact on networked multi-core chips. The architecture leverages multi-core platforms for a hierarchical system perspective of mixed-criticality applications. This system perspective is realized by virtualization to establish security, safety and real-time performance. The impact further includes a reduction of time-to-market, decreased development, deployment and maintenance cost, and the exploitation of the economies of scale through cross-domain components and tools. Describes an end-to-end architecture for hypervisor-level, chip-level, and cluster level. Offers a solution for different types of resources including processors, on-chip communication, off-chip communication, and I/O. Provides a cross-domain approach with examples for wind-power, health-care, and avionics. Introduces hierarchical adaptation strategies for mixed-criticality systems Provides modular verification and certification methods for the seamless integration of mixed-criticality systems. Covers platform technologies, along with a methodology for the development process. Presents an experimental evaluation of technological results in cooperation with industrial partners. The information in this book will be extremely useful to industry leaders who design and manufacture products with distributed embedded systems in mixed-criticality use-cases. It will also benefit suppliers of embedded components or development tools used in this area. As an educational tool, this material can be used to teach students and working professionals in areas including embedded systems, computer networks, system architecture, dependability, real-time systems, and avionics, wind-power and health-care systems.

This book provides a critical discussion of fuzzy controllers from the perspective of classical control theory. Special emphasis is placed on topics of importance for industrial applications, including self-tuning of fuzzy controllers, optimisation and stability analysis. The text begins with a detailed introduction to fuzzy systems and control theory, and guides the reader to a thorough understanding of up-to-date research results.

Online learning is transcending from the text-rich educational experience of the past to a video- and audio-rich learning transformation. The greater levels of media-rich content and media-rich interaction that are currently prevalent in online leisure experiences will help to increase e-learning's future efficiency and effectiveness. ""Enhancing E-Learning with Media-Rich Content and Interactions"" presents instructional designers, educators, scholars, and researchers with the necessary foundational elements, theoretical underpinnings, and practical guidance to aid in the technology selection and design of effective online learning experiences by integrating media-rich interactions and content.

Within a conceptual framework that is developed in the two first chapters, the actual application of systems thinking is described across a broad field of cases representing research, teaching, decision support and construction. All cases are presented by experts who have actually been involved in the activities they describe. Thus, the broad selection of cases captures the great variation of systems thinking and how it is integrated into models and theories and solid knowledge pertaining to different substantive areas. At the same time all case study authors address the same set of questions that are developed in the conceptual chapters. This gives comparability across cases - chapters - and brings cohesion to the book. The focus on Sweden, an advanced country in systems thinking, reinforces the unitary context in which comparison can be made between a systems approach for better research (theory), better practice and better design and construction.

Most recent literature on systems thinking has a general (often philosophical) perspective, concerns computer systems or focuses on one highly specific problem. A special feature of this book is that, while it concerns a single nation, it simultaneously contains a broad overview of systems analysis in a number of important issue areas, for research as well as practice, against a penetrating background description of what systems analysis is, how it functions, what problems it represents and what results it may produce.

The book is intended for a broad readership and can be appreciated by experts on systems thinking and analysis as well as by students, teachers, researchers, planners and policy makers who want to learn more aboutthis topic. The book should be useful in university teaching in several disciplines.

Web 2.0 has become the buzz word for describing social media available on the Internet, such as blogs, photo and file sharing systems and social networking sites. These Web 2.0 applications are rapidly transforming citizen-citizen and citizen-government interactions in a manner not seen before. In recognition of these trends, governments are already taking a very close look at Web 2.0 and online communities in order to leverage them for designing products and services and for providing citizen services. This book brings together international scholars to provide the theoretical and practical contexts for understanding the nature of Web 2.0 technologies and their impact on political, public policy and management processes, and to explore how best Web 2.0 applications can be leveraged and aligned with the strategic goals of government organizations to add value and ensure effective governance. Drawing from experiences from countries around the globe, the book provides the theoretical context of the potential for Web 2.0 applications to transform government services, as well as practical examples of leading public sector institutions that have attempted to use Web 2.0 applications to enhance government operations, policy making and administration. There are three parts to the book, namely 1) Perspectives on Web 2.0 and Democratic Governance, 2) The Political, Policy and Management Impacts of Web 2.0 in Government, and 3) Leveraging Web 2.0 Applications for Effective Governance. This book differs from existing edited books on Web 2.0 technologies that focus primarily on politics and e-democracy because it examines the impact of the applications on politics, policy and public management. The book contributes toward the literature by filling the existing void and expanding knowledge in the field of public administration and policy, making it of interest to both academics and policy-makers.

As MOS devices are scaled to meet increasingly demanding circuit specifications, process variations have a greater effect on the reliability of circuit performance. For this reason, statistical techniques are required to design integrated circuits with maximum yield. Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits describes a statistical circuit simulation and optimization environment for VLSI circuit designers. The first step toward accomplishing statistical circuit design and optimization is the development of an accurate CAD tool capable of performing statistical simulation. This tool must be based on a statistical model which comprehends the effect of device and circuit characteristics, such as device size, bias, and circuit layout, which are under the control of the circuit designer on the variability of circuit performance. The distinctive feature of the CAD tool described in this book is its ability to accurately model and simulate the effect in both intra- and inter-die process variability on analog/digital circuits, accounting for the effects of the aforementioned device and circuit characteristics. Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits serves as an excellent reference for those working in the field, and may be used as the text for an advanced course on the subject.

Up-to-date coverage of every topic on the CEH v11 exam This effective self-study guide covers 100% of the EC Council's Certified Ethical Hacker Version 11 exam objectives. The book discusses the latest ethical hacking tools, techniques, and exploits. Readers will find learning objectives at the beginning of each chapter, step-by-step exercises, exam tips, practice exam questions, and in-depth explanations. An integrated test preparation system based on proven pedagogy, CEH Certified Ethical Hacker All-in-One Exam Guide, Fifth Edition covers all five phases of ethical hacking: reconnaissance, gaining access, enumeration, maintaining access, and covering tracks. Readers will learn about malware, hacking Web applications and mobile platforms, cloud computing vulnerabilities, and more. Designed to help candidates pass the exam with ease, this authoritative resource also serves as an essential on-the-job reference. Complete coverage of all CEH v11 exam objectives Includes online access to the Total Tester customizable practice exam software containing 300 practice questions Written by an experienced educator with more than 20 years of experience in the field

Designing Sorting Networks: A New Paradigm provides an in-depth guide to maximizing the efficiency of sorting networks, and uses 0/1 cases, partially ordered sets and Haase diagrams to closely analyze their behavior in an easy, intuitive manner. This book also outlines new ideas and techniques for designing faster sorting networks using Sortnet, and illustrates how these techniques were used to design faster 12-key and 18-key sorting networks through a series of case studies. Finally, it examines and explains the mysterious behavior exhibited by the fastest-known 9-step 16-key network. Designing Sorting Networks: A New Paradigm is intended for advanced-level students, researchers and practitioners as a reference book. Academics in the fields of computer science, engineering and mathematics will also find this book invaluable.

Engineers have long been fascinated by how efficient and how fast biological neural networks are capable of performing such complex tasks as recognition. Such networks are capable of recognizing input data from any of the five senses with the necessary accuracy and speed to allow living creatures to survive. Machines which perform such complex tasks as recognition, with similar ac curacy and speed, were difficult to implement until the technological advances of VLSI circuits and systems in the late 1980's. Since then, the field of VLSI Artificial Neural Networks (ANNs) have witnessed an exponential growth and a new engineering discipline was born. Today, many engineering curriculums have included a course or more on the subject at the graduate or senior under graduate levels. Since the pioneering book by Carver Mead; "Analog VLSI and Neural Sys tems," Addison-Wesley, 1989; there were a number of excellent text and ref erence books on the subject, each dealing with one or two topics. This book attempts to present an integrated approach of a single research team to VLSI ANNs Engineering."

Global software development and productivity related technologies are the key to today's globalization with new technologies and concepts being developed continually. In such an ever-evolving environment, teachers, researchers, and professionals in the discipline need access to the most current information about the concepts, issues, trends, and technologies in this emerging field. ""The Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization"" provides an authoritative collection of international research on software engineering and enterprise systems. Presenting unique coverage of topics such as agile software engineering, requirements traceability, and distributed software development, this Handbook of Research offers an innovative repository of knowledge useful to academicians, practitioners, and researchers in various related fields.

This text is about methods used for the computer simulation of analog systems. It concentrates on electronic applications, but many of the methods are applicable to other engineering problems as well. This revised edition (1st, 1983) encompasses recent theoretical developments and program-writing ti