annual report - inesc-id

ANNUAL REPORT

2015

Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa

ANNUAL REPORT

2015

INESC-ID ANNUAL REPORT 2015

3


CONTENTS

1. WHO WE ARE 4

2. WHAT WE DO 12

3. HUMAN RESOURCES 16

4. OUTCOME 18

5. COOPERATION, PARTNERSHIP AND MOBILITY 22

6. TECHNOLOGY TRANSFER 24

7. VISIBILITY 28

8. HIGHLIGHTS 36

9. RESEARCH UNITS 46

10. ANNEXES 52


1. WHO WE ARE

5


INESC-ID is a research institute focused on advanced research and development in the areas of Electronics, Communications, Information Technologies, and Energy.

INESC-ID was created in 2000, as a result of the reorganization of the R&D activities of its parent institution INESC, in Lisbon.

INESC-ID is a not for profit, privately owned institution, officially declared of public interest. It is owned 51% by Instituto Superior Técnico (IST) and 49% by Instituto de Engenharia de Sistemas e Computadores (INESC).

INESC-ID operates in three locations, near or inside the two campi of IST, namely Alameda and Taguspark.

1.1 Associate Laboratory

INESC-ID was awarded the status of “Laboratório Associado” in December 2004. This has increased the funding and enabled the recruitment of a number of postdoctoral re-searchers and support staff. Its activity is structured in research lines, each coordinating several research groups working in close expertise areas.

The activities of INESC-ID in 2015 are structured in the following research lines:

R INFORMATION AND DECISION SUPPORT SYSTEMS

R INTERACTIVE INTELLIGENT SYSTEMS

R EMBEDDED ELECTRONIC SYSTEMS

R COMPUTING SYSTEMS AND COMMUNICATION NETWORKS

R ENERGY SYSTEMS

Some research lines are composed of different research groups, but the research and administrative planning, once centered in the groups, has progressively moved towards the research lines.


ALAMEDA / INESC

TAGUSPARK

ALAMEDA / IST

7


1.2 Institutional Structure

1.2.1 Management structureINESC-ID is structured according to the organization chart shown below. Current man-agement of the organization is ensured by the Board of Directors, assisted by the Project Support Office (GAP), the Human Resources Office (GARH), and other administrative support units, which provide services sub-contracted to INESC (holding) or to INESC Services, like the financial & budget control department, legal support, infrastructures department, and computer network support.

Fig. 1 – INESC-ID Organization Chart

Audit Board General Council

Board of Directors

Project Support

Office

Human Resources

Office

Entrepreneurship and Technology Transfer Office

Scientific Council

Board

Coordinating Commitee

Other members

Advisory Board

Administrative Support

Interactive Virtual

Environments

Information and Decision

Support Systems

Energy Systems

Computing Systems and

Communication Networks

Embedded ElectronicSystems

8

INESC-ID ANNUAL REPORT

2015

Board of DirectorsThe Board of Directors is composed of three members proposed by the Scientific Council and appointed by the General Council. It is in charge of the general management of the Institution. The Board is composed in 2015 by Professors Luís Rodrigues (chairman), José Carlos Monteiro and Jorge Fernandes.

General CouncilThe General Council is composed by three representatives of IST (Instituto Superior Técnico), two from INESC, and by the chairman of the Scientific Council of INESC-ID. The General Council approves the annual technical and financial reports, as well as the plan and the budget. It appoints the board of directors under proposal by the Scientific Council. In 2015 the General Council is composed by Arlindo Oliveira, Luís Miguel Silveira, José Tribolet, and Abílio Ançã Henriques.

Audit Board The Audit Board is composed of three members appointed by the General Council. It examines and certifies the accounts of the Institution. In 2015 the Fiscal Council is com-posed by João Catarino, Carlos Varandas and Grant Thornton & Associados – Sociedade de Revisores Oficiais de Contas, Lda.

Scientific CouncilThe Scientific Council is composed of all researchers with a Ph.D. degree. It is responsible for the strategic planning and for the organization of the research units, and evaluates the research projects, annual budget, plan, and report. The Scientific Council is assisted by the Advisory Board which visits INESC-ID on a regular basis.

9


Board of the Scientific Council The Scientific Council has a managing board composed of a chairman and two other mem-bers. In 2015 the Board of the Scientific Council is composed by Professors José Fernando Alves da Silva, Inês Lynce, and Luís Miguel Silveira (chairman).

Scientific Council Coordinating ComitteeThe Coordinating Committee is composed of the Board of the Scientific Council and rep-resentatives of the thematic areas.

Advisory BoardThe Advisory Board is composed by external advisors that provide advice concerning the strategy and plans of the Institution. The members of the Advisory Board are cur-rently Professors Srinivas Devadas (MIT, USA), Morris Sloman (Imperial College, London, UK), José Carlos Princípe (Univ. Florida, USA), Braum Nauta (University of Twente, Netherlands) and Ricardo Baeza-Yates (Yahoo Labs, Barcelona).

Entrepreneurship and Technology Transfer OfficeActing as a service provider, and with a high level of technology transfer, INESC-ID par-ticipates in several start-up companies created by researchers and former graduate stu-dents. The eTTO was created to help increase the intellectual property value of INESC-ID, to promote more industry partnerships, and to encourage the creation of new business ventures. This office is coordinated by Professor Luís Caldas de Oliveira, assisted by a small technical team and a technology scouting team, which is responsible for searching new opportunities in each research area.

Human Resources OfficeThe Human Resources Office is responsible for the human resources affairs of INESC-ID.

Projects Support OfficeThe Projects Support Office supports general applications for competitive funding and also the management of research projects. The scope is extended to support the activ-ities of INESC-ID in technology transfer and the appreciation of intellectual property, namely through the creation of patents and the launch of spin-offs. This office also orga-nizes visits and institutional exhibitions, besides providing administrative support to the activity of the Board of Directors.

Administrative SupportThe administrative support is provided by several secretaries that support the research-ers of the different R&D groups.

10


2015

1.2.2 Scientific Structure

The research developed at INESC-ID is organized in five research lines, each one organi-zed around several research groups.

Each research line has two coordinators, elected among the researchers with a doctoral degree. The functions of the coordinators are as follows:

• Represent the research unit of the Coordinating Committee of the Scientific Council;

• Coordinate the activities of the various groups which belong to the research unit;

• Promote the preparation of proposals for R&D projects;

• Coordinate preparation of plans and reports concerning the research unit.

Each research unit integrates different research groups, which are listed below together with their coordinators in 2015:

11


Information and Decision Support SystemsCoordinators: Prof. Mário Silva, Prof. Alberto Silva

Knowledge Discovery and Bioinformatics – Profª Ana Teresa FreitasInformation Systems – Prof. Alberto SilvaData Management and Information Retrieval – Prof. Pável Calado

Interactive Intelligent SystemsCoordinators: Prof.ª Ana Paiva, Prof.ª Isabel Trancoso

Spoken Language Systems – Prof.ª Isabel TrancosoIntelligent Agents and Synthetic Characters – Prof.ª Ana Paiva Intelligent Multimodal Interfaces – Prof. Joaquim Jorge

Embedded Electronic SystemsCoordinators: Prof. Nuno Roma, Prof. Horácio Neto

Analogue and Mixed-Signal Circuits – Prof. Jorge FernandesSignal Processing Systems – Prof. Nuno RomaQuality, Test and Co-Design of HW/SW Systems – Prof. Marcelino SantosElectronic System Design and Automation - Prof. Horácio NetoAlgorithms for Optimization and Simulation – Prof. Luís SilveiraSW Algorithms and Tools for Constraint Solving – Prof. Inês Lynce

Communication Networks and MobilityCoordinators: Prof. António Leitão, Prof. Augusto Casaca

Distributed Systems – Prof. Luís RodriguesSoftware Engineering – Prof. António LeitãoCommunication Networks amd Mobility – Prof. Augusto Casaca

Energy SystemsCoordinators: Prof. João Santana, Prof. João Miranda Lemos

Control of Dynamic Systems – Prof. João Miranda LemosAlternative Energies and Electromechanical Energy Conversion – Prof. Gil MarquesPower Electronics and Power Quality – Prof. José Fernando Alves da SilvaPower Systems and Energy Policy – Prof. Marcelino Ferreira


2. WHAT WE DO

13


2.1 Objectives

INESC-ID aims to produce added value to people and society in the field of Information and Communication Technologies, Electronic Engineering and Energy. The mission of INESC-ID is to develop tomorrow’s technologies by excelling in research, today.

The main objectives of INESC-ID are: to integrate competences from researchers in elec-trical engineering and computer science to advance the state of the art in computers, telecommunications, and information systems; to support the first stages of the value generation chain: basic research, applied research, and advanced education; in cooper-ation with other institutions, to perform technology transfer, to support the creation of technology based startups, and to provide technical support.

Tangible results of the activity of the institution are: publications in national and inter-national journals and conferences; methodologies, tools, patents, and prototypes to be transferred to the academic, scientific or industrial sectors, advanced professional edu-cation and training.

In order to fulfill its mission, INESC-ID values interna-tionalization, networking, partnership and visibility.

R&D activities cover a broad (although focused) range of research areas and application markets, such as wireless communications, electronic equipment, health care, medical imaging, industrial automation, e-learning, and enterprise information systems. INESC-ID also acts as a service provider, to stimulate cooperation with industry, to focus re-search on practical issues, and to make the economic market aware of its capabilities. Close ties with professionals qualified by INESC-ID are encouraged, not only for lifelong education support, but also for networking activities.

The scientific activities of INESC-ID are financed by a number of funding agencies, of which the most important are FCT-Fundação para a Ciência e Tecnologia, ANI – Agência Nacional de Inovação, and the European Comission. Additionally, INESC-ID also partici-pates in other funding programs involving government funding with the purpose of devel-oping R&D in companies through consortiums with research partner institutions.

14


2015

2.2 Main achievements

In the last year, the institution has worked hard to fulfill its mission. Our research is now quite visible at an international level, and its quality is recognized.

Among the most significant achievements, we would like to highlight the following activ-ities:

R INESC-ID has been involved, at an institutional level, in the establishment and devel-opment of the training activities developed in the context of the Portugal-CMU and the Portugal-MIT programs;

R The exceptional quality of the publications of INESC-ID researchers has been recog-nized in 2015 with several awards, in national and international conferences;

R The organization of the conferences such as ISCAS2015, DCIS2015, IT4Energy, 2nd DataStorm, LxMLS2015 required the effort of several research teams;

R The success of the seven INESC-ID startups: Coreworks, SiliconGate, PETSys, Voiceinteraction, NetworkConcept, HeartGenetics and Magnomics;

R The scientific productivity results in about 130 international journals papers, and more than 244 communications in international conferences;

R About 33 PhD theses were finished in 2015;

R From a total of 16 research projects that started in 2015, 7 have received European funds, 6 are supported by national funding and 3 were bilateral contracts. In 2015 there were a total of 69 research projects ongoing (8 European, 1 managed by Agência de Inovação, 1 managed by Fundação Calouste Gulbenkian, 42 funded by Fundação para a Ciência e a Tecnologia, and 17 bilateral contracts.

15


We have put some effort in order to promote technology transfer through the partici-pation of the mentioned startups, but also to support the invention registration and the increase of industry research contracts.

In 2015 it was also approved the new intellectual property institutional regulation, up-dated accordingly with the national legislation, in order to keep up with the increasing technology transfer of the institution.

We put considerable effort in such activities because we aknowledge the importance of the funding diversity to motivate researchers and put forward their results expecta-tions. Besides the competitive national and international funding, we expect to create our own revenues to add value for what we do the best: develop tomorrow’s technolo-gies by excelling in research, today.


3. HUMAN RESOURCES

17


The majority of the researchers of INESC-ID are members of the academic staff and post-graduate students of IST, but also from other Universities and Polytechnic Institutes.

On December 2015, INESC-ID the Scientific Council had 81 researchers with PhD plus 32 with habilitation. Besides the senior members, the institutional team includes more 59 researchers with PhD degree and about 158 with MSc or 1st degree.

Since INESC-ID focuses its activity on the rapid growth of its scientific areas, an increase is to be expected in the number of researchers with higher degrees. Many researchers are carrying out their post-graduate work at INESC-ID. Table I summarizes the qualifica-tions of INESC-ID researchers.

Table I – Human Resources

Scientific Council members

ACADEMIC DEGREE NumberHabilitation 32PhD Degree 81

TOTAL 113

Other research members

ACADEMIC DEGREE Number

PhD Degree 59MSc Degree 981st Degree 60High School 24

TOTAL 241Total Research Team 354

INESC-ID also has a very young structure, due to the amount of fellowships and young researchers; about 60% have ages between 20 and 40 years old and have a high degree level.

INESC-ID is continuously seeking highly qualified candidates with a PhD degree and with a track record showing their ability to perform independent research in their scientific areas.


4. OUTCOME

19


A main source of national funding of INESC-ID is FCT – Fundação para a Ciência e a Tecnologia, through direct funding of the associate laboratory, and also projects award-ed in a nationwide competitive basis. National funding is also provided by ANI – Agência de Inovação. Another main source of funding is the European Comission through European research projects.

The following set of tables summarizes the activities carried out in 2015 and the achieved results.

PROJECTS Table II – Projects

TYPE OF PROJECT NumberInternational Programs (ongoing research projects) 8National Programs (ongoing research projects) 44Contracts with companies 17

Total 69

R&D Table III – Publications

PUBLICATION TYPE NumberBooks 3Book Chapters 22Edited books 5International Journals 130National Journals 2International Conferences 244National Conferences 26Patents 2Technical Reports 23Conference Proceedings 3

Total 462

20


2015

PHD DISSERTATIONS

33

R&D PUBLICATIONS

462

SCIENTIFIC EVENTS

163

PROJECTS

69

21


DISSERTATIONS Table IV – Thesis

TYPE ONGOING COMPLETED TotalPhD Theses 158 33 191MSc Theses 401 143 544Graduation Theses 43 3 46

Total 602 179 781

ORGANIZATION OF SCIENTIFIC EVENTS Table V – Organization of Scientific Events

TYPE OF ACTION NumberAssociate Editor of Journal 18Committee Chair 16Committee Member 98Invited Speaker 4Reviewer 27


5. COOPERATION, PARTNERSHIP

AND MOBILITY

23


INESC-ID participates in programs between Portugal and CMU (Carnegie-Mellon University) and with Portugal/MIT (Massachusetts Institute of Technology). Other partnerships include Cadence Design Systems, TU Darmstadt, among others.

The institution has partnership agreements established with IST, ISCTE, Universidade da Madeira, Escola Superior de Tecnologia e Gestão de Beja, Escola Superior de Tecnologia de Setúbal, Instituto Superior de Engenharia de Lisboa (ISEL), Universidade da Beira interior (UBI), University of Évora and with Universidade do Algarve.

In 2015 it was also signed a cooperation partnership with MAScIR – Moroccan Foundation for Advanced Science, Innovation and Research, in Morocco, with the pur-pose of promoting joint activities between both institutions.

In addition to the above formal partnerships, there is a large number of cooperation agreements with other institutions within the framework of the research projects. Partnerships with student associations have also been established for the supervision of short-term internships by our senior researchers.


6. TECHNOLOGY TRANSFER

25


Our research and development activities cover a broad range of research areas and application markets, such as wireless com-munications, electronic equipment, health care, medical imaging, industrial automation, e-learning and enterprise information sys-tems. INESC-ID also acts as a service provid-er, stimulating cooperation with industry and focusing research on day life issues, providing a high level of technology transfer.

Several “start-up” companies have been created by researchers and former graduate students associated with INESC-ID. This is an interesting indicator of the industrial technology impact of INESC-ID.

INESC-ID currently has equity in the following start-up companies:

Coreworks \ Digital integrated circuit design

Coreworks, founded in 2001 by two researchers of INESC-ID, is a provider of Semiconductor Intellectual Property (SIP) for multi-standard multimedia and commu-nications applications, such as digital television, internet protocol television (IPTV), por-table audio players, mobile Internet devices, and software defined radio. Their products have been implemented in a wide variety of technologies, for more than 30 customers worldwide. The company received an A-series investment round from Espírito Santo Ventures in 2006.

SiliconGate \ Mixed-signal circuit design

SiliconGate operates in the field of microelectronics and develops and licences high performance Power Management blocks that are key elements in any mobile equip-ment. Funded in 2008, SiliconGate brought together the experience of senior designers from Industry with the research expertise of an INESC-ID research group.

www.nwc.pt

www.nwc.pt

26


2015

PETsys \ Medical imaging

PETsys, SA was established in 2008 to exploit the results of a research project, started in 2003, on PET (positron emission tomography) systems for mammography. The shareholders are 5 institutions, and 15 individuals that participated in the project, together with a Belgium business angel.

PETsys has acquired the rights to use the internationally patented PET scanner tech-nology that allows early cancer detection with higher resolution (1-2 mm against 5-10 mm) and higher sensitivity (x10) than with standard devices.

Voiceinteraction \ Speech processing

VoiceInteraction was founded in 2008 by research-ers from the Spoken Language Systems Lab of INESC-ID, following the work developed in TECNOVOZ, a technology transfer project funded by the Portuguese Innovation Agency (AdI).

Based on a solid background of R&D, VoiceInteraction offers innovative solutions in the area of speech processing. Their solutions are based on speech recognition, speech synthesis, 3D facial animation, and spoken dialogue systems technologies. The applica-tions cover different areas: subtitling systems for RTP (public national TV broadcaster), media clipping, dictation systems for hospitals, spoken dialogue systems for kiosks in monuments.

NetworkConcept \ Communication networks

NWC Network Concept, Lda was founded in 2008. It had origin in a joint project by Instituto Superior Técnico (IST) and INESC-ID to develop a software multi-services platform, Kelius.

Kelius integrates all the services in residential or professional environments, including Internet, video surveillance, television, and telephone.

The control is performed through an interface implemented in a computer or in a Personal Digital Assistant (PDA). The new methods and techniques behind this plat-form are patented.

www.nwc.pt

www.nwc.pt

www.nwc.pt

27


Heartgenetics \Biotechnology

HeartGenetics is a new company, founded in 2013 that has developed a revolutionary meth-odology that includes (i) a DNA MICROCHIP array platform optimized for genetic analy-sis and (ii) efficient and scalable algorithms for data processing. This new methodology is particularly relevant for improving significantly cardiovascular diagnosis. On top of the core competences on the subject of cardiovascular genetic testing, they develop new hightech bioinformatics technologies that support highly accurate analysis and in-tegration of both genetic and clinical data.

Magnomics \ Biotechnology

Magnomics, Lda was founded in 2013 and, after a first round of investment, was converted to Magnomics, S.A. in 2014. This biotech start-up is focused on delivering the next gener-ation of fully portable in-vitro molecular diagnostic devices. The basis of its novel and proven technology was transferred from INESC-ID and INESC-MN and is based on an on-chip DNA extraction, amplification and magnetic detection. It is a lab, on a chip.

Magnomics provides a highly sensitive point-of-care solution for bacterial detection, identification and antibiotic resistance profiling, making use of a small fluid sample or swab. With broad applications in both human and animal health, as well as in food safe-ty and in the military, Magnomics will initially address a key veterinary problem: bovine mastitis, an ailment affecting dairy cows.

•••••

Besides owning equity in the above startups, INESC-ID cooperates with them in re-search projects.

In between specific events and activities where these companies take part, we would like to mention that HeartGenetics was one of the World Health Summit 2015 finalists.

www.nwc.pt


7. VISIBILITY

29


7.1 Annual General Meeting

INESC-ID has been organizing each year a strategic planning meeting. These meetings, that have taken place since 2004, have involved the participation of external invitees with high impact backgrounds. This years’ meeting took place in October at Alenquer, with the presentation of themes like the management model of INESC TEC, the advanced training course for PhDs or the current state and future of our startups.

For this 2015 edition the special guest was Prof. José Manuel Mendonça from INESC TEC, and also the CEO’s of INESC-ID startups.

7.2 Seminars

INESC-ID has also a very active schedule of seminars, presented by our researchers and/or invited speakers. These seminars are or-ganized in a regular basis, in order to promo-te collaboration between researchers and research groups, and also across disciplines.

These seminars are opened for all the scien-tific community: students, researchers and general public are welcomed to participate.

A significant amount of external speakers were invited to present and participate in some of these seminars. During 2015, about 18 seminars were organized by our research groups at INESC-ID facilities. These seminars are described in the annexes of this report.

30


2015

7.3 Distinguished Lecture Series

The INESC-ID Distinguished Lecture Series is designed to bring to the Institute out-standing scientists, academics or practitioners to share their vision, and present their groundbreaking work.

The series aims to promote a regular sequence of high quality seminars in the core areas of the lab. Invited speakers cover a broad range of interests, activity profiles, and dif-ferent stages of the professional career, being selected among those that have raised significantly above their peers in one or more aspects of their activity.

One of the main goals of the Distinguished Lecture Series is to encourage the interaction and promote discussion and exchange of ideas between the invited speakers and lab research-ers. The INESC-ID Distinguished Lecture Series was launched in September 2012, with regular talks.

Special 2015 guests were: Prof. Pascal Felber (Université de Neuchâtel, Institut d’Informa-tique), Prof. Jorge M. Pacheco (Universidade do Minho), Prof. Frank McSherry (ETH Zurich), and Prof. Mike Hinchey (Lero – the Irish Software Research Centre).

The Distinguished Lecture Series are described in the annexes of this report.

31


7.4 Media & Dissemination

INESC-ID research work is often news in several wide pub-lic known media. Besides TV interviews and news report, our researchers are available to show their team work at several levels. In 2015 we were news for several research project results. These news are also published in our web-site or social networks.

7.5 Prizes and International Recognition

INESC-ID researchers were awarded the following prizes and special nominations recognizing the excellence of the R&D activities developed:

R Best Paper Award for the paper SmartFetch: Efficient Support for Selective Queries, In Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Vancouver, Canada, November 2015, to the authors Manuel Ferreira, João Paiva, Manuel Bravo and Luís Rodrigues;

R Best Paper Award in the ACM Conference on Interactive Tabletops and Surfaces (ITS’15), with the paper Blind People Interacting with Large Surfaces: Strategies for One-handed and Two-handed Exploration, to the authors Tiago Guerreiro, Kyle Montague, João Guerreiro, Rafael Nunes, Hugo Nicolau, and Daniel Gonçalves;

R Best Paper Award in the 13rd IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2015), with the paper A Novel Method for the Approximation of Multiplierless Constant Matrix Vector Multiplication, to the authors Levent Aksoy, Paulo Flores and José Monteiro;

R Best Video Nominee - Student Video Competition - IEEE SmartGridComm 2015, for Cloud of Energy, to the authors Leila Sharifi and Zainab Abbas, supervised by Luís Veiga and Felix Freitag;

R Honorable mention to the PhD thesis “Efficient storage and retrieval of memories in neutral networks”, in the first edition of the Professor Abreu Faro Award, which distin-guishes the best PhD students in the areas of communications, electronics and com-puting in Telecommunications, Electronics and Computers areas, atributed to João Sacramento;

32


2015

R Honorable mention to the best short paper: “Semi-Supervised Bootstrapping of Relationship Extractors with Distributional Semantics” in the conference EMNLP 2015, to the authors David S. Batista, Bruno Martins and Mário J. Silva;

R João Marques da Silva was nominated IEEE Fellow, “For contributions to decision and optimization algorithms for propositional logic”;

R Leonel Sousa was nominated 2015 ACM Distinguished Member. These distinguished members are chosen between scientists and academics, whose work in the comput-ing area shows a positive and clear influence in the society;

R Joaquim Jorge was nominated for the ACM Europe Council and also as ACM Distinguished Speaker;

R João Paulo Teixeira was distinguished with the Test Technology Technical Council (TTTC) Meritorius Service Award from the IEEE Computer Society for many years service on ETS Steering Committee and ETS General Chair;

R Gil Marques was distinguished by the IEEE Industrial Electronics Society “in appreci-ation for your service to the journal and for your outstanding contribution to its rank-ing”;

R Several researchers were nominated IEEE Senior Member: António Grilo, Inês Lynce, Luís Veiga, Paulo Pereira, Vasco Manquinho, Luís Bica de Oliveira, José Carlos Costa, José Tribolet, Miguel Pupo Correia, Ricardo Chaves, Marcelino Santos and Rui Prada.

In 2015 internal prizes were also given. These INESC-ID Awards were created in 2009 and are annually given, usually at the annual general institutional kick-off meeting. The juri is composed by the Advisory Board members, an independent committee made of world class experts. The existence of awards for the best researchers has a high im-portance and value for the institution. It is a contribution to strengthen the scientific prestige and social intervention of INESC-ID in its scientific environment.

