In Inductive Logic Programming (ILP), several techniques have been introduced to improve the efficiency of query execution. One such technique is query pack execution. A set of queries with a common prefix, as it is generated by the refinement operator of a typical ILP system, can be executed faster after it is converted into a tree structure called a query pack. On the other hand, query transf...

We have developed a significantly improved method for the electroporation of plasmid DNA into Staphylococcus aureus. The highest transformation efficiency achieved with this procedure was 4.0 x 10(8) transformants per microgram of plasmid pSK265 DNA. This represents a 530-fold improvement over the previously reported optimum efficiency of 7.5 x 10(5) transformants per microgram of plasmid DNA a...

The multiplicity of formalisms and corresponding verification systems makes the transformation useful for interoperations among them. We have proposed an approach to the transformation of state machines from a syntax-constrained class of equational theories into rewrite theories, which can be verified by Maude’s model checking facilities. However, the efficiency of model checking generated rewr...

Marchantia polymorpha L. has been established as a model liverwort species for understanding plant evolution, and several genetic transformation technologies have been developed. Recently, we described a simplified Agrobacteriummediated genetic transformation method termed AgarTrap (Agar-utilized Transformation with Pouring Solutions) that uses sporelings (S-AgarTrap) or gemmae/gemmalings (G-Ag...

In this paper, a new automatic scheme to register retinal images is presented and is currently tested in a clinical environment. The scheme considers the suitability and efficiency of different image transformation models and function optimization techniques, following an initial preprocessing stage. Three different transformation models -Affine, Bilinear and Projectiveas well as two global opt...

Modeling and model transformations tools are maturing and are being used in larger and more complex projects. The advantage of a modeling environment and its transformation tools cannot be easily exploited by non-expert users as many subtle intricacies determine the efficiency of transformation languages and their tools. We introduce transformation use case examples that highlight such language...

We systematically investigated the efficiency of Aspergillus nidulans transformation using protoplasts prepared from different stages of conidiospore germination and young mycelium. Using standard integrative plasmids, increased transformation yields were obtained with protoplasts isolated from a specific stage coincident with germ tube emergence. This increase ranged, on the average, from two-...

The in vivo chemical linkage of Haemophilus parainfluenzae deoxyribonucleic acid (DNA) with the H. influenzae genome has been found to occur at a much higher level than is suggested by the low efficiency of the heterospecific transformation of an antibiotic resistance marker. This linkage, about 60% of the level with homospecific DNA, was found to involve alkali-stable bonding. The amount of ho...