Driven by the request for increased productivity, flexibility, and competitiveness, modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent, sequential, competitive activities among their components. They are often complex and large in scale, and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems, communication networks, traffic and logistic systems, and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover, it also presents many practical applications in addition to theoretical developments, together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

A smart city utilizes ICT technologies to improve the working effectiveness, share various data with the citizens, and enhance political assistance and societal wellbeing. The fundamental needs of a smart and sustainable city are utilizing smart technology for enhancing municipal activities, expanding monetary development, and improving citizens' standards of living. Data-Driven Mathematical Modeling in Smart Cities discusses new mathematical models in smart and sustainable cities using big data, visualization tools in mathematical modeling, machine learning-based mathematical modeling, and more. It further delves into privacy and ethics in data analysis. Covering topics such as deep learning, optimization-based data science, and smart city automation, this premier reference source is an excellent resource for mathematicians, statisticians, computer scientists, civil engineers, government officials, students and educators of higher education, librarians, researchers, and academicians.

Towards Intelligent Manufacturing Systems This book contains the selected articles from the third International Conference on lriformation Technology for Balanced Automation Systems in Manufacturing. A rapid evolution in a number of areas leading to Intelligent Manufacturing Systems has been observ@d in recent years. Significant efforts are being spent on this research area, namely in terms of international cooperative projects, like the IMS initiative, the USA NIIIP (National Industrial Information Infrastructure Protocols) project, or the European ESPRIT programme, and a growing number of conferences and workshops. The importance of the Information and Communication Technologies in the manufacturing area is weIl established today. The proper combination of these areas with the socio-organizational issues, supported by intelligent tools, is however, more difficult to achieve, and fully justifies the need for the BASYS conference and the publication of the series of books on Balanced Automation SyStems. The first book of this series focused on the topic of "Architectures and Design Methods," was published in 1995. Mahy of the fundamental aspects of manufacturing, and some preliminary results were presented in this book. Among others, the topics included: Modeling and design of FMS, Enterprise modeling and organization, Decision support systems in manufacturing, Anthropocentric systems, CAE/CAD/CAM integration, Scheduling systems, Extended enterprises, Multi agent system architecture, Balanced flexibility, Intelligent supervision systems, Shop-floor control, and Computer aided process planning."

This book is the third revised and updated English edition of the German textbook \Versuchsplanung und Modellwahl" by Helge Toutenburg which was based on more than 15 years experience of lectures on the course \- sign of Experiments" at the University of Munich and interactions with the statisticians from industries and other areas of applied sciences and en- neering. This is a type of resource/ reference book which contains statistical methods used by researchers in applied areas. Because of the diverse ex- ples combined with software demonstrations it is also useful as a textbook in more advanced courses, The applications of design of experiments have seen a signi?cant growth in the last few decades in di?erent areas like industries, pharmaceutical sciences, medical sciences, engineering sciences etc. The second edition of this book received appreciation from academicians, teachers, students and applied statisticians. As a consequence, Springer-Verlag invited Helge Toutenburg to revise it and he invited Shalabh for the third edition of the book. In our experience with students, statisticians from industries and - searchers from other ?elds of experimental sciences, we realized the importance of several topics in the design of experiments which will - crease the utility of this book. Moreover we experienced that these topics are mostly explained only theoretically in most of the available books.

This book focuses like a laser beam on one of the hottest topics in evolutionary computation over the last decade or so: estimation of distribution algorithms (EDAs). EDAs are an important current technique that is leading to breakthroughs in genetic and evolutionary computation and in optimization more generally. I'm putting Scalable Optimization via Probabilistic Modeling in a prominent place in my library, and I urge you to do so as well. This volume summarizes the state of the art at the same time it points to where that art is going. Buy it, read it, and take its lessons to heart.

David E Goldberg, University of Illinois at Urbana-Champaign

This book is an excellent compilation of carefully selected topics in estimation of distribution algorithms---search algorithms that combine ideas from evolutionary algorithms and machine learning. The book covers a broad spectrum of important subjects ranging from design of robust and scalable optimization algorithms to efficiency enhancements and applications of these algorithms. The book should be of interest to theoreticians and practitioners alike, and is a must-have resource for those interested in stochastic optimization in general, and genetic and evolutionary algorithms in particular.

John R. Koza, Stanford University

This edited book portrays population-based optimization algorithms and applications, covering the entire gamut of optimization problems having single and multiple objectives, discrete and continuous variables, serial and parallel computations, and simple and complex function models. Anyone interested in population-based optimization methods, either knowingly or unknowingly, use some form of an estimation ofdistribution algorithm (EDA). This book is an eye-opener and a must-read text, covering easy-to-read yet erudite articles on established and emerging EDA methodologies from real experts in the field.

Kalyanmoy Deb, Indian Institute of Technology Kanpur

This book is an excellent comprehensive resource on estimation of distribution algorithms. It can serve as the primary EDA resource for practitioner or researcher. The book includes chapters from all major contributors to EDA state-of-the-art and covers the spectrum from EDA design to applications. These algorithms strategically combine the advantages of genetic and evolutionary computation with the advantages of statistical, model building machine learning techniques. EDAs are useful to solve classes of difficult real-world problems in a robust and scalable manner.

Una-May O'Reilly, Massachusetts Institute of Technology

Machine-learning methods continue to stir the public's imagination due to its futuristic implications. But, probability-based optimization methods can have great impact now on many scientific multiscale and engineering design problems, especially true with use of efficient and competent genetic algorithms (GA) which are the basis of the present volume. Even though efficient and competent GAs outperform standard techniques and prevent negative issues, such as solution stagnation, inherent in the older but more well-known GAs, they remain less known or embraced in the scientific and engineering communities. To that end, the editors have brought together a selection of experts that (1) introduce the current methodology and lexicography of the field with illustrative discussions and highly useful references, (2)exemplify these new techniques that dramatic improve performance in provable hard problems, and (3) provide real-world applications of these techniques, such as antenna design. As one who has strayed into the use of genetic algorithms and genetic programming for multiscale modeling in materials science, I can say it would have been personally more useful if this would have come out five years ago, but, for my students, it will be a boon.

Duane D. Johnson, University of Illinois at Urbana-Champaign

This volume offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.

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.

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

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.

The rapid growth in electronic systems in the past decade has boosted research in the area of computational intelligence. As it has become increasingly easy to generate, collect, transport, process, and store huge amounts of data, the role of intelligent algorithms has become prominent in order to visualize, manipulate, retrieve, and interpret the data. For instance, intelligent search techniques have been developed to search for relevant items in huge collections of web pages, and data mining and interpretation techniques play a very important role in making sense out of huge amounts of biomolecular measurements. As a result, the added value of many modern systems is no longer determined by hardware only, but increasingly by the intelligent software that supports and facilitates the user in realizing his or her objectives. This book is the outcome of a series of discussions at the Philips Symposium on Intelligent Algorithms,

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.

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.

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.

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.

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

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.

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.

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.

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.