Efficient cDNA cloning by direct phenotypic correction of a mutant human cell line (HPRT-) using an Epstein-Barr virus derived cDNA expression vector.

Human cells are, in general, poor recipients of foreign DNA, which has severely hampered the cloning of genes by direct phenotypic correction of deficient human cell lines after DNA mediated gene transfer. In this communication a methodology is presented which largely circumvents this problems. The method relies on the use of a recently developed episomal Epstein-Barr-virus-derived cDNA expression vector (Belt et al. (1989) Gene 84, 407-417). The cloning of hypoxanthine phosphoribosyltransferase (HPRT) cDNA, corresponding to a low abundant mRNA in wild type cells is used as a model system. Size fractionated poly (A)+ RNA from wild type cells, which resulted in an approximately 10 fold enrichment in HPRT mRNA, was used to construct a cDNA library of 25,000 independent clones in the pECV25 vector. An HPRT deficient human cell line was transfected and subsequently selected with hygromycin B for DNA uptake. In a small scale experiment only 7000 hygromycin BR transfectants were sufficient to isolate 2 independent HATR clones which were shown to replicate episomes harbouring HPRT cDNA. The first insert had a 5' untranslated region (UTR) and a 3' UTR perfectly in agreement with published data. The second cDNA clone harboured an unusually long 5' UTR and a shorter 3' UTR due to alternative polyadenylation of the HPRT transcript which has not been previously recognized

A predicate transformer for choreographies: Computing preconditions in choreographic programming

Construction and analysis of distributed systems is difficult; choreographic programming is a deadlock-freedom-by-construction approach to simplify it. In this paper, we present a new theory of choreographic programming. It supports for the first time: construction of distributed systems that require decentralised decision making (i.e., if/while-statements with multiparty conditions); analysis of distributed systems to provide not only deadlock freedom but also functional correctness (i.e., pre/postcondition reasoning). Both contributions are enabled by a single new technique, namely a predicate transformer for choreographies

Use of specific Green's functions for solving direct problems involving a heterogeneous rigid frame porous medium slab solicited by acoustic waves

A domain integral method employing a specific Green's function (i.e., incorporating some features of the global problem of wave propagation in an inhomogeneous medium) is developed for solving direct and inverse scattering problems relative to slab-like macroscopically inhomogeneous porous obstacles. It is shown how to numerically solve such problems, involving both spatially-varying density and compressibility, by means of an iterative scheme initialized with a Born approximation. A numerical solution is obtained for a canonical problem involving a two-layer slab.Comment: submitted to Math.Meth.Appl.Sc

Partially distributed coordination with Reo and constraint automata

Algorithms and the Foundations of Software technolog

Algebraic service composition for user-centric IoT applications

The Internet of Things (IoT) requires a shift in our way of building applications, as it is aimed at providing many services to society in general. Non-developer people require increasingly complex IoT applications and support for their ever changing run-time requirements. Although service composition allows the combination of functionality into more complex behaviours, current approaches provide support for dealing with one IoT scenario at a time, as they allow the definition of only one workflow. In this paper, we present DX-MAN, an algebraic model for static service composition that allows the definition of composite services that encompass multiple workflows for run-time scenarios. We evaluate our proposal on an example in the domain of smart homes