Search Results - "Classificació AMS::68 Computer science::68Q Theory of computing"

Development of a rag system to derive requirements from regulation

Authors: Arellana Daleman, Juan Nicolás Perera Lluna, Alexandre

Contributors: Arellana Daleman, Juan Nicolás Perera Lluna, Alexandre

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística, Neural Networks, Public health laws, Retrieval augmented generation, RAG, Salut pública -- Dret i legislació, RAGAS, Classificació AMS::68 Computer science::68T Artificial intelligence, Classificació AMS::68 Computer science::68Q Theory of computing, Natural language processing (Computer science), Machine learning, Aprenentatge automàtic, Tractament del llenguatge natural (Informàtica), Regulatory documentation

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/433777

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

Authors: Daniel Peralta-Salas Robert Cardona Eva Miranda et al.

Contributors: Daniel Peralta-Salas Robert Cardona Eva Miranda et al.

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

Access 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

Computing optimal shortcuts for networks

Authors: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia et al.

Contributors: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia et al.

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
instname

Subject 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

Access 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

The BIG IoT API - Semantically Enabling IoT Interoperability

Authors: Broring, Arne Ziller, Andreas Charpenay, Victor et al.

Contributors: Broring, Arne Ziller, Andreas Charpenay, Victor et al.

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 Computing

Subject 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

Access 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

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

Authors: Korman, Matias Löffler, Maarten Silveira, Rodrigo Ignacio et al.

Contributors: Korman, Matias Löffler, Maarten Silveira, Rodrigo Ignacio et al.

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

Access 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

On the complexity of exchanging

Authors: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José et al.

Contributors: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José et al.

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.004

Subject 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

Access 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

Computing optimal shortcuts for networks

Authors: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia et al.

Contributors: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia et al.

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Numerical analysis, Computer science, Anàlisi numèrica, Informàtica, Classificació AMS::65 Numerical analysis::65D Numerical approximation and computational geometry, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 6 p.; application/pdf

Relation: info:eu-repo/grantAgreement/MINECO//MTM2015-63791-R/ES/GRAFOS Y GEOMETRIA: INTERACCIONES Y APLICACIONES/; http://hdl.handle.net/2117/127293

Availability: http://hdl.handle.net/2117/127293

Applications of LEAN in the graph theoretical context

Authors: Rossell Rodríguez, Lídia Rué Perna, Juan José Spiegel, Christoph Stefan

Contributors: Rossell Rodríguez, Lídia Rué Perna, Juan José Spiegel, Christoph Stefan

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Sensitivity Conjecture, Àrees temàtiques de la UPC::Matemàtiques i estadística, Combinatorial analysis, Grafs, Teoria de, Classificació AMS::05 Combinatorics::05C Graph theory, Hipercub, Graph theory, Classificació AMS::94 Information And Communication, Circuits::94D05 Fuzzy sets and logic, Combinacions (Matemàtica), Classificació AMS::68 Computer science::68Q Theory of computing, Lean, Àrees temàtiques de la UPC::Informàtica, Funcions Booleanes, Verificació Formal

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/416523

Sailor: Sumcheck and GKR over Zpk via Galois rings

Authors: Vilardell Regué, Daniel Song, Dawn Universitat Politècnica de Catalunya. Departament d'Enginyeria Telemàtica et al.

Contributors: Vilardell Regué, Daniel Song, Dawn Universitat Politècnica de Catalunya. Departament d'Enginyeria Telemàtica et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: GKR, Àrees temàtiques de la UPC::Matemàtiques i estadística, Classificació AMS::68 Computer science::68Q Theory of computing, Prova de coneixement nul, Cryptography, Criptografia, Sumcheck, Criptografia sobre Anells, Àrees temàtiques de la UPC::Enginyeria de la telecomunicació

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/411516

Nonlinear transformation models: application to mortality of calves

Authors: López-Segovia, Lucas Espinal Berenguer, Anna Gómez Melis, Guadalupe et al.

Contributors: López-Segovia, Lucas Espinal Berenguer, Anna Gómez Melis, Guadalupe et al.

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Computer science, Informàtica, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 4 p.; application/pdf

Relation: http://hdl.handle.net/2117/12620

Availability: http://hdl.handle.net/2117/12620

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

Authors: Rué Perna, Juan José Xambó Descamps, Sebastián Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada II et al.

Contributors: Rué Perna, Juan José Xambó Descamps, Sebastián Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada II et al.

Subject Terms: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat, computació quàntica, algorísmica, factorització de nombres enters, Classificació AMS::68 Computer science::68Q Theory of computing, Classificació AMS::81 Quantum theory::81P Axiomatics, foundations, philosophy

File Description: 49 p.; application/pdf

Relation: http://hdl.handle.net/2117/28298