33


The established categories are: PhD student, Researcher and Young Researcher. The commission selected for the Best PhD Student Award Samuel Mascarenhas, for the Best Young Researcher Aleksandar Ilic, and, for the Best Senior Researcher João Miranda Lemos.

7.6 Exhibitions

There is a special effort to improve the institutional image and also the connection with the general public. Promoting our research acts as a way of approaching us to the society needs. In 2015 INESC-ID has organized and participated in several events of high visibility, such as:

R Organization of conferences: ISCAS2015, DCIS2015, IT4Energy, 2nd DataStorm2015, LxMLS2015, Symposium “Advanced Brain Imaging Techniques Symposium, and sever-al other conferences and workshops;

R Participation in the European Researchers Night, with the research group Spoken Language Systems, at the Natural History and Science Museum, in Lisbon;

R Participation in “Loucamente” exhibition about mind health, at the Pavilhão do Conhecimento, with the demo Vithea (virtual therapist for aphasia treatment) from the Spoken Language Systems research group;

R Participation in the “Women in Science” exhibition at the Pavilhão do Conhecimento, with Isabel Trancoso, researcher and group coordinator. This exhibition pays tribute to the portuguese female scientists;

R Participation in the semi-final Famelab2015 competition with researcher Patrícia Alves-Oliveira;

R Participation in the event ICT2015, at the Lisbon Congress Center and Praça do Comércio, both in Lisbon, with demos of the research projects eMote, Vithea and PCAS.

These events and exhibitions allow not only a closer relation between INESC-ID and other scientific organizations, but also an important promotion of our activities near the gen-eral public and companies. These activities help to strength important connections in or-der to improve technology transfer. Other smaller initiatives, like the robot NAO from the european project eMote in a high school classroom at the Escola Secundária da Quinta do Marquês, at Oeiras, are a good example of this simple approach to the public.

34


2015

Besides the high impact exhibitions, INESC-ID also promoted external visits, mostly from other organizations and groups of external researchers or students from abroad, like Euroyouth or JSPS - Japan Society for the Promotion of Science.

We also promoted the participation in initiatives with the goal of gathering different re-search groups allowing researchers to interact in different and relaxed environments. We participated in the Bike to Work Day, an initiative with the purpose to motivate people to come work by bike.

35



8. HIGHLIGHTS

37


8.1 ReThink

The Internet has allowed the development of new ser-vices at an accelerated rythm. Many of these services have been standardized and are now fundamental piec-es of the Internet. However, the standardization of pro-tocols is a complex and time-consuming process, which means that much of the innovation is not so well used due to the lack of interoperability, particularly between appli-cations with the same functionalities.

Other times, standardization is not in the interest of the creators of the applications or services, who prefer the Walled Garden model where services are provided to those used (often for free) without connection to other similar services. For example, in the field of audio/video conferencing we have applications such as Skype, Hangouts, Facebook, Messenger, etc., each independent of the others, forcing the user to register and manage an identity with each service provider. This creates a barrier to competition by making entry of new participants costly, since they also make all components available or risk becoming dependent on competition: e.g. when using Google or Facebook authentication. Also for the user it is an extra effort to change.

On the other hand, telecommunications operators are now surveyed in second place, especially in fragmented markets such as Europe where their small scale does not allow them to compete with Over the Top (OTT) service providers such as Google or Facebook. However, telecommunications operators are able to contribute with unique services such as identification of users (who sign contracts), interconnection with other non-IP net-works or Quality of Service (QoS).

The reThink project has as main objective the definition, validation and disclosure of a new architecture for the Internet that allows, among others, audio and video communica-tion between clients of different operators in a secure and authenticated way. This archi-tecture will allow the development of applications for the Internet of the future (browser, mobile devices and sensors), which will have the capability of adapting intrinsically and constantly update to new technologies and applications. This evolutionary capacity de-rive from the fact that adaptability is made at the level of protocols, which can evolve freely only having to respect APIs, by dynamically loading their implementations. This technology will allow, for example, that new chat applications can access other chat ser-vices already established. This service integration model will be a stimulus for the devel-opment of new applications.

38


2015

The necessary components will also be provided for the development of complex com-munication applications in a competitive market model, e.g. a distributed and universal authentication and identification system, a message forwarding overlay system or a global directory for presence registration. These facilities will be available to both large application vendors and small vendors trying to enter the market.

This project relies heavily on WebRTC Peer-to-Peer technology, having strong QoS com-ponents, network management and security.

The reThink project started in January 2015, and is ongoing until June 2017, with a total budget of around € 4.7M. This project involves 10 european part-ners, including telecommunication operators (Orange, Deutsche Telekom and PT Inovação e Sistemas), industry associations (EURESCOM), academ-ic institutions (INESC-ID, Fraunhofer, Institut Mines-Telecom and Technische Universitat Berlin) and private compa-nies (Apizee and Quobis Networks).

The INESC-ID team is composed of members from three research INESC-ID groups: the Communication Networks and Mobility (Ricardo Lopes Pereira), Signal Processing Systems (Ricardo Chaves) and Distributed Systems (Nuno Santos) groups.

39


8.2 RAGE

RAGE is a project co-funded by the EU Framework Programme for Research and Innovation, Horizon 2020. The project started on February, 2015 and will last for 48 months. The goal of this project is to research and develop self-contained gaming as-sets to support game studios at developing applied games in an easier, faster and more cost-effective manner. These assets and a large volume of high-quality knowledge re-sources will be available through the RAGE ecosystem, which is an online social space that connects research, gaming industries, intermediaries, education providers, policy makers and end-users.

Benefits Currently, game-based learning analytics, game-based assessment, as well as strategic AI and social agency for applied games are complex and costly and require local solutions. This creates severe barriers for seizing the wide-ly recognized market potential of applied games. The RAGE project removes these barriers for the companies involved in the project as well as for the wider community of game indus-tries and intermediaries. Furthermore, the assets developed in RAGE will have a clear pedagogical guidance, focusing on technology components that are highly relevant for learning and skills acquisition.

Making available an open repository offering advanced gaming technologies is a power-ful but insufficient approach to breaking through the fragmentation of the applied gam-ing sector. The main reason is due to the fact that the assets themselves are static arte-facts that are useless without the social processes that pull them into action. As such, the RAGE project will put a strong effort in the social dimension of its online repository, transforming it into an ecosystem that fosters inter-industry collaboration.

Expected Results The expected results of the project include:

• A repository of advanced gaming assets that is open-source and will enable more ef-ficient and proper development of features required by serious games that include, among other things, user analysis, emotion detection, user adaptation, generation of credible social behavior for non-player characters, natural language processing and gamification;

• A set of proven practices for using asset-based applied games in various real world scenarios. In particular, the components will be used throughout the project to de-velop games for six real scenarios in order to improve the employability of European citizens, with the target professionals in active people looking for their first job and unemployed. In the case of Portugal, the project will develop a game to train the inter-rogation skills of inspectors from Polícia Judiciária.

40


2015

• An online ecosystem that provides a social space for centralized access to all fea-tures and services relating to the technological assets, facilitating collaboration and the innovation process among various stakeholders;

• Business models to withstand the challenges associated to the applied games indus-try, promoting new opportunities and value chains;

• Studies totaling more than 3000 participants focused on collecting empirical evi-dence on the real impact of the developed applied games in training and skills acqui-sition.

The RAGE consortium is composed by the following partners, besides INESC-ID: Open Universiteit Nederland (NL), Universidad Complutense de Madrid (ES), Universiteit Utrecht (NL), The University of Bolton (UK), Technische Universitaet Graz (AT), Universitatea Politehnica din Bucuresti (RO), Sofiiski Universitet Sveti Kliment Ohridski (BG), FTK (DE), INMARK (ES), Nurogames (DE), BiP media (FR), Gameware (UK), PlayGen (UK), Stichting Praktijkleren (NL), Escola de Polícia Judiciária - Ministério da Justiça (PT), Ranstad (FR), Hull College of Further Education (UK), OKKAM (IT).

41


8.3 HiFi- MRI

Mapping brain function in living humans has been a topic of intense research for several decades. It is believed that the brain is organized into sets of functionally distinct regions. And it is known that neural pathways exist between them, providing the anatomical link over which these functional relationships are established. The structure and dynamics of brain functional connectivity remain however incompletely understood.

Evidence from many studies suggests that brain functional connec-tivity networks are active even when the subject is at rest, allow-ing to identify such connectivity independently from stimulation. On the other hand most of studies rely on resting state functional magnetic resonance imaging (rs-fMRI) for identifying functionally connected resting state networks (RSN), with large databases of rs-fMRI studies been set up and made available. The vast majority of these include data acquired using scanners working at 1.5 or 3 Tesla (T) field strengths. While such fields provide reliable (and safe) imaging of the human brain, they are limited in terms of sensitivity and spatial resolution. Ultra-high field strength MRI at 7T is rapid-ly developing, enabling generation of millimeter resolution images with reasonable signal-to-noise ratio. Only very recently has it be-come possible to achieve a whole-brain coverage at such fine spatial resolution, with sufficient temporal resolution for fMRI, leading to several technological and computational challenges. One of such challenges derived from working with high-resolution equipment is directly related to the size of the resulting data sets. Specialized algorithms and data structures are required to be able to handle and process the massive amounts of data generated.

We highlight now some of our main results. While working on fMRI data acquisition and pre-processing, we systematically compared different models of physiological noise in whole-brain, high-spa-tial-resolution rs-fMRI data collected at 7T. We found that noise sources estimated from cardiac/respiratory recordings and CSF/WM global signals are, to a great extent, complementary rather than overlapping.

New computational models and tools for were developed for the analysis of whole-brain ultra-high field rs-fMRI and extracting functional connectivity patterns. Studied net-works had one million vertices and edges were found by correlating 10¹² pairs of tempo-ral series. A tool relaying on efficient parallelization was developed for this task. We de-veloped also an approach for brain parcellation that takes advantage of the topological structure present in the spatial organization exhibited by rs-fMRI data, using methods based on discrete Morse theory and persistent homology. Parcellation of the brain into

42


2015

functionally meaningful regions is an important step for studying RSN. Our approach al-lows in particular the analysis of high resolution rs-fMRI data at different levels of detail.

Our main conclusions are that RSN are scale-free complex networks with an apparent underlying organization, where information flows from one point to another in a very efficient manner. We were also able to see that RSN have a modular structure, which is in accordance with previous findings for lower resolutions, but that were not reported previously for high resolutions.

These results were only possible with the close cooperation of multidisciplinary teams. The project was led by a team from INESC-ID with background and experience in the core tasks of data manipulation and modeling and analysis of complex networks. Additionally, a team from ISR/IST-ID contributed with experience in fMRI acquisition and analysis, and a world renowned team from the MGH/HST Martinos Center, specialized in high and ultra-high field MRI (3T, 7T and above) provided the expertise for high resolution human fMRI data collection.

43


8.4 JAMP

The JAMP project (NSRF 38947) is a new formula of teaching music through a gamified learning method. The results of using this innovative method of learning music show that this allows the creation of an ad-hoc music community in which students share knowl-edge, learn and practice together. This community creates enthusiasm for all users, mo-tivating them to continue to practice, to learn music and to improve their individual skills. The goal is to to make available the music learning and truly engage students in the music world in an inspiring way, both in the virtual and real environments.

Thus, a new formula to learn music based on an innovative method for keyboard and piano was developed that:

• Joins the school community (teachers and students) in a social network with “serious games” and artifi-cial intelligence that make easier, faster and fun the musical practice. The community is united through the use of a platform that allows the student to play the games and show their friends the development of their skills. In addition, it allows the teacher to be aware of the learning time of a student and what were their difficulties and the progression of their skills.

• Uses gamification techniques for learning and thus practice is more motivating and regular.

• Uses an artificial intelligence algorithm, which anal-yses the player’s reaction to the game and adapts its difficulty level, ensuring that motivation is maintained at a high level, allowing the adaptation of the learning curve to the player.

• Combines gamification with the classroom environment, ensuring the investment of the student.

With our innovative approach, users are able to learn to play the piano with their keyboard, connected to a computer or Tablet. The business proposition is to provide a platform that connects classrooms with individual musical practice at home.

44


2015

The concept implemented is based on full integration of all stakeholders:

The player gains access to the platform and games after having registered (see Figure 1). In this way it is possible to get all the player information (total playtime, daily average, country, location, difficulties and facilities of learning, etc.) This registration may, for ex-ample, be done through Facebook. After registration the player/student can play games at home and get feedback on her/his performance. On the other hand, a school teacher can also use games in the classroom during regular classes.

In short, the project has four main components:

• Learning Method aligned with an algorithm of artificial intelligence;

• Games that let you learn each of the major piano learning requirements: Reading, technique and repertoire;

• Gamification Platform.

In the figure below are shown the three graphic solutions game that were implemented, from left to right: Rover to the rhythm, theater with public games with agenda and empty theater for keyboard knowledge.

In the game, students can develop and practice the rhythm reading, melody reading, finger interdependence exercises and learn a very wide range of music: more than 100 songs from classical music, jazz and bossa nova to current pop and rock themes.

Team: The Project Consortium consists of the company Lusomusic, the leader, Wingzstudio - company responsible for the design and program-ming of the game and Present-Technologies - the company responsible for managing the web JAMP platform. INESC-ID is the entity responsible for developing the entire Intelligence Game Artificial and integration. The INESC-ID team consists of two researchers (Pedro A. Santos and Rui Prada) and a fellow (Frederico Freitas).

45


8.4 DependableCloud

The DependableCloud project focuses on the general theme of cloud computing, which is a new paradigm of organization of computer systems in which companies and organiza-tions transfer part of their computing infrastructure to an external supplier. This allows significant gains both in economic terms and also in access to an infrastructure of a much larger size than would be possible with investment in an infrastructure of its own.

The underlying infrastructure for cloud computing services has several innovative features, notably derived from the scale of the data centers where the services are run, and the geographic distribution of the various servers where the cloud data is repli-cated. As such, the project aims to develop new methods for de-veloping the services that make up the cloud infrastructure in or-der to address the new problems and challenges arising from the innovative features of these services and thereby improve their reliability and ensure that the quality of access of cloud services meets the expectations of its users. In particular, the project fo-cuses on the following two research topics:

First, and focusing on the geo-replicated systems, there is a fundamental tension be-tween the speed of access to the data that is replicated in several places and the con-sistency observed by the users of the system, that is, if the semantics of the access ap-proaches the behavior of an unreplicated system. To address this tension, our research team has developed methods and systems to build applications based on geo-replicated data whose access is fast whenever possible, and consistent whenever necessary.

Second, at the scale of the data centers that support cloud services, the failures that are observed are not limited to simple computer shutdowns but also include deviations from the behaviors expected for each participant in the distributed systems that make up cloud services (such as those arising from data transmission errors not detected by exist-ing redundancy mechanisms). To address this type of failure systematically, our team has developed a new fault model that encompasses arbitrary behaviors but is not as pessi-mistic as those predicting collusion between machines under the control of an opponent.

This ERC project, which began at FCT-UNL, and since May 2015, it has been developed at INESC-ID, articles have already been produced in the elite forums worldwide (such as OSDI, ASPLOS, EuroSys, or VLDB). In this moment, it is on an advanced prototyping phase, adopting the ideas that we proposed. In addition, some of the world’s best re-search groups and companies with a global scale have been using, refining, and building on results already produced under the DependableCloud project.


9. RESEARCH UNITS

47


9.1 Information and Decision Support Systems

The Information and Decision Support Systems research line aims at designing novel processes, techniques, and technology for the analysis, design, development, integra-tion, deployment, and operation of distributed information systems and enterprise ar-chitectures. It gathers the INESC-ID groups that perform research in the fundamental areas of knowledge required to assure efficient, intelligent, aligned, safe, reliable, se-cure, and trustworthy information systems to support the whole structure of the mod-ern economic and social framework. In this context, INESC-ID gathers a body of com-petences that renders it a national and international reference. These competences include significant expertise in fundamental technology, techniques, algorithms, data structures, and programming techniques, as well as in more applied areas such as soft-ware engineering and web application development.

Domains of activity:

R Constraint solving and optimization algorithms (Boolean satisfiability and discrete optimization algorithms);

R Databases: data profiling and cleaning, transformation and integration;

R Text mining: information extraction, sentiment analysis;

R Information retrieval;

R Knowledge management and engineering;

R Linked data and semantic web technologies;

R Scientific data management and digital libraries;

R Computational biology, systems biology and bioinformatics;

R Health Informatics;

R Social Computing.

The team has a diverse set of backgrounds/competencies:

R Algorithms and complexity;

R Machine learning and data mining;

R Statistics;

R Software engineering: requirements engineering, model-driven engineering;

R Enterprise engineering;

R IT projects and services management;

R Corpus linguistics.

48


2015

9.2 Interactive Intelligent Systems

This research unit was restructured to encompass three different groups with strong synergies between them: GAIPS (Intelligent Agents and Synthetic Characters), VIMMI (Visualization and Intelligent Multimodal Interfaces), and L2F (Spoken Language Systems).

Their goals are:

R explore multimodal interaction models in virtual environments by using interfaces based on synergic recognition of multiple modalities;

R create intelligent agents and synthetic characters that can interact with users in a natural way, inspired in the way humans interact with each other;

R bridge the gap between natural spoken language and the underlying semantic information;

R create and develop new architectures of cooperative virtual environments using artificial intelligence techniques to create realistic synthetic characters;

R develop software architectures for virtual environments, with emphasis on image synthesis algorithms;

R develop innovative applications in areas such as games and learning environments.

49


9.3 Embedded Electronic Systems

Embedded Electronic Systems (EES) are crucial in the development of new devices and products, for emergent applications, and for consumer electronics, IT, communications and media, energy, environment, transports, biomedicine and life sciences.

The EES covers all the areas for designing electronic based systems, with research ac-tivity on new algorithms, architectures, methodologies, tools, electronic and microelec-tronic circuits covering RF, analog, mixed-signal and digital parts. The EES comprises the know-how to design and produce prototypes using discrete electronic systems, ASICs and reconfigurable electronics for the design of complete embedded electronic systems.

The EES performs advanced research, development, innovation, technology transfer and professional training with, and for, the academia, R&D, and industry with the high-est international standards.

The EES main targets are to produce highly trained human resources, to establish inter-national networking, and to push research economic value, promoting the global com-petiveness of the existing industry or the creation of new start-up companies.

50


2015

9.4 Computing Systems and Comunication Networks

The Computing Systems and Communication Networks research line integrates the fol-lowing research groups: Distributed Systems, Communication Networks and Mobility, Software Engineering.

Thus, this research line aims at providing innovative algorithmic, middleware, commu-nications architecture and mobility support to build complex and dynamic distributed applications and network protocols.

It gathers the INESC-ID groups that perform research in the fundamental areas of knowledge required to assure efficient, safe, reliable, secure, and trustworthy comput-ing and network systems to support the whole structure of the modern networks and complex software.

In this context, INESC-ID gathers a body of competences that renders it a national and international reference. These competences include significant expertise in fundamen-tal technology, techniques, protocols, architectures and algorithms.

51


9.5 Energy Systems

The Energy Systems research line integrates the following research groups: Control of Dynamical Systems, Alternative Energies and Electromechanical Energy Conversion, Power Electronics and Power Quality, and Power Systems and Energy Policy.

The objective of the research line on Energy consists of performing research and pro-moting transfer of technology in the area of Energy, with particular focus on problems that are concerned with alternative energies and energy conversion, power electronics and power quality, power and energy systems, energy policy and control and optimiza-tion applied to energy production. A special attention will be given to the fact that energy systems are complex systems, sometimes with large or very large dimensions and distributed over space. Furthermore, these systems involve stochastic phe-nomena and significant levels of uncertainty, and pose large scale optimization problems.

Therefore, aspects related to distributed coordination and optimization in the face of uncertainty will receive special attention. Furthermore, the exploitation of the interdisciplinary relationship between the groups of the line of Energy that are expert on Electrical Engineering and other groups that have their center of expertise on Information Technologies and Control will be a key issue to boost the research.

Within the period, the main achievements planned (some experimental) are:

R Development of adjustable speed generators for renewable energy;

R Electromechanical drives for a More Efficient Use of the Electric Energy;

R To design advanced power electronic converters for pulsed power, electric vehicles, re-newable energy sources (wind, photovoltaic), clean power supplies, energy harvesting, all-electric aircraft, hybrid sources;

R To obtain robust sliding mode, generalized sigma-delta, predictive optimum controllers or fast predictive controllers for Multilevel and Matrix or Sparse-Matrix Converters to synthesize Unified Power Flow Controllers (UPFC), Active Power Filters (APF) and Dynamic Voltage Restorers (DVR), for renewable energy sources and FACTS/UPFC/IPFC applications;

R Analysis and solution of real problems related with energy sector;

R Collaboration and contracts with industry and government agencies;

R Market versus regulation debate.


10. ANNEXES

53


10.1 Publications

10.1.1 Books & Book Chapters

RM. D. Fernandes and Luís Oliveira, Wideband CMOS Receivers, book, Dec. 2015, Springer.

RAndreas Wichert, Intelligent Big Multimedia Databases, book, May 2015, World Scientific.

RDiogo Morgado and Paulo Ferreira, Smart Solar Grid, book, Feb. 2015, Publishers LAP LAMBERT Academia.

RMarco Paulo Fernandes Vicente and Joao P. Carvalho and Fernando Batista, Using Unstructured Profile Information for Gender Classification of Portuguese and English Twitter Users, pp 57-64, chapter of Communications in Computer and Information Science Vol 563 - International Languages, Applications and Technologies, Dec. 2015, Springer.

RMariana Juliao and Jorge Silva and Ana Aguiar and Helena Moniz and Fernando Batista, Speech Features for Discriminating Stress Using Branch and Bound Wrapper Search, chapter of Languages, Applications and Technologies, Dec. 2015, Springer International Publish.

RNaercio David Pedro Magaia and Paulo Rogério Pereira and Miguel Correia, Security in Delay-Tolerant Mobile Cyber-Physical Applications, chapter of Cyber Physical Systems: From Theory to Practice, Oct. 2015, CRC Press.

RJose Moura and Fernando Batista and Elsa Alexandra Cabral da Rocha Cardoso and Luis Nunes, Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence, chapter of Chapter 6. Intelligent Management and Efficient Operation of Big Data, Sep. 2015, IGI Global.

RValéria Magalhães Pequeno and Helena Galhardas and Vânia Vidal, Using Complex Correspondences for Integrating Relational Data Sources, chapter of Enterprise Information Systems (Revised and Extended Papers ICEIS 2014), Sep. 2015, LNBIS, Springer.

