The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Effectiveness of a primary care-based intervention to reduce sitting time in overweight and obese patients (SEDESTACTIV): a randomized controlled trial; rationale and study design

Background: There is growing evidence suggesting that prolonged sitting has negative effects on people's weight, chronic diseases and mortality. Interventions to reduce sedentary time can be an effective strategy to increase daily energy expenditure. The purpose of this study is to evaluate the effectiveness of a six-month primary care intervention to reduce daily of sitting time in overweight and mild obese sedentary patients. Method/Design: The study is a randomized controlled trial (RCT). Professionals from thirteen primary health care centers (PHC) will randomly invite to participate mild obese or overweight patients of both gender, aged between 25 and 65 years old, who spend 6 hours at least daily sitting. A total of 232 subjects will be randomly allocated to an intervention (IG) and control group (CG) (116 individuals each group). In addition, 50 subjects with fibromyalgia will be included. Primary outcome is: (1) sitting time using the activPAL device and the Marshall questionnaire. The following parameters will be also assessed: (2) sitting time in work place (Occupational Sitting and Physical Activity Questionnaire), (3) health-related quality of life (EQ-5D), (4) evolution of stage of change (Prochaska and DiClemente's Stages of Change Model), (5) physical inactivity (catalan version of Brief Physical Activity Assessment Tool), (6) number of steps walked (pedometer and activPAL), (7) control based on analysis (triglycerides, total cholesterol, HDL, LDL, glycemia and, glycated haemoglobin in diabetic patients) and (8) blood pressure and anthropometric variables. All parameters will be assessed pre and post intervention and there will be a follow up three, six and twelve months after the intervention. A descriptive analysis of all variables and a multivariate analysis to assess differences among groups will be undertaken. Multivariate analysis will be carried out to assess time changes of dependent variables. All the analysis will be done under the intention to treat principle. Discussion: If the SEDESTACTIV intervention shows its effectiveness in reducing sitting time, health professionals would have a low-cost intervention tool for sedentary overweight and obese patients management.

Spectroscopie de luminescence à température et pression variables pour des complexes des lanthanides et de l'or

Ce travail est axé vers la compréhension détaillée des propriétés de luminescence de composés de certains métaux lourds. La première partie de ce mémoire décrit la caractérisation spectroscopique d'un radical de type nitronyle nitroxyde, 2-(2-pyridinyl)-4,4,5,5-tétraméthyl-4,5-dihydro-1H-imidazolyl-1-oxyl-3-oxyde, abrégé (NIT2-Py), et de ses complexes avec les cations Tb(III), [Tb(hfac)3NIT2-Py], et Y(III), [Y(hfac)3NIT2-Py]. La variation de la température affecte les spectres de luminescence qui montrent de la structure vibronique résolue. Les maxima de ces transitions vibroniques se rapprochent au fur et à mesure que la température augmente. Ces variations des maxima en fonction de la température ne correspondent pas à des variations de fréquences vibrationnelles et sont de l'ordre de 200 cm-1 entre 80 K et 240 K. La variation de la température n'a pas d'influence significative sur la structure moléculaire, comme atteste la variation mineure des maxima des spectres Raman entre 80 K et 300 K. La comparaison des spectres expérimentaux à des spectres calculés montre que ces variations peuvent être reproduites par l'utilisation d'une combinaison de fréquences vibrationnelles. Le paramètre dont la variation est très significative est la résolution du spectre de luminescence, représentée par la largeur à mi-hauteur des transitions vibroniques qui forment le spectre de luminescence. La deuxième partie de ce mémoire décrit les propriétés de luminescence d'une série de complexes d’or(I). Elles sont comparées aux changements structuraux à pression et température variable. Les interactions aurophiles ont une grande influence sur la luminescence. La variation de la température et de la pression est une approche efficace pour varier la luminescence. Les effets observés dans les spectres d'émission de ces complexes dépendent des changements de structure induits par variation de la température et de la pression. Ces petites variations structurales mènent à des changements importants, à titre d'exemple à un déplacement du maximum de la bande de luminescence de 60 cm-1/ kbar vers les faibles énergies pour un des complexes de l'or(I) étudiés au cours de ce projet.

Velocity-dependent KAM islands

We revisit the non-dissipative time-dependent annular billiard and we consider the chaotic dynamics in two planes of conjugate variables in order to describe the behavior of the growth, or saturation, of the mean velocity of an ensemble of particles. We observed that the changes in the 4-d phase space occur without changing any parameter. They occur depending on where the initial conditions start. The emerging KAM islands interfere in the behavior of the particle dynamics especially in the Fermi acceleration mechanism. We show that Fermi acceleration can be suppressed, without dissipation, even considering the non-dissipative energy context. (C) 2011 Published by Elsevier Ltd.

