10 resultados para GUANIDINIUM CATION
Resumo:
Póster presentado en The Energy and Materials Research Conference - EMR2015 celebrado en Madrid (España) entre el 25-27 de febrero de 2015
Resumo:
We present a prototype that implements a set of logical rules to prove the satis ability for a class of speci cations on XML documents. Speci cations are given by means of constraints built on Boolean XPath patterns. The main goal of this tool is to test if a given speci cation is satis able or not, showing the history of the execution. It can also be used to test if a given document is a model of a given speci cation and, as a subproduct, it allows to look for all the relations (monomorphisms) between two patterns or the result of doing some operations by combining patterns in di erent ways. The results of these operations are visually shown and therefore the tool makes these operations more understandable. The implementation of the algorithm has been written in Prolog but the prototype has a Java interface for an easy and friendly use.
Resumo:
Homenaje a Georges Laplace, realizado en Vitoria-Gasteiz el 13,14 y 15 de noviembre de 2012. Edición a cargo de Aitor Calvo, Aitor Sánchez, Maite García-Rojas y Mónica Alonso-Eguíluz.
Clasificación del formato tridimensional de materiales líticos desde una perspectiva geoarqueológica
Resumo:
Homenaje a Georges Laplace, realizado en Vitoria-Gasteiz el 13, 14 y 15 de noviembre de 2012. Edición a cargo de Aitor Calvo, Aitor Sánchez, Maite García-Rojas y Mónica Alonso-Eguíluz.
Resumo:
Spurious oscillations are one of the principal issues faced by microwave and RF circuit designers. The rigorous detection of instabilities or the characterization of measured spurious oscillations is still an ongoing challenge. This project aims to create a new stability analysis CAD program that tackles this chal- lenge. Multiple Input Multiple Output (MIMO) pole-zero identification analysis is introduced on the program as a way to create new methods to automate the stability analysis process and to help designers comprehend the obtained results and prevent incorrect interpretations. The MIMO nature of the analysis contributes to eliminate possible controllability and observability losses and helps differentiate mathematical and physical quasi-cancellations, products of overmodeling. The created program reads Single Input Single Output (SISO) or MIMO frequency response data, and determines the corresponding continuous transfer functions with Vector Fitting. Once the transfer function is calculated, the corresponding pole/zero diagram is mapped enabling the designers to analyze the stability of an amplifier. Three data processing methods are introduced, two of which consist of pole/zero elimina- tions and the latter one on determining the critical nodes of an amplifier. The first pole/zero elimination method is based on eliminating non resonant poles, whilst the second method eliminates the poles with small residue by assuming that their effect on the dynamics of a system is small or non-existent. The critical node detection is also based on the residues; the node at which the effect of a pole on the dynamics is highest is defined as the critical node. In order to evaluate and check the efficiency of the created program, it is compared via examples with another existing commercial stability analysis tool (STAN tool). In this report, the newly created tool is proved to be as rigorous as STAN for detecting instabilities. Additionally, it is determined that the MIMO analysis is a very profitable addition to stability analysis, since it helps to eliminate possible problems of loss of controllability, observability and overmodeling.
Resumo:
32 p.
Resumo:
Power Point presentado en The Energy and Materials Research Conference - EMR2015 celebrado en Madrid (España) entre el 25-27 de febrero de 2015
Resumo:
We have recently shown that the transient receptor potential vanilloid type 1 (TRPV1), a non-selective cation channel in the peripheral and central nervous system, is localized at postsynaptic sites of the excitatory perforant path synapses in the hippocampal dentate molecular layer (ML). In the present work, we have studied the distribution of TRPV1 at inhibitory synapses in the ML. With this aim, a preembedding immunogold method for high resolution electron microscopy was applied to mouse hippocampus. About 30% of the inhibitory synapses in the ML are TRPV1 immunopositive, which is mostly localized perisynaptically (similar to 60% of total immunoparticles) at postsynaptic dendritic membranes receiving symmetric synapses in the inner 1/3 of the layer. This TRPV1 pattern distribution is not observed in the ML of TRPV1 knock-out mice. These findings extend the knowledge of the subcellular localization of TRPV1 to inhibitory synapses of the dentate molecular layer where the channel, in addition to excitatory synapses, is present.
Resumo:
Artículo científico: postprint
Resumo:
postprint