Similar health benefits of endurance and high-intensity interval training in obese children

Purpose: To compare two modalities of exercise training (i.e., Endurance Training [ET] and High-Intensity Interval Training [HIT]) on health-related parameters in obese children aged between 8 and 12 years. Methods: Thirty obese children were randomly allocated into either the ET or HIT group. The ET group performed a 30 to 60-minute continuous exercise at 80% of the peak heart rate (HR). The HIT group training performed 3 to 6 sets of 60-s sprint at 100% of the peak velocity interspersed by a 3-min active recovery period at 50% of the exercise velocity. HIT sessions last similar to 70% less than ET sessions. At baseline and after 12 weeks of intervention, aerobic fitness, body composition and metabolic parameters were assessed. Results: Both the absolute (ET: 26.0%; HIT: 19.0%) and the relative VO2 peak (ET: 13.1%; HIT: 14.6%) were significantly increased in both groups after the intervention. Additionally, the total time of exercise (ET: 19.5%; HIT: 16.4%) and the peak velocity during the maximal graded cardiorespiratory test (ET: 16.9%; HIT: 13.4%) were significantly improved across interventions. Insulinemia (ET: 29.4%; HIT: 30.5%) and HOMA-index (ET: 42.8%; HIT: 37.0%) were significantly lower for both groups at POST when compared to PRE. Body mass was significantly reduced in the HIT (2.6%), but not in the ET group (1.2%). A significant reduction in BMI was observed for both groups after the intervention (ET: 3.0%; HIT: 5.0%). The responsiveness analysis revealed a very similar pattern of the most responsive variables among groups. Conclusion: HIT and ET were equally effective in improving important health related parameters in obese youth.

Java Cryptographic Library for Smartphones

A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.

Effects of aerobic exercise training on cardiac renin-angiotensin system in an obese Zucker rat strain

Objective: Obesity and renin angiotensin system (RAS) hyperactivity are profoundly involved in cardiovascular diseases, however aerobic exercise training (EXT) can prevent obesity and cardiac RAS activation. The study hypothesis was to investigate whether obesity and its association with EXT alter the systemic and cardiac RAS components in an obese Zucker rat strain. Methods: The rats were divided into the following groups: Lean Zucker rats (LZR); lean Zucker rats plus EXT (LZR+EXT); obese Zucker rats (OZR) and obese Zucker rats plus EXT (OZR+EXT). EXT consisted of 10 weeks of 60-min swimming sessions, 5 days/week. At the end of the training protocol heart rate (HR), systolic blood pressure (SBP), cardiac hypertrophy (CH) and function, local and systemic components of RAS were evaluated. Also, systemic glucose, triglycerides, total cholesterol and its LDL and HDL fractions were measured. Results: The resting HR decreased (, 12%) for both LZR+EXT and OZR+EXT. However, only the LZR+EXT reached significance (p, 0.05), while a tendency was found for OZR versus OZR+EXT (p = 0.07). In addition, exercise reduced (57%) triglycerides and (61%) LDL in the OZR+EXT. The systemic angiotensin I-converting enzyme (ACE) activity did not differ regardless of obesity and EXT, however, the OZR and OZR+EXT showed (66%) and (42%), respectively, less angiotensin II (Ang II) plasma concentration when compared with LZR. Furthermore, the results showed that EXT in the OZR prevented increase in CH, cardiac ACE activity, Ang II and AT2 receptor caused by obesity. In addition, exercise augmented cardiac ACE2 in both training groups. Conclusion: Despite the unchanged ACE and lower systemic Ang II levels in obesity, the cardiac RAS was increased in OZR and EXT in obese Zucker rats reduced some of the cardiac RAS components and prevented obesity-related CH. These results show that EXT prevented the heart RAS hyperactivity and cardiac maladaptive morphological alterations in obese Zucker rats.

Science publication workshops as a strategy to improve the visibility of scholarly production: the experience of the University of Sao Paulo (USP) - Brazil

The objective of this work is to present the experience of workshops that have been developed at the University of Sao Paulo by the Integrated Library System in partnership with Research Commission. The poster presents the main results of workshops that were made in 2011, in two knowledge areas: life science and engineering, about science publication processes, and directed to graduates, pos-doctorates, researchers, professors and library staff. The realization of workshops made possible identifies gaps in different aspects of scholarly communication such as research planning, search information strategy, information organization, submission process, identification of journals with high impact, and so on, areas where professors and librarians can help. Besides, workshops reveal that the majority of participants believe in its importance. Despite the ubiquity of digital technology that transversely impacts all academic activities, it is imperative to promote efforts to find a convergence between information and media literacy in higher education and university research activities. This is particularly important when we talk about how science is produced, communicated and preserved for future use. In this scenario, libraries and librarians assume a new, more active and committed role.

