logo for The Institution of Engineering and Technology
Advances in Command, Control and Communication Systems
C.J. Harris
The Institution of Engineering and Technology, 1987
This book describes some of the developments in Command, Control and Communication (C3) systems. The topics cover the design of large real-time man-machine systems, which are now a vital area of intensive scientific and financial investment. C3 systems are for complex resource management and planning, and although this has a predominantly military connotation, similar systems are now developing in civil sector applications, public utilities and banking.
[more]

front cover of Algorithmic Regimes
Algorithmic Regimes
Methods, Interactions, and Politics
Juliane Jarke
Amsterdam University Press, 2024
Algorithms have risen to become one, if not the central technology for producing, circulating, and evaluating knowledge in multiple societal arenas. In this book, scholars from the social sciences, humanities, and computer science argue that this shift has, and will continue to have, profound implications for how knowledge is produced and what and whose knowledge is valued and deemed valid. To attend to this fundamental change, the authors propose the concept of algorithmic regimes and demonstrate how they transform the epistemological, methodological, and political foundations of knowledge production, sensemaking, and decision-making in contemporary societies. Across sixteen chapters, the volume offers a diverse collection of contributions along three perspectives on algorithmic regimes: the methods necessary to research and design algorithmic regimes, the ways in which algorithmic regimes reconfigure sociotechnical interactions, and the politics engrained in algorithmic regimes.
[more]

logo for University of Alabama Press
Algorithmic Worldmaking
The Rhetorical Craft of Networked Order
Jeremy David Johnson
University of Alabama Press, 2025
How algorithms shape democratic discourse and determine the ways we think, talk, and act in networked spaces
[more]

front cover of The Anthology in Digital Culture
The Anthology in Digital Culture
Forms and Affordances
Giulia Taurino
Amsterdam University Press, 2023
As a cultural form, media practice and organizational model, the anthology has represented an important editorial framework in the development, preservation and retrieval of narratives, from paper-based media to machine-generated content, all throughout a series of discontinued analog and digital technologies. Over time, anthologies became part of the “metaphors we live by” (Lakoff and Johnson 2008), figurative lenses through which we read, navigate, interpret stories and organize human thoughts for better understanding. By providing an overview on the role of the anthology on streaming platform environments, this book examines how traditional editorial practices of anthologization intersect with data-driven content classification and sorting in the context of both pre- and post-digital culture. The author ultimately proposes to insert “anthology” in a vocabulary of digital culture that accounts for new curatorial and algorithmic processes of content filtering, in the attempt to expand the critical “keywords” (Williams 1983; Striphas 2015; Thylstrup et al. 2021) for the study of culture, society, data.
[more]

front cover of Cineaste on Film Criticism, Programming, and Preservation in the New Millennium
Cineaste on Film Criticism, Programming, and Preservation in the New Millennium
Edited by Cynthia Lucia and Rahul Hamid
University of Texas Press, 2017

Digital technology and the Internet have revolutionized film criticism, programming, and preservation in deeply paradoxical ways. The Internet allows almost everyone to participate in critical discourse, but many print publications and salaried positions for professional film critics have been eliminated. Digital technologies have broadened access to filmmaking capabilities, as well as making thousands of older films available on DVD and electronically. At the same time, however, fewer older films can be viewed in their original celluloid format, and newer, digitally produced films that have no “material” prototype are threatened by ever-changing servers that render them obsolete and inaccessible.

Cineaste, one of the oldest and most influential publications focusing on film, has investigated these trends through a series of symposia with the top film critics, programmers, and preservationists in the United States and beyond. This volume compiles several of these symposia: “Film Criticism in America Today” (2000), “International Film Criticism Today” (2005), “Film Criticism in the Age of the Internet” (2008), “Film Criticism: The Next Generation” (2013), “The Art of Repertory Film Exhibition and Digital Age Challenges” (2010), and “Film Preservation in the Digital Age” (2011). It also includes interviews with the late, celebrated New Yorker film critic Pauline Kael and the critic John Bloom (“Joe Bob Briggs”), as well as interviews with the programmers/curators Peter von Bagh and Mark Cousins and with the film preservationist George Feltenstein. This authoritative collection of primary-source documents will be essential reading for scholars, students, and film enthusiasts.

[more]

front cover of Coderspeak
Coderspeak
The Language of Computer Programmers
Guilherme Orlandini Heurich
University College London, 2024
Coderspeak delves into the hidden world of software development, offering a combined anthropological and technical approach that explores the coder community's impact on our digital landscape.

Software applications have taken over our lives. We use and are used by software many times a day. Nevertheless, we know very little about the invisibly ubiquitous workers who write software. Who are they and how do they perceive their practice? How does that shape how they collaborate to build the myriad of apps that we use every day? And how does that impact the users of apps?

Coderspeak provides a critical approach to the digital transformation of our world through an engaging and thoughtful analysis of the people who write software applications. It is a focused and in-depth look at one programming language and its community, Ruby, based on ethnographic research at a London company and conversations with members of the wider Ruby community in Europe, the Americas, and Japan.

This book shows that the place where people write code, the language they write it in, and the stories shared by that community are crucial in questioning and unpacking what it means to be a coder. Understanding this social group is essential if we are to grasp a future (and a present) in which computer programming increasingly dominates our lives.
 
[more]

front cover of Computer Game Worlds
Computer Game Worlds
Claus Pias
Diaphanes, 2017
Computer games have become ubiquitous in today’s society. Many scholars have speculated on the reasons for their massive success. Yet we haven’t considered the most basic questions: Why do computer games exist? What specific circumstances led to the creation of this entirely new type of game? What sorts of knowledge facilitated the requisite technological and institutional transformations?

With Computer Game Worlds, Claus Pias sets out to answer these questions. Tracing computer games from their earliest forms to the unstoppable commercial and cultural phenomena they have become today, Pias then provides a careful epistemological reconstruction of the process of playing games, both at computers and by computers themselves. The book makes a valuable theoretical contribution to the ongoing discussion about computer games.

 
[more]

front cover of Computing Taste
Computing Taste
Algorithms and the Makers of Music Recommendation
Nick Seaver
University of Chicago Press, 2022
Meet the people who design the algorithms that capture our musical tastes.
 
The people who make music recommender systems have lofty goals: they want to broaden listeners’ horizons and help obscure musicians find audiences, taking advantage of the enormous catalogs offered by companies like Spotify, Apple Music, and Pandora. But for their critics, recommender systems seem to embody all the potential harms of algorithms: they flatten culture into numbers, they normalize ever-broadening data collection, and they profile their users for commercial ends. Drawing on years of ethnographic fieldwork, anthropologist Nick Seaver describes how the makers of music recommendation navigate these tensions: how product managers understand their relationship with the users they want to help and to capture; how scientists conceive of listening itself as a kind of data processing; and how engineers imagine the geography of the world of music as a space they care for and control.
 
Computing Taste rehumanizes the algorithmic systems that shape our world, drawing attention to the people who build and maintain them. In this vividly theorized book, Seaver brings the thinking of programmers into conversation with the discipline of anthropology, opening up the cultural world of computation in a wide-ranging exploration that travels from cosmology to calculation, myth to machine learning, and captivation to care.
[more]

front cover of Data Power
Data Power
Radical Geographies of Control and Resistance
Jim E. Thatcher
Pluto Press, 2021

In recent years, popular media has inundated audiences with sensationalized headlines recounting data breaches, new forms of surveillance and other dangers of our digital age. Despite their regularity, such accounts treat each case as unprecedented and unique. This book proposes a radical rethinking of the history, present and future of our relations with the digital, spatial technologies that increasingly mediate our everyday lives.

From smartphones to surveillance cameras, to navigational satellites, these new technologies offer visions of integrated, smooth and efficient societies, even as they directly conflict with the ways users experience them. Recognizing the potential for both control and liberation, the authors argue against both acquiescence to and rejection of these technologies.

Through intentional use of the very systems that monitor them, activists from Charlottesville to Hong Kong are subverting, resisting and repurposing geographic technologies. Using examples as varied as writings on the first telephones to the experiences of a feminist collective for migrant women in Spain, the authors present a revolution of everyday technologies. In the face of the seemingly inevitable circumstances, these technologies allow us to create new spaces of affinity, and a new politics of change.

[more]

front cover of Design of Embedded Robust Control Systems Using MATLAB® / Simulink®
Design of Embedded Robust Control Systems Using MATLAB® / Simulink®
Petko Hristov Petkov
The Institution of Engineering and Technology, 2018
Robust control theory allows for changes in a system whilst maintaining stability and performance. Applications of this technique are very important for dependable embedded systems, making technologies such as drones and other autonomous systems with sophisticated embedded controllers and systems relatively common-place.
[more]

