Výsledky vyhledávání - "Classificació AMS::68 Computer science::68Q Theory of computing"

Development of a rag system to derive requirements from regulation

Autoři: Arellana Daleman, Juan Nicolás Perera Lluna, Alexandre

Přispěvatelé: Arellana Daleman, Juan Nicolás Perera Lluna, Alexandre

Témata: À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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/433777

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

Autoři: Daniel Peralta-Salas Robert Cardona Eva Miranda a další

Přispěvatelé: Daniel Peralta-Salas Robert Cardona Eva Miranda a další

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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia a další

Přispěvatelé: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia a další

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Broring, Arne Ziller, Andreas Charpenay, Victor a další

Přispěvatelé: Broring, Arne Ziller, Andreas Charpenay, Victor a další

Zdroj: 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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Korman, Matias Löffler, Maarten Silveira, Rodrigo Ignacio a další

Přispěvatelé: Korman, Matias Löffler, Maarten Silveira, Rodrigo Ignacio a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José a další

Přispěvatelé: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José a další

Zdroj: 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

Témata: 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)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia a další

Přispěvatelé: Garijo Royo, Delia Marquez Pérez, Alberto Rodríguez, Natalia a další

Témata: À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

Popis souboru: 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

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

Applications of LEAN in the graph theoretical context

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

Přispěvatelé: Rossell Rodríguez, Lídia Rué Perna, Juan José Spiegel, Christoph Stefan

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/416523

Sailor: Sumcheck and GKR over Zpk via Galois rings

Autoři: Vilardell Regué, Daniel Song, Dawn Universitat Politècnica de Catalunya. Departament d'Enginyeria Telemàtica a další

Přispěvatelé: Vilardell Regué, Daniel Song, Dawn Universitat Politècnica de Catalunya. Departament d'Enginyeria Telemàtica a další

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

Témata: 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ó

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/411516

Nonlinear transformation models: application to mortality of calves

Autoři: López-Segovia, Lucas Espinal Berenguer, Anna Gómez Melis, Guadalupe a další

Přispěvatelé: López-Segovia, Lucas Espinal Berenguer, Anna Gómez Melis, Guadalupe a další

Témata: À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

Popis souboru: 4 p.; application/pdf

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

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

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

Autoři: Rué Perna, Juan José Xambó Descamps, Sebastián Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada II a další

Přispěvatelé: Rué Perna, Juan José Xambó Descamps, Sebastián Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada II a další

Témata: À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

Popis souboru: 49 p.; application/pdf

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

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

On the complexity of exchanging

Autoři: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José a další

Přispěvatelé: Molinero Albareda, Xavier Olsen, Martin Serna Iglesias, María José a další

Témata: À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

Popis souboru: 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

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

Fuzzy systems and neural networks XML schemas for soft computing

Autoři: Rodríguez de Soto, Adolfo Capdevila, Conrado A. Fernandez, Eva Cuervo

Témata: 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

Popis souboru: application/pdf

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

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

An specification language for fuzzy systems

Autoři: Moreno Velo, Francisco José Barriga Barrios, Ángel Baturone Castillo, María Inmaculada a další

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

Popis souboru: 239-253; application/pdf

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

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

Denotational semantics of languages with fuzzy data

Autoři: Sánchez Álvarez, Daniel Gómez Skarmeta, Antonio F.

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

Popis souboru: 99-123; application/pdf

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

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

Inference of fuzzy regular grammars from examples

Autoři: Fortes Ruiz, Inmaculada Morales Bueno, Rafael Pérez de la Cruz Molina, José Luís a další

Témata: 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

Popis souboru: 277-291; application/pdf

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

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

Towards a fuzzy computability?

Autoři: Moraga, Claudio

Témata: Fuzzy Turing machines, Teoria de la computació, Classificació AMS::68 Computer science::68Q Theory of computing

Popis souboru: 163-172; application/pdf

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

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

On the complexity of problems on simple games

Autoři: Freixas Bosch, Josep Molinero Albareda, Xavier Olsen, Martin a další

Přispěvatelé: Freixas Bosch, Josep Molinero Albareda, Xavier Olsen, Martin a další

Témata: À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

Popis souboru: 24 p.; application/pdf

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

Dostupnost: 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

Autoři: Ferri, Francesc J. Albert, Jesús V.

Témata: 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

Popis souboru: 10 p.; application/pdf

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

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

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

Autoři: Burattini, E. Pasconcino, A. Tamburrini, G.

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

Popis souboru: application/pdf

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

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