Availability: http://hdl.handle.net/2117/28298
https://doi.org/10.2436/20.2002.01.51

On the complexity of exchanging

Authors: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José et al.

Contributors: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José et al.

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, Game theory, Computational complexity, Tradeness of Simple Games, Jocs, Teoria de, Complexitat computacional, Classificació AMS::68 Computer science::68Q Theory of computing, Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory

File Description: 10 p.; application/pdf

Relation: http://arxiv.org/abs/1503.06052v2; Molinero, X.; Olsen, M.; Serna, M. "On the complexity of exchanging". 2015.; http://hdl.handle.net/2117/27400

Availability: http://hdl.handle.net/2117/27400

Fuzzy systems and neural networks XML schemas for soft computing

Authors: Rodríguez de Soto, Adolfo Capdevila, Conrado A. Fernandez, Eva Cuervo

Subject Terms: Soft computing, Fuzzy systems, Software components, Neural networks, Teoria de la computació, Xarxes neuronals (Informàtica), Lògica difusa, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: application/pdf

Relation: Mathware & soft computing, 2003, vol. 10, núm. 2 [ -3 ]p.43-56; http://hdl.handle.net/2099/1713

Availability: http://hdl.handle.net/2099/1713

An specification language for fuzzy systems

Authors: Moreno Velo, Francisco José Barriga Barrios, Ángel Baturone Castillo, María Inmaculada et al.

Subject Terms: XFL3, Teoria de la computació, Llenguatges formals -- Semàntica, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 239-253; application/pdf

Relation: Mathware & soft computing . 2001 Vol. 8 Núm. 3; http://hdl.handle.net/2099/3608

Availability: http://hdl.handle.net/2099/3608

Denotational semantics of languages with fuzzy data

Authors: Sánchez Álvarez, Daniel Gómez Skarmeta, Antonio F.

Subject Terms: Denotational samantics, Fuzzy data, Teoria de la computació, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 99-123; application/pdf

Relation: Mathware & soft computing . 2000 Vol. 7 Núm. 2 [ -3 ]; http://hdl.handle.net/2099/3570

Availability: http://hdl.handle.net/2099/3570

Inference of fuzzy regular grammars from examples

Authors: Fortes Ruiz, Inmaculada Morales Bueno, Rafael Pérez de la Cruz Molina, José Luís et al.

Subject Terms: Fuzzy regular grammars, Process discovery, Fuzzy relations, Computational learning, Teoria de la computació, Aprenentatge automàtic, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 277-291; application/pdf

Relation: Mathware & soft computing . 1999 Vol. 6 Núm. 2 [ -3 ]; http://hdl.handle.net/2099/3559

Availability: http://hdl.handle.net/2099/3559

Towards a fuzzy computability?

Authors: Moraga, Claudio

Subject Terms: Fuzzy Turing machines, Teoria de la computació, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 163-172; application/pdf

Relation: Mathware & soft computing . 1999 Vol. 6 Núm. 2 [ -3 ]; http://hdl.handle.net/2099/3551

Availability: http://hdl.handle.net/2099/3551

On the complexity of problems on simple games

Authors: Freixas Bosch, Josep Molinero Albareda, Xavier Olsen, Martin et al.

Contributors: Freixas Bosch, Josep Molinero Albareda, Xavier Olsen, Martin et al.

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, Game theory, Voting -- Mathematical models, Jocs, Teoria de, Vot -- Models matemàtics, Classificació AMS::68 Computer science::68Q Theory of computing, Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory

File Description: 24 p.; application/pdf

Relation: AEOLUS-TR-Y4-120; http://aeolus.ceid.upatras.gr/scientific-reports/4th-year/; http://hdl.handle.net/2117/8956

Availability: http://hdl.handle.net/2117/8956

An analysis of selection sort using recurrence relations ; Análisis de clases de selección usando relaciones de recurrencia

Authors: Ferri, Francesc J. Albert, Jesús V.

Subject Terms: Computer systems, Algoritmos de clasificación, Algoritmos de ordenador, Cálculo por ordenador, Logical-software, Teoria de la computació, Classificació AMS::68 Computer science::68Q Theory of computing

File Description: 10 p.; application/pdf

Relation: http://hdl.handle.net/2099/4632

Availability: http://hdl.handle.net/2099/4632

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

Authors: Burattini, E. Pasconcino, A. Tamburrini, G.

Subject Terms: Neural systems, Rule-based knowledge, Chunking mechanism, Xarxes neuronals (Informàtica), Classificació AMS::68 Computer science::68Q Theory of computing

File Description: application/pdf

Relation: Mathware & soft computing . 1995 Vol. 2 Núm. 2 p.85-116; http://hdl.handle.net/2099/2466

Availability: http://hdl.handle.net/2099/2466