front cover of Efficient Processing with Constraint-Logic Grammars Using Grammar
Efficient Processing with Constraint-Logic Grammars Using Grammar
Guido Minnen
CSLI, 2001
The ascendance of communication technologies such as the internet has accentuated the need to improve access, manipulation and translation of written language. One of the main goals of researchers in the field of computational linguistics is to create programs that put to use knowledge of human language in pursuit of technology that can overcome the many obstacles in the interaction between human and computer. In this endeavor, finding automated techniques to parse the complexities of human grammar is a premier problem tackled by human-interface researchers. The intricacy of human grammar poses problems not only of accuracy, but also of efficiency.

This book investigates programs for automatic analysis and production of written human language. These specialized programs use knowledge about the structure and meaning of human language in the form of grammars. Various techniques are proposed which focus on solutions for practical problems in processing of constraint-logic grammars. The solutions are all based on the automatic adaptation or compilation of a grammar rather than a modification of the processing algorithm used. As such they allow the grammar writer to abstract over details of grammar processing and in many cases enable more efficient processing.
[more]

front cover of Engines of Order
Engines of Order
A Mechanology of Algorithmic Techniques
Bernhard Rieder
Amsterdam University Press, 2020
Software has become a key component of contemporary life and algorithmic techniques that rank, classify, or recommend anything that fits into digital form are everywhere. This book approaches the field of information ordering conceptually as well as historically. Building on the philosophy of Gilbert Simondon and the cultural techniques tradition, it first examines the constructive and cumulative character of software and shows how software-making constantly draws on large reservoirs of existing knowledge and techniques. It then reconstructs the historical trajectories of a series of algorithmic techniques that have indeed become the building blocks for contemporary practices of ordering. Developed in opposition to centuries of library tradition, coordinate indexing, text processing, machine learning, and network algorithms instantiate dynamic, perspectivist, and interested forms of arranging information, ideas, or people. Embedded in technical infrastructures and economic logics, these techniques have become engines of order that transform the spaces they act upon.
[more]

front cover of Foundations for Model-based Systems Engineering
Foundations for Model-based Systems Engineering
From patterns to models
Jon Holt
The Institution of Engineering and Technology, 2016
The practice of Model-based Systems Engineering is becoming more widely adopted in industry, academia and commerce and, as the use of modelling matures in the real world, so the need for more guidance on how to model effectively and efficiently becomes more prominent. This book describes a number of systems-level 'patterns' (pre-defined, reusable sets of views) that may be applied using the systems modelling language SysML for the development of any number of different applications and as the foundations for a system model.
[more]

front cover of Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®
Fuzzy Logic Control in Energy Systems with design applications in MATLAB®/Simulink®
Ismail H. Altaş
The Institution of Engineering and Technology, 2017
Modern electrical power systems are facing complex challenges, arising from distributed generation and intermittent renewable energy. Fuzzy logic is one approach to meeting this challenge and providing reliability and power quality.
[more]

logo for American Library Association
Going Mobile
Developing Apps for Your Library Using Basic HTML Programming
Scott American Library Association
American Library Association, 2012

front cover of Grammatical Framework
Grammatical Framework
Programming with Multilingual Grammars
Aarne Ranta
CSLI, 2011

Grammatical Framework is a programming language designed for writing grammars, which has the capability of addressing several languages in parallel. This thorough introduction demonstrates how to write grammars in Grammatical Framework and use them in applications such as tourist phrasebooks, spoken dialogue systems, and natural language interfaces. The examples and exercises presented here address several languages, and the readers are shown how to look at their own languages from the computational perspective.

[more]

front cover of A Guide to MATLAB® Object-Oriented Programming
A Guide to MATLAB® Object-Oriented Programming
Andy H. Register
The Institution of Engineering and Technology, 2007
A Guide to MATLAB® Object-Oriented Programming is the first book to deliver broad coverage of the documented and undocumented object-oriented features of MATLAB®. Unlike the typical approach of other resources, this guide explains why each feature is important, demonstrates how each feature is used, and promotes an understanding of the interactions between features.
[more]

front cover of Intelligent Distributed Video Surveillance Systems
Intelligent Distributed Video Surveillance Systems
Sergio A. Velastin
The Institution of Engineering and Technology, 2006
There is a growing interest in the development and deployment of surveillance systems in public and private locations. Conventional approaches rely on the installation of wide area CCTV (Closed Circuit Television), but the explosion in the numbers of cameras that have to be monitored, the increasing costs of providing monitoring personnel and the limitations that humans have to maintain sustained levels of concentration severely limit the effectiveness of these systems. Advances in information and communication technologies, such as computer vision for face recognition and human behaviour analysis, digital annotation and storage of video, transmission of video/audio streams over wired and wireless networks, can potentially provide significant improvements in this field.
[more]

logo for The Institution of Engineering and Technology
Knowledge Discovery and Data Mining
M.A. Bramer
The Institution of Engineering and Technology, 1999
Modern computing systems of all kinds accumulate various data at an almost unimaginable rate. Alongside the advances in technology that make such storage possible has grown a realisation that buried within this mass of data there may exist some knowledge of considerable value. This could be information critical for a company's business success or something leading to a scientific or medical discovery or breakthrough. Most data is simply stored and never examined, but machine-learning technology has the potential to extract knowledge of value (i.e. data mining).
[more]

front cover of Language and the Rise of the Algorithm
Language and the Rise of the Algorithm
Jeffrey M. Binder
University of Chicago Press, 2022
A wide-ranging history of the algorithm.

Bringing together the histories of mathematics, computer science, and linguistic thought, Language and the Rise of the Algorithm reveals how recent developments in artificial intelligence are reopening an issue that troubled mathematicians well before the computer age: How do you draw the line between computational rules and the complexities of making systems comprehensible to people? By attending to this question, we come to see that the modern idea of the algorithm is implicated in a long history of attempts to maintain a disciplinary boundary separating technical knowledge from the languages people speak day to day.
 
Here Jeffrey M. Binder offers a compelling tour of four visions of universal computation that addressed this issue in very different ways: G. W. Leibniz’s calculus ratiocinator; a universal algebra scheme Nicolas de Condorcet designed during the French Revolution; George Boole’s nineteenth-century logic system; and the early programming language ALGOL, short for algorithmic language. These episodes show that symbolic computation has repeatedly become entangled in debates about the nature of communication. Machine learning, in its increasing dependence on words, erodes the line between technical and everyday language, revealing the urgent stakes underlying this boundary.
 
The idea of the algorithm is a levee holding back the social complexity of language, and it is about to break. This book is about the flood that inspired its construction.
[more]

front cover of Literate Programming
Literate Programming
Donald E. Knuth
CSLI, 1992
This anthology of essays from Donald Knuth, "the father of computer science," and the inventor of literate programming includes early essays on related topics such as structured programming, as well as The Computer Journal article that launched literate programming itself. Many examples are given, including excerpts from the programs for TeX and METAFONT. The final essay is an example of CWEB, a system for literate programming in C and related languages.

This volume is first in a series of Knuth's collected works.
[more]

front cover of Mapmatics
Mapmatics
A Mathematician's Guide to Navigating the World
Paulina Rowińska
Harvard University Press, 2024

“I love maps. I love math. And gosh, do I love this book, which so beautifully and clearly sounds the depths of both.” —Ben Orlin, author of Math with Bad Drawings

Explore the surprising connections between math and maps—and the myriad ways they’ve shaped our world and us.

Why are coastlines and borders so difficult to measure? How does a UPS driver deliver hundreds of packages in a single day? And where do elusive serial killers hide? The answers lie in the crucial connection between maps and math.

In Mapmatics, mathematician Paulina Rowińska leads us on a riveting journey around the globe to discover how maps and math are deeply entwined, and always have been. From a sixteenth-century map, an indispensable navigation tool that exaggerates the size of northern countries, to public transport maps that both guide and confound passengers, to congressional maps that can empower or silence whole communities, she reveals how maps and math have shaped not only our sense of space but our worldview. In her hands, we learn how to read maps like a mathematician—to extract richer information and, just as importantly, to question our conclusions by asking what we don’t see.

Written with authority and compassion, wit and unforgettable storytelling, this is math exposition at its best. By unpacking the math behind the maps we depend on, Mapmatics illuminates how our world works and, ultimately, how we can better look after it.

[more]

