Transforming Reconfigurable Systems: A Festschrift Celebrating The 60th Birthday Of Professor Peter Cheung

Author: Luk Wayne,Constantinides George A

Publisher: World Scientific

ISBN: 1783266988

Category: Computers

Page: 284

View: 758

Over the last three decades, Professor Peter Cheung has made significant contributions to a variety of areas, such as analogue and digital computer-aided design tools, high-level synthesis and hardware/software codesign, low-power and high-performance circuit architectures for signal and image processing, and mixed-signal integrated-circuit design.However, the area that has attracted his greatest attention is reconfigurable systems and their design, and his work has contributed to the transformation of this important and exciting discipline. This festschrift contains a unique collection of technical papers based on presentations at a workshop at Imperial College London in May 2013 celebrating Professor Cheung's 60th birthday. Renowned researchers who have been inspired and motivated by his outstanding research in the area of reconfigurable systems are brought together from across the globe to offer their latest research in reconfigurable systems. Professor Cheung has devoted much of his professional career to Imperial College London, and has served with distinction as the Head of Department of Electrical and Electronic Engineering for several years. His outstanding capability and his loyalty to Imperial College and the Department of Electrical and Electronic Engineering are legendary. Professor Cheung has made tremendous strides in ensuring excellence in both research and teaching, and in establishing sound governance and strong financial endowment; but above all, he has made his department a wonderful place in which to work and study.

Transforming Reconfigurable Systems

A Festschrift Celebrating the 60th Birthday of Professor Peter Cheung

Author: Wayne Luk,George A. Constantinides

Publisher: World Scientific Publishing Company Incorporated

ISBN: 9781783266968

Category: Computers

Page: 284

View: 6250

"Technical papers based on presentations at a workshop at Imperial College London in May 2013 celebrating Professor Cheung's 60th birthday"--Preface.

Cocos2d-x by Example Beginner's Guide

Author: Roger Engelbert

Publisher: Packt Publishing Ltd

ISBN: 1782167358

Category: Computers

Page: 246

View: 1055

Get to grips with Cocos2D-X using step-by-step examples. Roger Engelbert will have you smiling throughout and learning valuable information at every turn.If you have brilliant ideas for amazing games and want to bring them to life, then this book is what you need. Work through easy-to-follow examples and learn exactly what you need to know to make your games a reality.No programming experience necessary!

Formal Modeling: Actors; Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Author: Gul Agha,Olivier Danvy,José Meseguer

Publisher: Springer Science & Business Media

ISBN: 3642249329

Category: Computers

Page: 447

View: 6986

This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.

Photochemistry and Photophysics of Coordination Compounds II

Author: Vincenzo Balzani,Sebastiano Campagna

Publisher: Springer

ISBN: 3540733493

Category: Science

Page: 327

View: 7345

Photochemistry (a term that broadly speaking includes photophysics) is abranchofmodernsciencethatdealswiththeinteractionoflightwithmatter and lies at the crossroadsof chemistry, physics, and biology. However, before being a branch of modern science, photochemistry was (and still is today), an extremely important natural phenomenon. When God said: “Let there be light”, photochemistry began to operate, helping God to create the world as wenowknowit.Itislikelythatphotochemistrywasthesparkfortheoriginof life on Earth and played a fundamental role in the evolution of life. Through the photosynthetic process that takes place in green plants, photochemistry is responsible for the maintenance of all living organisms. In the geological past photochemistry caused the accumulation of the deposits of coal, oil, and naturalgasthat wenowuseasfuels.Photochemistryisinvolved inthecontrol ofozoneinthestratosphereandinagreatnumber ofenvironmentalprocesses thatoccurintheatmosphere,inthesea,andonthesoil.Photochemistryisthe essenceoftheprocessofvisionandcausesavarietyofbehavioralresponsesin living organisms. Photochemistry as a science is quite young; we only need to go back less than one century to ?nd its early pioneer [1]. The concept of coordination compound is also relatively young; it was established in 1892, when Alfred Werner conceived his theory of metal complexes [2]. Since then, the terms coordination compound and metal complex have been used as synonyms, even if in the last 30 years, coordination chemistry has extended its scope to the binding ofall kinds of substrates [3, 4].

In Vitro Mutagenesis Protocols

Author: Jeff Braman

Publisher: Springer Science & Business Media

ISBN: 1592591949

Category: Science

Page: 287

View: 7164

