This textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team merges two different views to create a unified book for students interested in learning discrete mathematics, the connections between discrete mathematics and computer science, and the mathematical foundations of computer science.Readers will learn how to formally define abstract concepts, reason about objects (such as programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook studies several well-known algorithmic problems including the path problem for graphs and finding the greatest common divisor, inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods such as propositional logic, finite state machines, counting, probability, as well as the foundations of databases such as relational calculus.

If you're a web designer or app developer interested in sophisticated page styling, improved accessibility, and less time and effort expended, this book is for you. This revised fifth edition provides a comprehensive guide to CSS implementation along with a thorough review of the latest CSS specifications. Authors Eric Meyer and Estelle Weyl show you how to improve user experience, speed development, avoid potential bugs, and add life and depth to your applications through layout, transitions and animations, borders, backgrounds, text properties, and many other tools and techniques. We read the specs so you don't have to! This guide covers: Selectors, specificity, and the cascade, including information on the new cascade layers New and old CSS values and units, including CSS variables and ways to size based on viewports Details on font technology and ways to use any available font variants Text styling, from basic decoration to changing the entire writing mode Padding, borders, outlines, and margins, now discussed in terms of the new block- and inline-direction layout paradigm used by modern browsers Colors, backgrounds, and gradients, including the conic gradients Accessible data tables Flexible box and grid layout systems, including new subgrid capabilities 2D and 3D transforms, transitions, and animation Filters, blending, clipping, and masking Media, feature, and container queries

Computational Modelling and Simulation of Aircraft and the Environment, Volume 2: Aircraft Dynamics Dominic J. Diston, Engineering Consultant This book provides a comprehensive guide to modelling and simulation from basic physical and mathematical principles, giving the reader sufficient information to be able to build computational models of aircraft for the purposes of simulation and evaluation Highly relevant to practitioners, it takes into account the multi-disciplinary nature of aerospace products and the integrated nature of the models needed in order to represent them. Volume 1- Platform Kinematics and Synthetic Environment focused on the modelling of a synthetic environment in which aircraft operate and its spatial relationship with vehicles that are situated and moving within it. This volume focuses on the modelling of aircraft and the interpretation of their flight dynamics. Key features: Includes chapters on equations of motion, fixed-wing aerodynamics, longitudinal flight and gas turbines, as well as an opening chapter that presents an overview of flight modelling and a concluding chapter that presents a number of additional topics (such as aircraft structures and embedded systems). Serves as both a student text and practitioner reference. Follows on from previous Aerospace series titles, offering a complementary view of vehicles and systems from the perspectives of mathematics, physics and simulation. This book offers a comprehensive guide for senior, graduate and postgraduate students of aerospace engineering as well as professional engineers involved in the modelling and simulation of aircraft.

This book is a collection of research papers selected for presentation at the International Conference on Smart Computational Methods in Continuum Mechanics 2021, organized by Moscow Institute of Physics and Technology and the Institute for Computer Aided Design of Russian Academy of Sciences. The work is presented in two volumes. The primary objective of the book is to report the state-of-the-art on smart computational paradigms in continuum mechanics and explore the use of artificial intelligence paradigms such as neural nets, and machine learning for improving the performance of the designed engineering systems. The book includes up-to-date smart computational methods which are used to solve problems in continuum mechanics, engineering, seismic prospecting, non-destructive testing, and so on. The main features of the book are the research papers on the application of novel smart methods including neural nets and machine learning, computational algorithms, smart software systems, and high-performance computer systems for solving complex engineering problems. The case studies pertaining to the real-world applications in the above fields are included. The book presents a collection of best research papers in English language from some of the world leaders in the field of smart system modelling and design of engineering systems.

With over 90 million monthly users and counting, Roblox is one of the most popular games on the planet! The Big Book of Roblox helps players get the most out of this dynamic sandbox game. Packed with tips, hints, and hacks, this complete, up-to-date guide covers basic strategy as well as advanced tricks and is essential reading for anyone who wants to play like a pro. Topics covered include navigation, combat, trading, and mini games—accompanied by over 100 full-color gameplay photos. Additional chapters focus on building mode, popular in-game experiences, and even a look behind the scenes. Take your creations to new levels and maximize the value of your playing time with The Big Book of Roblox!

Analyses of specific, animated films with timecodes give concrete lessons with pinpointed examples: Flee, Soul, Porco Rosso, and The Triplets of Belleville. Makes acting theory simple and straightforward for non-expert animation professionals and students. An updated online database of Ed’s previous film analyses, all in one place.

This fascinating and timely book traces the emergence and evolution of cybercrime as an increasingly intransigent threat to society. Cybercrime: Criminal Threats from Cyberspace is intended to explain two things: what cybercrime is and why the average citizen should care about it. To accomplish that task, the book offers an overview of cybercrime and an in-depth discussion of the legal and policy issues surrounding it. Enhancing her narrative with real-life stories, author Susan W. Brenner traces the rise of cybercrime from mainframe computer hacking in the 1950s to the organized, professional, and often transnational cybercrime that has become the norm in the 21st century. She explains the many different types of computer-facilitated crime, including identity theft, stalking, extortion, and the use of viruses and worms to damage computers, and outlines and analyzes the challenges cybercrime poses for law enforcement officers at the national and international levels. Finally, she considers the inherent tension between improving law enforcement's ability to pursue cybercriminals and protecting the privacy of U.S. citizens.

Highlights the pitfalls of data analysis and emphasizes the importance of using the appropriate metrics before making key decisions. Big data is often touted as the key to understanding almost every aspect of contemporary life. This critique of "information hubris" shows that even more important than data is finding the right metrics to evaluate it. The author, an expert in environmental design and city planning, examines the many ways in which we measure ourselves and our world. He dissects the metrics we apply to health, worker productivity, our children's education, the quality of our environment, the effectiveness of leaders, the dynamics of the economy, and the overall well-being of the planet. Among the areas where the wrong metrics have led to poor outcomes, he cites the fee-for-service model of health care, corporate cultures that emphasize time spent on the job while overlooking key productivity measures, overreliance on standardized testing in education to the detriment of authentic learning, and a blinkered focus on carbon emissions, which underestimates the impact of industrial damage to our natural world. He also examines various communities and systems that have achieved better outcomes by adjusting the ways in which they measure data. The best results are attained by those that have learned not only what to measure and how to measure it, but what it all means. By highlighting the pitfalls inherent in data analysis, this illuminating book reminds us that not everything that can be counted really counts.

Understand Kubernetes and other orchestration systems deeply by building your own using Go and the Docker API. In  Build an Orchestrator in Go you will learn how to: Identify the components that make up any orchestration system Schedule containers on to worker nodes Start and stop containers using the Docker API Manage a cluster of worker nodes using a simple API Work with algorithms taken from cutting-edge Google Borg research papers Demystify orchestration systems like Kubernetes and Nomad Orchestration systems like Kubernetes coordinate other software subsystems and services to create a complete organized system. Although orchestration tools have a reputation for complexity, they’re designed around few important patterns that apply across many aspects of software development.  Build an Orchestrator in Go reveals the inner workings of orchestration frameworks by guiding you as you design and implement your own using the Go SDK. As you create your own orchestration framework, you’ll improve your understanding of Kubernetes and its role in distributed system design. You’ll also build the skills required to design custom orchestration solutions for those times when an out-of-the-box solution isn’t a good fit. about the technology Orchestration systems provide the management framework for software and infrastructure that’s distributed across multiple machines and services. By managing the many individual components and containers in a large application, they ensure web apps are resilient and reliable, automatically switching between resources in response to crashes and outages. A properly designed orchestration system can seamlessly scale to handle traffic loads, and reduce time-consuming manual work for sysadmin and site reliability engineers. about the book Build an Orchestrator in Go teaches you to implement an orchestrator from scratch. You’ll discover the components that make up all orchestration systems, and use the Docker API and Go SDK to build layers of functionality from tasks, to workers, to the manager. Learn how to save on costs by maximising the usage of a cluster, or spread tasks among workers to avoid overload and downtime. Once you’ve built your working system, you’ll even implement a command line user interface to easily manage your orchestrator.

You've heard that quantum computing is going to change the world. Now you can check it out for yourself. Learn how quantum computing works, and write programs that run on the IBM Q quantum computer, one of the world's first functioning quantum computers. Learn a simple way to apply quantum mechanics to computer programming. Create algorithms to solve intractable problems for classical computers, and discover how to explore the entire problem space at once to determine the optimal solution. Get your hands on the future of computing today. Quantum computing overhauls computer science. Problems such as designing life-saving drugs and super-large logistics problems that have been difficult or impossible for classical computers to handle can now be solved in moments. Quantum computing makes it possible to explore all possible solutions simultaneously and determine those that work, instead of iterating through each possibility sequentially. Work with quantum computers directly, instead of talking about them theoretically. Work with qubits, the fundamental elements of quantum computing. Discover what makes them different from classical bits. Model complex problems with logic gates specific to quantum computing. Learn how quantum mechanics offers ways to write programs that explore all solutions simultaneously. Create quantum circuits to solve problems that classical computers struggle with. Dive into quantum optimization and cryptography. Use the IBM Q quantum computer to both simulate quantum effects, and actually run your programs on a real quantum machine. Get a head start on the technology that will drive computer science into the future. What You Need: Access to the IBM quantum computer, via any internet connection

Our most basic relationship with the world is one of technological mediation. Nowadays our available tools are digital, and increasingly what counts in economic, social, and cultural life is what can be digitally stored, distributed, replayed, augmented, and switched. Yet the digital remains very much materially configured, and though it now permeates nearly all human life it has not eclipsed all older technologies. This Handbook is grounded in an understanding that our technologically mediated condition is a condition of organization. It maps and theorizes the largely unchartered territory of media, technology, and organization studies. Written by scholars of organization and theorists of media and technology, the chapters focus on specific, and specifically mediating, objects that shape the practices, processes, and effects of organization. It is in this spirit that each chapter focuses on a specific technological object, such as the Battery, Clock, High Heels, Container, or Smartphone, asking the question, how does this object or process organize? In staying with the object the chapters remain committed to the everyday, empirical world, rather than being confined to established disciplinary concerns and theoretical developments. As the first sustained and systematic interrogation of the relation between technologies, media, and organization, this Handbook consolidates, deepens, and further develops the empirics and concepts required to make sense of the material forces of organization.

Computing Skills for Economists can be used as a core textbook for students taking an introductory course in computing for economists and also as a guide for economists who wish to develop their computing skills through self-directed study. In this book, Guy Judge focuses on the tools and resources that are particularly relevant to economists with examples of their use in economics. A web site has been set up to support this book providing information on new developments and supplementary materials. This web site can be found at http://www.wiley.co.uk/judge

"A unique book, essential to any economist's toolkit. From the level of the absolute beginner, and in a very user-friendly style, it takes the reader step by step through the entire range of computing skills essential to the study of economics. The book answers innumerable questions and saves many hours otherwise typically squandered on 'trial and error' methods of mastering software. Almost any economics student, whatever their level, will learn something new from this book." Geoff Renshaw, Lecturer in Economics, University of Warwick

"This book is impressive for the comprehensiveness and clarity of its explanations of mainly Windows applications of personal computer research tools for economists. Its accessibility to those with diverse computer literacy will raise the bar of the skills instructors can reasonable expect of their students without sacrificing valuable class time or having to prepare elaborate handouts to level the playing field. Its extensive examples will teach students a good deal of ecomonics as well as enriching their research abilities." Arnie Katz, Economics Professor Emeritus, University of Pittsburhg

"A goldmine of skills for every aspiring economist. Something for everyone." Ron Shone, Senior Lecturer in Economics, University of Stirling

The articles collected in this volume present different aspects of the use of typed feature structures in theoretical and computational linguistics. It covers a wide range of linguistics theories (CCG, Construction Grammar, HPSG, LTAG), a wide range of linguistic phenomena (aspect, concord, idioms, passive), and a wide range of applications (parsing, question answering, semantic composition).

A comprehensive and fully visual guide to Microsoft Power BI Teach Yourself VISUALLY Power BI collects all the resources you need to master the everyday use of Microsoft's powerful data visualization software and delivers them in a single, easy-to-use volume. Fully illustrated, step-by-step instructions are combined with crystal-clear screenshots that walk you through the basic and advanced functions of Microsoft Power BI. Teach Yourself VISUALLY Power BI offers the best visual learning techniques with complete source material about the interface and substance of Power BI, as well as: Stepwise guidance on working with, transforming, and processing data sources Instructions for customizing data visualizations to create informative and presentation-ready charts and graphs Full-color, two-page tutorials on the more advanced features of Power BI, including app integrations and data access with DAX The fastest, easiest way for visual learners to get a handle on Microsoft Power BI, Teach Yourself VISUALLY Power BI is a can't-miss resource, loaded with useful tips for newbies and experts alike.

Did you know the Nintendo Wii had a medical condition named after it? Or that the Sega Saturn almost had the Nintendo 64's graphics chip? Did you realise the Atari Jaguar contained five different processors? Are you aware that a fake website about beekeeping was used to promote an Xbox game? Learn about all of this and more in this unique trivia book about the history of video game consoles that gives you the complete stories in detail! These facts cover a wide range of subjects, such as which console introduced certain technology and features, esoteric hardware oddities, marketing fails and successes, stories behind key games, how certain indispensable people shaped the whole industry, development history, court cases, peculiar events, weird relationships between companies and technical explanations. Plenty of these would be obscure facts that you may not know, but even if you are familiar with them, do you know the full story? 31 video game consoles stretching from 1972 to 2017 are covered, containing more than 235 in-depth facts, numerous other pieces of trivia and over 350 images to create a single package unlike any other that gamers of all ages will find interesting! If you want to fill your head with plenty of knowledge about your favourite video game consoles to amaze your friends with, then this is for you!

Stopping Losses from Accidental and Malicious Actions Around the world, users cost organizations billions of dollars due to simple errors and malicious actions. They believe that there is some deficiency in the users. In response, organizations believe that they have to improve their awareness efforts and making more secure users. This is like saying that coalmines should get healthier canaries. The reality is that it takes a multilayered approach that acknowledges that users will inevitably make mistakes or have malicious intent, and the failure is in not planning for that. It takes a holistic approach to assessing risk combined with technical defenses and countermeasures layered with a security culture and continuous improvement. Only with this kind of defense in depth can organizations hope to prevent the worst of the cybersecurity breaches and other user-initiated losses. Using lessons from tested and proven disciplines like military kill-chain analysis, counterterrorism analysis, industrial safety programs, and more, Ira Winkler and Dr. Tracy Celaya's You CAN Stop Stupid provides a methodology to analyze potential losses and determine appropriate countermeasures to implement.  Minimize business losses associated with user failings Proactively plan to prevent and mitigate data breaches Optimize your security spending Cost justify your security and loss reduction efforts Improve your organization’s culture Business technology and security professionals will benefit from the information provided by these two well-known and influential cybersecurity speakers and experts.

This readable and engaging book will help managers and executives understand the major trends affecting digital technology so they are prepared to make the right decisions for their organisation. With case studies, and practical guidance, it’s split into short sections you can dip into at any time. 

THE SUNDAY TIMES BESTSELLER This is a self-help book like no other. Because you are not helping yourself, James Acaster is helping you. In 2019, James quit all forms of social media - covering his phone in tar and driving it to a lock-up in Rhyl, before setting up home in a castle he'd built himself called Castle Anti-Net. But when the withdrawal symptoms hit him, he realised in order to stay clean he'd have to replace everything social media gave him with three-dimensional, real-life activities. Employing the help of a mysterious, wealthy benefactor named Clancy Dellahue, and an ever-growing gang of misfits (aka the Tangfastic Crew), James found ways to replace his online friends (he joined the scouts) and spy on his exes (climbing ropes, zip lines, fake moustache) as well as anonymously bullying strangers, seeing photos of everyone's dogs, getting public figures fired, arguing with everybody about everything, and so much more. His life is amazing and yours could be too if you buy JAMES ACASTER'S GUIDE TO QUITTING SOCIAL MEDIA, BEING THE BEST YOU YOU CAN BE AND SAVING YOURSELF FROM LONELINESS VOL. 1.

Elm brings the safety and stability of functional programing to front-end development, making it one of the most popular new languages. Elm's functional nature and static typing means that run-time errors are nearly impossible, and it compiles to JavaScript for easy web deployment. This book helps you take advantage of this new language in your web site development. Learn how the Elm Architecture will help you create fast applications. Discover how to integrate Elm with JavaScript so you can update legacy applications. See how Elm tooling makes deployment quicker and easier. Functional programming offers safer applications with decreased runtime errors, but functional solutions that are type safe and easy to use have been hard to find, until the Elm language. Elm has the benefits of functional languages while compiling to JavaScript. This book provides a complete tutorial for the Elm language, starting with a simple static application that introduces Elm syntax, modules, and the virtual DOM, to exploring how to create a UI using functions. See how Elm handles the issues of state in functional languages. You'll continue to build up larger applications involving HTTP requests for communication. Integrate your Elm applications with JavaScript so you can update legacy applications or take advantage of JavaScript resources. Elm also provides built-in tooling to alleviate the tooling creep that's so common in JavaScript. This book covers Elm's deployment and testing tools that ease development confusion. Dive into advanced concepts including creating single-page applications, and creating performance improvements. Elm expert Jeremy Fairbank brings his years of web development experience to teaching how to use Elm for front-end development. Your web UIs will be faster, safer, and easier to develop with Elm and this tutorial. What You Need: You will need the latest version of Elm, 0.18, along with a browser to run the examples in this book.

This work skeptically explores the notion that the internet will soon obviate any need for traditional print-based academic libraries. It makes a case for the library's staying power in the face of technological advancements (television, microfilm, and CD-ROM's were all once predicted as the contemporary library's heir-apparent), and devotes individual chapters to the pitfalls and prevarications of popular search engines, e-books, and the mass digitization of traditional print material.

An incisive history of the controversial Google Books project and the ongoing quest for a universal digital library Libraries have long talked about providing comprehensive access to information for everyone. But when Google announced in 2004 that it planned to digitize books to make the world's knowledge accessible to all, questions were raised about the roles and responsibilities of libraries, the rights of authors and publishers, and whether a powerful corporation should be the conveyor of such a fundamental public good. Along Came Google traces the history of Google's book digitization project and its implications for us today. Deanna Marcum and Roger Schonfeld draw on in-depth interviews with those who both embraced and resisted Google's plans, from librarians and technologists to university leaders, tech executives, and the heads of leading publishing houses. They look at earlier digital initiatives to provide open access to knowledge, and describe how Google founders Sergey Brin and Larry Page made the case for a universal digital library and drew on their company's considerable financial resources to make it a reality. Marcum and Schonfeld examine how librarians and scholars organized a legal response to Google, and reveal the missed opportunities when a settlement with the tech giant failed. Along Came Google sheds light on the transformational effects of the Google Books project on scholarship and discusses how we can continue to think imaginatively and collaboratively about expanding the digital availability of knowledge.

Digital games have become an increasingly pervasive aspect of everyday life as well as an embattled cultural phenomenon in the twenty-first century. As new media technologies diffuse around the world and as the depth and complexity of gaming networks increase, scholars are becoming increasingly savvy in their approach to digital games. While aesthetic and psychological approaches to the study of digital games have garnered the most attention in the past, scholars have only recently begun to study the important social and cultural aspects of digital games. This study sketches some of the various trajectories of digital games in modern Western societies, looking first at the growth and persistence of the moral panic that continues to accompany massive public interest in digital games. The book then continues with what it deems a new phase of games research exemplified by systematic examination of specific aspects of digital games and gaming. Section one includes four chapters that collectively consider politics and the negotiation of power in game worlds. Section two details the ideological webs within which games are produced and consumed. Specifically, this important section offers a critical cultural analysis of the hegemony that exists within games and its influence upon players' personal ideologies. To conclude this analysis, Section three examines game design features that relate to players' self-characterization and social development within digital game worlds. Section four explores the important relationship between the producers and consumers of digital games, especially insomuch as this relationship is giving rise to a community of novices and professionals who will together determine the future of gaming and - to a degree - popular culture.

In-depth guide to diffusion models and their impact on design, with insight on how this novel artificial intelligence technology may disrupt the industry Diffusions in Architecture: Artificial Intelligence and Image Generators delves into the impact of Diffusion AI algorithms and generative image models on architecture design and aesthetics. The book presents an in-depth analysis of how these new technologies are revolutionizing the field of architecture. The architects presented in the book focus on the application of specific AI techniques and tools used in generative design, such as Diffusion models, Dall-E2, Stable Diffusion, and MidJourney. It discusses how these techniques can generate synthetic images that are both realistic and imaginative, creating new possibilities for architectural design and aesthetics. This comprehensive overview of the impact of Diffusion AI algorithms and generative image models on the field of architecture shows how they are changing the way architects approach their work. With a foreword by Lev Manovich—artist, writer and one of the world's most influential digital culture theorists. Sharing the work and insights of a team of designers and theorists from a range of backgrounds, offering disciplinary depth, and covering the full impact of these tools and models on architecture, Diffusions in Architecture includes information on: Fresh perspectives on design and aesthetics, with designs, images, and commentary from 22 leading architects, theorists, and designers The potential of prompt engineering and text-to-image models applicable to a broad interdisciplinary audience Whether image generators, or AI in general, will be an aid for human design, or potentially displace humans from the market Fundamentals of a larger debate in the architectural discourse (and practice) on the use of image generators Collecting the different ideas that have emerged in the field, Diffusions in Architecture provides architects, designers, concept artists, and theorists with an overview of this cornucopia of architectural imaginations produced in a common effort between humans and artificial intelligence.

Solve common application design and usability issues with flair! Design for Developers introduces the essential design and UX techniques to help you create good user experiences, iterate smoothly on front-end features, and collaborate effectively with designer colleagues. Author Stephanie Stimac shares the unique insights she's learned as a designer for the Microsoft Developer Experiences team. This one-of-a-kind book provides a developer-centric approach to the essential design fundamentals of modern web applications. Key features include: Use colour, typography, and layout to create a hierarchy on a web page Apply colour palettes consistently in a user interface Choose the correct typefaces and fonts Conduct user research to validate design decisions Quickly plan a website's layout and structure Ideal for web developers familiar with HTML, CSS, and JavaScript basics, you will learn how to craft a polished visual design with just colour, space, and typeface and put all your new skills into practice to design a website from scratch. About the technology Having good design sense will make you a better web developer. This practical guide teaches you essential design and UX principles so you can speak the language of design and make more informed decisions about how you build your apps. You will also get up to speed with the design workflow and learn how to integrate the design process effectively into the development lifecycle.

"Nonprofit Essentials: Managing Technology is a comprehensive work. Suitable for any size organization, the book is distinguished by its focus on 'the human factor' along with volumes of technology information. It should prove to be an invaluable resource for administrators, volunteers, and trustees who must ensure their organization's effective use of technology."
--Richard F. Hobson, President Hobson Renaissance Solutions LLC