Ground-Penetrating Radar (GPR) is a popular non-destructive technique for evaluating RC bridge elements as it can identify major subsurface defects within short span of time. The data interpretation the GPR profiles based on existing amplitude-based approaches not completely reliable when compared to actual condition concrete with destructive measures. An alternative image-based analysis consid...

Let $S$ be an infinite-type surface and $p\in S$. We show that the Thurston-Veech construction for pseudo-Anosov elements, adapted surfaces, produces infinitely many loxodromic elements action of $Mod(S;p)$ on loop graph $L(S;p)$ do not leave any finite-type subsurface $S'\subset S$ invariant. Moreover, in language Bavard-Walker, Thurston-Veech's weight. As a consequence Bavard Walker's work, s...

Genetic labeling of neurons with a specific response feature is an emerging technology for precise dissection of brain circuits that are functionally heterogeneous at the single-cell level. While immediate early gene mapping has been widely used for decades to identify brain regions which are activated by external stimuli, recent characterization of the promoter and enhancer elements responsibl...

Although much research has been conducted to characterize microsatellites and develop markers, the distribution of microsatellites remains ambiguous and the use of microsatellite markers in genomic studies and marker-assisted selection is limited. To identify microsatellites for cotton research, we mined 100,290, 83,160, and 56,937 microsatellites with frequencies of 41.2, 49.1, and 74.8 micros...

The paper presents a, relatively complete proof system for proving the validity of temporal properties of reactive programs. The presented proof system improves on previous temporal systems, such as [MPS3a] and [MP83b]? in that it reduces the validity of progra,m properties into pure assertional reasoning, not involving additional tempora,l rea.soning. The proof system is based on the classific...

A novel method for obtaining position resolved information simultaneously from an entire plane of a polycrystalline or amorphous sample using the diffracted radiation or fluorescence has been developed. It makes use of a microchannelplate as a collimator in front of a position sensitive detector (CCDcamera). Experiments may be performed either in transmission or in reflection geometry. In the f...

The sequences of the 5' long-terminal repeat (LTR) and adjacent leader regions of 27 full-length copia elements isolated from natural populations of Drosophila melanogaster, D. simulans, and D. mauritiana are presented. Phylogenetic analyses indicate that although D. melanogaster copia elements are distinct from those of D. simulans and D. mauritiana, the elements of these latter two species ar...

We have used the ability to induce high levels of Ty transposition to develop a method for transposon mutagenesis in Saccharomyces cerevisiae. To facilitate genetic and molecular analysis, we have constructed GAL1-promoted TyH3 or Ty917 elements that contain unique cloning sites, and marked these elements with selectable genes. These genes include the yeast HIS3 gene, and the plasmid PiAN7 cont...