DNA strand breaks are among the lesions introduced by ionizing radiation but also represent intermediate steps in several DNA repair pathways. Therefore quantification of DNA strand breaks in living cells is an important endpoint in the assessment of genotoxicity. One of the available methods, the FADU assay, is thought to be very sensitive, yet is in its original, manually-operated version (Bi...

In the present work a two-component dark matter model is studied adopting the degenerate scenario in the R-parity conserving NMSSM. The gravitino LSP and the neutralino NLSP are extremely degenerate in mass, avoiding the BBN bounds and obtaining a high reheating temperature for thermal leptogenesis. In this model both gravitino (absolutely stable) and neutralino (quasi-stable) contribute to dar...

Guttman presented a model-theoretic approach to establishing security goals in the context of Strand Space theory. In his approach, a run of the Cryptographic Protocol Shapes Analyzer (cpsa) produces models that determine if a goal is satisfied. This paper presents a method for extracting a sentence that completely characterizes a run of cpsa. Logical deduction can then be used to determine if ...

Many methods of analysing security protocols have been proposed, but most such methods rely on analysing a protocol running only a finite network. Some, however—notably, data independence, the strand spaces model, and the rank functions model—can be used to prove correctness of a protocol running on an unbounded network. Roscoe and Broadfoot in [17] show how data independence techniques may be ...

Underwater vocalisations of grey seals (Halichoerus grypus) were recorded by static acoustic monitoring (SM2M, Wildlife Acoustics) in the vicinity a colony located at White Strand beach on Great Blasket Island, southwest Ireland during pre-breeding and breeding seasons. Grey seal first classified across nine different categories based aural visual characteristics spectrograms, providing an repe...

Deep sequencing of transcriptomes allows quantitative and qualitative analysis of many RNA species in a sample, with parallel comparison of expression levels, splicing variants, natural antisense transcripts, RNA editing and transcriptional start and stop sites the ideal goal. By computational modeling, we show how libraries of multiple insert sizes combined with strand-specific, paired-end (SS...

We report here an improved protocol for the preparation of full-length cDNA libraries that improves the previously reported method (Carninci, P., Kvam, K., Kitamura, A. et al. 1996, Genomics, 137, 327-336), that allows long cDNAs to be cloned more efficiently. One potential disadvantage of the original biotinylated CAP trapper protocol is the exposure of mRNA to chemical and enzymatic attacks d...

Rapid amplification of cDNA 5' ends (5'-RACE) is routinely used for the sequence analysis of the upstream noncoding regions of cellular mRNAs; however, it represents a tedious and cost-intensive procedure. By employing 5' phosphorylated gene-specific primers for first-strand cDNA synthesis, we cut short the previously established reverse ligation and amplification protocol of Mandl and coworker...

excellent mechanical properties of carbon nanotubes (cnts) make them outstanding candidate reinforcements to enhance mechanical properties of conventional composites. the glass/polyester composites are widely used in many industries and applications. improving the mechanical properties of such composites with addition of cnts can increase their applications. in this research, multi-walled carbo...