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

Andujar Gran, Carlos

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

https://computing.phd.upc.edu

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.

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

  • VILA GOMEZ, MARC: IoT semantic-based monitoring of infrastructures using a microservices architecture
    Author: VILA GOMEZ, MARC
    Thesis file: (contact the Doctoral School to confirm you have a valid doctoral degree and to get the link to the thesis)
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Deposit date: 05/02/2024
    Reading date: 12/04/2024
    Reading time: 10:30
    Reading place: Sala de Juntes de la FIB, edifici B6, Campus Barcelona Nord
    Thesis director: SANCHO SAMSO, MARIA RIBERA | TENIENTE LOPEZ, ERNEST
    Committee:
         PRESIDENT: ROMERO MORAL, OSCAR
         SECRETARI: QUERALT CALAFAT, ANNA
         VOCAL: DUSTDAR, SCHAHRAM
         VOCAL: RUIZ CORTÉS, ANTONIO
         VOCAL: MECELLA, MASSIMO
    Thesis abstract: The Internet of Things (IoT) is a powerful new paradigm that has the potential to transform the way we live, work, and interact with our surroundings. IoT devices are equipped with sensors, software, and communication capabilities, continuously gather data from physical entities and transmit it over the Internet. These devices and their measurements can be used to understand the world around us and to automate tasks.The IoT is still in its early stages but has already shown great promise. Currently, IoT devices are used to monitor our health, manage our homes, and monitor physical infrastructures, among others. As the IoT develops, we can expect to see even more innovative and groundbreaking applications. The IoT has the potential to revolutionize the way we live and work, and make our world a smarter and more connected place.One of the main features of the IoT is its ability to collect and process data from a variety of sources, convert this data into knowledge, and then use this knowledge to monitor undesirable situations. This monitoring must be done automatically to be practical and be related to the ontological structure of the information being processed to be helpful.In certain scenarios, data communication between devices is straightforward. Devices are connected in the same ecosystem, where agreeing on the communication data format is pretty easy. However, when devices have to communicate information to outsider environments, each manufacturer defines its own data communication format, despite they may be communicating similar concepts. This issue is not adequately addressed in the IoT domain, and information homogenization must be done. These statements lead to a central question: "How can we improve the interoperability of IoT devices that use sensors, actuators, and event rules for the monitoring entities in the real world?". To overcome data heterogeneity, we propose the development of an ontology ¿a comprehensive and abstract representation of domain concepts and data. This ontology will serve as a foundation for enhancing interoperability among IoT devices by providing a common framework for understanding and exchanging data across diverse systems. Our proposed ontology encompasses a wide range of entity types, including sensors, actuators, and entities representing real-world objects. Sensors gather data from the environment, actuators modify the state of the world, and entities model the physical objects being monitored. The ontology also includes contextualization rules that allow users to define conditions based on sensor data and actuator actions. These rules enable the system to automate monitoring, context gathering, and appropriate responses based on real-time data. Thus generating a wide range of possibilities, so that, different elements from several domains can be specified, depending on the use case chosen by the implementer.In this regard, we propose a working environment, a cloud-based software platform where operators can view and manipulate all the system¿s information, developed using a microservices architecture. We focus on real-time data collection to fully automate monitoring, context gathering, and appropriate responses.

Last update: 28/03/2024 05:45:25.