In the post-genome era, in vitro mutagenesis has emerged as the critically important tool used by molecular biologists in establishing the functions of components of the proteome. In this second edition of In Vitro Mutagenesis Protocols, active researchers with proven track records describe in stepwise fashion their advanced mutagenesis techniques. Each contributor focuses on improvements to conventional site-directed mutagenesis, with chapters being devoted to chemical site-directed mutagenesis; PCR-based mutagenesis and the modifications that allow high-throughput experiments; and mutagenesis based on gene disruption that is both in vitro- and in situ-based. Additional methods are provided for in vitro gene evolution; for gene disruption based on transposon, recombination, and cassette mutagenesis; and for facilitating the introduction of multiple mutations. Each readily reproducible technique includes detailed step-by-step instructions, tips on pitfalls to avoid, and notes on reagents and suppliers. Time-tested and highly practical, the techniques in In Vitro Mutagenesis Protocols, Second Edition offer today's molecular biologists a rich compendium of reliable and powerful techniques with which to illuminate the proteome.

Java, Indonesia and Islam

Author: Mark Woodward

Publisher: Springer Science & Business Media

ISBN: 9789400700567

Category: Religion

Page: 275

View: 2276

Mark R. Woodward’s Islam in Java: Normative Piety and Mysticism in the Sultanate of Yogyakarta (1989) was one of the most important work on Indonesian Islam of the era. This new volume, Java, Indonesia, and Islam, builds on the earlier study, but also goes beyond it in important ways. Written on the basis of Woodward’s thirty years of research on Javanese Islam in a Yogyakarta (south-central Java) setting, the book presents a much-needed collection of essays concerning Javanese Islamic texts, ritual, sacred space, situated in Javanese and Indonesian political contexts. With a number of entirely new essays as well as significantly revised versions of essays this book is a valuable contribution to the academic community by an eminent anthropologist and key authority on Islamic religion and culture in Java.

Thermal Processing of Packaged Foods

Author: S. Donald Holdsworth,Ricardo Simpson

Publisher: Springer

ISBN: 3319249045

Category: Technology & Engineering

Page: 516

View: 6636

This new edition discusses the physical and engineering aspects of the thermal processing of packaged foods and examines the methods which have been used to establish the time and temperature of processes suitable to achieve adequate sterilization or pasteurization of the packaged food. The third edition is totally renewed and updated, including new concepts and areas that are relevant for thermal food processing: This edition is formed by 22 chapters—arranged in five parts—that maintain great parts of the first and second editions The First part includes five chapters analyzing different topics associated to heat transfer mechanism during canning process, kinetic of microbial death, sterilization criteria and safety aspect of thermal processing. The second part, entitled Thermal Food Process Evaluation Techniques, includes six chapters and discusses the main process evaluation techniques. The third part includes six chapters treating subjects related with pressure in containers, simultaneous sterilization and thermal food processing equipment. The fourth part includes four chapters including computational fluid dynamics and multi-objective optimization. The fifth part, entitled Innovative Thermal Food Processing, includes a chapter focused on two innovative processes used for food sterilization such high pressure with thermal sterilization and ohmic heating. Thermal Processing of Pa ckaged Foods, Third Edition is intended for a broad audience, from undergraduate to post graduate students, scientists, engineers and professionals working for the food industry.

A Master of Science History

Essays in Honor of Charles Coulston Gillispie

Author: Jed Z. Buchwald

Publisher: Springer Science & Business Media

ISBN: 9400726279

Category: Science

Page: 440

View: 3989

New essays in science history ranging across the entire field and related in most instance to the works of Charles Gillispie, one of the field's founders.

Coincidence and Counterfactuality

Plotting Time and Space in Narrative Fiction

Author: Hilary P. Dannenberg

Publisher: U of Nebraska Press

ISBN: 0803210930

Category: Literary Criticism

Page: 289

View: 413

In Coincidence and Counterfactuality, a groundbreaking analysis of plot, Hilary P. Dannenberg sets out to answer the perennial question of how to tell a good story. While plot is among the most integral aspects of storytelling, it is perhaps the least studied aspect of narrative. Using plot theory to chart the development of narrative fiction from the Renaissance to the present, Dannenberg demonstrates how the novel has evolved over time and how writers have developed increasingly complex narrative strategies that tap into key cognitive parameters familiar to the reader from real-life experience. ø Dannenberg proposes a new, multidimensional theory for analyzing time and space in narrative fiction, then uses this theory to trace the historical evolution of narrative fiction by focusing on coincidence and counterfactuality. These two key plot strategiesøare constructed around pivotal moments when characters? life trajectories, or sometimes the paths of history, converge or diverge. The study?s rich historical and textual scope reveals how narrative traditions and genres such as romance and realism or science fiction and historiographic metafiction, rather than being separated by clear boundaries are in fact in a continual process of interaction and cross-fertilization. In highlighting critical stages in the historical development of narrative fiction, the study produces new readings of works by pinpointing the innovative role played by particular authors in this evolutionary process. Dannenberg?s original investigation of plot patterns is interdisciplinary, incorporating research from narrative theory, cognitive approaches to literature, social psychology, possible worlds theory, and feminist approaches to narrative.

