Skip to content

You are here: Home / Doctoral programmes / Computing

Computing

The doctoral programme in Computing was designed to adapt the doctoral programme in Software, created in 1985, to EHEA requirements. The new framework that emerged with the introduction of the Bologna guidelines necessitated the adaptation of postgraduate courses. As a result, in 2005, an integrated master's-doctoral programme was designed to provide rigorous, competitive training for students wishing to undertake research on topics in the areas of computing covered by the programme. The current programme is the result of a process of adaptation to Royal Decree 99/2011, the reconfiguration of UPC master's degrees in the area of information technology, and the restructuring of the Department of Computer Science. In accordance with Royal Decree 99/2011, which regulates official doctoral studies, the programme was validated by the Catalan University Quality Assurance Agency (AQU Catalunya) in October 2012. The doctoral programme in Computing covers research topics in a set of disciplines related to computing: programming, algorithmics, big data, bioinformatics, visualisation and virtual reality. These topics build on studies for the bachelor’s degree in Informatics Engineering, specialisation in Computing; the bachelor's degree in Mathematics, specialisation in Discrete Mathematics and Algorithmics; the new bachelor's degree in Data Science and Engineering, and other related degrees. The topics that the programme focuses on are covered in two related master’s degrees in which the department has teaching responsibilities—the master’s degree in Innovation and Research in Informatics (MIRI) and the master’s degree in Advanced Mathematics and Mathematical Engineering (MAMME)—and in other related degrees. These areas are also linked to the activity of companies in the IT sector and research topics of interest at the international level.

The need for the course is also evident in the high level of participation of research groups involved in the programme in competitively funded research projects (most with European or national funding), the number of new students the programme attracts each year, and the number of graduates who find employment in industry and at universities and other research institutions.
Graduates are employed at research institutes (including the Alan Turing Institute) and universities abroad. Others have set up companies (e.g. Nelio Software) or hold positions at leading companies in the sector (including Google and Amazon). These results demonstrate that graduates are highly employable.

In order to focus scientific and methodological skills on specific topics, the programme is structured around the core areas that the research groups involved work on. This approach links research to internationally renowned research groups, which makes it possible to maintain the programme’s research areas within the main lines of research over the years. In addition to technical support, each research group offers courses at the master’s level and research seminars. The training programme also includes activities focusing on complementary skills, offered by the UPC Doctoral School. Two related master’s degrees qualify applicants for admission to the doctoral programme in Computing: the master’s degree in Innovation and Research in Informatics, with specialisation in Advanced Computing, Computer Graphics and Virtual Reality, or in Data Science; and the master’s degree in Advanced Mathematics and Mathematical Engineering, with specialisation in Discrete Mathematics and Algorithmics.

The doctoral programme in Computing has provided critical support for much of the research conducted in the Department of Computer Science (CS), formerly known as the Department of Software (LSI). The programme has attracted students from Catalonia and around the world. The positive response from students, the programme’s international dimension, and the quality of doctoral theses produced has allowed the programme to earn and maintain a Ministry of Education quality award (from 2003 on) and then a Pathway to Excellence award (which replaced the quality award) until its expiry in 2013 (MEE2011-0425).

The academic staff for the programme have a proven track record in international research. The five research groups involved in the programme have been recognised as consolidated research groups by the Government of Catalonia, and two of them also obtained financial support in the 2017 call for funding. Two professors on the programme have received the García Santesmases Prize for lifetime achievement, one of the national prizes awarded by the Computer Science Society of Spain (SCIE).

COORDINATOR

Serna Iglesias, Maria Jose

CONTACT

Doctoral Unit - ICT North Campus Management and Support Unit (UTGCNTIC). C/ Jordi Girona, 1-3. Building B4-003 (North Campus)
Tel: 934 137 836
E-mail: doctorat.computacio@upc.edu

Programme website

General information

Access profile

Entry routes are described based on the background required for teaching staff on the master's degrees that prepare students to undertake research within the framework of the groups participating in the programme.

  1. Algorithmics and Programming. In this case, there are two informatics-focused entry routes: the master’s degree in Innovation and Research in Informatics (MIRI), with specialisation in Advanced Mathematics; and the master’s degree in Advanced Mathematics and Mathematical Engineering (MAMME), with specialisation in Discrete Mathematics and Algorithmics. These entry routes are linked to the research areas of the ALBCOM and LOGPROG research groups.
  2. Visualisation and Virtual RealityGraduates of the MIRI master’s degree with specialisation in Computer Graphics and Visualisation have the background required to undertake research in this field. This entry route is linked to the research areas of the GIE and ViRViG research groups.
  3. Data Science. Graduates of the MIRI master’s degree with specialisation in Data Science have the background required to undertake research in this field. This entry route is linked to the research areas of the ALBCOM and LARCA research groups.
Other master’s degrees in scientific and technological fields that prepare students to undertake research in areas covered by the doctoral programme may also be deemed suitable entrance qualifications. Students with such qualifications must demonstrate that they have a basic knowledge of core and compulsory subjects (both common subjects and those specific to the relevant UPC master’s degree and area of specialisation), or that they can acquire this knowledge by taking bridging courses (subjects of the UPC master’s degrees specified above).

Output profile

Doctoral candidates who complete a doctoral degree will have acquired the following competencies, which are needed to carry out quality research (Royal Decree 99/2011, of 28 January, which regulates official doctoral studies):

a) A systematic understanding of the field of study and a mastery of the research skills and methods related to the field.
b) An ability to conceive, design or create, put into practice and adopt a substantial process of research or creation.
c) An ability to contribute to pushing back the frontiers of knowledge through original research.
d) A capacity for critical analysis and an ability to assess and summarise new and complex ideas.
e) An ability to communicate with the academic and scientific community and with society in general as regards their fields of knowledge in the manner and languages that are typical of the international scientific community to which they belong.
f) An ability to foster scientific, technological, social, artistic and cultural progress in academic and professional contexts within a knowledge-based society.

The award of a doctoral degree must equip the graduate for work in a variety of settings, especially those requiring creativity and innovation. Doctoral graduates must have at least acquired the personal skills needed to:

a) Develop in contexts in which there is little specific information.
b) Find the key questions that must be answered to solve a complex problem.
c) Design, create, develop and undertake original, innovative projects in their field.
d) Work as part of a team and independently in an international or multidisciplinary context.
e) Integrate knowledge, deal with complexity and make judgements with limited information.
f) Offer criticism on and intellectually defend solutions.

Finally, with respect to competencies, doctoral students must:
a) have acquired advanced knowledge at the frontier of their discipline and demonstrated, in the context of internationally recognised scientific research, a deep, detailed and well-grounded understanding of theoretical and practical issues and scientific methodology in one or more research fields;
b) have made an original and significant contribution to scientific research in their field of expertise that has been recognised as such by the international scientific community;
c) have demonstrated that they are capable of designing a research project that serves as a framework for carrying out a critical analysis and assessment of imprecise situations, in which they are able to apply their contributions, expertise and working method to synthesise new and complex ideas that yield a deeper knowledge of the research context in which they work;
d) have developed sufficient autonomy to set up, manage and lead innovative research teams and projects and scientific collaborations (both national and international) within their subject area, in multidisciplinary contexts and, where appropriate, with a substantial element of knowledge transfer;
e) have demonstrated that they are able to carry out their research activity in a socially responsible manner and with scientific integrity;
f) have demonstrated, within their specific scientific context, that they are able to make cultural, social or technological advances and promote innovation in all areas within a knowledge-based society;
g) have demonstrated that they are able to participate in scientific discussions at the international level in their field of expertise and disseminate the results of their research activity to audiences of all kinds.

Number of places

25

Duration of studies and dedication regime

Duration
The maximum period of study for full-time doctoral studies is three years, counted from the date of admission to the programme to the date of submission of the doctoral thesis. The academic committee of the doctoral programme may authorise a doctoral candidate to pursue doctoral studies on a part-time basis. In this case, the maximum period of study is five years, counting from the date of admission to the programme to the date of submission of the doctoral thesis. For calculating these periods, the date of admission is considered to be the date of the first enrolment for tutorials, and the date of submission the moment in which the Doctoral School officially deposits the doctoral thesis.

For full-time doctoral candidates, the minimum period of study is two years, counted from the date of an applicant's admission to the programme until the date on which the doctoral thesis is deposited; for part-time doctoral candidates it is four years. When there are justified grounds for doing so, and the thesis supervisor and academic tutor have given their authorisation, doctoral candidates may request that the academic committee of their doctoral programme exempt them from the minimum period of study requirement.

The calculation of periods of study will not include periods of absence due to illness, pregnancy or any other reason provided for in the regulations in force. Students who find themselves in any of these circumstances must notify the academic committee of the doctoral programme, which, where appropriate, must inform the Doctoral School. Doctoral candidates may also temporarily withdraw from the programme for up to one year, and this period may be extended for an additional year. Doctoral candidates who wish to interrupt their studies must submit a justified request to the academic committee of the doctoral programme, which will decide whether or not to approve the request. Each programme will establish conditions for readmission to doctoral studies.

Extension
If full-time doctoral candidates have not applied to deposit their thesis by the end of the three-year period of study, the academic committee of the programme may authorise an extension of up to one year. In exceptional circumstances, a further one-year extension may be granted, subject to the conditions established by the corresponding doctoral programme. In the case of part-time doctoral candidates, an extension of two years may be authorised. In both cases, in exceptional circumstances a further one-year extension may be granted by the Doctoral School's Standing Committee, upon the submission of a reasoned application by the academic committee of the doctoral programme.

Dismissal from the doctoral programme
A doctoral candidate may be dismissed from a doctoral programme for the following reasons:

  • The doctoral candidate submitting a justified application to withdraw from the programme.
  • The maximum period of study and of extensions thereof ending.
  • The doctoral candidate not having enrolled every academic year (unless he or she has been authorised to temporarily withdraw).
  • The doctoral candidate failing two consecutive assessments.
  • The doctoral candidate having disciplinary proceedings filed against him or her that rule that he or she must be dismissed from the UPC.

Dismissal from the programme implies that doctoral candidates cannot continue studying at the UPC and the closing of their academic record. This notwithstanding, they may apply to the academic committee of the programme for readmission and the committee must reevaluate them in accordance with the criteria established in the regulations.

Enrollment aid


Organization

COORDINATOR:
ACADEMIC COMMISSION OF THE PROGRAM:
STRUCTURAL UNITS:
  • Department of Computer Science (PROMOTORA)
Specific URL of the doctoral program:
https://computing.phd.upc.edu

CONTACT:

Doctoral Unit - ICT North Campus Management and Support Unit (UTGCNTIC). C/ Jordi Girona, 1-3. Building B4-003 (North Campus)
Tel: 934 137 836
E-mail: doctorat.computacio@upc.edu


Access, admission and registration

Access profile

Entry routes are described based on the background required for teaching staff on the master's degrees that prepare students to undertake research within the framework of the groups participating in the programme.

  1. Algorithmics and Programming. In this case, there are two informatics-focused entry routes: the master’s degree in Innovation and Research in Informatics (MIRI), with specialisation in Advanced Mathematics; and the master’s degree in Advanced Mathematics and Mathematical Engineering (MAMME), with specialisation in Discrete Mathematics and Algorithmics. These entry routes are linked to the research areas of the ALBCOM and LOGPROG research groups.
  2. Visualisation and Virtual RealityGraduates of the MIRI master’s degree with specialisation in Computer Graphics and Visualisation have the background required to undertake research in this field. This entry route is linked to the research areas of the GIE and ViRViG research groups.
  3. Data Science. Graduates of the MIRI master’s degree with specialisation in Data Science have the background required to undertake research in this field. This entry route is linked to the research areas of the ALBCOM and LARCA research groups.
Other master’s degrees in scientific and technological fields that prepare students to undertake research in areas covered by the doctoral programme may also be deemed suitable entrance qualifications. Students with such qualifications must demonstrate that they have a basic knowledge of core and compulsory subjects (both common subjects and those specific to the relevant UPC master’s degree and area of specialisation), or that they can acquire this knowledge by taking bridging courses (subjects of the UPC master’s degrees specified above).

Access requirements

Applicants must hold a Spanish bachelor’s degree or equivalent and a Spanish master’s degree or equivalent, provided they have completed a minimum of 300 ECTS credits on the two degrees (Royal Decree 43/2015, of 2 February)

In addition, the following may apply:

  • Holders of an official degree awarded by a university in Spain or any other country in the European Higher Education Area, pursuant to the provisions of Article 16 of Royal Decree 1393/2007, of 29 October, which establishes official university course regulations, who have completed a minimum of 300 ECTS credits on official university degrees, of which at least 60 must be at the master's degree level.
  • Holders of an official Spanish bachelor’s degree comprising at least 300 credits, as provided for by EU regulations. Holder of degrees of this kind must complete bridging courses unless the curriculum of the bachelor’s degree in question included research training credits equivalent in value to those which would be earned on a master's degree.
  • Holders of an official university qualification who, having passed the entrance examination for specialised medical training, have completed at least two years of a training course leading to an official degree in a health-sciences specialisation.
  • Holders of a degree issued under a foreign education system. In these cases, homologation is not required, but the UPC must verify that the degree certifies a level of training equivalent to an official Spanish master's degree and qualifies the holder for admission to doctoral studies in the country where it was issued. Admission on this basis does not imply homologation of the foreign degree or its recognition for any purpose other than admission to doctoral studies.
  • Holders of a Spanish doctoral qualification issued under previous university regulations.
  • Note 1: Doctoral studies entrance regulations for holders of an undergraduate degree awarded before the introduction of the EHEA (CG 47/02 2014)

    Note 2: Governing Council Decision 64/2014, which approves the procedure and criteria for assessing the fulfilment of academic admission requirements for doctoral studies by holders of non-homologated foreign degrees (CG 25/03 2014)

Admission criteria and merits assessment

Criterion: An academic and research background that enables the applicant to undertake research within the areas covered by the research groups involved in the programme

Applicants who meet this requirement will be assessed based on the following weighted criteria:
• Academic record for all university degrees completed (up to 10 points)
• Publications in journals or conference proceedings (up to 4 points)
• Research experience (up to 2 points)
• Curriculum vitae (2 points)
• Fit between the research area of interest and those of the programme, and with the applicant’s background and training (up to 6 points)
• Other merits (up to 1 point)

Interviews, proposed research projects and letters of recommendation may be used as sources of additional information in the admission process.

Students admitted to the doctoral programme must be able to understand technical texts in English and follow courses and conferences conducted in English without difficulty. Doctoral students will be required to demonstrate a level of competence in English equivalent to level B2 of the Common European Framework of Reference for Languages (in both oral and written comprehension) in the form and within the time limit determined by the academic committee.

Training complements

If there are any core or compulsory subjects that an applicant has not taken (either common or specific to the UPC master’s degree related to the selected research area), the academic committee of the doctoral programme may require that the student complete bridging courses.

These bridging courses will be subjects of the UPC master's degrees indicated above (or others) that provide the knowledge and skills needed to fill the gaps identified in the student’s academic training (up to a maximum 60 ECTS credits).

Enrolment period for new doctoral students

Students enrolling in the doctoral programme for the first time must do so by the deadline specified in the admission decision.

Unless otherwise expressly indicated, enrolments corresponding to admission decisions issued from the second half of April on must be completed within the ordinary enrolment period for the current academic year.

More information at the registration section for new doctoral students

Enrolment period

Ordinary period for second and successive enrolments: first half of October.

More information at the general registration section

Monitoring and evaluation of the doctoral student

Procedure for the preparation and defense of the research plan

Doctoral candidates must submit a research plan, which will be included in their doctoral student activity report, before the end of the first year. The plan may be improved over the course of the doctoral degree. It must be endorsed by the tutor and the supervisor, and it must include the method that is to be followed and the aims of the research.

