Method for determining the shear stress in cylindrical systems

We develop a method for determining the elements of the pressure tensor at a radius r in a cylindrically symmetric system, analogous to the so-called method of planes used in planar systems [B. D. Todd, Denis J. Evans, and Peter J. Daivis, Phys. Rev. E 52, 1627 (1995)]. We demonstrate its application in determining the radial shear stress dependence during molecular dynamics simulations of the forced flow of methane in cylindrical silica mesopores. Such expressions are useful for the examination of constitutive relations in the context of transport in confined systems.

Recombinant expression of Munc18c in a baculovirus system and interaction with syntaxin4

Two protein families that are critical for vesicle transport are the Syntaxin and Munc18/Sec1. families of proteins. These two molecules form a high affinity complex and play an essential role in vesicle docking and fusion. Munc18c was expressed as an N-terminally His-tagged fusion protein from recombinant baculovirus in Sf9 insect cells. His-tagged Munc18c was purified to homogeneity using both cobalt-chelating affinity chromatography and gel filtration chromatography. With this simple two-step protocol, 3.5 mg of purified Munc18c was obtained from a 1 L culture. Further, the N-terminal His-tag could be removed by thrombin cleavage while the tagged protein was bound to metal affinity resin. Recombinant Munc18c produced in this way is functional, in that it forms a stable complex with the SNARE interacting partner, syntaxin4. Thus we have developed a method for producing and purifying large amounts of functional Munc18c-both tagged and detagged-from a baculovirus expression system. We have also developed a method to purify the Munc18c:syntaxin4 complex. These methods will be employed for future functional and structural studies. Crown copyright (C) 2003 Published by Elsevier Inc. All rights reserved.

Reactivity of the isolated perfused rat tail vascular bed

Isolated segments of the perfused rat tail artery display a high basal tone when compared to other isolated arteries such as the mesenteric and are suitable for the assay of vasopressor agents. However, the perfusion of this artery in the entire tail has not yet been used for functional studies. The main purpose of the present study was to identify some aspects of the vascular reactivity of the rat tail vascular bed and validate this method to measure vascular reactivity. The tail severed from the body was perfused with Krebs solution containing different Ca2+ concentrations at different flow rates. Rats were anesthetized with sodium pentobarbital (65 mg/kg) and heparinized (500 U). The tail artery was dissected near the tail insertion, cannulated and perfused with Krebs solution plus 30 µM EDTA at 36oC and 2.5 ml/min and the procedures were started after equilibration of the perfusion pressure. In the first group a dose-response curve to phenylephrine (PE) (0.5, 1, 2 and 5 µg, bolus injection) was obtained at different flow rates (1.5, 2.5 and 3.5 ml/min). The mean perfusion pressure increased with flow as well as PE vasopressor responses. In a second group the flow was changed (1.5, 2, 2.5, 3 and 3.5 ml/min) at different Ca2+ concentrations (0.62, 1.25, 2.5 and 3.75 mM) in the Krebs solution. Increasing Ca2+ concentrations did not alter the flow-pressure relationship. In the third group a similar protocol was performed but the rat tail vascular bed was perfused with Krebs solution containing PE (0.1 µg/ml). There was an enhancement of the effect of PE with increasing external Ca2+ and flow. PE vasopressor responses increased after endothelial damage with air and CHAPS, suggesting an endothelial modulation of the tone of the rat tail vascular bed. These experiments validate the perfusion of the rat tail vascular bed as a method to investigate vascular reactivity.

Adapted Gaussian basis sets for atoms from Li through Xe generated with the generator coordinate Hartree-Fock method

Utiliza-se o método coordenada geradora Hartree-Fock para gerar bases Gaussianas adaptadas para os átomos de Li (Z=3) até Xe (Z=54). Neste método, integram-se as equações de Griffin-Hill-Wheeler-Hartree-Fock através da técnica de discretização integral. Comparam-se as funções de ondas geradas neste trabalho com as funções de ondas Roothaan-Hartree-Fock de Clementi e Roetti (1974) e com outros conjuntos de bases relatados na literatura. Para os átomos estudados aqui, os erros em nossas energias totais relativos aos limites numéricos Hartree-Fock são sempre menores que 7,426 milihartree.

The influence of the dispersion method on the electrical properties of vapor-grown carbon nanofiber/epoxy composites

The influence of the dispersion of vapor-grown carbon nanofibers (VGCNF) on the electrical properties of VGCNF/ Epoxy composites has been studied. A homogenous dispersion of the VGCNF does not imply better electrical properties. In fact, it is demonstrated that the most simple of the tested dispersion methods results in higher conductivity, since the presence of well-distributed nanofiber clusters appears to be a key factor for increasing composite conductivity.

Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

