Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

Evaluation Of Reservoir Model Integration With Deterministic And Probabilistic Streamflow Forecasts

Due to the increase in water demand and hydropower energy, it is getting more important to operate hydraulic structures in an efficient manner while sustaining multiple demands. Especially, companies, governmental agencies, consultant offices require effective, practical integrated tools and decision support frameworks to operate reservoirs, cascades of run-of-river plants and related elements such as canals by merging hydrological and reservoir simulation/optimization models with various numerical weather predictions, radar and satellite data. The model performance is highly related with the streamflow forecast, related uncertainty and its consideration in the decision making. While deterministic weather predictions and its corresponding streamflow forecasts directly restrict the manager to single deterministic trajectories, probabilistic forecasts can be a key solution by including uncertainty in flow forecast scenarios for dam operation. The objective of this study is to compare deterministic and probabilistic streamflow forecasts on an earlier developed basin/reservoir model for short term reservoir management. The study is applied to the Yuvacık Reservoir and its upstream basin which is the main water supply of Kocaeli City located in the northwestern part of Turkey. The reservoir represents a typical example by its limited capacity, downstream channel restrictions and high snowmelt potential. Mesoscale Model 5 and Ensemble Prediction System data are used as a main input and the flow forecasts are done for 2012 year using HEC-HMS. Hydrometeorological rule-based reservoir simulation model is accomplished with HEC-ResSim and integrated with forecasts. Since EPS based hydrological model produce a large number of equal probable scenarios, it will indicate how uncertainty spreads in the future. Thus, it will provide risk ranges in terms of spillway discharges and reservoir level for operator when it is compared with deterministic approach. The framework is fully data driven, applicable, useful to the profession and the knowledge can be transferred to other similar reservoir systems.

Taylor principle and inflation stability in emerging market countriesw

The goal of this paper is to evaluate the validity of the Taylor principle for inflation control in 12 developing countries that use inflation targeting regimes: Brazil, Chile, Colombia, Hungary, Israel, Mexico, Peru, Philippines, Poland, South Africa, Thailand and Turkey. The test is based on a state-space model to determine when each country has followed the principle; then a threshold unit root test is used to verify if the stationarity of the deviation of the expected inflation from its target depends on compliance with the Taylor principle. The results show that such compliance leads to the stationarity of the deviation of the expected inflation from its target in all cases. Furthermore, in most cases, non-compliance with the Taylor principle leads to nonstationary deviation of the expected inflation.

Interviewing the Brazilian military: reflections on a research experience

My purpose is to present some reflections about my experience in interviewing Brazilian military officers. Despite the specificity of the Brazilian case, I trust that these observations may serve as a comparative reference for the study of military institutions in other contexts.

Immigration and memory

The town of Nova Friburgo, in Brazil, was founded in 1820 by swiss immigrants who, as often happens in the majority of migratory flows, crossed the ocean in search of better life conditions. The scope of this paper is to trail the path of a swiss immigrant called Marianne Joset Salusse and then follow on to investigate the mechanisms involved in elaborating family memory and public memory around this woman who would become a symbol of immigration to this town. Thus a series of interviews were held with her descendants, which were fundamental for the understanding of current representations and the main elements which constitute the collective memory around Marianne. Besides oral sources, we had recourse to written documents which allowed a retrieval of relevant information about her life. More than simply adding information, written sources allowed for a more profound analysis of oral accounts, unravelling as well as unveiling selective procedures peculiar to memory construction (Pollak, 1989;1992).

Estudo sobre o efeito de variáveis macro econômico e do spread de credit default swap no risco de evento de crédito soberano

Este trabalho explora a realização de default soberano em função da estrutura de spreads de CDS (Credit Default Swap). Pode-se dizer que os spreads revelam a probabilidade de default de um país. Aplicamos a metodologia proposta neste trabalho para Argentina, Coreia, Equador, Indonésia, México, Peru, Turquia, Ucrânia, Venezuela e Rússia. Nós mostramos que um modelo de um único fator seguindo um processo lognormal captura a probabilidade de default. Também mostramos que as variáveis macro econômicas inflação, desemprego e crescimento não explicam a variável dependente do estudo (probabilidade de default). Cada país reage de maneira diferente a crise econômica que a leva a não honrar seus compromissos com as dívidas contraídas.

Modelos matemáticos para estimativa do consumo máximo de oxigênio pela ventilometria de esforço em indivíduos saudáveis

The relation between metabolic demand and maximal oxygen consumption during exercise have been investigated in different areas of knowledge. In the health field, the determination of maximal oxygen consumption (VO2max) is considered a method to classify the level of physical fitness or the risk of cardiocirculatory diseases. The accuracy to obtain data provides a better evaluation of functional responses and allows a reduction in the error margin at the moment of risk classification, as well as, at the moment of determination of aerobic exercise work load. In Brasil, the use of respirometry associated to ergometric test became an opition in the cardiorespiratory evaluation. This equipment allows predictions concerning the oxyredutase process, making it possible to identify physiological responses to physical effort as the respiratory threshold. This thesis focused in the development of mathematical models developed by multiple regression validated by the stepwise method, aiming to predict the VO2max based on respiratory responses to physical effort. The sample was composed of a ramdom sample of 181 healthy individuals, men and women, that were randomized to two groups: regression group and cross validation group (GV). The voluntiars were submitted to a incremental treadmill test; objetiving to determinate of the second respiratory threshold (LVII) and the Peak VO2max. Using the método forward addition method 11 models of VO2max prediction in trendmill were developded. No significative differences were found between the VO2max meansured and the predicted by models when they were compared using ANOVA One-Way and the Post Hoc test of Turkey. We concluded that the developed mathematical models allow a prediction of the VO2max of healthy young individuals based on the LVII