RAlberto Rodrigues da Silva, SpecQua: Towards a Framework for Requirements Specifications with Increased Quality, chapter of Enterprise Information Systems, LNBIP 227 (Lecture Notes in Business Information Processing, Sep. 2015, Springer.

RShinichi Yamagiwa and Gabriel Falcão and Koichi Wada and Leonel Sousa, Stream-Based Parallel Computing Methodology and Development Environment for High Performance Manycore Accelerators , chapter of Horizons in Computer Science Research, Volume 11, Jul. 2015, Nova Science Publishers, Inc.

RCarlos Páscoa and João Manuel dos Santos Sequeira and José Manuel Nunes Salvador Tribolet, EX-ANTE and EX-POST Model: Contributions and Applications (pages 137-153), chapter of Improving Organizational Effectiveness with Enterprise Information Systems, Jul. 2015, IGI Global.

RGabriela Ciuprina and Jorge Fernandez Villena and Daniel Ioan and Zoran Ilievski and Sebastian Kula and E. Jan W ter Mater and Kasra Mohaghegh and Roland Pulch and Wil HA Schilders and L. Miguel Silveira and Alexandra Stefanescu and Michael Striebel, Parameterized Model Order Reduction, chapter of Coupled Multiscale Simulation and Optimization in Nanoelectronics, Jun. 2015, Springer Berlin Heidelberg.

54


2015

RAntónio Manuel Raminhos Cordeiro Grilo and Mário Serafim Nunes, Voltage Control in Low Voltage Grids with Distributed Energy Resources: A Droop-Based Approach, chapter of Smart Cities, Green Technologies, and Intelligent Transport Systems - 4th International Conference, SMARTGREENS 2015, and 1st International Conference VEHITS 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers, May 2015, Springer International Publish.

RNelson Santos and José Silva and Vasco Soares and Sónia Pinto and Duarte Sousa, Design of High Voltage Full-Bridge Inverter Using Marx Derived Switches, chapter of Technological Innovation for Cloud-Based Engineering Systems, Apr. 2015, Springer International Publish.

RJoão Pombinho and David Sardinha Andrade de Aveiro and José Manuel Nunes Salvador Tribolet, Value-Oriented Specification of Service Systems: Modeling the Contribution Perspective, Chapter 20, pages 374-395, chapter of Business Law and Ethics: Concepts, Methodologies, Tools, and Applications: Concepts, Methodologies, Tools, and Applications, Mar. 2015, IGI GLOBAL.

RMaria Couceiro and Diego Didona and Luis Rodrigues and Paolo Romano, Self-tuning Distributed Transactional Memories, chapter of Transactional Memory: Foundations, Algorithms, Tools and Applications Springer, Feb. 2015, Springer.

RJosé Germano and Tiago Costa and Moises Simões Piedade and Susana Cardoso and Paulo P. Freitas and Filipe A. Cardoso and José Amaral, Electronic Platforms and Signal Processing for Magnetoresistive Based Biochips, chapter of Handbook Biochips, Jan. 2015, Springer.

RPaula Carvalho and Mário J. Silva, SentiLex-PT: Principais características e potencialidades, chapter of Linguística, Informática e Tradução: Mundos que se Cruzam, Jan. 2015.

RGert Jan Hofstede and Frank Dignum and Rui Prada and Jillian Student and Loïs Vanhée, Gender differences: the role of nature, nurture, social identity and self-organization, chapter of Multi-Agent-Based Simulation XV: International Workshop, MABS 2014, Paris, France, May 2014, Revised Selected Papers, Jan. 2015, Springer.

RCarlos Páscoa and José Manuel Nunes Salvador Tribolet, Actor Network Theory Applied to Organizational Change: A Case Study, pps 233-248, chapter of Rethinking the Conceptual Base for New Practical Applications in Information Value and Quality, Jan. 2015, IGI GLOBAL.

RTiago Oliveira and Carlos Páscoa and José Manuel Nunes Salvador Tribolet, Strategy Map: Key Instrument for Organizational Performance, pps 250-265, chapter of Rethinking the Conceptual Base for New Practical Applications in Information Value and Quality, Jan. 2015, IGI Global.

RCarlos Páscoa and José Manuel Nunes Salvador Tribolet, Change and Information Value in Military Organizations’ Transformation Processes, pps 304-323, chapter of Rethinking the Conceptual Base for New Practical Applications in Information Value and Quality, Jan. 2015, IGI Global, Hershey PA, USA.

RRui Miguel Carrasqueiro Henriques and Sara C. Madeira, Big Data in Complex Systems, chapter of Towards Robust Performance Guarantees for Models Learned from High-Dimensional Data, Jan. 2015, Springer International Publish.

RRicardo Filipe and João Barreto, Nested Parallelism in Transactional Memory, chapter of Transactional Memory. Foundations, Algorithms, Tools, and Applications, Jan. 2015, Springer.

RMaria Couceiro and Diego Didona and Paolo Romano and Luis Rodrigues, Self-tuning in Distributed Transactional Memory, chapter of Transactional Memory. Foundations, Algorithms, Tools, and Applications, Jan. 2015, Springer.

55


10.1.2 Edited books

R Farhana Sheikh and Leonel Sousa, editors, Circuits and Systems for Security and Privacy, Sep. 2015, CRC Press.

RAnja Belz and Luísa Coheur and Vittorio Ferrari and Marie-Francine Moens and Katerina Pastra and Ivan Vulic, editors, Proceedings of the Fourth Workshop on Vision and Language, Sep. 2015, Association for Computational.

RAlex Orailoglu and H. Fatih Ugurdag and L. Miguel Silveira and Martin Margala and Ricardo Reis, editors, VLSI-SoC: At the Crossroads of Emerging Trends, IFIP Advances in Information and Communication Technology, May 2015, Springer.

RPaolo Romano and Rachid Guerraoui, editors, Transactional Memory: Foundations, Algorithms, Tools and Applications, Lecture Notes in Computing Sciences, Mar. 2015, Springer.

RPaolo Romano and Rachid Guerraoui, editors, Transactional Memory: Foundations, Algorithms, Tools and Applications Springer, Lect.Notes Computer. Tutorial, Jan. 2015, Springer.

10.1.3 International Journals Articles

RLeonel Sousa, 2^n RNS Scalers for Extended 4-Moduli Sets, article in IEEE Transactions on Computers pp. 3322 - 3334, Dec. 2015.

RRui Miguel Carrasqueiro Henriques and Claudia Antunes and Sara C. Madeira, A Structured View on Patern Mining-based Biclustering, article in Pattern Recognition pp. 3941-3958, Dec. 2015, Elsevier.

RManuel Duarte Ortigueira and António Joaquim Serralheiro and José António Tenreiro Machado, A new zoom algorithm and its use in frequency estimation, article in Waves, Wavelets Fractals Advanced Analytics, Dec. 2015.

RIlia Markov and Nuno J. Mamede and Jorge Baptista, A Rule-Based Meronymy Extraction Module for Portuguese, article in Computación y Sistemas pp. 661–683, Dec. 2015.

RHylson Vescovi Netto and Lau Cheuk Lung and Tulio Alberton Ribeiro and Miguel Correia and Aldelir Fernando Luiz, Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage, article in ACM SIGMETRICS Performance Evaluation Review pp. 21-24, Dec. 2015.

RAranzazu D. Martin and J. M. Cano and Jesus R. Vazquez and José Silva, Back-stepping Control of Smart-grid Connected Distributed Photovoltaic Power Supplies for Telecom Equipment, article in IEEE Transactions on Energy Conversion pp. 1496-1504, Dec. 2015.

56


2015

RMaria Alexandra Rentróia Bonito and Daniel Jorge Viegas Gonçalves and Joaquim Armando Pires Jorge, Clustering Students Based On Motivation To Learn: A Blended Learning Approach, article in International Journal of Mobile and Blended Learning (IJMBL), International Journal of Mobile and Blended Learning (IJMBL) 7(3), 2015.

RThomas Geury and Sónia Pinto and Johan Gyselinck, Current Source Inverter-Based PV System with Enhanced Active Filtering Functionalities, article in IET Power Electronics pp. 2483-2491, Dec. 2015, IET.

RAndré Filipe Oliveira Pinto Ribeiro and Afonso Silva and Alberto Rodrigues da Silva, Data Modeling and Data Analytics: A Survey from a Big Data Perspective, article in Journal of Software Engineering and Applications pp. 617-634, Dec. 2015, Scientific Research Publishing.

RLeila Sharifi and Llorenç Cerdà-Alabern and Felix Freitag and Luís Veiga, Energy Efficient Cloud Service Provisioning: Keeping Data Center Granularity in Perspective, article in Journal of Grid Computing, to appear on 2015, Springer.

RCarlos Leong and Jorge Filipe Leal Costa Semião and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Fault-Tolerance in Field Programmable Gate Array with Dynamic Voltage and Frequency Scaling, article in ASP Journal of Low Power Electronics (JOLPE) pp. 517-527, Dec. 2015.

RGil Marques and Matteo F. Iacchetti, Field Weakening Control for Efficiency Optimization in a DFIG Connected to a dc-link, article in IEEE Trans. Ind. Electron., Dec. 2015, IEEE.

RPedro Miguel Bacalhau Pascoal and Daniel Mendes and Diogo Gil Vieira Henriques and Isabel Trancoso and Alfredo Ferreira, LS3D: LEGO Search Combining Speech and Stereoscopic 3D, article in International Journal of Creative Interfaces and Computer Graphics (IJCICG) pp. 18-36, Dec. 2015, IGI Global.

RAntónio Eusébio Velho Roque and Duarte Sousa and Elmano Margato and Vitor Maló Machado and Pedro J. Sebastião and Gil Marques, Magnetic Flux Density Distribution in the Air Gap of a Ferromagnetic Core with Superconducting Blocks: 3D Analysis and Experimental NMR results, article in IEEE Transactions on Applied Superconductivity, Dec. 2015, IEEE.

RRuben Carlos Gonçalves Martins and Saurabh Joshi and Vasco Manquinho and Inês Lynce, On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving, article in Journal on Satisfiability, Boolean Modeling and Computation pp. 59-81, Dec. 2015, IOS Press.

RNuno Miguel Lourenço Diegues and Paolo Romano, Self-Tuning Intel Restricted Transactional Memory, article in Journal Elsevier Parallel Computing (ParCo), to appear, Dec. 2015, Elsevier.

RDaniel Simões Lopes and Richard R. Neptune and Artur A. Gonçalves and Jorge Ambrósio and Miguel Tavares da Silva, Shape Analysis of the Femoral Head: A Comparative Study between Spherical, (Super)Ellipsoidal and (Super)Ovoidal Shapes, article in Journal of Biomechanical Engineering pp. 114504-11450, to appear on 2015, ASME.

RRodrigo Fraga Barcelos Paulus Bruno and Nuno Santos and Paulo Ferreira, Termite: Emulation Testbed for Encounter Networks., article in EAI Endorsed Transactions on Ambient Systems, Dec. 2015, The Institute for Computer Sciences, Social Informatics.

57


RPaulo Alexandre Crisóstomo Lopes and José António Beltran Gerald and Moises Simões Piedade, The Random Walk Model Kalman Filter in Multichannel Active Noise Control, article in IEEE Signal Processing Letters pp. 2244-2248, Dec. 2015.

RFrank Dignum and Virginia Dignum and Rui Prada and Catholijn M. Jonker, A Conceptual Architecture for Social Deliberation in Multi-Agent Organizations: a position paper, article in International Journal of Multiagent and Grid Systems. pp. 147-166, Nov. 2015, IOS Press.

RPierangelo Di Sanzo and Francesco Quaglia and Bruno Ciciani and Alessandro Pellegrini and Diego Didona and Paolo Romano and Roberto Palmieri and Sebastiano Peluso, A Flexible Framework for Accurate Simulation of Cloud In-Memory Data Stores, article in Simulation Modelling Practice and Theory (58), Nov. 2015, Elsevier.

RElizabeth Boyle and Thomas Hainey and Thomas Connolly and Jeffrey Earp and Manuel Ninaus and João António Madeiras Pereira and Cláudia RIbeiro, An update to the systematic literature review of empirical evidence of the impacts and outcomes of computer games and serious games, article in Computers & Education, Nov. 2015, Elsevier.

RMaria Couceiro and Pedro Ruivo and Paolo Romano and Luis Rodrigues, Chasing the Optimum in Replicated In-memory Transactional Platforms via Protocol Adaptation, article in IEEE Transactions on Parallel and Distributed Systems, Nov. 2015.

RRicardo Lopes Pereira and Pedro Alexandre Cruz de Sousa and Ricardo Barata and André Oliveira and Geert Monsieur, CitySDK Tourism API - building value around open data, article in Journal of Internet Services and Applications pp. 24, Nov. 2015, Springer London.

RLuís M. Correia and Frederik Freudenstein,Carla Oliveira, Daniel Sebastião, and Peter M. Wiedemann, Exposure knowledge and perception of wireless communications technologies, article in International Journal of Environmental Research and Public Health pp. 14177-14191, Nov. 2015, MDPI.

RRuben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, Improving linear search algorithms with model-based approaches for MaxSAT solving, article in Journal of Experimental and Theoretical Artificial Intelligence pp. 673-701, Nov. 2015.

RAndré Carreiro and Pedro Miguel Torpes de Amaral and Susana Pinto and Pedro Tomás and Mamede de Carvalho and Sara C. Madeira, Prognostic Models based on Patient Snapshots and Time Windows: Predicting Disease Progression to Assisted Ventilation in Amyotrophic Lateral Sclerosis, article in Journal of Biomedical Informatics pp. 133-144, Nov. 2015, Elsevier.

RGil Marques and M. F. Iacchetti, A Self-Sensing Stator Current Based Control System of a DFIG Connected to a dc-Link, article in IEEE Trans. Ind. Electron. (10) pp. 6140-6150, Oct. 2015, IEEE.

RPaulo Alexandre Crisóstomo Lopes and José António Beltran Gerald, Auxiliary Noise Power Scheduling Algorithm for Active Noise Control with Online Secondary Path Modeling and Sudden Changes, article in Signal Processing Letters pp. 1590 - 1594, Oct. 2015, IEEE.

RNaercio David Pedro Magaia and A. P. Francisco and Paulo Rogério Pereira and Miguel Correia, Betweenness centrality in Delay Tolerant Networks: A survey, article in Ad Hoc Networks pp. 284-305, Oct. 2015, Elsevier.

58


2015

RNuno Miguel Lourenço Diegues and Paolo Romano, Bumper: Sheltering Distributed Transactions from Conflicts, article in Future Generation Computer Systems, Oct. 2015, Elsevier.

RAndré Carreiro and Alexandre de Mendonça and Mamede de Carvalho and Sara C. Madeira, Integrative biomarker discovery in neurodegenerative diseases, article in WIREs Systems Biology and Medicine pp. 357–379, Oct. 2015, Willey.

RAlberto Rodrigues da Silva, Model-Driven Engineering: A Survey Supported by a Unified Conceptual Model, article in Computer Languages, Systems & Structures pp. 139-155, Oct. 2015, Elsevier.

RSamuel Francisco Mascarenhas and Nick Degens and Ana Paiva and Rui Prada and Gert Jan Hofstede and Adrie Beulens and Ruth Aylett, Modeling culture in intelligent virtual agents: From theory to implementation, article in Autonomous Agents and Multi-Agent Systems pp. 1-32, Oct. 2015, Springer.

RKonstantinos Kloudas and Margarida Mamede and Nuno Preguiça and Rodrigo Rodrigues, Pixida: Optimizing Data Parallel Jobs in WideArea Data Analytics, article in PVLDB - Proceedings of the VLDB Endowment pp. 72-83, Oct. 2015.

RNuno Miguel Lourenço Diegues and Paolo Romano, STI-BT: A Scalable Transactional Index, article in IEEE Transactions on Parallel and Distributed Systems, Oct. 2015.

RDušan Savić, Siniša Vlajić, Saša Lazarević, Vojislav Stanojeviand Alberto Rodrigues da Silva, Use Case Specification Using the SILABREQ Domain Specific Language, article in Computing and Informatics Journal pp. 877–910, Oct. 2015.

RJ. Casaleiro and Luís Oliveira and I. Filanovsky, Amplitude and Quadrature Errors of Two-Integrator Oscillator”, article in J. Low Power Electronics pp. 340-348, Sep. 2015.

RT. F. Tay and C. H. Chang and Leonel Sousa, Base transformation with injective residue mapping for dynamic range reduction in RNS, article in IEEE Transactions on Circuits and Systems–I: Regular Papers pp. 2248 - 2259, Sep. 2015.

RAna Tomé and Martijn Kuipers and Tiago Pinheiro and Mário Serafim Nunes and Teresa Heitor, Space-Use Analysis through Computer Vision, article in Automation in Construction, Sep. 2015, Elsevier.

RRenato Veloso and Rui Castro, Contributions to the Technical Assessment of Wave Energy in Portugal: The Case of Pico (Azores), article in IEEE Latin America Transaction, Sep. 2015.

RMennan Selimi and Felix Freitag and Llorenç Cerdà-Alabern and Luís Veiga, Performance Evaluation of a Distributed Storage Service in Community Network Clouds, article in Concurrency and Computation: Practice and Experience, Sep. 2015, Wiley.

RMohammad Ali Fotouhi Ghazvini and João Soares and Nuno Horta and Rui Neves and Rui Castro and Zita Vale, A multi-objective model for scheduling of short-term incentive-based demand response programs offered by electricity retailers, article in Applied Energy pp. 102–118, Aug. 2015.

RRui Miguel Carrasqueiro Henriques and Sara C. Madeira, Biclustering with Flexible Plaid Models to Unravel Interactions between Biological Processes, article in IEEE/ACM Transactions on Computacional Biology and Bioinformatics pp. 738-752, Aug. 2015.

59


RFernando Pedro Pascoal dos Santos and Francisco C. Santos and Ana Paiva and Jorge M. Pacheco, Evolutionary Dynamics of Group Fairness, article in Journal of Theoretical Biology pp. 96–102, Aug. 2015.

RFernando Pedro Pascoal dos Santos and Francisco C. Santos and Ana Paiva and Jorge Pacheco, Evolutionary dynamics of group fairness, article in Journal of Theoretical Biology pp. 96-102, Aug. 2015, Elsevier.

RLuís M. Correia and Carla Oliveira, MIMO Capacity for On-Body Communications in Scattered Environments, article in Wireless Personal Communications pp. 2999-3016, Aug. 2015, Springer.

RDaniel Simões Lopes and Richard R. Neptune and Jorge Ambrósio and Miguel Tavares da Silva, A Superellipsoid-Plane Model for Simulating Foot-Ground Contact during Human Gait, article in Computer Methods in Biomechanics and Biomedical Engineering, Taylor & Francis, pp. 954-963, Aug.2015.

RM. F. Iacchetti and Gil Marques and R. Perini, Torque Ripple Reduction in a DFIG-DC System by Resonant Current Controllers, article in IEEE Trans. Power Electron. pp. 4244-4255, Aug. 2015, IEEE.

RRahim Saedi and Ramon Fernandez Astudillo and Dorothea Kolossa, Uncertain LDA: Including observation uncertainties in discriminative transforms, article in IEEE Transactions on Pattern Analysis and Machine Intelligence, Aug. 2015, IEEE.

RVítor Vasco Lourenço de Vasconcelos and Francisco C. Santos and Jorge M. Pacheco, Cooperation Dynamics of Polycentric Climate Governance, article in Mathematical Models and Methods in Applied Sciences (M3AS) pp. 2503, Jul. 2015.

RPedro Sequeira and Francisco S. Melo and Ana Paiva, Emergence of emotional appraisal signals in reinforcement learning agents, article in Journal of Autonomous Agents and Multiagent Systems pp. 537-568, Jul. 2015, Springer.

RInês Alexandra do Côrro Caetano and Luís Silveira dos Santos and António Menezes Leitão, From Idea to Shape, From Algorithm to Design: A Framework for the Generation of Contemporary Facades, article in Communications in Computer and Information Science pp. 527-546, Jul. 2015.

RNuno Neves and Nuno Sebastião and David Martins de Matos and Pedro Tomás and Paulo Flores and Nuno Roma, Multicore SIMD ASIP for Next Generation Sequencing and Alignment Biochip Platforms, article in IEEE Transactions on Very Large Scale Integration Systems pp. 1287-1300, Jul. 2015, IEEE.

RSergio Sanchez and Rui Miguel Marmé Ramalho and Leonel Sousa and Antonio Plaza, Real-Time Implementation of Remotely Sensed Hyperspectral Image Unmixing on GPUs, article in Journal of Real-Time Image Processing pp. 469-483, Jul. 2015, Springer.

RNuno Miguel Lourenço Diegues and Paolo Romano, Time-Warp: Efficient Abort Reduction in Transactional Memory, article in ACM Transactions on Parallel Computing, Jul. 2015.

RAngela Costa and Wang Ling and Tiago Luís and Rui Correia and Luísa Coheur, A linguistically motivated taxonomy for Machine Translation error analysis, article in Machine Translation pp. 127-161, Jun. 2015, Springer.

RTiago Sousa and Hugo Morais and Zita Vale and Rui Castro, A multi-objective optimization of the active and reactive resource scheduling at a distribution level in a smart grid context, article in Energy pp. 236–250, Jun. 2015.

60


2015

RRuben Carlos Gonçalves Martins and Vasco Manquinho and Inês Lynce, Deterministic Parallel MaxSAT Solving, article in International Journal on Artificial Intelligence Tools, Jun. 2015.

RJoão António Rodrigues Sacramento and Andreas Wichert and Mark CW van Rossum, Energy efficient sparse connectivity from imbalanced synaptic plasticity rules, article in PLOS Computational Biology, Jun. 2015.

RM. Ali Fotouhi and Zita Vale and Rui Castro and Sónia Pinto and José Silva, Flexible Operation of Grid-Interactive Converters under Unbalanced Grid Conditions, article in Advanced Science and Technology Letters pp. 1-9, Jun. 2015.

RNuno Sebastião and Gustavo Paramos Merino Faria Encarnação and Nuno Roma, Implementation and Performance Analysis of Efficient Index Structures for DNA Search Algorithms in Parallel Platforms, article in Journal on Concurrency and Computation: Practice & Experience pp. 2351-2368, Jun. 2015, Wileys.

RLuís Filipe Garcia and Luís C. Oliveira and David Martins de Matos, Measuring the Performance of a Location-Aware Text Prediction System, article in Transactions on Accessible Computing, Jun. 2015, ACM.

RLuís M. Correia and Luisa Caeiro, Filipe D. Cardoso, OnDemand Radio Resource Allocation for Virtual Wireless Access, article in Wireless Personal Communications pp. 2431-2456, Jun. 2015, Springer.

RAmanda Pontes Rassi and Jorge Baptista and Oto Araújo Vale, Oto Vale. Um corpus anotado de construções com verbo-suporte em Português, article in Gragoatá pp. 207-230, Jun. 2015, Instituto de Letras - Universidade Federal Fluminense.

RMarco Silva and Rui Castro and J.M. Ferreira de Jesus, Voltage Unbalance in Low Voltage Networks with Single-phase and Three-phase Micro-Generation and Loads, article in Journal of Electrical Systems pp. 210-222, Jun. 2015.

RM. D. Fernandes and Luís Oliveira, Wideband CMOS Receiver with Integrated Filtering and a Current-mode Sigma-Delta Analog-to-Digital Converter, article in J. Low Power Electronics pp. 208-216, Jun. 2015.

RLaura Beatriz Torres Simões Wise and Paulo Fonseca and Alberto Murta and Cristina Silva and Hugo Mendes and Joao P. Carvalho and Maria de Fatima Borges and Aida Campos, A knowledge-based model for evaluating the impact of gear-based management measures under Europe’s new Common Fisheries Policy, article in ICES Journal of Marine Science pp. 1140-1151, May 2015, Oxford Journals.

RNaercio David Pedro Magaia and Nuno Horta and Rui Neves and Paulo Rogério Pereira and Miguel Correia, A Multi-Objective Routing Algorithm for Wireless Multimedia Sensor Networks, article in pp. 104–112, May 2015, Elsevier.

RDaniel Foito and José Maia and Victor Pires and João Francisco Martins, Double Three-Phase Induction Machine Modeling for Internal Faults Simulation, article in Electric Power Components and Systems pp. 1610-1620, May 2015.

RBruno Rodrigues de Araújo and Daniel Simões Lopes and Pauline Jepp and Joaquim Armando Pires Jorge and Brian Wyvill, A survey on implicit surface polygonization, article in ACM Computing Surveys, May 2015, ACM.

61


RTomás Novais Ferreirinha and Rúben Nunes and Leonardo Azevedo and Amílcar Soares and Frederico Pratas and Pedro Tomás and Nuno Roma, Acceleration of Stochastic Seismic Inversion in OpenCL-based Heterogeneous Platforms, article in Computers & Geosciences pp. 26-36, May 2015, Elsevier.

RJosé Lopes and Maxine Eskenazi and Isabel Trancoso, From rule-based to data-driven lexical entrainment models in spoken dialog systems, article in Computer Speech and Language pp. 87-112, May 2015, Elsevier.

RHugo Miguel Barreto Gonçalves and Miguel Martins and Jorge Manuel dos Santos Ribeiro Fernandes, Fully Integrated Energy Harvesting Circuit with -25 dBm Sensitivity using Transformer Matching, article in IEEE Trans. on Circuits and Systems-II pp. 446-450, May 2015, IEEE.

RSérgio Esteves and João Nuno de Oliveira e Silva and Joao P. Carvalho and Luís Veiga, Incremental Dataflow Execution, Resource Efficiency and Probabilistic Guarantees with Fuzzy Boolean Nets, article in Journal of Parallel and Distributed Computing (JPDC) pp. 52-56, May 2015, Elsevier.

RRui Miguel Carrasqueiro Henriques and Sara C. Madeira and Claudia Antunes, Multi-period Classification: Learning Sequent Classes from Temporal Domains, article in Data Mining and Knowledge Discovery (DAMI) pp. 792-819, May 2015, Springer US.

RGabriel José Faustino Fonseca Barata and Sandra Gama and Joaquim Armando Pires Jorge and Daniel Jorge Viegas Gonçalves, Gamification for Smarter Learning: Tales From The Trenches, article in Smart Learning Environments pp. 1-23, May 2015, Springer-Verlag.

RThe Anh Han and Francisco C. Santos and Tom Lenaerts and L. M. Pereira, Synergy between intention recognition and commitments in cooperation dilemmas, article in Scientific Reports pp. 9312, May 2015, Nature Pub. Group.

RJoão Ferreira and José Almeida and Alberto Rodrigues da Silva, The Impact of Driving Styles on Fuel Consumption: A Data Warehouse and Data Mining based Discovery Process, article in IEEE Transactions on Intelligent Transportation Systems pp. 2653-2662, May 2015, IEEE.

RCarolina Maruta and Telma Filipa Lucas de Mira Pereira and Sara C. Madeira and Alexandre de Mendonça and Manuela Guerreiro, Classification of primary progressive aphasia: Do unsupervised data mining methods support a logopenic variant?, article in Amyotrophic Lateral Sclerosis and Frontotemporal Degeneration pp. 1-13, Apr. 2015.

RMikolas Janota and Joao Marques Silva, Expansion-based QBF solving versus Q-resolution, article in Theoretical Computer Science pp. 25-42, Apr. 2015, Elsevier.

RA. Vieira Pombo and João Murta-Pina and Victor Pires, Multiobjective Planning of Distribution Networks Incorporating Switches and Protective Devices Using a Memetic Optimization, article in Reliability Engineering & System Safety pp. 101-108, Apr. 2015.

RCatarina Moreira and Andreas Wichert, The Synchronicity Principle Under Quantum Probabilistic Inferences, article in NeuroQuantology pp. 111-133, Apr. 2015.

RMiguel Pardal and José Manuel da Costa Alves Marques, TrakChain estimates costs for Track and Trace in the Internet of (many) Things, article in ERCIM News (101) pp. 42-43, Apr. 2015, ERCIM EEIG.

62


2015

RRudolf Mayer and Gonçalo Antunes and Artur Caetano and Marzieh bakhshandeh and Andreas Rauber and José Borbinha, Using ontologies to capture the semantics of a (business) process for digital preservation, article in Int. J. Digit. Libr (15) pp. 2-4, Apr. 2015.

RLuís M. Correia and Sina Kahtibi, A Model for Virtual Radio Resource Management in Virtual RANs, article in Journal on Wireless Communications and Networking pp. 1-12, Mar. 2015, EURASIP.

RMatteo F. Iacchetti and Gil Marques and R. Perini, A Scheme for the Power Control in a DFIG Connected to a DC-Bus via a Diode Rectifier, article in IEEE Transactions on Power Electronics pp. 1286-1296, Mar. 2015, IEEE.

RPedro Carvalho and Luís Ferreira and João Santana, Single-Phase Generation Headroom in Low-Voltage Distribution Networks under Reduced Circuit Characterization, article in IEEE Transactions on Power Systems, Mar. 2015.

RGil Marques and Duarte Sousa and M. F. Iacchetti, Air-Gap Power-Based Sensorless Control in a DFIG Connected to a DC-Link, article in pp. 367-375, Mar. 2015, IEEE Trans. Energy Convers.

RPedro Miguel Florindo Miguens Matutino and Ricardo Chaves and Leonel Sousa, Arithmetic-based binary-to-RNS converter modulo {2^n±k} for jn-bit Dynamic Range, article in IEEE Transactions on Very Large Scale Integration (TVLSI) Systems pp. 603-607, Mar. 2015.

REckhard Bick and Anabela Barreiro, Automatic anonymisation of a new Portuguese-English parallel corpus in the legal-financial domain, article in Oslo Studies in Language pp. 101-124, Mar. 2015.

RJorge dos Santos Oliveira and Wydemberg Araújo and Ana Sales and Alaine Guerra and Sinara Araújo and Ana T Vasconcelos and Lucymara Agnez-Lima and Ana T. Freitas, BioSurfDB : Knowledge and algorithms to support biosurfactants and biodegradation studies, article in Database pp. 1-8, Mar. 2015, Oxford University Press.

RSérgio Esteves and Paulo Ferreira and Luís Veiga, C3P: A Re-Configurable Framework To Design Cycle-sharing Computing Cloud Platforms, article in Computer Journal pp. 3217-3241, Mar. 2015, Oxford Journals.

RJorge M. Pacheco and Vítor V. Vasconcelos and Francisco C. Santos and Brian Skyrms, Co-evolutionary Dynamics of Collective Action with Signaling for a Quorum, article in PLoS Computational Biology pp. (2) e1004101, Mar. 2015.

RThe Anh Han and Luís Moniz Pereira and Francisco C. Santos and Tom Lenaerts, Emergence of Cooperation via Intention Recognition, Commitment, and Apology – A Research Summary, article in Ai Communications pp. (1) 709-715, Mar. 2015.

RNaercio David Pedro Magaia and Paulo Rogério Pereira and António Manuel Raminhos Cordeiro Grilo, High Throughput Low Coupling Multipath Routing for Wireless Multimedia Sensor Networks, article in Ad Hoc & Sensor Wireless Networks pp. 165-198, Mar. 2015, Old City Publishing.

RJosé Portêlo and Bhiksha Raj and Isabel Trancoso, Logsum using Garbled Circuits, article in PLoS One, Mar. 2015.

RJoão Santos and Ivo Anastácio and Bruno Martins, Named Entity Disambiguation over Texts Written in the Portuguese or Spanish Languages, article in IEEE Latin America Transactions, Mar. 2015, IEEE Region 9.

63


RAndreia Teixeira and Pedro T. Monteiro and Mário Ramirez and João Carriço and A. P. Francisco, Not seeing the forest for the trees: Size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis, article in PLoS One, Mar. 2015.

RManuel Bravo and Nuno Miguel Lourenço Diegues and Jingna Zeng and Paolo Romano and Luis Rodrigues, On the use of Clocks to Enforce Consistency in the Cloud, article in IEEE Technical Committee on Data Engineering Bulletin pp. 18-31, Mar. 2015, IEEE.

RMarco R Oggioni and Joana Coelho and Leonardo Furi and Daniel R Knight and Carlo Viti and Graziella Orefici and Jose-Luis Martinez and Ana T. Freitas and Teresa M Coque and Ian Morrissey, Significant Differences Characterise the Correlation Coefficients between Biocide and Antibiotic Susceptibility Profiles in Staphylococcus aureus., article in Current pharmaceutical design, Mar. 2015.

RAnabela Barreiro, Tradução automática, ma non troppo, article in Oslo Studies in Language pp. 207-222, Mar. 2015.

RJorge dos Santos Oliveira, BioSurfDB : Knowledge and algorithms to support biosurfactants and biodegradation studies, article inThe Journal of Biological Databases and Curation, Mar. 2015.

RJosé Silva and Victor Pires and João Fialho, HVDC transmission system using multilevel power converters based on dual three-phase two-level inverters, article in Elsevier Electrical Power and Energy Systems pp. 191-200, Feb. 2015, Elsevier.

RAzadeh Zarandi and Amir Sabbagh Molahosseini and Mehdi Hosseinzadeh and Saeid Sorouri and Samuel Freitas Antão and Leonel Sousa, Reverse Converter Design via Parallel-Prefix Adders: Novel Components, Methodology and Implementations, article in IEEE Transactions on Very Large Scale Integration (TVLSI) Systems pp. 374-378, Feb. 2015.

RMikolas Janota and Inês Lynce and Joao Marques Silva, Algorithms for computing backbones of propositional formulae, article in AI Communications pp. 161-177, Feb. 2015, IOS Press.

RNuno Claudino Pereira Lopes and J. Monteiro, Automatic Equivalence Checking of Programs With Uninterpreted Functions and Integer Arithmetic, article in International Journal on Software Tools for Technology Transfer (STTT), Feb. 2015, Springer.

RDiana Freitas and Manuel Guerreiro das Neves and Maria Eduarda Pedro and Vitor Maló Machado, Evaluation of the Longitudinal Parameters of an Overhead Transmission Line with Non-Homogeneous Cross Section, article in Electric Power Systems Research pp. 478-484, Feb. 2015.

RManuel Ninaus and Gonçalo Duarte Garcia Pereira and René Stefitz and Rui Prada and Ana Paiva and Christa Neuper and Guilherme Wood, Game elements improve performance in a working memory training task, article in International Journal of Serious Games pp. 3-16, Feb. 2015, Serious Games Society.

RJoana Carvalho Filipe de Campos and Patricia Oliveira and Ana Paiva, Looking for Conflict: Gaze Dynamics in a Dyadic Mixed-Motive Game, article in Autonomous Agents and Multi-agent Systems pp. 1-24, Feb. 2015, Springer.

64


2015

RFederico Heras and António José dos Reis Morgado and Joao Marques Silva, MaxSAT-based encodings for Group MaxSAT, article in AI Communications pp. 195-214, Feb. 2015, IOS Press.

RAndreas Wichert and Catarina Moreira, Projection Based Operators in lp space for Exact Similarity Search, article in Fundamenta Informaticae, Annales Societatis Mathematicae Polonae pp. 461-474, Feb. 2015.

RDiogo Rodrigues Oliveira de Brito and Taimur Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes and Paulo Flores and J. Monteiro, Quaternary Logic Lookup Table in Standard CMOS, article in IEEE Transactions on Very Large Scale Integration Systems (TVLSI) pp. 306–316, Feb. 2015.

RWilson Maltez José and Ana Rita de Sousa Ramalho da Silva and Mário Pereira Véstias and Horácio C. Neto, Algorithm-oriented design of efficient many-core architectures applied to dense matrix multiplication, article in Analog Integrated Circuits and Signal Processing (82) pp. 147-158, Jan. 2015, Springer US.

RAndré Negrão and Carlos Roque and Luís Veiga and Paulo Ferreira, An adaptive semantics-aware replacement algorithm for web caching, article in Journal of Internet Services and Applications, Jan. 2015, Springer.]

