Unified European Front: The Road towards a European Unitary Patent. EU Centre Singapore Working Paper No. 21, March 2014

For over forty years, European countries have held numerous conferences and signed multiple international agreements aimed at either creating a unitary patent which will be valid in all European countries upon issuance or establishing a specialized European court with jurisdiction over patents. This paper first outlines the need for a unitary patent in the European Union and then chronicles the measures taken to support and milestones toward the creation of a European-wide unitary patent system. The paper then discusses the few problems and pitfalls that have prevented European countries from coming to an agreement on such a patent system. Finally, the paper considers the closely related agreements of ‘Unitary Patent Package’, the challenges facing these agreements and examines if it would finally result in an EU Unitary patent system that benefits one and all.

A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

A Unified Approach to Architecture Conformance Checking

Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance

Ceramic formulation and processing design for plutonium disposition

The focus of this research programme is to develop a single phase ceramic wasteform for waste PuO2 that is unsuitable for fuel manufacture. A suite of synthetic mineral systems have been considered including titanate, zirconate, phosphate and silicate based matrices. Although a wealth of information on plutonium disposition in some of the systems exists in the literature, the data is not always directly comparable which hinders comparison between different ceramic hosts. The crux of this research has been to compile a database of information on the proposed hosts to allow impartial comparison of the relative merits of each system. © 2009 Materials Research Society.

Unified action armed forces (UNAAF) November 1959.

Includes Changes 1,3,4,6,7,8 and addendum to change 8, 1961-1964.

Joint development and value capture in Los Angeles : local policy formulation /

"DOT-I-83-23."

Alcohol Safety Action Projects evaluation of operations: data, tables of results, and formulation. Volume 4.

Mode of access: Internet.

An experiment on a unified control construct /

Bibliography: p. 34.

A code for designing optimal networks by implicit enumeration using the all-interconnection inequality formulation : (a programming manual for ILLODIE-AIF) /

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

A study of certain factors affecting computation times in designing optimal NOR networks by the implicit enumeration method using the feed-forward formulation /

Bibliography: p. 27-29.

MUMS, a modular unified microprocessor system /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

FROG (formulation of a robot organization that generalizes) : a hardwardware [sic] experiment in machine cognition /

Vita.

Unified modified divided difference implementation of Adams and BDF formulas /

"March 1980."

The handbook of feedstuffs; production, formulation, medication,

Includes bibliographies.