A Procedure for the 3D Reconstruction of Biological Organs from 2D Image Sequences

In this work, a procedure is presented for the reconstruction of biological organs from image sequences obtained through CT-scan. Although commercial software, which can accomplish this task, are readily available, the procedure presented here needs only free software. The procedure has been applied to reconstruct a liver from the scan data available in literature. 3D biological organs obtained this way can be used for the finite element analysis of biological organs and this has been demonstrated by carrying out an FE analysis on the reconstructed liver.

Role of two consecutive alpha,beta-dehydrophenylalanines in peptide structure: Crystal and molecular structure of Boc-Leu-Delta Phe-Delta Phe-Ala-Phe-NHMe

An N-alpha-protected model pentapeptide containing two consecutive Delta Phe residues, Boc-Leu-Delta Phe-Delta Phe-Ala-Phe-NHMe, has been synthesized by solution methods and fully characterized. H-1-nmr studies provided evidence for the occurrence of a significant population of a conformer having three consecutive, intramolecularly II-bonded beta-bends in solution. The solid state structure has been determined by x-ray diffraction methods. The crystals grown from aqueous methanol are orthorhombic, space group P2(1)2(1)2(1),, a = 11.503(2), b = 16.554(2), c = 22.107(3) Angstrom, V = 4209(1) Angstrom,(3) and Z = 4. The x-ray data were collected on a CAD4 diffractometer using CuKalpha radiation (lambda = 1.5418 Angstrom). The structure was determined using direct methods and refined by full-matrix least-squares procedure. The R factor is 5.3%. The molecule is characterized by a right handed 3(10)-helical conformation ((phi) = -68.2 degrees (psi) = -26.3 degrees), which is made up of two consecutive type III beta-bends and one type I beta-bend. In the solid state the helical molecules are aligned head-to-tail, thus forming long rod like structures. A comparison with other peptide structures containing consecutive Delta Phe residues is also provided. The present study confirms that the -Delta Phe-Delta Phe-sequence can be accommodated in helical structures. (C) 1997 John Wiley & Sons, Inc.

Beckmann rearrangement of ketoximes on solid metaboric acid: a simple and effective procedure

When ketoximes admixed with solid metaboric acid (formed from boric acid at 100degreesC/0.1 Torr) are heated (similar to 140degreesC/7-42 h), the corresponding amides or lactams are produced in excellent yields (62-92%) via the Beckmann reaction. Aromatic aldoximes undergo both dehydration to the nitrile as well as (non-stereospecific) rearrangement under the above conditions. The absence of solvent, and the mildness and low toxicity of boric acid, characterise the present procedure. CO. 2002 Elsevier Science Ltd. All rights reserved.

Solidification Microstructure and Texture in Grain-refined Titanium alloys

In the present study, solidification microstructure and texture evolution in grain-refined Ti-6Al-4V and γ-TiAl alloys via trace boron addition are compared with their baseline counterparts. Boron addition resulted in dramatic grain refinement by almost an order of magnitude. The texture developed in these alloys is also markedly different from the baseline alloys.

Affinity-Chromatographic Procedure For The Purification Of The Enzyme From Mung-Bean (Phaseolus, Aureus) Seeds And Conformational-Changes On Its Interaction With Ortho-Phosphate

Flavokinase was purified, for the first time from a plant source [mung bean (Phaseolus aureus)] by affinity chromatography in the presence of orthophosphate and by using C-8 ATP-agarose (ATP linked through the C-8 position to beaded agarose), Cibacron Blue and riboflavin--Sepharoses. An altered substrates-saturation pattern was observed in the presence of K2HPO4. The conformational changes of the enzyme in the presence of K2HPO4 were monitored by fluorescence spectroscopy. These results highlight the regulatory nature of this enzyme.

Improvement of protein structure comparison using a structural alphabet

The three dimensional structure of a protein provides major insights into its function. Protein structure comparison has implications in functional and evolutionary studies. A structural alphabet (SA) is a library of local protein structure prototypes that can abstract every part of protein main chain conformation. Protein Blocks (PBS) is a widely used SA, composed of 16 prototypes, each representing a pentapeptide backbone conformation defined in terms of dihedral angles. Through this description, the 3D structural information can be translated into a 1D sequence of PBs. In a previous study, we have used this approach to compare protein structures encoded in terms of PBs. A classical sequence alignment procedure based on dynamic programming was used, with a dedicated PB Substitution Matrix (SM). PB-based pairwise structural alignment method gave an excellent performance, when compared to other established methods for mining. In this study, we have (i) refined the SMs and (ii) improved the Protein Block Alignment methodology (named as iPBA). The SM was normalized in regards to sequence and structural similarity. Alignment of protein structures often involves similar structural regions separated by dissimilar stretches. A dynamic programming algorithm that weighs these local similar stretches has been designed. Amino acid substitutions scores were also coupled linearly with the PB substitutions. iPBA improves (i) the mining efficiency rate by 6.8% and (ii) more than 82% of the alignments have a better quality. A higher efficiency in aligning multi-domain proteins could be also demonstrated. The quality of alignment is better than DALI and MUSTANG in 81.3% of the cases. Thus our study has resulted in an impressive improvement in the quality of protein structural alignment. (C) 2011 Elsevier Masson SAS. All rights reserved.

