Average-case analysis of power consumption in embedded systems

Power efficiency is one of the most important constraints in the design of embedded systems since such systems are generally driven by batteries with limited energy budget or restricted power supply. In every embedded system, there are one or more processor cores to run the software and interact with the other hardware components of the system. The power consumption of the processor core(s) has an important impact on the total power dissipated in the system. Hence, the processor power optimization is crucial in satisfying the power consumption constraints, and developing low-power embedded systems. A key aspect of research in processor power optimization and management is “power estimation”. Having a fast and accurate method for processor power estimation at design time helps the designer to explore a large space of design possibilities, to make the optimal choices for developing a power efficient processor. Likewise, understanding the processor power dissipation behaviour of a specific software/application is the key for choosing appropriate algorithms in order to write power efficient software. Simulation-based methods for measuring the processor power achieve very high accuracy, but are available only late in the design process, and are often quite slow. Therefore, the need has arisen for faster, higher-level power prediction methods that allow the system designer to explore many alternatives for developing powerefficient hardware and software. The aim of this thesis is to present fast and high-level power models for the prediction of processor power consumption. Power predictability in this work is achieved in two ways: first, using a design method to develop power predictable circuits; second, analysing the power of the functions in the code which repeat during execution, then building the power model based on average number of repetitions. In the first case, a design method called Asynchronous Charge Sharing Logic (ACSL) is used to implement the Arithmetic Logic Unit (ALU) for the 8051 microcontroller. The ACSL circuits are power predictable due to the independency of their power consumption to the input data. Based on this property, a fast prediction method is presented to estimate the power of ALU by analysing the software program, and extracting the number of ALU-related instructions. This method achieves less than 1% error in power estimation and more than 100 times speedup in comparison to conventional simulation-based methods. In the second case, an average-case processor energy model is developed for the Insertion sort algorithm based on the number of comparisons that take place in the execution of the algorithm. The average number of comparisons is calculated using a high level methodology called MOdular Quantitative Analysis (MOQA). The parameters of the energy model are measured for the LEON3 processor core, but the model is general and can be used for any processor. The model has been validated through the power measurement experiments, and offers high accuracy and orders of magnitude speedup over the simulation-based method.

The Effect of Climate Variability on Main Components of Cow Milk in Iran

The main purpose of this study is to assess the relationship between six bioclimatic indices for cattle (temperature humidity (THI), environmental stress (ESI), equivalent temperature (ESI), heat load (HLI), modified heat load (HLInew) and respiratory rate predictor(RRP)) and fundamental milk components (fat, protein, and milk yield) considering uncertainty. The climate parameters used to calculate the climate indices were taken from the NASA-Modern Era Retrospective-Analysis for Research and Applications (NASA-MERRA) reanalysis from 2002 to 2010. Cow milk data were considered for the same period from April to September when cows use natural pasture, with possibility for cows to choose to stay in the barn or to graze on the pasture in the pasturing system. The study is based on a linear regression analysis using correlations as a summarizing diagnostic. Bootstrapping is used to represent uncertainty estimation through resampling in the confidence intervals. To find the relationships between climate indices (THI, ETI, HLI, HLInew, ESI and RRP) and main components of cow milk (fat, protein and yield), multiple liner regression is applied. The least absolute shrinkage selection operator (LASSO) and the Akaike information criterion (AIC) techniques are applied to select the best model for milk predictands with the smallest number of climate predictors. Cross validation is used to avoid over-fitting. Based on results of investigation the effect of heat stress indices on milk compounds separately, we suggest the use of ESI and RRP in the summer and ESI in the spring. THI and HLInew are suggested for fat content and HLInew also is suggested for protein content in the spring season. The best linear models are found in spring between milk yield as predictands and THI, ESI,HLI, ETI and RRP as predictors with p-value < 0.001 and R2 0.50, 0.49. In summer, milk yield with independent variables of THI, ETI and ESI show the highest relation (p-value < 0.001) with R2 (0.69). For fat and protein the results are only marginal. It is strongly suggested that new and significant indices are needed to control critical heat stress conditions that consider more predictors of the effect of climate variability on animal products, such as sunshine duration, quality of pasture, the number of days of stress (NDS), the color of skin with attention to large black spots, and categorical predictors such as breed, welfare facility, and management system. This methodology is suggested for studies investigating the impacts of climate variability/change on food quality/security, animal science and agriculture using short term data considering uncertainty or data collection is expensive, difficult, or data with gaps.