Abstract. Graphical user interfaces (GUIs) make software easy to use by providing the user with visual controls. Therefore, correctness of GUI’s code is essential to the correct execution of the overall software. Models can help in the evaluation of interactive applications by allowing designers to concentrate on its more important aspects. This paper describes our approach to reverse engineer an abstract model of a user interface directly from the GUI’s legacy code. We also present results from a case study. These results are encouraging and give evidence that the goal of reverse engineering user interfaces can be met with more work on this technique.

Higher-order lazy functional slicing

Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, and corresponding tools, target either the imperative or the object oriented paradigms, where program slices are computed with respect to a variable or a program statement. Taking a complementary point of view, this paper focuses on the slicing of higher-order functional programs under a lazy evaluation strategy. A prototype of a Haskell slicer, built as proof-of-concept for these ideas, is also introduced

Identifying clones in functional programs for refactoring

Clone detection is well established for imperative programs. It works mostly on the statement level and therefore is ill-suited for func- tional programs, whose main constituents are expressions and types. In this paper we introduce clone detection for functional programs using a new intermediate program representation, dubbed Functional Control Tree. We extend clone detection to the identi cation of non-trivial func- tional program clones based on the recursion patterns from the so-called Bird-Meertens formalism

SHACC: a functional prototyper for a component calculus

Over the last decade component-based software development arose as a promising paradigm to deal with the ever increasing complexity in software design, evolution and reuse. SHACC is a prototyping tool for component-based systems in which components are modelled coinductively as generalized Mealy machines. The prototype is built as a HASKELL library endowed with a graphical user interface developed in Swing

Slicing functional programs by calculation

Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful in the areas of reverse engineering, program understanding, testing and software maintenance. Most slicing methods, usually targeting either the imperative or the object oriented paradigms, are based on some sort of graph structure representing program dependencies. Slicing techniques amount, therefore, to (sophisticated) graph transversal algorithms. This paper proposes a completely different approach to the slicing problem for functional programs. Instead of extracting program information to build an underlying dependencies’ structure, we resort to standard program calculation strategies, based on the so-called Bird- Meertens formalism. The slicing criterion is specified either as a projection or a hiding function which, once composed with the original program, leads to the identification of the intended slice. Going through a number of examples, the paper suggests this approach may be an interesting, even if not completely general alternative to slicing functional programs

Multiple centroid method to evaluate the adaptability of alfalfa genotypes

This study aimed to evaluate the efficiency of multiple centroids to study the adaptability of alfalfa genotypes (Medicago sativa L.). In this method, the genotypes are compared with ideotypes defined by the bissegmented regression model, according to the researcher's interest. Thus, genotype classification is carried out as determined by the objective of the researcher and the proposed recommendation strategy. Despite the great potential of the method, it needs to be evaluated under the biological context (with real data). In this context, we used data on the evaluation of dry matter production of 92 alfalfa cultivars, with 20 cuttings, from an experiment in randomized blocks with two repetitions carried out from November 2004 to June 2006. The multiple centroid method proved efficient for classifying alfalfa genotypes. Moreover, it showed no unambiguous indications and provided that ideotypes were defined according to the researcher's interest, facilitating data interpretation.

A high-throughput screening method for general cytotoxicity part I Chemical toxicity

Foi desenvolvido um método destinado a fazer a triagem rápida e o escalonamento da toxicidade geral exercida por xenobióticos tendo como modelo o Saccharomyces cerevisiae. Para padronizar as condições de experimentação foi estabelecida a relação entre a absorvência a 525 nm e o número de células em suspensão por mililitro de meio de cultura e calculadas uma curva padrão e respectiva equação definidora (Y=6,8219E-08X + 0,0327) Culturas de Saccharomyces cerevisiae em meio completo para leveduras (YPD - 1% de glucose 2%, de peptona 0,5% e extracto de levedura 1%) foram expostas a diferentes concentrações de nicotina e a inibição do crescimento avaliada.

An appraisal of the health planning method proposed by the Pan-American Health Organization for Latin America

A brief description of the main features of the health planning technique developed by the "Centro de Estudios del Desarrollo" (CENDES) in Venezuela, and proposed by the Pan-American Health Organization for use in Latin America, is presented. This presentation is followed by an appraisal of the planning method which includes comments both upon its positive aspects and upon its negative points. Comments are also made referring to other recent publications of the WHO/PAHO on health planning. In conclusion, the CENDES technique is considered a health planning method of great potential for use especially in underdeveloped areas, the success of its application depending upon the hability of the health planners to introduce the necessary modifications to adapt to the local circunstamces.