Authors: Atserias, Albert, Mancinska, Laura, Roberson, David E., Samal, Robert, Severini, Simone, Varvitsiotis, Antonios
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Graph theory, Graph isomorphism, Quantum strategies, Non-local games, Entanglement, Non-signalling, Fractional isomorphism, Grafs, Teoria de
File Description: 40 p.
Relation: https://www.sciencedirect.com/science/article/pii/S0095895618301059; info:eu-repo/grantAgreement/EC/H2020-648276-AUTAR; info:eu-repo/grantAgreement/MINECO/1PE/TIN2013-48031-C4-1-P
Authors: Igelmo Ganzo, Manuel, Sanfeliu Cortés, Alberto
Contributors: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial, Universitat Politècnica de Catalunya. VIS - Visió Artificial i Sistemes Intel.ligents
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Robòtica, Isomorphisms (Mathematics), Graph isomorphism, Graph matching, Conductances Equivalent Model, Star Method, Graph filter, Pattern-recognition, Algorithm, Distance, Time, Isomorfismes (Matemàtica)
File Description: 15 p.
Relation: http://www.sciencedirect.com/science/article/pii/S0031320316001102; info:eu-repo/grantAgreement/MINECO/1PE/DPI2013-42458-P
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. SCL-EG - Sistemes de Control Lineals: estudi Geomètric
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Algorithms, Coding theory, Linear codes, preserving distance isomorphisms, Algorismes, Codificació, Teoria de la
File Description: 17 p.
Availability: http://hdl.handle.net/2117/105911
Authors: Barrera Salazar, Daniel Roberto, Gao, Shan
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de nombres, Number theory, Overconvergent modular symbols, overconvergent modular forms, p-adic comparison isomorphisms, quaternionic modular forms, Isomorfismes (Matemàtica), Classificació AMS::11 Number theory
File Description: 29 p.
Relation: info:eu-repo/grantAgreement/EC/H2020/682152/EU/Euler systems and the conjectures of Birch and Swinnerton-Dyer, Bloch and Kato/BSD
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de categories, àlgebra homològica, Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de grups, Categories (Mathematics), Groupoids, 2-groups (categorical groups), 2-vector spaces, representations, 2-categories, Categories (Matemàtica), Grupoides, Classificació AMS::18 Category theory, homological algebra::18D Categories with structure, Classificació AMS::20 Group theory and generalizations::20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms)
File Description: 21 p.
Availability: http://hdl.handle.net/2117/103247
Contributors: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Game isomorphism, Succinct representations, Formula games, Boolean formulas, Computational complexity, Circuit isomorphism, Boolean formula isomorphism, Graph isomorphism
File Description: 31 p.
Relation: LSI-10-23-R
Availability: http://hdl.handle.net/2117/91166
Contributors: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Game isomorphism, Succinct representations, Boolean formulas, Computational complexity, Boolean isomorphism, Graph isomorphism
File Description: 18 p.
Relation: LSI-07-19-R
Availability: http://hdl.handle.net/2117/86222
Authors: Valiente Feruglio, Gabriel Alejandro
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica, Design and analysis of algorithms, Combinatorial problems, Graph algorithms, Pattern matching, Tree pattern matching, Tree isomorphism, Subtree isomorphism, Edit distance, Metric space, Largest common forest
File Description: 9 p.
Relation: R01-1
Availability: http://hdl.handle.net/2117/97629
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III, Universitat Politècnica de Catalunya. EGSA - Equacions Diferencials, Geometria, Sistemes Dinàmics i de Control, i Aplicacions
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de categories, àlgebra homològica, Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Teoria de grups, Graph theory, Group theory, Mathematical physics, Groupoids, Grafs, Teoria de, Grups, Grupoides, Física matemàtica, Classificació AMS::05 Combinatorics::05C Graph theory, Classificació AMS::20 Group theory and generalizations::20L05 Groupoids (i.e. small categories in which all morphisms are isomorphisms), Classificació AMS::81 Quantum theory::81T Quantum field theory, related classical field theories
File Description: 48 p.
Relation: http://arxiv.org/abs/1207.6404
Availability: http://hdl.handle.net/2117/16858
Authors: Valiente Feruglio, Gabriel Alejandro
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Subject Terms: Àrees temàtiques de la UPC::Informàtica, Design and analysis of algorithms, Combinatorial problems, Graph algorithms, Pattern matching, Tree pattern matching, Tree isomorphism, Subtree isomorphism
File Description: 16 p.
Relation: LSI-00-72-R
Availability: http://hdl.handle.net/2117/97540
Authors: Jakubík, Ján
Subject Terms: Archimedean lattice, Convex isomorphism, Estructures algebraiques ordenades, Classificació AMS::06 Order, lattices, ordered algebraic structures::06F Ordered structures
File Description: 49-56
Relation: Mathware & soft computing . 1998 Vol. 5 Núm. 1
Availability: http://hdl.handle.net/2099/3503
Contributors: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Tree pattern matching, Subtree isomorphism, Subtree homeomorphism, Topological embedding, Minor containment, Largest common subtree, Smallest common supertree, Pushout, Pullback
File Description: 33 p.
Relation: LSI-04-60-R
Availability: http://hdl.handle.net/2117/87254
Authors: Valiente Feruglio, Gabriel Alejandro
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Subject Terms: Àrees temàtiques de la UPC::Informàtica, Maximum common embedded subtree, Subtree homeomorphism, Longest common balanced sequence, Combinatorial problems, Graph algorithms, Trees, String algorithms, Pattern matching subtree isomorphism
File Description: 12 p.
Relation: LSI-03-8-R
Availability: http://hdl.handle.net/2117/97381
Authors: Valiente Feruglio, Gabriel Alejandro
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Tree edit distance, Maximum common subtrees, Tree isomorphism, Graph algorithms, Pattern matching
File Description: 10 p.
Relation: LSI-02-20-R
Availability: http://hdl.handle.net/2117/97554
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Subject Terms: Àrees temàtiques de la UPC::Informàtica, Optimal graph matching, Error-correcting graph matching, Attributed relational graph, Graph edit distance, Subgraph isomorphism, Maximum common subgraph, Minimum common supergraph
File Description: 10 p.
Relation: LSI-01-2-R
Availability: http://hdl.handle.net/2117/97631
Authors: Atserias, Albert, Ochremiak, Joanna
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat, Computational complexity, Linear programming, Ellipsoid method, Fixed-point logic, Graph isomorphism problem, Semidefinite programming, Sums-of-squares, Set theory, Computer circuits, Complexitat computacional, Programació lineal
File Description: 10 p.
Relation: https://dl.acm.org/citation.cfm?id=3209186; info:eu-repo/grantAgreement/MINECO/TIN2016-76573-C2-1-P; info:eu-repo/grantAgreement/EC/H2020/648276/EU/A Unified Theory of Algorithmic Relaxations/AUTAR
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Programació, Binary decision diagrams, BDDs, Subgraph isomorphisms
File Description: 10 p.
Relation: LSI-99-33-R
Availability: http://hdl.handle.net/2117/93081
Authors: Lozano Bojados, Antoni, Raghavan, Vijay
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Programació, Automorphism, Complexity, Graph isomorphism
File Description: 13 p.
Relation: LSI-98-30-R
Availability: http://hdl.handle.net/2117/97145
Authors: Arvind, V., Beigel, Richard, Lozano Bojados, Antoni
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Graph isomorphism, Graph automorphism, Complexity
File Description: 19 p.
Relation: LSI-98-62-R
Availability: http://hdl.handle.net/2117/84914
Authors: Riera Roca, Gabriel
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Gálvez Carrillo, Maria Immaculada, Pascual Gainza, Pere
Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica discreta::Combinatòria, Combinatorial analysis, Incidence algebra, Isomorphism problem, Groupoids, Homotopy linear algebra, Simplicial groupoids, Decomposition spaces, Combinacions (Matemàtica), Classificació AMS::05 Combinatorics::05E Algebraic combinatorics
Availability: http://hdl.handle.net/2117/110484