Dominique Unruh1 and Jörn Müller-Quade2 1 Saarland University 2 Karlsruhe Institute of Te hnology (KIT) Abstra t. We present the UC/ framework, a general de nition for se ure and in oer ible multi-party proto ols. Our framework allows to model arbitrary rea tive proto ol tasks (by spe ifying an ideal fun tionality) and omes with a universal omposition theorem. We show that given natural setup a...

We have investigated the expression of the dbl protooncogene in a wide variety of human tumors of different embryological derivation. We found that proto-dbl mRNA could be detected preferentially in a few neoplastic histiotypes of neuroectodermal origin. The common, normal 5-kilobase size of the proto-dbl transcript detected indicated that the proto-dbl in these tumors was not rearranged. These...

Tumour progression involves the inactivation of tumour suppressor genes and the activation of proto-oncogenes. Inactivation of both copies of a tumour suppressor gene is required for carcinogenesis, while germline deletion or inactivation of one copy results in an increase in the risk of cancer and is responsible for many of the known hereditary cancer syndromes. In contrast, activation of only...

the present article investigates the administrative structure of the pottery mound from an administrative management point of view. data obtained from excavation of the pottery mound has generated an extensive archeological databank relating to the beginning of the historical era with a focus on the emergence of management and administrative systems in the central iranian plateau. in the proto-...

I consider whether the content of a speech act is best represented by a set of possible worlds or by an ordered set containing the individual and properties the speech act is about. I argue that there is nothing in such contents that an ordered set can represent that a set of worlds cannot. In particular, both can be used to capture what is distinctive about singular propositions. But a set of ...

We introduce the family of R-based proto-Boolean rings associated with an arbitrary commutative ring R. They generalize the protoBoolean algebra devised by Brown [4] as a tool for expressing in modern language Boole’s research in The Laws of Thought. In fact the algebraic results from [4] are recaptured within the framework of proto-Boolean rings, along with other theorems. The free Boolean alg...

The first stars to form in protogalaxies must have primordial chemical composition. We refer to a protogalaxy that is forming stars of primordial composition, or very low metallicity (Z ≤ 0.01Z⊙), as “Primordial Proto–Galaxy” (PPG). PPGs contain little or no dust, and therefore their spectral energy distribution can be modelled from the rest–frame ultraviolet to the infrared without accounting ...

Sheilagh C. Ogilvie Continuity and Change / Volume 8 / Issue 02 / August 1993, pp 159 ­ 179 DOI: 10.1017/S0268416000002058, Published online: 11 November 2008 Link to this article: http://journals.cambridge.org/ abstract_S0268416000002058 How to cite this article: Sheilagh C. Ogilvie (1993). Proto­industrialization in Europe. Continuity and Change,8, pp 159­179 doi:10.1017/S0268416000002058 Req...

We present the first large-scale, corpus based verification of Dowty’s seminal theory of proto-roles. Our results demonstrate both the need for and the feasibility of a property-based annotation scheme of semantic relationships, as opposed to the currently dominant notion of categorical roles.

Modern game engines make it easy to create complex realistic environments for entertainment or for training, but scripting the behavior of agents in these environments is still a major challenge. Spatial computing languages such as Proto [1] provide a possible solution, but need to be adapted for practical scripting use. We have begun to address this problem by linking Proto with the Unity game...