- Table View
- List View
Construction Robots: Elementary Technologies and Single-Task Construction Robots ( Cambridge handbooks in construction robotics vol. #3)
by Thomas Bock Thomas LinnerLearn how Single-Task Construction Robots (STCRs) can improve productivity in the construction industry with this cross-disciplinary text. This third volume in the Cambridge Handbooks in Construction Robotics series discusses the STCRs employed on construction sites since the development of the approach in the 1980s, presents current applications, and highlights upcoming trends in the construction automation and robotics field. Two hundred different types of STCR are presented, from the simplest models comprising simple manipulators and mobile platforms, to those utilizing more sophisticated technologies such as aerial robotics, swarm robotics, exoskeletons, additive manufacturing technologies, self-assembling building structures, and humanoid robotics. Real-world case studies demonstrate the different application scenarios for each approach, and highlight the key implementation and management issues. With an easy-to-follow structure, and including hundreds of color illustrations, it provides an excellent toolkit for professional engineers, researchers, and students. Provides a new interpretation of architecture and construction as a manufacturing industry that deals with product rather than with buildings - from building 'construction' to building 'production' Follows a cross-disciplinary approach that relates traditional architectural and construction knowledge the with latest knowledge from manufacturing, automation and robot technology Oriented towards technology application, using real-world case studies to show application scenarios for each presented approach or technology
Introduction to Software Testing
by Jeff Offutt Paul AmmannExtensively class-tested, this textbook takes an innovative approach to software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. It incorporates the latest innovations in testing, including techniques to test modern types of software such as OO, web applications, and embedded software. The book contains numerous examples throughout. An instructors solution manual, PowerPoint slides, sample syllabi, additional examples and updates, testing tools for students, and example software programs in Java are available on an extensive website.
Physical Perspectives on Computation, Computational Perspectives on Physics
by Michael E. Cuffaro Samuel C. FletcherAlthough computation and the science of physical systems would appear to be unrelated, there are a number of ways in which computational and physical concepts can be brought together in ways that illuminate both. <P><P>This volume examines fundamental questions which connect scholars from both disciplines: is the universe a computer? Can a universal computing machine simulate every physical process? What is the source of the computational power of quantum computers? Are computational approaches to solving physical problems and paradoxes always fruitful? Contributors from multiple perspectives reflecting the diversity of thought regarding these interconnections address many of the most important developments and debates within this exciting area of research. Both a reference to the state of the art and a valuable and accessible entry to interdisciplinary work, the volume will interest researchers and students working in physics, computer science, and philosophy of science and mathematics.<P> Fills the gap in the book-length treatments of the interrelations between computation and physics, especially within philosophy.<P> Provides a reference point for the state of the art in important topics and research questions in this area.<P> Brings together scholars from a wide range of perspectives and disciplines.
Interference Management in Wireless Networks: Fundamental Bounds and the Role of Cooperation
by Venugopal V. Veeravalli Aly El GamalLearn about an information-theoretic approach to managing interference in future-generation wireless networks. Focusing on cooperative schemes motivated by coordinated multi-point (CoMP) technology, the book develops a robust theoretical framework for interference management that uses recent advancements in backhaul design, and practical pre-coding schemes based on local cooperation, to deliver the increased speed and reliability promised by interference alignment. Gain insight into how simple, zero-forcing pre-coding schemes are optimal in locally connected interference networks, and discover how significant rate gains can be obtained by making cell association decisions and allocating backhaul resources based on centralized (cloud) processing and knowledge of network topology. Providing a link between information-theoretic analyses and interference management schemes that are easy to implement, this is an invaluable resource for researchers, graduate students, and practicing engineers in wireless communications.
Temporal Logics in Computer Science
by Stéphane Demri Valentin Goranko Martin LangeThis comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses.
A First Course in Statistical Programming with R
by W. John Braun Duncan J. MurdochThis is the only introduction you'll need to start programming in R, the open-source language that is free to download, and lets you adapt the source code for your own requirements. Co-written by one of the R Core Development Team, and by an established R author, this book comes with real R code that complies with the standards of the language. Unlike other introductory books on the ground-breaking R system, this book emphasizes programming, including the principles that apply to most computing languages, and techniques used to develop more complex projects. Learning the language is made easier by the frequent exercises and end-of-chapter reviews that help you progress confidently through the book. Solutions, datasets and any errata will be available from the book's web site. The many examples, all from real applications, make it particularly useful for anyone working in practical data analysis.
Algorithms and Models for Network Data and Link Analysis
by François Fouss Marco Saerens Masashi ShimboNetwork data are produced automatically by everyday interactions - social networks, power grids, and links between data sets are a few examples. Such data capture social and economic behavior in a form that can be analyzed using powerful computational tools. This book is a guide to both basic and advanced techniques and algorithms for extracting useful information from network data. The content is organized around 'tasks', grouping the algorithms needed to gather specific types of information and thus answer specific types of questions. Examples include similarity between nodes in a network, prestige or centrality of individual nodes, and dense regions or communities in a network. Algorithms are derived in detail and summarized in pseudo-code. The book is intended primarily for computer scientists, engineers, statisticians and physicists, but it is also accessible to network scientists based in the social sciences. Matlab/Octave code illustrating some of the algorithms will be available at: http://www. cambridge. org/9781107125773.
Big Crisis Data
by Carlos CastilloSocial media is an invaluable source of time-critical information during a crisis. However, emergency response and humanitarian relief organizations that would like to use this information struggle with an avalanche of social media messages that exceeds human capacity to process. Emergency managers, decision makers, and affected communities can make sense of social media through a combination of machine computation and human compassion - expressed by thousands of digital volunteers who publish, process, and summarize potentially life-saving information. This book brings together computational methods from many disciplines: natural language processing, semantic technologies, data mining, machine learning, network analysis, human-computer interaction, and information visualization, focusing on methods that are commonly used for processing social media messages under time-critical constraints, and offering more than 500 references to in-depth information.
The Inner Workings of Life
by Eberhard O. VoitLiving systems are dynamic and extremely complex and their behaviour is often hard to predict by studying their individual parts. Systems biology promises to reveal and analyse these highly connected, regulated and adaptable systems, using mathematical modelling and computational analysis. This new systems approach is already having a broad impact on biological research and has potentially far-reaching implications for our understanding of life. Written in an informal and non-technical style, this book provides an accessible introduction to systems biology. Self-contained vignettes each convey a key theme and are intended to enlighten, provoke and interest readers of different academic disciplines, but also to offer new insight to those working in the field. Using a minimum amount of jargon and no mathematics, Voit manages to convey complex ideas and give the reader a genuine sense of the excitement that systems biology brings with it, as well as the current challenges and opportunities.
Educational Psychology and the Internet
by Michael GlassmanThe first comprehensive, research-based textbook on Internet-infused education, Educational Psychology and the Internet offers students an accessible guide to important issues in the field. Michael Glassman begins with an overview of the history that traces the evolution of the Internet and its significance for education. He outlines the current state of research, clearly defining terms that students will need to discuss larger concepts, such as hypertext and cyberspace. The second part of the book explores the practical applications of this research, which range from the individual-oriented to the generalized, including massive open online courses (MOOCs), open educational resources, and augmented reality. Key issues that affect teachers and students today, such as Net Neutrality and Creative Commons and Open Source licenses, are explained in straightforward terms, and often-overlooked differences - for example, between course management systems and learning management systems, and between blogs, social networking sites, and short messaging systems - are highlighted.
Teaching Macroeconomics with Microsoft Excel®
by Humberto BarretoHumberto Barreto gives professors a simple way to teach fundamental concepts for any undergraduate macroeconomics course using Microsoft Excel® with Excel workbooks and add-ins and videos freely available on his university website. The Excel files are designed to be used by students with any textbook, and have been used many times by the author in his own teaching. Each Excel workbook contains links to short screencasts, around five to ten minutes, that show the cursor and typing as the file is manipulated with narration that walks the student through the steps needed to complete a task. The book shows professors a simple way to present macroeconomic models and incorporate data into their courses.
Practical Foundations for Programming Languages
by Robert HarperTypes are the central organizing principle of the theory of programming languages. In this innovative book, Professor Robert Harper offers a fresh perspective on the fundamentals of these languages through the use of type theory. Whereas most textbooks on the subject emphasize taxonomy, Harper instead emphasizes genetics, examining the building blocks from which all programming languages are constructed. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that define its types, and its semantics is determined by the interactions among those constructs. The soundness of a language design - the absence of ill-defined programs - follows naturally. Professor Harper's presentation is simultaneously rigorous and intuitive, relying on only elementary mathematics. The framework he outlines scales easily to a rich variety of language concepts and is directly applicable to their implementation. The result is a lucid introduction to programming theory that is both accessible and practical.
Information Politics, Protests, and Human Rights in the Digital Age
by Mahmood MonshipouriWe live in a highly complex and evolving world that requires a fuller and deeper understanding of how modern technological tools, ideas, practices, and institutions interact, and how different societies adjust themselves to emerging realities of the digital age. This book conveys such issues with a fresh perspective and in a systematic and coherent way. While many studies have explained in depth the change in the aftermath of the unrests and uprisings throughout the world, they rarely mentioned the need for constructing new human rights norms and standards. This edited collection provides a balanced conceptual framework to demonstrate not only the power of autonomous communication networks but also their limits and the increasing setbacks they encounter in different contexts.
Numerical Analysis Using R
by Graham W. GriffithsThis book presents the latest numerical solutions to initial value problems and boundary value problems described by ODEs and PDEs. The author offers practical methods that can be adapted to solve wide ranges of problems and illustrates them in the increasingly popular open source computer language R, allowing integration with more statistically based methods. The book begins with standard techniques, followed by an overview of 'high resolution' flux limiters and WENO to solve problems with solutions exhibiting high gradient phenomena. Meshless methods using radial basis functions are then discussed in the context of scattered data interpolation and the solution of PDEs on irregular grids. Three detailed case studies demonstrate how numerical methods can be used to tackle very different complex problems. With its focus on practical solutions to real-world problems, this book will be useful to students and practitioners in all areas of science and engineering, especially those using R.
Logic and Algebraic Structures in Quantum Computing
by Jennifer Chubb Ali Eskandarian Valentina HarizanovArising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. <P><P>Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.
Data Management Essentials Using SAS and JMP
by Kezik, Julie , MS and Hill, Melissa , MPH Julie Kezik Melissa Mph HillSAS programming is a creative and iterative process designed to empower you to make the most of your organization's data. This friendly guide provides you with a repertoire of essential SAS tools for data management, whether you are a new or an infrequent user. Most useful to students and programmers with little or no SAS experience, it takes a no-frills, hands-on tutorial approach to getting started with the software. You will find immediate guidance in navigating, exploring, visualizing, cleaning, formatting, and reporting on data using SAS and JMP. Step-by-step demonstrations, screenshots, handy tips, and practical exercises with solutions equip you to explore, interpret, process and summarize data independently, efficiently and effectively.
Statistical Methods for Recommender Systems
by Deepak K. Agarwal Bee-Chung ChenDesigning algorithms to recommend items such as news articles and movies to users is a challenging task in numerous web applications. The crux of the problem is to rank items based on users' responses to different items to optimize for multiple objectives. Major technical challenges are high dimensional prediction with sparse data and constructing high dimensional sequential designs to collect data for user modeling and system design. This comprehensive treatment of the statistical issues that arise in recommender systems includes detailed, in-depth discussions of current state-of-the-art methods such as adaptive sequential designs (multi-armed bandit methods), bilinear random-effects models (matrix factorization) and scalable model fitting using modern computing paradigms like MapReduce. The authors draw upon their vast experience working with such large-scale systems at Yahoo! and LinkedIn, and bridge the gap between theory and practice by illustrating complex concepts with examples from applications they are directly involved with.
Interactions with Search Systems
by Ryen W. WhiteInformation seeking is a fundamental human activity. In the modern world, it is frequently conducted through interactions with search systems. The retrieval and comprehension of information returned by these systems is a key part of decision making and action in a broad range of settings. Advances in data availability coupled with new interaction paradigms, and mobile and cloud computing capabilities, have created a broad range of new opportunities for information access and use. In this comprehensive book for professionals, researchers, and students involved in search system design and evaluation, search expert Ryen White discusses how search systems can capitalize on new capabilities and how next-generation systems must support higher order search activities such as task completion, learning, and decision making. He outlines the implications of these changes for the evolution of search evaluation, as well as challenges that extend beyond search systems in areas such as privacy and societal benefit.
Machine Learning Refined
by Jeremy Watt Reza Borhani Aggelos K. KatsaggelosProviding a unique approach to machine learning, this text contains fresh and intuitive, yet rigorous, descriptions of all fundamental concepts necessary to conduct research, build products, tinker, and play. By prioritizing geometric intuition, algorithmic thinking, and practical real world applications in disciplines including computer vision, natural language processing, economics, neuroscience, recommender systems, physics, and biology, this text provides readers with both a lucid understanding of foundational material as well as the practical tools needed to solve real-world problems. With in-depth Python and MATLAB/OCTAVE-based computational exercises and a complete treatment of cutting edge numerical optimization techniques, this is an essential resource for students and an ideal reference for researchers and practitioners working in machine learning, computer science, electrical engineering, signal processing, and numerical optimization.
Essentials of Programming in Mathematica®
by Paul WellinEssentials of Programming in Mathematica® provides an introduction suitable for readers with little or no background in the language as well as for those with some experience using programs such as C, Java, or Perl. The author, an established authority on Mathematica® programming, has written an example-driven text that covers the language from first principles, as well as including material from natural language processing, bioinformatics, graphs and networks, signal analysis, geometry, computer science, and many other applied areas. The book is appropriate for self-study or as a text for a course in programming in computational science. Readers will benefit from the author's tips, which provide insight and suggestions on small and large points. He also provides more than 350 exercises from novice through to advanced level with all of the solutions available online.
Speech and Audio Processing: A MATLAB®-based Approach
by Ian Vince McloughlinWith this comprehensive and accessible introduction to the field, you will gain all the skills and knowledge needed to work with current and future audio, speech, and hearing processing technologies. Topics covered include mobile telephony, human-computer interfacing through speech, medical applications of speech and hearing technology, electronic music, audio compression and reproduction, big data audio systems and the analysis of sounds in the environment. All of this is supported by numerous practical illustrations, exercises, and hands-on MATLAB examples on topics as diverse as psychoacoustics (including some auditory illusions), voice changers, speech compression, signal analysis and visualisation, stereo processing, low-frequency ultrasonic scanning, and machine learning techniques for big data. With its pragmatic and application driven focus, and concise explanations, this is an essential resource for anyone who wants to rapidly gain a practical understanding of speech and audio processing and technology.
Independent Politics
by Samara Klar Yanna KrupnikovThe number of independent voters in America increases each year, yet they remain misunderstood by both media and academics. Media describe independents as pivotal for electoral outcomes. Political scientists conclude that independents are merely 'undercover partisans': people who secretly hold partisan beliefs and are thus politically inconsequential. Both the pundits and the political scientists are wrong, argue the authors. They show that many Americans are becoming embarrassed of their political party. They deny to pollsters, party activists, friends, and even themselves, their true partisanship, instead choosing to go 'undercover' as independents. Independent Politics demonstrates that people intentionally mask their partisan preferences in social situations. Most importantly, breaking with decades of previous research, it argues that independents are highly politically consequential. The same motivations that lead people to identify as independent also diminish their willingness to engage in the types of political action that sustain the grassroots movements of American politics.
Fibrous materials
by Krishan K. ChawlaThis new updated edition provides an unrivaled overview of fibrous materials, their processing, microstructure, properties, and applications. The entire range of fibrous materials is discussed in depth, from natural polymeric fibers such as silk and vegetable fibers, and synthetic polymeric fibers such as aramid and polyethylene, to metallic fibers including steel, tungsten, Nb-Ti, and Nb3Sn, ceramic fibers such as alumina and silicon carbide, and carbon and glass fibers. Fundamental concepts are explained clearly and concisely along with detail on applications in areas including medicine, aerospace, optical communications, and recycling. Significant recent advances are also covered, with new information on the electrospinning of fibers, carbon nanotubes, and photonic bandgap fibers, and detail on advances made in the production and control of microstructure in high stiffness and high strength fibers. Accessibly written and unrivaled in scope, this is an ideal resource for students and researchers in materials science, physics, chemistry, and engineering. The only comprehensive introduction to the topic. Fully updated with new information on electrospun fibers, carbon nanotubes, and photonic bandgap fibers. Covers a range of applications in areas including medicine, aerospace, optical communications, and recycling.
Bioinformatics and Computational Biology in Drug Discovery and Development
by William T. LogingComputational biology drives discovery through its use of high-throughput informatics approaches. This book provides a road map of the current drug development process and how computational biology approaches play a critical role across the entire drug discovery pipeline. Through the use of previously unpublished, real-life case studies the impact of a range of computational approaches are discussed at various phases of the pipeline. Additionally, a focus section provides innovative visualisation approaches, from both the drug discovery process as well as from other fields that utilise large datasets, recognising the increasing use of such technology. Serving the needs of early career and more experienced scientists, this up-to-date reference provides an essential introduction to the process and background of drug discovery, highlighting how computational researchers can contribute to that pipeline.
Federal Trade Commission Privacy Law and Policy
by Chris Jay HoofnagleThe Federal Trade Commission, a US agency created in 1914 to police the problem of 'bigness', has evolved into the most important regulator of information privacy - and thus innovation policy - in the world. Its policies profoundly affect business practices and serve to regulate most of the consumer economy. In short, it now regulates our technological future. Despite its stature, however, the agency is often poorly understood by observers and even those who practice before it. This volume by Chris Jay Hoofnagle - an internationally recognized scholar with more than fifteen years of experience interacting with the FTC - is designed to redress this confusion by explaining how the FTC arrived at its current position of power. It will be essential reading for lawyers, legal academics, political scientists, historians and anyone else interested in understanding the FTC's privacy activities and how they fit in the context of the agency's broader consumer protection mission.