FPGAs for Software Programmers

Author: Dirk Koch,Frank Hannig,Daniel Ziener

Publisher: Springer

ISBN: 3319264087

Category: Technology & Engineering

Page: 327

View: 3612

This book makes powerful Field Programmable Gate Array (FPGA) and reconfigurable technology accessible to software engineers by covering different state-of-the-art high-level synthesis approaches (e.g., OpenCL and several C-to-gates compilers). It introduces FPGA technology, its programming model, and how various applications can be implemented on FPGAs without going through low-level hardware design phases. Readers will get a realistic sense for problems that are suited for FPGAs and how to implement them from a software designer’s point of view. The authors demonstrate that FPGAs and their programming model reflect the needs of stream processing problems much better than traditional CPU or GPU architectures, making them well-suited for a wide variety of systems, from embedded systems performing sensor processing to large setups for Big Data number crunching. This book serves as an invaluable tool for software designers and FPGA design engineers who are interested in high design productivity through behavioural synthesis, domain-specific compilation, and FPGA overlays. Introduces FPGA technology to software developers by giving an overview of FPGA programming models and design tools, as well as various application examples; Provides a holistic analysis of the topic and enables developers to tackle the architectural needs for Big Data processing with FPGAs; Explains the reasons for the energy efficiency and performance benefits of FPGA processing; Provides a user-oriented approach and a sense for where and how to apply FPGA technology.

On the Power of Fuzzy Markup Language

Author: Giovanni Acampora,Vincenzo Loia,Chang-Shing Lee,Mei-Hui Wang

Publisher: Springer

ISBN: 3642354882

Category: Computers

Page: 188

View: 6078

One of the most successful methodology that arose from the worldwide diffusion of Fuzzy Logic is Fuzzy Control. After the first attempts dated in the seventies, this methodology has been widely exploited for controlling many industrial components and systems. At the same time, and very independently from Fuzzy Logic or Fuzzy Control, the birth of the Web has impacted upon almost all aspects of computing discipline. Evolution of Web, Web2.0 and Web 3.0 has been making scenarios of ubiquitous computing much more feasible; consequently information technology has been thoroughly integrated into everyday objects and activities. What happens when Fuzzy Logic meets Web technology? Interesting results might come out, as you will discover in this book. Fuzzy Mark-up Language is a son of this synergistic view, where some technological issues of Web are re-interpreted taking into account the transparent notion of Fuzzy Control, as discussed here. The concept of a Fuzzy Control that is conceived and modeled in terms of a native web wisdom represents another step towards the last picture of Pervasive Web Intelligence.

Symbolic Parallelization of Nested Loop Programs

Author: Alexandru-Petru Tanase,Frank Hannig,Jürgen Teich

Publisher: Springer

ISBN: 3319739093

Category: Technology & Engineering

Page: 176

View: 7934

This book introduces new compilation techniques, using the polyhedron model for the resource-adaptive parallel execution of loop programs on massively parallel processor arrays. The authors show how to compute optimal symbolic assignments and parallel schedules of loop iterations at compile time, for cases where the number of available cores becomes known only at runtime. The compile/runtime symbolic parallelization approach the authors describe reduces significantly the runtime overhead, compared to dynamic or just‐in-time compilation. The new, on‐demand fault‐tolerant loop processing approach described in this book protects loop nests for parallel execution against soft errors.

Organizational Semiotics

Evolving a Science of Information Systems

Author: Kecheng Liu,Rodney J. Clarke,Peter Bøgh Andersen

Publisher: Springer Science & Business Media

ISBN: 9781402071898

Category: Business & Economics

Page: 308

View: 7688

This text discusses real information systems in which technologies have an essential role to play. It develops this perspective using the established discipline of semiotics, the theory of signs.

Battery Management Systems

Design by Modelling

Author: H.J. Bergveld,W.S. Kruijt,P.H.L Notten

Publisher: Springer Science & Business Media

ISBN: 9401708436

Category: Science

Page: 295

View: 7074