front cover of MATLAB® for Electrical and Computer Engineering Students and Professionals
MATLAB® for Electrical and Computer Engineering Students and Professionals
With Simulink®
Roland Priemer
The Institution of Engineering and Technology, 2013
This book combines the teaching of the MATLAB® programming language with the presentation and development of carefully selected electrical and computer engineering (ECE) fundamentals. This is what distinguishes it from other books concerned with MATLAB®: it is directed specifically to ECE concerns. Students will see, quite explicitly, how and why MATLAB® is well suited to solve practical ECE problems.
[more]

front cover of Minor Platforms in Videogame History
Minor Platforms in Videogame History
Benjamin Nicoll
Amsterdam University Press, 2019
Videogame history is not just a history of one successful technology replacing the next. It is also a history of platforms and communities that never quite made it; that struggled to make their voices heard; that aggravated against the conventions of the day; and that never enjoyed the commercial success or recognition of their major counterparts. In *Minor Platforms in Videogame History*, Benjamin Nicoll argues that 'minor' videogame histories are anything but insignificant. Through an analysis of transitional, decolonial, imaginary, residual, and minor videogame platforms, Nicoll highlights moments of difference and discontinuity in videogame history. From the domestication of vector graphics in the early years of videogame consoles to the 'cloning' of Japanese computer games in South Korea in the 1980s, this book explores case studies that challenge taken-for-granted approaches to videogames, platforms, and their histories.
[more]

front cover of Modal Logic and Process Algebra
Modal Logic and Process Algebra
Edited by Alban Ponse, Maarten de Rijke, and Yde Venema
CSLI, 1995
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labeled transition systems and bisimulations.
[more]

front cover of Model-Based Requirements Engineering
Model-Based Requirements Engineering
Jon Holt
The Institution of Engineering and Technology, 2011
This book provides a hands-on introduction to model-based requirements engineering and management by describing a set of views that form the basis for the approach. These views take into account each individual requirement in terms of its description, but then also provide each requirement with meaning by putting it into the correct 'context'. A requirement that has been put into a context is known as a 'use case' and may be based upon either stakeholders or levels of hierarchy in a system. Each use case must then be analysed and validated by defining a combination of scenarios and formal mathematical and logic-based proofs that provide the rigour required for safety-critical and mission-critical systems.
[more]

front cover of Modelling Enterprise Architectures
Modelling Enterprise Architectures
Jon Holt
The Institution of Engineering and Technology, 2010
For any organisation to be successful in an increasingly competitive and global working environment, it is essential that there is a clear understanding of all aspects of the business. Given that no two organisations are exactly alike, there is no definitive understanding of exactly what these aspects are as they will depend on the organisation's nature, size and so on. Some of the aspects of the business that must be considered include: process models, process descriptions, competencies, standards, methodologies, infrastructure, people and business goals.
[more]

logo for Intellect Books
The Music of Nobuo Uematsu in the Final Fantasy Series
Edited by Richard Anatone
Intellect Books, 2023
On the oeuvre of Nobuo Uematsu, the Beethoven of video game music.

Japanese musician and composer Nobuo Uematsu has built his career and reputation on his soundtracks to the enduring Final Fantasy video game series, which are notable for their remarkable cinematic feel. Today Uematsu is one of Japan’s most beloved living composers, credited with inspiring a new generation of classical music fans. This volume, the first book-length study of the music of Uematsu, takes a variety of different analytical approaches to his body of work. It offers readers interested in ludomusicology—the study of and research into video game music—a variety of ways with which to understand Uematsu’s compositional process and the role that video game music has in the overall gaming experience.
[more]

front cover of Nonlinear Optimization in Electrical Engineering with Applications in MATLAB®
Nonlinear Optimization in Electrical Engineering with Applications in MATLAB®
Mohamed Bakr
The Institution of Engineering and Technology, 2013
Nonlinear Optimization in Electrical Engineering with Applications in MATLAB® provides an introductory course on nonlinear optimization in electrical engineering, with a focus on applications such as the design of electric, microwave, and photonic circuits, wireless communications, and digital filter design.
[more]

logo for Intellect Books
Nostalgia and Videogame Music
A Primer of Case Studies, Theories and Analyses for the Player-Academic
Edited by Vincent E. Rone, Can Aksoy, and Sarah Pozderac-Chenevey
Intellect Books, 2022
The first multi-disciplinary study of the connection between memory and music in video games.