List of lodged theses

  • ALONSO ALONSO, JESUS: Dynamic Terrain Modeling
    Author: ALONSO ALONSO, JESUS
    Thesis file: (contact the Doctoral School to confirm you have a valid doctoral degree and to get the link to the thesis)
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Deposit date: 18/03/2024
    Reading date: pending
    Reading time: pending
    Reading place: pending
    Thesis director: JOAN ARINYO, ROBERT
    Committee:
         PRESIDENT: CHOVER, MIGUEL
         SECRETARI: ARGUDO MEDRANO, OSCAR
         VOCAL: BOSCH GELI, CARLES
    Thesis abstract: This work explores terrain modelling techniques that provide a comprehensive experience in terms of graphical representation, physics interaction and dynamic updates in real-time. In particular, our focus revolves around the creation of a system able to: 1) capture any possible feature we find on terrains, 2) maintain an accurate level of detail, 3) offer rendering and navigation in real-time, 4) include the option of performing dynamic updates in real-time, and 5) support physical interactions of entities also in real-time.Once previous models from the literature are reviewed, two models are proposed that take a digital elevation model as the base structure. The former follows a strategy in which we mimic the geotectonic events we find in nature. The latter uses a sculpting approach with convex polyhedra as a carving tool. To this end, several works are presented.While the first option introduces some gains with limits, the second option is a proposal that accomplishes the five required constraints. On the one hand, it can model tunnels, caves and overhangs, and terrain features can be captured with pixel-perfect accuracy. On the other hand, it is not demanding regarding processing and storage requirements and offers scalability. Finally, rendering, physics and dynamic updates can be performed in real-time.As a result, this work represents a significant contribution, offering an integrated solution capable of addressing the most challenging aspects of dynamic terrains. Our approach introduces a novel terrain model comprising diverse data structures and a suite of algorithms designed to capture a wide range of terrain formations accurately. A scene composed of tens of millions of triangles can be continuously updated to the extent of simulating a completely devastated terrain, rendered, and subjected to real-time physics computations involving tens of thousands of physical entities. The proposed model holds great potential for computer graphic applications, particularly in scenarios such as simulators and games, where dynamic landscapes play a paramount role.

Last update: 28/03/2024 05:30:30.