RJoão Paiva and Pedro Ruivo and Paolo Romano and Luis Rodrigues, AutoPlacer: Scalable Self-Tuning Data Placement in Distributed Key-Value Stores, article in ACM Transactions on Autonomous and Adaptive Systems (TAAS), Jan. 2015, ACM.

RAurélien Naldi and Pedro T. Monteiro and Christoph Müssel and Hans A. Kestler and Denis Thieffry and Ioannis Xenarios and Julio Saez-Rodriguez and Tomas Helikar and Claudine Chaouiya, Cooperative development of logical modelling standards and tools with CoLoMoTo, article in Bioinformatics pp. 1154-1159, Jan. 2015.

RLevent Aksoy and Paulo Flores and J. Monteiro, Exact and Approximate Algorithms for the Filter Design Optimization Problem, article in IEEE Transactions on Signal Processing (TSP) pp. 142-154, Jan. 2015.

RW. Abou-Jaoudé and Pedro T. Monteiro and A. Naldi and M. Grandclaudon and V. Soumelis and C. Chaouiya and D. Thieffry, Model checking to assess T-helper cell plasticity, article in Frontiers in Bioengineering and Biotechnology pp. 86, Jan. 2015.

RNuno Neves and Henrique Miguel Santos da Silva Mendes and Ricardo Chaves and Pedro Tomás and Nuno Roma, Morphable Hundred-Core Heterogeneous Architecture for Energy-Aware Computation, article in IET Computers & Digital Techniques pp. 49-62, Jan. 2015, The Institution of Engineering and Technology (IET).

RJoão Paiva and Luis Rodrigues, On Data Placement in Distributed Systems, article in SIGOPS Operating Systems Review, Jan. 2015, ACM.

RFrancisco Afonso Raposo and Ricardo Ribeiro and David Martins de Matos, On the Application of Generic Summarization Algorithms to Music, article in IEEE Signal Processing Letters, Jan. 2015, IEEE.

RCátia M. Machado and Dietrich Rebholz-Schuhmann and Ana T. Freitas and Francisco M. Couto, The semantic web in translational medicine: current applications and future directions, article in Briefings in Bioinformatics pp. 89-103, Jan. 2015, Oxford Journals.

RJoão Pombinho and David Sardinha Andrade de Aveiro and José Manuel Nunes Salvador Tribolet, Value-Oriented Specification of Service Systems: Modeling the Contribution Perspective of Enterprise Networks, article in International Journal of Information Systems in the Service Sector (IJISSS) pp. 60-81, Jan. 2015, IGI Global.

65


10.1.4 National Journal Articles

RLuís Sousa and Jânio Monteiro and Pedro J.S. Cardoso and João M.F. Rodrigues, Interface natural de utilizador baseado em reconhecimento de gestos usando o sensor Leap Motion, article in Dos Algarves: A Multidisciplinary e-Journal pp. 107-121, Dec. 2015, ESGHT-University of the Algarve, Portugal.

RIsabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Desafios da Educação e Qualificação em Engenharia num Mundo Global, article in Ingenium, Revista da Ordem dos Engenheiros, II Série (149) pp. 100-104, Sep. 2015, Ordem dos Engenheiros, Portugal.

10.1.5 International Conferences

RAlberto Rodrigues da Silva and Dušan Savić, Siniša Vlajić, Ilija Antović, Saša Lazarević and Vojislav Stanojević, Miloš Milić, A Pattern Language for Use Cases Specification, presented at Proceedings of EuroPLOP’2015, Dec. 2015, ACM.

RPaulo Sérgio Alves Martins and Leonel Sousa, Featuring Immediate Revocation in Mikey-sakke (FIRM), presented at IEEE International Symposium on Multimedia, Dec. 2015.

RAmin Mohtasham and Ricardo Filipe and João Barreto, FRAME: Fair Resource Allocation in Multi-process Environments, presented at 21st IEEE International Conference on Parallel and Distributed Systems (ICPADS 2015), Dec. 2015.

RDiego Felix de Souza and Aleksandar Ilic and Nuno Roma and Leonel Sousa, GPU Acceleration of the HEVC Decoder Inter Prediction Module, presented at Symposium on Signal Processing on Graphics Processing Units and Multicores (GlobalSIP 2015), Dec. 2015, IEEE.

RMaria Couceiro and Gayana Chandrasekara and Manuel Bravo and Matti Hiltunen and Paolo Romano and Luis Rodrigues, Q-OPT: Self-tuning Quorum System for Strongly Consistent Software Defined Storage, presented at The 16th ACM/IFIP/USENIX Middleware Conference, Dec. 2015, Springer.

RSvetislav Momcilovic and Nuno Roma and Leonel Sousa and Ivan Milentijevic, Run-Time Machine Learning for HEVC/H.265 Fast Partitioning Decision, presented at IEEE International Symposium on Multimedia (ISM 2015), Dec. 2015.

66


2015

RDiego Didona and Paolo Romano, Using Analytical Models to Bootstrap Machine Learning Performance Predictors, presented at IEEE International Conference on Parallel and Distributed Systems (ICPADS), Dec. 2015.

RJ. F. Martins and A. J. Pires and Victor Pires and Pedro Pereira, A new teaching tool to enhance Power Quality assessment, presented at 41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Nov. 2015.

RA. Cordeiro and Daniel Foito and Victor Pires, A PV Panel Simulator Based on a Two Quadrant DC/DC Power Converter with a Sliding Mode Controller, presented at International Conference on Renewable Energy Research and Applications (ICRERA), Nov. 2015.

RThomas Geury and Sónia Pinto and Johan Gyselinck and Patrick Wheeler, An Indirect Matrix Converter-based Unified Power Quality Conditioner for a PV Inverter with Enhanced Power Quality Funcionality, presented at Innovative Smart Grid Technologies Asia, Nov. 2015, IEEE.

RM. Sanduleac and J. F. Martins and Victor Pires, Automating Remote Grid Acceptance and Energy Services Tests suited for large deployments of PV systems in active distribution networks, presented at 41st Annual Conference of the IEEE Industrial Electronics Society (IECON 2015), Nov. 2015.

ROto Araújo Vale and Jorge Baptista, Avaliação da flexão verbal do novo dicionário de formas flexionadas do UNITEX-PB, presented at STIL 2015 -- X Brazilian Symposium in Information and Human Language Technology, Sociedade Brasileira de Computação, Nov. 2015.

RTiago Guerreiro and Kyle Montague and João Guerreiro and Rafael Nunes and Hugo Nicolau and Daniel Jorge Viegas Gonçalves, Blind People Interacting with Large Surfaces: Strategies for One-handed and Two-handed Exploration, presented at ACM Conference on Interactive Tabletops and Surfaces, Nov. 2015.

RRoana Rodrigues and Jorge Baptista and Oto Araújo Vale, Contrastive analysis of the syntactic-semantic classification of locative verbs in Brazilian and European Portuguese, presented at STIL 2015, X Brazilian Symposium in Information and Human Language Technology, Nov. 2015, Sociedade Brasileira de Computação.

RRuben Cabral and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira and Jorge Filipe Leal Costa Semião, Dynamic Voltage and Frequency Scaling for Long-Term and Fail-Safe Operation, presented at Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN) Workshop, Nov. 2015.

RJoão Matos and João Coelho Garcia and Paolo Romano, Enhancing Privacy Protection in Fault Replication Systems, presented at 26th IEEE International Symposium on Software Reliability Engineering (ISSRE), Nov. 2015.

RCarlos Leong and Jorge Filipe Leal Costa Semião and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira and António J.N. Batista, B. Gonçalves and J. Marques, Fast Radiation Monitoring in FPGA-based Designs, presented at 30th. Conf. on Design of Circuits and Integrated Systems (DCIS), Nov. 2015.

RVictor Pires and Daniel Foito and Tito Amaral, Fault Detection and Diagnosis in a PV Grid-Connected T-Type Three Level Inverter, presented at International Conference on Renewable Energy Research and Applications (ICRERA), Nov. 2015.

67


RAmanda Pontes Rassi and Nuno J. Mamede and Jorge Baptista and Oto Araújo Vale, Integrating support verb constructions into a parser, presented at STIL 2015, X Brazilian Symposium in Information and Human Language Technology, Nov. 2015, Sociedade Brasileira de Computação.

RMennan Selimi and Nuno Apolónia and Ferran Olid and Felix Freitag and Leandro Navarro and Augusti Moll and Roger Pueyo Centelles and Luís Veiga, Integration of Assisted P2P Live Streaming Service in Community Network Clouds, presented at 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2015), Nov. 2015, IEEE.

RTakfarinas Saber and Anthony Ventresque and James Thorburn and Liam Murphy and Joao Marques Silva, MILP for the Multi-objective VM Reassignment Problem, presented at International Conferences on Tools with AI, Nov. 2015, IEEE.

RHector Pettenghi and Leonel Sousa and Jude Ambrose, Novel methodology to improve Multi-moduli architectures for Binary-to-RNS conversion, presented at XXX Conference on Design of Circuits and Integrated Systems, Nov. 2015.

RAbelino Jiménez and Bhiksha Raj and José Portêlo and Isabel Trancoso, Secure Modular Hashing, presented at IEEE International Workshop on Information Forensics and Security (WIFS), Nov. 2015, IEEE.

RManuel Ferreira and João Paiva and Manuel Bravo and Luis Rodrigues, SmartFetch: Efficient Support for Selective Queries, presented at The 7th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), Nov. 2015, IEEE.

RNuno Silva and José Manuel Nunes Salvador Tribolet and Miguel Mira da Silva and Carlos Manuel Martins Mendes, Using DEMO to Objectify Metamodel Evolution., presented at 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015), Nov. 2015, SCITEPRESS – Science and Technology.

RLevent Aksoy and Paulo Flores and J. Monteiro, A Novel Method for the Approximation of Multiplierless Constant Matrix Vector Multiplication, presented at 13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) - Best Paper Award, Oct. 2015.

RPatricia Oliveira and Tiago Guiomar Ribeiro and Sofia Petisca and Eugenio Di Tullio and Francisco S. Melo and Ana Paiva, An empathic robotic tutor for school classrooms: Considering expectation and satisfaction of children as end-users, presented at 7th International Conference on Social Robotics, Oct. 2015.

RLuís Veiga and Rodrigo Fraga Barcelos Paulus Bruno and Paulo Ferreira, Asynchronous Complete Garbage Collection for Graph Data Stores, presented at ACM/IFIP/Usenix Middleware Conference (Middleware 2015), Oct. 2015, ACM.

RFrancisco João Feliciano Gaspar and Luis Taniça and Pedro Tomás and Aleksandar Ilic and Leonel Sousa, Attaining Performance Fairness in big.LITTLE systems, presented at Workshop on Intelligent Solutions in Embedded Systems (WISES 2015), Oct. 2015.

RPedro Fialho and Luísa Coheur, ChatWoz: chatting through a Wizard of Oz, presented at The 17th International ACM SIGACCESS Conference on Computers and Accessibility ASSETS, Oct. 2015.

68


2015

RSara Barbosa Salazar and Tiago Pedreira and Can Wang and Sara Alves and Rui Miguel Carrasqueiro Henriques and Maria João Sousa and Maria Manuel Lopes and Isabel Sá-Correia and Sara C. Madeira and Geraldine Butler and Nuno Pereira Mira, Comparative genomic and transcriptomic analysis unveil novel features of antifungal resistance in the human pathogen Candida glabrata [Abstract and Poster], presented at 7th Trends in Medical Mycology, Oct. 2015.

RHugo Rosa and Joao P. Carvalho and Fernando Batista, Detecting User Influence in Twitter: PageRank vs Katz, a case study, presented at ESCIM - 7th European Symposium on Computational Intelligence and Mathematics, Oct. 2015.

RGonçalves, A. Batista, M. Correia, J. Sousa, B.B. Carvalho, B. Santos, A. Duar and Carlos Leong and A.R. Ramos, J. P. Santos, J. G. Marques and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Electronics challenges in ITER– towards high-availability applications, presented at Topic Workshop on Electronics for Particle Physics (TWEPP), Oct. 2015.

RLeila Sharifi and Felix Freitag and Luís Veiga, Envisioning Cloud of Energy, presented at IEEE International Conference on Smart Grid Communications (SmartGridComm 2015): Communications and Networks, Oct. 2015, IEEE.

RMiguel Pereira Rodrigues and Nuno Roma and Pedro Tomás, Fast and Scalable Thread Migration for Multi-Core Architectures, presented at International Conference on Embedded and Ubiquitous Computing (EUC 2015), Oct. 2015, IEEE.

RJoão Guerreiro and Daniel Jorge Viegas Gonçalves, Faster Text-to-Speeches: Enhancing Blind People’s Information Scanning With Faster Concurrent Speech, presented at ASSETS 2015 - 17th International ACM SIGACCESS Conference on Computers and Accessibility, Oct. 2015, ACM Press.

RJosé Gorgulho and Jorge Tavares and Carlos Páscoa and José Manuel Nunes Salvador Tribolet, Governance: Decision-making Model and Cycle, presented at CENTERIS 2015 - Conference on ENTERprise Information Systems Oct 7-9 2015, Oct. 2015, Oct. 2015, Elsevier.

RJosé Gorgulho and Diogo Preto and Carlos Páscoa and José Manuel Nunes Salvador Tribolet, Organizational Configuration Map, Taxonomy of BEING, presented at CENTERIS 2015 - Conference on ENTERprise Information Systems Oct 7-9 2015, Oct. 2015, Elsevier.

RCarlos Páscoa and José Manuel Nunes Salvador Tribolet, Organizational Operating Systems, an Approach, presented at CENTERIS 2015 - Conference on ENTERprise Information Systems Oct 7-9 2015, Oct. 2015, Elsevier.

RAna Telha and Nelson Ribeiro and Carlos Páscoa and José Manuel Nunes Salvador Tribolet, Representing the “Qualification” concept in Business Processes, presented at CENTERIS 2015 - Conference on ENTERprise Information Systems Oct 7-9 2015, Oct. 2015, Oct. 2015, Elsevier.

RKyle Montague and André Rodrigues and Hugo Nicolau and Tiago Guerreiro, TinyBlackBox: Supporting Mobile In-the-Wild Studies, presented at ACM SIGACCESS Conference on Computers and Accessibility, Oct. 2015.

69


RRui Manuel Ramos Teixeira da Silva and Francisco S. Melo and Manuela Veloso, Towards table tennis with a quadrotor autonomous learning robot and onboard vision, presented at 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct. 2015.

RTiago Sousa and Mohammad Ali Fotouhi Ghazvini and Hugo Morais and Rui Castro and Zita Vale, Two-stage Stochastic Day-ahead Optimal Resource Scheduling in a Distribution Network with Intensive Use of Distributed Energy Resources, presented at IEEE PES Conference on Innovative SMART GRID Technologies (ISGT-LA 2015) Latin American, Oct. 2015.

RVânia Patrícia Padrão Mendonça and Luísa Coheur and Alberto Sardinha, VITHEA-Kids: a platform for improving language skills of children with Autism Spectrum Disorder, presented at The 17th International ACM SIGACCESS Conference on Computers and Accessibility ASSETS, Oct. 2015.

RPedro Sequeira and Francisco S. Melo and Ana Paiva, “Let’s save resources!”: A dynamic, collaborative AI for a multiplayer environmental awareness game., presented at 2015 IEEE Conference on Computational Intelligence and Games, Sep. 2015.

