The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes ...
This book is designed to introduce you to writing programs with the Go programming language. You'll learn how to write useful tools and applications that can run on remote servers, or local Windows, macOS, and Linux systems for development.
The topics that it covers include how to:
- Install and set up a local Go development environment on...
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019.Reversible computation ...
Types are the central organizing principle of the theory of programming languages. 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-d...
Blazor is a new web framework that changes what is possible when building web apps with .NET. Blazor is a client-side web UI framework based on C# instead of JavaScript. With Blazor you can write your client-side logic and UI components in C#, compile them into normal .NET assemblies, and then run them directly in the browser using a new open web s...
Things fall apart, the centre cannot hold. That's why repair skills are so important! This month we're talking upcycling - the art of making beautiful new projects out of old junk.
Plus: what happens when your just-for-kicks project turns out to be something that loads of people want? We talk to Timon Skerutsch, creator of the Piunora,...
The Symfony Framework is well-known for being really flexible and is used to build micro-sites, enterprise applications that handle billions of connections and even as the basis for other frameworks. Since its release in July 2011, the community has learned a lot about what's possible and how to do things best.
These community resources - l...
This book walks through all the most important and useful Excel functionalities that will advance your career in financial services. From logical functions such as IFERROR to calculating the yield of a bond, CFI's Excel book provides you with numerous examples and key shortcuts! We hope you find this book useful in reaching your future goals....
Field programmable gate arrays (FPGAs) are integrated circuits that enable designers to program customized digital logic in the field. FPGAs have been around since the 1980s and were originally conceived to give all design teams the ability to create custom logic. In the early days, using an FPGA in your design meant you had to do a lot of programm...
The way a user might perceive and use data and the optimal way a computer system might store it are often very different. In this Database Design Succinctly, learn how to model the user's information into data in a computer database system in such a way as to allow the system to produce useful results for the end user. Joseph D. Booth will cov...
An introduction to the engineering principles of embedded systems, with a focus on modeling, design, and analysis of cyber-physical systems.
The most visible use of computers and software is processing information for human consumption. The vast majority of computers in use, however, are much less visible. They run the engine, brakes, seatbelts,...
Nuxt.js is an open-source JavaScript library based on Vue.js. Think of it as a framework for a framework - adding two significant features to Vue.js: server-side rendering; and easy Vue.js application configuration and routing through folders and files. In Nuxt.js Succinctly, long-time Succinctly author Ed Freitas will show readers how Nuxt.js simp...
Contemporary Mathematics is designed to meet the scope and sequence requirements for a liberal arts mathematics course. This resource provides stand-alone sections with a focus on showing relevance in the features as well as the examples, exercises, and exposition. Contemporary Mathematics integrates technology applications, projects, and highlight...
Learn how to leverage the BlackBerry 10 Cascades framework to create rich native applications. Learn BlackBerry 10 App Development gives you a solid foundation for creating BlackBerry 10 apps efficiently. Along the way, you will learn how to use QML and JavaScript for designing your app's UI, and C++/Qt for the application logic. No prior know...
This book begins with an algorithm - a set of IF...THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in ...
Taking the business model as point of departure, this book explores how companies and organizations can contribute to a more sustainable future by designing innovative models that are both sustainable and profitable. Based upon years of research, it draws together theoretical foundations and existing literature on the topic of sustainable business ...
Late in a career of more than sixty years, Thomas Burch, an internationally known social demographer, undertook a wide-ranging methodological critique of demography. This open access volume contains a selection of resulting papers, some previously unpublished, some published but not readily accessible [from past meetings of The International Union...
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed ...
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma...
This book analyses the interplay between governing, evaluation and knowledge with an empirical focus on Swedish higher education. It investigates the origins, logics, and mechanisms of evaluation and quality assurance reforms and their dynamic interactions with institutional, national and European policy contexts. The chapters report findings from ...
This book offers comprehensive coverage on Ordered Fuzzy Numbers, providing readers with both the basic information and the necessary expertise to use them in a variety of real-world applications. The respective chapters, written by leading researchers, discuss the main techniques and applications, together with the advantages and shortcomings of t...
PreliminaryThis book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of comp...
This book is the final compendium of case studies emanated from the 4-year COST Action IC1406 "High-Performance Modelling and Simulation for Big Data Applications" (cHiPSet). Funded by the European Commission from 2015, cHiPSet has created a sustainable reference network linking applied research in High Performance Computing (HPC) and Mod...
Describes a new plan to improve the current election system under which every voter gains and no state loses its current Electoral College benefits, which has a chance to be introduced in the form of a constitutional amendment.
Provides explanations of why the National Popular Vote plan may violate the Equal Protection Clause from the Fourteenth A...
In this book, experts on integration processes, integration policies, transnationalism, and the migration and development framework provide an academic assessment of the 2011 European Agenda for the Integration of Third-Country Nationals, which calls for integration policies in the EU to involve not only immigrants and their society of settlement, ...
This book summarizes the vast amount of research related to teaching and learning probability that has been conducted for more than 50 years in a variety of disciplines. It begins with a synthesis of the most important probability interpretations throughout history: intuitive, classical, frequentist, subjective, logical propensity and axiomatic vie...
Symbolising the motivations of our actions and efforts, it reflects something much more aspirational and contributes to our global society. This book offers novel solutions to ensure employees support a wider organizational meaning whilst guaranteeing that the company benefits from the employee's individual sense of purpose. Advocating a shift...
This open access volume is about how to research the influence of our changing media environment. Today, there is not one single medium that is the driving force of change. With the spreading of various technical communication media such as mobile phone and internet platforms, we are confronted with a media manifold of deep mediatization. But how c...
This book presents a multidisciplinary perspective on chance, with contributions from distinguished researchers in the areas of biology, cognitive neuroscience, economics, genetics, general history, law, linguistics, logic, mathematical physics, statistics, theology and philosophy. The individual chapters are bound together by a general introductio...
This book presents results relevant in the manufacturing research field, that are mainly aimed at closing the gap between the academic investigation and the industrial application, in collaboration with manufacturing companies. Several hardware and software prototypes represent the key outcome of the scientific contributions that can be grouped int...
The second volume in the SIRCA book series investigates the impact of information society initiatives by extending the boundaries of academic research into the realm of practice. Global in scope, it includes contributions and research projects from Asia, Africa and Latin America. The international scholarly community has taken a variety of approach...
Energy Efficient Servers: Blueprints for Data Center Optimization introduces engineers and IT professionals to the power management technologies and techniques used in energy efficient servers. The book includes a deep examination of different features used in processors, memory, interconnects, I/O devices, and other platform components. It outline...