-
1Academic Journal
Authors: Daniel Peralta-Salas, Robert Cardona, Eva Miranda
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: FOS: Computer and information sciences, Riemannian manifold, Dynamical Systems (math.DS), 0102 computer and information sciences, Computational Complexity (cs.CC), Euler equations, Computer science, 68 Computer science::68Q Theory of computing [Classificació AMS], 01 natural sciences, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat, Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat [Àrees temàtiques de la UPC], Computer Science - Computational Complexity, Mathematics - Analysis of PDEs, Classificació AMS::68 Computer science::68Q Theory of computing, Informàtica, FOS: Mathematics, Turing complete, Mathematics - Dynamical Systems, 0101 mathematics, Analysis of PDEs (math.AP)
File Description: application/pdf
Linked Full TextAccess URL: http://arxiv.org/pdf/2104.04356
http://arxiv.org/abs/2104.04356
https://dblp.uni-trier.de/db/journals/corr/corr2104.html#abs-2104-04356
http://export.arxiv.org/pdf/2104.04356
https://arxiv.org/abs/2104.04356
https://arxiv.org/pdf/2104.04356v1
http://export.arxiv.org/abs/2104.04356
http://ui.adsabs.harvard.edu/abs/2021arXiv210404356C/abstract -
2Academic Journal
Contributors: Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII), Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. CGA -Computational Geometry and Applications, Ministerio de Economía y Competitividad (MINECO). España, Delia Garijo and Alberto Márquez and Natalia Rodríguez and Rodrigo I. Silveira, Universitat Politècnica de Catalunya. CGA - Computational Geometry and Applications
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
Recercat. Dipósit de la Recerca de Catalunya
instnameSubject Terms: Geometric algorithm, Computational Geometry (cs.CG), FOS: Computer and information sciences, geometric graph, Matemàtiques i estadística::Investigació operativa::Programació matemàtica [Àrees temàtiques de la UPC], mathematical programming::90C Mathematical programming, graph augmentation, Geometry, shortcut, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], 90 Operations research, mathematical programming::90C Mathematical programming [Classificació AMS], 0102 computer and information sciences, 68 Computer science::68Q Theory of computing [Classificació AMS], 01 natural sciences, Shortcut, Matemàtiques i estadística::Anàlisi numèrica [Àrees temàtiques de la UPC], Classificació AMS::65 Numerical analysis::65D Numerical approximation and computational geometry, Algebraic, Diameter, Informàtica, 14 Algebraic geometry::14Q Computational aspects in algebraic geometry [Classificació AMS], Programació (Matemàtica), 65 Numerical analysis::65D Numerical approximation and computational geometry [Classificació AMS], Geometria algèbrica, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica, diameter, Anàlisi numèrica, Classificació AMS::90 Operations research, Programming (Mathematics), Discrete optiization, Graph augmentation, Classificació AMS::14 Algebraic geometry::14Q Computational aspects in algebraic geometry, Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica, Complexity, Matemàtiques i estadística::Àlgebra [Àrees temàtiques de la UPC], Classificació AMS::90 Operations research, mathematical programming::90C Mathematical programming, Computer science, Geometry, Algebraic, Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra, Classificació AMS::68 Computer science::68Q Theory of computing, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Discrete optimization, Computer Science - Computational Geometry, ddc:004, Networks, Geometric graph, Numerical analysis
File Description: application/pdf
Linked Full TextAccess URL: https://upcommons.upc.edu/bitstream/2117/127292/1/LIPIcs-ISAAC-2018-15.pdf
http://arxiv.org/abs/1807.10093
https://hdl.handle.net/2117/127293
http://hdl.handle.net/2117/127293
https://hdl.handle.net/11441/157515
http://hdl.handle.net/2117/127292
https://hdl.handle.net/2117/127292
https://hdl.handle.net/11441/94101
https://idus.us.es/handle//11441/94101
http://hdl.handle.net/2117/173524
http://arxiv.org/pdf/1807.10093.pdf
https://www.sciencedirect.com/science/article/abs/pii/S0377221719304229
https://arxiv.org/abs/1807.10093
https://idus.us.es/handle/11441/94101
https://doi.org/10.1016/j.ejor.2019.05.018
https://dblp.uni-trier.de/db/journals/corr/corr1807.html#abs-1807-10093
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2018.15
https://idus.us.es/handle//11441/157515
https://hdl.handle.net/2117/127292
https://arxiv.org/abs/1807.10093 -
3Academic Journal
Authors: Broring, Arne, Ziller, Andreas, Charpenay, Victor, Thuluva, Aparna S., Anicic, Darko, Schmid, Stefan, Zappa, Achille, Linares, Mari Paz, Mikkelsen, Lars, Seidel, Christian
Contributors: Facultat d'Informàtica de Barcelona, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Bröring, A, Ziller, A, Charpenay, V, Thuluva, A, Anicic, D, Schmid, S, Zappa, A, Linares, M P, Mikkelsen, L M & Seidel, C 2018, 'The BIG IoTAPI-Semantically Enabling IoT Interoperability', IEEE Pervasive Computing, vol. 17, no. 4, pp. 41-51. https://doi.org/10.1109/MPRV.2018.2873566
IEEE Pervasive ComputingSubject Terms: Internet of things, Standards, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], 02 engineering and technology, Interoperability, Matemàtiques i estadística::Investigació operativa [Àrees temàtiques de la UPC], Computer science, Vocabulary, 68 Computer science::68M Computer system organization [Classificació AMS], 68 Computer science::68Q Theory of computing [Classificació AMS], Ecosystems, Arquitectura d'ordinadors, Semantics, Classificació AMS::68 Computer science::68Q Theory of computing, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, 0202 electrical engineering, electronic engineering, information engineering, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa, Computer architecture, Classificació AMS::68 Computer science::68M Computer system organization, Protocols
File Description: application/pdf
Linked Full TextAccess URL: https://upcommons.upc.edu/bitstream/2117/129983/3/TheBIGIoTAPI-SemanticallyEnablingIoTInteroperability_pre_print.pdf
http://hdl.handle.net/2117/129983
https://vbn.aau.dk/da/publications/39c5e34f-aa8c-485c-90f8-fbe7af1e5b32
https://doi.org/10.1109/MPRV.2018.2873566
https://www.computer .org/csdl/mags/pc/2018/04/08628296.html
https://upcommons.upc.edu/bitstream/2117/129983/3/TheBIGIoTAPI-SemanticallyEnablingIoTInteroperability_pre_print.pdf
https://upcommons.upc.edu/handle/2117/129983
https://dblp.uni-trier.de/db/journals/pervasive/pervasive17.html#BroringZCTASZLM18 -
4Academic Journal
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. CGA -Computational Geometry and Applications, Sub Multimedia & Geometry begr. 1/1/13, Geometric Computing, Sub Geometric Computing, Universitat Politècnica de Catalunya. CGA - Computational Geometry and Applications
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Teoria dels, Barrier resilience and coverage, Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica, 0211 other engineering and technologies, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], Parameterized complexity and algorithms, Nombres, Teoria dels, 0102 computer and information sciences, 02 engineering and technology, Computer science, 68 Computer science::68Q Theory of computing [Classificació AMS], 01 natural sciences, Approximation algorithms, Matemàtiques i estadística::Anàlisi numèrica [Àrees temàtiques de la UPC], Nombres, Classificació AMS::68 Computer science::68Q Theory of computing, Number theory, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, 11 Number theory::11Y Computational number theory [Classificació AMS], Taverne, Bounded ply, Fat regions, Classificació AMS::11 Number theory::11Y Computational number theory
File Description: application/pdf
Linked Full TextAccess URL: https://upcommons.upc.edu/bitstream/2117/122214/1/resilience-journal-final.pdf
http://hdl.handle.net/2117/122214
https://tohoku.pure.elsevier.com/en/publications/on-the-complexity-of-barrier-resilience-for-fat-regions-and-bound
https://www.narcis.nl/publication/RecordID/oai%3Adspace.library.uu.nl%3A1874%2F371811
https://jglobal.jst.go.jp/detail?JGLOBAL_ID=201802226732248006
http://dspace.library.uu.nl/handle/1874/371811
https://doi.org/10.1016/j.comgeo.2018.02.006
https://dblp.uni-trier.de/db/journals/comgeo/comgeo72.html#KormanLSS18
https://dspace.library.uu.nl/handle/1874/371811 -
5Academic Journal
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. GRTJ - Grup de Recerca en Teoria de Jocs, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Molinero, X, Olsen, M & Serna, M 2016, 'On the Complexity of Exchanging', Information Processing Letters, vol. 116, no. 6, pp. 437-441. https://doi.org/10.1016/j.ipl.2016.01.004Subject Terms: FOS: Computer and information sciences, 0211 other engineering and technologies, Simple games, 02 engineering and technology, 68 Computer science::68Q Theory of computing [Classificació AMS], social and behavioral sciences::91A Game theory, Computer Science - Computer Science and Game Theory, 0502 economics and business, Jocs, Teoria de, Complexitat computacional, Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory, Matemàtiques i estadística::Investigació operativa::Teoria de jocs [Àrees temàtiques de la UPC], Game theory, 2. Zero hunger, Teoria de, Tradeness, 05 social sciences, Classificació AMS::91 Game theory, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, economics, 91 Game theory, economics, social and behavioral sciences::91A Game theory [Classificació AMS], Jocs, 16. Peace & justice, Computational complexity, Classificació AMS::68 Computer science::68Q Theory of computing, Weighted games, Computer Science and Game Theory (cs.GT)
File Description: application/pdf
Linked Full TextAccess URL: https://upcommons.upc.edu/bitstream/2117/86068/1/OnTheComplexityOfExchanging_MOS.pdf
http://arxiv.org/abs/1503.06052
http://hdl.handle.net/2117/86068
https://www.sciencedirect.com/science/article/abs/pii/S0020019016000065
https://doi.org/10.1016/j.ipl.2016.01.004
https://arxiv.org/abs/1503.06052
http://www.sciencedirect.com/science/article/pii/S0020019016000065
https://upcommons.upc.edu/bitstream/handle/2117/27400/ARXIV_OnTheComplexityOfExchanging_MOS.pdf;sequence=1
http://ui.adsabs.harvard.edu/abs/2015arXiv150306052M/abstract
https://hdl.handle.net/2117/86068
https://doi.org/10.1016/j.ipl.2016.01.004 -
6Conference
Contributors: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Universitat Politècnica de Catalunya. GREMA - Grup de Recerca en Estadística Matemàtica i les seves Aplicacions
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Classificació AMS::68 Computer science::68Q Theory of computing, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], Computer science, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf
-
7Academic Journal
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya. ICAIB - Grup de Recerca en Intel ligència Computacional per a l'Anàlisi d'Imatge Biomèdica
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume I
Butlletí de la Societat Catalana de Matemàtiques; 28 : Número 2 (desembre 2013); p. 183-231Subject Terms: Classificació AMS::81 Quantum theory::81P Axiomatics, foundations, philosophy, philosophy, Classificació AMS::68 Computer science::68Q Theory of computing, Classificació AMS::81 Quantum theory::81P Axiomatics, computació quàntica, factorització de nombres enters, foundations, algorísmica, 68 Computer science::68Q Theory of computing [Classificació AMS], Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat, 81 Quantum theory::81P Axiomatics, foundations, philosophy [Classificació AMS], Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat [Àrees temàtiques de la UPC]
File Description: application/pdf
Access URL: http://hdl.handle.net/2117/28298
https://upcommons.upc.edu/bitstream/handle/2117/28298/277054-378994-1-PB.pdf;sequence=1
https://upcommons.upc.edu/handle/2117/28298
https://upcommons.upc.edu/bitstream/2117/28298/1/277054-378994-1-PB.pdf
https://dialnet.unirioja.es/servlet/articulo?codigo=4560418
http://www.raco.cat/index.php/ButlletiSCM/article/view/277054 -
8Report
Contributors: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III, Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Universitat Politècnica de Catalunya. GRTJ - Grup de Recerca en Teoria de Jocs, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
Universitat Jaume ISubject Terms: Computational Complexity, Teoria de, Classificació AMS::91 Game theory, Tradeness of Simple Games, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, economics, 91 Game theory, economics, social and behavioral sciences::91A Game theory [Classificació AMS], Jocs, 68 Computer science::68Q Theory of computing [Classificació AMS], Computational complexity, Classificació AMS::68 Computer science::68Q Theory of computing, social and behavioral sciences::91A Game theory, Jocs, Teoria de, Complexitat computacional, Game theory, Matemàtiques i estadística::Investigació operativa::Teoria de jocs [Àrees temàtiques de la UPC], Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory
File Description: application/pdf
-
9Academic Journal
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 2003: Vol.: 10 Núm.: 2-3Subject Terms: Soft computing, Software components, Data structures, Neural Networks, Learning and adaptive systems in artificial intelligence, XML, Software Components, Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.), Fuzzy systems, Fuzzy Systems, 68 Computer science::68Q Theory of computing [Classificació AMS], Lògica difusa, Classificació AMS::68 Computer science::68Q Theory of computing, Xarxes neuronals (Informàtica), Teoria de la computació, Soft Computing, Neural networks
File Description: application/pdf; application/xml; text/html
-
10Academic Journal
Authors: Moreno Velo, Francisco José, Barriga Barrios, Ángel, Baturone Castillo, María Inmaculada, López, Diego R., Sánchez Solano, Santiago
Contributors: Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo
Source: idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 2001: Vol.: 8 Núm.: 3Subject Terms: Specification and verification (program logics, model checking, etc.), Llenguatges formals -- Semàntica, Classificació AMS::68 Computer science::68Q Theory of computing, XFL3, Formal languages and automata, fuzzy system specification, Teoria de la computació, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf; application/xml; text/html
-
11Academic Journal
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 2000: Vol.: 7 Núm.: 2-3Subject Terms: Fuzzy data, Classificació AMS::68 Computer science::68Q Theory of computing, Semantics in the theory of computing, Denotational samantics, Teoria de la computació, 68 Computer science::68Q Theory of computing [Classificació AMS], denotational semantics
File Description: application/pdf; application/xml; text/html
-
12Academic Journal
Authors: Moraga, Claudio
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1999: Vol.: 6 Núm.: 2-3Subject Terms: Classificació AMS::68 Computer science::68Q Theory of computing, Fuzzy Turing machines, Teoria de la computació, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf; text/html
-
13Academic Journal
Authors: Fortes Ruiz, Inmaculada, Morales Bueno, Rafael, Pérez de la Cruz Molina, José Luís, Triguero Ruiz, Francisco, Comino, M. A.
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1999: Vol.: 6 Núm.: 2-3Subject Terms: Fuzzy relations, Fuzzy regular grammars, Computational learning, Process discovery, 68 Computer science::68Q Theory of computing [Classificació AMS], fuzzy regular grammars, Classificació AMS::68 Computer science::68Q Theory of computing, Aprenentatge automàtic, Grammars and rewriting systems, process discovery, fuzzy relations, Teoria de la computació, computational learning
File Description: application/pdf; application/xml; text/html
-
14Report
Contributors: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III, Universitat Politècnica de Catalunya. GRTJ - Grup de Recerca en Teoria de Jocs, Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instnameSubject Terms: Teoria de, Classificació AMS::91 Game theory, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, economics, 91 Game theory, economics, social and behavioral sciences::91A Game theory [Classificació AMS], Jocs, 68 Computer science::68Q Theory of computing [Classificació AMS], Classificació AMS::68 Computer science::68Q Theory of computing, social and behavioral sciences::91A Game theory, Vot -- Models matemàtics, Voting -- Mathematical models, Jocs, Teoria de, Game theory, Matemàtiques i estadística::Investigació operativa::Teoria de jocs [Àrees temàtiques de la UPC], Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory
File Description: application/pdf
-
15Academic Journal
Authors: Ferri, Francesc J., Albert, Jesús V.
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Algoritmos de clasificación, Algoritmos de ordenador, Classificació AMS::68 Computer science::68Q Theory of computing, Logical-software, Cálculo por ordenador, Computer systems, Teoria de la computació, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf
-
16Academic Journal
Authors: BURATTINI, ERNESTO, PASCONCINO A., TAMBURRINI, GUGLIELMO
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1995: Vol.: 2 Núm.: 2Subject Terms: Neural systems, 05 social sciences, Learning and adaptive systems in artificial intelligence, 02 engineering and technology, Rule-based knowledge, Chunking mechanism, 68 Computer science::68Q Theory of computing [Classificació AMS], Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence, rule-based knowledge base, learning algorithm, Classificació AMS::68 Computer science::68Q Theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Xarxes neuronals (Informàtica), 0501 psychology and cognitive sciences
File Description: application/pdf; application/xml; text/html
-
17Academic Journal
Authors: Salvador, Luis de, García, Marcos, Gutiérrez, Julio
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1994: Vol.: 1 Núm.: 3Subject Terms: Fuzzy Control, Lògica difusa, Classificació AMS::68 Computer science::68Q Theory of computing, VHDL (Llenguatge de descripció de hardware), VHDL, Sistemes de control intel·ligents, 68 Computer science::68Q Theory of computing [Classificació AMS], Simulation, Systolic
File Description: application/pdf; text/html
-
18Academic Journal
Authors: Gisin, Vladimir B.
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1994: Vol.: 1 Núm.: 2Subject Terms: Semantics in the theory of computing, Theories (e.g., algebraic theories), structure, and semantics, information systems, 68 Computer science::68Q Theory of computing [Classificació AMS], Information system, ordered category, fuzzy sets, abstract ordered categories with involution, Classificació AMS::68 Computer science::68Q Theory of computing, Fuzzy sets and logic (in connection with information, communication, or circuits theory), Semàntica -- Processament de dades, Preorders, orders, domains and lattices (viewed as categories), Categories of spans/cospans, relations, or partial maps, denotational semantics
File Description: application/pdf; application/xml; text/html
-
19Dissertation/ Thesis
Authors: Casals Buñuel, Joaquim
Contributors: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Atserias, Albert
Source: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica, Satisfiability algorithms, Informàtica::Aplicacions de la informàtica [Àrees temàtiques de la UPC], Classificació AMS::68 Computer science::68Q Theory of computing, Complexity lower bounds, Informàtica, Computer science, Circuit complexity, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf
-
20Academic Journal
Authors: Pérez Vidal, Lluís, Robert Buti, José María
Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)Subject Terms: Classificació AMS::68 Computer science::68Q Theory of computing, Sail design, Surface modelling, Computer systems, Sail patterns, Teoria de la computació, 68 Computer science::68Q Theory of computing [Classificació AMS]
File Description: application/pdf; p. 167-180