Abstract. This work is a consequence of studying the (un)relatedness of the principles that allow to implicitly characterize the polynomial time functions (PTIME) under two perspectives. One perspective is predicative recursion, where we take Safe Recursion on Notation as representative. The other perspective is structural proof theory, whose representative can be Light Affine Logic (LAL). A wa...

Analyses of apolipoprotein II mRNA with chemical and enzymatic probes showed that double- and single-stranded regions were distributed uniformly along the mRNA except for a large (72 nucleotides) single-stranded region containing the translation stop codon. Secondary structure models constrained by the experimental data were made by varying the distance (along the mRNA) over which base pairing ...

The existence of torsion, as well as consideration of the Soil-Structure Interaction (SSI), increase the natural periods of the structure resulting from a subsequent decrease in the seismic demand of the system. This paper summarizes the probabilistic assessment for evaluation of collapse fragility curves in concrete moment resisting structure with different mass center eccentricities. A 12-sto...

In the mid-1960s Borevič and Faddeev initiated the study of the Galois module structure of groups of pth-power classes of cyclic extensions K/F of pth-power degree. They determined the structure of these modules in the case when F is a local field. In this paper we determine these Galois modules for all base fields F . In 1947 Šafarevič initiated the study of Galois groups of maximal pextension...

Tuned Liquid Dampers (TLD) are among passive control devices that have been used to suppress the vibration of structures in recent years. These structures must be adequately presentable as an equivalent single degree of freedom system with long fundamental period. The TLD, located at the top floors of the structure, can dissipate the external input energy into the system through the sloshing ef...

Tuned Liquid Dampers (TLD) are among passive control devices that have been used to suppress the vibration of structures in recent years. These structures must be adequately presentable as an equivalent single degree of freedom system with long fundamental period. The TLD, located at the top floors of the structure, can dissipate the external input energy into the system through the sloshing ef...

Applying renormalization group theory to evaluate the safety of overall structure, local damage probability must be obtained at first. According to the results of unit detection test and numerical simulation, the methods how to determine local damage probability was presented in the paper. For small unit, meaning the unit size is far less than the maximum primitive cell or the structure size, i...

graphite oxide constitutes carbon network with oxygen atoms both on hexagonal arrangement and the edge sites. structural and electronic properties for graphite-oxygen complexes have been explored using first-principles total-energy calculations within the local density approximation (lda). band structures and density of states for the propose carbon 3d models are reported. a finite energy gap and...

Following Zuker (1986), a saturated secondary structure for a given RNA sequence is a secondary structure such that no base pair can be added without violating the definition of secondary structure, e.g., without introducing a pseudoknot. In the Nussinov-Jacobson energy model (Nussinov and Jacobson, 1980), where the energy of a secondary structure is -1 times the number of base pairs, saturated...