Battery Management Systems - Design by Modelling describes the design of Battery Management Systems (BMS) with the aid of simulation methods. The basic tasks of BMS are to ensure optimum use of the energy stored in the battery (pack) that powers a portable device and to prevent damage inflicted on the battery (pack). This becomes increasingly important due to the larger power consumption associated with added features to portable devices on the one hand and the demand for longer run times on the other hand. In addition to explaining the general principles of BMS tasks such as charging algorithms and State-of-Charge (SoC) indication methods, the book also covers real-life examples of BMS functionality of practical portable devices such as shavers and cellular phones. Simulations offer the advantage over measurements that less time is needed to gain knowledge of a battery's behaviour in interaction with other parts in a portable device under a wide variety of conditions. This knowledge can be used to improve the design of a BMS, even before a prototype of the portable device has been built. The battery is the central part of a BMS and good simulation models that can be used to improve the BMS design were previously unavailable. Therefore, a large part of the book is devoted to the construction of simulation models for rechargeable batteries. With the aid of several illustrations it is shown that design improvements can indeed be realized with the presented battery models. Examples include an improved charging algorithm that was elaborated in simulations and verified in practice and a new SoC indication system that was developed showing promising results. The contents of Battery Management Systems - Design by Modelling is based on years of research performed at the Philips Research Laboratories. The combination of basic and detailed descriptions of battery behaviour both in chemical and electrical terms makes this book truly multidisciplinary. It can therefore be read both by people with an (electro)chemical and an electrical engineering background.

Data Mining: Foundations and Practice

Author: Tsau Young Lin,Ying Xie,Anita Wasilewska,Churn-Jung Liau

Publisher: Springer

ISBN: 3540784888

Category: Mathematics

Page: 562

View: 7148

The IEEE ICDM 2004 workshop on the Foundation of Data Mining and the IEEE ICDM 2005 workshop on the Foundation of Semantic Oriented Data and Web Mining focused on topics ranging from the foundations of data mining to new data mining paradigms. The workshops brought together both data mining researchers and practitioners to discuss these two topics while seeking solutions to long standing data mining problems and stimul- ing new data mining research directions. We feel that the papers presented at these workshops may encourage the study of data mining as a scienti?c ?eld and spark new communications and collaborations between researchers and practitioners. Toexpressthevisionsforgedintheworkshopstoawiderangeofdatam- ing researchers and practitioners and foster active participation in the study of foundations of data mining, we edited this volume by involving extended and updated versions of selected papers presented at those workshops as well as some other relevant contributions. The content of this book includes st- ies of foundations of data mining from theoretical, practical, algorithmical, and managerial perspectives. The following is a brief summary of the papers contained in this book.

A Designer's Guide to Asynchronous VLSI

Author: Peter A. Beerel,Recep O. Ozdag,Marcos Ferretti

Publisher: Cambridge University Press

ISBN: 1139485288

Category: Technology & Engineering

Page: N.A

View: 2304

Create low power, higher performance circuits with shorter design times using this practical guide to asynchronous design. This practical alternative to conventional synchronous design enables performance close to full-custom designs with design times that approach commercially available ASIC standard cell flows. It includes design trade-offs, specific design examples, and end-of-chapter exercises. Emphasis throughout is placed on practical techniques and real-world applications, making this ideal for circuit design students interested in alternative design styles and system-on-chip circuits, as well as circuit designers in industry who need new solutions to old problems.

The Argument of Mathematics

Author: Andrew Aberdein,Ian J Dove

Publisher: Springer Science & Business Media

ISBN: 9400765347

Category: Philosophy

Page: 393

View: 6982

Written by experts in the field, this volume presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. Argumentation theory studies reasoning and argument, and especially those aspects not addressed, or not addressed well, by formal deduction. The philosophy of mathematical practice diverges from mainstream philosophy of mathematics in the emphasis it places on what the majority of working mathematicians actually do, rather than on mathematical foundations. The book begins by first challenging the assumption that there is no role for informal logic in mathematics. Next, it details the usefulness of argumentation theory in the understanding of mathematical practice, offering an impressively diverse set of examples, covering the history of mathematics, mathematics education and, perhaps surprisingly, formal proof verification. From there, the book demonstrates that mathematics also offers a valuable testbed for argumentation theory. Coverage concludes by defending attention to mathematical argumentation as the basis for new perspectives on the philosophy of mathematics. ​

Designing Organizations

21st Century Approaches

Author: Richard M. Burton,Bo Eriksen,Dorthe Døjbak Håkonsson,Thorbjørn Knudsen,Charles C. Snow

Publisher: Springer Science & Business Media

ISBN: 0387777768

Category: Business & Economics

Page: 238

View: 2064

This is a benchmark publication in the field of organization design (OD). Featured in the book are the more practical elements of implementing OD in organizations. The recent development in organization design has been sporadic; hence, this book will be an important step in creating more thoughtful research and stronger empirical analyses that take advantage of advances in estimation methods allowing for more complex causal modeling and stimulation technologies.

(Post)apartheid Conditions

Psychoanalysis and Social Formation

Author: D. Hook

Publisher: Springer

ISBN: 1137033002

Category: Social Science

Page: 242

View: 5245

(Post)apartheid Conditions: Psychoanalysis and Social Formation advances a series of psychoanalytic perspectives on contemporary South Africa, exploring key psychosocial topics such as space-identity, social fantasy, the body, whiteness, memory and nostalgia.