The book deals with similarity relations defined on a set with functions. The functions are required to map similar elements to similar ones. The book presents basic mathematical properties of structures consisting of similarity-preserving functions and logics for reasoning about similarities. The presented text is self-contained. The notions and results are demonstrated through examples which are graphically illustrated. The book is useful for researchers, but it can also be used as a graduate text.

Computer-AidedInnovation(CAI)isayoungdomaininthearrayofCAxte- nologies. ThegoalofCAIistosupportengineersandenterprisesthroughoutthe completeinnovationprocess. AlthoughsomeexistingideasandconceptsofCAI focus on assisting product designers in their creative stage, a more compreh- sive vision conceives CAI systems beginning at the creative stage of perceiving business opportunities and customer demands, then helping in developing - ventions and, further on, providing help up to the point of turning inventions into successful innovations in the market. Following the track of the last two successful CAI conferences held in 2005, in Germany, and 2007 in USA, the ThirdIFIPWorkingConferenceonComputer-AidedInnovation(CAI)washeld in Harbin, China, and attractedparticipants fromacademia and industry. This workingconferencecontinuedthe traditionofstronglylinkingacademicand- dustrymembers. Theconferencehadseveralparallelsessions, andeightkeynote sessions. Over 100 participants attended the conference. Some famous scholars wereinvited askeynotespeakers. I would liketo takethe opportunityto thank all the authors for their quality research, the international Program Comm- teemembersfortheirsupportinreviewingthepapers, andthelocalOrganizing Committeefortheirpreparationoftheconference. Furthermore, IthanktheC- neseNaturalScienceFoundation, theDepartmentofScienceandTechnologyof HeilongjiangProvincialGovernment, theInstituteofDesignforInnovation, and Hebei University of Technology, for their ?nancial support of the conference. I wouldalsoliketothankZhuLin, YaoYihang, XueGuiying, andCaoGuozhong for their signi?cantcontributions towardthe successof the conference. August 2009 Runhua Tan Organization TheThirdIFIPWorkingConferenceonComputer-AidedInnovation(CAI)was organized by Hebei University of Technology and the Department of Science andTechnologyofHeilongjiangProvincialGovernmentincooperationwiththe National Natural Science Foundationof China. Program Committee Conference Chair Runhua Tan, (Hebei University ofTechnology, China) Noel Leon(ITESM, Campus Monterrey, Mexico) OrganizingChair T. S. Yang (Department ofScience and Technologyof Heilongjiang Provincial Government, China) Referees T. Arciszewski(USA) Y. Li (China) M. Ashtiani (USA) H. Liu (China) G. Cascini(Italy) M. L. Maher (Australia) D. Cavalucci (France) M. B. Mc Grath(USA) R. De Guio(France) G. Mukundan (USA) S. K. Cho (USA) G. Olling (USA) S. Finger (USA) J. Ovtcharova(Germany) J. Gero(Australia) E. Schueler-Hainsch(Germany) C. Gundlach(Germ

Hardbound. This volume contains a selection of the best papers from the Computer Assisted Learning 1995 Symposium. The theme of the proceedings, Learning to Succeed, draws upon the experience of the widespread use of the microcomputer in education over the past decade in order to assess the use in the future millenium. It attempts to answer such questions as what will the future look like and what lessons can we draw upon from the past to guide us?

The papers in this volume comprise the refereed proceedings of the the First International Conference on Computer and Computing Technologies in Ag- culture (CCTA 2007), in Wuyishan, China, 2007. This conference is organized by China Agricultural University, Chinese Society of Agricultural Engineering and the Beijing Society for Information Technology in Agriculture. The purpose of this conference is to facilitate the communication and cooperation between institutions and researchers on theories, methods and implementation of computer science and information technology. By researching information technology development and the - sources integration in rural areas in China, an innovative and effective approach is expected to be explored to promote the technology application to the development of modern agriculture and contribute to the construction of new countryside. The rapid development of information technology has induced substantial changes and impact on the development of China's rural areas. Western thoughts have exerted great impact on studies of Chinese information technology devel- ment and it helps more Chinese and western scholars to expand their studies in this academic and application area. Thus, this conference, with works by many prominent scholars, has covered computer science and technology and information development in China's rural areas; and probed into all the important issues and the newest research topics, such as Agricultural Decision Support System and Expert System, GIS, GPS, RS and Precision Farming, CT applications in Rural Area, Agricultural System Simulation, Evolutionary Computing, etc.

H. M. Cartwright: An Introduction to Evolutionary Computation andEvolutionary Algorithms; B. Hartke: Application of Evolutionary Algorithms to Global Cluster Geometry Optimization; K.D.M. Harris, R.L. Johnston, S. Habershon: Application of Evolutionary Computation in Structure Solution from Diffraction Data; S. M.

Numbers, Information and Complexity is a collection of about 50 articles in honour of Rudolf Ahlswede. His main areas of research are represented in the three sections, `Numbers and Combinations', `Information Theory (Channels and Networks, Combinatorial and Algebraic Coding, Cryptology, with the related fields Data Compression, Entropy Theory, Symbolic Dynamics, Probability and Statistics)', and `Complexity'. Special attention was paid to the interplay between the fields. Surveys on topics of current interest are included as well as new research results. The book features surveys on Combinatorics about topics such as intersection theorems, which are not yet covered in textbooks, several contributions by leading experts in data compression, and relations to Natural Sciences are discussed.

This book is a translation of an important Japanese work on electronic ceramics and includes much experimental data. It will be of great interest to ceramicists and electronic engineers working with ceramic materials interested in an overview of recent Japanese research in this rapidly developing field.

Intelligent Technologies for Bridging the Grey Digital Divide offers high-quality research with both industry- and practice-related articles in the broad area of intelligent technologies for seniors. The main focus of the book is to provide insights into current innovation, issues to be resolved, and approaches for widespread adoption so that seniors, their families, and their caregivers are able to enjoy their promised benefits.

In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored. Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI CAD. It is the first book to show how EAs could be used to improve IC design tools and processes. Several successful applications from different areas of circuit design, like logic synthesis, mapping and testing, are described in detail. Evolutionary Algorithms in VLSI CAD consists of two parts. The first part discusses basic principles of EAs and provides some easy-to-understand examples. Furthermore, a theoretical model for multi-objective optimization is presented. In the second part a software implementation of EAs is supplied together with detailed descriptions of several EA applications. These applications cover a wide range of VLSI CAD, and different methods for using EAs are described. Evolutionary Algorithms in VLSI CAD is intended for CAD developers and researchers as well as those working in evolutionary algorithms and techniques supporting modern design tools and processes.

Educational technology in the broadest sense is knowledge and competence forimproving the educational process: for using hardware (equipment), software (methods), and "underware" (underlying organizational structures). This volume in the Special Programme on Advanced Educational Technology presents the results of a NATO Advanced Research Workshop on educational systems design as a new educational technology. The objective of the workshop was toadvance our knowledge about the comprehensive systems design approach for improving educational systems. The workshop was organized for the transdisciplinary interaction of three scientific groups representing design science, organizational/systems science, and educationaltechnology. Participants were selected based on their scholarship as members of one or more of these three groups. The book opens with theframing papers sent by the editors to participants prior to the workshop, then presents five sets of thematic contributions: the conceptual and empirical contexts of comprehensive systems design, the systems design focus, a systems view of designing educational systems, the educational context of systems design, and high technology focus in systems design.

This work fills an important gap in the literature by providing an important link between MAPLE and its successful use in solving problems in Operations Research (OR). The symbolic, numerical, and graphical aspects of MAPLE make this software package an ideal tool for treating certain OR problems and providing descriptive and optimization-based analyses of deterministic and stochastic models. Detailed is MAPLE's treatment of some of the mathematical techniques used in OR modeling: e.g., algebra and calculus, ordinary and partial differential equations, linear algebra, transform methods, and probability theory.

A number of examples of OR techniques and applications are presented, such as linear and nonlinear programming, dynamic programming, stochastic processes, inventory models, queueing systems, and simulation. Throughout the text MAPLE statements used in the solutions of problems are clearly explained. At the same time, technical background material is presented in a rigorous mathematical manner to reach the OR novice and professional. Numerous end-of- chapter exercises, a good bibliography and overall index at the end of the book are also included, as well as MAPLE worksheets that are easily downloadable from the author's website at www.business.mcmaster.ca/msis/profs/parlar, or from the Birkhauser website at www.birkhauser.com/cgi-win/ISBN/0-8176-4165-3.

The book is intended for advanced undergraduate and graduate students in operations research, management science departments of business schools, industrial and systems engineering, economics, and mathematics. As a self-study resource, the text can be used by researchers and practitioners who want a quick overview ofMAPLE's usefulness in solving realistic OR problems that would be difficult or impossible to solve with other software packages.

This book is for both specialist and generalist. For Information Technology (IT) and Educational Management (EM) researchers, it brings together the latest information and analysis of ITEM projects in eleven countries. But the issues raised by this collection of papers are so important for schools, school systems and the future of education that it is essential reading not only for researchers but also for teachers, administrators and all concerned with the planning and governance of our education systems. New technologies may improve our lives in two ways: by enabling us to do things better (accomplishing what we do already more efficiently) and by enabling us to do better things (accomplishing new things that we were not able to do before). Sometimes "doing things better" merges into "doing better things." Thus in the 19th century the coming of the railway enabled our forbears to accomplish their existing journies in less time and in greater comfort. But it also opened up the prospect of new journies to more distant places, and led ultimately to far-reaching changes in lifestyles in new, commuter settlements far from the old city centres. So it is in the present day with Information Technology in Educational Management. Some of the papers in this volume focus on specialist tasks, for example how to develop a computer-based decision-support system to help those drawing up school timetables. Others address situations in which the power of the technology offers us the potential to change radically what we do.

Statistical Modeling and Analysis for Complex Data Problems treats some of today's more complex problems and it reflects some of the important research directions in the field. Twenty-nine authors - largely from Montreal's GERAD Multi-University Research Center and who work in areas of theoretical statistics, applied statistics, probability theory, and stochastic processes - present survey chapters on various theoretical and applied problems of importance and interest to researchers and students across a number of academic domains.

A Selection of Papers from the EEC Conference on Social Experiments with Information Technology in Odense, Denmark, January 13-15, 1986

Schmidt and Bannon (1992) introduced the concept of common information space by contrasting it with technical conceptions of shared information: Cooperative work is not facilitated simply by the provisioning of a shared database, but rather requires the active construction by the participants of a common information space where the meanings of the shared objects are debated and resolved, at least locally and temporarily. (Schmidt and Bannon, p. 22) A CIS, then, encompasses not only the information but also the practices by which actors establish its meaning for their collective work. These negotiated understandings of the information are as important as the availability of the information itself: The actors must attempt to jointly construct a common information space which goes beyond their individual personal information spaces. . . . The common information space is negotiated and established by the actors involved. (Schmidt and Bannon, p. 28) This is not to suggest that actors' understandings of the information are identical; they are simply "common" enough to coordinate the work. People understand how the information is relevant for their own work. Therefore, individuals engaged in different activities will have different perspectives on the same information. The work of maintaining the common information space is the work that it takes to balance and accommodate these different perspectives. A "bug" report in software development is a simple example. Software developers and quality assurance personnel have access to the same bug report information. However, access to information is not sufficient to coordinate their work.

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications systems. The advent of Open Object-based Distributed Systems (OODS) brings new challenges and opportunities for the use and development of formal methods. Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing; semantics of object-based distributed systems and programming languages; formal techniques in object-based and object oriented specification, analysis and design; refinement and transformation of specifications; multiple viewpoint modeling and consistency between different models; formal techniques in distributed systems verification and testing; types, service types and subtyping; specification, verification and testing of quality of service constraints and formal methods and the object life cycle. It contains the selected proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems, sponsored by the International Federation for Information Processing, and based in Paris, France, in March 1996.

Building Scalable Network Services: Theory and Practice is on building scalable network services on the Internet or in a network service provider's network. The focus is on network services that are provided through the use of a set of servers. The authors present a tiered scalable network service model and evaluate various services within this architecture. The service model simplifies design tasks by implementing only the most basic functionalities at lower tiers where the need for scalability dominates functionality.
The book includes a number of theoretical results that are practical and applicable to real networks, such as building network-wide measurement, monitoring services, and strategies for building better P2P networks. Various issues in scalable system design and placement algorithms for service nodes are discussed. Using existing network services as well as potentially new but useful services as examples, the authors formalize the problem of placing service nodes and provide practical solutions for them.

This book presents an in-depth discussion of the semiconductor-laser gain medium. The optical and electronic properties of semiconductors, particularly semiconductor quantum-well systems, are analzyed in detail, covering a wide variety of near-infrared systems with or without strain, as well as wide-gap materials such as the group-III nitride compounds or the II-VI materials. The important bandstructure modifications and Coulomb interaction effects are discussed, including the solution of the longstanding semiconductor laser lineshape problem. Quantitative comparisons between measured and predicted gain/absorption and refractive index spectra for a wide variety of semiconductor-laser materials enable the theoretical results to be used directly in the engineering of advanced laser and amplifier structures. A wealth of examples for many different material combinations bestow the book with quantitative and predictive value for a wide variety of applications.

ELLENBALKA Simon Fraser University ebalka@Sfu. ca 1. INTRODUCTION In developing the call for papers for the 7th International Federation of Information Processors (IFIP) Women, Work and Computerization Conference, we sought to cast our net widely. We wanted to encourage presenters to think broadly about women, work and computerization. Towards this end, the programme committee developed a call for papers that, in its final form, requested paper submissions around four related themes. These are (1) Setting the Course: Taking Stock of Where We Are and Where We're Going; (2) Charting Undiscovered Terrain: Creating Models, Tools and Theories; (3) Navigating the Unknown: Sex, Time, Space and Place, and (4) Taking the Helm: Education and Pedagogy. Our overall conference theme, 'Charting a Course to the Future' was inspired in part by Vancouver's geography, which is both coastal and mountainous. As such, navigation plays an important part in the lives of many as we seek to enjoy our environs. In addition, as the first Women, Work and Computerization conference of the new millennium, we hoped to encourage the broad community of scholars that has made past Women, Work and Computerization conferences a success to actively engage in imagining--and working towards-- a better future for women in relation to computers. The contributions to this volume are both a reflection of the hard work undertaken by many to improve the situation of women in relation to computerization, and a testament to how much work is yet to be done.

In the context of the 18th IFIP World Computer Congress (WCC'04), and beside the traditional organization of conferences, workshops, tutorials and student forum, it was decided to identify a range of topics of dramatic interest for the building of the Information Society. This has been featured as the "Topical day/session" track of the WCC'04. Topical Sessions have been selected in order to present syntheses, latest developments and/or challenges in different business and technical areas.

Building the Information Society provides a deep perspective on domains including: the semantic integration of heterogeneous data, virtual realities and new entertainment, fault tolerance for trustworthy and dependable information infrastructures, abstract interpretation (and its use for verification of program properties), multimodal interaction, computer aided inventing, emerging tools and techniques for avionics certification, bio-, nano-, and information technologies, E-learning, perspectives on ambient intelligence, the grand challenge of building a theory of the Railway domain, open source software in dependable systems, interdependencies of critical infrastructure, social robots, as a challenge for machine intelligence.

Building the Information Society comprises the articles produced in support of the Topical Sessions during the IFIP 18th World Computer Congress, which was held in August 2004 in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).

One of the major concerns of theoretical computer science is the classifi cation of problems in terms of how hard they are. The natural measure of difficulty of a function is the amount of time needed to compute it (as a function of the length of the input). Other resources, such as space, have also been considered. In recursion theory, by contrast, a function is considered to be easy to compute if there exists some algorithm that computes it. We wish to classify functions that are hard, i.e., not computable, in a quantitative way. We cannot use time or space, since the functions are not even computable. We cannot use Turing degree, since this notion is not quantitative. Hence we need a new notion of complexity-much like time or spac that is quantitative and yet in some way captures the level of difficulty (such as the Turing degree) of a function."

Engineering the Knowledge Society (EKS) - Event of the World Summit on the Information Society (WSIS) This book is the result of a joint event of the World Federation of Engineering Organisations (WFEO) and the International Federation for Information Processing (IFIP) held during the World Summit on the Information Society (WSIS) in Geneva, Switzerland, December 11 - 12, 2003. The organisation was in the hands of Mr. Raymond Morel of the Swiss Academy of Engineering Sciences (SATW). Information Technology (or Information and Communication Technology) cannot be seen as a separate entity. Its application should support human development and this application has to be engineered. Education plays a central role in the engineering of Information and Communication Technology (ICT) for human support. The conference addressed the following aspects: Lifelong Learning and education, - inclusion, ethics and social impact, engineering profession, developing- society, economy and e-Society. The contributions in this World Summit event reflected an active stance towards human development supported by ICT. A Round Table session provided concrete proposals for action

The genus of definitions for the theoretical sciences is (the province of) the habitus of the intellective intention, for the practical sciences, however, that of the effective intention; the objects and ends constitute the specific differ ence There is nothing in the intellect that has not already been in the senses, that is, in the sensory organs, that has not already been in sensible things from which are distinguished things not perceptible to the senses. Nothing can be of the mind, sensation and the thing inferred therefrom except the operation itself. Real learning is cognition of things in themselves. It thus has the basis of its certainty in the known thing. This is established in two ways: by demon stration in the case of contemplative things, and by induction in the case of things perceptible to the senses. In contrast with real learning there is pos sible, probable and fictive learning. Antonius Gvilielmus Amo Afer (1827) This research has been long in the making. Its conception began in my last years in the doctoral program at Temple University, Philadelphia, Pa. It was simultaneously conceived with my two books on the Neo Keynesian Theory of Optimal aggregate investment and output dynamics [201] [202] as well as reflections on the methodology of decision-choice rationality and development economics [440] [441]. Economic theories and social policies were viewed to have, among other things, one impor tant thing in common in that they relate to decision making under different.