A unification-based decision procedure for cryptographic protocol analysis

We present a sound and complete decision procedure for the bounded process cryptographic protocol insecurity problem, based on the notion of normal proofs [2] and classical unification. We also show a result about the existence of attacks with “high” normal cuts. Our proof of correctness provides an alternate proof and new insights into the fundamental result of Rusinowitch and Turuani [9] for the same setting.

H-DBUG: A High-level Debugging Framework for Protocol Verification using Assertions

The success of an ABV IP depends highly on the associated debugging environment. An efficient debugging environment helps the user to find out the exact location of the failure. Moreover, it provides information to the user in a refined detail of abstraction and permit adequate interaction. It has also been realized that adequate visualization support helps in tracking the behavioral aspects of the Design Under Test (DUT). Currently, the debugging tools provide information in the signal level and do not provide any information about the high-level behavior of the DUT. We present a debugging framework that takes the design specification, assertions and the user intent in a simple format and provides detailed information by processing the design trace on-line, or off-line. We also present a visualization framework to ease the debugging procedure. We have experimented with industrial standard on-chip bus protocols that ensure that this utility can be incorporated successfully in the present functional verification flow.

Scale effects on buckling analysis of orthotropic nanoplates based on nonlocal two-variable refined plate theory

This article presents the buckling analysis of orthotropic nanoplates such as graphene using the two-variable refined plate theory and nonlocal small-scale effects. The two-variable refined plate theory takes account of transverse shear effects and parabolic distribution of the transverse shear strains through the thickness of the plate, hence it is unnecessary to use shear correction factors. Nonlocal governing equations of motion for the monolayer graphene are derived from the principle of virtual displacements. The closed-form solution for buckling load of a simply supported rectangular orthotropic nanoplate subjected to in-plane loading has been obtained by using the Navier's method. Numerical results obtained by the present theory are compared with first-order shear deformation theory for various shear correction factors. It has been proven that the nondimensional buckling load of the orthotropic nanoplate is always smaller than that of the isotropic nanoplate. It is also shown that small-scale effects contribute significantly to the mechanical behavior of orthotropic graphene sheets and cannot be neglected. Further, buckling load decreases with the increase of the nonlocal scale parameter value. The effects of the mode number, compression ratio and aspect ratio on the buckling load of the orthotropic nanoplate are also captured and discussed in detail. The results presented in this work may provide useful guidance for design and development of orthotropic graphene based nanodevices that make use of the buckling properties of orthotropic nanoplates.

A Refined Methodology for Durability-Based Service Life Estimation of Reinforced Concrete Structural Elements Considering Fuzzy and Random Uncertainties

A reliable method for service life estimation of the structural element is a prerequisite for service life design. A new methodology for durability-based service life estimation of reinforced concrete flexural elements with respect to chloride-induced corrosion of reinforcement is proposed. The methodology takes into consideration the fuzzy and random uncertainties associated with the variables involved in service life estimation by using a hybrid method combining the vertex method of fuzzy set theory with Monte Carlo simulation technique. It is also shown how to determine the bounds for characteristic value of failure probability from the resulting fuzzy set for failure probability with minimal computational effort. Using the methodology, the bounds for the characteristic value of failure probability for a reinforced concrete T-beam bridge girder has been determined. The service life of the structural element is determined by comparing the upper bound of characteristic value of failure probability with the target failure probability. The methodology will be useful for durability-based service life design and also for making decisions regarding in-service inspections.

A computational procedure to generate difference equations from differential equations

In this paper we have developed methods to compute maps from differential equations. We take two examples. First is the case of the harmonic oscillator and the second is the case of Duffing's equation. First we convert these equations to a canonical form. This is slightly nontrivial for the Duffing's equation. Then we show a method to extend these differential equations. In the second case, symbolic algebra needs to be used. Once the extensions are accomplished, various maps are generated. The Poincare sections are seen as a special case of such generated maps. Other applications are also discussed.

Tight co-degree condition for perfect matchings in 4-graphs

We will give a tight minimum co-degree condition for a 4-uniform hypergraph to contain a perfect matching.

Perfect Static Balance of Linkages by Addition of Springs But Not Auxiliary Bodies

A linkage of rigid bodies under gravity loads can be statically counter-balanced by adding compensating gravity loads. Similarly, gravity loads or spring loads can be counterbalanced by adding springs. In the current literature, among the techniques that add springs, some achieve perfect static balance while others achieve only approximate balance. Further, all of them add auxiliary bodies to the linkage in addition to springs. We present a perfect static balancing technique that adds only springs but not auxiliary bodies, in contrast to the existing techniques. This technique can counter-balance both gravity loads and spring loads. The technique requires that every joint that connects two bodies in the linkage be either a revolute joint or a spherical joint. Apart from this, the linkage can have any number of bodies connected in any manner. In order to achieve perfect balance, this technique requires that all the spring loads have the feature of zero-free-length, as is the case with the existing techniques. This requirement is neither impractical nor restrictive since the feature can be practically incorporated into any normal spring either by modifying the spring or by adding another spring in parallel. DOI: 10.1115/1.4006521]