On invariant Rings of Sylow subgroups of finite classical groups

In this thesis we study the invariant rings for the Sylow p-subgroups of the nite classical groups. We have successfully constructed presentations for the invariant rings for the Sylow p-subgroups of the unitary groups GU(3; Fq2) and GU(4; Fq2 ), the symplectic group Sp(4; Fq) and the orthogonal group O+(4; Fq) with q odd. In all cases, we obtained a minimal generating set which is also a SAGBI basis. Moreover, we computed the relations among the generators and showed that the invariant ring for these groups are a complete intersection. This shows that, even though the invariant rings of the Sylow p-subgroups of the general linear group are polynomial, the same is not true for Sylow p-subgroups of general classical groups. We also constructed the generators for the invariant elds for the Sylow p-subgroups of GU(n; Fq2 ), Sp(2n; Fq), O+(2n; Fq), O-(2n + 2; Fq) and O(2n + 1; Fq), for every n and q. This is an important step in order to obtain the generators and relations for the invariant rings of all these groups.

Plane detection from monocular image sequences

AIRES, Kelson R. T. ; ARAÚJO, Hélder J. ; MEDEIROS, Adelardo A. D. . Plane Detection from Monocular Image Sequences. In: VISUALIZATION, IMAGING AND IMAGE PROCESSING, 2008, Palma de Mallorca, Spain. Proceedings..., Palma de Mallorca: VIIP, 2008

Plane Detection Using Affine Homography

AIRES, Kelson R. T.; ARAÚJO, Hélder J.; MEDEIROS, Adelardo A. D. Plane Detection Using Affine Homography. In: CONGRESSO BRASILEIRO DE AUTOMÁTICA, 2008, Juiz de Fora, MG: Anais... do CBA 2008.

Minimizing inter-genotypic competition effects to predict genetic values and selection in forestry genetic tests

The effect of competition is an important source of variation in breeding experiments. This study aimed to compare the selection of plants of open-pollinated families of Eucalyptus with and without the use of competition covariables. Genetic values were determined for each family and tree and for the traits height, diameter at breast height and timber volume in a randomized block design, resulting in the variance components, genetic parameters, selection gains, effective size and selection coincidence, with and without the use of covariables. Intergenotypic competition is an important factor of environmental variation. The use of competition covariables generally reduces the estimates of variance components and influences genetic gains in the studied traits. Intergenotypic competition biases the selection of open-pollinated eucalypt progenies, and can result in an erroneous choice of superior genotypes; the inclusion of covariables in the model reduces this influence.

The intravenous glucose tolerance and postprandial glucose tests may present different responses in the evaluation of obese dogs

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

Formação da habilidade de interpretar gráficos cartesianos em licenciandos em química segundo a teoria de P. Ya. Galperin

It has been remarkable among the Science Teaching debates the necessity that students do not learn only theories, laws and concepts, but also develop skills which allows them to act towards a critical citizenship. Therefore, some of the skills for the natural sciences learning must be taught consciously, intentionally and in a planned way, as component of a basic competence. Studies of the last twenty years have shown that students and teachers have plenty of difficulties about skills development and, among several, the skill of interpreting Cartesian graphics, essential for the comprehension of Natural Science. In that sense, the development of that type of professional knowledge during the initial education of future Chemistry teachers has become strategic, not only because they need to know how to use it, but also because they need to know how to teach it. This research has as its general objective the organization, development and study of a process of formation of the skill of interpreting Cartesian graphics as part of the teachers professional knowledge. It has been accomplished through a formative experience with six undergraduate students of the Teaching Degree Course of Chemistry of Universidade Federal do Rio Grande do Norte (UFRN Federal University of Rio Grande do Norte), in Brazil. In order to develop that skill, we have used as reference P. Ya. Galperin s Theory of the Stepwise Formation of Mental Actions and Concepts and its following qualitative indicators: action form, degree of generalization, degree of consciousness, degree of independence and degree of solidness. The research, in a qualitative approach, has prioritized as instruments of data collecting the registering of the activities of the undergraduate students, the observation, the questionnaire and the diagnosis tests. At the first moment, a teaching framework has been planned for the development of the skill of interpreting Cartesian graphics based on the presupposed conceptions and steps of Galperin s Theory. At the second moment, the referred framework has been applied and the process of the skill formation has been studied. The results have shown the possibility of develop the skill conscious about the invariant operation system, with a high degree of generalization and internalized the operational invariant in the mental plane. The students have attested the contributions at that type of formative experience. The research reveals the importance of going deeper about the teaching comprehension of the individualities tied to the process of internalization, according to Galperin s Theory, when the update of abilities as part of the teaching professional knowledge is the issue