RTaimur Rabuske and Jorge Manuel dos Santos Ribeiro Fernandes, A 9-b 0.4-V Charge-Mode SAR ADC with 1.6-V Input Swing and a MOSCAP-only DAC, presented at European Solid-State Circuits Conference (ESSCIRC’15), Sep. 2015.

RJoão Pedro Lebre Magalhães Pereira and Helena Galhardas and Bruno Martins, A Benchmark for Relation Extraction Kernels, presented at East European Conference on Advances in Databases and Information Systems (ADBIS), Sep. 2015, Springer.

RJoão Quitério and Rui Prada and Francisco S. Melo, A reinforcement learning approach for the circle agent of geometry friends, presented at 2015 IEEE Conference on Computational Intelligence and Games, Sep. 2015.

RRui Miguel Carrasqueiro Henriques and Sara C. Madeira, BicNET: Efficient Biclustering of Biological Networks to Unravel Non-Trivial Modules, presented at 15th International Workshop on Algorithms in Bioinformatics, WABI 2015, Sep. 2015, Springer-Verlag.

RAleksandar Ilic and Frederico Pratas and Leonel Sousa, CARM: Cache-Aware Performance, Power and Energy-Efficiency Roofline Modeling, presented at Compiler, Architecture and Tools Conference (CATC 2015), Sep. 2015, Intel.

RPradeeban Kathiravelu and Leila Sharifi and Luís Veiga, Cassowary: Middleware Platform for Context-Aware Smart Buildings with Software-Defined Sensor Networks, presented at 2nd Workshop on Middleware for Context-Aware Applications in the IoT (M4IOT’15), ACM/IFIP/Usenix Middleware Conference (Middleware 2015), ACM, Sep. 2015, ACM.

REugénio Alves Ribeiro and Jaime Rodrigues Ferreira and Julia Olcoz and Alberto Abad and Helena Moniz and Fernando Batista and Isabel Trancoso, Combining Multiple Approaches to Predict the Degree of Nativeness, presented at Interspeech 2015, Sep. 2015.

RJoão Carlos Cabrita Resende and Ricardo Chaves, Compact Dual Block AES core on FPGA for CCM Protocol, presented at In International Conference on Field Programmable Logic and Applications (FPL), Sep. 2015.

70


2015

ROliver Kullmann and Joao Marques Silva, Computing Maximal Autarkies with Few and Simple Oracle Queries, presented at Theory and Applications of Satisfiability Testing, Sep. 2015, Springer.

RInês Rodrigues Almeida and Luísa Coheur and Sara Candeias, Coupling Natural Language Processing and Animation Synthesis in Portuguese Sign Language Translation, presented at Proceedings of the Fourth Workshop on Vision and Language (EMNLP workshop), Sep. 2015, Association for Computational Linguistics.

RMário Pereira Véstias and Rui António Policarpo Duarte and Horácio C. Neto, Designing Hardware/Software Systems for Embedded High-Performance Computing, presented at International Workshop on FPGAs for Software Programmers - FSP 2015, Sep. 2015.

RJosé Lopes and Giampiero Salvi and Gabriel Skantze and Alberto Abad and Joakim Gustafson and Fernando Batista and Raveesh Meena and Isabel Trancoso, Detecting Repetitions in Spoken Dialogue Systems Using Phonetic Distances, presented at Interspeech 2015, Sep. 2015, ISCA.

RPradeeban Kathiravelu and Helena Galhardas and Luís Veiga, dudu Multi-Tenanted Framework: Distributed Near Duplicate Detection for Big Data, presented at 23st International Conference on Cooperative Information Systems (CoopIS 2015), Sep. 2015, LNCS, Springer-Verlag.

RMauricio Sousa and Daniel Mendes and Alfredo Ferreira and João António Madeiras Pereira and Joaquim Armando Pires Jorge, Eery Space: Facilitating Virtual Meetings Through Remote Proxemics, presented at Human-Computer Interaction–INTERACT 2015, Sep. 2015.

RM. Fareed Arif and Carlos Mencia and Joao Marques Silva, Efficient Axiom Pinpointing with EL2MCS, presented at Annual German Conference on AI, Sep. 2015, Springer.

RNuno Neves and Pedro Tomás and Nuno Roma, Efficient Data-Stream Management for Shared-Memory Many-Core Systems, presented at International Conference on Field-programmable Logic and Applications (FPL 2015), Sep. 2015.

RJoão Silva and Xavier Vilaça and Hugo Miranda and Luis Rodrigues, Efficient Free-rider Detection using Symmetric Overlays, presented at The 14th IEEE International Symposium on Network Computing and Applications, Sep. 2015, IEEE.

RM. Fareed Arif and Carlos Mencia and Joao Marques Silva, Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing, presented at Theory and Applications of Satisfiability Testing, Sep. 2015, Springer.

RRui António Policarpo Duarte and Mário Pereira Véstias and Horácio C. Neto, Enhancing stochastic computations via process variation, presented at 25th International Conference onField Programmable Logic and Applications (FPL), Sep. 2015.

RYulia Tsvetkov and Mannal Faruqui and Wang Ling and Guillaume Lample and Chris Dyer, Evaluation of Word Vector Representations by Subspace Alignment, presented at 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), Sep. 2015, ACL.

RMiguel Neves and Ruben Carlos Gonçalves Martins and Mikolas Janota and Inês Lynce and Vasco Manquinho, Exploiting Resolution-Based Representations for MaxSAT Solving, presented at International Conference on Theory and Applications of Satisfiability Testing - (SAT 2015), Sep. 2015, Springer.

71


RValter Balegas and Diogo Serra and Sérgio Duarte and Carla Ferreira and Marc Shapiro and Rodrigo Rodrigues and Nuno Preguiça, Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants, presented at Proc. IEEE 34th International Symposium on Reliable Distributed Systems (SRDS), Sep. 2015, IEEE.

RHugo Correia and António Menezes Leitão, Extending Processing to CAD applications, presented at Real Time - Proceedings of the 33rd eCAADe Conference, Sep. 2015.

RWang Ling and Tiago Luís and Luís Marujo and Ramon Fernandez Astudillo and Sílvio Moreira and Chris Dyer and Alan Black and Isabel Trancoso, Finding Function in Form: Compositional Character Models for Open Vocabulary Word Representation, presented at 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), Sep. 2015, ACL.

RInês Rodrigues Almeida and Luísa Coheur and Sara Candeias, From european portuguese to portuguese sign language, presented at 6th Workshop on Speech and Language Processing for Assistive Technologies, Satellite workshop of Interspeech 2015, Sep. 2015.

RBruno Filipe Belo Ferreira and António Menezes Leitão, Generative Design for Building Information Modeling, presented at Real Time - Proceedings of the 33rd International Conference on Education and Research in Computer Aided Architectural Design in Europe, Sep. 2015.

RAntónio Rito Silva and Vicente García-Díaz, Integrating activity- and goal-based work- flows: a data model based design method, presented at 4th Workshop on Data- & Artifact-centric BPM (DAB’15), Sep. 2015, Springer.

RRamon Fernandez Astudillo and Maria Joana Ribeiro Folgado Correia and Isabel Trancoso, Integration of DNN Based Speech Enhancement and ASR, presented at Interspeech 2015, Sep. 2015, ISCA.

RRui Correia and Maxine Eskenazi and Nuno J. Mamede, Lexical Level Distribution of Metadiscourse in Spoken Language, presented at joint EMNLP workshop Linking Models of Lexical, Sentential and Discourse-Level Semantics, Sep. 2015.

RMaria Joana Ribeiro Folgado Correia and Alessio Brutti and Alberto Abad, Multi-channel speaker verification based on total variability modelling, presented at Interspeech 2015, Sep. 2015, ISCA.

RPanagiotis Giannoulis and Alessio Brutti and Marco Matassoni and Alberto Abad and Athanasios Katsamanis and José Matos and Gerasimos Potamianos and Petros Maragos, Multi-room speech activity detection using a distributed microphone network in domestic environments, presented at EUSIPCO, Sep. 2015.

RWang Ling and Lin Chu-Cheng and Yulia Tsvetkov and Sílvio Moreira and Ramon Fernandez Astudillo and Chris Dyer and Alan Black and Isabel Trancoso, Not All Contexts Are Created Equal: Better Word Representations with Variable Attention, presented at 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), Sep. 2015, ACL.

RJoão Lagarto and Jorge Sousa and Filipe Fernandes, Optimal scheduling of a price-maker pumped-storage hydro unit in the day-ahead and secondary reserve electricity market, presented at SDEWES2015 - 10th Conference on Sustainable Development of Energy, Water and Environment System, Sep. 2015.

72


2015

RRui Miguel Carrasqueiro Henriques and Sara C. Madeira, Pattern-based Biclustering with Constraints for Gene Expression Data Analysis, presented at 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Sep. 2015, Springer International Publishing.

RPedro Saleiro and Sílvio Moreira and Mário J. Silva and Carlos Soares, POPmine: Tracking Political Opinion on the Web, presented at CIT 2015: IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing, Sep. 2015, IEEE.

RJoão Nuno de Oliveira e Silva and Miguel Carvalho, Poster: Unified RemoteU¡ for Mobile Environments, presented at MobiCom ‘15 - The 21st Annual International Conference on Mobile Computing and Networking, Sep. 2015, ACM.

RMiguel Carvalho, Poster: Unified RemoteU¡ for Mobile Environments, presented at MobiCom ‘15 - The 21st Annual International Conference on Mobile Computing and Networking, Sep. 2015, ACM.

RLionel Fontan and Thomas Pellegrini and Julia Olcoz and Alberto Abad, Predicting disordered speech comprehensibility from Goodness of Pronunciation scores, presented at Workshop on Speech and Language Processing for Assistive Technologies (SLPAT), Sep. 2015.

RWassim Abou-Jaoudé and Maximilien Grandclaudon and Pedro T. Monteiro and Aurélien Naldi and Claudine Chaouiya and Vassili Soumelis and Denis Thieffry, Predicting T-helper cell differentiation and plasticity using logical modelling and model-checking, presented at [Poster at] 4th European Congress of Immunology (ECI’15), Sep. 2015.

RPaula Cristina Negrão Ventura Martins and Alberto Rodrigues da Silva, ProPAM/Static: A Static View of a Methodology for Process and Project Alignment, presented at Proceedings of International Conference on Software Process Improvement (CIMPS 2015), Sep. 2015, Springer.

RAna Telha and Nuno Andrade and Carlos Páscoa and José Manuel Nunes Salvador Tribolet, Representing the Attributes of an Organizational Position in Business Processes, presented at CENTERIS 2015 - Conference on ENTERprise Information Systems Oct 7-9 2015, Sep. 2015, Elsevier.

RMarco Lima and Duarte Sousa and António Eusébio Velho Roque, Reversible Current Power Supply for Fast-Field Cycling Nuclear Magnetic Resonance Equipment, presented at EPE’15 – 17th European Conference on Power Electronics and Applications, Geneve, Switzerland, 8-10 September 2015, Sep. 2015.

RAlexey S. Ignatiev and Alessandro Previti and Joao Marques Silva, SAT-Based Formula Simplification, presented at Theory and Applications of Satisfiability Testing, Sep. 2015, Springer.

RCarlos Mencia and Alessandro Previti and Joao Marques Silva, SAT-Based Horn Least Upper Bounds, presented at Theory and Applications of Satisfiability Testing, Sep. 2015, Springer.

RDavid Batista and Bruno Martins and Mário J. Silva, Semi-Supervised Bootstrapping of Relationship Extractors with Distributional Semantics, presented at EMNLP 2015: Conference on Empirical Methods in Natural Language Processing, Sep. 2015.

73


R Shady Alaaeldin Issa and Paolo Romano, Shady Issa and Paolo Romano Green-CM: Energy efficient contention management for Transactional Memory, presented at 44th International Conference on Parallel Processing (ICPP), Sep. 2015.

RAnnamaria Pompili and Cristiana Filipa Lopes Amorim and Alberto Abad and Isabel Trancoso, Speech and language technologies for the automatic monitoring and training of cognitive functions, presented at Workshop on Speech and Language Processing for Assistive Technologies (SLPAT), Sep. 2015.

RRui Prada and Phil Lopes and João Carlos Borges Pereira Catarino and João Quitério and Francisco S. Melo, The geometry friends game AI competition, presented at 2015 IEEE Conference on Computational Intelligence and Games, Sep. 2015.

RYulia Tsvetkov and Mannal Faruqui and Wang Ling and Mannal Faruqui, Transition-Based Dependency Parsing with Stack Long Short-Term Memory, presented at 2015 Conference on Empirical Methods in Natural Language Processing (EMNLP 2015), Sep. 2015, ACL.

RChristian Huemmer and Roland Maas and Andreas Schwarz and Ramon Fernandez Astudillo and Walter Kellermann, Uncertainty Decoding for DNN-HMM Hybrid Systems Based on Numerical Sampling, presented at Proceedings Interspeech 2015, Sep. 2015, ISCA.

RWilson Maltez José and Horácio C. Neto and Mário Pereira Véstias, A Many-Core Co-Processor for Embedded Parallel Computing on FPGA, presented at Euromicro Conference on Digital System Design, Aug. 2015.

RLidia Kuan and Leonel Sousa and Pedro Tomás, Accelerating Phylogenetic Inference on Hetergeneous OpenCL platforms, presented at IEEE International Workshop on Parallelism in Bioinformatics (PBio), Aug. 2015, IEEE.

RDiogo Miguel da Costa e Castro Mónica de Oliveira and Carlos Nuno da Cruz Ribeiro, An IDS for Browser Hijacking, presented at The Ninth SECURWARE 2015 - International Conference on Emerging Security Information, Systems and Technologies, Aug. 2015, IARIA.

RHelena Moniz and Annamaria Pompili and Fernando Batista and Isabel Trancoso and Alberto Abad and Cristiana Filipa Lopes Amorim, Automatic Recognition of Prosodic Patterns in Semantic Verbal Fluency Tests - an Animal Naming Task for Edutainment Applications, presented at International Congress of Phonetic Sciences (ICPhS 2015), Aug. 2015.

RDaniel Gonçalves and João Bota and Miguel Correia, Big Data Analytics for Detecting Host Misbehavior in Large Logs, presented at 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Aug. 2015.

RJoão Carlos Nunes Bittencourt and João Carlos Cabrita Resende and Wagner Luiz de Oliveira and Ricardo Chaves, CLEFIA Implementation with Full Key Expansion, presented at Euromicro Conference on Digital System Design (DSD), Aug. 2015.

RAna Almeida and Micael Alexandre Delgado Carreira and Joaquim Armando Pires Jorge and Daniel Jorge Viegas Gonçalves, Contact Activity Visualization for Seniors, presented at Foundations of Augmented Cognition, Aug. 2015, Springer-Verlag.

74


2015

RPetra Wagner and Antonio Origlia and Cinzia Avesani and George Christodoulides and Francesco Cutugno and Mariapaola D’Imperio and David Escudero Mancebo and Barbara Gili Fivela and Anne Lacheret and Bogdan Ludusan and Helena Moniz and Ailbhe Ní Chasaide and Oliver Niebuhr and Lucie Rousier-Vercruyssen and Anne-Catherine Simon and Juraj Simko and Fabio Tesser and Martti Vainio, Different Parts of the same Elephant: a Roadmap to Disentangle and Connect Different Perspectives of Prosodic Prominence, presented at International Congress of Phonetic Sciences (ICPhS 2015), Aug. 2015.

RHelena Moniz and Jaime Rodrigues Ferreira and Fernando Batista and Isabel Trancoso, Disfluency Detection Across Domains, presented at DISS 2015, Aug. 2015.

RVictor Azevedo and João Barros, Distributed parallel computing with low cost microcontrollers for high performance electric vehicles, presented at 18th Euromicro Conference on Digital Systems Design, DSD 2015, Aug. 2015, IEEE.

RSaurabh Joshi and Ruben Carlos Gonçalves Martins and Vasco Manquinho, Generalized Totalizer Encoding for Pseudo-Boolean Constraints, presented at International Conference Principles and Practice of Constraint Programming (CP 2015), Aug. 2015, Springer.

RVera Cabarrão and Helena Moniz and Jaime Rodrigues Ferreira and Fernando Batista and Isabel Trancoso and Ana Isabel Mata da Silva and Sérgio dos Santos Lopes Curto, Prosodic Classification of Discourse Markers, presented at International Congress of Phonetic Sciences (ICPhS 2015), Aug. 2015.

RLuis de Sousa and Alberto Rodrigues da Silva, Showcasing a Domain Speciﬁc Language for Spatial Simulation Scenarios with case studies, presented at Proceedings of the 55th ERSA Congress, Aug. 2015, ERSA.

RAlexey S. Ignatiev and Alessandro Previti and Joao Marques Silva, Smallest MUS Extraction with Minimal Hitting Set Dualization, presented at Principles and Practice of Constraint Programming, Aug. 2015, Springer.

RJ. Pinhão and Wilson Maltez José and Horácio C. Neto and Mário Pereira Véstias, Sparse Matrix Multiplication on a Reconfigurable Many-Core Architecture, presented at Euromicro Conference on Digital System Design, Aug. 2015.

RFernando Batista and Joao P. Carvalho, Text based classification of companies in CrunchBase, presented at FUZZ-IEEE2015 IEEE International Conference on Fuzzy Systems, Aug. 2015, IEEE.

RPedro Sequeira and Samuel Francisco Mascarenhas and Francisco S. Melo and Ana Paiva, The development of cooperation in evolving populations through social importance, presented at 2015 Joint IEEE International Conference on Development and Learning and Epigenetic Robotics, Aug. 2015.

RFlávio Luís Portas Pinheiro and Marta D. Santos and Francisco C. Santos and Jorge M. Pacheco, The Universality of Peer-Influence in Social Networks, presented at Proceedings of the European Conference on Artificial Life 378 ECAL 2015, Andrews, et al. (eds),, Aug. 2015, MIT Press.

RMarco Paulo Fernandes Vicente and Fernando Batista and Joao P. Carvalho, Twitter gender classification using user unstructured information, presented at FUZZ-IEEE, 2015 IEEE International Conference on Fuzzy Systems, Aug. 2015, IEEE.

RTiago Rodrigues and Mário Pereira Véstias, Using Dynamic Reconfiguration to Reduce the Area of a JPEG Decoder on FPGA, presented at Euromicro Conference on Digital System Design, Aug. 2015.

75


RVictor Martins and P.R.C. Villa and Horácio C. Neto and E.A. Bezerra, A TMR Strategy with Enhanced Dependability Features Based on a Partial Reconfiguration Flow, presented at IEEE Computer Society Annual Symposium on VLSI (ISVLSI), Jul. 2015, IEEE.

RMário J. Silva and Tiago Chaves and Bárbara Simões, An ontology-based approach for SNOMED CT translation, presented at ICBO 2015: International Conference on Biomedical Ontology, Jul. 2015.

RArtur Caetano and Gonçalo Antunes and Marzieh bakhshandeh and José Borbinha and Miguel Mira da Silva, Analysis of Federated Business Models: An Application to the Business Model Canvas, ArchiMate, and e3value, presented at 17th IEEE Conference on Business Informatics, Jul. 2015.

RLuís Marujo and Wang Ling and Isabel Trancoso and Chris Dyer and Alan W. Black and Anatole Gershman and David Martins de Matos and João Paulo da Silva Neto and Jaime G. Carbonell, Automatic Keyword Extraction on Twitter, presented at 53rd Annual Meeting of the Association for Computational Linguistics, Jul. 2015, ACL.

RRuben Lopes and Duarte Sousa and António Eusébio Velho Roque and Pedro Sebastião and José Manuel Cascais, Digital Control of a FFC NMR relaxometerDigital Control of a FFC NMR relaxometer, presented at 9th Conference on FFC NMR Relaxometry, Aberdeen, UK, 2015, Jul. 2015.

RSebastiano Peluso and Paolo Romano and Binoy Ravindran and Francesco Quaglia and Roberto Palmieri, Disjoint-Access Parallelism: Impossibility, Possibility, and Cost of Transactional Memory Implementations, presented at ACM Symposium on Principles of Distributed Computing (PODC), Jul. 2015.

RJoao Marques Silva and Mikolas Janota and Alexey S. Ignatiev and António José dos Reis Morgado, Efficient Model Based Diagnosis with Maximum Satisfiability, presented at International Joint Conference on Artificial Intelligence, Jul. 2015, AAAI Press.

RFernando Pedro Pascoal dos Santos and Francisco C. Santos and Ana Paiva, Evolutionary perks of being irrational, presented at Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Jul. 2015, IFAAMAS.

RAntónio Eusébio Velho Roque and Duarte Sousa and José Manuel Cascais and Pedro Sebastião, FFC NMR relaxometer with improved magnetic field uniformityFFC NMR relaxometer with improved magnetic field uniformity, presented at 9th Conference on FFC NMR Relaxometry, Aberdeen, UK, 2015, Jul. 2015.

RJosé Nascimento and Mário Pereira Véstias and G. Martin, FPGA-based architecture for hyperspectral unmixing, presented at IEEE INternational Geoscience and Remote Sensing Symposium, Jul. 2015.

RDiego Felix de Souza and Aleksandar Ilic and Nuno Roma and Leonel Sousa, HEVC In-Loop Filters GPU Parallelization in Embedded Systems, presented at International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS 2015), Jul. 2015, IEEE.

RJingna Zeng and Paolo Romano and Luis Rodrigues and Seif Haridi and João Barreto, In Search of Semantic Models for Reconciling Futures and Transactional Memory, presented at 7th Workshop on the Theory of Transactional Memory, collocated with PODC, Jul. 2015.

76


2015

RTakanori Komatsu and Seiji Yamada and Rui Prada and Kotaro Funakoshi and Kazuki Kobayashi and Mikio Nakano, Investigating Ways of Interpretations of Artificial Subtle Expressions Among Different Languages: A Case of Comparison, presented at CogSci‘2015 - 37th Annual Meeting of the Cognitive Science Society, Jul. 2015, CSS.

RRamon Fernandez Astudillo and Sílvio Moreira and Wang Ling and Mário J. Silva and Isabel Trancoso, Learning Word Representations From Scarce and Noisy Data With Embedding Subspaces, presented at ACL-IJCNLP, Code: https://github.com/ramon-astudillo/NLSE, Jul. 2015.

RCarlos Mencia and Alessandro Previti and Joao Marques Silva, Literal-Based MCS Extraction, presented at International Joint Conference on Artificial Intelligence, Jul. 2015, AAAI Press.

RJoao P. Carvalho and F.V. Camelo, One Day Ahead Stream Flow Forecasting, presented at IFSA-EUSFLAT 2015, 16th World Congress of the International Fuzzy Systems Association, 9th Conference of the European Society for Fuzzy Logic and Technology, Jul. 2015, Atlantis Press.

RAlessandro Previti and Alexey S. Ignatiev and António José dos Reis Morgado and Joao Marques Silva, Prime Compilation of Non-Clausal Formulae, presented at International Joint Conference on Artificial Intelligence, Jul. 2015, AAAI Press.

RLuís Marujo and José Portêlo and Wang Ling and David Martins de Matos and João Paulo da Silva Neto and Anatole Gershman and Jaime Carbonell and Isabel Trancoso and Bhiksha Raj, Privacy-Preserving Multi-Document Summarization, presented at ACM SIGIR Workshop on Privacy-Preserving Information Retrieval, Jul. 2015.

RPaulo Sérgio Alves Martins and Leonel Sousa and Julien Eynard and Jean-Claude Bajard, Programmable RNS Lattice-Based Parallel Cryptographic Decryption, presented at 26th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul. 2015.

RMikolas Janota and Joao Marques Silva, Solving QBF by Clause Selection, presented at International Joint Conference on Artificial Intelligence, Jul. 2015, AAAI Press.

RRodrigo Fraga Barcelos Paulus Bruno and Nuno Santos and Paulo Ferreira, Termite: Emulation Testbed for Encounter Networks, presented at 12th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015), Jul. 2015.

RCatarina Moreira and Andreas Wichert, The Relation Between Acausality and Interference in Quantum-Like Bayesian Networks, presented at Quantum Interaction, Jul. 2015, Springer International Publishing.

RDiego Felix de Souza and Aleksandar Ilic and Nuno Roma and Leonel Sousa, Towards GPU HEVC Intra Decoding: Seizing Fine-Grain Parallelism, presented at IEEE International Conference on Multimedia and Expo (ICME 2015), Jul. 2015.

RJosé Tomás Rodrigues Cancela Simões Ferreira and Jorge Manuel dos Santos Ribeiro Fernandes and Hugo Miguel Barreto Gonçalves, A 2.41 GHz ISM Receiver Using na IQ VCO-Mixer, presented at IEEE Int. New Circuits and Systems Conference (NEWCAS), Jun. 2015.

