Topological derivative-based technique for imaging thin inhomogeneities with few incident directions

Many non-iterative imaging algorithms require a large number of incident directions. Topological derivative-based imaging techniques can alleviate this problem, but lacks a theoretical background and a definite means of selecting the optimal incident directions. In this paper, we rigorously analyse the mathematical structure of a topological derivative imaging function, confirm why a small number of incident directions is sufficient, and explore the optimal configuration of these directions. To this end, we represent the topological derivative-based imaging function as an infinite series of Bessel functions of integer order of the first kind. Our analysis is supported by the results of numerical simulations.     

Localization of atrial natriuretic peptide receptors in the rat tongue and hard palate

The effect of a naturally occurring plant phenolic constituent (the acylphloroglucinol derivative, jensenone, derived from Eucalyptus jensenii) on the food intake of two folivorous marsupials, the common ringtail (Pseudocheirus peregrinus) and the common brushtail possum (Trichosurus vulpecula) was studied. When fed diets containing varying concentrations of jensenone, both species regulated their intake of jensenone so as not to exceed a ceiling intake. This ceiling was about twice as high for common ringtails as for common brushtails from northern Australia. Southern populations of common ringtails showed greatly reduced capacities to tolerate jensenone. When common brushtails were injected (0.5 mg.kg-0.75 body mass) with ondansetron (a selective antagonist of serotonin 5HT3 receptors), they ate significantly more jensenone than animals injected with physiological saline. The same pattern was observed when common ringtails were fed diets containing both jensenone and ondansetron (0.0035 mg.g-1 wet mass of diet). Ondansetron injection had no effect on food intake when the food did not contain jensenone while the addition of higher doses of ondansetron to diets of common ringtails very slightly reduced food intakes of a non-jensenone diet. When common brushtails were given 50 mg of jensenone by gastric lavage, their average subsequent intake of dietary jensenone matched the difference between the daily threshold and the dose given, although the response of individuals was highly variable. Lavage with water alone had no effect on subsequent jensenone intake compared with the pre-dose period. We interpret these results as evidence that the antifeedant effects of jensenone and related compounds are partly mediated by serotonin action on 5HT3 receptors most likely via "nausea" to condition a food aversion.     

Preparation of nanometre size oxide particles using filter expansion aerosol generator

Crystalline zinc oxide particles of nanometre size (< 20 nm) particles were produced from a zinc acetate solution by using a filter expansion aerosol generator (FEAG). The FEAG is an aerosol generator that is operated at 60 torr reactor pressure and produces droplets of around 2 m. The shape of the particles produced by the FEAG were distinctively different from those produced by the ultrasonic spray source (USS). Results from scanning electron microscopy (SEM) and X-ray diffractometry (XRD) indicated that crystalline zinc oxide particles of nanometre size were produced at 600 °C in 0.02 s residence time. Weight loss of these particles, determined by thermogravimetric analysis (TGA), was 3 wt%. Based on the morphology change as a function of the reactor temperature and solute concentration, we proposed that the nanometre particles were formed by uniform precipitation at the drying stage and decomposition followed by disintegration into nanometre particles. It was also shown that exothermic decomposition of the solute was not required for the disintegration of the primary particles in the FEAG process. This result opened up an opportunity for producing carbon-free nanometre particles from nitrate salts by using the FEAG.     

Free energy perturbation approach for the rational engineering of the antibody for human hepatitis B virus

HzKR127 is the humanized monoclonal antibody effective for the neutralization of human hepatitis B virus. By means of the free energy perturbation (FEP) calculations based on molecular dynamic (MD) simulations, we examine the mutation-induced variations in the energetic and structural features associated with the interactions between HzKR127 and its antigen. N58A, Y96A, D97A, and D97A/Y102A mutants of HzKR127 are taken in account in this study for which the experimental data for relative efficacies with respect to the wild-type antibody are available. The results of the present MD-FEP simulation studies show that in order to enhance the affinity for the antigen, the engineering of HzKR127 should be made in such a way as to promote the dynamic stability of the overall protein conformation and that of the translational motion of the antigen in the antibody-antigen complex. The relative binding free energies of the four mutant antibodies obtained from MD-FEP calculations compare pretty well with the experimental mutagenesis data with the associated squared correlation coefficient of 0.96. This indicates that MD-FEP calculations may serve as a useful computational tool for rational antibody engineering. Discussed in detail are the differences in the structural features of antibody-antigen interactions between the wild-type and the mutant antibodies that are responsible for the change in binding affinities for the antigen.     

