LITMIR.BIZ

Cryptography is concerned with the construction of schemes that withstand any abuse. A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it deviate from its prescribed behavior. The design of cryptographic systems must be based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed mostly in the 1980s, in works that are all co-authored by Shafi Goldwasser and/or Silvio Micali. These works have transformed cryptography from an engineering discipline, lacking sound theoretical foundations, into a scientific field possessing a well-founded theory, which influences practice as well as contributes to other areas of theoretical computer science. This book celebrates these works, which were the basis for bestowing the 2012 A.M. Turing Award upon Shafi Goldwasser and Silvio Micali. A significant portion of this book reproduces some of these works, and another portion consists of scientific perspectives by some of their former students. The highlight of the book is provided by a few chapters that allow the readers to meet Shafi and Silvio in person. These include interviews with them, their biographies and their Turing Award lectures.

Подробнее

With recent advances in natural language understanding techniques and far-field microphone arrays, natural language interfaces, such as voice assistants and chatbots, are emerging as a popular new way to interact with computers. They have made their way out of the industry research labs and into the pockets, desktops, cars and living rooms of the general public. But although such interfaces recognize bits of natural language, and even voice input, they generally lack conversational competence, or the ability to engage in natural conversation. Today’s platforms provide sophisticated tools for analyzing language and retrieving knowledge, but they fail to provide adequate support for modeling interaction. The user experience (UX) designer or software developer must figure out how a human conversation is organized, usually relying on commonsense rather than on formal knowledge. Fortunately, practitioners can rely on conversation science. This book adapts formal knowledge from the field of Conversation Analysis (CA) to the design of natural language interfaces. It outlines the Natural Conversation Framework (NCF), developed at IBM Research, a systematic framework for designing interfaces that work like natural conversation. The NCF consists of four main components: 1) an interaction model of “expandable sequences,” 2) a corresponding content format, 3) a pattern language with 100 generic UX patterns and 4) a navigation method of six basic user actions. The authors introduce UX designers to a new way of thinking about user experience design in the context of conversational interfaces, including a new vocabulary, new principles and new interaction patterns. User experience designers and graduate students in the HCI field as well as developers and conversation analysis students should find this book of interest.

Подробнее

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing – distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods. Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX – perhaps Lamport’s most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers. This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.

Подробнее

Is the Electoral College “racist” and a “scam” as Rep. Alexandria Ocasio-Cortez claims? Or was Alexander Hamilton right when he declared that “if it be not perfect, it is at least excellent”? In this Broadside, Trent England explains why we have the Electoral College, how it shapes American politics, and why preserving it is necessary to maintain our republican form of government. With an organized campaign trying to hijack the constitution’s state-by-state system in favor of a direct election, now is the time for Americans to come to the defense of the Electoral College.

Подробнее

The United States and China are locked in a “cold tech war,” and the winner will end up dominating the twenty-first century.Beijing was not considered a tech contender a decade ago. Now, some call it a leader. America is already behind in critical areas.It is no surprise how Chinese leaders made their regime a tech powerhouse. They first developed and then implemented multiyear plans and projects, adopting a determined, methodical, and disciplined approach. As a result, China’s political leaders and their army of technocrats could soon possess the technologies of tomorrow.America can still catch up. Unfortunately, Americans, focused on other matters, are not meeting the challenges China presents. A whole-of-society mobilization will be necessary for the U.S. to regain what it once had: control of cutting-edge technologies. This is how America got to the moon, and this is the key to winning this century.Americans may not like the fact that they’re once again in a Cold War–type struggle, but they will either adjust to that reality or get left behind.

Подробнее

Saving Congress from Itself proposes a single reform: eliminate all federal grants-in-aid to state and local governments. This action would reduce federal spending by over $600 billion a year and have a profound effect on how we govern ourselves. The proliferation of federal grants-in-aid programs is of recent vintage: only about 100 such grants existed before Lyndon Johnson took office, and now they number more than 1,100. Eliminating grants to the states will result in enormous savings in federal and state administrative costs; free states to set their own priorities; and improve the design and implementation of programs now subsidized by Washington by eliminating federal regulations that attend the grants. In short, it will free states and their subdivisions to resume full responsibility for all activities that fall within their competence, such as education, welfare, and highway construction and maintenance. And because members of Congress spend major portions of their time creating grants and allocating funds assigned to them (think earmarks), eliminating grants will enable Congress to devote its time to responsibilities that are uniquely national in character.

Подробнее

Poet Lenard D. Moore is known internationally for his involvement with the Haiku Society of America and is a revered North Carolina poet and founder of the Carolina African American Writers’ Collective. He edited Blair’s anthology All the Songs We Sing: Celebrating the 25th Anniversary of the Carolina African American Writers’ Collective. Blair is reissuing this collection, The Geography of Jazz, first published in 2018.

Подробнее

Подробнее

Подробнее

Подробнее