994 resultados para Functional Language
Resumo:
Theawareness that fossil fuels exist in limited quantities has stimulated research into energy production from renewable sources. Future energy sources! should! be! plentiful! with! negligible! impact! on! the! environment.! Hydrogen!has!the!potential!to!satisfy!these!requirements.!Nevertheless,!current! methods! of! H2! production! rely! on! nonOrenewable! resources.! Biological! H2! production! from! sunlight! or! biomass! is! an! appealing! alternative! to! current! production!methods.!!(...)
Resumo:
To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.
Resumo:
Sign language is the form of communication used by Deaf people, which, in most cases have been learned since childhood. The problem arises when a non-Deaf tries to contact with a Deaf. For example, when non-Deaf parents try to communicate with their Deaf child. In most cases, this situation tends to happen when the parents did not have time to properly learn sign language. This dissertation proposes the teaching of sign language through the usage of serious games. Currently, similar solutions to this proposal do exist, however, those solutions are scarce and limited. For this reason, the proposed solution is composed of a natural user interface that is intended to create a new concept on this field. The validation of this work, consisted on the implementation of a serious game prototype, which can be used as a source for learning (Portuguese) sign language. On this validation, it was first implemented a module responsible for recognizing sign language. This first stage, allowed the increase of interaction and the construction of an algorithm capable of accurately recognizing sign language. On a second stage of the validation, the proposal was studied so that the pros and cons can be determined and considered on future works.
Resumo:
Currently, it is widely perceived among the English as a Foreign Language (EFL) teaching professionals, that motivation is a central factor for success in language learning. This work aims to examine and raise teachers’ awareness about the role of assessment and feedback in the process of language teaching and learning at polytechnic school in Benguela to develop and/or enhance their students’ motivation for learning. Hence the paper defines and discusses the key terms and, the techniques and strategies for an effective feedback provision in the context under study. It also collects data through the use of interview and questionnaire methods, and suggests the assessment and feedback types to be implemented at polytechnic school in Benguela
Resumo:
Grapevine (Vitis vinifera) is one of most agro-economically important fruit crops worldwide, with a special relevance in Portugal where over 300 varieties are used for wine production. Due to global warming, temperature stress is currently a serious issue affecting crop production especially in temperate climates. Mobile genetic elements such as retrotransposons have been shown to be involved in environmental stress induced genetic and epigenetic modifications. In this study, sequences related to Grapevine Retrotransposon 1 (Gret1) were utilized to determine heat induced genomic and transcriptomic modifications in Touriga Nacional, a traditional Portuguese grapevine variety. For this purpose, growing canes were treated to 42 oC for four hours and leaf genomic DNA and RNA was utilized for various techniques to observe possible genomic alterations and variation in transcription levels of coding and non-coding sequences between non-treated plants and treated plants immediately after heat stress (HS-0 h) or after a 24 hour recovery period (HS-24 h). Heat stress was found to induce a significant decrease in Gret1 related sequences in HS-24 h leaves, indicating an effect of heat stress on genomic structure. In order to identify putative heat induced DNA modifications, genome wide approaches such as Amplified Fragment Length Polymorphism were utilized. This resulted in the identification of a polymorphic DNA fragment in HS-0 h and HS-24 h leaves whose sequence mapped to a genomic region flanking a house keeping gene (NADH) that is represented in multiple copies in the Vitis vinifera genome. Heat stress was also found to affect the transcript levels of various non-coding and gene coding sequences. Accordingly, quantitative real time PCR results established that Gret1 related sequences are up regulated immediately after heat stress whereas the level of transcript of genes involved in identification and repair of double strand breaks are significantly down regulated in HS-0 h plants. Taken together, the results of this work demonstrated heat stress affects both genomic integrity and transcription levels.
Resumo:
In recent years, new methods of clean and environmentally friendly energy production have been the focus of intense research efforts. Microbial fuel cells (MFCs) are devices that utilize naturally occurring microorganisms that feed on organic matter, like waste water, while producing electrical energy. The natural habitats of bacteria thriving in microbial fuel cells are usually marine and freshwater sediments. These microorganisms are called dissimilatory metal reducing bacteria (DMRB), but in addition to metals like iron and manganese, they can use organic compounds like DMSO or TMAO, radionuclides and electrodes as terminal electron acceptors in their metabolic pathways.(...)
Resumo:
We are constantly immersed in stimuli. Upon reaching our senses, stimuli are processed within various brain systems along various pathways into the brain, and eventually turned into a percept. However, there are percepts that do not result from responses to external source stimuli. A particular case of this situation is the auditory percept known as tinnitus. Tinnitus can be seen as a task-irrelevant auditory percept, commonly reported to interfere with normal daily tasks. This is known from reports made by tinnitus sufferers that refer to their phantom percept as distracting, and that it diverts their focus from the task-relevant stimuli.(...)
Resumo:
INTRODUCTION: Despite all efforts to restrict its transmission, Chagas' disease remains a severe public health problem in Latin America, affecting 8-12 million individuals. Chronic Chagas' heart disease, the chief factor in the high mortality rate associated with the illness, affects more than half a million Brazilians. Its evolution may result in severe heart failure associated with loss of functional capacity and quality of life, with important social and medical/labor consequences. Many studies have shown the beneficial effect of regular exercise on cardiac patients, but few of them have focused on chronic Chagas' heart disease. METHODS: This study evaluated the effects of an exercise program on the functional capacity of patients with chronic Chagas' disease who were treated in outpatient clinics at the Evandro Chagas Institute of Clinical Research and the National Institute of Cardiology, Rio de Janeiro, Brazil. The exercises were performed 3 times a week for 1 h (30 min of aerobic activity and 30 min of resistance exercises and extension) over 6 months in 2010. Functional capacity was evaluated by comparing the direct measurement of the O2 uptake volume (VO2) obtained by a cardiopulmonary exercise test before and after the program (p < 0.05). RESULTS: Eighteen patients (13 females) were followed, with minimum and maximum ages of 30 and 72 years, respectively. We observed an average increase of VO2peak > 10% (p = 0.01949). CONCLUSIONS: The results suggest a statistically significant improvement in functional capacity with regular exercise of the right intensity.
Resumo:
INTRODUCTION: Exclusive or associated lesions in various structures of the autonomic nervous system occur in the chronic forms of Chagas disease. In the indeterminate form, the lesions are absent or mild, whereas in the exclusive or combined heart and digestive disease forms, they are often more pronounced. Depending on their severity these lesions can result mainly in cardiac parasympathetic dysfunction but also in sympathetic dysfunction of variable degrees. Despite the key autonomic effect on cardiovascular functioning, the pathophysiological and clinical significance of the cardiac autonomic dysfunction in Chagas disease remains unknown. METHODS: Review of data on the cardiac autonomic dysfunction in Chagas disease and their potential consequences, and considerations supporting the possible relationship between this disturbance and general or cardiovascular clinical and functional adverse outcomes. RESULTS: We hypothesise that possible consequences that cardiac dysautonomia might variably occasion or predispose in Chagas disease include: transient or sustained arrhythmias, sudden cardiac death, adverse overall and cardiovascular prognosis with enhanced morbidity and mortality, an inability of the cardiovascular system to adjust to functional demands and/or respond to internal or external stimuli by adjusting heart rate and other hemodynamic variables, and immunomodulatory and cognitive disturbances. CONCLUSIONS: Impaired cardiac autonomic modulation in Chagas disease might not be a mere epiphenomenon without significance. Indirect evidences point for a likely important role of this alteration as a primary predisposing or triggering cause or mediator favouring the development of subtle or evident secondary cardiovascular functional disturbances and clinical consequences, and influencing adverse outcomes.
Resumo:
INTRODUCTION: The septal position is an alternative site for cardiac pacing (CP) that is potentially less harmful to cardiac function. METHODS: Patients with Chagas disease without heart failure submitted to permanent pacemaker (PP) implantation at the Clinics Hospital of the Triângulo Mineiro Federal University (UFTM), were selected from February 2009 to February 2010. The parameters analyzed were ventricular remodeling, the degree of electromechanical dyssynchrony (DEM), exercise time and VO2 max during exercise testing (ET) and functional class (NYHA). Echocardiography was performed 24 to 48h following implantation and after one year follow-up. The patients were submitted to ET one month postprocedure and at the end of one year. RESULTS: Thirty patients were included. Patient mean age was 59±13 years-old. Indication for PP implantation was complete atrioventricular (AV) block in 22 (73.3%) patients and 2nd degree AV block in the other eight (26.7%). All patients were in NYHA I and no changes occurred in the ET parameters. No variations were detected in echocardiographic remodeling measurements. Intraventricular dyssynchrony was observed in 46.6% of cases and interventricular dyssynchrony in 33.3% of patients after one year. CONCLUSIONS: The findings of this work suggest that there is not significant morphological and functional cardiac change following pacemaker implantation in septal position in chagasic patients with normal left ventricular function after one year follow-up. Thus, patients may remain asymptomatic, presenting maintenance of functional capacity and no left ventricular remodeling.
Resumo:
Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.
Resumo:
The present dissertation intends to study passives in Capeverdean. I argue that Capeverdean have eventive passives with specific morphology, postverbal morphemes, -du and -da, which affix to the verb to form passives and interact with the TMA morphemes available in the language in the same way as in the active voice. I also show that Capeverdean only allows short passives. However, this study demonstrates that the by-phrase, although not expressed phonologically, is implicit and can be tracked through instrumentals and Agent-oriented adverbs. In order to account for this specific property of Capeverdean passives, I assume the existence of a Voice head which introduces the external argument in all finite sentences in Capeverdean, except in unaccusatives, following proposals from Marantz (1984), Kratzer (1996), Sailor & Ahn (2010), Pratas (2014). I also assume that this Voice head is subject to a Doubly Filled Comp Filter, similar to what is proposed in Koopman (1997), which determines that either heads or specifiers can be overt, never both. In the case of passives, I propose that external argument is in Spec,Voice and the passive morphology is lexicalized in Voice0 and that while Spec,Voice is silent, Voice0 is not. This configuration can be explained if it is assumed, following Costa & Martins (2004), that in Capeverdean passives Voice0 is a strong functional head, thus requiring visibility at PF. This restriction, combined with the Doubly Filled Comp filter, imposes that Spec,Voice is silent.
Resumo:
In this work, cellulose-based electro and ionic conductive composites were developed for application in cellulose based printed electronics. Electroconductive inks were successfully formulated for screen-printing using carbon fibers (CFs) and multi-walled carbon nanotubes (MWCNTs) as conductive functional material and cellulose derivatives working as binder. The formulated inks were used to fabricate conductive flexible and disposable electrodes on paper-based substrates. Interesting results were obtained after 10 printing passes and drying at RT of the ink with 10 % wt. of pristine CFs and 3% wt. of carboxymethyl cellulose (CMC), exhibiting a resistivity of 1.03 Ωcm and a resolution of 400 μm. Also, a resistivity of 0.57 Ωcm was obtained for only one printing pass using an ink based on 0.5 % wt. MWCNTs and 3 % wt. CMC. It was also demonstrated that ionic conductive cellulose matrix hydrogel can be used in electrolyte-gated transistors (EGTs). The electrolytes revealed a double layer capacitance of 12.10 μFcm-2 and ionic conductivity of 3.56x10-7 Scm-1. EGTs with a planar configuration, using sputtered GIZO as semiconducting layer, reached an ON/OFF ratio of 3.47x105, a VON of 0.2 V and a charge carrier mobility of 2.32 cm2V-1s-1.
Resumo:
The present PhD thesis develops the cell functional enviromics (CFE) method to investigate the relationship between environment and cellular physiology. CFE may be defined as the envirome-wide cellular function reconstruction through the collection and systems-level analysis of dynamic envirome data. Throughout the thesis, CFE is illustrated by two main applications to cultures of a constitutive P. pastoris X33 strain expressing a scFv antibody fragment. The first application addresses the challenge of culture media development. A dataset was built from 26 shake flask experiments, with variations in trace elements concentrations and basal medium dilution based on the standard BSM+PTM1. Protein yield showed high sensitivity to culture medium variations, while biomass was essentially determined by BSM dilution. High scFv yield was associated with high overall metabolic fluxes through central carbon pathways concomitantly with a relative shift of carbon flux from biosynthetic towards energy-generating pathways. CFE identified three cellular functions (growth, energy generation and by-product formation) that together described 98.8% of the variance in observed fluxes. Analyses of how medium factors relate to identified cellular functions showed iron and manganese at concentrations close to PTM1 inhibit overall metabolic activity. The second application addresses bioreactor operation. Pilot 50 L fed-batch cultivations, followed by 1H-NMR exometabolite profiling, allowed the acquisition of data for 21 environmental factors over time. CFE identified five major metabolic pathway groups that are frequently activated by the environment. The resulting functional enviromics map may serve as template for future optimization of media composition and feeding strategies for Pichia pastoris. The present PhD thesis is a step forward towards establishing the foundations of CFE that is still at its infancy. The methods developed herein are a contribution for changing the culture media and process development paradigm towards a holistic and systematic discipline in the future.
Resumo:
Aziridines, a class of organic compounds containing a three membered heterocycle with a nitrogen atom, are extremely valuable molecules in organic and medicinal chemistry. They are frequently used as versatile precursors in the synthesis of natural products, and many biologically active molecules possess the aziridine moiety. The reactivity of aziridines has been studied, for example, in ring-opening reactions with thiols. However, not much interest seems to be given to reactions of aziridines in aqueous media, despite the numberless advantages of using water as solvent in organic chemistry. The nucleophilic ring-opening reaction of aziridines in aqueous media was here explored. Following the Kaplan aziridine synthetic methodology, in which pyridinium salts undergo a photochemical transformation to give bicyclic vinyl aziridines, new aziridines were synthetized. Their nucleophilic ring-opening reaction in water under physiological conditions was investigated and a range of sulphur, nitrogen, carbon and oxygen nucleophiles tested. Thiols, anilines and azide proved to be good nucleophiles to react with the aziridines, giving the ring-opening product in moderate to good yields. The best results were obtained with thiols, more specifically with cysteine-derived nucleophiles. Preliminary results show that these bicyclic vinyl aziridines can modify calcitonin, a peptide containing two cysteine amino acids residues, grating them the potential to be used in bioconjugation as ligands to cysteine-containing proteins, or even as enzyme inhibitors of, for example, cysteine proteases. Additionally, exploratory investigations suggest that the separation of both enantiomers of the bicyclic vinyl aziridine can be performed by taking advantage of an enzymatic methodology for the resolution of racemic secondary alcohols. Both enantiomers would be highly valuable as precursors in the synthesis of enantiomerically pure molecules, as no other method is currently reported for their separation.