Digital library of historical cartography: open access to cultural heritage and public good

This paper describes the integration of information between Digital Library of Historical Cartography and Bibliographical Database (DEDALUS), both of the University of São Paulo (USP), to guarantee open, public access by Internet to the maps in the collection and make them available to users everywhere. This digital library was designed by Historical Cartography Studies Laboratory team (LECH/USP), and provides maps images on the Web, of high resolution, as well as such information on these maps as technical-scientific data (projection, scale, coordinates), printing techniques and material support that have made their circulation and cultural consumption possible. The Digital Library of Historical Cartography is accessible not only to the historical cartography researchers, but also to students and the general public. Beyond being a source of information about maps, the Digital Library of Historical Cartography seeks to be interactive, exchanging information and seeking dialogue with different branches of knowledge

BDPI Digital Library of USP in intellectual production

USP INFORMATION MANDATE – Resolution 6444 – Oct. 22th, 2012 Make public and accessible the knowledge generated by research developed at USP, encouraging the sharing, the use and generation of new content; •Preserve institutional memory by storing the full text of Intellectual Production (scientific, academic, artistic and technical); •Increase the impact of the knowledge generated in the university within the scientific community and the general public; •It is suggested to all members of the USP community to publish the results of their research, preferably, in open-access publication outlets and/or repositories and to include the permission to deposit their production in the BDPI system in their publication agreements. •Institutional Repository for Intellectual Production; •Official Source USP Statistical Yearbook.

Marketing ed Ecommerce nell'editoria, il caso Trading Library

Le pagine che seguono sono il racconto dello studio e della ricerca della soluzione ecommerce ideale per Trading Library, casa editrice rivolta al mondo del Trading. L’elaborato è diviso in tre parti: • INTRODUZIONE:Analisiestudiodelpassato,delpresenteedelfuturo dell’ecommerce e studio del settore editoriale. • LE FASI: Analisi del progetto Trading Library, pianificazione dell’attivi- tà, descrizione delle fasi cognitiva, progettuale e divulgativa. • CONCLUSIONE: Considerazioni,previsioni per il futuro ed autocritica sul lavoro svolto. Nella presentazione di ogni capitolo si sono riassunte le argomentazioni trattate, mano a mano che si scende nelle sottosezioni le informazioni riguardo allo studio svolto diventano più tecniche e dettagliate.

Multicelled Behaviour in E. coli: Design and experimental characterization of an engineered library of hybrid promoters.

Synthetic biology has recently had a great development, many papers have been published and many applications have been presented, spanning from the production of biopharmacheuticals to the synthesis of bioenergetic substrates or industrial catalysts. But, despite these advances, most of the applications are quite simple and don’t fully exploit the potential of this discipline. This limitation in complexity has many causes, like the incomplete characterization of some components, or the intrinsic variability of the biological systems, but one of the most important reasons is the incapability of the cell to sustain the additional metabolic burden introduced by a complex circuit. The objective of the project, of which this work is part, is trying to solve this problem through the engineering of a multicellular behaviour in prokaryotic cells. This system will introduce a cooperative behaviour that will allow to implement complex functionalities, that can’t be obtained with a single cell. In particular the goal is to implement the Leader Election, this procedure has been firstly devised in the field of distributed computing, to identify the process that allow to identify a single process as organizer and coordinator of a series of tasks assigned to the whole population. The election of the Leader greatly simplifies the computation providing a centralized control. Further- more this system may even be useful to evolutionary studies that aims to explain how complex organisms evolved from unicellular systems. The work presented here describes, in particular, the design and the experimental characterization of a component of the circuit that solves the Leader Election problem. This module, composed of an hybrid promoter and a gene, is activated in the non-leader cells after receiving the signal that a leader is present in the colony. The most important element, in this case, is the hybrid promoter, it has been realized in different versions, applying the heuristic rules stated in [22], and their activity has been experimentally tested. The objective of the experimental characterization was to test the response of the genetic circuit to the introduction, in the cellular environment, of particular molecules, inducers, that can be considered inputs of the system. The desired behaviour is similar to the one of a logic AND gate in which the exit, represented by the luminous signal produced by a fluorescent protein, is one only in presence of both inducers. The robustness and the stability of this behaviour have been tested by changing the concentration of the input signals and building dose response curves. From these data it is possible to conclude that the analysed constructs have an AND-like behaviour over a wide range of inducers’ concentrations, even if it is possible to identify many differences in the expression profiles of the different constructs. This variability accounts for the fact that the input and the output signals are continuous, and so their binary representation isn’t able to capture the complexity of the behaviour. The module of the circuit that has been considered in this analysis has a fundamental role in the realization of the intercellular communication system that is necessary for the cooperative behaviour to take place. For this reason, the second phase of the characterization has been focused on the analysis of the signal transmission. In particular, the interaction between this element and the one that is responsible for emitting the chemical signal has been tested. The desired behaviour is still similar to a logic AND, since, even in this case, the exit signal is determined by the hybrid promoter activity. The experimental results have demonstrated that the systems behave correctly, even if there is still a substantial variability between them. The dose response curves highlighted that stricter constrains on the inducers concentrations need to be imposed in order to obtain a clear separation between the two levels of expression. In the conclusive chapter the DNA sequences of the hybrid promoters are analysed, trying to identify the regulatory elements that are most important for the determination of the gene expression. Given the available data it wasn’t possible to draw definitive conclusions. In the end, few considerations on promoter engineering and complex circuits realization are presented. This section aims to briefly recall some of the problems outlined in the introduction and provide a few possible solutions.

