A geometric mechanism of diffusion: Rigorous verification in a priori unstable Hamiltonian systems

In this paper we consider a representative a priori unstable Hamiltonian system with 2+1/2 degrees of freedom, to which we apply the geometric mechanism for diffusion introduced in the paper Delshams et al., Mem.Amer.Math. Soc. 2006, and generalized in Delshams and Huguet, Nonlinearity 2009, and provide explicit, concrete and easily verifiable conditions for the existence of diffusing orbits. The simplification of the hypotheses allows us to perform explicitly the computations along the proof, which contribute to present in an easily understandable way the geometric mechanism of diffusion. In particular, we fully describe the construction of the scattering map and the combination of two types of dynamics on a normally hyperbolic invariant manifold.

Device for simultaneous measurement of the Peltier and Seebeck coefficients verification of the Kelvin relation

We have designed and built an experimental device, which we called a "thermoelectric bridge." Its primary purpose is simultaneous measurement of the relative Peltier and Seebeck coefficients. The systematic errors for both coefficients are equal with this device and manipulation is not necessary between the measurement of one coefficient and the other. Thus, this device is especially suitable for verifying their linear relation postulated by Lord Kelvin. Also, simultaneous measurement of thermal conductivity is described in the text. A sample is made up of the couple nickel¿platinum, taking measurements in the range of ¿20¿60°C and establishing the dependence of each coefficient with temperature, with nearly equal random errors ±0.2%, and systematic errors estimated at ¿0.5%. The aforementioned Kelvin relation is verified in this range from these results, proving that the behavioral deviations are ¿0.3% contained in the uncertainty ±0.5% caused by the propagation of errors

A measure of stability as a criterion for the verification and analysis of simulation models

The aim of this study is to define a new statistic, PVL, based on the relative distance between the likelihood associated with the simulation replications and the likelihood of the conceptual model. Our results coming from several simulation experiments of a clinical trial show that the PVL statistic range can be a good measure of stability to establish when a computational model verifies the underlying conceptual model. PVL improves also the analysis of simulation replications because only one statistic is associated with all the simulation replications. As well it presents several verification scenarios, obtained by altering the simulation model, that show the usefulness of PVL. Further simulation experiments suggest that a 0 to 20 % range may define adequate limits for the verification problem, if considered from the viewpoint of an equivalence test.

Cosa: arqueologia de un enclave comercial mediterráneo. Campaña de 2006

En el marco del proyecto “La ciutat romana de Cosa: arqueologia d’un enclau comercial mediterrani” , autorizado y apoyado por la Soprintendenza Archeologica por la Toscana, entre los dias 4 y 22 de septiembre de 2006 se ha realizado la segunda campaña de intervenciones arqueológicas en la ciudad romana de Cosa (Ansedonia, prov. Grosseto, Itàlia), colonia latina fundada en el 273 aC a unos 120 km. al norte de Roma. De acuerdo a los resultados obtenidos en la campanya del 2005 (localización/verificación de los límites precisos de la ínsula O-P/4-5 mediante la aplicación de técnicas de prospección geofísica completadas con la limpieza, registro y documentación arqueológica de las estructuras localizadas ) los trabajos del 2006 se han orientado hacia la identificación de la organización interna de la dicha ínsula tomando como referente el criptopórtico situado en el extremo N.E., el cual parece constituir el límite de una estructura singular (privada o pública ) estratégicamente ubicada en relación al fórum i a la Via Sacra. El trabajo de campo ha consistido en un intenso decapage con la finalidad de delimitar unidades de habitación complejas funcionalmente definidas y así la articulación existente entre ellas; en este sentido se ha podido documentar evidencias del espacio porticado superpuesto al criptopórtico así como, paralelamente a la calle 5 y en dirección a la Via Sacra, parte de habitaciones algunas de las cuales conservaban restos del pavimiento original, en un caso de mosaico. Paralelamente, se ha realizado el análisis en laboratorio de los materiales recuperados los cuales, aún procediendo de nivel superficial, empiezan a proporcionar datos sobre los diferentes momentos de ocupación de la zona, básicamente tardorepublicanos y augustales.

