48 resultados para functional programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertation presented to obtain the Ph.D degree in Engineering and Technology Sciences-Biotechnology

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Dissertação para obtenção do Grau de Mestre em Bioquímica

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Mannans (linear mannan, glucomannan, galactomannan and galactoglucomannan) are the major constituents of the hemicellulose fraction in softwoods and show great importance as a renewable resource for fuel or feedstock applications. As complex polysaccharides, mannans can only be degraded through a synergistic action of different mannan-degrading enzymes, mannanases. Microbial mannanases are mainly extracellular enzymes that can act in wide range of pH and temperature, contributing to pulp and paper, pharmaceutical, food and feed, oil and textile successful industrial applications. Knowing and controlling these microbial mannan-degrading enzymes are essential to take advantage of their great biotechnological potential. The genome of the laboratory 168 strain of Bacillus subtilis carries genes gmuA-G dedicated to the degradation and utilization of glucomannan, including an extracellular -mannanase. Recently, the genome sequence of an undomesticated strain of B. subtilis, BSP1, was determined. In BSP1, the gmuA-G operon is maintained, interestingly, however, a second cluster of genes was found (gam cluster), which comprise a second putative extracellular β-mannanase, and most likely specify a system for the degradation and utilization of a different mannan polymer, galactoglucomannan. The genetic organization and function of the gam cluster, and whether its presence in BSP1 strain results in new hemicellulolytic capabilities, compared to those of the laboratory strain, was address in this work. In silico and in vivo mRNA analyses performed in this study revealed that the gam cluster, comprising nine genes, is organized and expressed in at least six different transcriptional units. Furthermore, cloning, expression, and production of Bbsp2923 in Escherichia coli was achieved and preliminary characterization shows that the enzyme is indeed a β-mannanase. Finally, the high hemicellulolytic capacity of the undomesticated B. subtilis BSP1, demonstrated in this work by qualitative analyses, suggests potential to be used in the food and feed industries.

Relevância:

20.00% 20.00%

Publicador:

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.!!(...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.(...)

Relevância:

20.00% 20.00%

Publicador:

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.(...)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

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.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.