At least one of these annual assessments will include a public presentation and defence of the research plan and work done before a committee composed of three doctoral degree holders, which will be conducted in the manner determined by each academic committee. The examination committee awards a Pass or Fail mark. A Pass mark is a prerequisite for continuing on the doctoral programme. Doctoral candidates awarded a Fail mark must submit a new research plan for assessment by the academic committee of the doctoral programme within six months.

The committee assesses the research plan every year, in addition to all of the other activities in the doctoral student activity report. Doctoral candidates who are awarded two consecutive Fail marks for the research plan will be obliged to definitely withdraw from the programme.

If they change the subject of their thesis, they must submit a new research plan.

Formation activities

Activity: Interaction and discussion with thesis supervisors.
Hours: 180.
Type: compulsory.

Activity: Attendance of computing seminar.
Hours: 6.
Type: compulsory.

Activity: Attendance and participation in seminars offered by the research groups that support the programme.
Hours: 30.
Type: optional.

Activity: Intensive courses.
Hours: 30.
Type: optional.

Activity: Attendance of an international scientific conference.
Hours: 36.
Type: optional.

Activity: Cross-disciplinary training courses.
Hours: 10.
Type: optional.

Procedure for assignment of tutor and thesis director

The academic committee of the doctoral programme assigns a thesis supervisor to each doctoral candidate when they are admitted or enrol for the first time, taking account of the thesis supervision commitment referred to in the admission decision.

The thesis supervisor will ensure that training activities carried out by the doctoral candidate are coherent and suitable, and that the topic of the candidate’s doctoral thesis will have an impact and make a novel contribution to knowledge in the relevant field. The thesis supervisor will also guide the doctoral candidate in planning the thesis and, if necessary, tailoring it to any other projects or activities undertaken. The thesis supervisor will generally be a UPC professor or researcher who holds a doctoral degree and has documented research experience. This includes PhD-holding staff at associated schools (as determined by the Governing Council) and UPC-affiliated research institutes (in accordance with corresponding collaboration and affiliation agreements). When thesis supervisors are UPC staff members, they also act as the doctoral candidate’s tutor.

PhD holders who do not meet these criteria (as a result of their contractual relationship or the nature of the institution to which they are attached) must be approved by the UPC Doctoral School's Standing Committee in order to participate in a doctoral programme as researchers with documented research experience.

The academic committee of the doctoral programme may approve the appointment of a PhD-holding expert who is not a UPC staff member as a candidate’s thesis supervisor. In such cases, the prior authorisation of the UPC Doctoral School's Standing Committee is required. A UPC staff member who holds a doctoral degree and has documented research experience must also be proposed to act as a co-supervisor, or as the doctoral candidate’s tutor if one has not been assigned.

A thesis supervisor may step down from this role if there are justified reasons (recognised as valid by the committee) for doing so. If this occurs, the academic committee of the doctoral programme will assign the doctoral candidate a new thesis supervisor.

Provided there are justified reasons for doing so, and after hearing any relevant input from the doctoral candidate, the academic committee of the doctoral programme may assign a new thesis supervisor at any time during the period of doctoral study.

If there are academic reasons for doing so (an interdisciplinary topic, joint or international programmes, etc.) and the academic committee of the programme gives its approval, an additional thesis supervisor may be assigned. Supervisors and co-supervisors have the same responsibilities and academic recognition.

The maximum number of supervisors of a doctoral thesis is two: a supervisor and a co-supervisor.

For theses carried out under a cotutelle agreement or as part of an Industrial Doctorate, if necessary and if the agreement foresees it this maximum number of supervisors may not apply. This notwithstanding, the maximum number of supervisors belonging to the UPC is two.

More information at the PhD theses section

Permanence

The academic committee of the programme may authorise an extension of up to one year for full-time doctoral candidates who have not applied to deposit their thesis by the end of the three-year period of study, in the terms outlined in the Academic Regulations for Doctoral Studies of the Universitat Politècnica de Catalunya. In the case of part-time candidates, an extension of two years may be authorised. In both cases, in exceptional circumstances a further one-year extension may be granted by the Doctoral School's Standing Committee, upon the submission of a reasoned application by the academic committee of the doctoral programme.

A doctoral candidate may be dismissed from a doctoral programme for the following reasons:

  • The doctoral candidate submitting a justified application to withdraw from the programme.
  • The maximum period of study and of extensions thereof ending.
  • The doctoral candidate not having enrolled every academic year (unless he or she has been authorised to temporarily withdraw).
  • The doctoral candidate failing two consecutive assessments.
  • The doctoral candidate having disciplinary proceedings filed against him or her that rule that he or she must be dismissed from the UPC.

Dismissal from the programme implies that doctoral candidates cannot continue studying at the UPC and the closing of their academic record. This notwithstanding, they may apply to the academic committee of the programme for readmission and the committee must reevaluate them in accordance with the criteria established in the regulations.

International Mention

The doctoral degree certificate may include International Doctorate mention. In this case, the doctoral candidate must meet the following requirements:

a) During the period of study leading to the award of the doctoral degree, the doctoral candidate must have spent at least three months at a respected higher education institution or research centre outside Spain to complete courses or do research work. The stays and activities carried out must be endorsed by the thesis supervisor and authorised by the academic committee of the programme. The candidate must provide a certifying document issued by the person responsible for the research group of the body or bodies where the stay or activity was completed. This information will be added to the doctoral student’s activity report.
b) Part of the thesis (at least the summary and conclusions) must be written and presented in one of the languages commonly used for science communication in the relevant field of knowledge, which must not be an official language of Spain. This rule does not apply to stays and reports in Spanish or to experts from Spanish-speaking countries.
c) At least two PhD-holding experts belonging to a higher education institution or research centre outside Spain must have issued officially certified reports on the thesis.
d) The thesis examination committee must have included at least one PhD-holding expert from a higher education or research institution outside Spain who was not responsible for the candidate’s stay abroad (point a) above).
e) The thesis defence must have taken place on UPC premises or, in the case of joint programmes, at the location specified in the collaboration agreement.

Learning resources

RDLAB: https://rdlab.cs.upc.edu/

Barcelona. Centre of Virtual Reality: https://www.virvig.eu/equipment.php

Doctoral Theses

List of authorized thesis for defense

No hi ha registres per mostrar.

Last update: 24/09/2022 04:45:16.

List of lodged theses

No hi ha registres per mostrar.

Last update: 24/09/2022 04:30:26.