Disseny d'un sistema HW/SW de control remot amb dispositius FPGA

El projecte que es presenta a continuació, té com a objectiu implementar un sistema HW/SW encastat en una FPGA, capaç d’executar funcions de control remot per infraroig en plataformes de televisió flexibles de Sony Corp. El disseny obtingut, s’incorporarà a un sistema més ampli de verificació i test de circuits impresos, dins del marc de producció SMD. La finalitat d’aquest projecte, és la realització d’un sistema flexible per a la implementació de comandaments de comunicació per infraroig amb circuits impresos. Prèviament, s’ha estudiat els conceptes bàsics referents a la implementació de sistemes amb FPGAs, la seva metodologia de desenvolupament i les principals característiques de la seva arquitectura. Com a especificacions, s’ha utilitzat l’estàndard de control remot per infraroig de Sony Corp SIRCS (Sony Infrared remote control system).

Simulació numèrica de fenòmens de transferència de calor i dinàmics de fluids transitoris

The work carried out during the 4 year research activity can be barely classified in two main lines. On the one hand, a considerable effort is taken to address issues related with the verification of multi-dimensional and transient solutions that are obtained by numerical simulations. Within the studied cases, we can consider cases of piston-cylinder ows within geometries similar to those of hermetic reciprocating compressors.This issue is mentioned in Part I. On the other hand, numerical simulations of different phenomena have been performed. More emphasis has been given to the natural convection ow within enclosures. This is explained in Part II. The case extensively studied has been the natural convection ow. The natural convection ow within enclosures has attracted the attention of many researchers due to its potential to model numerous applications of engineering interest, such as cooling of electronic devices, air ow in buildings, heat transfer in solar collectors, among others. The natural convection studies corresponding to the parallelepipedic enclosures can be classified into two elementary classes: i) heating from a horizontal wall (heating from below); ii) heating from a vertical wall. The characteristic example of the former case is the Rayleigh-B_enard ow, however this research is on the cavities heated from the side. This configuration is referred commonly as the differentially heated cavity.

Análisis y diseño de un portal de venta de libros educativos

El objetivo de este proyecto ha consistido en realizar el análisis y diseño de una aplicación Web B2C, de forma que a partir de dicha documentación, se pueden iniciar las fases de implementación y verificación, antesde su puesta en producción.

Anàlisi de les competències comunicatives transversals dels graus d'enginyeria informàtica, enginyeria de telecomunicació i multimèdia a l'estat espanyol

En el cas sota estudi, hem revisat totes les memòries oficials de verificació disponibles dels graus en enginyeria en informàtica, enginyeria en telecomunicació i multimèdia amb l'objectiu d'analitzar diferents aspectes de la presència de diferents competències comunicatives transversals. En concret ens hem centrat en les competències d'expressió oral i escrita en llengua pròpia i estrangera (anglès), en l'habilitat en les relacions interpersonals i en la capacitat de comunicar-se amb audiències expertes i profanes sobre els matèries dels estudis.

Competencias Profesionales