Temperature-dependent vortex matter in a superconducting mesoscopic circular sector

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

Velocity-dependent KAM islands

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

Higher screen time is associated with overweight, poor dietary habits and physical inactivity in Brazilian adolescents, mainly among girls

To analyse the associations between high screen time and overweight, poor dietary habits and physical activity in adolescents according to sex. The study comprised 515 boys and 716 girls aged 14-17 years from Londrina, Brazil. Nutritional status (normal weight or overweight/obese) was assessed by calculating the body mass index. Eating habits and time spent in physical activity were reported using a questionnaire. The measurement of screen time considered the time spent watching television, using a computer and playing video games during a normal week. Associations between high screen time and dependent variables (nutritional status, eating habits and physical activity levels) were assessed by binary logistic regression, adjusted for sociodemographic and lifestyle variables. Most adolescents (93.8% of boys and 87.2% of girls) spent more than 2 hours per day in screen-time activities. After adjustments, an increasing trend in the prevalence of overweight and physical inactivity with increasing time spent on screen activities was observed for both sexes. Screen times of >4 hours/day compared with <2 hours/day were associated with physical inactivity, low consumption of vegetables and high consumption of sweets only in girls and the consumption of soft drinks in both sexes. The frequency of overweight and physical inactivity increased with increasing screen time in a trending manner and independently of the main confounders. The relationship between high screen time and poor eating habits was particularly relevant for adolescent girls.

The Simon effect and its time courses: an investigation

The objective of the current thesis is to investigate the temporal dynamics (i.e., time courses) of the Simon effect, both from a theoretical and experimental point of view, for a better understanding of whether a) one or more process are responsible for the Simon effect and b) how this/these mechanism/s differently influence performance. In the first theoretical (i.e., “Theoretical Overview”) part, I examined in detail the process and justification for analyzing the temporal dynamics of the Simon effect and the assumptions that underlie interpretation of the results which have been obtained in the existing literature so far. In the second part (“Experimental Investigations”), though, I experimentally investigated several issues which the existing literature left unsolved, in order to get further evidence in favor or in contrast with the mainstream models which are currently used to account for the different Simon effect time courses. Some points about the experiments are worth mentioning: First, all the experiments were conducted in the laboratory, facing participants with stimuli presented on a PC screen and then recording their responses. Both stimuli presentation and response collection was controlled by the E-Prime software. The dependent variables of interest were always behavioral measures of performance, such as velocity and accuracy. Second, the most part of my experiments had been conducted at the Communication Sciences Department (University of Bologna), under Prof. Nicoletti’s supervision. The remaining part, though, had been conducted at the Psychological Sciences Department of Purdue University (West Lafayette, Indiana, USA), where I collaborated for one year as a visiting student with Prof. Proctor and his team. Third, my experimental pool was entirely composed by healthy and young students, since the cognitive functioning of elderly people was not the target of my research.

A Multilevel Model with Time Series Components for the Analysis of Tribal Art Prices

In the present work we perform an econometric analysis of the Tribal art market. To this aim, we use a unique and original database that includes information on Tribal art market auctions worldwide from 1998 to 2011. In Literature, art prices are modelled through the hedonic regression model, a classic fixed-effect model. The main drawback of the hedonic approach is the large number of parameters, since, in general, art data include many categorical variables. In this work, we propose a multilevel model for the analysis of Tribal art prices that takes into account the influence of time on artwork prices. In fact, it is natural to assume that time exerts an influence over the price dynamics in various ways. Nevertheless, since the set of objects change at every auction date, we do not have repeated measurements of the same items over time. Hence, the dataset does not constitute a proper panel; rather, it has a two-level structure in that items, level-1 units, are grouped in time points, level-2 units. The main theoretical contribution is the extension of classical multilevel models to cope with the case described above. In particular, we introduce a model with time dependent random effects at the second level. We propose a novel specification of the model, derive the maximum likelihood estimators and implement them through the E-M algorithm. We test the finite sample properties of the estimators and the validity of the own-written R-code by means of a simulation study. Finally, we show that the new model improves considerably the fit of the Tribal art data with respect to both the hedonic regression model and the classic multilevel model.

Time to renal disease and end-stage renal disease in PROFILE: a multiethnic lupus cohort.