List of defended theses by year

  • COMA PUIG, BERNAT: Human-aware application of data science techniques
    Author: COMA PUIG, BERNAT
    Thesis link: http://hdl.handle.net/10803/673979
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 02/03/2022
    Thesis director: CARMONA VARGAS, JOSEP

    Committee:
         PRESIDENT: BUGARÍN DIZ, ALBERTO JOSÉ
         SECRETARI: VELLIDO ALCACENA, ALFREDO
         VOCAL NO PRESENCIAL: ANGUITA, DAVIDE
    Thesis abstract: In recent years there has been an increase in the use of artificial intelligence and other data-based techniques to automate decision-making in companies, and discover new knowledge in research. In many cases, all this has been performed using very complex algorithms (so-called black-box algorithms), which are capable of detecting very complex patterns, but unfortunately remain nearly uninterpretable. Recently, many researchers and regulatory institutions have begun to raise awareness of their use. On the one hand, the subjects who depend on these decisions are increasingly questioning their use, as they may be victims of biases or erroneous predictions. On the other hand, companies and institutions that use these algorithms want to understand what their algorithm does, extract new knowledge, and prevent errors and improve their predictions in general. All this has meant that researchers have started to focus on the interpretability of their algorithms (for example, through explainable algorithms), and regulatory institutions have started to regulate the use of the data to ensure ethical aspects such as accountability or fairness. This thesis brings together three data science projects in which black-box predictive machine learning has been implemented to make predictions:- The development of an NTL detection system for an international utility company from Spain (Naturgy). We combine a black-box algorithm and an explanatory algorithm to guarantee our system's accuracy, transparency, and robustness. Moreover, we focus our efforts on empowering the stakeholder to play an active role in the model training process.- A collaboration with the University of Padova to provide explainability to a Deep Learning-based KPI system currently implemented by the MyInvenio company.- A collaboration between the author of the thesis and the Universitat de Barcelona to implement an AI solution (a black-box algorithm combined with an explanatory algorithm) to a social science problem.The unique characteristics of each project allow us to offer in this thesis a comprehensive analysis of the challenges and problems that exist in order to achieve a fair, transparent, unbiased and generalizable use of data in a data science project. With the feedback arising from the research carried out to provide satisfactory solutions to these three projects, we aim to:- Understand the reasons why a prediction model can be regarded as unfair or untruthful, making the model not generalisable, and the consequences from a technical point of view in terms of low accuracy of the model, but also how this can affect us as a society.- Determine and correct (or at least mitigate) the situations that cause the problems in terms of robustness and fairness of our data. - Assess the difference between the interpretable algorithms and black-box algorithms. Also, evaluate how well the explanatory algorithms can explain the predictions made by the predictive algorithms. - Highlight what the stakeholder's role in guaranteeing a robust model is and how to convert a data-driven approach to solve a predictive problem into a data-informed approach, where the data patterns and the human knowledge are combined to maximize profit.

  • HAKONIEMI, TUOMAS ANTERO: Size bounds for algebraic and semialgebraic proof systems
    Author: HAKONIEMI, TUOMAS ANTERO
    Thesis link: http://hdl.handle.net/10803/674118
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 25/03/2022
    Thesis director: ATSERIAS PERI, ALBERT

    Committee:
         PRESIDENT: THAPEN, NEIL
         SECRETARI: ALVAREZ FAURA, MARIA DEL CARME
         VOCAL NO PRESENCIAL: BERKHOLZ, CHRISTOPH
    Thesis abstract: This thesis concerns the proof complexity of algebraic and semialgebraic proof systems Polynomial Calculus, Sums-of-Squares and Sherali-Adams. The most studied complexity measure for these systems is the degree of the proofs. This thesis concentrates on other possible complexity measures of interest to proof complexity, monomial-size and bit-complexity. We aim to showcase that there is a reasonably well-behaved theory for these measures also. Firstly we tie the complexity measures of degree and monomial size together by proving a size-degree trade-off for Sums-of-Squares and Sherali-Adams. We show that if there is a refutation with at most s many monomials, then there is a refutation whose degree is of order square root of n log s plus k, where k is the maximum degree of the constraints and n is the number of variables. For Polynomial Calculus similar trade-off was obtained earlier by Impagliazzo, Pudlák and Sgall. Secondly we prove a feasible interpolation property for all three systems. We show that for each system there is a polynomial time algorithm that given two sets P(x,z) and Q(y,z) of polynomial constraints in disjoint sequences x,y and z of variables, a refutation of the union of P(x,z) and Q(y,z), and an assignment a to the z-variables, finds either a refutation of P(x,a) or a refutation of Q(y,a). Finally we consider the relation between monomial-size and bit-complexity in Polynomial Calculus and Sums-of-Squares. We show that there is an unsatisfiable set of polynomial constraints that has both Polynomial Calculus and Sums-of-Squares refutations of polynomial monomial-size, but for which any Polynomial Calculus or Sums-of-Squares refutation requires exponential bit-complexity. Besides the emphasis on complexity measures other than degree, another unifying theme in all the three results is the use of semantic characterizations of resource-bounded proofs and refutations. All results make heavy use of the completeness properties of such characterizations. All in all, the work on these semantic characterizations presents itself as the fourth central contribution of this thesis.

  • PAZ ORTIZ, ALEJANDRO IVÁN: On-the-fly synthesizer programming with rule learning
    Author: PAZ ORTIZ, ALEJANDRO IVÁN
    Thesis link: http://hdl.handle.net/10803/674347
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 03/05/2022
    Thesis director: NEBOT CASTELLS, MARIA ANGELA | MUGICA ALVAREZ, FRANCISCO JOSÉ

    Committee:
         PRESIDENT: XAMBÓ SEDÓ, ANNA
         SECRETARI: ALQUEZAR MANCHO, RENATO
         VOCAL NO PRESENCIAL: PADILLA LONGORIA, PABLO
    Thesis abstract: This manuscript explores automatic programming of sound synthesis algorithms within the context of the performative artistic practice known as live coding.Writing source code in an improvised way to create music or visuals became an instrument the moment affordable computers were able to perform real-time sound synthesis with languages that keep their interpreter running.Ever since, live coding has dealt with real time programming of synthesis algorithms.For that purpose, one possibility is an algorithm that automatically creates variations out of a few presets selected by the user.However, the need for real-time feedback and the small size of the data sets (which can even be collected mid-performance) are constraints that make existing automatic sound synthesizer programmers and learning algorithms unfeasible. Also, the design of such algorithms is not oriented to create variations of a sound but rather to find the synthesizer parameters that match a given one.Other approaches create representations of the space of possible sounds, allowing the user to explore it by means of interactive evolution. Even though these systems are exploratory-oriented, they require longer run-times.This thesis investigates inductive rule learning for on-the-fly synthesizer programming.This approach is conceptually different from those found in both synthesizer programming and live coding literature.Rule models offer interpretability and allow working with the parameter values of the synthesis algorithms (even with symbolic data), making preprocessing unnecessary.RuLer, the proposed learning algorithm, receives a dataset containing user labeled combinations of parameter values of a synthesis algorithm.Among those combinations sharing the same label, it analyses the patterns based on dissimilarity. These patterns are described as an IF-THEN rule model.The algorithm parameters provide control to define what is considered a pattern. As patterns are the base for inducting new parameter settings, the algorithm parameters control the degree of consistency of the inducted settings respect to the original input data.An algorithm (named FuzzyRuLer) able to extend IF-THEN rules to hyperrectangles, which in turn are used as the cores of membership functions, is presented. The resulting fuzzy rule model creates a map of the entire input feature space. For such a pursuit, the algorithm generalizes the logical rules solving the contradictions by following a maximum volume heuristics.Across the manuscript it is discussed how, when machine learning algorithms are used as creative tools, glitches, errors or inaccuracies produced by the resulting models are sometimes desirable as they might offer novel, unpredictable results.The evaluation of the algorithms follows two paths. The first focuses on user tests.The second responds to the fact that this work was carried out within the computer science department and is intended to provide a broader, nonspecific domain evaluation of the algorithms performance using extrinsic benchmarks (i.e not belonging to a synthesizer's domain) for cross validation and minority oversampling.In oversampling tasks, using imbalanced datasets, the algorithm yields state-of-the-art results. Moreover, the synthetic points produced are significantly different from those created by the other algorithms and perform (controlled) exploration of more distant regions.Finally, accompanying the research, various performances, concerts and an album were produced with the algorithms and examples of this thesis. The reviews received and collections where the album has been featured show a positive reception within the community.Together, these evaluations suggest that rule learning is both an effective method and a promising path for further research.

  • RÍOS JEREZ, ALEJANDRO: Walking with virtual humans: Understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR
    Author: RÍOS JEREZ, ALEJANDRO
    Thesis link: http://hdl.handle.net/10803/673736
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 17/02/2022
    Thesis director: PELECHANO GOMEZ, NURIA

    Committee:
         PRESIDENT: ARGELAGUET SANZ, FERNANDO
         SECRETARI: ANDUJAR GRAN, CARLOS ANTONIO
         VOCAL: PATOW, GUSTAVO ARIEL
    Thesis abstract: In this thesis, we present a set of studies whose results have allowed us to analyze how to improve the realism, navigation, and behaviour of the avatars in an immersive virtual reality environment. In our simulations, participants must perform a series of tasks and we have analyzed perceptual and behavioural data. The results of the studies have allowed us to deduce what improvements are needed to be incorporated to the original simulations, in order to enhance the perception of realism, the navigation technique, the rendering of the avatars, their behaviour or their animations.The most reliable technique for simulating avatars¿ behaviour in a virtual reality environment should be based on the study of how humans behave within the environment. For this purpose, it is necessary to build virtual environments where participants can navigate safely and comfortably with a proper metaphor and, if the environment is populated with avatars, simulate their behaviour accurately. All these aspects together will make the participants behave in a way that is closer to how they would behave in the real world. Besides, the integration of these concepts could provide an ideal platform to develop different types of applications with and without collaborative virtual reality such as emergency simulations, teaching, architecture, or designing.In the first contribution of this thesis, we carried out an experiment to study human decision making during an evacuation. We were interested to evaluate to what extent the behaviour of a virtual crowd can affect individuals' decisions. From the second contribution, in which we studied the perception of realism with bots and humans performing just locomotion or varied animations, we can conclude that the combination of having human-like avatars with animation variety can increase the overall realism of a crowd simulation, trajectories and animation. The preliminary study presented in the third contribution of this thesis showed that realistic rendering of the environment and the avatars do not appear to increase the perception of realism in the participants, which is consistent with works presented previously. The preliminary results in our walk-in-place contribution showed a seamless and natural transition between walk-in-place and normal walk. Our system provided a velocity mapping function that closely resembles natural walk. We observed through a pilot study that the system successfully reduces motion sickness and enhances immersion. Finally, the results of the contribution related to locomotion in collaborative virtual reality showed that animation synchronism and footstep sound of the avatars representing the participants do not seem to have a strong impact in terms of presence and feeling of avatar control. However, in our experiment, incorporating natural animations and footstep sound resulted in smaller clearance values in VR than previous work in the literature. The main objective of this thesis was to improve different factors related to virtual reality experiences to make the participants feel more comfortable in the virtual environment. These factors include the behaviour and appearance of the virtual avatars and the navigation through the simulated space in the experience. By increasing the realism of the avatars and facilitating navigation, high scores in presence are achieved during the simulations. This provides an ideal framework for developing collaborative virtual reality applications or emergency simulations that require participants to feel as if they were in real life.

Last update: 24/09/2022 05:01:10.

Theses related publications

AUTHOR:PAZ ORTIZ, ALEJANDRO IVÁN
Title: On-the-fly synthesizer programming with rule learning
Reading date:03/05/2022
Director:NEBOT CASTELLS, MARIA ANGELA
Co-director:MUGICA ALVAREZ, FRANCISCO JOSÉ
Mention:No mention
RELATED PUBLICATIONS
On-the-fly syntheziser programming with fuzzy rule learning
Paz, A.; Nebot, A.; Mugica, F.; Romero, E.
Entropy, ISSN: 1099-4300 (JCR Impact Factor-2019: 2.494; Quartil: Q2)
Publication date: 31/08/2020
Journal article

Charting perceptual spaces with fuzzy rules
2019 IEEE International Conference on Fuzzy Systems
Presentation date: 24/06/2019
Presentation of work at congresses

AUTHOR:HAKONIEMI, TUOMAS ANTERO
Title:Size bounds for algebraic and semialgebraic proof systems
Reading date:25/03/2022
Director:ATSERIAS PERI, ALBERT
Mention:International Mention
RELATED PUBLICATIONS
Size-degree trade-offs for Sums-of-Squares and Positivstellensatz proofs
34th Computational Complexity Conference
Presentation date: 20/07/2019
Presentation of work at congresses

Feasible interpolation for polynomial calculus and sums-of-squares
47th International Colloquium on Automata, Languages, and Programming
Presentation date: 09/07/2020
Presentation of work at congresses

Monomial-size vs. Bit-complexity in sums-of-squares and polynomial calculus
36th Annual ACM/IEEE Symposium on Logic in Computer Science
Presentation date: 02/07/2021
Presentation of work at congresses

AUTHOR:COMA PUIG, BERNAT
Title:Human-aware application of data science techniques
Reading date:02/03/2022
Director:CARMONA VARGAS, JOSEP
Mention:No mention
RELATED PUBLICATIONS
Bridging the gap between energy consumption and distribution through non-technical loss detection
Coma, B.; Carmona, J.
Energies, ISSN: 1996-1073 (JCR Impact Factor-2019: 2.702; Quartil: Q3)
Publication date: 01/05/2019
Journal article

Knowledge-based segmentation to improve accuracy and explainability in non-technical losses detection
Albert Calvo; Coma, B.; Carmona, J.; Arias, M.
Energies, ISSN: 1996-1073 (JCR Impact Factor-2020: 3.004; Quartil: Q3)
Publication date: 30/10/2020
Journal article

Non-technical losses detection in energy consumption focusing on energy recovery and explainability
Coma, B.; Carmona, J.
Machine learning, ISSN: 0885-6125 (JCR Impact Factor-2020: 2.94; Quartil: Q2)
Publication date: 29/09/2021
Journal article

Fraud detection in energy consumption: a supervised approach
3rd IEEE International Conference on Data Science and Advanced Analytics
Presentation date: 17/10/2016
Presentation of work at congresses

A quality control method for fraud detection on utility customers without an active contract
33th ACM Symposium On Applied Computing
Presentation date: 09/04/2018
Presentation of work at congresses

Explainable predictive process monitoring
2nd International Conference on Process Mining
Presentation date: 10/2020
Presentation of work at congresses

A human-in-the-loop approach based on explainability to improve NTL detection
21st IEEE International Conference on Data Mining Workshops
Presentation date: 07/12/2021
Presentation of work at congresses

AUTHOR:RÍOS JEREZ, ALEJANDRO
Title:Walking with virtual humans: Understanding human response to virtual humanoids' appearance and behaviour while navigating in immersive VR
Reading date:17/02/2022
Director:PELECHANO GOMEZ, NURIA
Mention:No mention
RELATED PUBLICATIONS
The impact of animations in the perception of a simulated crowd
Molina, E.; Rios, A.; Pelechano, N.
Springer
Publication date: 2021
Book chapter

Follower behavior under stress in immersive VR
Rios, A.; Pelechano, N.
Virtual reality: research, development and applications, ISSN: 1359-4338 (JCR Impact Factor-2020: 5.095; Quartil: Q1)
Publication date: 12/2020
Journal article

Users’ locomotor behavior in collaborative virtual reality
11th ACM Siggraph Conference on Motion, Interaction, and Games
Presentation date: 10/11/2018
Presentation of work at congresses

Smooth transitioning between two walking metaphors for virtual reality applications
XXIX Congreso Español de Informática Gráfica
Presentation date: 28/06/2019
Presentation of work at congresses

Avatars rendering and its effect on perceived realism in virtual reality
3rd IEEE International Conference on Artificial Intelligence and Virtual Reality
Presentation date: 17/12/2020
Presentation of work at congresses

AUTHOR:SÀNCHEZ FERRERES, JOSEP
Title:Bridging the gap between textual and formal business process representations
Reading date:29/09/2021
Director:PADRO CIRERA, LLUIS
Co-director:CARMONA VARGAS, JOSEP
Mention:No mention
RELATED PUBLICATIONS
DISCOURSIVE PROCESS MODELING EMPOWERED WITH ENVOLVING PROCESS MODEL SEARCH AND OPTIMIZATION
Universitat Politècnica de Catalunya
Registration date: 13/08/2020
Patent

Supporting the process of learning and teaching process models
Sànchez, J.; Delicado, L.; Andaloussi, A.; Burattin, A.; Calderón, G.; Weber, Barbara; Carmona, J.; Padro, L.
IEEE transactions on learning technologies, ISSN: 1939-1382 (JCR Impact Factor-2020: 3.72; Quartil: Q2)
Publication date: 30/03/2020
Journal article

Unleashing textual descriptions of business processes
Sànchez, J.; Burattin, A.; Carmona, J.; Montali, M.; Padro, L.; Quishpi, L.
Software and systems modeling, ISSN: 1619-1366 (JCR Impact Factor-2019: 4.9
Publication date: 12/2021
Journal article

The model judge : a tool for supporting novices in learning process modeling
Dissertation Award, Demonstration, and Industrial Track at BPM 2018
Presentation date: 09/09/2018
Presentation of work at congresses

The Model Judge: a tool for supporting novices in learning process modeling
16th International Conference on Business Process Management
Presentation date: 09/2018
Presentation of work at congresses

Model Judge: automatically supporting process model creation in the classroom
16th International Conference on Business Process Management
Presentation date: 09/2018
Presentation of work at congresses

From process models to chatbots
31st International Conference on Advanced Information Systems Engineering
Presentation date: 03/06/2019
Presentation of work at congresses

Formal reasoning on natural language descriptions of processes
17th International Conference on Business Process Management
Presentation date: 04/09/2019
Presentation of work at congresses

AUTHOR:COMINO TRINIDAD, MARC
Title:Algorithms for the reconstruction, analysis, repairing and enhancement of 3D urban models from multiple data sources
Reading date:22/12/2020
Director:ANDUJAR GRAN, CARLOS ANTONIO
Co-director:CHICA CALAF, ANTONIO
Mention:International Mention
RELATED PUBLICATIONS
Error-aware construction and rendering of multi-scan panoramas from massive point clouds
Comino, M.; Andujar, C.; Chica, A.; Brunet, P.
Computer vision and image understanding, ISSN: 1077-3142 (JCR Impact Factor-2017: 2.391; Quartil: Q2)
Publication date: 05/2017
Journal article

Sensor-aware normal estimation for point clouds from 3D range scans
Comino, M.; Andujar, C.; Chica, A.; Brunet, P.
Computer graphics forum, ISSN: 0167-7055 (JCR Impact Factor-2018: 2.373; Quartil: Q2)
Publication date: 2018
Journal article

Segmentation of aerial images for plausible detail synthesis
Argudo, O.; Comino, M.; Chica, A.; Andujar, C.; Lumbreras, F.
Computers & graphics , ISSN: 0097-8493 (JCR Impact Factor-2018: 1.302; Quartil: Q3)
Publication date: 01/04/2018
Journal article

Depth map repairing for building reconstruction
XXVIII Spanish Computer Graphics Conference
Presentation date: 06/2018
Presentation of work at congresses

View-dependent hierarchical rendering of massive point clouds through textured splats
XXIX Congreso Español de Informática Gráfica
Presentation date: 26/06/2019
Presentation of work at congresses

Multi-view image fusion
17th IEEE International Conference on Computer Vision
Presentation date: 30/10/2019
Presentation of work at congresses

Effective visualization of sparse image-to-image correspondences
22nd Eurographics Conference on Visualization
Presentation date: 05/2020
Presentation of work at congresses

A Tool for N-way analysis of programming exercises
22nd Eurographics Conference on Visualization
Presentation date: 05/2020
Presentation of work at congresses

Easy authoring of image-supported short stories for 3D scanned cultural heritage
18th EUROGRAPHICS Workshop on Graphics and Cultural Heritage
Presentation date: 18/11/2020
Presentation of work at congresses

Easy Authoring of Image-Supported Short Stories for 3D Scanned Cultural Heritage
EG GCH 2020 - 18th EUROGRAPHICS Workshop on Graphics and Cultural Heritage
Presentation date: 18/11/2020
Presentation of work at congresses

AUTHOR:MESSEGUÉ BUISAN, ARNAU
Title:Network creation games: structure vs anarchy
Reading date:18/12/2020
Director:ALVAREZ FAURA, MARIA DEL CARME
Mention:No mention
RELATED PUBLICATIONS
Celebrity games
Alvarez, C.; Blesa, M.; Duch, A.; Messegue, A.; Serna, M.
Theoretical computer science, ISSN: 0304-3975 (JCR Impact Factor-2016: 0.698; Quartil: Q4)
Publication date: 04/10/2016
Journal article

Distance-uniform graphs with large diameter
Lavrov, M.; Loh, P.; Messegue, A.
SIAM journal on discrete mathematics, ISSN: 0895-4801 (JCR Impact Factor-2019: 0.75; Quartil: Q4)
Publication date: 01/06/2019
Journal article

Max celebrity games
13th Workshop on Algorithms and Models for the Web Graph
Presentation date: 14/12/2016
Presentation of work at congresses

AUTHOR:PICENO CABRERA, MARIE ELY
Title:Data analysis through graph decomposition
Reading date:27/07/2020
Director:BALCÁZAR NAVARRO, JOSÉ LUIS
Mention:No mention
RELATED PUBLICATIONS
Co-occurrence patterns in diagnostic data
Piceno, M.; Rodríguez-Navas, L.; Balcazar, J. L.
Computational intelligence, ISSN: 1467-8640 (JCR Impact Factor-2020: 2.33; Quartil: Q3)
Publication date: 11/2021
Journal article

AUTHOR:ZAVALA RODRÍGUEZ, EDITH BERENICE
Title:Towards adaptative monitoring for self-adaptative systems
Reading date:05/07/2019
Director:MARCO GOMEZ, JORDI
Co-director:FRANCH GUTIÉRREZ, JAVIER
Mention:International Mention
RELATED PUBLICATIONS
HAFLoop: An architecture for supporting highly adaptive feedback loops in self-adaptive systems
Zavala, E.; Franch, X.; Marco, J.; Berger, C.
Future generation computer systems, ISSN: 0167-739X (JCR Impact Factor-2020: 7.187; Quartil: Q1)
Publication date: 04/2020
Journal article

Adaptive monitoring for autonomous vehicles using the HAFLoop architecture
Zavala, E.; Franch, X.; Marco, J.; Berger, C.
Enterprise information systems, ISSN: 1751-7575 (JCR Impact Factor-2020: 4.35; Quartil: Q2)
Publication date: 2021
Journal article

AUTHOR:TAYMOURI, FARBOD
Title:Light Methods for Conformance Checking of Business Processes
Reading date:21/12/2018
Director:CARMONA VARGAS, JOSEP
Mention:No mention
RELATED PUBLICATIONS
Computing alignments of well-formed process models using local search
Taymouri, F.; Carmona, J.
ACM transactions on software engineering and methodology, ISSN: 1049-331X (JCR Impact Factor-2020: 2.674; Quartil: Q2)
Publication date: 05/2020
Journal article

Structural computation of alignments of business processes over partial orders
19th International Conference on Application of Concurrency to System Design
Presentation date: 10/06/2019
Presentation of work at congresses

Business process variant analysis based on mutual fingerprints of event logs
32nd International Conference on Advanced Information Systems Engineering
Presentation date: 09/06/2020
Presentation of work at congresses

Research projects

START DATEEND DATEACTIVITYFINANCING ENTITY
25/11/202131/12/2023CAIXAIMPULSE VALIDATE CI21-00075FUNDACIO LA CAIXA
01/11/202131/10/2022Assessoria en l'especificació i gestió de models digitalsHEWLETT-PACKARD ESPAÑOLA, S.L.
25/10/202130/06/2022PRESTACIÓ DEL SERVEI DE MENTORIA CIENTÍFICA DINS DE L’ADVISORY BOARD DEL REPTE TDA (TECNOLOGIES DIGITALS AVANÇADES) EN CIBERSEGURETATFUNDACIÓ i2CAT
06/09/202106/09/2024Intel·ligència artificial per al control i la gestió dels riscos en banca majoristaAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/09/202131/08/2025Modelos y Técnicas para el Procesamiento de Información a Gran Escala -- BarcelonaAGENCIA ESTATAL DE INVESTIGACION
01/08/202130/09/2021Patente superposición digitalSupponor Limited
13/04/202131/12/2021THE COLLIDER - VIRTUALECCFUNDACIO BARCELONA MOBILE WORLD CAP
04/03/202104/03/2021PMLAB
01/10/202030/09/2023Ajut juan de la cierva-incorporaciónAGENCIA ESTATAL DE INVESTIGACION
15/08/202031/12/2022Xarxa R+D+I en Tecnologies de la Salut (XarTEC SALUT)AGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
13/08/202013/08/2020DISCOURSIVE PROCESS MODELING EMPOWERED WITH ENVOLVING PROCESS MODEL SEARCH AND OPTIMIZATION
01/07/202031/12/2020Convenio de Apoyo Técnico NedgiaNEDGIA SA
01/07/202031/12/2020Crowdsourced Obtention and Analytics of Data About the Crowding of Public Spaces for the Benefit of Public Transport and Mobility in CitiesEUROPEAN INST OF INNOV.& TECHNOL.
30/06/202030/06/2020Model Judge
01/06/202031/05/2023Sistemas de prueba más allá de resolución: análisis teóricoMinisterio de Ciencia e Innovación
01/06/202031/05/2023Proof Systems Beyond Resolution: Theoretical AnalysisMinisterio de Ciencia e Innovación
20/05/202020/05/2020OBJECT MODEL TRANSFORMATIONS
28/04/202028/04/2020Beam lattice data in additive manufacturing
01/03/202028/02/2024Creating Lively Interactive Populated EnvironmentsCommission of European Communities
01/03/202028/02/2021Collaborative intelligence to improve clinical care in low-income countriesCentre de Cooperació per al Desenvolupament , UPC
01/03/202028/02/2021Soporte Computacional a modelos de cuantificación en tiempo real de nuevos casos no reportados de COVID-19 en España y otros paísesCentre de Cooperació per al Desenvolupament , UPC
01/02/202031/07/2020Transferència de tecnologia sobre modelització de processos de negociMURMURI SOLUCIONS S.L.
01/01/202031/12/2020Transversal Programme in Medical Image Postprocess, Training Professionals: 3D Printing to ResearchEUROPEAN INST OF INNOV.& TECHNOL.
02/12/201902/12/2020Desarrollar una metodología de valuación de artistas y sus obras de arte, con soporte web.ARTSGAIN INVESTMENTS SGEIC SA
04/11/201930/10/2020Internacionalització de la web educativa corresponent al projecte docent Numerical Factory (https://numfactory.upc.edu). Elaboració de nous materials desenvolupats amb les eines de Matlab.The Marthworks Inc
15/07/201915/07/2019OFFSET OPERATORS
01/06/201931/05/2021TRaceo y ACompañamiento en el viaje con medios ITAGENCIA ESTATAL DE INVESTIGACION
02/04/201931/12/2019Transversal Programme in Medical Image PostProcess, Training Professionals: 3D PrintingEUROPEAN INST OF INNOV.& TECHNOL.
01/03/201918/05/2022Eines algorítmiques per a l'anàlisi de l'evolució temporal de pacients en els sistemes de salutAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/02/201931/01/2021I + D para resolución de problemas de optimización combinatoria vía SMT y SMT, y su aplicación a casos reales complejos, tanto industriales como científicos, en entornos de empresasBARCELOGIC SOLUTIONS SL
01/02/201931/01/2021Resolución de problemas de optimización combinatoria mediante técnicas completas e incompletasBARCELOGIC SOLUTIONS SL
30/01/201930/01/2020Development of parallel path finding solutions for multiagent systems.Improbable Worlds Limited
01/01/201931/12/2021Razonamiento Formal para Tecnologías Facilitadoras y EmergentesAGENCIA ESTATAL DE INVESTIGACION
01/01/201931/12/2021Desarrollo de estrategias ómicas para revelar el pangenoma de especies, la coevolución de los virus y la adaptación en los extremos de concentración salinaMinisterio de Ciencia e Innovación
15/12/201831/12/2019Realització d'una aplicació informàtica per a la millora de la salut mental a l'ambit laboral (BEST)FUNDACIO PRIVADA PER A LA RECERCA I
01/11/201831/12/2019Adaptación de las tecnologías de minería de procesos y machine learning aplicadas a la gestión y la optimización de los procesos sanitariosGRADIANT
31/07/201831/07/2018Three-dimensional Printing of Texture Images
01/07/201813/05/2020Ray-tracing techniques in the design and evaluation of GRIN lenses manufactured through a 3D-printing technologyLuxexcel Holding BV
01/06/201831/12/2019Personal Online Dosimetry Using Computational MethodsCommission of European Communities
09/02/201829/10/2021Reconocimiento de patrones tácticos en fútbolAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
05/02/201805/08/2018Macro floorplanning and dataflow automatic analysis for ASICsESILICON ROMANIA SRL
10/01/201831/07/2018Estudi per l'aprenentatge sobre el muntatge d'un far a un vehicle amb aplicació de realitat virtualFUNDACIO C INNOVACIO I TEC CIT UPC
01/01/201831/12/2021Visualización, modelado, simulación e interacción con modelos 3D. Aplicaciones en ciencias de la vida y entornos rurales y urbanosAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Modelos y métodos basados en grafos para la computación en gran escalaAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Análisis de datos multiescala en cardiología traslacional: de los mecanismos báscios a la contracción cardiacaAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Gestión y Análisis de Datos ComplejosAGENCIA ESTATAL DE INVESTIGACION
01/01/201831/12/2020Tratamiento Inteligente de la información y Generación de Lenguaje NaturalMinisterio de Ciencia e Innovación
01/12/201730/11/2019Dosimetría personal en linea (on line) utilizando métodos computacionalesAGENCIA ESTATAL DE INVESTIGACION
01/09/201731/08/2021Technology Transfer via Multinational Application ExperimentsCommission of European Communities
01/09/201731/12/2020My Travel CompanionCommission of European Communities
27/07/201727/08/2017Ordenació territorial de fluxos de pacientsSERV. CATALA DE LA SALUT
21/07/201726/03/2018A SYSTEM FOR PREDICTING AND MANAGING ADMISSION PRESSURE AT HOSPITAL EMERGENCYAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/07/201731/12/2017Estudio del Montaje del Faro de un Automóvil con Realidad VirtualSEAT
27/03/201727/05/2017Conveni de col.laboració Saló BBC 2017FIRA DE BARCELONA
09/03/201730/06/2017Donació congrés Euro Vis 2017VRVis Zentrum für Virtual Reality
17/02/201702/02/2018Support the research in the area of/'Macro floorplanning and dataflow automatic analysis for ASICs/'ESILICON ROMANIA SRL
01/02/201731/01/2019Programación lineal y lower bounding para la resolución de problemas de optimización combinatoriaBARCELOGIC SOLUTIONS SL
01/02/201731/01/2019Investigación en técnicas SAT y SMT relacionadas con la resolución de problemas de optimización combinatoria y su aplicación a casos reales complejosBARCELOGIC SOLUTIONS SL
01/02/201731/07/2017Análisis de bases de datos del cliente y su relación con aspectos físicos y tácticos en el deporteFUTBOL CLUB BARCELONA ( FCB)
27/01/201716/06/2017Aportación para el congreso EuroVis'17EUROGRAPHICS
25/01/201725/01/2017REPRESENTING AN OBJECT IN TERMS OF SUB-VOLUMES
01/01/201730/09/2019Mi compañero de viajeAGENCIA ESTATAL DE INVESTIGACION
15/09/200931/08/2025DONACIONS A LA RECERCACLIENTS DIVERSOS

Teaching staff and research groups

Research projects

START DATEEND DATEACTIVITYFINANCING ENTITY
25/11/202131/12/2023CAIXAIMPULSE VALIDATE CI21-00075FUNDACIO LA CAIXA
01/11/202131/10/2022Assessoria en l'especificació i gestió de models digitalsHEWLETT-PACKARD ESPAÑOLA, S.L.
25/10/202130/06/2022PRESTACIÓ DEL SERVEI DE MENTORIA CIENTÍFICA DINS DE L’ADVISORY BOARD DEL REPTE TDA (TECNOLOGIES DIGITALS AVANÇADES) EN CIBERSEGURETATFUNDACIÓ i2CAT
06/09/202106/09/2024Intel·ligència artificial per al control i la gestió dels riscos en banca majoristaAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/09/202131/08/2025Modelos y Técnicas para el Procesamiento de Información a Gran Escala -- BarcelonaAGENCIA ESTATAL DE INVESTIGACION
01/08/202130/09/2021Patente superposición digitalSupponor Limited
13/04/202131/12/2021THE COLLIDER - VIRTUALECCFUNDACIO BARCELONA MOBILE WORLD CAP
04/03/202104/03/2021PMLAB
01/10/202030/09/2023Ajut juan de la cierva-incorporaciónAGENCIA ESTATAL DE INVESTIGACION
15/08/202031/12/2022Xarxa R+D+I en Tecnologies de la Salut (XarTEC SALUT)AGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
13/08/202013/08/2020DISCOURSIVE PROCESS MODELING EMPOWERED WITH ENVOLVING PROCESS MODEL SEARCH AND OPTIMIZATION
01/07/202031/12/2020Convenio de Apoyo Técnico NedgiaNEDGIA SA
01/07/202031/12/2020Crowdsourced Obtention and Analytics of Data About the Crowding of Public Spaces for the Benefit of Public Transport and Mobility in CitiesEUROPEAN INST OF INNOV.& TECHNOL.
30/06/202030/06/2020Model Judge
01/06/202031/05/2023Sistemas de prueba más allá de resolución: análisis teóricoMinisterio de Ciencia e Innovación
01/06/202031/05/2023Proof Systems Beyond Resolution: Theoretical AnalysisMinisterio de Ciencia e Innovación
20/05/202020/05/2020OBJECT MODEL TRANSFORMATIONS
28/04/202028/04/2020Beam lattice data in additive manufacturing
01/03/202028/02/2024Creating Lively Interactive Populated EnvironmentsCommission of European Communities
01/03/202028/02/2021Collaborative intelligence to improve clinical care in low-income countriesCentre de Cooperació per al Desenvolupament , UPC
01/03/202028/02/2021Soporte Computacional a modelos de cuantificación en tiempo real de nuevos casos no reportados de COVID-19 en España y otros paísesCentre de Cooperació per al Desenvolupament , UPC
01/02/202031/07/2020Transferència de tecnologia sobre modelització de processos de negociMURMURI SOLUCIONS S.L.
01/01/202031/12/2020Transversal Programme in Medical Image Postprocess, Training Professionals: 3D Printing to ResearchEUROPEAN INST OF INNOV.& TECHNOL.
02/12/201902/12/2020Desarrollar una metodología de valuación de artistas y sus obras de arte, con soporte web.ARTSGAIN INVESTMENTS SGEIC SA
04/11/201930/10/2020Internacionalització de la web educativa corresponent al projecte docent Numerical Factory (https://numfactory.upc.edu). Elaboració de nous materials desenvolupats amb les eines de Matlab.The Marthworks Inc
15/07/201915/07/2019OFFSET OPERATORS
01/06/201931/05/2021TRaceo y ACompañamiento en el viaje con medios ITAGENCIA ESTATAL DE INVESTIGACION
02/04/201931/12/2019Transversal Programme in Medical Image PostProcess, Training Professionals: 3D PrintingEUROPEAN INST OF INNOV.& TECHNOL.
01/03/201918/05/2022Eines algorítmiques per a l'anàlisi de l'evolució temporal de pacients en els sistemes de salutAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/02/201931/01/2021I + D para resolución de problemas de optimización combinatoria vía SMT y SMT, y su aplicación a casos reales complejos, tanto industriales como científicos, en entornos de empresasBARCELOGIC SOLUTIONS SL
01/02/201931/01/2021Resolución de problemas de optimización combinatoria mediante técnicas completas e incompletasBARCELOGIC SOLUTIONS SL
30/01/201930/01/2020Development of parallel path finding solutions for multiagent systems.Improbable Worlds Limited
01/01/201931/12/2021Razonamiento Formal para Tecnologías Facilitadoras y EmergentesAGENCIA ESTATAL DE INVESTIGACION
01/01/201931/12/2021Desarrollo de estrategias ómicas para revelar el pangenoma de especies, la coevolución de los virus y la adaptación en los extremos de concentración salinaMinisterio de Ciencia e Innovación
15/12/201831/12/2019Realització d'una aplicació informàtica per a la millora de la salut mental a l'ambit laboral (BEST)FUNDACIO PRIVADA PER A LA RECERCA I
01/11/201831/12/2019Adaptación de las tecnologías de minería de procesos y machine learning aplicadas a la gestión y la optimización de los procesos sanitariosGRADIANT
31/07/201831/07/2018Three-dimensional Printing of Texture Images
01/07/201813/05/2020Ray-tracing techniques in the design and evaluation of GRIN lenses manufactured through a 3D-printing technologyLuxexcel Holding BV
01/06/201831/12/2019Personal Online Dosimetry Using Computational MethodsCommission of European Communities
09/02/201829/10/2021Reconocimiento de patrones tácticos en fútbolAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
05/02/201805/08/2018Macro floorplanning and dataflow automatic analysis for ASICsESILICON ROMANIA SRL
10/01/201831/07/2018Estudi per l'aprenentatge sobre el muntatge d'un far a un vehicle amb aplicació de realitat virtualFUNDACIO C INNOVACIO I TEC CIT UPC
01/01/201831/12/2021Visualización, modelado, simulación e interacción con modelos 3D. Aplicaciones en ciencias de la vida y entornos rurales y urbanosAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Modelos y métodos basados en grafos para la computación en gran escalaAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Análisis de datos multiescala en cardiología traslacional: de los mecanismos báscios a la contracción cardiacaAGENCIA ESTATAL DE INVESTIGACION
01/01/201830/09/2021Gestión y Análisis de Datos ComplejosAGENCIA ESTATAL DE INVESTIGACION
01/01/201831/12/2020Tratamiento Inteligente de la información y Generación de Lenguaje NaturalMinisterio de Ciencia e Innovación
01/12/201730/11/2019Dosimetría personal en linea (on line) utilizando métodos computacionalesAGENCIA ESTATAL DE INVESTIGACION
01/09/201731/08/2021Technology Transfer via Multinational Application ExperimentsCommission of European Communities
01/09/201731/12/2020My Travel CompanionCommission of European Communities
27/07/201727/08/2017Ordenació territorial de fluxos de pacientsSERV. CATALA DE LA SALUT
21/07/201726/03/2018A SYSTEM FOR PREDICTING AND MANAGING ADMISSION PRESSURE AT HOSPITAL EMERGENCYAGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/07/201731/12/2017Estudio del Montaje del Faro de un Automóvil con Realidad VirtualSEAT
27/03/201727/05/2017Conveni de col.laboració Saló BBC 2017FIRA DE BARCELONA
09/03/201730/06/2017Donació congrés Euro Vis 2017VRVis Zentrum für Virtual Reality
17/02/201702/02/2018Support the research in the area of/'Macro floorplanning and dataflow automatic analysis for ASICs/'ESILICON ROMANIA SRL
01/02/201731/01/2019Programación lineal y lower bounding para la resolución de problemas de optimización combinatoriaBARCELOGIC SOLUTIONS SL
01/02/201731/01/2019Investigación en técnicas SAT y SMT relacionadas con la resolución de problemas de optimización combinatoria y su aplicación a casos reales complejosBARCELOGIC SOLUTIONS SL
01/02/201731/07/2017Análisis de bases de datos del cliente y su relación con aspectos físicos y tácticos en el deporteFUTBOL CLUB BARCELONA ( FCB)
27/01/201716/06/2017Aportación para el congreso EuroVis'17EUROGRAPHICS
25/01/201725/01/2017REPRESENTING AN OBJECT IN TERMS OF SUB-VOLUMES
01/01/201730/09/2019Mi compañero de viajeAGENCIA ESTATAL DE INVESTIGACION
15/09/200931/08/2025DONACIONS A LA RECERCACLIENTS DIVERSOS

Quality

The Validation, Monitoring, Modification and Accreditation Framework (VSMA Framework) for official degrees ties the quality assurance processes (validation, monitoring, modification and accreditation) carried out over the lifetime of a course to two objectives—the goal of establishing coherent links between these processes, and that of achieving greater efficiency in their management—all with the overarching aim of improving programmes.

Validation

Monitoring

Accreditation

    Registry of Universities, Centers and Degrees (RUCT)

    Indicators

    Up