ARPA Whitepaper

We propose a secure computation solution for blockchain networks. The correctness of computation is verifiable even under malicious majority condition using information-theoretic Message Authentication Code (MAC), and the privacy is preserved using Secret-Sharing. With state-of-the-art multiparty computation protocol and a layer2 solution, our privacy-preserving computation guarantees data security on blockchain, cryptographically, while reducing the heavy-lifting computation job to a few nodes. This breakthrough has several implications on the future of decentralized networks. First, secure computation can be used to support Private Smart Contracts, where consensus is reached without exposing the information in the public contract. Second, it enables data to be shared and used in trustless network, without disclosing the raw data during data-at-use, where data ownership and data usage is safely separated. Last but not least, computation and verification processes are separated, which can be perceived as computational sharding, this effectively makes the transaction processing speed linear to the number of participating nodes. Our objective is to deploy our secure computation network as an layer2 solution to any blockchain system. Smart Contracts\cite{smartcontract} will be used as bridge to link the blockchain and computation networks. Additionally, they will be used as verifier to ensure that outsourced computation is completed correctly. In order to achieve this, we first develop a general MPC network with advanced features, such as: 1) Secure Computation, 2) Off-chain Computation, 3) Verifiable Computation, and 4)Support dApps' needs like privacy-preserving data exchange

Understanding and profiling user requirements to support the conceptual design of an integrated land monitoring system

Acquiring and organizing knowledge and information elements can be essential not only to understand, but also to eliminate, reduce and control complexity and uncertainty. An integration of tools from different disciplines could systematically help in the construction of an agreed framework for problem formulation, above all when the situation is "new". An application was de-veloped in relation to an industrial project, in order to propose profiles of the potential users of an innovative system and of their requirements, and to for-mally develop models that can orient analysis, decision and action. Some ele-ments and results of this integrated application of "soft" and "hard" decision aid tools are here proposed as steps of an organizational learning cycle, which is a basic element of each innovation proces

Governing by internet architecture

In the past thirty years, the exponential rise in the number of Internet users around the word and the intensive use of the digital networks have brought to light crucial political issues. Internet is now the object of regulations. Namely, it is a policy domain. Yet, its own architecture represents a new regulative structure, one deeply affecting politics and everyday life. This article considers some of the main transformations of the Internet induced by privatization and militarization processes, as well as their consequences on societies and human beings.En los últimos treinta años ha crecido de manera exponencial el número de usuarios de Internet alrededor del mundo y el uso intensivo de conexiones digitales ha traído a la luz cuestiones políticas cruciales. Internet es ahora objeto de regulaciones. Es decir, es un ámbito de la política. Aún su propia arquitectura representa una nueva estructura reguladora, que afecta profundamente la política y la vida cotidiana. Este artículo considera algunas de las principales transformaciones de Internet inducida por procesos de privatización y militarización, como también sus consecuencias en las sociedades y en los seres humanos

Integrated Navigation System: Not a Sum of Its Parts

Similar to the evolutionary process for living organisms, marine navigation systems are becoming increasingly complex and sophisticated. Both by design and function, shipboard and shore-based navigation systems are no longer individual equipment components operating independently. Instead, the trend is toward integration, data fusion and synergy. One example of this are new Performance Standards being considered by IMO to achieve a “harmonized” presentation of all navigation-related information on the display of an integrated navigation system (INS). Unlike a dedicated display for ECDIS or radar, the new INS displays will be a task-oriented composite presentations that enable the mariner to configure the display for an operational situation by selecting specific chart, radar, radar plotting aids (ARPA) and AIS information that is required for the task-at-hand. This paper gives a brief overview of the trend toward the development of INS. In addition to a brief summary of IMO performance standards for navigation equipment/systems, specific mention is made about a BSH (Germany) report on the “Functional Scope and Model of INS.” A discussion is provided about the challenges of providing navigation safety information that goes beyond traditional boundaries of products and services. Currently, many agencies continue to produce individual products and services on a component basis. Hydrographic offices grapple with trying to provide multiple products and services for paper charts, raster navigational charts (RNCs) and electronic navigational charts (ENCs) while a same time, Coast Guard and Maritime Safety agencies focus on improving Aids-to-Navigation (AtoN), Vessel Traffic Services (VTS), AIS networks -- and more recently, port security. In some respects, the continued concentration on separate products and services represents an organizational reluctance to change. This in turn, results in a fragmented, sub-optimal approach to the safety-of-navigation caused by the inability to provide mariners with “seamless” information at reasonable cost. In particular, hydrographic offices must be willing to recognize that chart information can no longer be considered to be separate, individual products. When it comes to the provision and use of chart-related information for use in an INS, the focus needs to shift to what information is actually desired, how it will be provided, what other information it will be used with, and whether it is truly up-todate

Filling Knowledge Gaps in a Broad-Coverage Machine Translation System

Knowledge-based machine translation (KBMT) techniques yield high quality in domains with detailed semantic models, limited vocabulary, and controlled input grammar. Scaling up along these dimensions means acquiring large knowledge resources. It also means behaving reasonably when definitive knowledge is not yet available. This paper describes how we can fill various KBMT knowledge gaps, often using robust statistical techniques. We describe quantitative and qualitative results from JAPANGLOSS, a broad-coverage Japanese-English MT system.Comment: 7 pages, Compressed and uuencoded postscript. To appear: IJCAI-9

Steering Capital: Optimizing Financial Support for Innovation in Public Education

Examines efforts to align capital to education innovation and calls for clarity and agreement on problems, goals, and metrics; an effective R&D system; an evidence-based culture of continuous improvement; and transparent, comparable, and useful data

Supporting and Scaling Change: Lessons From the First Round of the Investing in Innovation (i3) Program

Assesses the degree to which the i3 program helped advance innovation in public education. Outlines takeaways, challenges, and recommendations for the Education Department and grantmakers, including optimizing support for different stages of innovation

How robust are distributed systems

A distributed system is made up of large numbers of components operating asynchronously from one another and hence with imcomplete and inaccurate views of one another's state. Load fluctuations are common as new tasks arrive and active tasks terminate. Jointly, these aspects make it nearly impossible to arrive at detailed predictions for a system's behavior. It is important to the successful use of distributed systems in situations in which humans cannot provide the sorts of predictable realtime responsiveness of a computer, that the system be robust. The technology of today can too easily be affected by worn programs or by seemingly trivial mechanisms that, for example, can trigger stock market disasters. Inventors of a technology have an obligation to overcome flaws that can exact a human cost. A set of principles for guiding solutions to distributed computing problems is presented