Turing Universality of the Incompressible Euler Equations and a Conjecture of Moore

Συγγραφείς: Daniel Peralta-Salas, Robert Cardona, Eva Miranda

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Matemàtiques, Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Computing optimal shortcuts for networks

Συγγραφείς: Garijo Royo, Delia, Marquez Pérez, Alberto, Rodríguez, Natalia, Silveira, Rodrigo Ignacio

Συνεισφορές: 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

Πηγή: 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
instname

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

The BIG IoT API - Semantically Enabling IoT Interoperability

Συγγραφείς: Broring, Arne, Ziller, Andreas, Charpenay, Victor, Thuluva, Aparna S., Anicic, Darko, Schmid, Stefan, Zappa, Achille, Linares, Mari Paz, Mikkelsen, Lars, Seidel, Christian

Συνεισφορές: Facultat d'Informàtica de Barcelona, Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing

Πηγή: 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 Computing

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

On the complexity of barrier resilience for fat regions and bounded ply

Συγγραφείς: Korman, Matias, Löffler, Maarten, Silveira, Rodrigo Ignacio, Strash, Darren

Συνεισφορές: 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

Πηγή: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

On the complexity of exchanging

Συγγραφείς: Molinero Albareda, Xavier, Olsen, Martin, Serna Iglesias, María José

Συνεισφορές: 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

Πηγή: 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.004

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Nonlinear transformation models: application to mortality of calves

Συγγραφείς: López-Segovia, Lucas, Espinal Berenguer, Anna, Gómez Melis, Guadalupe

Συνεισφορές: 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

Πηγή: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/12620
https://hdl.handle.net/2117/12620

Introducció matemàtica a la computació quàntica

Συγγραφείς: Rué Perna, Juan José, Xambó Descamps, Sebastián

Συνεισφορές: 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

Πηγή: 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-231

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

On the complexity of exchanging

Συγγραφείς: Molinero Albareda, Xavier, Olsen, Martin, Serna Iglesias, María José

Συνεισφορές: 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

Πηγή: 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

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/27400
https://hdl.handle.net/2117/27400

Fuzzy systems and neural networks XML schemas for soft computing

Συγγραφείς: Rodríguez de Soto, Adolfo, Capdevila, Conrado A., Fernandez, Eva Cuervo

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 2003: Vol.: 10 Núm.: 2-3

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2099/1713
https://hdl.handle.net/2099/1713
https://zbmath.org/2116029
http://www.raco.cat/index.php/Mathware/article/view/84898

An specification language for fuzzy systems

Συγγραφείς: Moreno Velo, Francisco José, Barriga Barrios, Ángel, Baturone Castillo, María Inmaculada, López, Diego R., Sánchez Solano, Santiago

Συνεισφορές: Universidad de Sevilla. Departamento de Electrónica y Electromagnetismo

Πηγή: 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.: 3

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: https://idus.us.es/xmlui/handle/11441/41674
http://hdl.handle.net/11441/41674
https://idus.us.es/handle/11441/41674
https://hdl.handle.net/2099/3608
http://hdl.handle.net/2099/3608
https://zbmath.org/1760804
http://www.raco.cat/index.php/Mathware/article/view/84837

Denotational semantics of languages with fuzzy data

Συγγραφείς: Sánchez Álvarez, Daniel, Gómez Skarmeta, Antonio F.

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 2000: Vol.: 7 Núm.: 2-3

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/3570
http://hdl.handle.net/2099/3570
https://zbmath.org/1648842
http://www.raco.cat/index.php/Mathware/article/view/84800

Towards a fuzzy computability?

Συγγραφείς: Moraga, Claudio

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1999: Vol.: 6 Núm.: 2-3

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf; text/html

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/3551
http://hdl.handle.net/2099/3551
http://www.raco.cat/index.php/Mathware/article/view/84785

Inference of fuzzy regular grammars from examples

Συγγραφείς: Fortes Ruiz, Inmaculada, Morales Bueno, Rafael, Pérez de la Cruz Molina, José Luís, Triguero Ruiz, Francisco, Comino, M. A.

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1999: Vol.: 6 Núm.: 2-3

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/3559
http://hdl.handle.net/2099/3559
https://zbmath.org/1455786
http://www.raco.cat/index.php/Mathware/article/view/84780

On the complexity of problems on simple games

Συγγραφείς: Freixas Bosch, Josep, Molinero Albareda, Xavier, Olsen, Martin, Serna Iglesias, María José

Συνεισφορές: 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

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/8956
https://hdl.handle.net/2117/8956

An analysis of selection sort using recurrence relations

Συγγραφείς: Ferri, Francesc J., Albert, Jesús V.

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/4632
http://hdl.handle.net/2099/4632

A chunking mechanism in a neural system for the parallel processing of a propositional production rules: A chunking mechanism in a neural system for the parallel processing of propositional production rules

Συγγραφείς: BURATTINI, ERNESTO, PASCONCINO A., TAMBURRINI, GUGLIELMO

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1995: Vol.: 2 Núm.: 2

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2099/2466
https://hdl.handle.net/2099/2466
https://zbmath.org/951674
http://hdl.handle.net/11588/132242
https://hdl.handle.net/11588/132242
http://www.raco.cat/index.php/Mathware/article/view/84646

Systolic architectures for fuzzy processing and their simulation

Συγγραφείς: Salvador, Luis de, García, Marcos, Gutiérrez, Julio

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1994: Vol.: 1 Núm.: 3

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; text/html

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/2458
http://hdl.handle.net/2099/2458
http://www.raco.cat/index.php/Mathware/article/view/84638

Information systems in categories of valued relations

Συγγραφείς: Gisin, Vladimir B.

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Mathware & soft computing; 1994: Vol.: 1 Núm.: 2

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; application/xml; text/html

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2099/2447
http://hdl.handle.net/2099/2447
https://zbmath.org/741005
http://www.raco.cat/index.php/Mathware/article/view/84627

On lower bounds for circuit complexity and algorithms for satisfiability

Συγγραφείς: Casals Buñuel, Joaquim

Συνεισφορές: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació, Atserias, Albert

Πηγή: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: À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]

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2117/109142
https://hdl.handle.net/2117/109142

Dibuix de patrons per a la talla de panys de vela assistit per computador

Συγγραφείς: Pérez Vidal, Lluís, Robert Buti, José María

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: 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]

Περιγραφή αρχείου: application/pdf; p. 167-180

Σύνδεσμος πρόσβασης: http://hdl.handle.net/2099/4572
https://hdl.handle.net/2099/4572