1000 resultados para reti, petri, algebra, Multi-CCS, semantica


Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peer-reviewed

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The multi-element determination of Al, Cr, Mn, Ni, Cu, Zn, Cd, Ba, Pb, SO4= and Cl- in riverine water samples was accomplished by inductively coupled plasma mass spectrometry (ICP-MS). The sample passed through a column containing the anionic resin AG1-X8 and the metals were determined directly. The retained anionic species were eluted and SO4= and Cl- were determined at m/z 48 and 35 correspondent to the ions SO+ and Cl+ formed at the plasma. Accuracy for metals was assessed by analysing the certified reference TM-26 (National Water Research Institute of Canada). Results for SO4= and Cl- were in agreement with those obtained by turbidimetry and spectrophotometry. LOD's of 0.1 µg l-1 for Cd, Ba and Pb; 0.2 µg l-1 for Al, Mn and Cu; 0.5 µg l-1 for Cr; 0.9 for Zn; 2.0 µg l-1for Ni , 60 µg l-1 for S and 200 µg l-1 Cl were attained.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Simultaneous localization and mapping(SLAM) is a very important problem in mobile robotics. Many solutions have been proposed by different scientists during the last two decades, nevertheless few studies have considered the use of multiple sensors simultane¬ously. The solution is on combining several data sources with the aid of an Extended Kalman Filter (EKF). Two approaches are proposed. The first one is to use the ordinary EKF SLAM algorithm for each data source separately in parallel and then at the end of each step, fuse the results into one solution. Another proposed approach is the use of multiple data sources simultaneously in a single filter. The comparison of the computational com¬plexity of the two methods is also presented. The first method is almost four times faster than the second one.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The aim of this master´s thesis is to study which processes increase the auxiliary power consumption in carbon capture and storage processes and if it is possible to reduce the auxiliary power consumption with variable speed drives. Also the cost of carbon capture and storage is studied. Data about auxiliary power consumption in carbon capture is gathered from various studies and estimates made by various research centres. Based on these studies a view is presented how the power auxiliary power consumption is divided between different processes in carbon capture processes. In a literary study, the operation of three basic carbon capture systems is described. Also different methods to transport carbon dioxide and carbon dioxide storage options are described in this section. At the end of the thesis processes that consume most of the auxiliary power are defined and possibilities to reduce the auxiliary power consumption are evaluated. Cost of carbon capture, transport and storage are also evaluated at this point and in the case that the carbon capture and storage systems are fully deployed. According to the results, it can be estimated what are the processes are where variable speed drives can be used and what kind of cost and power consumption reduction could be achieved. Results also show how large a project carbon capture and storage is if it is fully deployed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Global warming mitigation has recently become a priority worldwide. A large body of literature dealing with energy related problems has focused on reducing greenhouse gases emissions at an engineering scale. In contrast, the minimization of climate change at a wider macroeconomic level has so far received much less attention. We investigate here the issue of how to mitigate global warming by performing changes in an economy. To this end, we make use of a systematic tool that combines three methods: linear programming, environmentally extended input output models, and life cycle assessment principles. The problem of identifying key economic sectors that contribute significantly to global warming is posed in mathematical terms as a bi criteria linear program that seeks to optimize simultaneously the total economic output and the total life cycle CO2 emissions. We have applied this approach to the European Union economy, finding that significant reductions in global warming potential can be attained by regulating specific economic sectors. Our tool is intended to aid policymakers in the design of more effective public policies for achieving the environmental and economic targets sought.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo de fin de grado plantea probar la viabilidad de realizar un sistema de almacenamiento y distribución de imágenes médicas, utilizando únicamente software de código abierto, libre distribución o gratuito.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este estudio aborda un doble objetivo: a) conocer si existe progresión signi+cativa entre tres valores correspondientes al índice de Borg elicitados por jóvenes deportistas con relación a tres actividades de intensidad creciente; b) analizar la relación existente entre el índice de masa corporal (IMC) de los participantes con los valores de frecuencia cardíaca (FC) y la percepción de intensidad del esfuerzo (RPE). Método: Treinta y cinco deportistas jóvenes con una edad media de 18 y 28 años (21±0,5), realizaron 3 actividades que exigían una intensidad creciente de ejercicio: leve, moderada y vigorosa (ACSM, 2011). Se controló la frecuencia cardíaca mediante el dispositivo telemétrico Polar Team 2 y al +nalizar las tres actividades se administró tres veces la escala de Borg para obtener la RPE para cada actividad. Se ha complementado la metodología observacional indirecta (índices de Borg) con la metodología cuasiexperimental para obtener inferencias causales mediante un diseño sincrónico de variable de asignación conocida y grupo único. Se ha realizado un análisis de regresión múltiple, considerando la FC y la RPE como variables predictoras del IMC. Resultados: la RPE es creciente, acorde a las actividades, en todos los participantes, aunque en ningún caso la tendencia es estadísticamente signi+cativa. Prácticamente la cuarta parte del IMC se puede explicar por la FC y la RPE puesto que los participantes que tienen valores más altos de FC y de índice de Borg tienen también mayores valores de IMC. Este estudio puede proporcionar una visión de evaluación integrada entre los factores IMC, FC y la RPE, que suelen investigarse de modo aislado.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A microcontrolled, portable and inexpensive photometer is described. It uses six light-emitting diodes (LEDs) as radiation sources and a phototransistor as detector, as well as a microcontroller (PIC - Programmable Controller of Interruption). This device provided total autonomy to the proposed photometer, which was successfully applied to determination of Fe2+ in ferrous syrups and of seven clinical biochemical parameters. As the components are cheap (~U$30.00) and easy to find, the proposed photometer is an economical alternative for routine chemical analyses in small laboratories, for research and teaching. Being portable and microcontrolled, it allows doing field chemical analyses.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Robotic platforms have advanced greatly in terms of their remote sensing capabilities, including obtaining optical information using cameras. Alongside these advances, visual mapping has become a very active research area, which facilitates the mapping of areas inaccessible to humans. This requires the efficient processing of data to increase the final mosaic quality and computational efficiency. In this paper, we propose an efficient image mosaicing algorithm for large area visual mapping in underwater environments using multiple underwater robots. Our method identifies overlapping image pairs in the trajectories carried out by the different robots during the topology estimation process, being this a cornerstone for efficiently mapping large areas of the seafloor. We present comparative results based on challenging real underwater datasets, which simulated multi-robot mapping

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We have synthesized a family of rhein-huprine hybrids to hit several key targets for Alzheimer"s disease. Biological screening performed in vitro and in Escherichia coli cells has shown that these hybrids exhibit potent inhibitory activities against human acetylcholinesterase butyrylcholinesterase, and BACE-1, dual Aβ42 and tau anti-aggregating activity, and brain permeability. Ex vivo studies with the leads (+)- and (-)-7e in brain slices of C57bl6 mice have revealed that they efficiently protect against the Aβ-induced synaptic dysfunction , preventing the loss of synaptic proteins and/or have a positive effect on the induction of long term potentiation. In vivo studies in APP-PS1 transgenic mice treated i.p. for 4 weeks with (+)- and (-)-7e have shown a central soluble Aβ lowering effect, accompanied by an increase in the levels of mature amyloid precursor protein (APP). Thus, (+)- and (-)-7e emerge as very promising disease-modifying anti-Alzheimer drug candidates.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We have synthesized a family of rhein-huprine hybrids to hit several key targets for Alzheimer"s disease. Biological screening performed in vitro and in Escherichia coli cells has shown that these hybrids exhibit potent inhibitory activities against human acetylcholinesterase butyrylcholinesterase, and BACE-1, dual Aβ42 and tau anti-aggregating activity, and brain permeability. Ex vivo studies with the leads (+)- and (-)-7e in brain slices of C57bl6 mice have revealed that they efficiently protect against the Aβ-induced synaptic dysfunction , preventing the loss of synaptic proteins and/or have a positive effect on the induction of long term potentiation. In vivo studies in APP-PS1 transgenic mice treated i.p. for 4 weeks with (+)- and (-)-7e have shown a central soluble Aβ lowering effect, accompanied by an increase in the levels of mature amyloid precursor protein (APP). Thus, (+)- and (-)-7e emerge as very promising disease-modifying anti-Alzheimer drug candidates.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Notwithstanding the functional role that the aggregates of some amyloidogenic proteins can play in different organisms, protein aggregation plays a pivotal role in the pathogenesis of a large number of human diseases. One of such diseases is Alzheimer"s disease (AD), where the overproduction and aggregation of the β-amyloid peptide (Aβ) are regarded as early critical factors. Another protein that seems to occupy a prominent position within the complex pathological network of AD is the enzyme acetylcholinesterase (AChE), with classical and non-classical activities involved at the late (cholinergic deficit) and early (Aβ aggregation) phases of the disease. Dual inhibitors of Aβ aggregation and AChE are thus emerging as promising multi-target agents with potential to efficiently modify the natural course of AD. In the initial phases of the drug discovery process of such compounds, in vitro evaluation of the inhibition of Aβ aggregation is rather troublesome, as it is very sensitive to experimental assay conditions, and requires expensive synthetic Aβ peptides, which makes cost-prohibitive the screening of large compound libraries. Herein, we review recently developed multi-target anti-Alzheimer compounds that exhibit both Aβ aggregation and AChE inhibitory activities, and, in some cases also additional valuable activities such as BACE-1 inhibition or antioxidant properties. We also discuss the development of simplified in vivo methods for the rapid, simple, reliable, unexpensive, and high-throughput amenable screening of Aβ aggregation inhibitors that rely on the overexpression of Aβ42 alone or fused with reporter proteins in Escherichia coli.