Exploració per tema "Computing Methodologies."
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
(2019-05-20)
Article
Accés obertComposite 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
(2016)
Article
Accés obertRectangular 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
(Universitat Politècnica de Catalunya, 2020-07)
Projecte Final de Màster Oficial
Accés obertIn 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
(IEEE Computer Society Publications, 2011)
Text en actes de congrés
Accés obertHyperlinks 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
(2008-11)
Report de recerca
Accés obertResearch Report, Dept. of Statistics and Operations Research, UPC. -
Modelización de la dinámica de un buque
(Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
Article
Accés obertEn 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
(Universitat Politècnica de Barcelona. Centre de Càlcul, 1987)
Article
Accés obertThe 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
(Universitat Politècnica de Barcelona. Centre de Càlcul, 1979-09)
Article
Accés obertLos 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
(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
(Universitat Politècnica de Barcelona. Centre de Càlcul, 1985-03)
Article
Accés obertAntes 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
(Multidisciplinary Digital Publishing Institute (MDPI), 2018-11-30)
Article
Accés obertWe 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
(Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
Article
Accés obertEn 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 ...