Re-imagining the theology of human sexuality in the Methodist Church: the use of narrative in theological methodology

This thesis proposes the development of a narrative methodology in the British Methodist Church. Such a methodology embraces and communicates both felt experience and critical theological thinking, thus producing and presenting a theology that might have a constructive transformative impact on wider society. In chapter one I explore the ways in which the Church speaks in public, identify some of the challenges it faces, and consider four models of engagement. If the Church is to engage in public discourses then I argue that its words need to be relevant and connect with people’s experiences. To ground the thinking I focus on the context of the British Methodist Church and explore how the Church engages in theological reflection through the lens of its thinking on issues of human sexuality. Chapter two reviews how theological reflection is undertaken in the British Methodist Church. I describe how the Methodist Quadrilateral of Scripture, tradition, reason and experience remains a foundational framework for theological reflection within the Methodist Church and consider the impact of institutional processes and the ways in which the Methodist people actually engage with theological thinking. The third and fourth chapters focus on how the British Methodist Church has produced its theology of human sexuality, giving particular attention to the use of personal and sexual stories in this process. I find that whilst there has been a desire to listen to the stories of the Methodist people, there has not been a corresponding interrogation or analysis of their stories so as to enable robust and constructive theological reflection on these experiences. Using resources from Foucauldian approaches to discourse analysis, I critique key statements and the processes involved in their production, offering an analysis of this body of theological thinking and indicating where possibilities for alternative ways of thinking and acting arise. The proposed methodology draws upon resources from social science methodologies, and in chapter five I look at the use of personal experience and relevant strategies of inquiry that prompt reflection on the hermeneutical process and employ narrative approaches in undertaking, analysing and presenting research. The exploration shows that qualitative research methodologies offer resources and methods of inquiry that could help the Church to engage with personal stories in its theological thinking in a robust, interrogative and imaginative way. In chapter six an examination of story and narrative is undertaken, to show how they have been understood as ways of knowing and how they relate to theological inquiry. Whilst acknowledging some of the limitations of narrative, I indicate how it offers constructive possibilities for theological reflection and could be a means for the British Methodist Church to engage in public discourse. This is explored further in chapter seven, which looks in more detail at how the British Methodist Church has used narrative in its theological thinking, and outlines areas requiring further attention in order for a narrative theological methodology to be developed, namely: attention to the question ‘whose experience?’; investigation of issues of power and the dynamics involved in the process of the production of theological thought; how personal stories and experiences are interrogated and how narrative is constructed; and how narrative might be employed within the Methodist Quadrilateral. The final chapter considers the advantages and limitations of such an approach, whether the development of such a method is possible in the Methodist Church today and its potential for helping the Church to engage in public discourse more effectively. I argue that this methodology can provoke new theological insights and enable new ways of being in the world

MOTIVATION AND SATISFACTION IN CONTEXT OF JOB TRAINING IN TOURIST ORGANIZATIONS

This research aims to determine the dimensions of motivation and satisfaction, acquired, through the perception in context of job training, by future technicians (students) in the hospitality and tourism industry, particularly by technical courses in the hotel and restaurant sector. The methodology comprises three distinct stages. First were recovered instruments (questionnaires), already validated by other authors of motivation and satisfaction, which had the intention to replicate studies conducted in other scientific knowledge fields, such as tourism. Those instruments were recovered from the reviewed literature conducted about other themes. On second place the measuring instruments were submitted to a pre-test, or rather, were subject of a pioneer study, in order to verify other assumptions such as semantic errors or see if there was the possibility of some prepared questions to be consider invalidated by poor formulation or interpretation. Finally, were applied in three educational institutions who agreed to cooperate on the research, with the reservation that the interviewed needed a mandatory pre-requirement that consisted in conducting a minimum training in work context (TWC). Then, proceed the statistical analysis to support all the empirical part. The results show that, in general, motivation and satisfaction were present during the period of training in work context. To some people it meant a very important period of personal and professional life, concerning the interactions, emotions and involvement with touristic organizations but also the personal and social relationships.

Development of a patient-specific model for stroke risk assessment in atrial fibrillation patients