Computational and mutagenesis studies of the streptavidin native dimer interface

Wt streptavidin forms a domain swapped tetramer consisting of two native dimers. The role of tetramerization has been studied previously and is known to contribute to biotin binding by allowing the exchange of W120 between adjacent subunits. However, the role of dimer formation in streptavidin folding and function has been largely overlooked to date, although native dimers are necessary for tetramer formation and thus for high affinity biotin binding. To understand how the side chain interactions at the dimer interface stabilize the subunit association, we studied the structural and functional consequences of introducing interfacial mutations by a combination of molecular dynamics (MD) simulation and biochemical characterization. In particular, we introduced rational mutations at the dimer interface to engineer new side chain interactions and measured the stability and function of the resulting mutants. We focused on two residues that form a "knob" and a "hole" pair, G74 and T76, since steric complementarity plays an important role at these positions. We introduced mutations that would change the polarity and side chain packing to test if the interface can be rationally redesigned. Both energy calculation and geometric parameterization were used to interpret the simulated structures and predict how the mutations affect the dimer stability. In this regard, obtaining precise energy estimates was difficult because the simulated structures have large stochastic variations and some mutants did not reach an equilibrium by the end of the simulation. In contrast, comparing the wt and mutants to one another and parameterizing the simulation using a geometric parameter, i.e. the degree of solvation of the buried interface, resulted in a testable prediction regarding which mutations would result in a stable dimer. We present experimental data (denaturation and binding measurements) to show that an intuitive parameter based on physical reasoning can be useful for characterizing simulations that are difficult to analyze quantitatively.     

A centrality analysis of the transaction relationships in Panasonic

Panasonic initiated a reform strategy called “Value Creation 21” in 2001. This strategy had a strong impact on its transaction relationships. This research covers one of the important issues in analyzing how the transaction network in Panasonic has changed during the period of “Value Creation 21.” In order to make Panasonic’s transaction relationships visible and countable, we have introduced graph theory and a measure centrality index from the viewpoints of degree, closeness, and betweenness by using data collected in 2002 and 2005. Our findings are reported here. First, the number of firms in Panasonic’s transaction network in 2005 was smaller than in 2002. Second, not only the degree, but also the closeness and betweenness, of the main firms in the Panasonic Group and their suppliers decreased a little more in 2005. Third, the number of in-degree firms declined, whereas the relative importance of Panasonic in the transaction network was more significant. Fourth, Panasonic’s affiliated firms in components & devices and the digital AVC network domain ranked higher than other firms in the transaction network. Last, its out-degree suppliers dropped more in 2005 than in 2002. With these findings, we finally concluded how Panasonic arranged its transaction relationships during the turnaround.     

Improving traversability of quadruped walking robots using body movement in 3D rough terrains

This paper presents a study on improving the traversability of a quadruped walking robot in 3D rough terrains. The key idea is to exploit body movement of the robot. The position and orientation of the robot are systematically adjusted and the possibility of finding a valid foothold for the next swing is maximized, which makes the robot have more chances to overcome the rough terrains. In addition, a foothold search algorithm that provides the valid foothold while maintaining a high traversability of the robot, is investigated and a gait selection algorithm is developed to help the robot avoid deadlock situations. To explain the algorithms, new concepts such as reachable area, stable area, potential search direction, and complementary kinematic margin are introduced, and the effectiveness of the algorithms is validated via simulations and experiments.     

Computer-aided development of a real-time program

The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to a theorem-prover based refinement tool.