Employing the Components of the Human Development Index to Drive Resources to Educational Policies

A new form of composition of the indicators employed to generate the United Nations Human Development Index (HDI) is presented here. This form of composition is based on the assumption that random errors affect the measurement of each indicator. This assumption allows for replacing the vector of evaluations according to each indicator by vectors of probabilities of being the best or the worst according to such attribute. The probabilistic composition of such probabilities of preference according to each indicator into probabilities of being the best or the worst according to all of them generates indices that may unveil, on one hand, performances to be followed and, on the other hand, extreme conditions that an additive composition would hide. Differences between the results of application of the diverse forms of composition are examined in the case of the HDI and in the case of the districts version of the HDI employed to compare Brazilian municipalities. It is verified that the smallest correlation between the education.

Caracteres (em Java)

O professor apresenta a utilização de caracteres nas linguagens de programação Java e C++. Ilustra como utilizar e tratar conjuntos de caracteres nas linguagens de programação.

Interface com o Usuário (em Java)

O professor apresenta interfaces orientadas a objetos na linguagem de programação Java. Ilustra como e quando são utilizadas as interfaces orientadas a objetos em Java.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Solid phase microextraction as a reliable alternative to conventional extraction techniques to evaluate the pattern of hydrolytically released components in Vitis vinifera L. grapes

In present research, headspace solid-phase microextraction (HS-SPME) followed by gas chromatography–mass spectrometry (GC–qMS), was evaluated as a reliable and improved alternative to the commonly used liquid–liquid extraction (LLE) technique for the establishment of the pattern of hydrolytically released components of 7 Vitis vinifera L. grape varieties, commonly used to produce the world-famous Madeira wine. Since there is no data available on their glycosidic fractions, at a first step, two hydrolyse procedures, acid and enzymatic, were carried out using Boal grapes as matrix. Several parameters susceptible of influencing the hydrolytic process were studied. The best results, expressed as GC peak area, number of identified components and reproducibility, were obtained using ProZym M with b-glucosidase activity at 35 °C for 42 h. For the extraction of hydrolytically released components, HS-SPME technique was evaluated as a reliable and improved alternative to the conventional extraction technique, LLE (ethyl acetate). HS-SPME using DVB/CAR/PDMS as coating fiber displayed an extraction capacity two fold higher than LLE (ethyl acetate). The hydrolyzed fraction was mainly characterized by the occurrence of aliphatic and aromatic alcohols, followed by acids, esters, carbonyl compounds, terpenoids, and volatile phenols. Concerning to terpenoids its contribution to the total hydrolyzed fraction is highest for Malvasia Cândida (23%) and Malvasia Roxa (13%), and their presence according previous studies, even at low concentration, is important from a sensorial point of view (can impart floral notes to the wines), due to their low odor threshold (μg/L). According to the obtained data by principal component analysis (PCA), the sensorial properties of Madeira wines produced by Malvasia Cândida and Malvasia Roxa could be improved by hydrolysis procedure, since their hydrolyzed fraction is mainly characterized by terpenoids (e.g. linalool, geraniol) which are responsible for floral notes. Bual and Sercial grapes are characterized by aromatic alcohols (e.g. benzyl alcohol, 2-phenylethyl alcohol), so an improvement in sensorial characteristics (citrus, sweet and floral odors) of the corresponding wines, as result of hydrolytic process, is expected.

Prevalence of the metabolic syndrome and its components in Brazilian women with polycystic ovary syndrome

SOARES, Elvira Maria Mafaldo et al. Prevalence of the metabolic syndrome and its components in Brazilian women with polycystic ovary syndrome. Fertility and Sterility, v.89, n.3, p.649-655, mar. 2008

JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

Qualidade física e fisiológica de sementes da leguminosa forrageira Macrotyloma axillare cv. Java