Migrazione verso una architettura rest di un applicativo per l'inter library loan

Questo lavoro di tesi �si basa sull'estendere l'architettura del software NILDE - Network Inter Library Document Exchange attraverso un processo di migrazione verso servizi REST (REpresentational State Transfer) utilizzando e ampliando metodologie, best practice e frameworks che hanno permesso lo sviluppo di API Pubbliche e Private utilizzabili da utenti esterni.

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.

Aggregate Programming in Scala: a Core Library and Actor-Based Platform for Distributed Computational Fields

La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.

Detection and identification of 700 drugs by multi-target screening with a 3200 Q TRAP LC-MS/MS system and library searching

The multi-target screening method described in this work allows the simultaneous detection and identification of 700 drugs and metabolites in biological fluids using a hybrid triple-quadrupole linear ion trap mass spectrometer in a single analytical run. After standardization of the method, the retention times of 700 compounds were determined and transitions for each compound were selected by a "scheduled" survey MRM scan, followed by an information-dependent acquisition using the sensitive enhanced product ion scan of a Q TRAP hybrid instrument. The identification of the compounds in the samples analyzed was accomplished by searching the tandem mass spectrometry (MS/MS) spectra against the library we developed, which contains electrospray ionization-MS/MS spectra of over 1,250 compounds. The multi-target screening method together with the library was included in a software program for routine screening and quantitation to achieve automated acquisition and library searching. With the help of this software application, the time for evaluation and interpretation of the results could be drastically reduced. This new multi-target screening method has been successfully applied for the analysis of postmortem and traffic offense samples as well as proficiency testing, and complements screening with immunoassays, gas chromatography-mass spectrometry, and liquid chromatography-diode-array detection. Other possible applications are analysis in clinical toxicology (for intoxication cases), in psychiatry (antidepressants and other psychoactive drugs), and in forensic toxicology (drugs and driving, workplace drug testing, oral fluid analysis, drug-facilitated sexual assault).

A randomized trial of effects of health risk appraisal combined with group sessions or home visits on preventive behaviors in older adults

Background. To explore effects of a health risk appraisal for older people (HRA-O) program with reinforcement, we conducted a randomized controlled trial in 21 general practices in Hamburg, Germany. Methods. Overall, 2,580 older patients of 14 general practitioners trained in reinforcing recommendations related to HRA-O-identified risk factors were randomized into intervention (n = 878) and control (n = 1,702) groups. Patients (n = 746) of seven additional matched general practitioners who did not receive this training served as a comparison group. Patients allocated to the intervention group, and their general practitioners, received computer-tailored written recommendations, and patients were offered the choice between interdisciplinary group sessions (geriatrician, physiotherapist, social worker, and nutritionist) and home visits (nurse). Results. Among the intervention group, 580 (66%) persons made use of personal reinforcement (group sessions: 503 [87%], home visits: 77 [13%]). At 1-year follow-up, persons in the intervention group had higher use of preventive services (eg, influenza vaccinations, adjusted odds ratio 1.7; 95% confidence interval 1.4–2.1) and more favorable health behavior (eg, high fruit/fiber intake, odds ratio 2.0; 95% confidence interval 1.6–2.6), as compared with controls. Comparisons between intervention and comparison group data revealed similar effects, suggesting that physician training alone had no effect. Subgroup analyses indicated favorable effects for HRA-O with personal reinforcement, but not for HRA-O without reinforcement. Conclusions. HRA-O combined with physician training and personal reinforcement had favorable effects on preventive care use and health behavior.

Library and IT Staff Presentations and Publications: Spring 2012

Library and IT Staff presented and published many innovative works of scholarship in the past year.

From the Vice President for Library and Information Technology: Spring 2012

Param Bedi discusses technology adoption by students and its impact on teaching and learning.