CHARACTERIZATION of RALSTONIA SOLANACEARUM STRAINS FROM BRAZIL USING MOLECULAR METHODS and PATHOGENICITY TESTS

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

GLOBAL DYNAMICS of THE LORENZ SYSTEM WITH INVARIANT ALGEBRAIC SURFACES

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

A duplicated nitrotienyl derivative with antimycobacterial activity: synthesis, X-ray crystallography, biological and mutagenic activity tests

A duplicated nitrotienyl derivative was obtained as a by-product from the synthesis of a proposed molecular hybrid of a nitrotienyl derivative and isoniazid with an expected dual antimycobacteria mechanism. The structure was shown to be the 5,5'-dinitro-2(2,3-diaza-4-(2'-tienyl)buta-1,3-dienyl)tiophene by X-ray crystallography. The minimal inhibitory concentration (MIC) determination of this compound proved to be promising against Mycobacterium pathogenic strains such as M. avium and M. kansasei, although it had a high level of mutagenicity, as observed in mutagenic activity tests. (c) 2006 Elsevier Masson SAS. All rights reserved.

Mathematical tests about the existence and applications of PPS-wavelets in function approximation problems

Neural networks and wavelet transform have been recently seen as attractive tools for developing eficient solutions for many real world problems in function approximation. Function approximation is a very important task in environments where computation has to be based on extracting information from data samples in real world processes. So, mathematical model is a very important tool to guarantee the development of the neural network area. In this article we will introduce one series of mathematical demonstrations that guarantee the wavelets properties for the PPS functions. As application, we will show the use of PPS-wavelets in pattern recognition problems of handwritten digit through function approximation techniques.

Minimum size for the occurrence of vortex matter in a square mesoscopic superconductor

The study of superconducting samples in mesoscopic scale presented a remarkable improvement during the last years. Certainly, such interest is based on the fact that when the size of the samples is close to the order of the temperature dependent coherence length xi(T), and/or the size of the penetration depth lambda(T), there are some significant modifications on the physical properties of the superconducting state. This contribution tests the square cross-section size limit for the occurrence (or not) of vortices in mesoscopic samples of area L-2, where L varies discretely from 1 xi(0) to 8 xi(0).The time dependent Ginzburg-Landau (TDGL) equations approach is used upon taking the order parameter and the local magnetic field invariant along the z-direction. The vortex configurations at the equilibrium can be obtained from the TDGL equations for superconductivity as the system relaxes to the stationary state.The obtained results show that the limit of vortex penetration is for the square sample of size 3 xi(0) x 3 xi(0) in which only a single vortex are allowed into the sample. For smaller specimens, no vortex can be formed and the field entrance into the sample is continuous and the total flux penetration occurs at higher values of H/H-c2(0), where H-c2(T) is the upper critical field. Otherwise, for larger samples different vortices patterns can be observed depending on the sample size. (c) 2007 Elsevier B.V. All rights reserved.

Interpretation of Resistivity Piezocone Tests in a Contaminated Municipal Solid Waste Disposal Site

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

Prediction of Soil Properties from the Concepts of Energy Transfer in Dynamic Penetration Tests

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

Evaluation of geomembrane UV degradation using melt flow index and oxidative induction time tests

Many factors such as the sunlight, intensity of radiation, temperature, and moisture may influence the degradation process of geosynthetics. UV stabilizers are used especially in polyolefin geomembrane to prevent the degradation process. In these geomembranes the service lifetime is initially governed by the consumption of antioxidants. Tests like MFI and OIT are a alternative to detect the oxidative degradation in polyolefins. This article evaluates HDPE geomembrane degradation after UV exposure through the results of MFI and OIT tests. Two kinds of geomembranes were evaluated: a black and smooth (0.8, 1.0, 1.5, 2.5 mm) and a white and textured (1.0 mm). MFI test showed some levels of superficial degradation (crosslink) in HDPE geomembrane.

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies