991 resultados para OGC SOS specification


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recent empirical works on the within-sector impact of inward investments on domestic firms’ productivity have found rather robust evidence of no (or even negative) effects. We suggest that, among other reasons, a specification error might explain some of these results. A more general specification, which includes the usual one as a special case, is proposed. Using data on Italian manufacturing firms in 1992–2000, we find positive externalities only once we allow for the more flexible specification.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Innovative, low carbon technologies are already available for use in the construction of buildings, but the impact of their specification on construction projects is unclear. This exploratory research identifies issues which arise following the specification of BIPV in non-residential construction projects. Rather than treating the inclusion of a new technology as a technical problem, the research explores the issue from a socio-technical perspective to understand the accommodations which the project team makes and their effect on the building and the technology. The paper is part of a larger research project which uses a Social Construction of Technology Approach (SCOT) to explore the accommodations made to working practices and design when Building Integrated PhotoVoltaic (BIPV) technology is introduced. The approach explores how the requirements of the technology from different groups of actors (Relevant Social Groups or RSG's) give rise to problems and create solutions. As such it rejects the notion of a rational linear view of innovation diffusion; instead it suggests that the variety and composition of the Relevant Social Groups set the agenda for problem solving and solutions as the project progresses. The research explores the experiences of three people who have extensive histories of involvement with BIPV in construction, looks at how SCOT can inform our understanding of the issues involved and identifies themes and issues in the specification of BIPV on construction projects. A key finding concerns the alignment of inflection points at which interviewees have found themselves changing from one RSG to another as new problems and solutions are identified. The points at which they change RSG often occurred at points which mirror conventional construction categories (in terms of project specification, tender, design and construction).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The SOS regulon is a paradigm of bacterial responses to DNA damage. A wide variety of bacterial species possess homologs of lex,4 and recA, the central players in the regulation of the SOS circuit. Nevertheless, the genes actually regulated by the SOS have been determined only experimentally in a few bacterial species. In this work, we describe 37 genes regulated in a LexA-dependent manner in the alphaproteobacterium Caulobacter crescentus. In agreement with previous results, we have found that the direct repeat GTTCN(7)GTTC is the SOS operator of C. crescentus, which was confirmed by site-directed mutagenesis studies of the imuA promoter. Several potential promoter regions containing the SOS operator were identified in the genome, and the expression of the corresponding genes was analyzed for both the wild type and the lex,4 strain, demonstrating that the vast majority of these genes are indeed SOS regulated. Interestingly, many of these genes encode proteins with unknown functions, revealing the potential of this approach for the discovery of novel genes involved in cellular responses to DNA damage in prokaryotes, and illustrating the diversity of SOS-regulated genes among different bacterial species.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La novela El beso de la mujer araña del escritor argentino Manuel Puig es una novela que trata dedos presos en una cárcel bonaerense durante la dictadura militar argentina. Esta tesina se centrará enla identidad femenina de Molina. El objetivo de esta tesina es examinar la celebración de lafemineidad de Molina, y su construcción de una identidad femenina. Esta identidad se conectarácon la idea de la identidad femenina como socialmente construida, opuesto a la noción de génerocomo algo innato. Es decir, la identidad femenina de Molina y sus ideas de lo femeninocorresponden a la idea de la identidad femenina como socialmente construida. Apoyándonos enteoría feminista y teoría queer, estableceremos la conexión que existe entre la identidad femeninacomo la ve Molina, y la identidad femenina como construcción social.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Relevância:

20.00% 20.00%

Publicador: