Concurrent training effect on muscle fibers in Wistar rats

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

Salivary cortisol response to concurrent strength and high-intensity aerobic exercise: a pilot study

Aim. The aim of this pilot study was to compare strength performance and salivary cortisol levels response during a single strength session, and a strength session after 30 min of high-intensity aerobic exercise (concurrent condition).Methods. Saliva was collected from 7 male subjects, before and after all exercise bouts, and the maximum number of repetitions (MNR) and total volume (TV) in the different conditions assessed.Results. The MNR and TV were reduced in concurrent condition compared with control condition. Strength exercise in the concurrent condition induced higher salivary cortisol in relation to strength exercise or to and high-intensity aerobic exercise, separately.Conclusion. The different salivary cortisol profile in response to concurrent exercise reflects the faster reactivity of the hypothalamic-pituitary-adrenocortical system in this circumstance.

Association between concurrent genital bleeding and cervical cancer: a cross-sectional study

Genital bleeding may be a common symptom among women with cervical cancer. Cross-sectional study evaluating whether the prevalence of cervical smear results is different in women with and without clinical information about concurrent genital bleeding. The sample consisted of 2 324 836 smears; of these, 0.4% had clinical information on genital bleeding. When stratified by age group, women with genital bleeding had a higher chance of a cytological result of a high-grade squamous intraepithelial lesion [30-49 years odds ratio (OR) 2.38; 95% confidence interval (CI) 1.60-3.53 and ≥50 years OR 6.30; 95%CI 3.72-10.67), of squamous cell carcinoma (SCC) (30-49 years OR 24.70; 95%CI 11.96-51.03 and ≥50 years OR 48.91; 95%CI 31.28-76.47) and of atypical glandular cells (30-49 years OR 5.72; 95%CI 3.30-9.93 and ≥50 years OR 11.56; 95%CI 5.96-22.45); there was also a higher chance of adenocarcinoma for women ≥50 years (OR 53.13; 95%CI 28.08-100.51). The sensitivity of genital bleeding for women aged 18-29 years was 0.4% for high-grade squamous intraepithelial lesion (HSIL); for women 30-49 years old the rate was 0.9% for HSIL, 8.6% for SCC and 2.1% for atypical glandular cells of undetermined significance (AGUS), while for women aged from 50 years or more the rates were 2.0% for HSIL, 13.7% for SCC, 3.6% for AGUS and 14.7% for adenocarcinoma. Women ≥30 years old with genital bleeding should be referred for colposcopy to rule out the possibility of cervical cancer.

Effect of concurrent training on gender-specific biochemical variables and adiposity in obese adolescents

Objective The purpose of the present study was to analyze the effects of a 20-week concurrent training (20 WCT) intervention program on gender-specific body composition and metabolic variables in obese adolescents.Subjects and methods Sample was composed of twenty-five obese adolescents, aged between 12 and 15 (13.4 ± 0.96) years. Fat-free mass (FFM), percentage trunk fat mass (TFM%) and percentage fat mass (%FM) were evaluated through dual-energy X-ray absorptiometry (DXA). Measurement of intra-abdominal adiposity (IAAT) was performed using ultrasound. Blood pressure was measured and blood samples analyzed for total cholesterol (TC), high-density lipoprotein cholesterol (HDL-c), low-density lipoprotein cholesterol (LDL-c), triglycerides (TG) and plasma glucose. All participants performed the concurrent training (combination of weight training and aerobic training) three times per week, one hour per day, for 20 weeks. Descriptive analysis and analysis of variance (ANOVA) for repeated measures were used to compare baseline, 10 week and 20 week moments using the Bonferroni post-hoc test. Statistical significance was set at p < 0.05. Significant decrease in TC, LDL-c and TFM% were verified in both genders after the 10 initial weeks of concurrent training.Results A significant increase in height was found in both the male and female groups (p = 0.001 and p = 0.047, respectively), after 20 weeks of concurrent training. In addition, several modifications were observed in body composition and metabolic variables, with a significant decrease in BMI (p = 0.002 and p = 0.017), BMI z-score (p = 0.033 and p = 0.004), FM% (p = 0.002 and p = 0.002), TFM% (p = 0.009 and p = 0.018), TC (p = 0.042 and p = 0.001) and LDL-c (p = 0.006 and p = 0.001) in the male and female groups, respectively, after 20 weeks of intervention when compared with baseline.Conclusion Our results identified that concurrent training was an effective intervention for treating metabolic variable and body composition disorders, in both genders, by decreasing adiposity with consequent improvement in BMI and BMI z-scores, and enhancement in lipid profile variables.

Ctenosaura similis (Black Spiny-Tailed Iguana), ,i>Gopherus Polyphemus (Gopher Tortoise) Concurrent Burrow Use

Ctenosaura similis is exotic to Florida (Meshaka et al. 2004. The Exotic Amphibians and Reptiles of Florida, Krieger Publ. Co., Malabar, Florida. 155 pp.), whereas Gopherus polyphemus is listed as a species of special concern by the state of Florida (Florida Wildlife Code Chap. 39 F.A.C.), and as a threatened species by the Florida Committee on Rare and Endangered Plants and Animals (FCREPA) (Moler 1992. Rare and Endangered Biota of Florida: Volume III, Reptiles and Amphibians. University Press of Florida, Gainesville, Florida. 291 pp.).

Influence of cueing on the preparation and execution of untrained and trained complex motor responses

This study investigated the influence of cueing on the performance of untrained and trained complex motor responses. Healthy adults responded to a visual target by performing four sequential movements (complex response) or a single movement (simple response) of their middle finger. A visual cue preceded the target by an interval of 300, 1000, or 2000 ms. In Experiment 1, the complex and simple responses were not previously trained. During the testing session, the complex response pattern varied on a trial-by-trial basis following the indication provided by the visual cue. In Experiment 2, the complex response and the simple response were extensively trained beforehand. During the testing session, the trained complex response pattern was performed in all trials. The latency of the untrained and trained complex responses decreased from the short to the medium and long cue-target intervals. The latency of the complex response was longer than that of the simple response, except in the case of the trained responses and the long cue-target interval. These results suggest that the preparation of untrained complex responses cannot be completed in advance, this being possible, however, for trained complex responses when enough time is available. The duration of the 1st submovement, 1st pause and 2nd submovement of the untrained and the trained complex responses increased from the short to the long cue-target interval, suggesting that there is an increase of online programming of the response possibly related to the degree of certainty about the moment of target appearance.

ORAL MUCOSITIS PREVENTION BY LOW-LEVEL LASER THERAPY IN HEAD-AND-NECK CANCER PATIENTS UNDERGOING CONCURRENT CHEMORADIOTHERAPY: A PHASE III RANDOMIZED STUDY

Purpose: Oral mucositis is a major complication of concurrent chemoradiotherapy (CRT) in head-and-neck cancer patients. Low-level laser (LLL) therapy is a promising preventive therapy. We aimed to evaluate the efficacy of LLL therapy to decrease severe oral mucositis and its effect on RT interruptions. Methods and Materials: In the present randomized, double-blind, Phase III study, patients received either gallium-aluminum-arsenide LLL therapy 2.5 J/cm(2) or placebo laser, before each radiation fraction. Eligible patients had to have been diagnosed with squamous cell carcinoma or undifferentiated carcinoma of the oral cavity, pharynx, larynx, or metastases to the neck with an unknown primary site. They were treated with adjuvant or definitive CRT, consisting of conventional RT 60-70 Gy (range, 1.8-2.0 Gy/d, 5 times/wk) and concurrent cisplatin. The primary endpoints were the oral mucositis severity in Weeks 2, 4, and 6 and the number of RT interruptions because of mucositis. The secondary endpoints included patient-reported pain scores. To detect a decrease in the incidence of Grade 3 or 4 oral mucositis from 80% to 50%, we planned to enroll 74 patients. Results: A total of 75 patients were included, and 37 patients received preventive LLL therapy. The mean delivered radiation dose was greater in the patients treated with LLL (69.4 vs. 67.9 Gy, p = .03). During CRT, the number of patients diagnosed with Grade 3 or 4 oral mucositis treated with LLL vs. placebo was 4 vs. 5 (Week 2, p = 1.0), 4 vs. 12 (Week 4, p = .08), and 8 vs. 9 (Week 6, p = 1.0), respectively. More of the patients treated with placebo had RT interruptions because of mucositis (6 vs. 0, p = .02). No difference was detected between the treatment arms in the incidence of severe pain. Conclusions: LLL therapy was not effective in reducing severe oral mucositis, although a marginal benefit could not be excluded. It reduced RT interruptions in these head-and-neck cancer patients, which might translate into improved CRT efficacy. (C) 2012 Elsevier Inc.

Alpha-band power in the left frontal cortex discriminates the execution of fixed stimulus during saccadic eye movement

Introduction: The saccadic paradigm has been used to investigate specific cortical networks involving attention. The behavioral and electrophysiological investigations of the SEM contribute significantly to the understanding of attentive patterns presented of neurological and psychiatric disorders and sports performance. Objective: The current study aimed to investigate absolute alpha power changes in sensorimotor brain regions and the frontal eye fields during the execution of a saccadic task. Methods: Twelve healthy volunteers (mean age: 26.25; SD: +/- 4.13) performed a saccadic task while the electroencephalographic signal was simultaneously recorded for the cerebral cortex electrodes. The participants were instructed to follow the LEDs with their eyes, being submitted to two different task conditions: a fixed pattern versus a random pattern. Results: We found a moment main effect for the C3, C4, F3 and F4 electrodes and a condition main effect for the F3 electrode. We also found interaction between factor conditions and frontal electrodes. Conclusions: We conclude that absolute alpha power in the left frontal cortex discriminates the execution of the two stimulus presentation patterns during SEM. (C) 2012 Elsevier Ireland Ltd. All rights reserved.

Concurrent crack and powder cocaine users from Sao Paulo: Do they represent a different group?