List of defended theses by year

  • KOÇI, REDIANA: A data-driven approach to prescribe web API evolution
    Author: KOÇI, REDIANA
    Thesis file: (contact the Doctoral School to confirm you have a valid doctoral degree and to get the link to the thesis)
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 23/01/2024
    Thesis director: FRANCH GUTIÉRREZ, JAVIER | JOVANOVIC, PETAR

    Committee:
         PRESIDENT: RUIZ CORTÉS, ANTONIO
         SECRETARI: MARTÍNEZ FERNÁNDEZ, SILVERIO JUAN
         VOCAL: PAUTASSO, CESARE
    Thesis abstract: In the last two decades, the use of web Application Programming Interfaces (APIs) has grown exponentially, providing both consumers (software developers) and providers (companies and institutions that expose their organizational data or services) with numerous advantages and facilities. Web APIs allow developers to easily integrate existing services or data into their applications, reducing the time and cost required to build new software. At the same time, by making available their web APIs, providers can increase their customer reach or create a new revenue stream by monetizing the web API. Even though consumers expect web APIs to be steady and well-established, web APIs are prone to continuous changes, evolving several times through their lifecycle. As the use of web APIs continues to grow, the need to evolve them to meet the changing needs of consumers becomes more challenging. However, consumers do not always welcome web API evolution, as the changes might be too frequent or not relevant from their point of view. This discontentment becomes even stronger for the fact that web APIs are exposed over the Internet, meaning that consumers may be forced to upgrade to new web API versions (if providers decide to discontinue the former ones). Knowing the impact changes have on consumers, providers have to strike a balance between not imposing unexpected, frequent changes and providing an up-to-date, maintainable, bug-free web API, that fulfills consumers¿ needs. The aim of this research work is to develop a semi-automatic method that enables web API providers to prescribe changes based on their consumers' behavior, as recorded in web API usage logs. We take the position that web API evolution should be mainly usage-based, i.e., the way consumers use web APIs should be one of the main drivers of web API changes. We start with the exploration of web API evolution, by seeing the process from the points of view of both providers and consumers. We identify and classify the changes that often happen to web APIs, and investigate how all these changes are reflected in various artifacts. Building on this classification, we examine different types of usage logs, namely development and production logs, to understand consumers' needs based on their behavior. We detect usage patterns that indicate the presence of usability issues or needs for improvement in the web API and suggest changes that should be implemented in future web API releases. Our approach enables providers to make informed decisions based on usage patterns. By adopting a usage-based approach, providers can ensure that their web APIs continue to meet the evolving needs of their consumers.

  • ORELLANA BECH, BERNAT: Towards the automation of colon segmentation in magnetic resonance images
    Author: ORELLANA BECH, BERNAT
    Thesis file: (contact the Doctoral School to confirm you have a valid doctoral degree and to get the link to the thesis)
    Programme: DOCTORAL DEGREE IN COMPUTING
    Department: Department of Computer Science (CS)
    Mode: Normal
    Reading date: 07/03/2024
    Thesis director: MONCLUS LAHOYA, EVA | NAVAZO ALVARO, ISABEL

    Committee:
         PRESIDENT: OELTZE-JAFRA, STEFFEN
         SECRETARI: VINACUA PLA, ALVARO
         VOCAL: BOADA OLIVERAS, IMMACULADA
    Thesis abstract: The study of the colonic volume has strong relevance in gastroenterology and contributes to the diagnosis and research of lowseveritydiseases such as constipation, diarrhea, or Irritable Bowel Syndrome. In the context of these affections, the use of invasivetechniques or ionizing imaging is not advisable, and the medical experts opted for Magnetic Resonance Imaging (MRI) acquiredwithout contrast administration nor any form of patient preparation to avoid exogenous colon alteration.Specifically, two MRI modalities are of special interest: T2-weighted half-Fourier acquisition single-shot turbo spin echo sequence(T2-HASTE), which allows the segmentation of the colon lumen, and T1-weighted Fat-Sat (T1-FS), where fecal and gas contentscan be distinguished.The colon analysis requires the segmentation of the colon both in T1-FS and T2-HASTE images, which is a cumbersome and timeconsumingprocess when performed manually. Moreover, manual segmentation involves a high degree of uncertainty in the colonboundaries delimitation, which leads to arbitrariness and poor measurement repeatability.This Ph.D. Thesis proposes an end-to-end quasi-automatic framework that comprises all the steps required to accurately segmentthe colon in T2-HASTE and T1-FS images, allowing the study of its morphology and the colonic content distribution. In order to easethe validation of the automated segmentation results, a tool for the synchronized T1-FS/T2-HASTE visualization has also beendesigned.T2-HASTE segmentation is organized as a three-stage pipeline. In the first stage, a custom tubularity filter is run to detect coloncandidate areas. The specialists provide a list of points along the colon trajectory, which are combined with tubularity information tocalculate an estimation of the colon medial path. In the second stage, the colon region of interest is delimited by applying customsegmentation algorithms to detect colon neighboring regions and the fat capsule containing abdominal organs. Finally, within thereduced search space, the segmentation is performed via 3D graph-cuts in a three-stage multigrid approach.T1-FS colon segmentation is based on a non-rigid registration of the T2-HASTE image towards the T1-FS image. The mappingtransformation delivered by the registration is used to translate the T2-HASTE colon segmentation to the T1-FS space. A novelIterative Colon Registration process corrects the registered colon misalignments by employing a mesh deformation approachguided by a probabilistic model. The model provides information about the presence of feces, colonic gas, and the surrounding fat.Each iteration alternates a deformation phase with a shape-preservation phase to counterbalance the lack of boundary informationthat characterizes the regions of the colon containing gas. This process converges into an optimal fit of the colon segmentation inthe T1-FS.The experiments have proven the accuracy and usability of the algorithms, which contributed to the integration of MRI image-basedcolon analysis into the clinical routine.The results imply a substantial step towards a fully automated segmentation, speeding up the acquisition of further data for researchand diagnosis purposes while improving the repeatability of the measurements.

Last update: 28/03/2024 06:00:59.

Theses related publications

