State Machines Margus Veanes and Ando Saabas 1 Microsoft Research, Redmond, WA, USA [email protected] 2 Institute of Cybernetics Tallinn University of Technology, Tallinn, Estonia

DISCLAIMER This report was produced under contract to the Organization for Economic Cooperation and Development (OECD). It is intended for use by OECD staff and participants in the Health Care Quality Indicators project. It contains preliminary data that are still subject to change, so it should not be disseminated outside the OECD without the permission of the author. Selected portions of this...

Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations of background theories such as: arithmetic, bit-vectors, arrays, and uninterpreted functions. Z3 is a new and efficient SMT Solver freely available from Microsoft Research. It is used in various software verification and analysis applications.

treatment and cure, the closest co-operation is needed between physicians of the body, psychiatrists of the soul, and those called to be dispensers of the Word of God and of His Holy Spirit. That co-operation is not yet as close and well-informed on all sides as it should be, and for that reason is not yet as effective in ministering the healing power of God to sufferers as it should be and wil...

By the early 1980s, a number of distinguished economists had amassed compelling evidence that outward-oriented trade policies were far more likely than protectionism to lead to economic growth. The evidence was contained in two multi-country research projects-one at the Organization for Economic Cooperation and Development (OECD), led by Ian Little and others, and the other at the National Bure...

In our knowledge-driven era, multiple and mutual benefits accrue from transnational research linkages. The article identifies important directions in transnational research collaborations involving U.S. universities revealed by key dimensions of 369 projects profiled on a U.S. higher-education association’s database. Project initiators, principal research fields, regional and country distributi...

The paper compares the dynamics of housing prices in fifteen OECD countries. The data reveal a remarkable degree of similarity across countries and suggest rich dynamics for the first-differenced real annual house prices, with a significant structure of autocorrelation. We estimate a highly significant first-order autocorrelation coefficient at around .45 and obtain An earlier version of the pa...

Solution growth continues to be one of the most powerful techniques for the production of single crystals for basic and applied research. It is a versatile technique that allows for the growth of congruently and incongruently melting materials with equal ease. The primary requirement for growth is that there be an exposed primary solidification surface in the appropriate equilibrium alloy phase...

This paper investigates the significance of Research and Development (R&D) spillovers through intraand international trade in intermediate goods for productivity growth in a panel of OECD industries during 1973-1994. In the model, four different sources of R&D are identified: R&D conducted in the particular industry itself, R&D conducted in the same industries in other countries, R&D conducted ...

This paper examines the extent to which country characteristics explain affiliate sales and research and development (R&D) by foreign multinational firms in a sample of 16 OECD countries. Empirical results show that multinational activity is positively related to similarities in size and per capita income between the source and host country, giving support to the model of horizontal multination...