This book allows readers to understand the relationships and memories they often form around games, and music is central to this process. The quest into the past begins with this book, a map that leads to the intersection between nostalgia and videogame music. Informed by research on musicology, memory, and practices of gaming culture, this edited volume discusses different forms of nostalgia, considers how videogames display their relation to those forms, and explores the ways theoretically self-conscious positions can be found in games. An important scholarly addition to the burgeoning field of ludomusicology, this book will appeal to researchers, educators, practitioners, undergraduate and graduate students, and videogame fans and players alike.
[more]

front cover of Persuasive Gaming in Context
Persuasive Gaming in Context
Teresa de La Hera
Amsterdam University Press, 2021
The rapid developments of new communication technologies have facilitated the popularization of digital games, which has translated into an exponential growth of the game industry in the last decades. The ubiquitous presence of digital games has resulted in an expansion of the applications of these games from mere entertainment purposes to a great variety of serious purposes. In this edited volume, we narrow the scope of attention by focusing on what game theorist Ian Bogost has called "persuasive games", that is, gaming practices that combine the dissemination of information with attempts to engage players in particular attitudes and behaviors. This volume offers a multifaceted reflection on persuasive gaming, that is, on the process of these particular games being played by players. The purpose is to better understand when and how digital games can be used for persuasion, by further exploring persuasive games and some other kinds of persuasive playful interaction as well. The book critically integrates what has been accomplished in separate research traditions to offer a multidisciplinary approach to understanding persuasive gaming that is closely linked to developments in the industry by including the exploration of relevant case studies.
[more]

front cover of Play to Submission
Play to Submission
Gaming Capitalism in a Tech Firm
Tongyu Wu
Temple University Press, 2024
Games are often a fun perk of a tech company job, and employees can “play to win” in the competition to succeed. But in studying “Behemoth” (a pseudonym for a top American tech company), Tongyu Wu discovered that gaming work culture was far more insidious.

Play to Submission shows how Behemoth’s games undermined and manipulated workers. They lost their work-life balance and the constant competition made labor organizing difficult. Nonetheless, many workers embraced management’s games as a chance to show off their “gamer” identities and create a workplace culture with privileged insiders and exiled outsiders, with female and migrant workers usually in the latter group. Moreover, Wu indicates this may be the future of work for high- and low-skilled and, creative workers in an environment where capitalists have heightened demands for technology and creativity.

Drawing from 13 months of ethnographic work, Wu presents a persistent reality in which the company reaps the reward of surplus productivity, leaving employees themselves in a highly competitive and sometimes precarious work position.
[more]

front cover of Portable Biosensors and Point-of-Care Systems
Portable Biosensors and Point-of-Care Systems
Spyridon E. Kintzios
The Institution of Engineering and Technology, 2017
Portable Biosensors and Point-of-Care Systems describes the principles, design and applications of a new generation of analytical and diagnostic biomedical devices, characterized by their very small size, ease of use, multi-analytical capabilities and speed to provide handheld and mobile point-of-care (POC) diagnostics.
[more]

front cover of Reflection in Rewriting Logic
Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
Manuel Clavel
CSLI, 2000
Reflection, the capacity to represent our ideas and to make them the object of our own thoughts, has for many centuries been recognized as a key mark of human intelligence. The very success and extension of reflective ideas in logic and computer science underscores the need for conceptual foundations.

This book proposes a general theory of reflective logics and reflective declarative programming languages. This theory provides a conceptual foundation for judging the extent to which a computational system is reflective. Manuel Clavel presents a proof of the reflective nature of rewriting logic and provides examples of the potential for reflective programming in a number of novel computer applications. These applications are implemented in Maude, a reflective programming language and environment based on rewriting logic that can define, represent and execute a breadth of logics, languages and models of computation. A general method to easily build theorem-proving tools in Maude is also proposed and illustrated. The book goes on to promote the notion of a "universal theory" that can simulate the deductions of all representable theories within any given logic.
[more]