AUTHOR:KOÇI, REDIANA
Title:A data-driven approach to prescribe web API evolution
Reading date:23/01/2024
Director:FRANCH GUTIÉRREZ, JAVIER
Co-director:JOVANOVIC, PETAR
Mention:No mention
RELATED PUBLICATIONS
Web API evolution patterns: A usage-driven approach
Koçi, R.; Franch, X.; Jovanovic, P.; Abello, A.
Journal of systems and software, ISSN: 0164-1212 (JCR Impact Factor-2021: 3.514; Quartil: Q2)
Publication date: 12/01/2023
Journal article

Classification of changes in API evolution
23rd IEEE International Enterprise Distributed Object Computing Conference
Presentation date: 31/10/2019
Presentation of work at congresses

A data-driven approach to measure the usability of Web APIs
46th Euromicro Conference on Software Engineering and Advanced Applications
Presentation date: 26/08/2020
Presentation of work at congresses

Improving Web API usage logging
15th International Conference on Research Challenges in Information Science
Presentation date: 14/05/2021
Presentation of work at congresses

PatternLens: Inferring evolutive patterns from web API usage logs
33rd International Conference on Advanced Information Systems Engineering
Presentation date: 01/07/2021
Presentation of work at congresses

AUTHOR:LLOPIS, MARCEL
Title:Revolutionizing space mission event modeling with the tychonis framework
Reading date:14/12/2023
Director:FRANCH GUTIÉRREZ, JAVIER
Co-director:SORIA GUERRERO, MANUEL
Mention:No mention
RELATED PUBLICATIONS
Tychonis: a model-based approach to define and search for geometric events in space
Llopis, M.; Soria, M.; Franch, X.
Acta astronautica, ISSN: 0094-5765 (JCR Impact Factor-2021: 2.954; Quartil: Q1)
Publication date: 06/2021
Journal article

Assessing the usability of two declarative programming languages to model geometric events
Llopis, M.; Franch, X.; Soria, M.
Journal of aerospace information systems, ISSN: 2327-3097 (JCR Impact Factor-2021: 1.444; Quartil: Q3)
Publication date: 09/2023
Journal article

The planning software behind the bright spots on Ceres: The challenges and successes of Science Opportunity Analyzer
7th IEEE International Conference on Space Mission Challenges for Information Technology
Presentation date: 01/08/2019
Presentation of work at congresses

Integrating the Science Opportunity Analyzer with a reusable opportunity search framework
Kerala Global Investors Meet 2020
Presentation date: 01/2020
Presentation of work at congresses

Psyche Science Planning with the Science Opportunity Analyzer
SpaceOps 2020
Presentation date: 03/05/2021
Presentation of work at congresses

AUTHOR:ÁLVAREZ DE LA CAMPA CRESPO, MERCÈ
Title:Construction and technological development of immersive virtual reality for pain therapy
Reading date:29/06/2023
Tutor/a:SUSIN SANCHEZ, ANTONIO
Director:SÁNCHEZ VIVES, MARIA VICTORIA
Co-director:SLATER, MELVYN
Mention:Industrial Doctorate Mention
RELATED PUBLICATIONS
An experimental study of a virtual reality counselling paradigm using embodied self-dialogue
Slater, M.; Neyret, S.; Álvarez De La Campa, M.; Spanlang, B.
Scientific reports, ISSN: 2045-2322 (JCR Impact Factor-2021: 4.996; Quartil: Q2)
Publication date: 29/07/2019
Journal article

Virtual embodiment for improving range of motion in patients with movement-related shoulder pain
Journal of clinical medicine, ISSN: 2077-0383 (JCR Impact Factor-2022: 3.9; Quartil: Q2)
Publication date: 08/07/2022
Journal article

AUTHOR:MANZANO AGUILAR, MARTÍ
Title:Specification, estimation and monitoring of quality-related software strategic indicators in agile software development
Reading date:08/06/2023
Director:AYALA MARTINEZ, CLAUDIA PATRICIA
Co-director:GÓMEZ SEOANE, CRISTINA
Mention:No mention
RELATED PUBLICATIONS
A method to estimate software strategic indicators in software development: An industrial application
Manzano, M.; Ayala, C.P.; Gomez, C.; Ahbervé, A.; Franch, X.; Mendes, E.
Information and software technology, ISSN: 0950-5849 (JCR Impact Factor-2021: 3.862; Quartil: Q1)
Publication date: 01/2021
Journal article

QaSD: A Quality-aware Strategic Dashboard for supporting decision makers in Agile Software Development
López, L.; Manzano, M.; Gomez, C.; Oriol, M.; Farré, C.; Franch, X.; Martínez-Fernández, S.; Vollmer, A.M.
Science of computer programming, ISSN: 0167-6423 (JCR Impact Factor-2021: 1.039; Quartil: Q4)
Publication date: 02/2021
Journal article

AUTHOR:RENEDO MIRAMBELL, MARTÍ
Title:Cluster evaluation on weighted networks
Reading date:28/03/2023
Director:ARRATIA QUESADA, ARGIMIRO ALEJANDRO
Mention:No mention
RELATED PUBLICATIONS
Clustering assessment in weighted networks
Arratia, A.; Renedo, M.
PeerJ. Computer science, ISSN: 2376-5992 (JCR Impact Factor-2021: 2.411; Quartil: Q2)
Publication date: 18/06/2021
Journal article

clustAnalytics: An R package for assessing stability and significance of communities in networks
Renedo, M.; Arratia, A.
R Journal, ISSN: 2073-4859 (JCR Impact Factor-2022: 2.1; Quartil: Q1)
Publication date: 01/11/2023
Journal article

On methods to assess the significance of community structure in networks of financial time series
International Work-conference on Time Series 2017
Presentation date: 20/09/2017
Presentation of work at congresses

The assessment of clustering on weighted network with R package clustAnalytics
24th International Conference of the Catalan Association for Artificial Intelligence
Presentation date: 19/10/2022
Presentation of work at congresses

Towards and efficient algorithm for computing the reduced mutual information
24th International Conference of the Catalan Association for Artificial Intelligence
Presentation date: 20/10/2022
Presentation of work at congresses

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 (Basel), 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, JOSE
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-2021: 5.414; 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, JOSE
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-2021: 2.211; Quartil: Q3)
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-2021: 2.142; Quartil: Q3)
Publication date: 11/2021
Journal article

AUTHOR:VIDAL OBIOLS, ALEXANDRE
Title:Algorithmic Techniques for Physical Design: Macro Placement and Under-the-Cell Routing
Reading date:24/01/2020
Director:CORTADELLA FORTUNY, JORDI
Co-director:PETIT SILVESTRE, JORDI
Mention:No mention
RELATED PUBLICATIONS
Multi-level dataflow-driven macro placement guided by RTL structure and analytical methods
Vidal, A.; Cortadella, J.; Petit, J.; Galceran, M.; Martorell, F.
IEEE transactions on computer-aided design of integrated circuits and systems, ISSN: 0278-0070 (JCR Impact Factor-2021: 2.565; Quartil: Q3)
Publication date: 12/2021
Journal article

Phase Retrieval for Hidden Tomography Reconstruction
Imaging and Applied Optics Congress 2020
Presentation date: 26/06/2020
Presentation of work at congresses

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-2021: 4.407; Quartil: Q2)
Publication date: 2021
Journal article

Research projects

