Recursos de colección

RiuNet. Repositorio institucional de la Universitat de Valencia (99.709 recursos)

RiuNet es el Repositorio Institucional de la Universitat Politècnica de València, gestionado por la Biblioteca, cuyo objetivo es ofrecer acceso en Internet a la producción científica, académica y corporativa de la comunidad universitaria con la finalidad de aumentar su visibilidad y hacerla accesible y preservable.

Informes técnicos y otro material de investigación

Mostrando recursos 1 - 20 de 27

  1. Métodos geométricos para el trazado de los perfiles de los nervios de bóvedas de crucería. La Capilla de la Lonja de Valencia

    Capilla Tamborero, Esther
    RESUMEN: Los perfiles de las bóvedas de crucería eran moldeados mediante plantillas o patrones, hechos de madera o metal, con el fin de facilitar la tarea del maestro albañil, de modo que pudieran ejecutar correctamente los arcos de cantería que formaban parte de esos nervios. Se realizaban de acuerdo con un método geométrico desarrollado a lo largo del tiempo. Se muestra aquí la hipótesis del método geométrico utilizado para construir algunos perfiles de nervios pertenecientes a una bóveda de crucería estrellada de La Lonja de la Seda, edificio valenciano representativo de la ciudad de Valencia construido a finales del siglo...

  2. Hipótesis de métodos geométricos en perfiles de dovelas de bóvedas de crucería del monasterio de Santa Maria de la Valldigna (Valencia, España)

    Capilla Tamborero, Esther
    English: The voussoirs profiles of the cross vaults ribs were realized in wood or metal to facilitate the master mason task. Geometry was the scientific basis of the layout of the same; they are performed according to a geometric method that evolved over time. Several authors attach great importance to the study of the profiles. Viollet-le-Duc (1814-1879) says that helps verify the monuments date, and it exposes geometric method evolution for drawing profiles of cross vaults ribs of French architecture. Vicente Lampérez (1861-1923) said that "the art of the profile in the cross vaults ribs is sufficient to characterize them...

  3. PROGRESO

    Puerta Gómez, María Felicia; Puerta Gómez, María Felicia
    La obra de Progreso y Progreso mismo, constituyen un modelo de trayectoria profesional digno de admiración y reconocimiento, para lo que la Universitat de Valencia, a través de su Vicedecanato de Cultura ha querido homenajear a través de esta publicación, realizada a propósito de la muestra exhibida en la Sala Manuela Ballester; incluye textos de Marisa Giménez, historiadora de Arte y comisaria, y Felicia Puerta, pintora y profesora de Bellas Artes, análisis y reflexiones a cerca de la vida y la obra del Autor. Así mismo, esta publicación recoge la obra más reciente de Progreso, uno de los artistas significativos...

  4. Felicia Puerta. Octubre del 2017

    Puerta Gómez, María Felicia
    Esta publicación editada por el Museo Arqueológico de Alarcón, recoge la serie de pinturas realizada para la exposición “OCTUBRE DEL 2017”, de Felicia Puerta expresamente producida para el museo; incluye textos introductorios sobre la obra, así como análisis, entrevista y biografía de la autora. Edición que continúa en la línea de divulgación paralela de las actividades culturales que está llevando a cabo el Museo, a través de la Concejalía de Cultura, y la Dirección del Museo, para la difusión de su programación.

  5. APD, QT interval and Tx Values

    Saiz Rodríguez, Francisco Javier; Sanz i Carreras, Ferran; Pastor Maeso, Manuel; Trénor Gomis, Beatriz Ana; Gomis-Tena Dolz, Julio; Cano García, Jordi; Romero Pérez, Lucia
    Every sheet in described files contains a table of numbers (doubles), resulting from the transformation of a three-dimensional matrix. To do so, the first two columns and the first row of each table contain the Coordinates x, y and z of the original matrix respectively (no units). They range from -3 to 1 for the x and y axis (first and second column) and from -3 to 0 for the z axis (first row). The nature of the remaining numbers differs between files: APD.xlsx contains the Action Potential Duration at 90% repolarization (APD90) values in milliseconds, QT.xlsx contains QT interval...

  6. Abstract Contract Synthesis and Verification in the Symbolic K Framework

    Alpuente Frasnedo, María; Pardo Pont, Daniel; Villanueva García, Alicia
    In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based structures and heap manipulation. Starting from the semantic definition of KernelC in the K semantic framework, we enrich the symbolic execution facilities recently provided by K with novel capabilities for contract synthesis that are based on abstract subsumption. Roughly speaking, we define an abstract symbolic technique that axiomatically explains the execution of any (modifier) C function by using other (observer) routines in the same program. We implemented...

  7. I.G.

    Hernández-Orallo, José
    This report summarises the key ideas for a simple concept of I.G. and its explanatory value for several areas.

  8. Static Correction of Maude Programs with Assertions

    Alpuente Frasnedo, María; Ballis, D.; Sapiña Sanchis, Julia
    In this paper, we present a novel transformation method for Maude programs featuring both automatic program diagnosis and correction. The input of our method is a reference specification A of the program behavior that is given in the form of assertions together with an overly general program R whose execution might violate the assertions. Our technique translates R into a refined program R' in which every computation is a computation in R that satisfies the assertions of A. Our correction technique is first formalized for topmost rewrite theories, and then we generalize it to larger rewrite theories that support nested structured...

  9. XXI Congreso de Ingeniería de Organización / 11th International Conference on Industrial Engineering and Industrial Management Proceedings - “Engineering Digital Transformation”.

    Poler Escoto, Raúl; García Sabater, José Pedro; Ortiz Bas, Ángel; Andrés Romano, Carlos
    The CIO2017 Proceedings contains the contributions presented in the XXI Congreso de Ingeniería de Organización / 11th International Conference on Industrial Engineering and Industrial Management. This International Joint Conference is promoted by ADINGOR (Asociación para el Desarrollo de la Ingeniería de Organización). The conference has been organised by the Research Centre on Production Management and Engineering (CIGIP) and Re-engineering, Organisation, Group Work, and Business Logistics Research Group (ROGLE) at Universitat Politècnica de València (UPV). The CIO2017’s motto is: “Engineering Digital Transformation”. The mission of the Conference is to promote links between researchers and practitioners from different branches, to enhance an interdisciplinary...

  10. XXI Congreso de Ingeniería de Organización / 11th International Conference on Industrial Engineering and Industrial Management Proceedings - “Engineering Digital Transformation”.


    The CIO2017 Proceedings contains the contributions presented in the XXI Congreso de Ingeniería de Organización / 11th International Conference on Industrial Engineering and Industrial Management. This International Joint Conference is promoted by ADINGOR (Asociación para el Desarrollo de la Ingeniería de Organización). The conference has been organised by the Research Centre on Production Management and Engineering (CIGIP) and Re-engineering, Organisation, Group Work, and Business Logistics Research Group (ROGLE) at Universitat Politècnica de València (UPV). The CIO2017’s motto is: “Engineering Digital Transformation”. The mission of the Conference is to promote links between researchers and practitioners from different branches, to enhance an interdisciplinary...

  11. The 3rd International Joint Conference ICIEOM-ADINGOR-IISE-AIM-ASEM (IJC2017) PROCEEDINGS - “New Global Perspectives on Industrial Engineering and Management”


    The IJC2017 Proceedings contains the contributions presented in the 3rd International Joint Conference ICIEOM – ADINGOR – IISE – AIM - ASEM : “XXIII International Conference on Industrial Engineering and Operations Management”, “International ADINGOR Conference 2017”, “International IISE Conference 2017”, “International AIM Conference 2017” and “International ASEM Conference 2017”. This International Joint Conference is a result of an agreement among ADINGOR (Asociación para el Desarrollo de la Ingeniería de Organización), ABEPRO (Associaçâo Brasileira de Engenharia de Produçâo), IISE (Institute of Industrial & Systems Engineers), AIM (European Academy for Industrial Management) and ASEM (American Society for Engineering Management). The conference has been...

  12. Gandia i el seu port, març de 1939. El penúltim acte de la Segona República Espanyola

    LLOPIS, ROBERT; SANTACREU, JOSÉ MIGUEL; MAINAR, ELADI
    Estudi sobre el paper jugat pel port de Gandia als darrers dies de la II República

  13. L'ESGLÉSIA EN LA DICTADURA. EL CAS D'ALFONS ROIG

    GARCÍA ROCA, XIMO
    Conferència impartida per Ximo García Roca l’11 de desembre de 2017. CEIC Alfons el Vell. Gandia

  14. Els boscos de la Safor

    Rodenas, Xavier; Sendra, Josep; Peiró, Jose Maria
    Un recorregut pels boscos de la Safor

  15. Els boscos de la Safor

    Rodenas, Xavier; Sendra, Josep; Peiró, Jose Maria
    Un recorregut pels boscos de la Safor

  16. Els escriptors valencians i la llengua literària. I Jornades sobre llengua literària i els escriptors valencians actuals.

    Garcia Frasquet, Gabriel; Casanova, emili
    Actes de les primeres jornades sobre la llengua literària i els escriptors valencians actuals

  17. Els escriptors valencians i la llengua literària. I Jornades sobre llengua literària i els escriptors valencians actuals.

    Garcia Frasquet, Gabriel; Casanova, emili
    Actes de les primeres jornades sobre la llengua literària i els escriptors valencians actuals

  18. Els escriptors valencians i la llengua literària. I Jornades sobre llengua literària i els escriptors valencians actuals.

    Garcia Frasquet, Gabriel; Casanova, emili
    Actes de les primeres jornades sobre la llengua literària i els escriptors valencians actuals

  19. Els bolets de la Safor i zones limítrofes

    García Català, Santiago
    Un repàs per la diversitat fúngica de la Safor i les zones limítrofes. Conté una fitxa per a cada espècie on es troba el nom científic i vulgar, descripció, comestibilitat, hàbitat i observacions, junt a una foto i un mapa de localització.

  20. Els bolets de la Safor i zones limítrofes

    García Català, Santiago
    Un repàs per la diversitat fúngica de la Safor i les zones limítrofes. Conté una fitxa per a cada espècie on es troba el nom científic i vulgar, descripció, comestibilitat, hàbitat i observacions, junt a una foto i un mapa de localització.

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.