0

A "linear style" sequent calculus makes it possible to explore the close structural relationships between primitive recursive programs and their inductive termination proofs, and between program transformations and their corresponding proof transformations. In this context the recursive to tail recursive transformation corresponds proof theoretically to a certain kind of cut elimination, called...

Transferring foreign genes into mushroom mediated by Agrobacterium tumefaciens is a standard technique in genetic engineering. Recombinant human insulin has been greatly used in the treatment of type I diabetes. The production of edible mushroom derived insulin should facilitate oral delivery. In this study we used the Agrobacterium tumefaciens mediated transformation method for the transfer an...

An efficient Agrobacterium-mediate transformation method was developed by employing different duration of sonication, Agrobacterium strains, type of inoculation medium and concentrations of acetosyringone in Arya cultivar of wheat. Immature embryos were used as an explant for inoculation with Agrobacterium tumefaciens harboring the recombinant pBI121 plasmid. Among the durations of sonication t...

Immature embryos as a choice tissue for genetic transformation of maize have a few limitations, such as genotype dependence, time-consuming and requiring a well-equipped greenhouse for access, at any time. In the present study, the split-seed explants were used for genetic transformation of maize, B73 line. The transformation of maize split-seed explants from the inbred line B73, for resistance...

Genetic transformation studies were carried out to standardize a protocol for Agrobacterium -mediated genetic transformation of three economically important strawberry (Fragaria x ananassa Duch) cultivars Kurdistan’, Camarosa’, and ‘Paros’. Shoot regeneration frequency 72, 65 and 30% was obtained on MS (1) basal medium supplemented with 2% glucose and 4 mg/l TDZ for Camarosa, Kurdistan and Paro...

it is well know that any three impedances or admittances connected into each other in a star form can be easily transformed to a new three impedances or admittances connected into each other in a mesh form. in this paper a generalization of this fact is established and it is shown that in an n + 1 node network which is connected in a form it is always possible to eliminate the center node and o...

we extend the notion of semigroup compactification to the class of transformation semigroups, and determine the compactifications which are universal with respect to some topological properties.

this text carries out some ideas about exact and p− exact sequences of transformationsemigroups. some theorems like the short five lemma (lemma 1.3 and lemma 2.3) are valid here as inexact sequences of r − modules.