logo for The Institution of Engineering and Technology
Semi-custom IC Design and VLSI
P.J. Hicks
The Institution of Engineering and Technology, 1983
The contents of this book were first presented as a series of lectures at the first IEE Vacation School on Semi-Custom IC Design and VLSI held at the University of Edinburgh on 4-8 July 1983. The earlier chapters provide an introduction to silicon IC technology and include descriptions of the various processing techniques employed in the manufacture of microelectronic components. Different types of semi-custom IC are then reviewed and the factors that have to be considered in choosing a semi-custom technique are examined in detail. Logic design is next presented as an activity that is best carried out at a higher level of abstraction than the customary/logic gate level by using the algorithmic state machine (ASM) method. In the sections that follow, computer aids to design and design automation tools are introduced as essential requirements for the rapid and error-free design of semicustom ICs. Testing strategies and the need to design for testability are also covered in some detail.
[more]

front cover of The Success of Open Source
The Success of Open Source
Steven Weber
Harvard University Press, 2004

Much of the innovative programming that powers the Internet, creates operating systems, and produces software is the result of “open source” code, that is, code that is freely distributed—as opposed to being kept secret—by those who write it. Leaving source code open has generated some of the most sophisticated developments in computer technology, including, most notably, Linux and Apache, which pose a significant challenge to Microsoft in the marketplace. As Steven Weber discusses, open source’s success in a highly competitive industry has subverted many assumptions about how businesses are run, and how intellectual products are created and protected.

Traditionally, intellectual property law has allowed companies to control knowledge and has guarded the rights of the innovator, at the expense of industry-wide cooperation. In turn, engineers of new software code are richly rewarded; but, as Weber shows, in spite of the conventional wisdom that innovation is driven by the promise of individual and corporate wealth, ensuring the free distribution of code among computer programmers can empower a more effective process for building intellectual products. In the case of Open Source, independent programmers—sometimes hundreds or thousands of them—make unpaid contributions to software that develops organically, through trial and error.

Weber argues that the success of open source is not a freakish exception to economic principles. The open source community is guided by standards, rules, decisionmaking procedures, and sanctioning mechanisms. Weber explains the political and economic dynamics of this mysterious but important market development.

[more]

front cover of Swarm Intelligence
Swarm Intelligence
Applications, Volume 3
Ying Tan
The Institution of Engineering and Technology, 2018
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions.
[more]

front cover of Swarm Intelligence
Swarm Intelligence
Innovation, new algorithms and methods, Volume 2
Ying Tan
The Institution of Engineering and Technology, 2018
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions.
[more]

front cover of Swarm Intelligence
Swarm Intelligence
Principles, current algorithms and methods, Volume 1
Ying Tan
The Institution of Engineering and Technology, 2018
Swarm Intelligence (SI) is one of the most important and challenging paradigms under the umbrella of computational intelligence. It focuses on the research of collective behaviours of a swarm in nature and/or social phenomenon to solve complicated and difficult problems which cannot be handled by traditional approaches. Thousands of papers are published each year presenting new algorithms, new improvements and numerous real world applications. This makes it hard for researchers and students to share their ideas with other colleagues; follow up the works from other researchers with common interests; and to follow new developments and innovative approaches. This complete and timely collection fills this gap by presenting the latest research systematically and thoroughly to provide readers with a full view of the field of swarm. Students will learn the principles and theories of typical swarm intelligence algorithms; scholars will be inspired with promising research directions; and practitioners will find suitable methods for their applications of interest along with useful instructions.
[more]

front cover of SysML for Systems Engineering
SysML for Systems Engineering
Jon Holt
The Institution of Engineering and Technology, 2008
Systems modelling is an essential enabling technique for any systems engineering enterprise. These modelling techniques, in particular the unified modelling language (UML), have been employed widely in the world of software engineering and very successfully in systems engineering for many years. However, in recent years there has been a perceived need for a tailored version of the UML that meets the needs of today's systems engineering professional. This book provides a pragmatic introduction to the systems engineering modelling language, the SysML, aimed at systems engineering practitioners at any level of ability, ranging from students to experts. The theoretical aspects and syntax of SysML are covered and each concept is explained through a number of example applications. The book also discusses the history of the SysML and shows how it has evolved over a number of years. All aspects of the language are covered and are discussed in an independent and frank manner, based on practical experience of applying the SysML in the real world.
[more]

front cover of SysML for Systems Engineering
SysML for Systems Engineering
A model-based approach
Jon Holt
The Institution of Engineering and Technology, 2013
This new edition of this popular text has been fully updated to reflect SysML 1.3, the latest version of the standard, and the discussion has been extended to show the power of SysML as a tool for systems engineering in an MBSE context. Beginning with a thorough introduction to the concepts behind MBSE, and the theoretical aspects and syntax of SysML, the book then describes how to implement SysML and MBSE in an organisation, and how to model real projects effectively and efficiently, illustrated using an extensive case study.
[more]

front cover of Trusted Computing
Trusted Computing
Chris Mitchell
The Institution of Engineering and Technology, 2005
As computers are increasingly embedded, ubiquitous and wirelessly connected, security becomes imperative. This has led to the development of the notion of a 'trusted platform', the chief characteristic of which is the possession of a trusted hardware element which is able to check all or part of the software running on this platform. This enables parties to verify the software environment running on a remote trusted platform, and hence to have some trust that the data sent to that machine will be processed in accordance with agreed rules.
[more]

front cover of Trusted Platform Modules
Trusted Platform Modules
Why, when and how to use them
Ariel Segall
The Institution of Engineering and Technology, 2017
Trusted Platform Modules (TPMs) are small, inexpensive chips which provide a limited set of security functions. They are most commonly found as a motherboard component on laptops and desktops aimed at the corporate or government markets, but can also be found on many consumer-grade machines and servers, or purchased as independent components. Their role is to serve as a Root of Trust - a highly trusted component from which we can bootstrap trust in other parts of a system. TPMs are most useful for three kinds of tasks: remotely identifying a machine, or machine authentication; providing hardware protection of secrets, or data protection; and providing verifiable evidence about a machine's state, or attestation.
[more]

front cover of UML for Systems Engineering
UML for Systems Engineering
Watching the wheels
Jon Holt
The Institution of Engineering and Technology, 2004
Up until a few years ago there were many different modelling languages available to software developers. However, this vast array of choice only served to hinder communication and as a result the Unified Modelling Language (UML) was born. Although the UML has its roots firmly in the software world, the benefits of adopting a standard visual notation have been recognised in many other fields, not least of which is the field of systems engineering. This book concentrates on systems-based applications, rather than the traditional software applications that are more usually associated with the UML. Now fully updated to reflect the changes to UML for its version 2.0 release, this new edition has been substantially re-written and includes new material on systems architectures and life cycle management.
[more]

front cover of VALU, AVX and GPU Acceleration Techniques for Parallel FDTD Methods
VALU, AVX and GPU Acceleration Techniques for Parallel FDTD Methods
Wenhua Yu
The Institution of Engineering and Technology, 2014
Development of computer science techniques has significantly enhanced computational electromagnetic methods in recent years. The multi-core CPU computers and multiple CPU work stations are popular today for scientific research and engineering computing. How to achieve the best performance on the existing hardware platforms, however, is a major challenge. In addition to the multi-core computers and multiple CPU workstations, distributed computing has become a primary trend due to the low cost of the hardware and the high performance of network systems. In this book we introduce a general hardware acceleration technique that can significantly speed up FDTD simulations and their applications to engineering problems without requiring any additional hardware devices.
[more]

front cover of Virtual Migration
Virtual Migration
The Programming of Globalization
A. Aneesh
Duke University Press, 2006
Workers in India program software applications, transcribe medical dictation online, chase credit card debtors, and sell mobile phones, diet pills, and mortgages for companies based in other countries around the world. While their skills and labor migrate abroad, these workers remain Indian citizens, living and working in India. A. Aneesh calls this phenomenon “virtual migration,” and in this groundbreaking study he examines the emerging “transnational virtual space” where labor and vast quantities of code and data cross national boundaries, but the workers themselves do not. Through an analysis of the work of computer programmers in India working for the American software industry, Aneesh argues that the programming code connecting globally dispersed workers through data servers and computer screens is the key organizing structure behind the growing phenomenon of virtual migration. This “rule of code,” he contends, is a crucial and underexplored aspect of globalization.

Aneesh draws on the sociology of science, social theory, and research on migration to illuminate the practical and theoretical ramifications of virtual migration. He combines these insights with his extensive ethnographic research in offices in three locations in India—in Delhi, Gurgaon, and Noida—and one in New Jersey. Aneesh contrasts virtual migration with “body shopping,” the more familiar practice of physically bringing programmers from other countries to work on site, in this case, bringing them from India to New Jersey. A significant contribution to the social theory of globalization, Virtual Migration maps the expanding transnational space where globalization is enacted via computer programming code.

[more]


Send via email Share on Facebook Share on Twitter