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.

Dialogic learning and interactive groups: an IMS LD template integrated in runtime systems

Dialogic learning and interactive groups have proved to be a useful methodological approach appliedin educational situations for lifelong adult learners. The principles of this approach stress theimportance of dialogue and equal participation also when designing the training activities. This paperadopts these principles as the basis for a configurable template that can be integrated in runtimesystems. The template is formulated as a meta-UoL which can be interpreted by IMS Learning Designplayers. This template serves as a guide to flexibly select and edit the activities at runtime (on the fly).The meta-UoL has been used successfully by a practitioner so as to create a real-life example, withpositive and encouraging results

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

Análisis y sintonización de aplicaciones paralelas/distribuidas de bioinformática: caso de estudio mpiBLAST

En termes de temps d'execució i ús de dades, les aplicacions paral·leles/distribuïdes poden tenir execucions variables, fins i tot quan s'empra el mateix conjunt de dades d'entrada. Existeixen certs aspectes de rendiment relacionats amb l'entorn que poden afectar dinàmicament el comportament de l'aplicació, tals com: la capacitat de la memòria, latència de la xarxa, el nombre de nodes, l'heterogeneïtat dels nodes, entre d'altres. És important considerar que l'aplicació pot executar-se en diferents configuracions de maquinari i el desenvolupador d'aplicacions no port garantir que els ajustaments de rendiment per a un sistema en particular continuïn essent vàlids per a d'altres configuracions. L'anàlisi dinàmica de les aplicacions ha demostrat ser el millor enfocament per a l'anàlisi del rendiment per dues raons principals. En primer lloc, ofereix una solució molt còmoda des del punt de vista dels desenvolupadors mentre que aquests dissenyen i evaluen les seves aplicacions paral·leles. En segon lloc, perquè s'adapta millor a l'aplicació durant l'execució. Aquest enfocament no requereix la intervenció de desenvolupadors o fins i tot l'accés al codi font de l'aplicació. S'analitza l'aplicació en temps real d'execució i es considra i analitza la recerca dels possibles colls d'ampolla i optimitzacions. Per a optimitzar l'execució de l'aplicació bioinformàtica mpiBLAST, vam analitzar el seu comportament per a identificar els paràmetres que intervenen en el rendiment d'ella, com ara: l'ús de la memòria, l'ús de la xarxa, patrons d'E/S, el sistema de fitxers emprat, l'arquitectura del processador, la grandària de la base de dades biològica, la grandària de la seqüència de consulta, la distribució de les seqüències dintre d'elles, el nombre de fragments de la base de dades i/o la granularitat dels treballs assignats a cada procés. El nostre objectiu és determinar quins d'aquests paràmetres tenen major impacte en el rendiment de les aplicacions i com ajustar-los dinàmicament per a millorar el rendiment de l'aplicació. Analitzant el rendiment de l'aplicació mpiBLAST hem trobat un conjunt de dades que identifiquen cert nivell de serial·lització dintre l'execució. Reconeixent l'impacte de la caracterització de les seqüències dintre de les diferents bases de dades i una relació entre la capacitat dels workers i la granularitat de la càrrega de treball actual, aquestes podrien ser sintonitzades dinàmicament. Altres millores també inclouen optimitzacions relacionades amb el sistema de fitxers paral·lel i la possibilitat d'execució en múltiples multinucli. La grandària de gra de treball està influenciat per factors com el tipus de base de dades, la grandària de la base de dades, i la relació entre grandària de la càrrega de treball i la capacitat dels treballadors.

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

Exploring Cross-layer power management for PGAS applications on the SCC platform

Technological limitations and power constraints are resulting in high-performance parallel computing architectures that are based on large numbers of high-core-count processors. Commercially available processors are now at 8 and 16 cores and experimental platforms, such as the many-core Intel Single-chip Cloud Computer (SCC) platform, provide much higher core counts. These trends are presenting new sets of challenges to HPC applications including programming complexity and the need for extreme energy efficiency.In this work, we first investigate the power behavior of scientific PGAS application kernels on the SCC platform, and explore opportunities and challenges for power management within the PGAS framework. Results obtained via empirical evaluation of Unified Parallel C (UPC) applications on the SCC platform under different constraints, show that, for specific operations, the potential for energy savings in PGAS is large; and power/performance trade-offs can be effectively managed using a cross-layerapproach. We investigate cross-layer power management using PGAS language extensions and runtime mechanisms that manipulate power/performance tradeoffs. Specifically, we present the design, implementation and evaluation of such a middleware for application-aware cross-layer power management of UPC applications on the SCC platform. Finally, based on our observations, we provide a set of recommendations and insights that can be used to support similar power management for PGAS applications on other many-core platforms.

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.