Atrial fibrillation is associated with a five-fold increase in the risk of cerebrovascular events,being responsible of 15-18% of all strokes.The morphological and functional remodelling of the left atrium caused by atrial fibrillation favours blood stasis and, consequently, stroke risk. In this context, several clinical studies suggest that stroke risk stratification could be improved by using haemodynamic information on the left atrium (LA) and the left atrial appendage (LAA). The goal of this study was to develop a personalized computational fluid-dynamics (CFD) model of the left atrium which could clarify the haemodynamic implications of atrial fibrillation on a patient specific basis. The developed CFD model was first applied to better understand the role of LAA in stroke risk. Infact, the interplay of the LAA geometric parameters such as LAA length, tortuosity, surface area and volume with the fluid-dynamics parameters and the effects of the LAA closure have not been investigated. Results demonstrated the capabilities of the CFD model to reproduce the real physiological behaviour of the blood flow dynamics inside the LA and the LAA. Finally, we determined that the fluid-dynamics parameters enhanced in this research project could be used as new quantitative indexes to describe the different types of AF and open new scenarios for the patient-specific stroke risk stratification.

Impact of gentrification processes in rural landscapes: a methodology for landscape assessment towards sustainable rural development

With an increasing demand for rural resources and land, new challenges are approaching affecting and restructuring the European countryside. While creating opportunities for rural living, it has also opened a discussion on rural gentrification risks. The concept of rural gentrification encircles the influx of new residents leading to an economic upgrade of an area making it unaffordable for local inhabitants to stay in. Rural gentrification occurs in areas perceived as attractive. Paradoxically, in-migrants re-shape their surrounding landscape. Rural gentrification may not only cause displacement of people but also landscape values. Thus, this research aims to understand the twofold role of landscape in rural gentrification theory: as a possible driver to attract residents and as a product shaped by its residents. To understand the potential gentrifiers’ decision process, this research has provided a collection of drivers behind in-migration. Moreover, essential indicators of rural gentrification have been collected from previous studies. Yet, the available indicators do not contain measures to understand related landscape changes. To fill this gap, after analysing established landscape assessment methodologies, evaluating the relevance for assessing gentrification, a new Landscape Assessment approach is proposed. This method introduces a novel approach to capture landscape change caused by gentrification through a historical depth. The measures to study gentrification was applied on Gotland, Sweden. The study showed a population stagnating while the number of properties increased, and housing prices raised. These factors are not indicating positive growth but risks of gentrification. Then, the research applied the proposed Landscape Assessment method for areas exposed to gentrification. Results suggest that landscape change takes place on a local scale and could over time endanger key characteristics. The methodology contributes to a discussion on grasping nuances within the rural context. It has also proven useful for indicating accumulative changes, which is necessary in managing landscape values.

Advanced studies on two animal models, murine and fish. RadKI21A626T mouse model: new insights into molecular mechanisms of enteric neuro-epithelial pathology. European sea bass: study of the effects of essential oils in different diets on the gastric system.

My PhD research period was focused on the anatomical, physiological and functional study of the gastrointestinal system on two different animal models. In two different contexts, the purpose of these two lines of research was contribute to understand how a specific genetic mutation or the adoption of a particular dietary supplement can affect gastrointestinal function. Functional gastrointestinal disorders are chronic conditions characterized by symptoms for which no organic cause can be found. Although symptoms are generally mild, a small subset of cases shows severe manifestations. This subset of patients may also have recurrent intestinal sub-occlusive episodes, but in absence of mechanical causes. This condition is referred to as chronic intestinal pseudo-obstruction, a rare, intractable chronic disease. Some mutations have been associated with CIPO. A novel causative RAD21 missense mutation was identified in a large consanguineous family, segregating a recessive form of CIPO. The present thesis was aimed to elucidate the mechanisms leading to neuropathy underlying CIPO via a recently developed conditional KI mouse carrying the RAD21 mutation. The experimental studies are based on the characterization and functional analysis of the conditional KI Rad21A626T mouse model. On the other hand aquaculture is increasing the global supply of foods. The species selected and feeds used affects the nutrients available from aquaculture, with a need to improve feed efficiency, both for economic and environmental reasons, but this will require novel innovative approaches. Nutritional strategies focused on the use of botanicals have attracted interest in animal production. Previous research indicates the positive results of using essential oils (EOs) as natural feed additives for several farmed animals. Therefore, the present study was designed to compare the effects of feed EO supplementation in two different forms (natural and composed of active ingredients obtained by synthesis) on the gastric mucosa in European sea bass.

Assessing model credibility of CT-Based finite element model to predict bone strength