RPedro Varela and Adrien Fauré and Claudine Chaouiya and Pedro T. Monteiro, A computational framework for the logical modelling of epithelial patterning, presented at [Presentation and Poster at] 12th Basel Computational Biology Conference ([BC]2’15), Jun. 2015.

77


RVictor Pires and O. Husev and D. Vinnikov and J.F. Martins, A Control Strategy for a Grid-Connected PV System with Unbalanced Loads Compensation, presented at 9th International Conference on Compatibility and Power Electronics (CPE 2015), Jun. 2015.

RNatália Maria Madeira da Silva Rosa Marques dos Santos and Victor Pires and José Silva, A Dual Inverter Topology Controled by a Voltage Sliding Mode in Normal and Fault Operation, presented at 9th International Conference on Compatibility and Power Electronics (CPE 2015), Jun. 2015.

RJoão Martins and Carlos Martins and Victor Pires, A Modeling Scheme for the Le Blanc Transformer, presented at 9th International Conference on Compatibility and Power Electronics (CPE 2015), Jun. 2015.

RArtur Caetano and Pedro Linares Pinto and Carlos Mendes and Miguel Mira da Silva and José Borbinha, Analysis of Business Processes with Enterprise Ontology and Process Mining, presented at 5th Enterprise Engineering Working Conference 2015, Jun. 2015, Springer.

RJoão Caramujo and Alberto Rodrigues da Silva, Analyzing Privacy Policies based on a Privacy-Aware Profile: the Facebook and LinkedIn case studies, presented at Proceedings of IEEE CBI’2015, Jun. 2015, IEEE.

RHylson Vescovi Netto and Tulio Alberton Ribeiro and Lau Cheuk Lung and Miguel Correia and Aldelir Fernando Luiz, Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage, presented at ACM SIGMETRICS 3rd Workshop on Distributed Cloud Computing, Jun. 2015.

RAngela Costa and Luísa Coheur and Teresa Lino, Challenges on the translation of collocations, presented at Workshop on Multi-word Units in Machine Translation and Translation Technology, Jun. 2015.

RSandro Nunes and Marta Bianciardi and Afonso Morais Sousa Dias and L. Miguel Silveira and Lawrence Wald and Patricía Figueiredo, Characterization of physiological noise across brain regions in resting-state fMRI at 7T, presented at Organization for Human Brain Mapping Annual Conference, Jun. 2015.

RHugo Correia and António Menezes Leitão, Combining Processing with Racket, presented at Post-Proceedings of the 4th Symposium on Languages, Applications and Technologies, SLATE 2015, Jun. 2015.

RNuno Machado and Brandon Lucia and Luis Rodrigues, Concurrency Debugging with Differential Schedule Projections, presented at The 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2015), Jun. 2015, ACM.

RJoseph Peter and Gil Marques and Rijil Ramachand, Current Error Space Vector based Constant Switching Frequency Hysteresis Controller for VSI fed Induction Motor Drives, presented at 9th International Conference on Compatibility and Power Electronics, Jun. 2015.

RA. Vieira Pombo and João Murta-Pina and Victor Pires, Distributed Energy Resources and Environmental Optimization using a Memetic Algorithm, presented at 9th International Conference on Compatibility and Power Electronics (CPE 2015), Jun. 2015.

RRicardo André and Pedro Carreira and André Neves and Carlos Fortunato and João Santana and Sónia Pinto and Paulo Gambôa and Miguel Cabral Chaves and Hélio Jesus, EDP Distribuição’s INOVGRID First Electrical Energy Storage Project, presented at 23rd International Conference and Exhibition on Electricity Distribution, CIRED 2015, Jun. 2015.

78


2015

RVasco Alexandre da Silva Costa and João António Madeiras Pereira and Joaquim Armando Pires Jorge, Efficient Grid Construction on Streaming Architectures, presented at Computer Graphics International - CGI’15, Jun. 2015.

RBruno Pereira and António Eusébio Velho Roque and Duarte Sousa, Electromagnetic and Thermal Aspects of a FFC-NMR Equipment Magnet and Power Supply, presented at 9th International Conference on Compatibility and Power Electronics, CPE 2015, Lisboa, Portugal, 24-26 June, 2015, Jun. 2015.

RLuís Marujo and Ricardo Ribeiro and David Martins de Matos and João Paulo da Silva Neto and Anatole Gershman and Jaime G. Carbonell, Extending a Single-Document Summarizer to Multi-Document: a Hierarchical Approach, presented at *SEM 2015: Fourth Joint Conference on Lexical and Computational Semantics, Jun. 2015, ACL.

RAmin Mohtasham and João Barreto, Fair Adaptive Parallelism for Concurrent Transactional Memory Applications (Brief Announcement), presented at 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jun. 2015.

RDaniel Presser and Lau Cheuk Lung and Miguel Correia, Greft: Arbitrary Fault-Tolerant Distributed Graph Processing, Jun. 2015.

RAfonso Morais Sousa Dias and Marta Bianciardi and Sandro Nunes and Rodolfo Abreu and Juliana Rodrigues and L. Miguel Silveira and Lawrence L Wald, Hierarchical parcellation using discrete Morse theory of whole-brain high-resolution resting-state 7T fMRI data, presented at Organization for Human Brain Mapping Annual Conference, Jun. 2015.

RDennis Carreira and Gil Marques and Duarte Sousa, Hybrid Energy Storage System with a Low Cost Digital Control, presented at 9th International Conference on Compatibility and Power Electronics, Jun. 2015.

RSílvio Moreira and Ramon Fernandez Astudillo and Wang Ling and Bruno Martins and Mário J. Silva and Isabel Trancoso, INESC-ID: A Regression Model for Twitter Sentiment Lexicon Induction, presented at International Workshop on Semantic Evaluation (SemEval), Jun. 2015.

RRamon Fernandez Astudillo and Sílvio Moreira and Wang Ling and Bruno Martins and Mário J. Silva and Isabel Trancoso, INESC-ID: Sentiment Analysis without hand-coded Features or Linguistic Resources using Embedding Subspaces, presented at International Workshop on Semantic Evaluation (SemEval), Jun. 2015.

RJuan Jacobo Peralta and Noemi Jimenez and Augusto Casaca and Francisco Melo and Krzysztof Piotrowski, Innovative methodology to defiine stakeholders’ requirements for smart systems, presented at 23rd International Conference on Electricity Distribution (CIRED 2015), Jun. 2015, CIRED Proceedings, ISSN 2032-9644.

RJoaquim Monteiro and José Silva and Sónia Pinto, Matrix Converter as Unified Power Flow Controller: Design and Implementation of Decoupled Direct Power Controllers, presented at International Conference on Compatibility and Power Electronics (CPE’15), Jun. 2015, IEEE.

RAlberto Bernardo and Nuno Silva and António Carrapatoso and Mário Serafim Nunes and Augusto Casaca and Tiago Silva and Francisco Melo and Paulo Rodrigues and Carlos Mota Pinto, Monitor BT Pilot project: combined voltage regulation approach for LV grids with PV penetration, presented at 23rd International Conference on Electricity Distribution (CIRED 2015), Jun. 2015, CIRED proceedings ISSN 2032-9644.

79


RAlexandre Dias and Pedro Carvalho and P. Almeida and S. Rappaport, Multi-objective Distribution Planning Approach to for Optimal Network Investment with EV Charging Control, presented at IEEE Power Tech, Eindhoven, Jun. 2015.

RRicardo Jorge Ferreira Luis and José Quadrado and José Silva, Optimal Brake Specific Fuel Consumption Trajectory for Stand-Alone Variable Speed Diesel Gen-Set, presented at CPE 2015 Proceedings of the 9th International Conference on Compatibility and Power Electronics, Jun. 2015.

RAlexandre Dias and Pedro Carvalho and L. Silvestre and S. Alburquerque and P. Almeida and S. Rappaport, Optimal Multistage Planning of LV Networks with EV Load Control: Prospective ICT vs. Traditional Asset Reinforcement Investment, presented at International Conference and Exhibition on Electricity Distribution, Jun. 2015.

RCristina Mota and Paula Carvalho and Francisco Afonso Raposo and Anabela Barreiro, Paraphrasing Human Intransitive Adjective Constructions in Port4NooJ, presented at NOOJ 2015, Jun. 2015.

RAlberto Rodrigues da Silva and Dušan Savić, Siniša Vlajić, Ilija Antović, Saša Lazarević and, Vojislav Stanojević, Miloš Milić, Patterns for Better Use Cases Specification (Draft Version), presented at Proceedings of EuroPLOP’2015, Jun. 2015, Hillside Europe.

RArtur Balanuta and Ricardo Lopes Pereira and Carlos Santos Silva, PerOMAS: Personal Office Management and Automation System, presented at International Conference on Distributed Computing in Sensor Systems (DCOSS 2015), Jun. 2015.

RIsabel Trancoso and José Portêlo and Bhiksha Raj and Gerard Chollet and Dijana Petrovska-Delacretaz and Atta Badii and Jean-Jacques Quisquater, Privacy Preserving Speech Processing, presented at CHIST-ERA Conference 2015, Jun. 2015.

RM. Inês Verdelho and Pedro Carvalho and R. Prata and C. A: Santos, Risk Analysis Methodologies for Distribution Network Investment Projects and Portfolios, presented at International Conference and Exhibition on Electricity Distribution, Jun. 2015.

RNuno Miguel Lourenço Diegues and Paolo Romano, Seer: Probabilistic Scheduling for Hardware Transactional Memory, presented at 27th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), Jun. 2015.

RDário Nascimento and Miguel Correia, Shuttle: Intrusion Recovery for PaaS, presented at 35th International Conference on Distributed Computing Systems (ICDCS), Jun. 2015.

RMariana Julião and Jorge Silva and Ana Aguiar and Helena Moniz and Fernando Batista, Speech features for discriminating stress using branch and bound wrapper search, presented at SLATE’15, Jun. 2015, Springer.

RSandro Nunes and Marta Bianciardi and Afonso Dias and Rodolfo Abreu and Juliana Rodrgigues and L. Miguel Silveira and Lawrence L. Wald and Patrícia Figueiredo, Subject-specific of physiological noise in resting-state fMRI a 7T, presented at Proc. 23rd Annual Meeting of the International Society for Magnetic Resonance in Medicine (ISMRM 2015), Jun. 2015.

80


2015

RBertinho Manuel D’Andrade da Costa and J. M. Lemos, Temperature control of a solar tower receiver based on the Lyapunov method, presented at Control and Automation (MED), 2015 23th Mediterranean Conference on, Jun. 2015, IEEE.

RMiguel Pardal and José Manuel da Costa Alves Marques, TrakChain protects Track and Trace data in the Internet of (many) Things, presented at Security and Privacy in Internet of Things (SPIoT), Jun. 2015, CHIST-ERA.

RWang Ling and Chris Dyer and Alan Black and Isabel Trancoso, Two/Too Simple Adaptations of Word2Vec for Syntax Problems, presented at 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Jun. 2015, ACL.

RGaspar Manuel Rocha Brogueira and Fernando Batista and Joao P. Carvalho, Using Geolocated Tweets for Characterization of Portuguese Administrative Regions, presented at 18th AGILE International Conference on Geographic Information Science, Jun. 2015.

RDiogo Proença and Ahmad Nadali and José Borbinha, Using the Business Model Canvas to Support a Risk Assessment Method for Digital Curation, presented at 15th ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL ‘15), Jun. 2015.

RMarco Paulo Fernandes Vicente and Joao P. Carvalho and Fernando Batista, Using Unstructured Profile Information for Gender Classification of Portuguese and English Twitter Users, presented at SLATE’15, IV Symposium on Languages, Applications and Technologies, Jun. 2015, Springer.

RM. F. Iacchetti and Gil Marques, Voltage Control in a DFIG-DC System Connected to a Stand-Alone DC Load, presented at 9th International Conference on Compatibility and Power Electronics, Jun. 2015.

RAndré Amaral Chambel Leitão and A. P. Francisco and Arlindo L. Oliveira and Rodolfo Abreu and Sandro Nunes and Juliana Rodrigues and Patrícia Figueiredo and Lawrence L. Wald and Marta Bianciardi and L. Miguel Silveira, Voxel-Based Analysis of Functional Connectivity Networks from Ultra-High Resolution fMRI, Jun. 2015.

RAlejandro Tomsic and Pierre Sens and João Coelho Garcia and Luciana Arantes and J. Sopena, 2W-FD: A Failure Detector Algorithm with QoS, presented at 29th IEEE International Parallel and Distributed Processing Symposium, May 2015.

RNuno Santos and Nuno Miguel de Oliveira Duarte and Miguel Rodrigues Bento Barros da Costa and Paulo Ferreira, A Case for Enforcing App-Specific Constraints to Mobile Devices by Using Trust Leases, presented at 5th Workshop on Hot Topics in Operating Systems. (HotOS XV ), May 2015.

RS. Abdollahvand and Luís Oliveira and L. Gomes and J. Goes, A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques, presented at , IEEE Int. Symp. Circuits and Systems (ISCAS’15), May 2015, IEEE.

RJânio Monteiro and Mário Serafim Nunes, A Renewable Source Aware Model for the Charging of Plug-in Electrical Vehicles, presented at International Conference on Vehicle Technology and Intelligent Transport Systems (VEHITS), May 2015.

81


RJosé T. de Sousa and Pereira, M. and Vaz, J.M.C.V. and Leme, C.A. and Costa Freire, J., An Ultra-Low Power Low-IF GFSK Demodulator for Bluetooth-LE applications, presented at IEEE International Symp. on Circuits and Systems - ISCAS, May 2015.

RLevent Aksoy and Paulo Flores and J. Monteiro, Approximation of multiple constant multiplications using minimum look-up tables on FPGA, presented at IEEE International Symposium on Circuits and Systems (ISCAS), May 2015.

RPedro dos Santos Lopes Curto and Nuno J. Mamede and Jorge Baptista, Automatic Text Difficulty Classifier: Assisting the Selection of Adequate Reading Materials for European Portuguese Teaching, presented at 7th International Conference on Computer Supported Education, May 2015, SCITEPRESS Digital Library.

RRicardo Chaves and Giorgio Di Natale and Lejla Batina and Shivam Bhasin and Baris Ege and Apostolos Fournaris and Nele Mentens and Stjepan Picek and Francesco Regazzoni and Vladimir Rozick and Nicolas Sklavos and Bohan Yang, Challenges in Designing Trustworthy Cryptographic Co-Processors, presented at International Symposium on Circuits and Systems (ISCAS), May 2015.

RVictor Martins and J.G. Reis. and Horácio C. Neto and E.A. Bezerra, Designing partial bitstreams for multiple Xilinx FPGA partitions, presented at International Symposium on Field-Programmable Custom Computing Machines, FCCM, May 2015, IEEE.

RNicolas Sklavos and João Carlos Cabrita Resende and Ricardo Chaves and Francesco Regazzoni and Osnat Keren, Efficiency of Cryptography for Multi - Algorithm Computation on Dedicated Structures, presented at 4th International Conference on Modern Circuits and Systems Technologies (MOCAST’15), May 2015.

RGonçalo Duarte Garcia Pereira and Rui Prada and Pedro Santos, Exploring social power intelligent behavior, presented at AAMAS’2015 - 14th International Conference on Autonomous Agents and Multiagent Systems, May 2015, IFAAMAS.

RTiago Dias and Nuno Roma and Leonel Sousa, High performance IP core for HEVC quantization, presented at IEEE International Symposium on Circuits and Systems (ISCAS 2015), May 2015.

RMiguel Luz and Yan Shi and Miguel Guerreiro Anão Borges and hjgjhvjhvj, kjnkjbn, presented at , May 2015.

RDiogo Miguel Bárbara Prista Caetano and Moises Simões Piedade and Jorge Manuel dos Santos Ribeiro Fernandes and Tiago Costa and João Graça and Luís Filipe Soldado Granadeiro Rosado, Live Demonstration: a CMOS ASIC for Precise Reading of a Magnetoresistive Sensor Array for NDT, presented at IEEE Int. Symp. on Circuits and Systems (ISCAS) 2015, May 2015.

RWassim Abou-Jaoudé and Maximilien Grandclaudon and Pedro T. Monteiro and Aurélien Naldi and Claudine Chaouiya and Vassilis Soumelis and Denis Thieffry, Logical modeling of T-helper cell differentiation and plasticity, presented at [Poster at] 6th Young Researchers in Life Sciences Conference (YRLS’15), May 2015.

RPedro Mota and Francisco S. Melo and Luísa Coheur, Modeling Students Self-Studies Behaviors, presented at 2015 International Conference on Autonomous Agents and Multiagent Systems, May 2015.

82


2015

RJoão Lagarto and Filipe Fernandes and Jorge Sousa and João Santana and Berto Martins, Optimal scheduling of a pumped storage hydro unit in the day-ahead and secondary reserve electricity market, presented at EEM15 - 12th International Conference on the European Energy Market, May 2015, IEEE.

RPedro Sequeira and Samuel Francisco Mascarenhas and Francisco S. Melo and Ana Paiva, The Favors Game: A Framework to Study the Emergence of Cooperation through Social Importance, presented at AAMAS, Autonomous Agents and Multi-Agent Systems, May 2015, IFAAMAS.

RGonçalo Duarte Garcia Pereira and Rui Prada and Pedro Santos, Towards social power intelligent agents, presented at AAMAS’2015 - 14th International Conference on Autonomous Agents and Multiagent Systems, May 2015, IFAAMAS.

RAntónio Manuel Raminhos Cordeiro Grilo and Mário Serafim Nunes, Voltage Control with Local Decisions in Low Voltage Distribution Grids with DER Penetration, presented at 4th International Conference on Smart Cities and Green ICT Systems (SmartGreens’2015), May 2015, Scitepress Digital Library.

RA. Di Francesco and R. Bugalho and Luís Oliveira and A. Rivetti and M. Rolo and J. Varela and J. Varela, “TOFPETv2: a high-performance circuit for PET Time-of-Flight”, presented at 13th Pisa Meeting on Advanced Detectors, Frontier Detectors for Frontier Physic, May 2015.

RAfonso Morais Sousa Dias and Marta Bianciardi and Sandro Nunes and Rodolfo Abreu and Juliana Rodrigues and L. Miguel Silveira and Lawrence L. Wald and Patrícia Figueiredo, A New Hierarchical Brain Parcellation Method Based on Discrete Morse Theory for Functional MRI Data, presented at IEEE International Symposium on Biomedical Imaging, Apr. 2015.

RGonçalo Nuno Gomes Tavares and Diogo Rodrigues Oliveira de Brito and Jorge Manuel dos Santos Ribeiro Fernandes, A Study on the Accuracy of Radio Pulsar Navigation Systems, presented at European Navigation Conference ENC 2015, Apr. 2015.

RAmin Mohtasham and João Barreto, Adaptive Parallelism Tuning for Coexisting Transactional Memory Applications: A Fair and Decentralized Approach, presented at SFMA: 5th Workshop on Systems for Future Multicore Architectures, collocated with Eurosys, Apr. 2015.

RJoão Azevedo and Ricardo Lopes Pereira and Paulo Chainho, An API proposal for integrating Sensor Data into Web Apps and WebRTC, presented at All-Web real-time Systems (AWeS 2015), Apr. 2015.

RTiago Cardoso and Pedro Pereira and Victor Pires and João Martins, Android-based m-learning remote system for mobile power quality assessment in large buildings with renewable energies, presented at 2015 IEEE 5th International Conference on Power Engineering, Energy and Electrical Drives (POWERENG), Apr. 2015.

RFrancisco de Freitas Vilar Morais and Alberto Rodrigues da Silva, Assessing the Quality of User-Interface Modeling Languages, presented at Proceedings of ICEIS’2015 Conference, Apr. 2015, SCITEPRESS.

RVictor Pires and Daniel Foito and João Martins and Armando Pires, Detection of stator winding fault in induction motors using a motor square current signature analysis (MSCSA), presented at 2015 IEEE 5th International Conference on Power Engineering, Energy and Electrical Drives (POWERENG), Apr. 2015.

83


RDiogo Proença and Ahmad Nadali and José Borbinha, Digital Curation Costs - A Risk Management Approach Supported by the Business Model Canvas, presented at ICEIS 2015, Apr. 2015.

RMiguel Tairum Cruz and Pedro Tomás and Nuno Roma, Energy-Efficient Architecture For DP Local Sequence Alignment: Exploiting ILP and DLP, presented at International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO 2015), Apr. 2015.

RPedro J.S. Cardoso and Gabriela Schütz and Jorge Filipe Leal Costa Semião and Jânio Monteiro and João Rodrigues and Andriy Mazayev and Emanuel Ey and Micael Viegas and Carlos Neves and Sérgio Anastácio, Integration of a food distribution routing optimization software with an enterprise resource planner, presented at Int. Conf. on Geographical Information Systems Theory, Applications and Management, Apr. 2015.

RPedro J.S. Cardoso, Gabriela Schütz and Jorge Filipe Leal Costa Semião and Jânio Monteiro, João Rodrigues, Andriy Mazayev, Emanuel Ey, Micael Viegas, Carlo, Integration of a food distribution routing optimization software with an enterprise resource planner, presented at 1st International Conference on Geographical Information Systems Theory, Applications and Management, Apr. 2015.

RTakanori Komatsu and Seiji Yamada and Rui Prada and Kotaro Funakoshi and Kazuki Kobayashi and Mikio Nakano, Is Interpretation of Artificial Subtle Expressions Language-Independent? Comparison among Japanese, German, Portuguese, and Mandarin Chinese, presented at CHI’15 - 33rd annual ACM conference on Human Factors in Computing Systems - Extended Abstract, Apr. 2015, ACM.

RHugo Correia and António Menezes Leitão, P2R - Implementation of Processing in Racket, presented at Proceedings of the 8th European Lisp Symposium Goldsmiths, University of London, Apr. 2015.

RRicardo Alves and Luís Sousa and Aldric Negrier and João M.F. Rodrigues and Pedro J.S. Cardoso and Jânio Monteiro and Miguel Gomes and Paulo Bica, PRHOLO: Interactive Holographic Public Relations, presented at 3rd Int. Conf. on Advances in Computing, Communication and Information Technology, Apr. 2015.

RJosé Portêlo and Alberto Abad and Bhiksha Raj and Isabel Trancoso, Privacy-Preserving Query-by-Example Speech Search, presented at ICASSP 2015, Apr. 2015, IEEE.

RJoão Guerreiro and André Rodrigues and Kyle Montague and Tiago Guerreiro and Hugo Nicolau and Daniel Jorge Viegas Gonçalves, TabLETS Get Physical: Non-Visual Text Entry on Tablet Devices, presented at SIGCHI Conference on Human Factors in Computer Systems, Apr. 2015.

RAntonio J. N. Batista and Carlos Leong and Marcelino Bicho dos Santos and A. Fernandes, A. R. Ramos, J. P. Santos, J. G. Marques and João Paulo Cacho Teixeira and B. Gonçalves, Test Results of an ITER Relevant FPGA when Irradiated with Neutrons, presented at Advancements in Nuclear Instrumentation Measurement Methods and their Applications (ANIMMA), Apr. 2015.

RVitor Camilo and Alberto Rodrigues da Silva and Raul Pereira da Costa and José Barateiro and Eliane Portela and João Fonseca, Towards a Dams safety Management system for Angola, presented at Second Dam World Conference, Apr. 2015, LNEC.

84


2015

RAmin Mohtasham and João Barreto, Utility Proportional Fairness in Parallel Transactional Memory Applications, presented at 5th Workshop on Systems for Future Multicore Architectures (SFMA’15), collocated with Eurosys 2015, Apr. 2015.

RJorge Filipe Leal Costa Semião and Ruben Cabral and Carlos Leong and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Dynamic Voltage Scaling with Fault-Tolerance for Lifetime Operation, presented at Manufacturable and Dependable Multicore Architectures at Nanoscale (MEDIAN) Workshop, Mar. 2015.

RCarlos Leong and Jorge Filipe Leal Costa Semião and Marcelino Bicho dos Santos and Isabel Maria Silva Nobre Parreira Cacho Teixeira and João Paulo Cacho Teixeira, Fault-Tolerance in FPGA Focusing Power Reduction or Performance Enhancement, presented at IEEE Latin America Test Symposium (LATS), Mar. 2015, IEEE.

RVictor Martins and J.G. Reis and Horácio C. Neto and E.A. Bezerra, FPGA redundancy recovery based on partial bitstreams for multiple partitions, presented at 16th Latin-American Test Symposium (LATS), Mar. 2015, IEEE.

