Intraprocedural Analysis Based on Symbolic Execution for Bug Detection

Programming and Computer Software - In this paper, we overview the approaches and techniques employed by the Svace static analysis tool for intraprocedural analysis. This analysis implies the...     

Preparation of highly crystalline titanium-based ceramic microfibers from polymer precursor blend by needle-less electrospinning

The aim of the present contribution is to study the influence of the post-spinning heat - treatment of single TiO₂/PVP precursor fibers on the properties and morphology of the final titanium-based microfibers. The post-spinning treatment conditions were: calcination in air at 450–600?°C and pyrolysis in argon at 1000–1700?°C. Calcination resulted in a production of anatase-rich and pure rutile fibers. The use of an alternative sintering method, the low-temperature plasma treatment, led to the crystallization of the composite Magnéli phases/polymer fibers. As a result of the same one precursor, pyrolysis at 1000?°C, the Carbon/TiO₂ composite fibers were obtained. Rising the treatment temperature in inert atmosphere led to the formation of the titanium carbide fibers. The formation process and all the obtained products were characterized by differential scanning calorimetry accompanied with thermogravimetric analysis (DSC/TGA), scanning and transmission electron microscopy (SEM, TEM), X-ray diffraction (XRD), and image analysis techniques.     

Electrodynamics of Inhomogeneous 2D Periodic Media

Journal of Communications Technology and Electronics - A new method is proposed to represent electromagnetic field in inhomogeneous 2D periodic medium (PM) as a discrete set of amplitude vectors...     

Distribution of Magnetic Flux in a Ferromagnetic Material in the Presence of a Nonferromagnetic Gap in the Composite Circuit

Russian Journal of Nondestructive Testing - Comparative analysis of the distribution of magnetic-induction vector components over the volume of a bulk homogeneous sample of 40Kh steel has been...     

The organization of biological sequences into constrained and unconstrained parts determines fundamental properties of genotype–phenotype maps

Biological information is stored in DNA, RNA and protein sequences, which can be understood as genotypes that are translated into phenotypes. The properties of genotype–phenotype (GP) maps have been studied in great detail for RNA secondary structure. These include a highly biased distribution of genotypes per phenotype, negative correlation of genotypic robustness and evolvability, positive correlation of phenotypic robustness and evolvability, shape-space covering, and a roughly logarithmic scaling of phenotypic robustness with phenotypic frequency. More recently similar properties have been discovered in other GP maps, suggesting that they may be fundamental to biological GP maps, in general, rather than specific to the RNA secondary structure map. Here we propose that the above properties arise from the fundamental organization of biological information into ‘constrained'' and ‘unconstrained'' sequences, in the broadest possible sense. As ‘constrained'' we describe sequences that affect the phenotype more immediately, and are therefore more sensitive to mutations, such as, e.g. protein-coding DNA or the stems in RNA secondary structure. ‘Unconstrained'' sequences, on the other hand, can mutate more freely without affecting the phenotype, such as, e.g. intronic or intergenic DNA or the loops in RNA secondary structure. To test our hypothesis we consider a highly simplified GP map that has genotypes with ‘coding'' and ‘non-coding'' parts. We term this the Fibonacci GP map, as it is equivalent to the Fibonacci code in information theory. Despite its simplicity the Fibonacci GP map exhibits all the above properties of much more complex and biologically realistic GP maps. These properties are therefore likely to be fundamental to many biological GP maps.     

Measurement of Electrophysiological Signals In Vitro Using High-Performance Organic Electrochemical Transistors

Biological environments use ions in charge transport for information transmission. The properties of mixed electronic and ionic conductivity in organic materials make them ideal candidates to transduce physiological information into electronically processable signals. A device proven to be highly successful in measuring such information is the organic electrochemical transistor (OECT). Previous electrophysiological measurements performed using OECTs show superior signal-to-noise ratios than electrodes at low frequencies. Subsequent development has significantly improved critical performance parameters such as transconductance and response time. Here, interdigitated-electrode OECTs are fabricated on flexible substrates, with one such state-of-the-art device achieving a peak transconductance of 139 mS with a 138 µs response time. The devices are implemented into an array with interconnects suitable for micro-electrocorticographic application and eight architecture variations are compared. The two best-performing arrays are subject to the full electrophysiological spectrum using prerecorded signals. With frequency filtering, kHz-scale frequencies with 10 µV-scale voltages are resolved. This is supported by a novel quantification of the noise, which compares the gate voltage input and drain current output. These results demonstrate that high-performance OECTs can resolve the full electrophysiological spectrum and suggest that superior signal-to-noise ratios could be achieved in high frequency measurements of multiunit activity.     

Results of Studies on Strengthening Retaining Walls with Composite Materials

Power Technology and Engineering - The experimental results on retaining reinforced-concrete walls reinforced with anchor ties and carbon composite materials on the face side of hydraulic...