Osteoporosis is one of the major causes of mortality among the elderly. Nowadays, areal bone mineral density (aBMD) is used as diagnostic criteria for osteoporosis; however, this is a moderate predictor of the femur fracture risk and does not capture the effect of some anatomical and physiological properties on the bone strength estimation. Data from past research suggest that most fragility femur fractures occur in patients with aBMD values outside the pathological range. Subject-specific finite element models derived from computed tomography data are considered better tools to non-invasively assess hip fracture risk. In particular, the Bologna Biomechanical Computed Tomography (BBCT) is an In Silico methodology that uses a subject specific FE model to predict bone strength. Different studies demonstrated that the modeling pipeline can increase predictive accuracy of osteoporosis detection and assess the efficacy of new antiresorptive drugs. However, one critical aspect that must be properly addressed before using the technology in the clinical practice, is the assessment of the model credibility. The aim of this study was to define and perform verification and uncertainty quantification analyses on the BBCT methodology following the risk-based credibility assessment framework recently proposed in the VV-40 standard. The analyses focused on the main verification tests used in computational solid mechanics: force and moment equilibrium check, mesh convergence analyses, mesh quality metrics study, evaluation of the uncertainties associated to the definition of the boundary conditions and material properties mapping. Results of these analyses showed that the FE model is correctly implemented and solved. The operation that mostly affect the model results is the material properties mapping step. This work represents an important step that, together with the ongoing clinical validation activities, will contribute to demonstrate the credibility of the BBCT methodology.

Mesenchymal Stromal Cells From Adipose Tissue Attached To Suture Material Enhance The Closure Of Enterocutaneous Fistulas In A Rat Model.

Surgical treatment for enterocutaneous fistulas (EF) frequently fails. Cell therapy may represent a new approach to treatment. Mesenchymal stromal cells (MSCs) have high proliferative and differentiation capacity. This study aimed to investigate whether MSCs could adhere to suture filament (SF), promoting better EF healing. MSCs, 1 × 10(6), from adipose tissue (ATMSCs) were adhered to a Polyvicryl SF by adding a specific fibrin glue formulation. Adhesion was confirmed by confocal and scanning electron microscopy (SEM). A cecal fistula was created in 22 Wistar rats by incising the cecum and suturing the opening to the surgical wound subcutaneously with four separate stitches. The animals were randomly allocated to three groups: control (CG)-five animals, EF performed; injection (IG)-eight animals 1 × 10(6) ATMSCs injected around EF borders; and suture filament (SG): nine animals, sutured with 1 × 10(6) ATMSCs attached to the filaments with fibrin glue. Fistulas were photographed on the operation day and every 3 days until the 21st day and analyzed by two observers using ImageJ Software. Confocal and SEM results demonstrated ATMSCs adhered to SF (ATMSCs-SF). The average reduction size of the fistula area at 21st day was greater for the SG group (90.34%, P < 0.05) than the IG (71.80%) and CG (46.54%) groups. ATMSCs adhered to SF maintain viability and proliferative capacity. EF submitted to ATMSCs-SF procedure showed greater recovery and healing. This approach might be a new and effective tool for EF treatment.

Photoelastic And Finite Element Analyses Of Occlusal Loads In Mandibular Body.

This study proposed to evaluate the mandibular biomechanics in the posterior dentition based on experimental and computational analyses. The analyses were performed on a model of human mandible, which was modeled by epoxy resin for photoelastic analysis and by computer-aided design for finite element analysis. To standardize the evaluation, specific areas were determined at the lateral surface of mandibular body. The photoelastic analysis was configured through a vertical load on the first upper molar and fixed support at the ramus of mandible. The same configuration was used in the computer simulation. Force magnitudes of 50, 100, 150, and 200 N were applied to evaluate the bone stress. The stress results presented similar distribution in both analyses, with the more intense stress being at retromolar area and oblique line and alveolar process at molar level. This study presented the similarity of results in the experimental and computational analyses and, thus, showed the high importance of morphology biomechanical characterization at posterior dentition.

Trajetórias de vida : lembranças, caminhos e constituições dos saberes docentes de professores de Educação Física = Paths and trajectories of life : memories, paths and establishment of teaching knowledge of Physical Education Professors

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

Evaluation of superficial microhardness in dental enamel with different eruptive ages