RPablo Barrio and Gonçalo Fernandes Simões and Helena Galhardas and Luis Gravano, Learning to Rank Adaptively for Scalable Information Extraction, presented at International Conference on Extending Database Technology (EDBT), Mar. 2015.

RJoão Filipe Dias Guerreiro and Aleksandar Ilic and Nuno Roma and Pedro Tomás, Multi-Kernel Auto-Tuning on GPUs: Performance and Energy-Aware Optimization, presented at Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015), Mar. 2015.

RJoão Loff and Manuel Reis and Bruno Martins, Predicting Well-Being With Geo-Referenced Data Collected from Social Media Platforms, presented at Proceedings of the 30th ACM Symposium on Applied Computing, Mar. 2015, ACM.

RDiogo Rodrigues Oliveira de Brito and Gonçalo Nuno Gomes Tavares and Jorge Manuel dos Santos Ribeiro Fernandes and A. Noroozi and C. Verhoeven, Radio Pulsar Receiver Systems for Space Navigation, presented at 8th European Symposium on Aerothermodynamics for Space Vehicles, 2015, Mar. 2015, European Space Agency (ESA).

RDušan Savić, Siniša Vlajić, Saša Lazarević, Vojislav Stanojeviand Ilija Antović, Miloš Milić and Alberto Rodrigues da Silva, SilabMDD - Model Driven Approach, presented at Proceedings of ICIST’2015 Conference, Mar. 2015.

RAndré Amaral Chambel Leitão and A. P. Francisco and Rodolfo Abreu and Sandro Nunes and Juliana Rodrigues and Patrícia Figueiredo and Lawrence L. Wald and Marta Bianciardi and L. Miguel Silveira, Techniques for Brain Functional Connectivity Analysis from High Resolution Imaging, presented at 6th Workshop on Complex Networks, Mar. 2015.

RJoão Nuno Neto and Cláudia RIbeiro and João António Madeiras Pereira and Maria João Neto, Virtual Agents and Multi-modality of Interaction in Multimedia Applications for Cultural Heritage - A Case Study, presented at 10th International Conference on Computer Graphics Theory and Applications - GRAPP 2015, Mar. 2015.

RLuis de Sousa and Alberto Rodrigues da Silva, A Domain Speciﬁc Language for Spatial Simulation Scenarios(DSL3S): Introduction and Tool Support, presented at Proceedings of ACM SAC’2015 Conference, Feb. 2015, ACM.

85


RDiego Didona and Paolo Romano and Ennio Torre and Francesco Quaglia, Combining Analytical Modeling and Machine-Learning to Enhance Robustness of Performance Prediction Models, presented at 6th ACM/SPEC International Conference on Performance Engineering (ICPE), Feb. 2015.

RDiego Didona and Paolo Romano, Hybrid Machine Learning/Analytical Models for Performance Prediction: a Tutorial, presented at 6th ACM/SPEC International Conference on Performance Engineering (ICPE), Feb. 2015.

ROlaf Beyersdorff and Leroy Chew and Mikolas Janota, Proof Complexity of Resolution-based QBF Calculi, presented at 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Feb. 2015, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik.

RDiogo Mera and Gonçalo Nuno Gomes Tavares and Manuel Duarte Ortigueira, An Alternative Method for ARMA Model Characterization of Multipath Fading Channels, presented at IEEE 81st Vehicular Technology Conference: VTC2015-Spring 11–14 May 2015, Jan. 2015, IEEE.

RPradeeban Kathiravelu and Luís Veiga, An Expressive Simulator for Dynamic Network Flows, presented at 2nd IEEE International Workshop on Software Defined Systems (colocated with IEEE International Conference on Cloud Engineering - IC2E 2015), Jan. 2015, IEEE.

RJoão Carlos Cabrita Resende and Ricardo Chaves, Dual CLEFIA/AES Cipher Core on FPGA, presented at Applied Reconfigurable Computing (ARC), Jan. 2015.

RXavier Vilaça and Luis Rodrigues, On the Range of Equilibria Utilities of a Repeated Epidemic Dissemination Game with a Mediator, presented at The 16th International Conference on Distributed Computing and Networking (ICDCN 2015), Jan. 2015, Springer.

RHector Pettenghi and Leonel Sousa, RNS Reverse Converters Based on the New Chinese Remainder Theorem I, presented at IEEE International Symposium on Circuits and Systems (ISCAS 2015), Jan. 2015.

RPaulo Sérgio Alves Martins and Leonel Sousa, Stretching the limits of Programmable Embedded Devices for Public-key Cryptography, presented at Second Workshop on Cryptography and Security in Computing Systems (CS2 2015), Jan. 2015, ACM.

RMennan Selimi and Felix Freitag and Roger Pueyo Centelles and Agustí Moll and Luís Veiga, TROBADOR: Service Discovery for Distributed Community Network Micro-Clouds, presented at 29th IEEE International Conference on Advanced Information Networking and Applications (AINA-2015), Jan. 2015, IEEE.

86


2015

10.1.6 National Conferences

RPaulo J. Dias and André Machado and Kaiyang Zhang and T. Blake and Pedro T. Monteiro and Isabel Sá-Correia, Yeast Drug:H+ antiporters: comparative genomic and phylogenetic analyses and design and implementation of a dedicated database, presented at [Poster at] Congress of Microbiology and Biotechnology (MicroBiotec’15), Dec. 2015.

RPedro Santos, Deep Gamification of a University Course, presented at SciTecIN’15 Sciences and Technologies of Interaction, 2015, Nov. 2015.

RPedro Parreira and Ana Rita Mendes and Daniel Simões Lopes and Joaquim Armando Pires Jorge, Design de Funções Transferência para Imagens Médicas 3D Recorrendo a uma Interface baseada em Esboços, presented at SciTecIN’15 - Ciências e Tecnologias da Interação, Nov. 2015.

RFrederico de Freitas and Rui Prada and Pedro Santos and Luis Coelho, Generating Musical Sheets for First-Sight Reading Exercises, presented at SciTecIN’15 Sciences and Technologies of Interaction, 2015., Nov. 2015.

RLuis M. de Campos and Juan M. Fernández-Luna and Juan F. Huete and Pável Calado and Bruno Martins, Learning Parliamentary Profiles for Recommendation Tasks, presented at 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Nov. 2015.

RHugo Costa, Cristiano Cabrita, Jânio Monteiro and Jorge Filipe Leal Costa Semião, Mecanismo de Deteção de Consumos Anómalos em Redes Energéticas Inteligentes, presented at Conferência sobre Redes de Computadores (CRC), Nov. 2015.

RHugo Costa and Cristiano Cabrita and Jânio Monteiro and Jorge Filipe Leal Costa Semião, Mecanismo de Deteção de Consumos Anómalos em Redes Energéticas Inteligentes, presented at CRC2015 - 14ª Conferência sobre Redes de Computadores, Nov. 2015.

RCatarina Macedo and Rui Prada and Pedro Santos, Serious Game for Motion Disorders: Rehabilitation of Parkinson’s Disease Patients, presented at SciTecIN’15 Sciences and Technologies of Interaction, Nov. 2015.

RAna Costa and José Manuel Nunes Salvador Tribolet, Autopoiesis and organizations: a biological perspective, presented at CAPSI 2015 - 15ª Conferência da Associação Portuguesa de Sistemas de Informação, Oct. 2015.

RMaria da Conceição de Mello Sampayo de Freitas and José Manuel Nunes Salvador Tribolet, Gestão do Conhecimento nas Organizações, presented at CAPSI 2015 - 15ª Conferência da Associação Portuguesa de Sistemas de Informação, Oct. 2015.

RConstança Roquette and Mónica Duarte Oliveira and José Manuel Nunes Salvador Tribolet and Lúcia Costa and Paulo Marques, Metodologia para Análise de Oportunidades de Melhoria do Sistema de Gestão de Transporte de Doentes, presented at CAPSI 2015 - 15ª Conferência da Associação Portuguesa de Sistemas de Informação, Oct. 2015.

RIsabel da Rosa and José Manuel Nunes Salvador Tribolet and Miguel Mira da Silva, Portuguese Public Procurement Governance Model, presented at CAPSI 2015 - 15ª Conferência da Associação Portuguesa de Sistemas de Informação, Oct. 2015.

87


RGaspar Manuel Rocha Brogueira and Fernando Batista and Joao P. Carvalho, Sistema Inteligente de Recolha, Armazenamento e Visualização de Informação proveniente do Twitter, presented at CAPSI2015 - 15ª Conferência da Associação Portuguesa de Sistemas de Informação, Oct. 2015.

RSilvana Roque de Oliveira and Catarina Moreira and José Borbinha and Maria Ángeles Zulueta Garcia, Uma análise bibliométrica do Congresso Nacional de Bibliotecários, Arquivistas e Documentalistas, presented at Congresso Nacional de Bibliotecários, Arquivistas e Documentalistas, Oct. 2015.

RRodrigo José Madeira Lourenço and João Barreto, Computational Offloading in Mobile Crowdsensing (Communication), presented at Inforum 2015, Sep. 2015.

RDiogo Rosado and João Barreto and Ricardo Filipe, Hetero-TM: Boosting Transactional Memory Support in Commodity Heterogeneous Systems (Communication), presented at Inforum 2015, Sep. 2015.

RRafael Henrique Rodrigues dos Santos and João Barreto and Paulo Ferreira, Real Time Video Deduplication for Video Streaming (Communication), presented at Inforum 2015, Sep. 2015.

RJ. Nascimento and Mário Pereira Véstias, Real-Time Hyperspectral Unmixing on Low Cost FPGA, presented at CONF TELE - 10ª Conferência Nacional de Telecomunicações, Sep. 2015.

RRui Diogo de Sousa Morais and Ricardo Chaves and João Barreto, Secure Tracking: Mobile Tracking for Children and Mentally Ill Patients, presented at Inforum 2015, Sep. 2015.

RMariana Juliao and Jorge Silva and Ana Aguiar and Helena Moniz and Jaime Rodrigues Ferreira and Fernando Batista, Speech Features for Discriminating Stress, presented at 10th Conference on Telecommunications, Conftele 2015, Sep. 2015, IT.

RSergio Santander-Jiménez and Aleksandar Ilic and Leonel Sousa and Miguel A. Vega-Rodríguez, Usando GPUs para Acelerar Reconstrucciones Filogenéticas bajo el Criterio de Parsimonia, presented at Actas de las XXVI Jornadas de Paralelismo, Sep. 2015.

RF. Araujo and M. D. Fernandes and J. Pinto and Luís Oliveira and J. P. Oliveira, Wideband CMOS RF front-end receiver with integrated filtering, presented at Int. Conf. Mixed Design of Integrated Circuits and Systems (MIXDES’15), Jun. 2015.

RJ. Alarcão and Luís Oliveira and J. P. Oliveira and R. Santos Tavares, “Analysis of a noise canceling LNA using a Si2 OpenAccess based tool — CADIT, presented at Int. Conf. Mixed Design of Integrated Circuits and Systems (MIXDES’15), Jun. 2015.

RSara A. Encarnação and Fernando Pedro Pascoal dos Santos and Francisco C. Santos and Jorge M. Pacheco and Juval Portugali, Teoria de Jogos Evolutiva na Modelação da Cooperação entre os Sectores Público, Privado e Civil, presented at Congresso da Geografia Portuguesa - Os Valores da Geografia, UNL-FCSH, Lisbon, Sept (2015), Apr. 2015.

RGaspar Manuel Rocha Brogueira and Fernando Batista and Joao P. Carvalho, Arquitetura e Desenvolvimento de um Repositório de Tweets em Português Europeu, presented at 5as Jornadas de Informática da Universidade de Évora - JIUE 2015, Feb. 2015, Springer.

88


2015

RNuno Neves and Pedro Tomás and Nuno Roma, Host to Accelerator Interfacing Framework for High-Throughput Co-Processing Systems, presented at XI Jornadas sobre Sistemas Reconfiguráveis - REC2015, Feb. 2015.

10.1.7 Technical Reports

RAntónio José dos Reis Morgado and Alexey S. Ignatiev and Joao Marques Silva, MSCG: Robust Core-Guided MaxSAT Solving (Extended System Description), INESC-ID Tec. Rep. 18/2015, Dec. 2015.

RBruno Filipe Silva de Oliveira and Francisco Maria Galamba Ferrari Calisto and Lilian Cristina Gonçalves Gomes and José Borbinha, Adaptive Q-Sort Matrix Generation: A Simplified Approach, INESC-ID Tec. Rep. 16/2015, Nov. 2015.

RPradeeban Kathiravelu and Tihana Galinac Grbac and Luís Veiga, A FIRM Approach for Software-Deﬁned Service Composition, INESC-ID Tec. Rep. 22/2015, Oct. 2015.

RJorge Goulart and Pedro Manuel Galvão da Silva and Alberto Vale and Helena Galhardas, Levantamento de Requisitos do Sistema de Gestão de Informação, INESC-ID Tec. Rep. 15/2015, Oct. 2015.

RPradeeban Kathiravelu and Luís Veiga, Not Every Flow is Equal – SMART Discrimination in Redundancy, INESC-ID Tec. Rep. 17/2015, Oct. 2015.

RPradeeban Kathiravelu and Luís Veiga, SENDIM for Incremental Development of Cloud Networks, INESC-ID Tec. Rep. 23/2015, Oct. 2015.

RAugusto Casaca and António Manuel Raminhos Cordeiro Grilo and Mário Serafim Nunes, e-balance D3.2 - Detailed System Architecture Specification, INESC-ID Tec. Rep. 21/2015, Sep. 2015.

RLuís Veiga, Big Data Infrastructures: Economics of Resources, Energy, Data, and Applications, INESC-ID Tec. Rep. 12/2015, Jul. 2015.

RAntónio Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Mário Serafim Nunes, e-balance D4.1 - Detailed Network Stack Specification and Implementation, INESC-ID Tec. Rep. 20/2015, Jul. 2015.

RLeila Sharifi and Luís Veiga, Envisioning Cloud of Energy (annex results), INESC-ID Tec. Rep. 11/2015, Jul. 2015.

RLuís Veiga, Economics-inspired Resource and Energy Management for Cloud Environments, INESC-ID Tec. Rep. 13/2015, May 2015.

RJoão Pedro Lebre Magalhães Pereira and Helena Galhardas and Bruno Martins, A Benchmark for Relation Extraction Kernels, INESC-ID Tec. Rep. 10/2015, Apr. 2015.

RDavid Dias and Luís Veiga, browserCloud.js A federated community cloud served by a P2P overlay network on top of the web platform, INESC-ID Tec. Rep. 14/2015, Apr. 2015.

RAntónio Manuel Raminhos Cordeiro Grilo and Augusto Casaca and Mário Serafim Nunes, e-balance D6.1 - Specification of the Demonstrators, INESC-ID Tec. Rep. 19/2015, Apr. 2015.

RAzadeh Alsadat Emrani Zarandi and Amir Sabbagh Molahosseini and Leonel Sousa, ASIC and FPGA Implementations of Modern 4-Moduli RNS Reverse Converters Using Distinct Configurations, INESC-ID Tec. Rep. 8/2015, Mar. 2015.

89


RDaniela Viegas Caiado and J. M. Lemos, Optimal control for cancer therapy design, INESC-ID Tec. Rep. 6/2015, Mar. 2015.

RNuno Miguel Lourenço Diegues and Paolo Romano and Luis Rodrigues, Virtues and Limitations of Commodity Hardware Transactional Memory, INESC-ID Tec. Rep. 7/2015, Mar. 2015.

RDaniel Filipe Soares Pinto and Ricardo Filipe and João Barreto, Combining off-the-shelf transactional memory with thread-level speculation, INESC-ID Tec. Rep. 9/2015, Feb. 2015.

RRicardo Figueiredo and Victor Carocha and Susana Pera and Jorge Paiva and Ana T. Freitas, In vivo validation of miRNAs regulatory networks predicted by in silico approaches and supported by transcriptional data, INESC-ID Tec. Rep. 5/2015, Feb. 2015.

RAleksandar Ilic and Svetislav Momcilovic and Leonel Sousa, Scheduling and Load Balancing for Multi-module Applications on Heterogeneous Systems, INESC-ID Tec. Rep. 3/2015, Feb. 2015.

RRodrigo Tavares Fernandes and Luís Veiga, Green-Cloud: Economics-inspired Scheduling, Energy and Resource Management in Cloud Infrastructures, INESC-ID Tec. Rep. 1/2015, Jan. 2015.

RRicardo Figueiredo and Jorge dos Santos Oliveira and Nuno D. Mendes and Ana T. Freitas, Identification of regulatory networks from the prediction of miRNAs and their targets, INESC-ID Tec. Rep. 4/2015 BII, Jan. 2015.

RIon Craciu and Luís Veiga and Pedro Adão, Self-Regulation in P2P Systems, INESC-ID Tec. Rep. 2/2015, Jan. 2015.

10.1.8 Edited Proceedings

RLuís Veiga and Ricardo Rocha, editors, 7º Simpósio de Informática (INFORUM 2015), Sep. 2015, Univesidade da Beira Interior.

RChristian Plessl and Guojing Cong and Luís Veiga, editors, IEEE 18th International Conference on Computational Science and Engineering (CSE 2015), Sep. 2015, IEEE.

RMinos Garofalakis and Etienne Rivière and Luís Veiga and Anita Solbe, editors, Fifth International Workshop on Cloud Data and Platforms (CloudDP,15), colocated with ACM EuroSys 2015, Apr. 2015, ACM.

90


2015

10.2 Dissertations

10.2.1 PhD Theses

R Gonçalo Duarte Garcia Pereira advised by Rui Prada and Pedro Santos, Bases of Social Power for Socially Intelligent Agents, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

R Nikolaos Paterakis, advised by João Catalão, Reserve services provision by demand side resources in systems with high renewables penetration using stochastic optimization, PhD Thesis on Universidade da Beira Interior, Dec. 2015.

REduardo Rodrigues, advised by João Catalão, Energy storage systems and grid code requirements for large-scale renewables integration in insular grids, PhD Thesis on Universidade da Beira Interior, Dec. 2015.

RDiogo Miguel da Costa e Castro Mónica de Oliveira advised by Carlos Nuno da Cruz Ribeiro, Defeating malicious attacks. A contribution to safe network operations, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RAntónio Manuel Vieira Pombo advised by Victor Pires and João Murta Pina, Otimização Multiobjectivo Para o Aumento da Fiabilidade em Redes de Distribuição Radiais com Incorporação de Geração Distribuída e Sistemas de Armazenamento, PhD Thesis on Universidade Nova de Lisboa, Nov. 2015.

RWang Ling advised by Isabel Trancoso and Luísa Coheur, Machine Translation 4 Microblogs, PhD Thesis on Instituto Superior Técnico / Carnegie Mellon University, Oct. 2015.

RJosé Portêlo advised by Isabel Trancoso and Bhiksha Raj, Privacy-Preserving Frameworks for Speech Mining, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RLuís Marujo advised by João Paulo da Silva Neto and David Martins de Matos, Event-based Multi-document Summarization, PhD Thesis on Instituto Superior Técnico / CMU, Sep. 2015.

RMaria Couceiro advised by Luis Rodrigues and Paolo Romano, Autonomic Replicated Software Transactional Memory, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RRicardo Jorge Ferreira Luís advised by José Silva and José Carlos Quadrado, Gerador de Velocidade Variável para Aumento da Eficiência Energética em Grupos Eletrogéneos Autónomos, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RSandra Gama advised by Daniel Jorge Viegas Gonçalves, Padrões Pessoais, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RPedro Miguel Florindo Miguens Matutino advised by Ricardo Chaves and Leonel Sousa, Residue Number Systems - Efficient Architectures and Circuits, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RDaniel José Medronho Foito, advised by José Maia, Deteção e Diagnóstico de Falhas em Sistemas de Acionamento com Máquinas de Indução Hexafásicas, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Jul.2015.

RSérgio Filipe Carvalho Ramos, advise by João Santana, Agregação e Gestão Inteligente de Conseumos de Energia Elétrica em mercados liberalizados, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

91


RGerardo Osório, advised by João Catalão, Forecasting tools and probabilistic scheduling approach incorporating renewables uncertainty for the insular power systems industry, PhD Thesis on Universidade da Beira Interior, Jul. 2015.

RLeonel Nunes, advised by João Catalão, Using biomass as an energy alternative to the sustainability and competitiveness of Portuguese industry, PhD Thesis on Universidade da Beira Interior,Jul. 2015.

RLuís José Lamy Rocha da Encarnação advised by José Silva and Luis Manuel dos Santos Redondo, Conversores Multinível baseados no conceito do gerador de marx – Aplicações em redes de energia e potência pulsada, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RCarlos João Oliveira Moreira advised by Marcelino Bicho dos Santos, Digital Control in Integrated DC-DC Converters, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RTiago Dias advised by Nuno Roma and Leonel Sousa, High performance and scalable unified architectures for transform and quantization in H.264/AVC video codecs, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RJan Verveckken advised by Johan Driesen and José Silva, Sliding Mode Control for Power Electronic Convertors in Transmission and Distribution Grids Applied to Three-Phase LCL-Filter Grid Coupling and Series Convertor of UPFC, PhD Thesis on KULeuven, Bélgica, Jun. 2015.

RJoão Paiva advised by Luis Rodrigues, Data Placement in Distributed Systems, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RHiren Canasinh advised by José Silva and Luis Manuel dos Santos Redondo, Modulador pulsado de alta tensão bipolar baseado em semicondutores de potência – Análise e optimização do funcionamento, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RGonçalo Antunes advised by José Borbinha and Artur Caetano, Analysis of Enterprise Architecture Models: An Application of Ontologies to the Enterprise Architecture Doma, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Apr. 2015.

RJosé Simão advised by Luís Veiga, Economics-inspired Adaptive Resource Allocation and Scheduling for Cloud Environments, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Apr. 2015.

RJoão Lobão, advised by João Catalão, Contribution of cable losses in the investment analysis on efficient electrical equipment, PhD Thesis on Universidade da Beira Interior, Apr. 2015.

RArmando José Leitão Cordeiro, advised by José Maia e Maria Resende, Segurança functional em Sistemas com Conversores Estátiscos de Potência, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Mar. 2015.

RTiago Manuel Oliveira Henriques Moita advised by Carlos Beltran Almeida and Marcelino Bicho dos Santos, Characterization Test Preparation for Mixed-Signal Integrated Circuits, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Mar. 2015.

RVasco Alexandre da Silva Costa advised by João António Madeiras Pereira and Joaquim Armando Pires Jorge, Grid-Based Acceleration Techniques For Real-Time Ray Tracing, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Mar. 2015.

92


2015

R João Pedro Marques Pombinho advised by José Manuel Nunes Salvador Tribolet and David Sardinha Andrade de Aveiro, Value-oriented Enterprise Transformation: Design and Engineering of Value Networks, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Mar. 2015.

RSamuel Francisco Mascarenhas advised by Ana Paiva and Rui Prada, Creating Culturally-Adaptive Agents, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Feb. 2015.

RFernando Luís Todo-Bom Ferreira da Costa advised by Paulo Ferreira, SCOLARS: SCalable LARge Scale Volunteer Computing for Map-Reduce, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, Feb. 2015.

RHugo Rito advised by João Cachopo, Execução de aplicações legadas em multicores, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, 2015.

RIvo Anjo advised by João Cachopo, Optimização de sistemas de memória transaccional em cenários com conflitos frequentes, PhD Thesis on Instituto Superior Técnico, Universidade de Lisboa, 2015.

10.2.2 MSc Theses

RPedro Duarte de Figueiredo Parreira advised by Joaquim Armando Pires Jorge and Daniel Simões Lopes, Novel Spatial Interaction Techniques for Exploring 3D Medical Images, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa , Dec. 2015.

RJaime Almeida advised by Mário Pereira Véstias, Algoritmos de Estimação da Direção de Chegada de Sinal, MSc Thesis on Instituto Superior de Engenharia de Lisboa, Dec. 2015.

RAna Marta Simões Aparício advised by Ricardo Ribeiro and David Martins de Matos, Automated Generation of Movie Tributes, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RTiago Godinho de Ornelas Pedreira advised by Nuno Gonçalo Pereira Mira and Sara C. Madeira, Effect of alterations in non-coding regions in genomic expression reprogramming of two Candida glabrata clinical isolates, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RArtur Alves Reis Leite Gonçalves advised by Joaquim Armando Pires Jorge and Daniel Simões Lopes, Efficient Contact Detection for Game Engines and Robotics: A non-polygonal approach with smooth convex objects, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RJoão André Gama Correia advised by Duarte Sousa and Fátima Montemor, Ensaio de supercondensadores híbridos utilizando eléctrodos de aço inoxidável eletrodepositados com óxidos de metais de transição, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