Avaliação da incontinência urinária de esforço em mulheres na pós-menopausa com e sem queixa de perda urinária através da aplicação do pad-test de 1 hora

Stress urinary incontinence (SUI) is defined as "involuntary loss of urine" due to several processes that alter the ability of the bladder to hold urine properly, regarded as a social and hygienic problem that adversely affects quality of life. In postmenopausal women, IU is associated with atrophy and weakness of the pelvic floor muscles. The objective this study was investigate, using the onehour pad test, stress urinary leakage (SUI), evaluate and compare their results in postmenopausal and premenopausal women. The survey was characterized as a cross-sectional study. The study consisted of 60 postmenopausal women were divided into GIU - consisting of 34 volunteers complaining of involuntary loss of urine during stress - and GSIU - consisting of 26 volunteers without complaints of loss of urine during stress, and 15 women, during the premenopausal (GPM), and ovulatory with normal menstrual cycle. All volunteers were evaluated clinically, subjected to one-hour pad test, after the biochemical evaluation of blood and sex hormones. Statistical analysis was performed by descriptive analysis, ANOVA, Turkey´s post-test and Pearson correlation. The results showed that 100% of postmenopausal patients had involuntary loss of urine during one hour pad test (GIU: 4.0 g; GSIU: 4.5 g). GPM remained continent after an hour pad test (GPM: 0.4 g). In addition, Pearson showed a strong correlation between urine loss with time since menopause (r = 0.8, p <0.01) and body mass index - BMI (r = 0.7; p = 0.01). These data suggest that the one-hour pad test is a useful test to assess and quantify urinary leakage, including those volunteers who had no previous complaint of SUI

Morfologia e morfometria do oviduto de codornas Nothura maculosa

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

Gender-based differences in stride and limb dimensions between healthy red-wing tinamou (Rhynchotus rufescens) Temminck, 1815

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

Efeitos imediatos da laserterapia sobre o desempenho neuromuscular após fadiga muscular induzida: ensaio clínico controlado, randomizado e cego

The aim of this study was to investigate the immediate effects of laser therapy on neuromuscular performance in healthy subjects after a muscle fatigue. This is a clinical trial, controlled, randomized, blinded, attended by 80 volunteers of both genders, healthy, with ages between 18 to 28 years. Initially the volunteers performed an initial evaluation (EV1) using electromyography in the biceps muscle, associated with assessment in isokinetic dynamometry with 5 concentric contractions (60 °/s) for elbow flexion. The subjects were randomly allocated into 4 groups: G1 (control, n = 20), G2 (placebo, n = 20), G3 (pre-fatigue laser, n = 20), and G4 (post fatigue laser, n = 20). The muscular fatigue protocol had 30 concentric isokinetic contractions (120 °/s). We used a 808 nm laser, power of 100 mW, applied at the belly of the biceps muscle. After the speeches the volunteers performed a final evaluation (EV2). Test was applied to two-way ANOVA with post hoc Turkey, with a significance level of 5%. There was no significant difference in electromyographic evaluation. In dynamometric evaluation showed a drop in peak torque, peak torque normalized to body weight (p <0.001) and average power (p <0, 05) between the initial and final evaluations in control. Among the groups there was a significant difference between the control and the other groups in relation to peak torque (p <0.05), peak torque to body weight (p <0.001) and average power (p <0.05). Therefore, the low intensity laser therapy does not alter the immediate neuromuscular performance after fatigue

Spontaneous canine transmissible venereal tumor: cell morphology and influence on P-glycoprotein expression

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

Diarréia em bezerros da raça Nelore criados extensivamente: estudo clínico e etiológico

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

Infectious bronchitis virus replication in the chicken embryo related cell line

The susceptibility of the chicken embryo related (CER) cell line to infectious bronchitis virus (IBV M41) was characterized after five consecutive passages in CER cells. Virus replication was monitored by cytopathic effect observation, electron microscopy, indirect immunofluorescence, and reverse transcription polymerase chain reaction (RT-PCR). At 96 h post-infection (p.i.), the cytopathic effect was graded 75% by cell fusion, rounding up of cells and monolayer detachment, and the electron microscopy image characterized by coronavirus morphology. Cytoplasmic fluorescence was readily observed by from 24 h p.i. onwards, and at all times the respective viral RNA from IBV-infected monolayers was demonstrated by RT-PCR. Extra-cellular virus was measured by virus titration performed on chicken kidney cells and embryonated chicken eggs, and respective titres ranged from 4.0 to 6.0 log(10) EID50/ml on embryonated chicken eggs, and from 2.0 to 6.0 log(10) TCID50/ml on both CER cells and chicken kidney cells studied from 24 to 120 h p.i. These results confirmed that the M41 strain replicated well in the CER cell line.