É de interesse prático, quando se dispõe de diferentes lotes de sementes, conhecer a qualidade fisiológica intrínseca a cada um. Objetivou-se determinar a qualidade fisiológica de lotes de sementes da leguminosa forrageira tropical, Macrotyloma axillare cv. Java, com utilização de diferentes metodologias para realização dos testes germinação e vigor. Determinou-se a pureza física dos lotes, o peso de mil sementes, a germinação com e sem escarificação (TG) e o vigor (índice de velocidade de germinação (IVG), primeira contagem, envelhecimento acelerado e condutividade elétrica) de três lotes de sementes. Diferenças na qualidade fisiológica inicial de sementes escarificadas foram observadas pelo teste de germinação. Pelos resultados dos testes de primeira contagem e IVG não foi possível detectar diferenças na qualidade fisiológica das sementes; o envelhecimento acelerado das sementes escarificadas pode ser realizado a 41º C por 72 horas ou a 45º C por 48 horas; o teste de condutividade elétrica mostrou-se adequado para diferenciar os lotes, a partir de 48 horas de embebição.

Validation of the Deardorff model for estimating energy balance components for a sugarcane crop

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

Blood serum components and serum protein test of Hybro-PG broilers of different ages

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

Short communication: Principal components and factor analytic models for test-day milk yield in Brazilian Holstein cattle

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

Predicting the chemical composition of the body and the carcass of 3/4Boer x 1/4Saanen kids using body components

The determination of the chemical composition of body and carcass is important in nutritional and growth regulation studies. The purpose of this study was to develop equations to predict the chemical composition of body and carcass using chemical composition of body components. Twenty 3/4Boer x 1/4Saanen crossbred male kids, weighing from 20 to 35 kg, were used in this study. The empty body chemical composition was measured by grinding all body components and sampling for chemical analyses. The body components used to estimate body and carcass composition were: neck, fore leg, ribs, loin, hind leg, 9-11 th rib section, non-carcass components (head plus feet, organs plus blood, and hide), visceral fat, and kidney fat. The chemical composition of organs plus blood and 9-11 th rib section had the highest precision to estimate percentage of fat, protein, and water in the body (r(2) of 0.94, 0.82, and 0.90, respectively). For carcass composition, the chemical composition of ribs was the best component to predict all carcass chemical components; however, the equations to estimate the percentages of protein and ash showed a low precision (r(2) = 0.48, 0.44, respectively). The 9-11 th rib section was accurate and precise to estimate carcass fat percentage. We concluded the chemical composition of the body of 3/4Boer x 1/4Saanen crossbred male kids was highly correlated with the composition of body parts, specifically organs plus blood and 9-11 th rib section. Further studies should focus on evaluating these body parts for different breeds and genders under different production scenarios. (C) 2007 Elsevier B.V. All rights reserved.

Estimation models of variance components for farrowing interval in swine

Este trabalho teve como objetivo principal avaliar a importância da inclusão dos efeitos genético materno, comum de leitegada e de ambiente permanente no modelo de estimação de componentes de variância para a característica intervalo de parto em fêmeas suínas. Foram utilizados dados que consistiam de 1.013 observações de fêmeas Dalland (C-40), registradas em dois rebanhos. As estimativas dos componentes de variância foram realizadas pelo método da máxima verossimilhança restrita livre de derivadas. Foram testados oito modelos, que continham os efeitos fixos (grupos de contemporâneo e covariáveis) e os efeitos genético aditivo direto e residual, mas variavam quanto à inclusão dos efeitos aleatórios genético materno, ambiental comum de leitegada e ambiental permanente. O teste da razão de verossimilhança (LR) indicou a não necessidade da inclusão desses efeitos no modelo. No entanto observou-se que o efeito ambiental permanente causou mudança nas estimativas de herdabilidade, que variaram de 0,00 a 0,03. Conclui-se que os valores de herdabilidade obtidos indicam que esta característica não apresentaria ganho genético como resposta à seleção. O efeito ambiental comum de leitegada e o genético materno não apresentaram influência sobre esta característica. Já o ambiental permanente, mesmo sem ter sido significativo o seu efeito pelo LR, deve ser considerado nos modelos genéticos para essa característica, pois sua presença causou mudança nas estimativas da variância genética aditiva.