En el entorno del ejercicio profesional, las destrezas, los valores y actitudes personales, tienen un papel relevante y complementario al de los conocimientos. Este es el motivo de que la enseñanza basada en competencias, como una combinación de saber, ser, hacer y estar con otros, esté en la línea deseada. En este sentido, las universidades han estado elaborando nuevos planes de estudio en los que se desarrollan los nuevos Grados de acuerdo al EEES, incluyendo en estos, las competencias genéricas de cada titulación, que en general, se ciñen a las propuestas presentadas en el proyecto Tuning 2003.La investigación llevada a cabo sobre la competencia comunicativa escrita en el Grado de Ingeniería en Informática, se ha centrado en universidades de toda la geografía española. La información se ha analizado en función de dos marcos de clasificación: el marco curricular (planes de estudio y memorias de verificación de Grado) y el marco de evaluación (rúbricas).La investigación ha corroborado, que la competencia comunicativa escrita, una competencia instrumental genérica que está en el grupo de las destrezas lingüísticas, se trabaja de forma natural en una variedad de asignaturas repartidas a lo largo de los planes de estudio del Grado de Ingeniería en Informática, hecho que favorece la consecución de esta competencia. Aunque solo alrededor de un 20% de los planes de estudio analizados presentan una asignatura, la cual, uno de sus objetivos principales sea la de favorecer la competencia comunicativa escrita, se entiende, además de por la transversalidad de la competencia comunicativa escrita en un plan de estudios TIC, porque esta competencia, como se ha señalado, se puede trabajar de forma eficaz dentro de las metodologías de otras asignaturas.La investigación nos ha llevado a la conclusión, de que un futuro Graduado en Ingeniería Informática de una universidad española, presentará suficiencia en la competencia comunicativa escrita, ya que en esa dirección apuntan las referencias analizadas. El uso de rúbricas se hace necesario para evaluar el aprendizaje de dicha competencia, ya que sin evaluación, no hay posibilidad de constatar si realmente se alcanzan los niveles de calidad deseados.El modelo educativo que propone la UOC, permite que se desarrollen de forma preeminente una serie de competencias transversales, que resultan básicas a la hora de enfrentarse a los retos que nos propone la sociedad, preparando a profesionales, además de con los conocimientos técnicos propios de un Ingeniero en Informática, con las habilidades y competencias transversales necesarias que completan su formación técnica.

Mètodes empírics en lingüística cognitiva

Peer-reviewed

Comparative gene finding in chicken indicates that we are closing in on the set of multi-exonic widely-expressed human genes

The recent availability of the chicken genome sequence poses the question of whether there are human protein-coding genes conserved in chicken that are currently not included in the human gene catalog. Here, we show, using comparative gene finding followed by experimental verification of exon pairs by RT–PCR, that the addition to the multi-exonic subset of this catalog could be as little as 0.2%, suggesting that we may be closing in on the human gene set. Our protocol, however, has two shortcomings: (i) the bioinformatic screening of the predicted genes, applied to filter out false positives, cannot handle intronless genes; and (ii) the experimental verification could fail to identify expression at a specific developmental time. This highlights the importance of developing methods that could provide a reliable estimate of the number of these two types of genes.

Gene finding in the chicken genome

Background: Despite the continuous production of genome sequence for a number of organisms,reliable, comprehensive, and cost effective gene prediction remains problematic. This is particularlytrue for genomes for which there is not a large collection of known gene sequences, such as therecently published chicken genome. We used the chicken sequence to test comparative andhomology-based gene-finding methods followed by experimental validation as an effective genomeannotation method.Results: We performed experimental evaluation by RT-PCR of three different computational genefinders, Ensembl, SGP2 and TWINSCAN, applied to the chicken genome. A Venn diagram wascomputed and each component of it was evaluated. The results showed that de novo comparativemethods can identify up to about 700 chicken genes with no previous evidence of expression, andcan correctly extend about 40% of homology-based predictions at the 5' end.Conclusions: De novo comparative gene prediction followed by experimental verification iseffective at enhancing the annotation of the newly sequenced genomes provided by standardhomology-based methods.

Optimised search heuristic combining valid inequalities and tabu search

This paper presents an Optimised Search Heuristic that combines a tabu search method with the verification of violated valid inequalities. The solution delivered by the tabu search is partially destroyed by a randomised greedy procedure, and then the valid inequalities are used to guide the reconstruction of a complete solution. An application of the new method to the Job-Shop Scheduling problem is presented.

Financial intermediation and equity investment with costly monitoring

This paper studies the efficiency of equilibria in a productive OLG economy where the process of financial intermediation is characterized by costly state verification. Both competitive equilibria and Constrained Pareto Optimal allocations are characterized. It is shown that market outcomes can be socially inefficient, even when a weaker notion than Pareto optimality is considered.