- -

Browsing by Subject "Theory"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Subject "Theory"

Sort by: Order: Results:

  • thumb
    A formal characterization of SI-based ROWA replication protocols 
    Armendáriz-Iñigo, J.E.; Juárez-Rodríguez, J.R.; González de Mendívil, J.R.; Garitagoitia, J.R.; Irún Briz, Luis; Muñoz Escoí, Francisco Daniel (Elsevier, 2011-01)
    Snapshot isolation (SI) is commonly used in some commercial DBMSs with a multiversion concurrency control mechanism since it never blocks read-only transactions. Recent database replication protocols have been designed ...
  • thumb
    A Survey of Algorithmic Debugging 
    Caballero, Rafael; Riesco, Adrián; Silva, Josep (Association for Computing Machinery, 2017-11)
    [EN] Algorithmic debugging is a technique proposed in 1982 by E. Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema ftting ...
  • thumb
    Diachronic transformations of urban routes for the theory of attractors 
    Camiz, Alessandro (Editorial Universitat Politècnica de València, 2018-04-20)
    [EN] Recent urban morphology studies consider urban tissues as living organisms changing in time (Strappa, Carlotti, Camiz, 2016), following this assumption the theory should examine more analytically what Muratori called ...
  • Icon
    El expurgo como herramienta de conservación 
    Vieira Serrano, Nathália (Universitat Politècnica de València, 2020-09-28)
    [ES] El expurgo es una actividad habitual en el ámbito de los archivos y bibliotecas. Es una acción de selección que tiene como consecuencia la retirada temporal o definitiva de documentos1 de estas colecciones. Como tal, ...
  • thumb
    ELECTRICAL CIRCUIT THEORY 
    Álvarez Bel, Carlos María; Alcázar Ortega, Manuel (Editorial Universitat Politècnica de València, 2012-06-26)
  • thumb
    Formulación material y espacial del modelo geometricamente exacto de piezas alargadas 
    Lázaro Fernández, Carlos Manuel (Universitat Politècnica de València, 2008-05-06)
    El análisis de la respuesta mecánica de piezas alargadas que experimentan grandes desplazamientos y rotaciones constituye un campo en el que se han producido avances significativos en las tres últimas décadas, tanto desde ...
  • thumb
    La crítica de arquitectura como modelo de investigación 
    Miranda Regojo, Antonio; Pina Lupiánez, Rafael; Casqueiro Barreiro, Fernando; Colmenares Vilata, Silvia; González de Mendoza Maruri, Nicolás (Universitat Politècnica de València, 2012-03-14)
    Desde el juicio de valor, procedente del estudio de la coherencia de una obra en relación a una teoría previa o en relación a una serie de edificios considerados paradigmáticos, la investigación se convierte en comprobación ...
  • thumb
    La Teoría del Viajero: Estructura narrativa aplicada a un cómic 
    Sancha Pla, Alejandro (Universitat Politècnica de València, 2020-07-24)
    [ES] La Teoría del Viajero es un relato de cómic cuyo tema principal es contar una teoría pseudocientífica y ficticia sobre el origen del universo. Para contar esta teoría, el relato se desglosa en 3 etapas: La primera ...
  • thumb
    Modelo para la motivación del personal de una empresa constructora en la república de honduras 
    COELLO, MARJORIE (Universitat Politècnica de València, 2015-06-15)
    [EN] Competitiveness in the globalized world is a reality for the construction industry, forcing any company wishing to succeed in today¿s market to ensure they have the best team possible. The human factor is a crucial ...
  • thumb
    Photography and Modern Architecture in Spain, 1925-1965. Iñaki Bergera (ed.) 
    Blanco Agüeira, Silvia (Editorial Universitat Politècnica de València, 2015-04-17)
    [EN] Under the same title as the research project it stems from, this book is intended as the catalogue for the exhibition held at the ICO Museum (Madrid) between June and September 2014. The project, under the direction ...
  • thumb
    Precise explanation of success typing errors 
    Sagonas, Konstantinos; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador (Association for Computing Machinery (ACM), 2013-01-21)
    Nowadays, many dynamic languages come with (some sort of) type inference in order to detect type errors statically. Often, in order not to unnecessarily reject programs which are allowed under a dynamic type discipline, ...
  • thumb
    Psico-atmósfera: Investigar para pensar y expresar la experiencia arquitectónica 
    Tuset Davó, Juan José; Guimaraens Igual, Guillermo (Universitat Politècnica de València, 2012-03-14)
    Apreciar que todo lo que nos rodea determina la arquitectura y preguntarse cuales son las códigos que rigen la percepción de lo que nos rodea son cuestiones propias del arquitecto. El grupo de investigación emergente e ...