START DATEEND DATEACTIVITYFINANCING ENTITY
12/09/202330/06/2026Chips para arquitecturas avanzadas y sistemas fotónicosMIN DE ECONOMIA Y COMPETITIVIDAD
01/09/202331/08/2026Satisfactibilidad y Optimización con Certificados de Prueba mas allá de ResolucióAGENCIA ESTATAL DE INVESTIGACION
24/03/202301/07/2023Patente de superposición digitalSupponor Limited
01/01/202331/12/2025eXtended Reality for EducationCommission of European Communities
01/01/202331/12/2025Xarxa R+D+I en Tecnologies de la Salut (Xartec Salut)AGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/12/202230/11/2024Herramienta de realidad virtual para el entrenamiento de la población y los servicios de emergencia en caso de inciendio a partir de volúmenes 3D reales y simulaciones CFD.AGENCIA ESTATAL DE INVESTIGACION
01/12/202230/11/2024Simulación y visualización de la Erosión y la Degradación Natural debida a actividades AntropogénicasAGENCIA ESTATAL DE INVESTIGACION
01/12/202230/11/2024Automatización de procesos de negocio a partir de interacciones humanasAGENCIA ESTATAL DE INVESTIGACION
27/10/202227/10/2022APPLICATION OF DISPLACEMENT MAPS TO 3D MESH MODELS
28/09/202231/12/2023Algorithm for CAD Flow researchQUALCOMM INC
01/09/202231/08/2025Métodos formales escalables para aplicaciones en entornos realesAGENCIA ESTATAL DE INVESTIGACION
01/09/202231/08/2025Modelado neuromusculoesquelético y simulación de la recuperación de la función motora mediante rehabilitación robótica de la marchaAGENCIA ESTATAL DE INVESTIGACION
01/09/202231/08/2026Entornos 3D de alta fidelidad para Realidad Virtual y Computación Visual: geometría, movimiento, interacción y visualización para salud, arquitectura y ciudadesAGENCIA ESTATAL DE INVESTIGACION
01/06/202230/06/2023Contrato de colaboración para el desarrollo y aplicación de técnicas de inteligencia artificial para la predicción de la evoluciónBEAWRE DIGITAL, SOCIEDAD LIMITADA
01/06/202231/05/2023Cribratge i seguiment del tractament per Hipertensió Arterial (HTA) en col·lectius d'alta vulnerabilitat amb problemes d’accés al sistema sanitariCentre de Cooperació per al Desenvolupament de la UPC
17/03/202217/03/2022Coda4Microbiome
31/01/202231/01/2022BOOLEAN OPERATIONS
31/01/202231/01/2022TRANSFORMING OBJECT DATA MODELS
01/01/202231/12/2025María de Maeztu Program for Centers and Units of Excellence in R&D (proyecto CEX2020-001084-M).Agencia Estatal de Investigación
01/01/202231/12/2022InnovaCity 2.0EUROPEAN INST OF INNOV.& TECHNOL.
01/01/202201/03/2023Top Rosies TalentDIGITAL FUTURE SOCIETY; HP Printing and Computing Solutions, S.L.U .
25/11/202131/12/2023CAIXAIMPULSE VALIDATE CI21-00075FUNDACIO LA CAIXA
01/11/202130/04/2024Ampliació del contracte de col·laboració per assessoria 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
01/04/202131/03/2022WalCycData: A data infrastructure for vulnerable road usersEUROPEAN INST OF INNOV.& TECHNOL.
04/03/202104/03/2021PMLAB
01/12/202031/10/2021CiutadanIA: Intel·ligència Artificial per a tothomGeneralitat de Catalunya. Departament de la Vicepresidencia i de Politiques Digitals i Territori
01/11/202031/12/2022H2020-894116-SYN+AIRSESAR JOINT UNDERTAKING
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/202031/08/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.
01/01/202031/12/2020Top Secret RosiesAjuntament de Barcelona
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/2022TRaceo 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/201928/02/2023Eines 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/2025I + 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/2025Resolució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/201930/09/2022Razonamiento 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/09/200931/12/2024DONACIONS A LA RECERCACLIENTS DIVERSOS

Teaching staff and research groups

Research projects

START DATEEND DATEACTIVITYFINANCING ENTITY
12/09/202330/06/2026Chips para arquitecturas avanzadas y sistemas fotónicosMIN DE ECONOMIA Y COMPETITIVIDAD
01/09/202331/08/2026Satisfactibilidad y Optimización con Certificados de Prueba mas allá de ResolucióAGENCIA ESTATAL DE INVESTIGACION
24/03/202301/07/2023Patente de superposición digitalSupponor Limited
01/01/202331/12/2025eXtended Reality for EducationCommission of European Communities
01/01/202331/12/2025Xarxa R+D+I en Tecnologies de la Salut (Xartec Salut)AGAUR. Agència de Gestió d'Ajuts Universitaris i de Recerca
01/12/202230/11/2024Herramienta de realidad virtual para el entrenamiento de la población y los servicios de emergencia en caso de inciendio a partir de volúmenes 3D reales y simulaciones CFD.AGENCIA ESTATAL DE INVESTIGACION
01/12/202230/11/2024Simulación y visualización de la Erosión y la Degradación Natural debida a actividades AntropogénicasAGENCIA ESTATAL DE INVESTIGACION
01/12/202230/11/2024Automatización de procesos de negocio a partir de interacciones humanasAGENCIA ESTATAL DE INVESTIGACION
27/10/202227/10/2022APPLICATION OF DISPLACEMENT MAPS TO 3D MESH MODELS
28/09/202231/12/2023Algorithm for CAD Flow researchQUALCOMM INC
01/09/202231/08/2025Métodos formales escalables para aplicaciones en entornos realesAGENCIA ESTATAL DE INVESTIGACION
01/09/202231/08/2025Modelado neuromusculoesquelético y simulación de la recuperación de la función motora mediante rehabilitación robótica de la marchaAGENCIA ESTATAL DE INVESTIGACION
01/09/202231/08/2026Entornos 3D de alta fidelidad para Realidad Virtual y Computación Visual: geometría, movimiento, interacción y visualización para salud, arquitectura y ciudadesAGENCIA ESTATAL DE INVESTIGACION
01/06/202230/06/2023Contrato de colaboración para el desarrollo y aplicación de técnicas de inteligencia artificial para la predicción de la evoluciónBEAWRE DIGITAL, SOCIEDAD LIMITADA
01/06/202231/05/2023Cribratge i seguiment del tractament per Hipertensió Arterial (HTA) en col·lectius d'alta vulnerabilitat amb problemes d’accés al sistema sanitariCentre de Cooperació per al Desenvolupament de la UPC
17/03/202217/03/2022Coda4Microbiome
31/01/202231/01/2022BOOLEAN OPERATIONS
31/01/202231/01/2022TRANSFORMING OBJECT DATA MODELS
01/01/202231/12/2025María de Maeztu Program for Centers and Units of Excellence in R&D (proyecto CEX2020-001084-M).Agencia Estatal de Investigación
01/01/202231/12/2022InnovaCity 2.0EUROPEAN INST OF INNOV.& TECHNOL.
01/01/202201/03/2023Top Rosies TalentDIGITAL FUTURE SOCIETY; HP Printing and Computing Solutions, S.L.U .
25/11/202131/12/2023CAIXAIMPULSE VALIDATE CI21-00075FUNDACIO LA CAIXA
01/11/202130/04/2024Ampliació del contracte de col·laboració per assessoria 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
01/04/202131/03/2022WalCycData: A data infrastructure for vulnerable road usersEUROPEAN INST OF INNOV.& TECHNOL.
04/03/202104/03/2021PMLAB
01/12/202031/10/2021CiutadanIA: Intel·ligència Artificial per a tothomGeneralitat de Catalunya. Departament de la Vicepresidencia i de Politiques Digitals i Territori
01/11/202031/12/2022H2020-894116-SYN+AIRSESAR JOINT UNDERTAKING
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/202031/08/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.
01/01/202031/12/2020Top Secret RosiesAjuntament de Barcelona
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/2022TRaceo 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/201928/02/2023Eines 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/2025I + 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/2025Resolució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/201930/09/2022Razonamiento 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/09/200931/12/2024DONACIONS 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