93


RJoão Miguel Salvado Pinhão advised by Horácio C. Neto, FPGA Multi-Processor for Sparse Matrix Applications, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RRui Pedro do Rosário Lopes advised by Dulce Costa and Victor Pires, Planeamento de Redes de Distribuição Radiais com Incorporação de Sistemas de Armazenamento, MSc Thesis on Instituto Politécnico de Setúbal, Dec. 2015.

RAna Rita Monteiro Mendes advised by Joaquim Armando Pires Jorge and Daniel Simões Lopes, Transfer Function Design for Three-Dimensional Medical Images Using Sketches, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Dec. 2015.

RTelma Filipa de Carvalho Fernandes advised by Helena Galhardas, A software infrastructure for the CLEENEX optimizer, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RPedro Miguel Andrade Ferreira advised by Luísa Coheur and Joao Emilio Segurado Pavao Martins, Application of Scheduling Techniques to Teacher-Class Assigments, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RDavid Gonçalo Branco da Silva advised by Rui Prada, Artificial Player for a Videogame of 8-ball Pool, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RBruno Assunção Cardador advised by Vitor Manuel de Oliveira Maló Machado and Maria Eduarda Pedro, Campo Eléctrico em Linhas Aéreas em Feixe e Cabos Entrançados, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RSebastião Ramalho Murteira Viana Maya advised by Rui Prada, ChemCreator: A Game of Chemistry, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RTiago André da Silva Francisco advised by Helena Galhardas, Cleenex - Debugger, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRui Miguel Pinheiro Pires advised by Miguel Correia and Orlando Remédios, Communication Security for Mesh Networks, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RNeuza Isabel Ramalho Gomes advised by Vitor Manuel de Oliveira Maló Machado and Maria Eduarda Pedro, Contribuição do Sistema Solo/Placa de Mitigação para as Impedâncias Longitudinais e Perdas de Cabos Subterrâneos, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RPedro José Vieira da Silva advised by Helena Sarmento, Controlling electrical home appliances, using Bluetooth Smart technology, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RConstantino Jorge Pestana Gomes advised by Ricardo Dias and Rodrigo Rodrigues, Controlo de concorrência para bases de dados centralizadas com nível de isolamento NMSI, MSc Thesis on Universidade Nova de Lisboa, Nov. 2015.

RJessica Joyce Soares Inocêncio advised by Helena Sarmento, Controlo remoto universal por ZIGBEE, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RJosé Luís Homem de Macedo Jordão advised by José Silva and Sónia Pinto, Conversor Multinível Modular para Transmissão Bidirecional HVDC, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

94


2015

RJorge Filipe Roussado Narciso advised by José Silva, Conversores multinível redutores-elevadores reversíveis para aplicações em sistemas híbridos com energia fotovoltaica, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RNuno André Mendes Pissarra advised by Ricardo Chaves, Cryptographic Functions on the SideWorks architecture, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RAna Henriques Narciso advised by Francisco S. Melo and Alberto Sardinha, Debt Analytics: Proactive prediction of debtors in the telecommunications industry, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RMarco Paulo Fernandes Vicente advised by Fernando Batista and Joao P. Carvalho, Detecting Portuguese and English Twitter User’s Gender, MSc Thesis on ISCTE-IUL, Nov. 2015.

RNuno Miguel Roque Gomes advised by João Nuno de Oliveira e Silva, DevEval Porting e-learning technologies to lab examinations, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RFrancisco Jose Alves Correia Pires advised by Horácio C. Neto, Distributed-Memory Multiprocessors in FPGAs, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RPedro Vargas Nobre de Gusmão advised by Rui Prada and Francisco S. Melo, Emergence of communication in a collaborative game, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RFilipa Isabel Nogueira Correia advised by Ana Paiva and Francisco S. Melo, EMYS: a social robot that plays “Sueca”, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RVânia Patrícia Padrão Mendonça advised by Luísa Coheur and Alberto Sardinha, Estendendo o VITHEA para melhorar as competências linguísticas de crianças, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RDiogo Mineiro Cameirinha advised by Pedro Tomás and Nuno Roma, Exploiting DVFS for GPU Energy Management, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RMiguel Pereira Rodrigues advised by Pedro Tomás and Nuno Roma, Fast and Scalable Thread Migration for Multi-Core Architectures, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RSérgio Moura advised by Nuno Santos, Floodgate: An End-to-End IFC System to Prevent Data Leaks from Mobile Apps, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRicardo Filipe de Almeida Santos advised by João Nuno de Oliveira e Silva, Flyr: Rede Social Móvel para Espaços Abertos, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RJosé Pedro André Canilho advised by Horácio C. Neto, FPGA implementation of a Multi-processor for Cluster Analysis, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

95


RAna Isabel Feliciano Gomes advised by Paulo Flores and Jorge Manuel dos Santos Ribeiro Fernandes, FPGA Quaternary look Up Table, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RDuarte Tovar de Carvalho Patrício advised by Luís Veiga and José Simão, GC-VM-BigData: Garbage Collection Optimization for JVM running Big Data Workloads, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RTiago José Perdigão Fernandes advised by João Nuno de Oliveira e Silva, GeoBIblio - Base de Dados Bibliográfica Georreferênciada, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRodrigo Tavares Fernandes advised by Luís Veiga and José Simão, Green-Cloud: Economics-inspired Scheduling, Energy and Resource Management in Cloud Infrastructures, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RGuilherme de Sousa Aranha advised by David Martins de Matos and Nuno Roma, Grid Computing in Organizational Enviroments, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRui Faria de Jardim advised by Victor Pires, Impacto de um STATCOM num sistema elétrico com cogeração, MSc Thesis on Instituto Politécnico de Setúbal, Nov. 2015.

RHugo Manuel Antunes Lopes advised by H. Sofia Pinto and A. P. Francisco, Influence and Sentiment Homophily on Twitter, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RInês Aguiar Fernandes advised by Andreas Wichert, Intelligent Binary Information Retrieval,, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRafael Farias Baltazar advised by João Carlos Serrenho Dias Pereira and Pedro Adão, JMLCUTE: Automated JML-Based Unit Test Case Generation, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RBruno Filipe Guia de Sousa advised by João Carlos Serrenho Dias Pereira and Pedro Adão, Keyword Based Framework for DLNA Acceptance Testing, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RLuis Ricardo da Costa Carvalho advised by Paulo Ferreira, LBS - Location Based Services, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RPaulo Filipe advised by Alberto Rodrigues da Silva, Model-Driven Development Approach for Content Management Systems based Applications, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RSérgio Filipe Ferreira Alves advised by Paulo Ferreira, Neo4Location – graph based database for location information, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RDaniel Caixinha advised by Luís Veiga, omniCluster – Virtual Network Allocation in Data Centers using Software-Defined Networking, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RNuno Duarte advised by Paulo Ferreira and Nuno Santos, On the Effectiveness of Trust Leases in Securing Mobile Applications, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

96


2015

RCarlos Xavier da Silva Martins advised by J. Monteiro and Juan Acebron, Paralelização de um Algoritmo Probabilístico para Resolução Numérica de Equações, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RDavid Rodrigues Neves advised by Nuno Horta and L. Miguel Silveira, Parallel Computing applied to Analog IC Layout-Aware Sizing and Optimization, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RSusana Cardoso Ferreira advised by João Carlos Serrenho Dias Pereira, Parallel XML Matching Algorithm for Publish/Subscribe Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RMauro Rafael Pereira Teixeira advised by João Nuno de Oliveira e Silva, Point-of-Interest Based Navigation System, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RRafael Vilela Pinheiro de Passos Ramos advised by Rui Prada and Carlos António Roque Martinho, Procedural Content Generation for Cooperative Games, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RLuís Miguel Mancilha de Almeida Martins de Jesus advised by Helena Galhardas and Paulo Ferreira, ProntAPP: A mobile question answering application for medicines, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RGonçalo Duarte Varela advised by Luísa Coheur, Que informação se esconde no fórum de um MOOC (massive Onlline Open Course)?, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RAna Sofia Ferreira Alcobia advised by José Silva and Sónia Pinto, Regulação de Tensão nas Redes de Baixa Tensão Auxiliada por Microprodutores, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RManuel Maria Costa Duarte de Menezes de Morais advised by Pedro Santos, Reimplementing a Strategy Game Interface, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RMiguel Carvalho advised by João Nuno de Oliveira e Silva, RemoteUI A Middleware for user interaction mobile applications, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RJoão Pedro Relvas de Jesus Granchinho advised by Paulo Ferreira, REVLoc:Robust, Energy Efficient and Versatile Localization for Mobile Devices, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RLuís Filipe Amaral Pinhanços dos Santos advised by Luísa Coheur, Sai um chatbot com gelo e limão! Criação de agentes conversacionais on demand, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RVasco Guilherme Brás Pinho advised by João Nuno de Oliveira e Silva, SandDB - Community Sand Database, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RMiguel Rodrigues Bento Barros da Costa advised by Paulo Ferreira and Nuno Santos, SecMos – mobile operating system security, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

97


RSandra Maria de Babo Lourenço advised by Nuno J. Mamede and Jorge Baptista, Syntactic REAP.PT - Exercises on Passive Transformation, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RJosé Miguel Pinheiro Correia advised by Nuno J. Mamede and Jorge Baptista, Syntax Deep Explorer, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RVolodymyr Balytskyy advised by Francisco C. Santos and Ana Paiva, The role of emotional traits in the evolutionary dynamics of Multiplayer Ultimatum Game, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RPedro Miguel Garcez Palha Pessoa Vaz advised by Alberto Rodrigues da Silva, Tutorpoly - A Real-time e-Learning Marketplace, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RAntónio Lucas Robalo Martins advised by L. Miguel Silveira, Variability and Statistical Dynamic Analysis Flow for Linear Interconnect Networks, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RJorge Filipe Saldanha advised by Daniel Jorge Viegas Gonçalves, Where Have I Been?, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Nov. 2015.

RCarlos Manuel Rodrigues Duarte advised by David Martins de Matos, Audio Cover Song Identification, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RFernando César Santos advised by Mikolas Janota and Vasco Manquinho, Automatic Generation of Exercises for Massive Open Online Courses (MOOCs), MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RManuel Figueiral advised by Mário J. Silva and Anabela Santos, CODEGOM: A governance model for clinical ontologies, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RMiguel Alexandre Pires Alves advised by Sónia Pinto, Condicionador Unificado de Qualidade de Energia Baseado em Conversor Matricial Indireto, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RRodrigo José Madeira Lourenço advised by João Barreto, Cycle our City, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RSérgio Alves advised by António Rito Silva, Data Center Portal Software Architecture: Operation and Supervision System, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RCarlos Bartolomeu advised by Luis Rodrigues, Dynamic Adaptation of Geo-Replicated CRDTs, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RJoão Silva advised by Luis Rodrigues, Efficient Free-rider Detection using Symmetric Overlays, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RInês Alexandra do Côrro Caetano advised by António Menezes Leitão, From idea to shape: a framework for the generation of facades, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RJaime Rodrigues Ferreira advised by David Martins de Matos and Ricardo Ribeiro, Incremental Learning of Probabilistic Models in High-Dimensional Space, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

98


2015

RAndré Filipe Braz dos Santos advised by António Rito Silva and Manuel Portela, LdoD Digital Archive: Search and Recommendations, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RAlexandre Pedro Gomes Freitas advised by Pedro Santos, My Army: Strategy Game Engine, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RLuís Manuel Bento do Amaral advised by Rui Castro, Offshore wind farm layout optimization regarding wake effects and electrical losses, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RGonçalo Nuno de Costa Carito advised by Carlos Nuno da Cruz Ribeiro and Alberto Abad, Privacy enhanced speech recognition, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RCatarina Isabel Carvalho Santana advised by António Rito Silva, Sistema Colaborativo de Análise de Sistemas de Software, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RGaspar Manuel Rocha Brogueira advised by Fernando Batista and Joao P. Carvalho, Sistema Inteligente de Recolha e Armazenamento de Informação provenienter do Twitter, MSc Thesis on ISCTE-IUL, Oct. 2015.

RAndré Viegas advised by António Rito Silva and Pedro Lemos, Software Architecture of a Insurance System based on Services, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RDaniel Filipe Soares Pinto advised by João Barreto and Paolo Romano, specSTM - Software Transactional Memory With Thread-Level Speculation, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RJoão Florêncio advised by José Carlos Campos Costa, Test Accelerator for Serivce Oriented Architectures (SOA-Test Accelerator), MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RDelmiro João Rego Pereira advised by Sónia Pinto and José Silva, Transformador Eletrónico de Potência como Solução para a Regulação da Tensão e Frequência em Redes Elétricas Isoladas, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RJosé Fernando Martins Bigares advised by Rui Castro, Um novo modelo de produção com autoconsumo em Portugal, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RPaulo César Dias Figueiredo advised by David Martins de Matos and Ricardo Ribeiro, Video Summaries for Science Talks, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Oct. 2015.

RCatarina Isabel Carvalho Santana advised by António Rito Silva, Collaborative Platform for Analysis of Software Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Sep. 2015.

RSimon Filipe Pacheco Esposito advised by Carlos Nuno da Cruz Ribeiro and Fernando Henrique Corte Real Mira da Silva, Stork2.0: Crossboarder exchange of Academic Attributes, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Aug. 2015.

RGayana Chandrasekara advised by Luis Rodrigues, Adaptive Quorums for Cloud Storage Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

99


RConstança Bordalo Maia Roquette advised by Mónica Oliveira and José Manuel Nunes Salvador Tribolet, Análise de Oportunidades de Melhoria do Sistema de Gestão de Transporte de Doentes, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RHugo Filipe Fonseca Correia advised by António Menezes Leitão, Implementaçãop de Processing para Racket, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RTiago Rodrigues advised by Mário Pereira Véstias, JPEG Decoder Implementation on FPGA using Dynamic Partial Reconfiguration, MSc Thesis on Instituto Superior de Engenharia de Lisboa, Jul. 2015.

RAndré Alves Gomes Rei advised by Carlos Nuno da Cruz Ribeiro and Nelson Escravana, Profiling Agent and Rule-set Optimization in Misuse Based Intrusion Detection Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RGuilherme Loreno Santos Vale advised by Nuno Roma and Ricardo Chaves, Raspberry Drone: Unmanned Aerial Vehicle (UAV), MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RAliaksandra Sankova advised by Luis Rodrigues, Relaxed Logging for Replay of Multithreaded Applications, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RCarolina de Carvalho Nunes advised by Sara C. Madeira and Nuno Gonçalo Pereira Mira , Towards the identification of biomarker-genes for the diagnosis of invasive candidemia caused by Candida glabrata, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jul. 2015.

RRita Alexandra Correia Soares Amaro Policarpo advised by Nuno J. Mamede and Jorge Baptista, Desambiguação semântica de nomes, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RAfonso Morais Sousa Dias advised by L. Miguel Silveira and Patrícia Figueiredo, A Hierarchical Brain Parcellation Method Based on Discrete Morse Theory for High-Resolution Resting-State Functional MRI Data, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RJoão Luís Lopes Quitério advised by Rui Prada and Francisco S. Melo, A reinforcement learning approach for the circle agent of Geometry Friends, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RJhonny Alexander Aldeia de Jesus advised by Alberto Sardinha, Agente de Software para Comparar Preços na Web, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RFrancisco de Freitas Vilar Morais advised by Alberto Rodrigues da Silva, ARENA - Asserting the Quality of Modelling Languages, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RSérgio Henrique Ferreira da Conceição advised by Duarte Sousa and Paulo Branco, Balanço energético e Armazenamento de Energia do Veículo de Transporte Urbano MagLev-Cobra, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RBernardo Serrado Gomes Teixeira de Gouveia advised by Alberto Rodrigues da Silva, BOA v3 - Learning Object Pool, MEIC Thesis, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

100


2015

RDavid Dias advised by Luís Veiga, Cloud4People, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RPedro Miguel Grosso Moreira advised by David Martins de Matos and Pedro Tomás, Compilation of OpenCL Programs for Stream Processing Architectures, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RManuel Reis advised by Ana T. Freitas and Nuno Dias Mendes, Computational prediction of microRNAs in plant genomes, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RAlban van Laethem advised by José T. de Sousa and Didier Deryck, Conception of a DMA designed in Verilog, MSc Thesis on Haute École Libre Mosane Gramme, Jun. 2015.

RLuis Miguel Romba Correia advised by Marcelino Bicho dos Santos, Controle Digital de um Conversor DC-DC, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RVanessa Feliciano advised by Luísa Coheur and Joao P. Carvalho, Diz-me o que escreves, dir-te-ei quem és., MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RCátia Vanessa Alves Braz de Matos Rosa advised by Alberto Sardinha, iPad Apps in teaching programs for kids with ASD, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RAna Livia Marques Gonçalves Ribeiro Laia advised by Teresa Mendes de Almeida, Musical Signals Digital Classification, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RRicardo Duarte Ferreira Filipe advised by Sara C. Madeira and Alexandre de Mendonca , Predicting the conversion from Mild Cognitive Impairment to Alzheimer’s disease using disease staging: A case study in ADNI data, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RJuliano Paulo Khoza advised by João Nuno de Oliveira e Silva, Projecto para o Desenvolvimentos dum Sistem Integrado de Gestão e Controlo da Frota de Transportes do Ministério do Interiror (MINT), MSc Thesis on INstituto Superior de Transportes e Comunicações, Jun. 2015.

RRui Diogo de Sousa Morais advised by Ricardo Chaves and João Barreto, Secure Tracking: Traking por GPS de crianças e pessoas com doenças mentais, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RMiguel Guerreiro Anão Borges advised by Luís Veiga, Social-networking@edge, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RMiguel Moreira de Figueiredo Osório de Aragão advised by David Martins de Matos and Alexandre José Malheiro Bernardino , Towards an Advanced Interoperability Framework Between the Robotic Middlewares YARP and ROS, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Jun. 2015.

RAna Karina Tavares de Moura Gomes advised by Andreas Wichert, Fractal Dimension and the space fil ling curves, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RJosé António dos Santos Rodrigues Leira advised by Andreas Wichert, Associative Memory and Information Retrieval, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

101


RDaniel Dias Gonçalves advised by Miguel Correia and João Bota, Automatic Diagnosis of Security Events in Complex Infrastructures using Logs, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RInês de Almeida Nolasco advised by Alexandra Sofia Martins de Carvalho and Sara C. Madeira, Biclustering-based imputation in longitudinal data, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RPedro Nobre Escudeiro advised by Gonçalo Nuno Gomes Tavares and Jorge Manuel dos Santos Ribeiro Fernandes, Digital Signal Processing System for Pulsar Signal Reception, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RGonçalo Avelar advised by Luís Veiga, GreenBrowsing, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RTelma Cristovão de Oliveira advised by Isabel Trancoso and Paulo Lobato Correia, Mobile Alert: Combining Human Motion Detection and Voice Analysis, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RCarlos Domingos Vaz Lampreia Horta Martins advised by Pedro Tomás and Ricardo Chaves, Parallelization of the LU Decomposition on Heterogeneous Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RAndré Filipe Gonçalves Duarte advised by Pedro Tomás and Nuno Roma, Powermeter for HPC Systems, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RAuguste Cunha advised by Pedro Santos and Carlos António Roque Martinho, Swarm Intelligence applied to strategy games, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RCátia Andreia Gomes Dias advised by Luísa Coheur, TALKIT Desenvolvimento de um Sistema de Diálogo para Português, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RHelton Luis Semedo Craveiro Miranda advised by Miguel Correia, TimelyWare: a Middleware for Timely and Reliable Communication over the Internet, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RMaria Leonor Ferreira da Costa Cunha Bento advised by José Carlos Campos Costa and J. Monteiro, Validação de Sistemas Embebidos Baseada em Cobertura, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, May 2015.

RPedro André Lourenço do Vale advised by Rui Castro, Avaliação Energética de Sistemas de Conversão Fotovoltaicos, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Apr. 2015.

RJuvenal André Olim Araújo advised by Ricardo Chaves and Leonel Sousa, Eliptic Curve Cryptography Hardware Core Supported by RNS, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Apr. 2015.

RRafael Amaro Igrejas Soares advised by João Santana and Sónia Pinto, Estudo da Incorporação de Energias Renováveis nos Campi do IST: Alameda e Taguspark, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Apr. 2015.

102


2015

RTiago Chaves advised by Mário J. Silva and Baltazar Nunes, Automated Daily Mortality Surveillance Systems: Integration of Data Collection, Data Analysis and Reporting System Components, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Feb. 2015.

RHugo Mendes Paixão advised by Mário J. Silva and Ana Paula Reis, Integrating Sentinel Surveillance Systems and Electronic Health Records, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Feb. 2015.

RDário Nascimento advised by Miguel Correia, Recovery from Security Intrusions in Cloud Computing, MSc Thesis on Instituto Superior Técnico, Universidade de Lisboa, Feb. 2015.

RAna Sofia Patricio Couto advised by Victor Pires, Integração de um Sistema de Armazenamento de Energia em Consumidor de Baixa Tensão, MSc Thesis on Instituto Politécnico de Setúbal, Jan. 2015.

RAdalberto Simões Pedras advised by Victor Pires, Sistema de Detecção e Diagnostico de falhas num rectificador de alimentação do circuito de excitação de um gerador síncrono, MSc Thesis on Instituto Politécnico de Setúbal / Escola Superior de Tecnologia de Setúbal, Jan. 2015.

10.3 Seminars

08-Jan-2015 Reading News with Maps by Exploiting Spatial SynonymsHananSamet, University of Maryland

12-Feb-2015 Collaborative Mobile Charging and Coverage in Wireless Sensor NetworksJie Wu, Temple University

20-Feb-2015 Non-cooperative and Deceptive DialogueDavid Traum, ICT- University of Southern California (USC)

04-Mar-2015 Rethinking reverse converter design: From algorithms to hardware componentsAmir Sabbagh Molahosseini, Islamic Azad University

13-Mar-2015 Lasp: a language for eventually consistent distributed programming with CRDTsPeter Van Roy@Université catholique de Louvain , Christopher Meiklejohn@Basho Technologies

27-Mar-2015 The University of the Future: Taking Knowledge Out of Campus, A Personal TaleNivio Ziviani, Universidade Federal de Minas Gerais

01-Apr-2015 Computing in Space with OpenSPLGeorgi Gaydadjiev , Chalmers University

28-May-2015Machine Learning in CAD for Deeply Scaled CMOS TechnologiesIbrahim M. Elfadel, Institute Center for Microsystems, Masdar Institute of Science and Technology, Abu Dhabi

103


27-May-2015 Hardware Security: Challenges, Solutions and OpportunitiesChip Hong Chang, Nanyang Technological University

04-Jun-2015 Algoritmos Optimizados e Hardware Dedicado para a Codificação de VídeoMarcelo Porto@Universidade Federal de Pelotas (UFPel), Brasil, Luciano Agostini@Universidade Federal de Pelotas (UFPel), Brasil

09-Jun-2015Towards Social Media Analysis for Low-Resource LanguagesSilvio Amir, INESC-ID

20-Jul-2015 Temporal Information Retrieval – Understanding Time Sensitive QueriesRicardo Campos, Instituto Politécnico de Tomar

23-Jul-2015 Lattice-based crypto: parallelization of sieving algorithms on multicore CPUsArtur Mariano, Universität Darmstadt

11-Sep-2015 Predictive and Scalable Macro Molecular ModelingChandrajit Bajaj, University of Texas at Austin

05-Nov-2015 Ramon Llull: From the Ars Magna to Agreement ComputingCarles Sierra, IIIA-CSIC

23-Nov-2015 Operation and Design of VHF Self-Oscillating DC-DC Converter with Integrated TransformerIgor M. Filanovsky , University of Alberta

03-Dec-2015 Advanced Brain Imaging Techniques Symposium

22-Dec-2015 The promise and peril of anthropomorphizing agentsProf. Jonathan Gratch, University of Southern California, USA

10.4 Distinguished Lecture Series

2015 JanuaryPrivacy-Preserving Event Stream Processing in the CloudProf. Pascal Felber, Université de Neuchâtel, Institut d’informatique

2015 JuneMore is different: how complex networks lead to new emergent social behaviorProf. Jorge M. Pacheco, Universidade do Minho

2015 SeptemberNext-generation data-parallel dataflow systemsProf. Frank McSherry, ETH Zurich

2015 DecemberEvolving Critical SystemsProf. Mike Hinchey, Lero - the Irish Software Research Centre, University of Limerick, Ireland

Design: FPreto / graphic design for closed and open media

annual report - inesc-id

Documents