5-HT1B receptor in the suprachiasmatic nucleus of the common marmoset (Callithrix jacchus)

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

CrossMDA2: Uma abordagem para minimizar o problema da fragilidade de pointcuts na evolução de sistemas orientados a aspectos

This work proposes a model based approach for pointcut management in the presence of evolution in aspect oriented systems. The proposed approach, called conceptual visions based pointcuts, is motivated by the observation of the shortcomings in traditional approaches pointcuts definition, which generally refer directly to software structure and/or behavior, thereby creating a strong coupling between pointcut definition and the base code. This coupling causes the problem known as pointcut fragility problem and hinders the evolution of aspect-oriented systems. This problem occurs when all the pointcuts of each aspect should be reviewed due to any software changes/evolution, to ensure that they remain valid even after the changes made in the software. Our approach is focused on the pointcuts definition based on a conceptual model, which has definitions of the system's structure in a more abstract level. The conceptual model consists of classifications (called conceptual views) on entities of the business model elements based on common characteristics, and relationships between these views. Thus the pointcuts definitions are created based on the conceptual model rather than directly referencing the base model. Moreover, the conceptual model contains a set of relationships that allows it to be automatically verified if the classifications in the conceptual model remain valid even after a software change. To this end, all the development using the conceptual views based pointcuts approach is supported by a conceptual framework called CrossMDA2 and a development process based on MDA, both also proposed in this work. As proof of concept, we present two versions of a case study, setting up a scenario of evolution that shows how the use of conceptual visions based pointcuts helps detecting and minimizing the pointcuts fragility. For the proposal evaluation the Goal/Question/Metric (GQM) technique is used together with metrics for efficiency analysis in the pointcuts definition

Analisando o desempenho do ClassAge: um sistema multiagentes para classificação de padrões

The use of multi-agent systems for classification tasks has been proposed in order to overcome some drawbacks of multi-classifier systems and, as a consequence, to improve performance of such systems. As a result, the NeurAge system was proposed. This system is composed by several neural agents which communicate and negotiate a common result for the testing patterns. In the NeurAge system, a negotiation method is very important to the overall performance of the system since the agents need to reach and agreement about a problem when there is a conflict among the agents. This thesis presents an extensive analysis of the NeurAge System where it is used all kind of classifiers. This systems is now named ClassAge System. It is aimed to analyze the reaction of this system to some modifications in its topology and configuration

Multicast packing problem: abordagem multiobjetivo

This work presents a algorithmic study of Multicast Packing Problem considering a multiobjective approach. The first step realized was an extensive review about the problem. This review serverd as a reference point for the definition of the multiobjective mathematical model. Then, the instances used in the experimentation process were defined, this instances were created based on the main caracteristics from literature. Since both mathematical model and the instances were definined, then several algoritms were created. The algorithms were based on the classical approaches to multiobjective optimization: NSGA2 (3 versions), SPEA2 (3 versions). In addition, the GRASP procedures were adapted to work with multiples objectives, two vesions were created. These algorithms were composed by three recombination operators(C1, C2 e C3), two operator for build solution, a mutation operator and a local search procedure. Finally, a long experimentation process was performed. This process has three stages: the first consisted of adjusting the parameters; the second was perfomed to indentify the best version for each algorithm. After, the best versions for each algorithm were compared in order to identify the best algorithm among all. The algorithms were evaluated based on quality indicators and Hypervolume Multiplicative Epsilon

Uma ferramenta de análise automatizada de técnicas de seleção de testes de regressão baseada em mineração de repositórios de software

The main goal of Regression Test (RT) is to reuse the test suite of the latest version of a software in its current version, in order to maximize the value of the tests already developed and ensure that old features continue working after the new changes. Even with reuse, it is common that not all tests need to be executed again. Because of that, it is encouraged to use Regression Tests Selection (RTS) techniques, which aims to select from all tests, only those that reveal faults, this reduces costs and makes this an interesting practice for the testing teams. Several recent research works evaluate the quality of the selections performed by RTS techniques, identifying which one presents the best results, measured by metrics such as inclusion and precision. The RTS techniques should seek in the System Under Test (SUT) for tests that reveal faults. However, because this is a problem without a viable solution, they alternatively seek for tests that reveal changes, where faults may occur. Nevertheless, these changes may modify the execution flow of the algorithm itself, leading some tests no longer exercise the same stretch. In this context, this dissertation investigates whether changes performed in a SUT would affect the quality of the selection of tests performed by an RTS, if so, which features the changes present which cause errors, leading the RTS to include or exclude tests wrongly. For this purpose, a tool was developed using the Java language to automate the measurement of inclusion and precision averages achieved by a regression test selection technique for a particular feature of change. In order to validate this tool, an empirical study was conducted to evaluate the RTS technique Pythia, based on textual differencing, on a large web information system, analyzing the feature of types of tasks performed to evolve the SUT

Modified 'Stent-Graft Sandwich' Technique for Treatment of Isolated Common Iliac Artery Aneurysm in Patient With Marfan Syndrome

Isolated iliac artery aneurysms are rare in the general population (0.03%) and represent 2% of all abdominal aneurysms, and the association with Marfan syndrome is even rarer. We report a Marfan syndrome case with an isolated common iliac artery aneurysm treated by using a modified 'stent-graft sandwich' technique, with preservation of the internal iliac artery perfusion. The modified 'stent-graft sandwich' technique involves building an appropriate proximal neck just in the common iliac artery for fittingly housing two new stent-grafts inside, both deployed simultaneously and each one going to both distal iliac arteries (internal and external).

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Trombectomia com cateter de Fogarty no tratamento da tromboflebite jugular experimental em eqüinos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

COLOR STABILITY of SEALED COMPOSITE RESIN RESTORATIVE MATERIALS AFTER ULTRAVIOLET ARTIFICIAL AGING and IMMERSION IN STAINING SOLUTIONS

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Dental Practice and Musculoskeletal Disorders Association: A Look at the Evidence

Disorders localized to the musculoskeletal system are a common problem among dental personnel. This study has the aim of surveying epidemiological studies reporting positive associations between dental practice and musculoskeletal disorders (MSKDs). The focus was to evaluate the size of reported risk increase and the extent to what alternative causal explanations were considered. Reports with significant links (p value .05) were systematically selected from 2 electronic databases. Twenty-five studies were identified. Risk measures were reported in 8 studies, and all of them presented weak associations. The impact of at least 1 competing explanations was analyzed in 32% of studies, but adjustment was considered not adequate in half of them. The evidence on dentistry as a profession with potential risk for development of MSKDs remains questionable. Further research is needed to more carefully elucidate the risk and the impact of MSKDs in this particular occupational group.

A study of a numerical solution of the steady two dimensions Navier-Stokes equations in a constricted channel problem by a compact fourth order method

We present a numerical solution for the steady 2D Navier-Stokes equations using a fourth order compact-type method. The geometry of the problem is a constricted symmetric channel, where the boundary can be varied, via a parameter, from a smooth constriction to one possessing a very sharp but smooth corner allowing us to analyse the behaviour of the errors when the solution is smooth or near singular. The set of non-linear equations is solved by the Newton method. Results have been obtained for Reynolds number up to 500. Estimates of the errors incurred have shown that the results are accurate and better than those of the corresponding second order method. (C) 2002 Elsevier B.V. All rights reserved.

Evaluation of pyraclostrobin and acibenzolar-S-methyl on common bacterial blight of snap bean

Assays were done under greenhouse conditions in order to evaluate the effect of pyraclostrobin (0.0375, 0.0750 and 0.150 mL.L-1) and acibenzolar-S-methyl (ASM) (0.025 g.L-1) in common bacterial blight on leaves of snap beans cultivar Braganca. These chemicals were sprayed at three different times: five days before; five days before + five days after; and five days after leaf inoculation with an isolate of Xanthomonas axonopodis pv. phaseoli. They were determinate the levels of polyphenoloxidase, peroxidase and total soluble proteins on inoculated and non-inoculated leaves of snap beans sprayed with pyraclostrobin (0.075 g.L-1) and ASM (0.025 g.L-1). All concentration of pyraclostrobin and ASM reduced the area under the disease progress curve (AUDPC) on leaves of snap beans, and the least AUDPC value was observed when this products were sprayed five days before + five days after inoculation. Higher levels of polyphenoloxidase, peroxidase and the total soluble proteins were observed on leaves sprayed with pyraclostrobin or ASM.

Immunity in plants and animals: common ends through different means using similar tools

A comparative approach is potentially useful for understanding the role of mammal innate immunity role in stimulating adaptive immunity as well as the relationship between these two types of immune strategies. Considerable progress has been made in the elucidation of the co-ordinated events involved in plant perception of infection and their mobilisation of defence responses. Although lacking immunoglobulin molecules, circulating cells, and phagocytic processes, plants successfully use pre-formed physical and chemical innate defences, as well as inducible adaptive immune strategies. In the present paper, we review some shared and divergent immune aspects present in both animals and plants. (C) 2002 Elsevier B.V. All rights reserved.

Dynamics in dumbbell domains II. The limiting problem

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

General soliton matrices in the Riemann-Hilbert problem for integrable nonlinear equations

We derive the soliton matrices corresponding to an arbitrary number of higher-order normal zeros for the matrix Riemann-Hilbert problem of arbitrary matrix dimension, thus giving the complete solution to the problem of higher-order solitons. Our soliton matrices explicitly give all higher-order multisoliton solutions to the nonlinear partial differential equations integrable through the matrix Riemann-Hilbert problem. We have applied these general results to the three-wave interaction system, and derived new classes of higher-order soliton and two-soliton solutions, in complement to those from our previous publication [Stud. Appl. Math. 110, 297 (2003)], where only the elementary higher-order zeros were considered. The higher-order solitons corresponding to nonelementary zeros generically describe the simultaneous breakup of a pumping wave (u(3)) into the other two components (u(1) and u(2)) and merger of u(1) and u(2) waves into the pumping u(3) wave. The two-soliton solutions corresponding to two simple zeros generically describe the breakup of the pumping u(3) wave into the u(1) and u(2) components, and the reverse process. In the nongeneric cases, these two-soliton solutions could describe the elastic interaction of the u(1) and u(2) waves, thus reproducing previous results obtained by Zakharov and Manakov [Zh. Eksp. Teor. Fiz. 69, 1654 (1975)] and Kaup [Stud. Appl. Math. 55, 9 (1976)]. (C) 2003 American Institute of Physics.