BACKGROUND: Renal involvement is a serious manifestation of systemic lupus erythematosus (SLE); it may portend a poor prognosis as it may lead to end-stage renal disease (ESRD). The purpose of this study was to determine the factors predicting the development of renal involvement and its progression to ESRD in a multi-ethnic SLE cohort (PROFILE). METHODS AND FINDINGS: PROFILE includes SLE patients from five different United States institutions. We examined at baseline the socioeconomic-demographic, clinical, and genetic variables associated with the development of renal involvement and its progression to ESRD by univariable and multivariable Cox proportional hazards regression analyses. Analyses of onset of renal involvement included only patients with renal involvement after SLE diagnosis (n = 229). Analyses of ESRD included all patients, regardless of whether renal involvement occurred before, at, or after SLE diagnosis (34 of 438 patients). In addition, we performed a multivariable logistic regression analysis of the variables associated with the development of renal involvement at any time during the course of SLE.In the time-dependent multivariable analysis, patients developing renal involvement were more likely to have more American College of Rheumatology criteria for SLE, and to be younger, hypertensive, and of African-American or Hispanic (from Texas) ethnicity. Alternative regression models were consistent with these results. In addition to greater accrued disease damage (renal damage excluded), younger age, and Hispanic ethnicity (from Texas), homozygosity for the valine allele of FcgammaRIIIa (FCGR3A*GG) was a significant predictor of ESRD. Results from the multivariable logistic regression model that included all cases of renal involvement were consistent with those from the Cox model. CONCLUSIONS: Fcgamma receptor genotype is a risk factor for progression of renal disease to ESRD. Since the frequency distribution of FCGR3A alleles does not vary significantly among the ethnic groups studied, the additional factors underlying the ethnic disparities in renal disease progression remain to be elucidated.

Estudo de aplicação de rede de investigação em saude e urgencia em educação fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

Desempenho da força explosiva durante uma temporada em futebolistas púberes

Universidade Estadual de Campinas . Faculdade de Educação Física

Comparação entre o dano muscular de flexores do cotovelo e extensores do joelho em idosos= : Muscle damage comparison between elbow flexors and knee extensors in older adults

Universidade Estadual de Campinas . Faculdade de Educação Física

Galerkin finite element method for incompressible thermofluid flows framed within the bond graph theory

In this paper a bond graph methodology is used to model incompressible fluid flows with viscous and thermal effects. The distinctive characteristic of these flows is the role of pressure, which does not behave as a state variable but as a function that must act in such a way that the resulting velocity field has divergence zero. Velocity and entropy per unit volume are used as independent variables for a single-phase, single-component flow. Time-dependent nodal values and interpolation functions are introduced to represent the flow field, from which nodal vectors of velocity and entropy are defined as state variables. The system for momentum and continuity equations is coincident with the one obtained by using the Galerkin method for the weak formulation of the problem in finite elements. The integral incompressibility constraint is derived based on the integral conservation of mechanical energy. The weak formulation for thermal energy equation is modeled with true bond graph elements in terms of nodal vectors of temperature and entropy rates, resulting a Petrov-Galerkin method. The resulting bond graph shows the coupling between mechanical and thermal energy domains through the viscous dissipation term. All kind of boundary conditions are handled consistently and can be represented as generalized effort or flow sources. A procedure for causality assignment is derived for the resulting graph, satisfying the Second principle of Thermodynamics. (C) 2007 Elsevier B.V. All rights reserved.

Comparison of the Rupture and Disintegration Tests for Soft-Shell Capsules

The USP General Chapter < 2040 > Disintegration and Dissolution of Dietary Supplements introduced a rupture test as a performance test of soft-shell capsules. Traditionally, the disintegration test was used for determining the disintegration time of all solid oral dosage forms. The aim of this investigation was to investigate differences between the rupture test and the disintegration test using soft-shell capsules. Five different soft-shell capsule products were chosen based on their filling contents and treated to simulate a production deficiency. The study design compared capsules as received with capsules that were treated by coating them with the liquid contents of another capsule. The capsules were incubated at room temperature and at 40 degrees C. The tests were repeated after two weeks, and at each time point, twelve capsules of each product were tested using the rupture and the disintegration tests. Six capsules were tested untreated, while the other six capsules were treated. Rupture and disintegration times were recorded as dependent variables in each experiment. Thedata were analyzed using ANOVA. According to the USP definition for disintegration, the rupture of a soft-shell capsule can be seen as fulfilling the disintegration criterion if the capsule contents is a semisolid or liquid. Statistical analysis showed no advantage of the rupture test over the disintegration test. On a product-by-product basis, both tests were sensitive to certain investigated parameters. A noticeable difference between both tests was that in most cases, the rupture test reached the defined endpoint faster than the disintegration test. Soft-shell capsules that are subject to a Quality by Design approach should be tested with both methods to determine which performance test is the most appropriate test for a specific product.