Výsledky vyhledávání - "Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació"

A heuristic method for a congested capacitated transit assignment model with strategies

Autoři: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Codina Sancho, Esteve a další

Témata: Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi matemàtica, Àrees temàtiques de la UPC::Matemàtiques i estadística::Probabilitat, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica, Calculus of variations, Numerical analysis--Simulation methods, Programming (Mathematics), Congested transit assignment, Heuristic methods, Strategy-based transit equilibrium, Variational inequalities, Càlcul de variacions, Anàlisi numèrica, Programació (Matemàtica), Classificació AMS::49 Calculus of variations and optimal control; optimization::49R50 Variational methods for eigenvalues of operators, Classificació AMS::65 Numerical analysis::65C Probabilistic methods, simulation and stochastic differential equations, Classificació AMS::90 Operations research, mathematical programming::90C Mathematical programming, Article

URL: http://hdl.handle.net/2117/114685
http://www.sciencedirect.com/science/article/pii/S0191261517303211?via%3Dihub
http://www.sciencedirect.com/science/article/pii/S0191261517303211?via%3Dihub

Sustainable technology results for sewage networks in smart cities

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial Institut de Robòtica i Informàtica Industrial Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa a další

Témata: Àrees temàtiques de la UPC::Informàtica::Robòtica, Robotics, Electronic villages (Computer networks), Sewage, Smart cities, Sustainability, Communication systems, Sewer systems, Robòtica, Ciutats digitals (Xarxes d'ordinadors), Aigües residuals, Conference lecture

URL: https://hdl.handle.net/2117/112153
https://ieeexplore.ieee.org/document/8379803/
https://ieeexplore.ieee.org/document/8379803
info:eu-repo/grantAgreement/EC/FP7/601116/EU/European Clearing House for Open Robotics Development Plus Plus/ECHORD PLUS PLUS

A proposal to develop and assess professional skills in Engineering Final Year Projects

Autoři: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa a další

Témata: Àrees temàtiques de la UPC::Ensenyament i aprenentatge::Ensenyament universitari, Àrees temàtiques de la UPC::Ensenyament i aprenentatge::Habilitats personals i competències, Engineering -- Study and teaching (Higher) -- Evaluation, Competency-based education, Final year project, Assessment of final year project, Assessment of professional skills, Enginyeria -- Ensenyament Universitari -- Avaluació, Competències professionals -- Ensenyament, Article

URL: http://hdl.handle.net/2117/115564

Former students' perception of improvement potential of conceptual modeling in practice

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Tort Pugibet, Albert a další

Témata: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Requirements engineering -- Study and teaching, Computer simulation -- Study and teaching, Conceptual modeling practice, Survey, Disseny de sistemes -- Ensenyament, Simulació per ordinador -- Ensenyament, Conference report

URL: https://hdl.handle.net/2117/23315
http://link.springer.com/chapter/10.1007/978-3-642-41924-9_32
http://link.springer.com/chapter/10.1007/978-3-642-41924-9_32

SETL: A programmable semantic extract-transform-load framework for semantic data warehouses

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Deb Nath, Rudra Pratap a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Semantic computing, Data warehousing, Expert systems (Computer science), ETL, RDF, Semantic integration, Data warehouse, Semantic-aware, Knowledge base, Gestor de dades, Sistemes experts (Informàtica), Article

URL: http://hdl.handle.net/2117/113594
http://www.sciencedirect.com/science/article/pii/S0306437916302101
http://www.sciencedirect.com/science/article/pii/S0306437916302101

Practical update management in ontology-based data access

Autoři: Facultat d'Informàtica de Barcelona Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Ontologies (Information retrieval), Semantic web, Ontology-based data access, Obda, Update, Dl-lite, Ontologies (Informàtica), Web semàtica, Conference report

URL: http://hdl.handle.net/2117/113038
https://link.springer.com/chapter/10.1007%2F978-3-319-68288-4_14
https://link.springer.com/chapter/10.1007%2F978-3-319-68288-4_14
info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC

OCLuniv: Expressive UML/OCL conceptual schemas for finite reasoning

Autoři: Facultat d'Informàtica de Barcelona Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Reasoning, Data mining, Conceptual structures (Information theory), UML, OCL, Decidability, Raonament, Mineria de dades, Conference report

URL: http://hdl.handle.net/2117/112647
https://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_28
https://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_28
info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC
info:eu-repo/grantAgreement/AGAUR/V Pla de Recerca i Innovació de Catalunya (PRI). 2010-2013/2014 SGR 1534

The universal ontology: A vision for conceptual modeling and the semantic web

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Olivé Ramon, Antoni

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Data mining, Ontologies (Information retrieval), Semantic web, Conceptual modeling, Conceptual schemas, Universal ontology, Mineria de dades, Ontologies (Informàtica), Web semàtica, Conference report

URL: http://hdl.handle.net/2117/112455
https://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_1
https://link.springer.com/chapter/10.1007%2F978-3-319-69904-2_1
info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC

Integrated approach to network design and frequency setting problem in railway rapid transit systems

Autoři: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació López Ramos, Francesc a další

Témata: Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica, Computer architecture, Programming (Mathematics), Railway rapid transit, Network design, Working network, Frequency setting, Express service design, Lexicographic goal programming, Arquitectura d'ordinadors, Programació (Matemàtica), Classificació AMS::68 Computer science::68M Computer system organization, Classificació AMS::90 Operations research, mathematical programming::90C Mathematical programming, Article

URL: http://hdl.handle.net/2117/112323
http://www.sciencedirect.com/science/article/pii/S0305054816303057
http://www.sciencedirect.com/science/article/pii/S0305054816303057

Frequent patterns in ETL workflows: An empirical approach

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Knowledge representation (Information theory), Expert systems (Computer science), Empirical, ETL, Graph matching, Patterns, Representació del coneixement (Teoria de la informació), Sistemes experts (Informàtica), Article

URL: http://hdl.handle.net/2117/110172
http://www.sciencedirect.com/science/article/pii/S0169023X16302713
http://www.sciencedirect.com/science/article/pii/S0169023X16302713

Ensuring the semantic correctness of a BAUML artifact-centric BPM

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Estañol Lamarca, Montserrat a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Business -- Data processing -- Mathematical models, Business process modeling, Reasoning, Tool, UML, Validation, Verification, Negocis -- Informàtica -- Models matemàtics, Article

URL: http://hdl.handle.net/2117/108885
http://www.sciencedirect.com/science/article/pii/S0950584917301404?via%3Dihub
http://www.sciencedirect.com/science/article/pii/S0950584917301404?via%3Dihub

Simplification of UML/OCL schemas for efficient reasoning

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Oriol Hilari, Xavier a další

Témata: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Computer software -- Development, UML, OCL, Reasoning, Simplification, Programari -- Desenvolupament, Article

URL: http://hdl.handle.net/2117/103942
http://www.sciencedirect.com/science/article/pii/S016412121730064X
http://www.sciencedirect.com/science/article/pii/S016412121730064X

Enabling IoT ecosystems through platform interoperability

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Bröring, Arne a další

Témata: Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Software architecture, Internet of things, IoT ecosystems, Interoperability, Software patterns, Semantics, IoT, BIG IoT, Bridging the interoperability gap of the IoT, Software engineering, Software development, Programari -- Disseny, Internet de les coses, Article

URL: http://hdl.handle.net/2117/104546
http://ieeexplore.ieee.org/document/7819420/
http://ieeexplore.ieee.org/document/7819420
info:eu-repo/grantAgreement/EC/H2020/688038/EU/BIG IoT/BIG IoT

A visualization tool based on traffic simulation for the analysis and evaluation of smart city policies, innovative vehicles and mobility concepts

Autoři: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Facultat d'Informàtica de Barcelona Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica::Modelització estadística, Smart Cities, Visual Analytics Tool, Traffic Simulation, Classificació AMS::93 Systems Theory; Control, Conference lecture

URL: http://hdl.handle.net/2117/113082
http://ieeexplore.ieee.org.recursos.biblioteca.upc.edu/document/8248038/
http://ieeexplore.ieee.org.recursos.biblioteca.upc.edu/document/8248038
info:eu-repo/grantAgreement/AGAUR/PRI2014-2017/2014 SGR 1534
info:eu-repo/grantAgreement/MINECO/PE2016-2020/TRA2016-76914-C3-1-P

Linking data and BPMN processes to achieve executable models

Autoři: Facultat d'Informàtica de Barcelona Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, UML (Computer science), Business -- Data processing, BPMN, Data-aware processes, Artifact-centric processes, UML (Informàtica), Negocis -- Informàtica, Conference report

URL: https://hdl.handle.net/2117/108249
https://link.springer.com/chapter/10.1007%2F978-3-319-59536-8_38
https://link.springer.com/chapter/10.1007%2F978-3-319-59536-8_38
info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC
info:eu-repo/grantAgreement/AGAUR/V PRI 2010-2013/2014SGR1534

Load-sharing policies in parallel simulation of agent-based demographic models

Autoři: Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Pellegrini, Alessandro a další

Témata: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Multiagent systems, Parallel processing (Electronic computers), Digital simulation, Discrete event simulation, Message passing, Multiprocessing systems, Resource allocation, Sistemes multiagent, Processament en paral·lel (Ordinadors), Article

URL: http://hdl.handle.net/2117/106304
https://link.springer.com/chapter/10.1007/978-3-319-58943-5_27
https://link.springer.com/chapter/10.1007/978-3-319-58943-5_27

Table identification and reconstruction in spreadsheets

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Koci, Elvis a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Electronic spreadsheets, Business -- Data processing, Spreadsheet, Document, Tabular, Grid, Table, Layout, Recognition, Identification, Fulls electrònics, Negocis -- Informàtica, Conference report

URL: http://hdl.handle.net/2117/113249
https://link.springer.com/chapter/10.1007%2F978-3-319-59536-8_33
https://link.springer.com/chapter/10.1007%2F978-3-319-59536-8_33

SM4MQ: a semantic model for multidimensional queries

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació, Decision support systems, Data mining, Semantic web, Vocabulary, OLAP, Query modeling, Sistemes d'ajuda a la decisió, Mineria de dades, Web semàtica, Conference report

URL: http://hdl.handle.net/2117/113242
https://link.springer.com/chapter/10.1007%2F978-3-319-58068-5_28
https://link.springer.com/chapter/10.1007%2F978-3-319-58068-5_28

Validation of Service Blueprint models by means of formal simulation techniques

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Facultat d'Informàtica de Barcelona Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació a další

Témata: Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica, Formal methods (Computer science), Service blueprint, Validation, Simulation, Mètodes formals (Informàtica), Conference report

URL: https://hdl.handle.net/2117/113267
https://link.springer.com/chapter/10.1007%2F978-3-319-69035-3_6
https://link.springer.com/chapter/10.1007%2F978-3-319-69035-3_6
info:eu-repo/grantAgreement/MINECO//TIN2014-52938-C2-2-R/ES/ELASTIC: ESPECIFICACION, VERIFICACION Y SIMULACION DE MODELOS PARA LOS PROCESOS DE SERVITIZACION DE LAS TIC

On-line analytical processing

Autoři: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació Abelló Gamazo, Alberto a další

Témata: Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades, Data warehousing, OLAP, Gestor de dades, Part of book or chapter of book

URL: http://hdl.handle.net/2117/101918
https://link.springer.com/referencework/10.1007/978-1-4899-7993-3
https://link.springer.com/referencework/10.1007/978-1-4899-7993-3