This study evaluated the superficial microhardness of enamel in teeth at different posteruptive ages (before eruption in the oral cavity, 2-3 years after eruption, 4-10 years after eruption and more than 10 years after eruption). The study sample was composed of 134 specimens of human enamel. One fragment of each tooth was obtained from the flattest central portion of the crown to produce specimens with 3 x 3 mm. The enamel blocks were minimally flattened out and polished in order to obtain a flat surface parallel to the base, which is fundamental for microhardness testing. Microhardness was measured with a microhardness tester and a Knoop diamond indenter, under a static load of 25 g applied for 5 seconds. Comparison between the superficial microhardness obtained for the different groups was performed by analysis of Student's t test. The results demonstrated that superficial microhardness values have a tendency to increase over the years, with statistically significant difference only between unerupted enamel and that with more than 10 years after eruption. According to the present conditions and methodology, it was concluded that there were differences between the superficial micro-hardness of specimens at different eruptive ages, revealing an increasing mineralization. However, this difference was significant only between unerupted specimens and those with more than 10 years after eruption.

Intestinal Anti-Inflammatory Activity of Baccharis dracunculifolia in the Trinitrobenzenesulphonic Acid Model of Rat Colitis

Baccharis dracunculifolia DC (Asteraceae) is a Brazilian medicinal plant popularly used for its antiulcer and anti-inflammatory properties. This plant is the main botanical source of Brazilian green propolis, a natural product incorporated into food and beverages to improve health. The present study aimed to investigate the chemical profile and intestinal anti-inflammatory activity of B. dracunculifolia extract on experimental ulcerative colitis induced by trinitrobenzenosulfonic acid (TNBS). Colonic damage was evaluated macroscopically and biochemically through its evaluation of glutathione content and its myeloperoxidase (MPO) and alkaline phosphatase activities. Additional in vitro experiments were performed in order to test the antioxidant activity by inhibition of induced lipid peroxidation in the rat brain membrane. Phytochemical analysis was performed by HPLC using authentic standards. The administration of plant extract (5 and 50 mgkg(-1)) significantly attenuated the colonic damage induced by TNBS as evidenced both macroscopically and biochemically. This beneficial effect can be associated with an improvement in the colonic oxidative status, since plant extract prevented glutathione depletion, inhibited lipid peroxidation and reduced MPO activity. Caffeic acid, p-coumaric acid, aromadendrin-4-O-methyl ether, 3-prenyl-p-coumaric acid, 3,5-diprenyl-p-coumaric acid and baccharin were detected in the plant extract.

Research Smad2 and Smad6 as predictors of overall survival in oral squamous cell carcinoma patients

Background: To test if the expression of Smad1-8 mRNAs were predictive of survival in patients with oral squamous cell carcinoma (SCC). Patients and Methods: We analyzed, prospectively, the expression of Smad1-8, by means of Ribonuclease Protection Assay in 48 primary, operable, oral SCC. In addition, 21 larynx, 10 oropharynx and 4 hypopharynx SCC and 65 matched adjacent mucosa, available for study, were also included. For survival analysis, patients were categorized as positive or negative for each Smad, according to median mRNA expression. We also performed real-time quantitative PCR (QRTPCR) to asses the pattern of TGF beta 1, TGF beta 2, TGF beta 3 in oral SCC. Results: Our results showed that Smad2 and Smad6 mRNA expression were both associated with survival in Oral SCC patients. Cox Multivariate analysis revealed that Smad6 positivity and Smad2 negativity were both predictive of good prognosis for oral SCC patients, independent of lymph nodal status (P = 0.003 and P = 0.029, respectively). In addition, simultaneously Smad2(-) and Smad6(+) oral SCC group of patients did not reach median overall survival (mOS) whereas the mOS of Smad2(+)/Smad6(-) subgroup was 11.6 months (P = 0.004, univariate analysis). Regarding to TGF beta isoforms, we found that Smad2 mRNA and TGF beta 1 mRNA were inversely correlated (p = 0.05, R = -0.33), and that seven of the eight TGF beta 1(+) patients were Smad2(-). In larynx SCC, Smad7(-) patients did not reach mOS whereas mOS of Smad7(+) patients were only 7.0 months (P = 0.04). No other correlations were found among Smad expression, clinico-pathological characteristics and survival in oral, larynx, hypopharynx, oropharynx or the entire head and neck SCC population. Conclusion: Smad6 together with Smad2 may be prognostic factors, independent of nodal status in oral SCC after curative resection. The underlying mechanism which involves aberrant TGF beta signaling should be better clarified in the future.