Ara es mostren els items 1-12 de 12

    • A new approach for sizing trials with composite binary endpoints using anticipated marginal values and accounting for the correlation between components 

      Bofill Roig, Marta; Gómez Melis, Guadalupe (2019-05-20)
      Article
      Accés obert
      Composite binary endpoints are increasingly used as primary endpoints in clinical trials. When designing a trial, it is crucial to determine the appropriate sample size for testing the statistical differences between ...
    • Adjacency-preserving spatial treemaps 

      Buchin, Kevin; Eppstein, David; Löffler, Maarten; Nöllenburg, Martin; Silveira, Rodrigo Ignacio (2016)
      Article
      Accés obert
      Rectangular layouts, subdivisions of an outer rectangle into smaller rectangles, have many applications in visualizing spatial information, for instance in rectangular cartograms in which the rectangles represent geographic ...
    • Algorithmic geometry with infinite time computation 

      Tobar Nicolau, Adrián (Universitat Politècnica de Catalunya, 2020-07)
      Projecte Final de Màster Oficial
      Accés obert
      In this project we do an algorithmic study of problems from computational geometry with countably infinite input, especially countable sets in R^n. To do so, we use the infinite time Blum-Shub-Smale (ITBSS) machine, which ...
    • Efficient runtime service discovery and consumption with hyperlinked RESTdesc 

      Verborgh, Ruben; Steiner, Thomas; Van Deursen, Davy; Van de Walle, Rik; Gabarró Vallès, Joaquim (IEEE Computer Society Publications, 2011)
      Text en actes de congrés
      Accés obert
      Hyperlinks and forms let humans navigate with ease through websites they have never seen before. In contrast, automated agents can only perform preprogrammed actions on Web services, reducing their generality and restricting ...
    • Generació de figures eps a partir de resultats d'AMPL 

      Rider Flores, Marcos Julio; Casanellas Peñalver, Glòria; Heredia, F.-Javier (Francisco Javier) (2008-11)
      Report de recerca
      Accés obert
      Research Report, Dept. of Statistics and Operations Research, UPC.
    • Modelización de la dinámica de un buque 

      Ayza Graells, Jordi; López, J.; Quevedo Casín, Joseba Jokin (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
      Article
      Accés obert
      En este trabajo se han estudiado cinco modelos matemáticos de la dinámica del buque, bajo ciertas condiciones consideradas, se han presentado las expresiones de la fuerza y momento que ejercen las perturbaciones ambientales ...
    • Multistage interconnection networks in multiprocessor systems. A simulation study 

      López de Buen, Víctor Fernando Ubaldo (Universitat Politècnica de Barcelona. Centre de Càlcul, 1987)
      Article
      Accés obert
      The principal modelling and simulation features of multistage interconnection networks operating in packet switching are discussed in this paper. The networks studied interconnect processors and memory modules in multiprocessor ...
    • Problemas específicos de la simulación de circuitos eléctricos en miniordenador 

      Verdú, Sergio (Universitat Politècnica de Barcelona. Centre de Càlcul, 1979-09)
      Article
      Accés obert
      Los alicientes que presentan los sistemas interactivos dedicados al diseño y la enseñanza con ayuda de ordenador originaron el proyecto del programa de simulación de circuitos electrónicos analógicos en miniordenador que ...
    • Securing IoT communications using trusted execution environments 

      Benedito i Saura, Oscar (Universitat Politècnica de Catalunya, 2021-05-27)
      Treball Final de Grau
      Accés obert
      Realitzat a/amb:   Centre Suisse d'Électronique et de Microtechnique (CSEM)
      Els dispositius IoT i vestibles cada vegada recopilen més dades personals sensibles. A causa de la naturalesa d'aquestes dades, és de summa importància emmagatzemar-les i processar-les de forma segura. Aquest treball de ...
    • Una implementació real de l’estàndard gràfic GKS 

      Arespacochaga, J.; Juan, R.; Torres Ferrer, E.; Vicente, M. D. (Universitat Politècnica de Barcelona. Centre de Càlcul, 1985-03)
      Article
      Accés obert
      Antes del año 1982 no se había aceptado ningún estándar gráfico. ISO en 1982 y ANSI en 1984 aceptaron el Graphical Kernel System (GKS). Este artículo trata de proporcionar unas ideas generales sobre una implementación real ...
    • Using the R language to manage and show statistical information in the cloud 

      Fonseca Casas, Pau; Tormos, Raül (Multidisciplinary Digital Publishing Institute (MDPI), 2018-11-30)
      Article
      Accés obert
      We present a methodology to enable users to interact with the statistical information (survey data) of a public opinion institute which is stored in Cloud infrastructure. Mainly using R, this approach was developed following ...
    • Verificación de procesos concurrentes: un método formal y un caso de aplicación 

      García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
      Article
      Accés obert
      En este trabajo se propone una nueva tècnica para la verificación de programas concurrentes. Para realizar la verificación se parte de la descripción LDP de los procesos. El método requiere expresar en una relación de ...