Browsing by Subject "Computer science  Mathematics"
Now showing items 120 of 21

Accelerating zero knowledge proofs
(Universitat Politècnica de Catalunya, 20231019)
Bachelor thesis
Open Access
Covenantee: Massachusetts Institute of Technology / Massachusetts Institute of TechnologyLes proves de coneixement zero són una eina criptogràfica altament prometedora que permet demostrar que un predicat és correcte sense revelar informació addicional sobre aquest. Aquestes tipus de proves són útils en ... 
Adjacency maps and efficient graph algorithms
(Multidisciplinary Digital Publishing Institute (MDPI), 20220220)
Article
Open AccessGraph algorithms that test adjacencies are usually implemented with an adjacencymatrix representation because the adjacency test takes constant time with adjacency matrices, but it takes linear time in the degree of the ... 
Automated chlorine dosage in a simulated drinking water treatment plant: a real case study
(Multidisciplinary Digital Publishing Institute, 20200611)
Article
Open AccessIn this paper, we present a simulator of a drinking water treatment plant. The model of the plant was based in hydraulic and matter transportation models. In order to not introduce more inaccuracies in the simulation, the ... 
Communicationaware sparse patterns for the factorized approximate inverse preconditioner
(Association for Computing Machinery (ACM), 2022)
Conference report
Open AccessThe Conjugate Gradient (CG) method is an iterative solver targeting linear systems of equations Ax=b where A is a symmetric and positive definite matrix. CG convergence properties improve when preconditioning is applied ... 
Eigenvalues with respect to a weight for discrete elliptic boundary value problems
(2019)
Conference report
Open Access 
Energy harvesting for system of coupled oscillators under external excitation in the vicinity of resonance 1:1
(20201214)
Article
Open AccessVibration energy is abundantly present in many natural and artificial systems and can be assembled by various devices, mainly employing benefits of the piezoelectric and electromagnetic phenomena. In the present article, ... 
Green functions on product networks
(20180101)
Article
Open AccessWe aim here at determining the Green function for general Schrödinger operators on product networks. The first step consists in expressing Schrödinger operators on a product network as sum of appropriate Schrödinger operators ... 
Implementation and evaluation of a PRNG optimized for HPC
(Universitat Politècnica de Catalunya, 20210126)
Bachelor thesis
Open AccessAcceleration is a widely used technique in the field of HighPerformance Computing (HPC) to improve the performance of standard CPU powered computational nodes. Examples of widely used accelerators in HPC are graphic cards ... 
Improved bounds for randomly sampling colorings via linear programming
(2019)
Conference report
Restricted access  publisher's policyA wellknown conjecture in computer science and statistical physics is that Glauber dynamics on the set of kcolorings of a graph G on n vertices with maximum degree ¿ is rapidly mixing for k = ¿ + 2. In FOCS 1999, Vigoda ... 
Locality analysis and its hardware implications for graph pattern mining
(Universitat Politècnica de Catalunya, 20230524)
Bachelor thesis
Open Access
Covenantee: Massachusetts Institute of TechnologyEn aquest treball hem abordat l'acceleració d'aplicacions GPM des de la perspectiva oferta per l'arquitectura NDP. Hem desenvolupat una nova eina de simulació, basada en la integració de dos coneguts simuladors: ZSim (per ... 
Matching points with disks with a common intersection
(20190701)
Article
Open AccessWe consider matchings with diametral disks between two sets of points R and B. More precisely, for each pair of matched points p ¿ R and q ¿ B, we consider the disk through p and q with the smallest diameter. We prove that ... 
Modeling seismic wave propagation using staggeredgrid mimetic finite differences
(20170412)
Article
Open AccessMimetic finite difference (MFD) approximations of continuous gradient and divergente operators satisfy a discrete version of the GaussDivergente theorem on staggered grids. On the mimetic approximation of this integral ... 
Nonhomogenizable classes of finite structures
(Schloss Dagstuhl  LeibnizZentrum für Informatik, 2016)
Conference report
Open AccessHomogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer ... 
On publicly verifiable secret sharing schemes
(Universitat Politècnica de Catalunya, 202301)
Master thesis
Open AccessSecret sharing allows a dealer to distribute shares of a secret to a set of parties such that only socalled authorised subsets of these parties can recover the secret, whilst forbidden sets gain at most some restricted amount ... 
On varieties defined by large sets of quadrics and their application to errorcorrecting codes
(20201001)
Article
Open AccessLet U be a ( k1 2  1)dimensional subspace of quadratic forms defined on F k with the property that U does not contain any reducible quadratic form. Let V (U) be the points of PG(k  1, F) which are zeros of all quadratic ... 
On zeroone and convergence laws for graphs embeddable on a fixed surface
(Schloss Dagstuhl  LeibnizZentrum für Informatik, 2018)
Conference report
Open AccessWe show that for no surface except for the plane does monadic secondorder logic (MSO) have a zeroonelaw  and not even a convergence law  on the class of (connected) graphs embeddable on the surface. In addition we ... 
Planar differential growth rates initiate precise fold positions in complex epithelia
(20191104)
Article
Open AccessTissue folding is a fundamental process that shapes epithelia into complex 3D organs. The initial positioning of folds is the foundation for the emergence of correct tissue morphology. Mechanisms forming individual folds ... 
Rainbow matchings in Dirac bipartite graphs
(20190115)
Article
Open AccessWe show the existence of rainbow perfect matchings in µnbounded edge colorings of Dirac bipartite graphs, for a sufficiently small µ¿>¿0. As an application of our results, we obtain several results on the existence of ... 
Satisfiability of constraint specifications on XML documents
(Springer, 2015)
Conference report
Open AccessJose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that ... 
Total domination in plane triangulations
(20210101)
Article
Open AccessA total dominating set of a graph is a subset of such that every vertex in is adjacent to at least one vertex in . The total domination number of , denoted by , is the minimum cardinality of a total dominating set of . A ...