Abstract Background Cocaine abuse is a serious and socially damaging illegal drug problem. Different routes of administration are associated with a specific progression of use, different degrees of abuse liability, propensity for dependence and treatment response. There have been relatively few studies comparing different cocaine users groups and no studies into the characterization of the group of individuals reporting concurrent use of powder cocaine and crack cocaine. Methods Six hundred and ninety-nine cocaine users were assessed during the period August 1997 to October 1998 in one outpatient and six inpatient clinics located in the São Paulo, Brazil. Patients were interviewed using a structured questionnaire schedule in Portuguese, designed specifically for the Brazilian population. The statistical analyses were performed using either ANOVA or a chi-squared test and focusing on their preferred form of use/route of administration and other variables. Results For 83% of the variables tested in this study, the Dual Users subgroup (using both powder and crack cocaine) demonstrated statistical differences from the single drug user subgroups. Those differences include the initiation of cocaine, the abuse of other illicit drugs, and rates of criminal history. Conclusion These data suggest cocaine-dependent individuals who report use of both powder and crack cocaine are an at least partially, distinct subgroup. However, further studies will be necessary to confirm this and to determine if they also show a different treatment response.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with m

Engineering Concurrent and Event-driven Web Apps: An Agent-Oriented Approach based on the simpAL Language

Web is constantly evolving, thanks to the 2.0 transition, HTML5 new features and the coming of cloud-computing, the gap between Web and traditional desktop applications is tailing off. Web-apps are more and more widespread and bring several benefits compared to traditional ones. On the other hand reference technologies, JavaScript primarly, are not keeping pace, so a paradim shift is taking place in Web programming, and so many new languages and technologies are coming out. First objective of this thesis is to survey the reference and state-of-art technologies for client-side Web programming focusing in particular on what concerns concurrency and asynchronous programming. Taking into account the problems that affect existing technologies, we finally design simpAL-web, an innovative approach to tackle Web-apps development, based on the Agent-oriented programming abstraction and the simpAL language. == Versione in italiano: Il Web è in continua evoluzione, grazie alla transizione verso il 2.0, alle nuove funzionalità introdotte con HTML5 ed all’avvento del cloud-computing, il divario tra le applicazioni Web e quelle desktop tradizionali va assottigliandosi. Le Web-apps sono sempre più diffuse e presentano diversi vantaggi rispetto a quelle tradizionali. D’altra parte le tecnologie di riferimento, JavaScript in primis, non stanno tenendo il passo, motivo per cui la programmazione Web sta andando incontro ad un cambio di paradigma e nuovi linguaggi e tecnologie stanno spuntando sempre più numerosi. Primo obiettivo di questa tesi è di passare al vaglio le tecnologie di riferimento ed allo stato dell’arte per quel che riguarda la programmmazione Web client-side, porgendo particolare attenzione agli aspetti inerenti la concorrenza e la programmazione asincrona. Considerando i principali problemi di cui soffrono le attuali tecnologie passeremo infine alla progettazione di simpAL-web, un approccio innovativo con cui affrontare lo sviluppo di Web-apps basato sulla programmazione orientata agli Agenti e sul linguaggio simpAL.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Smart execution of distributed application by balancing resources in mobile devices and cloud-based avatars

L’obiettivo del progetto di tesi svolto è quello di realizzare un servizio di livello middleware dedicato ai dispositivi mobili che sia in grado di fornire il supporto per l’offloading di codice verso una infrastruttura cloud. In particolare il progetto si concentra sulla migrazione di codice verso macchine virtuali dedicate al singolo utente. Il sistema operativo delle VMs è lo stesso utilizzato dal device mobile. Come i precedenti lavori sul computation offloading, il progetto di tesi deve garantire migliori performance in termini di tempo di esecuzione e utilizzo della batteria del dispositivo. In particolare l’obiettivo più ampio è quello di adattare il principio di computation offloading a un contesto di sistemi distribuiti mobili, migliorando non solo le performance del singolo device, ma l’esecuzione stessa dell’applicazione distribuita. Questo viene fatto tramite una gestione dinamica delle decisioni di offloading basata, non solo, sullo stato del device, ma anche sulla volontà e/o sullo stato degli altri utenti appartenenti allo stesso gruppo. Per esempio, un primo utente potrebbe influenzare le decisioni degli altri membri del gruppo specificando una determinata richiesta, come alta qualità delle informazioni, risposta rapida o basata su altre informazioni di alto livello. Il sistema fornisce ai programmatori un semplice strumento di definizione per poter creare nuove policy personalizzate e, quindi, specificare nuove regole di offloading. Per rendere il progetto accessibile ad un più ampio numero di sviluppatori gli strumenti forniti sono semplici e non richiedono specifiche conoscenze sulla tecnologia. Il sistema è stato poi testato per verificare le sue performance in termini di mecchanismi di offloading semplici. Successivamente, esso è stato anche sottoposto a dei test per verificare che la selezione di differenti policy, definite dal programmatore, portasse realmente a una ottimizzazione del parametro designato.