annual report 2012 - ALGOS Group - INESC-ID

Transcrição

ANNUAL REPORT 2012
ANNUAL REPORT
2012
INESC-ID ANNUAL REPORT 2012
01. WHO WE ARE
5
02. WHAT WE DO
13
03. HUMAN RESOURCES
17
04. OUTCOME
19
05. COOPERATION, PARTNERSHIPS AND MOBILITY
23
06. TECHNOLOGY TRANSFER
25
07. VISIBILITY
29
08. HIGHLIGHTS
35
09. RESEARCH UNITS
43
10. ANEXES47
WHO WE ARE
1 WHO WE ARE
INESC-ID is a research institute dedicated to advanced research and development in
the areas of Electronics, Communications, and Information Technologies.
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, declared officially of public interest. It is owned 51% by IST - Instituto Superior Técnico – and 49% by INESC – Instituto de Engenharia de Sistemas e Computadores.
INESC-ID operates in two locations, near (or inside) the two campues 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 researchers and support staff.
The activities of INESC-ID in 2012 are structured into four research lines:
Information and Decision Support Systems
Interactive Intelligent Systems
Embedded Electronic Systems
Computing Systems and Communication Networks
Some research lines are composed of different research groups, but the research and
administrative planning, once centred in the groups, has progressively moved towards
the research lines.
5
CAMPUS
I
ALAMEDA
CAMPUS
II
TAGUSPARK
Rua Alves Redol, 9
1000-029 Lisboa
Telef.: +351 213100300
Fax: +351 213145843
Avenida Professor Cavaco Silva
2780-990 Porto Salvo
Telef: +351 214233508
Fax: + 351 214233290
1.2 INSTITUCIONAL STRUCTURE
1.2.1 Management structure
INESC-ID is structured according to the organization chart shown below. Current
management 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 INOV: Financial Control Department (DFA), Budget Control Department (DAF),
Legal Support, Infrastructures Department (DGI), and Computer Network Support.
Fig. 1 – INESC-ID Organization Chart
Audit Board
General Council
Board of
Directors
Advisory Board
Human
Resources Office
(GARH)
Project Support
Office (GAP)
Scientific Council
Board
Information and
Decision Support
Systems
Interactive Virtual
Environments
Embedded
Electronic
Systems
Computing Systems
and Communication
Networks
Coordinating
Commitee
Other
members
Administrative Support
7
INESC-ID
ANNUAL
REPORT
2012
Board of Directors
The 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. In 2012 the Board was composed by Leonel Sousa (chairman), José
Carlos Monteiro and Luís Rodrigues.
General Council
The General Council is composed by three representatives of IST (Instituto Superior
Técnico), two of 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 2012 the General Council was composed by Arlindo Oliveira, Paulo Martins,
José Tribolet, Abílio Ançã Henriques and João Miranda Lemos.
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 2012 the Fiscal Council was
composed by Hermínio Ribeiro, Dr. João Catarino and Grant Thornton & Associados –
Sociedade de Revisores Oficiais de Contas, Lda.
Scientific Council
The 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.
8
Board of the Scientific Council
The Scientific Council has a managing board composed of a chairman and two other members. In 2012 the Board of the Scientific Council was composed by Prof. Luís
Silveira, Prof. Inês Lynce, and Prof. João Miranda Lemos (chairman).
Scientific Council Coordinating Commitee
The Coordinating Commitee is composed of the Board of the Scientific Council and representatives of the thematic areas.
Advisory Board
The 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 currently Profs. Franco Maloberti (Univ. Pavia, Italy), Srinivas Devadas (MIT, USA), Morris
Sloman (Imperial College, London, UK), and Carlos Princípe (Univ. Flórida, USA).
Human Resources Office
The Human Resources Office (GARH – Gabinete de Apoio aos Recursos Humanos) is responsible for the management of the human resources of INESC-ID.
Projects Support Office
The Projects Support Office (GAP – Gabinete de Apoio a Projetos) is responsible for the
control of the execution of national projects. It also provides administrative support to
the activity of the Board of Directors.
Administrative Support
The Administrative Support is provided by five secretaries that support the researchers of the different R&D groups.
9
INESC-ID
ANNUAL
REPORT
2012
1.2.2 Scientific Structure
The research developed at INESC-ID is organized in four Research Units, and each research unit is organized around several research groups.
Each research unit has one or 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 on 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 the preparation of plans and reports concerning to the research unit.
10
Each research unit integrates different research groups, which are listed below together with
their coordinators in 2012:
Information and Decision Support Systems
Coordinators Prof. Mário Silva, Prof. Ana Teresa Freitas
SW Algorithms and Tools for Constraint Solving – Prof. Inês Lynce
Knowledge Discovery and Bioinformatics – Prof. Ana Teresa Freitas
Information Systems – Prof. Miguel Mira da Silva
Data Management and Information Retrieval – Prof. Mário Silva
Interactive Intelligent Systems
Coordinators Prof. Isabel Trancoso, Prof. Joaquim Jorge
Spoken Language Systems – Prof. Isabel Trancoso
Intelligent Agents and Synthetic Characters – Prof. Ana Paiva
Intelligent Multimodal Interfaces – Prof. Joaquim Jorge
Embedded Electronic Systems
Coordinators Prof. Jorge Fernandes, Prof. Nuno Roma
Analogue and Mixed-Signal Circuits – Prof. Jorge Fernandes
Control of Dynamic Systems – Prof. João Miranda Lemos
Signal Processing Systems – Prof. Nuno Roma
Quality, Test and Co-Design of HW/SW Systems – Prof. Marcelino Santos
Electronic System Design and Automation - Prof. Horácio Neto
Algorithms for Optimization and Simulation – Prof. Luís Silveira
Communication Networks and Mobility
Coordinators Prof. Augusto Casaca, Prof. Paulo Ferreira
Distributed Systems – Prof. Paulo Ferreira
Software Engineering – Prof. João Cachopo
Communication Networks amd Mobility – Prof. Augusto Casaca
11
WHAT WE DO
2 WHAT WE DO
2.1 OBJECTIVES
INESC-ID aims to produce added value to people and society in the field of Information
and Communication Technologies (ICT). 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
electrical 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 cooperation 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 international journals and conferences; methodologies, tools, patents, and prototypes to
be transferred to the academic, scientific or industrial sectors, advanced professional
education and training.
In order to fulfill its mission, INESC-ID values internationalization, 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
research 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.
13
INESC-ID
ANNUAL
REPORT
2012
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, ADI – Agência de Inovação, and the European Comission. Adittionaly, INESC-ID also participates in
other funding programs involving government funding with the purpose of developing
R&D in companies through consortiums with research partner institutions.
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.
INESC-ID has also been involved, at an institutional level, in the establishment and development of the training activities developed in the context of the Portugal-CMU and
the Portugal-MIT programs.
Among the most significant achievements, we would like to highlight the following activities:
R The exceptional quality of the publications of INESC-ID researchers has been recognized in 2012 with several best paper awards, in national and international conferences;
R
In 2012 Prof. Luís Miguel Silveira was elevated by the IEEE to the degree of Fellow;
R The organization of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC2012), the 8th International Conference
on the Quality of Information and Communications Technology (Quatic2012), the
Third International Conference on Serious Games Development and Applications
(SGDA2012), and the International Workshop on Information Technology for Energy
Application (IT4Energy), that required the participation and the effort of the institution as a whole;
14
R The success of the five INESC-ID startup companies. Three of them (Coreworks,
VoiceInteraction and PetSys) were created in early years as a result of a very significant technology transfer. In 2009 there is also the participation in a fourth startup
company, NWC, a highly innovative company in the implementation and development of specific social and network applications. The newest participation is SiliconGate, a start-up that operates in the field of microelectronics and develops and
licenses high performance power management blocks that are key elements in any
mobile equipment;
R
The increasing in scientific productivity results in about 112 international journal papers, and more than 300 communications in international conferences. Morevover,
about 14 PhD theses were finished in 2012;
R
From a total of 18 research projects that started in 2012, 2 have received European
funds and 16 are supported by national funding (FCT). In 2012 there were a total of 82
research projects ongoing (18 European, 2 managed by ADI and 62 funded by FCT);
R
The number of contracts has also increased, namely with international and national
companies. Comparing with the former year, we increased in about 50% the total
amount of revenues from R&D contracts. This increase is mainly due to a general
institutional effort of uprising other sources of funding, allowing also to bound connections with industry and companies with whom we are able to strengthen future
partnerships. Some examples are ITDS, SiliconGate, Fundação PT, and Qualcomm,
which general description can be seen in the chapter highlights of this report.
15
HUMAN RESOURCES
3 HUMAN RESOURCES
The majority of the researchers of INESC-ID are members of the academic staff and
post-graduate students of IST. There are also researchers from other Universities and
Polytechnic Institutes and a small number of contracted postdoctoral researchers.
On 31 December 2012 INESC-ID had 391 colaborators, 133 of which with a Ph.D. degree
and 129 with a M.Sc. degree.
Since INESC-ID focuses its activity on the rapid growth areas of information technology, communications and electronics, an increase is to be expected in the number of
researchers with higher degrees within the next few years. Many researchers are carrying out their post-graduate work at INESC-ID. Table I summarizes the qualifications
of INESC-ID researchers.
Table I – Human Resources
ACADEMIC DEGREE
Number
Habilitation
24
PhD Degree
109
MSc Degree
129
1st Degree
122
High School
7
TOTAL
391
The increase of technical and scientific activity, as a result of the status of Associate
Laboratory, leads to the need to improve technical support and administrative services.
The institution is mostly composed by researchers with a PhD, which reflects the motivation given to our collaborators to develop a structured researcher career.
INESC-ID also has a very young structure, due to the amount of fellowships and young
researchers; 63% have ages between 20 and 40 year 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. These openings were announced in national and international journals and
websites. A call for research staff positions was opened during 2012, and about 80%of
the applications received were from foreign researchers.
Two researchers were hired: Pedro Monteiro, with a PhD degree in “Towards an integrative approach for the modeling and formal verification of biological regulatory networks” at INRIA Grenoble, France, and Mikolas Janota, with a PhD degree in “SAT Solving
in Interactive Configuration” at University College, Dublin.
17
OUTCOME
4 OUTCOME
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 projects awarded in a
nationwide competitive basis. National funding is also provided by AdI – Agência de Inovação. Another main source of funding are European Union projects.
The following set of tables summarizes the activities carried out in 2012 and the results
achieved.
PROJECTS
Table II – Projects
TYPE OF PROJECT
Number
International Programs (research projects ongoing)
18
National Programs (research projects ongoing)
64
Contracts with companies
20
Total
R&D
102
Table III – Publications
Number
PUBLICATION TYPE
Books
4
International Journals
112
National Journals
2
Book Chapters
19
International Conferences
349
National Conferences
36
Patents
1
Technical Reports
35
Special Issues of Journals (edition)
3
Conference Proceedings
7
Total
568
19
INESC-ID
ANNUAL
REPORT
2012
102
568 PROJECTS
R&D PUBLICATIONS
559
DISSERTATIONS
80
SCIENTIFIC EVENTS
20
DISSERTATIONS
Table IV – Thesis
ONGOING
COMPLETED
Total
PhD Theses
115
14
129
MSc Theses
285
107
392
37
1
38
437
122
559
TYPE
Graduation Theses
Total
ORGANIZATION OF SCIENTIFIC EVENTS Table V – Organization of Scientific Events
TYPE OF ACTION
Number
Associate Editor of Journal
11
Committee Chair
22
Committee Member
117
General Chair
4
Invited Speaker
27
Reviewer
80
21
COOPERATION,
PARTNERSHIP
AND MOBILITY
5 COOPERATION, PARTNERSHIPS
AND MOBILITY
INESC-ID participates in the programs between Portugal and CMU (Carnegie-Mellon
University) and with Portugal/MIT (Massachusetts Institute of Technology). Other
partnerships include Cadence Design Systems, TU Darmstadt, IST, ISCTE, Universidade
da Madeira, Escola Superior de Tecnologia e Gestão de Beja, and Escola Superior de
Tecnologia de Setúbal. Other partnerships are already in course, namely with Instituto
Superior de Engenharia de Lisboa (ISEL) and Universidade da Beira interior (UBI). 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.
23
TECHNOLOGY
TRANSFER
6 TECHNOLOGY TRANSFER
Our research and development activities cover a broad 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, 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.
25
INESC-ID
ANNUAL
REPORT
INESC-ID currently has equity in the following start-up companies:
www.nwc.pt
2012
Coreworks, founded in 2001 by two researchers of INESC-ID, is a provider of
Semiconductor Intellectual Property (SIP) for multi-standard multimedia and communications applications, such as digital television, internet protocol television (IPTV), portable 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
www.nwc.pt
SiliconGate operates in the field of microelectronics and develops and licences high performance Power Management blocks that
are key elements in any mobile equipment. Funded in 2008, SiliconGate brought together the experience of senior designers from Industry with the research expertise of an
INESC-ID research group.
Recently, Wolfson Microelectronics plc, a global leader in high-performance mixed-signal semiconductor solutions for the consumer electronics market, has selected
SiliconGate to provide high-performance power management IP in a four year contract.
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 technology that allows early cancer detection with higher resolution (1-2 mm against 5-10
mm) and higher sensitivity (x10) than with standard devices.
26
www.nwc.pt
Coreworks \ digital integrated circuit design
w
Voiceinteraction \ speech processing
VoiceInteraction was founded in 2008 by researchers
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).
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 INESCID to develop a software multi-services platform, Kelius.
www.nwc.pt
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 applications cover different areas: subtitling systems for RTP (public national TV broadcaster),
media clipping, dictation systems for hospitals, spoken dialogue systems for kiosks in
monuments.
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 platform are patented.
Besides owning equity in each company, there is close connection of these start-ups
with INESC-ID due to partnerships for R&D projects.
27
VISIBILITY
7 VISIBILITY
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. The 2012 meeting took place in October, at Vimeiro, were
researchers met to discuss issues related with the Energy Systems, due to the integration of new researchers of this area within the institution organization.
With specific goals of gathering the institution research team, team building activities
with outdoor tasks were organized. A huge opportunity to improve bonds between collaborators and also stimulate leadership and management group characteristics.
A special attention was also given to the study made by IST about the research units
related with this university.
António Vidigal, from EDP, and Luís Oliveira e Silva, from IST were this year invited
speakers for the general annual meeting.
29
INESC-ID
ANNUAL
REPORT
2012
7.2 Seminars
INESC-ID has also a very active schedule of seminars, presented by our researchers and/
or invited speakers. These seminars are organized in a regular basis, in order to promote
collaboration between researchers and research groups and also across disciplines.
These seminars are opened for all the scientific community: students, researchers and
general public are welcome to participate. A significant amount of external speakers
were invited to present and participate in some of these seminars. During 2012, more than
40 seminars were organized by our research groups at INESC-ID facilities. These seminars are described in the annexes of this report.
7.3 Distinguished Lecture Series
The INESC-ID Distinguished Lecture Series is designed to bring to the institute outstanding 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 different 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 researchers. The INESC-ID Distinguished Lecture Series was launched in September
2012, with a seminar planned to take place every month.
September 2012 - Dr. Anne-Marie Kermarrec, INRIA Senior Researcher (Directrice de
recherche), INRIA-Rennes, FRANCE, with the theme “WhatsUp: a P2P instant news
items recommender”;
October 2012 - Prof.Barbara Liskov, Massachusetts Institute of Technology, a
Distinguished Lecture Series were INESC-ID associated with the DLS series of
Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, with the theme
“Programming the Turing Machine”;
November 2012 - Prof. Eduardo F. Camacho, Dpto. Ingeniería de Sistemas y Automática,
Escuela Superior de Ingenieros, Sevilla, with the theme “Control of solar thermal plants”.
30
7.4 Media & Dissemination
INESC-ID research work is often news
in several wide public known media.
Besides TV interviews and paper, our
researchers are opened to show their
team work at several levels. In 2012
we were news for several research
projects results. These news are also
published in our website or social networks.
7.5 Prizes and international Recognition
INESC-ID researchers were awarded the following prizes recognizing the excellence of
the R&D activities developed:
R Honorable Mention to the PhD Dissertation “Recovering
Capitalization and Punctuation Marks on Speech
Transcriptions”, PhD Dissertation contest, PROPOR 2012,
April 2012, Fernando Batista, Nuno Mamede;
R Best Poster Award @ APBC 2012 “Time-coherent triclustering: mining local transcriptional patterns in multiple expression time series”, Tenth Asia-Pacific Bioinformatics
Conference (APBC 2012), Jan. 2012, Joana P. Gonçalves
and Sara C. Madeira;
R Best paper nomination for: The illusion of robotic life: principles and practices of animation for robots. in Human Robot Interaction Conference, HRI 2012, T. Ribeiro and
A. Paiva;
R
Best paper award for paper: Socially Present Board Game Opponents, in International
Conference on Advances in Computer Entertainment 2012, A. Pereira, R. Prada and
A. Paiva;
R
2nd Best Demo Award at IberSPEECH 2012 Demo Session.VITHEA: On-line word naming therapy in Portuguese for aphasic patients exploiting automatic speech recognition, Spain, Madrid, Nov 2012, Annamaria Pompili , Pedro Fialho, Alberto Abad;
R Best paper at ACM/IFIP/Usenix International Middleware Conference (Middleware
2007), Sep. 2012, Springer, Unifying Thread-Level Speculation and Transactional
Memory. Srpringer, ACM/IFIP/Usenix Middleware 2012, João Barreto, Aleksandar
Dragojevic, Paulo Ferreira, Ricardo Filipe, Rachid Guerraoui.
31
INESC-ID
ANNUAL
REPORT
2012
In 2012 internal prizes were given. The commission nominated to this purpose is the
INESC-ID AdvisoryBoard, composed by Profs. Franco Maloberti (Univ. Pavia, Italy),
Srinivas Devadas (MIT, USA), Morris Sloman (Imperial College, London, UK), and Carlos
Princípe (Univ. Flórida, USA).
The comission selected for the Best PhD Student Award Joana Gonçalves,
for the Best Young Researcher Luís Veiga, and, for the Best Senior
Researcher Prof. Luís Rodrigues.
The Institute of Electrical and Electronics Engineers, IEEE, appointed Prof.
Luís Miguel Silveira as a Fellow of this prestigious institution. Quoting
the certificate of appointment, the award was attributed to Luís Miguel
Silveira “for contributions to analysis and modeling of VLSI interconnects”.
32
7.6 Exhibitions
In 2012 the effort to improve the external image of the institution continued. INESC-ID
has organized and participated in several events of high visibility, such as:
R Open Infrastrutures forum, an event co-organized with FCT and promoted by the
Information and Decision Support Sustems research unit and envolving several external invited speakers. This event occurred in Fundação D. Pedro IV in December 10th;
R1st INESC-ID Open Day, with special visits and demos to our laboratories. This was a
wide public attendance event, with the participation of several companies and with
the effort of all the institution. Demos of several research projects were presented, in
both campues of Alameda and Taguspark. INESC-ID startups also participated opening their workplaces to the visitors. A successful event which will certainly be repeated in the future.
These events/exhibitions allow not only a closer relation between INESC-ID and other scientific organizations, but also an important promotion of our activities near the general
public and companies. These activities help to strength important connections in order to
improve technology transference.
Besides the high impact exhibitions, INESC-ID also promoted external visits, mostly from
other organizations and groups of external researchers or students from abroad.
33
HIGHLIGHTS
8 HIGHLIGHTS
8.1 Qualcomm
INESC-ID has signed a research contract with Qualcomm, one of the
largest American companies in the area of circuits, devices and systems for wireless communication.
Under this contract, INESC-ID undertakes to develop techniques for
the implementation of more efficient circuits for digital signal processing, to be used in wireless communication systems.
The design of INESC-ID in the area of automatic generation of optimized architectures for signal processing, in particular by maximizing
the sharing of terms during the computation, allows for the reduction
of close to 30% of silicon area, and a similar level of savings terms of
the power consumed by the circuit. These savings are obtained on top of the circuits synthesized by state-of-the-art silicon compilers, which are not able to take advantage of
high-level features of these designs.
Qualcomm is a leader in mobile, including fourth generation 4G through technology Long
Term Evolution, LTE. Under this new standard, much of the complexity of the system is in
digital signal processing, hence the importance of the collaboration with INESC-ID in this
area.
35
INESC-ID
ANNUAL
REPORT
2012
8.2 Galeno
Project GALENO aims at modeling and control for personalized drug administration, with
emphasis on general anesthesia. This project is coordinated by Faculdade de Ciências
da Universidade do Porto and, in addition to INESC-ID, participants include Centro
Hospitalar do Porto (previously Hospital Geral de Santo António), Hospital Pedro Hispano
(Matosinhos) and Instituto de Ciências Agrárias e Agro-Alimentares do Porto. INESC-ID
participates through the Group Control of Dynamic Systems, with the researchers João
Miranda Lemos and Bertinho Costa and the research grant holders Daniela Caiado and
Ana Coito.
General anesthesia comprises three main components, namely neuromuscular blockade (NMB) to prevent involuntary patient movements (areflexia), the loss of the patient self-consciousness (hypnosis) and the insensitivity to noxious stimuli or “pain” (analgesia). A number of commercial
measurement systems are currently available, either for neuromuscular
blockade or for hypnosis. Together with computer controlled drug perfusion syringes (to administrate, for instance, atracurium or rocuronium for
NMB, and propofol for hypnosis), that constitute actuators, it is therefore
possible to implement feedback control systems for anesthesia. The control and supervision algorithms, as well as the interface with the anesthetist that monitors the full process, are embedded in a computer that reads
sensor measures and yields the required commands to the drug perfusion
syringes through USB connections. Since the system is very slow (with
sampling intervals of 20 second for NMB and 5 second for hypnosis) the
anesthetist may ensure the safety of the whole process and easily act to
perform in manual mode any actions that are required.
The participation in the project capitalizes INESC-ID know-how in areas such as system
modeling and identification, parameter estimation in dynamic models and controller design for dynamic systems that rely on different types of techniques. Among other tasks,
INESC-ID has been cooperating in the developing of dynamical models of neuromuscular
blockade level and of hypnosis measured through the BIS index measured by commercial
biomedical equipment. Furthermore, INESC-ID successfully developed robust control
algorithms that are able to compute the drug doses required to keep these levels close
to the desired levels, even when facing high uncertainty in the knowledge of the patient
model (that in general characterizes biomedical systems). The new algorithms for the
tasks described above are incorporated in the HIPOCRATES system for anesthesia control, to which INESC-ID provided several contributions that consist not only of the previously mentioned algorithms, but also of the overall system structure definition and of the
software development for the interfaces with measure equipment and drug perfusion
syringes.
36
The GALENO project comes in the sequence of the participation in previous projects and
research activities in the area of anesthesia, including the co-supervision of a Ph. D. student and the coordination of project IDEA, financed by FCT, and where the Group SIPS
(that, together with the Group Control of Dynamic Systems, also integrates the Line of
Action on Embedded Electronic Systems). Project GALENO was financed by FCT in the
main scientific area of Health Sciences – Biomaterials and Biomedical Engineering, with a
total of 189 k€. INESC-ID participation was financed with a total of 46 k€, to be completely executed until the end of the project, in September 2013.
8.3 DIRHA
The DIRHA (Distant-speech Interaction for Robust Home
Applications) project addresses the challenge of natural spontaneous speech interaction with distant microphones in a home
environment. The main fields on which research is conducted, and
for which suitable solutions will be identified and embedded in real-time prototypes, are: multichannel acoustic processing, distant
speech recognition and understanding, speaker identification/
verification, and spoken dialogue management. The project also
aims to investigate the use of a new type of acquisition device
consisting of MEMS (Micro Electrical-Mechanical System) digital
microphone arrays. The project addresses four languages: Italian,
Greek, Portuguese and German.
The L2F team of INESC-ID contributes to several scientific and
technological aspects of the project, including audio segmentation and classification, speech enhancement, robust speech recognition for Portuguese and robust distant speaker identification.
Target application and users. The targeted application includes
voice-enabled interaction with appliances and other automatic
services available in a household. For some individuals (e.g. motor
impaired), being able to interact at four-five meters from microphones in a crowded room, with music playing, and other possible
active sound sources is a strong immediate requirement, which is
the main reason for addressing firstly this category of users under the DIRHA project. It is
foreseen that the most advanced technologies resulting from the project will be integrated in a real-time prototype installed in automated homes, and daily used by the end-users
for evaluation purposes.
37
INESC-ID
ANNUAL
REPORT
2012
Objectives and Innovation. One of the most challenging and innovative aspects of the
project is the development of an “always listening” distant speech interaction system, robust to speaker position, even in a noisy and reverberant environment and eventually in
a multi-speaker context. Many other projects have recently addressed this concept and
tried to realize some early solutions. However, DIRHA will investigate on novel techniques
which allow the realization of distant-speech interaction in a multi-room environment and
possibly with multiple users.
Results. The DIRHA project aims both to make advances at research level in the given scientific fields and to progress at technological level, with the development of a proof-ofconcept system which can represent the starting point for a next exploitation action to
be addressed by the involved industrial partners. Research activities will also include the
creation of experimental tasks and corpora which will enable initiatives of dissemination
and benchmarking at international level. As for the final prototype, it will run based on
microphone devices installed in different rooms in order to monitor selectively acoustic
and speech activities observable inside any space of the household.
Project Information. DIRHA is funded by the European Commission under the FP7 program with 3.5 Million Euro. The DIRHA consortium is coordinated by the Fondazione
Bruno Kessler (Italy), and brings together 4 research teams and 3 companies. The research
participants are: Fondazione Bruno Kessler (Italy), Athena Research and Innovation
Center in Information Communication & Knowledge Technologies (Greece), INESC ID Instituto de Engenharia de Sistemas e Computatores, Investigação e Desenvolvimento
em Lisboa (Portugal) and Technische Universität Graz (Austria). The industrial partners
are: DomoticArea S.r.l (Italy), NewAmuser S.r.l. (Italy), and ST Microelectronics S.r.l. (Italy).
38
8.4 eMote
Significant work has been devoted to the design of artificial tutors with human capabilities with the aim of helping increase the efficiency achieved with a human instructor. Yet,
these systems still lack the personal, empathic and human elements that characterise
a traditional teacher and fail to engage and motivate students in the same way a human
teacher does. Empathy and engagement, abilities that are key to influence students’
learning, are often forgotten when such learning systems are created.
The EMOTE (EMbOdied-perceptive Tutors for Empathy-based learning) project will design, develop and evaluate a new generation of artificial embodied tutors that have perceptive capabilities to engage in empathic interactions with learners in a shared physical
space. Overall, the EMOTE project aims to (1) research the role of pedagogical and empathic interventions in the process of engaging the learner and allowing their learning
progress and (2) explore if and how the exchange of socio-emotional cues with an embodied tutor in a shared physical space can create a sense of connection and social bonding
and act as a facilitator of the learning experience. This will be done across different embodiments (both virtual and robotic), allowing for the effect that such embodiment will
have on engagement and empathy to be explored. Further, the project will support the
migration of the artificial tutors
across different embodiments,
to support students’ learning in
both formal and informal settings. To ground the research in
a concrete classroom scenario,
the EMOTE project will develop
a showcase in the area of geography, focusing on environmental
issues.
EMOTE will adopt a learner-centric approach, applied to the design of curriculum-driven
learning scenarios, where personalised and pedagogically sound learning strategies will
be employed by the tutor in order to successfully adapt to the learner’s engagement and
progress in the learning task. Further, to ground the research in a concrete classroom scenario, the EMOTE project will develop a showcase in the area of geography, focusing on
the processes associated with the dynamically changing world, such as the greenhouse
effect, acid rain, and global warming. Indeed, a variety of teaching strategies are used
nowadays to foster learning in a changing society, in particular in areas such as sustainable living. These areas require learners to have a capability of deep understanding of
physical processes, ways to shift perception, taking perceptive of different stakeholders, and empathising with different populations and points of view.
In order to achieve these objectives, EMOTE will integrate interdisciplinary research on
affect recognition, learner models, adaptive behaviour and embodiment for human-robot interaction in learning environments, grounded in psychological theories of emotion
in social interaction and pedagogical models for learning facilitation.
39
INESC-ID
ANNUAL
REPORT
2012
The team at INESC-ID is composed by researchers from GAIPS
(Intelligent Agents and Synthetic Characters Group) lead by Prof.
Ana Paiva. The other partners in this consortium are: University of
Birmingham (UK), Heriot-Watt University (UK), Jacobs University
Breemen (Germany), Goeteborgs Universitet (Sweden) and YDreams
Robotics (Portugal).
8.5 FastFix
FastFix (Monitoring Control for Remote Software Maintenance) is
an open-source platform for remote software maintenance (www.
sourceforge.net/p/fastfix-rsm). This platform is the result of a
33 month long, €3.5M european research project financed by the
European Union’s Seventh Framework Programme in which INESC
ID Lisboa’s Distributed Systems Group (DSG) took part.
FastFix’s motivation was the need to aid software maintenance
teams in the task of supporting applications that are deployed on
client devices at remote locations. These applications, inspite of
pre-deployment tests, will suffer from software errors that require
intervention. The overall goal of the FastFix project is to provide
software developers with a maintenance environment that combines time efficiency with low cost and high precision.
The FastFix platform architecture. FastFix remotely monitors Java programs so as to
simplify error correction. The FastFix system allows for the collection of error reports
with higher precision and privacy. The system, once installed on a program in a client
computer monitors the device and the application in order to gather information that
may help solve any software problem that may arise. This information is relayed to the
FastFix server and the application’s maintenance team. At the server, all information is
stored and correlated to detect frequent erroneous workflows.
40
FastFix also performs the automatic disabling of faulty program features. When a user
interaction with a program causes an error, this is reported to the FastFix server which
creates a patch for the program which is sent to the client in order to inhibit the faulty
interaction.
FastFix allows for the detailed replication, by the maintenance team, of reported errors.
This is the aspect where the DSG team focused their effort. It is known that developers
often cannot reproduce the error situations observed by remote users. FastFix provides
a mechanism for the precise replication of errors observed by users with the additional
benefit of defending the users’ privacy by minimizing the amount of private information
that is leaked out of the client’s device.
Several techniques developed for FastFix in the domains of fault replication, patch generation and error correlation are new. Particularly, the inclusion of these mechanism in an
integrated platform where these features can cooperate and be extended is a significant
contribution for the software maintenance community. In addition to the open-source
dissemination of the platform’s code, the FastFix consortium published 31 international
papers and publicized the project’s results at multiple scientific and industrial fora. The
industrial partners have integrated FastFix components in their software tools such as
software security monitoring and error reporting in industrial manufacturing, and will
continue to use FastFix tools and know-how in the upcoming years.
The FastFix project’s consortium included INESC-ID’s Distributed Systems Group (www.
gsd.inesc-id.pt) as well as partners from TUM (wwwbruegge.in.tum.de, Germany), LERO
(www.lero.ie,Ireland), TXT (www.txtgroup.com, Italy), ProDevelop (www.prodevelop.es,
Spain) and S2Grupo (www.s2grupo.es, Spain).
41
RESEARCH
UNITS
9 RESEARCH UNITS
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, integration, deployment, and operation of distributed
information systems and enterprise architectures. It gathers the INESCID groups that perform research in the fundamental areas of knowledge
required to assure efficient, intelligent, aligned, safe, reliable, secure, and
trustworthy information systems to support the whole structure of the
modern economic and social framework. In this context, INESC-ID gathers
a body of competences 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 software engineering
and web application development.
Domains of activity:
R Constraint solving and optimization algorithms (Boolean satisfiability
R
R
R
R
R
R
R
R
R
and discrete optimization algorithms);
Databases: data profiling and cleaning, transformation and integration;
Text mining: information extraction, sentiment analysis;
Information retrieval;
Knowledge management and engineering;
Linked data and semantic web technologies;
Scientific data management and digital libraries;
Computational biology, systems biology and bioinformatics;
Health Informatics;
Social Computing;
The team has a diverse set of backgrounds/competencies:
R Algorithms and complexity;
R Machine learning and data mining;
RStatistics;
R Software engineering: requirements engineering, model-driven engineering;
R Enterprise engineering;
R IT projects and services management;
R Corpus linguistics.
43
INESC-ID
ANNUAL
REPORT
2012
9.2 Interactive Intelligent Systems
This research unit was recently 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
R
R
R
R
R
44
by using interfaces based on synergic recognition of multiple
modalities;
create intelligent agents and synthetic characters that can interact with users in a natural way, inspired in the way humans
interact with each other;
bridge the gap between natural spoken language and the underlying semantic information;
create and develop new architectures of cooperative virtual
environments using artificial intelligence techniques to create
realistic synthetic characters;
develop software architectures for virtual environments, with
emphasis on image synthesis algorithms;
develop innovative applications in areas such as games and
learning environments.
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 activity on new algorithms, architectures, methodologies, tools,
electronic and microelectronic 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 highest international standards.
The EES main targets are to produce highly trained human resources, to
establish international networking, and to push research economic value,
promoting the global competiveness of the existing industry or the creation of new start-up companies.
9.4 Computing Systems and Comunication Networks
The Computing Systems and Communication Networks research line
(Sistemas Computacionais e Redes de Comunicação) integrates the following research groups: Distributed Systems, Communication Networks
and Mobility, Software Engineering.
Thus, this research line aims at providing innovative algorithmic, middleware, communications 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 computing 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 fundamental technology, techniques, protocols, architectures and algorithms.
45
ANEXES
10 Anexes
10.1 Research Projects
Title: CPIT – Consulting and development in
the ProjectIT context
Title: LIREC: LIving with Robots and
InteractivE Companions
Financed by: Multiple entities
Financed by: FP7
Coordinator from INESC-ID: Alberto Silva
Coordinator from INESC-ID: Ana Paiva
Summary: ProjectIT initiative has been producing several scientific results, which are
being applied in real software development
projects in connection with different software houses and companies. The purpose
of this project is to participate in consulting
and training activities, where these research
achievements are applied and validated.
Summary: LIREC aims to establish a multi-faceted theory of artificial long-term companions (including memory, emotions, cognition,
communication, learning, etc.), embody this
theory in robust and innovative technology
and experimentally verify both the theory and
technology in real social environments.
.................................................................
Title: EURO-NF: Anticipating the Network of
the Future - From Theory to Design
Financed by: FP7
Coordinator from INESC-ID: Augusto Casaca
Summary: Euro-NF will therefore cover the
integration of a wide range of European research capacities, including researchers and
research and dissemination activities. As such
Euro-NF will continue to develop as a prominent European center of excellence in Future
networks design and engineering, acting as
a “Collective Intelligence Think Tank”, representing a major support for the European
Society leading towards a European leadership in this area.
LIREC will advance understanding of the concepts of embodiment, autobiographic memory and social interactions in the context of
companions where the ‘mind’ might migrate to
differently embodied ‘bodies’.
.................................................................
Title: MIA-VITTA: Mitigate and assess risk
from volcanic impact on terrain and human
activities
Financed by: FP7
Coordinator from INESC-ID:
Teresa Vazão Vasques
Summary: The MIAVITTA project aims at developing tools and integrated cost effective
methodologies to mitigate risks from various
hazards on active volcanoes (prevention, crisis management and recovering). Such methodology will be designed for ICPCs contexts
but will be helpful for European stakeholders
47
INESC-ID
ANNUAL
REPORT
2012
to improve their experience in volcanic risk
management. The project multidisciplinary
team gathers civil defence agencies, scientific
teams (earthsciences, social sciences, building, soil, agriculture, Information Technologies
and telecommunications) and an IT private
company.
.................................................................
Title: Sideworks
Financed by: QREN
Coordinator from INESC-ID: several groups
involved
Summary: The main objectives of this project/
task is the hardware implementation of an
algorithm for biological sequence alignment
(DNA, RNA or amino acids). A dedicate architecture based on the SideWorks template
should be developed. This architecture should
be special tailored to the most intensive tasks
of the select alignment algorithm. The remaining and less intensive tasks of the sequence
alignment algorithm should be executed on
the FireWorks embedded processor.
.................................................................
Title: SE2A: Nanoelectronics for Safe,
Fuel Efficient and Environment Friendly
Automotive Solutions
Financed by: EC/FCT
Coordinator from INESC-ID: Leonel Sousa
48
Summary: The main objective of this project,
in what respects the participation of INESCID SiPS group in SE2A, is to design and implement an instrument electronics unit able
to simultaneously acquire signals from a set
of sensors required to implement an Inertial
Navigation System (INS).
Title: Multicon - Architectural Optimization
of DSP Systems with Multiple Constants
Multiplications
Financed by: FCT
Coordinator from INESC-ID: Paulo Flores
Summary: The main goal of this research
project is the development of new models
and algorithms for optimization of Multiple
Constant Multiplications (MCM) architectures. As an outcome of the research project,
a set of tools, adequate for integration in a
typical design flow and incorporating the developed optimization algorithms for specific
architectures, will be made available as open
software in a public webpage of the project.
.................................................................
Title: REAP.PT: Computer Aided Language
Learning - Reading Practice
Financed by: FCT
Coordinator from INESC-ID: Nuno Mamede
Summary: In order to enable students to learn
to read another language, a good tutoring
system should give them much opportunity for practice and make the experience as
engaging and personalized as possible. The
REAP.PT system is being designed to complement teacher time by giving the student
documents to read and questions about new
words they have seen in the documents. It
will personalize the work by choosing texts in
Portuguese that are at the reading level of the
individual student, presenting words that that
student needs to learn and having documents
on subjects that the student is interested in.
Questions will be automatically generated
about the meaning of the words that the student saw in a document and reports will be given to the student and to their teacher
Title: PT-STAR: Speech Translation
Advanced Research to and from Portuguese
Financed by: FCT
Maria Luísa Coheur
Summary: Within this project, several problems are envisaged, such as spontaneous
speech translation – for which the performance of the automatic speech recognizer
component seriously degrades – and voice
conversion – which allows the synthesized
speech to retain the characteristics of the
original voice. Moreover, several major problems in statistical machine translation are addressed, as for instance the study of different
methods to automatically extract bilingual
lexicon from non-aligned parallel corpora and
to update the translation model. Finally, PTSTAR targets the implementation of a proof
of concept prototype.
.................................................................
Title: BioHypo: Confronting the clinical relevance of biocide induced antibiotic resistance
Financed by: FP7
Ana Teresa Freitas
elements, and screening for their molecular
epidemiology and metagenomics will be accompanied by methodological innovation for
testing, risk evaluation and registration of
biocides. Altogether BIOHYPO aims to provide solid data and analysis to direct future
issuing of guidelines for safe environmental,
medical and industrial use of biocides.
.................................................................
Title: SFERA: Solar Facilities for the
European Research Area
Financed by: FP7
João Miranda Lemos
Summary: The purpose of this project is to integrate, coordinate and further focus scientific collaboration among the leading European
research institutions in solar concentrating
Systems. To define and validate new methodologies for comparative durability testes
by accelerated aging of selected CSP components. Improve the capacities of the installations to allow for: - tunable levels of flux by
adaptive control of shutters -flexible temperature control of test bed to create thermal
gradients at samples -transient heating and
cooling to adjust for thermal cycles - quick flux
cycles for thermal shock investigations.
.................................................................
Summary: The overarching question which
BIOHYPO is aimed to address is: has the use of
biocides contributed to the development and
spread of clinically significant antibiotic resistance in human pathogens? Core of BIOHYPO
are a high throughput screening approach on
collections of thousands of well characterized
microorganisms and an interactive web based
data analysis platform. Phenotypic screening
for reduced susceptibility to biocides, detection of novel resistance genes and mobile
Title: Impact: Innovations in MOS Parametric
Amplification Circuit Technology
Financed by: FCT
Coordinator from INESC-ID: Jorge Fernandes
Summary: 1) Design of a high-speed ADC fully based on Parametric Amplification (PA)
– Members of the research team of this proj-
49
INESC-ID
ANNUAL
REPORT
2012
ect have proposed novel, power-and-area efficient basic building blocks based on the PA
principle (e.g. comparators, multiply-by-two
amplifiers and multiplying digital-to-analog
converters). These circuits have so far been
considered at theoretical level and some simulation results have been published. In this
project new building-blocks will be developed
in which PA is combined with open-loop structures (basic source-followers), so operational
amplifiers (opams) are not required. These
blocks will be used to design, fabricate and
test a silicon demonstrator of an 8-bit 120
MS/s 2-channel time-interleaved pipeline
ADC fully based on PA.
Title: ARGUS: Activity recognition and object tracking based on multiple models
Financed by: FCT
João Miranda Lemos
Summary: Development and test of algorithms for activity recognition and object
tracking based on multiple models
.................................................................
Title: ARIA: Ambient -assisted Reading
Interfaces fot the Ageing-society
.................................................................
Financed by: FCT
Title: Cloud-TM: A Novel Programming
Paradigm for Cloud Computing
António Serralheiro
Financed by: FP7
Coordinator from INESC-ID: Paolo Romano
Summary: This project aims at designing,
building, and evaluating an innovative middleware platform for service implementation
of Cloud based services: Cloud-TM (CloudTransactional Memory) .Cloud-TM offers a
simple and intuitive programmig model for
large scale distributed applications that integrates the familiar notion of atomic transaction as a first-class programming language
construct, sparing programmers from the
burden of implementing low level, error-prone
mechanisms (e.g locking, persistence and
fault-tolerance) and permiting major reductions in the time and costs of the development
process. Cloud-TM will embed a set of atomatic mechanisms to simplify service monitoring
and administration, a major source of costs in
dynamic and eslatic environments such as the
cloud.
50
.................................................................
Summary: The ARIA project aims at defining a
framework for assisted reading, particularly
targeted for elderly comunities. It envisages
a broad and active perspective of reading,
where annotation and group communication
tasks complement and build upon the main
reading activity, taking advantage of a digital
proactive medium. It adresses elderly individuals throught the adoption of an assisted and
adpative stance that adapts document content navigation, presentation and interaction.
.................................................................
Title: HIVCONTROL: Control based on dynamic modeling of HIV-1 infection for therapy design
Title: MIVIS: Modelação Procedimental de
Superficies Implícitas para Visualização
Financed by: FCT
Financed by: FCT
Coordinator from INESC-ID: Joaquim Jorge
Susana Martins
Summary: Immunology is increasingly
recognized as a major field in the area of
Biomedicine. Establishing efficient therapeutics for infectious diseases is a major problem of the human society. In particular, this is
illustrated by the emergence of the Acquired
Immune Deficiency Syndrome (AIDS), which
raised new problems and concerns worldwide. Controlling this type of diseases has
thus a significant socio-economical impact.
Furthermore it also raises challenging problems that only an interdisciplinary approach
can tackle. In this respect a systems’ approach
is attracting more and more attention in recent years and forms a global framework for
this proposal. The aim of this project consists
of designing personalized therapy strategies
to control HIV-1 infection using model based
nonlinear control and estimation techniques.
Summary: The main objective of this project is
to improve on current sketch-based modelling
research to create more complex and detailed
models than is currently possible. The project
will use a combination of implicit surfaces
and polygonal representations with real time
direct manipulation for free form procedural
modelling and rendering operations.
.................................................................
Title: REFLECT: Rendering FPGAs to MultiCore Embedded Computing
Financed by: FP7
Coordinator from INESC-ID: Pedro Diniz
Summary: This project will develop, implement and evaluate a novel compilation and
synthesis system approach for FPGA-based
platforms.
.................................................................
.................................................................
Title: Aquanet: Decentralised and reconfigurable control for water delivery multipurpose canal systems
Title: RuLAM: Running Legacy Applications
on Multicores
Financed by: FCT
Financed by: FCT
João Miranda Lemos
Coordinator from INESC-ID: João Cachopo
Summary: Design and test of algorithms for
decentralised and reconfigurable control for
water delivery multipurpose canal systems.
Summary: In this project we build on the work
done in the area of automatic parallelization, and extend it with the new and promising advances made in the area of Software
Transactional Memory (STM).
.................................................................
.................................................................
51
INESC-ID
ANNUAL
REPORT
2012
Title: Alberti-Digital: Tradição e inovação na
teoria e prática da arquitectura em Portugal
Title: MPSat: Multi-Packet Detection
Techniques for Satellite
Financed by: FCT
Financed by: FCT
Coordinator from INESC-ID: Joaquim Jorge
Coordinator from INESC-ID: Augusto Casaca
Summary: This research project is both, a
celebration and innovation. A celebration in
order to celebrate the order given by D João
III, in XVI mid-century , to André de Resende
to translate into Portuguese the - de re aedificatoria- Leon Battista Alberti. An innovation
in order to produce for the 1st time, an intelligent computing environment to understand
the cultural impact of this treatise on classical
architecture.
Summary: Development Multi-Packet
Detection Techniques for Satellite Networks
.................................................................
Title: 3DORUS: 3D Object Retrieval using
Sketches
Financed by: FCT
Coordinator from INESC-ID: Manuel Fonseca
Title: Galeno: Modeling and Control for personalized drug administration
Financed by: FCT
João Miranda Lemos
Summary: This project aims at designing personalized drug administration system using
Modeling, Estimation, Control and Advisory
methods. The approach proposed in this project consists on the online estimation of the
parameter models starting from a tailored a
prior distribution developed also within this
project by novel methodology and refining
these estimates using effect measurements,
in the presence of perturbations and sensor
noise.
.................................................................
52
Summary: The main goal of this project is to
develop novel multimedia information retrieval mechanisms, to replace the current
non-natural and ill-suited methods for retrieving 3D objects.
We will do this by developing novel algorithms
to simplify, analyze and describe the content of three-dimensional objects, based on
new techniques for partial structure-driven
matching of three-dimensional models.
.................................................................
Title: PNEUMOPATH: A comprehensive dissection of pneumococcal-host interactions
Financed by: FP7
Coordinator from INESC-ID: Susana Martins
Summary: Transmission of Streptococcus
pneumoniae to a new host can result in clearance, asymptomatic colonisation or progress
to invasive disease. To date, study of infection has tended to be a reductionist approach,
considering the contribution of each virulence
factor or host factor in isolation.
Title: CRUSh - Clip-art Retrieval using
Sketches
Title: Prosopon: Partilha de Ciclos de CPU
para Identificação e Indexação Facial em
Multimédia
Financed by: FCT
Financed by: FCT
Manuel João Fonseca
Summary: In this project we want to develop
a new approach to retrieve clip-arts, independently of their format (raster images or
vector drawings), that will combine the potentialities from image and drawing analysis
techniques.
.................................................................
Title: microEGo: Did you ask for something
small? The microRNAs power in a Eucalyptus
tension world!
Coordinator from INESC-ID: Luís Veiga
Summary: PROSOPON will support users’
contributions to guide the process of face
classification. The peer-to-peer infra-structure will be used with an additional overlay for
distributed fault-tolerant storage of the video library and the index that results from the
face indexing process. This additional overlay
index will have a multidimensional structure
according to the parameters used in the face
identification phase (e.g. eigenfaces/eigenfeatures) and will be used to efficiently execute queries on the indexed library.
Financed by: FCT
Ana Teresa Freitas
Summary: In this project we will identify and
characterize E. globulus miRNA´s involved in
the regulation mechanisms of wood formation and their target genes, using as a model
the tension wood forming tissues. The long
term aims is to use this information to devise
new ways to control the quality of wood produced by E. globulus and to provide the breeding programs with tools to direct their work to
the selection /production of genotypes with
desired wood qualities.
.................................................................
Title: RepComp: Replicação de Componentes
para Melhoria de Desempenho ou Fiabilidade
em Sistemas Multicore
Financed by: FCT
Coordinator from INESC-ID: Luís Veiga
Summary: In this project, we propose a complementary approach that can be used by both
applications that include multiple threads and
by applications that include a single thread.
The main insight for our approach is that applications almost always resort on a set of
components with standard interfaces -e.g.
data structures, algorithms, etc.
.................................................................
53
INESC-ID
ANNUAL
REPORT
2012
Title: PNEUMOSYS: A systems biology approach to the role of pneumococcal carbon
metabolism in colonization and invasive
disease
Financed by: FCT
Coordinator from INESC-ID: Susana Martins
.................................................................
Summary: The ultimate GOAL of this project is to develop a multi-level mathematical
model that can predict factors in sugar assimilation essential to thrive in the different host
niches. However, a systematic, systems biology approach towards determining the factors
governing sugar metabolism is far from trivial.
Title: EnviGP: Improving Genetic
Programming for the Environment and Other
Applications
.................................................................
Summary: Genetic Programming (GP) is the
youngest paradigm inside the artificial intelligence research area called evolutionary
computation, and consists on the automated
learning of computer programs. In this project
we will develop and test new approaches to
the bloat and overfitting problems in GP, while
studying the relationship between the two,
and adapt GP for improved efficiency in multiclass classification problems. The achievement of these goals will ultimately produce
a powerful general-purpose tool that can be
used by practitioners of many diverse areas
of research.
Title: iExplain - Reasoning About
Unsatisfiability
Financed by: FCT
Coordinator from INESC-ID: Vasco Manquinho
Summary: In this project, a new formalism
named Weighted Boolean Optimization
(WBO) is proposed that extends the Maximum
Satisfiability (MaxSAT) problem by introducing the use of pseudo-Boolean constraints as
soft or hard constraints. Furthermore, several
algorithms to solve WBO will result from this
project.
.................................................................
Title: ParSat: Parallel Satisfiability
Algorithms and its Applications
Financed by: FCT
Coordinator from INESC-ID: Paulo Flores
54
algorithms, using parallel computing environments ( such as multicores, GPU´s, etc...) are a
promissing approach to reach this goal. Using
these new computing platforms, we plan to
explore techniques both at the algorithmic
level and at the implementation level.
Summary: Our goal in this project, is to research and develop techniques to speedup
the solution of SAT problems. Distributed SAT
Financed by: FCT
Coordinator from INESC-ID: Sara Silva
.................................................................
Title: High-Performance Computing over the
Large-Scale Internet
Financed by: FCT
Luís Eduardo Teixeira Rodrigues
Summary: This project advances the current
state of the art in platforms for Internet-wide
computation, by designing, implementing and
evaluating new mechanisms that move beyond
the traditional client-server architecture of
these platforms to support, for the first time,
scalable decentralized cooperation among
clients. This proposal addresses the key challenge of transitioning from the centralized architecture to one that is distributed and scalable. By adding communication between clients, we may remove the central server from
the communication loop, for the sake of economy and speed. Whenever possible, direct (or
delayed) exchange of data among clients may
save precious bandwidth resources from the
project’s owner. Additionally, for applications
with controlled IO requirements, inter-client
communication may speedup execution. To
support this goal, most of our work will focus
on two aspects: one is to prepare the BOINC
middleware for the change, the other is to
build on P2P computation to achieve some
guarantees in such a hostile environment.
.................................................................
Title: Cloud-TM: A Novel Programming
Paradigm for Cloud Computing
Financed by: FP7
Summary: This project aims at designing,
building, and evaluating an innovative middleware platform for service implementation
of Cloud-based services: Cloud-TM (CloudTransactional Memory). Cloud-TM offers a
simple and intuitive programming model for
large scale distributed applications that integrates the familiar notion of atomic transaction as a first-class programming language
construct, sparing programmers from the
burden of implementing low level, error-prone
mechanisms (e.g. locking, persistence and
fault-tolerance) and permitting major reductions in the time and cost of the development
process. Cloud-TM will embed a set of autonomic mechanisms to simplify service monitoring and administration, a major source of
costs in dynamic and elastic environments
such as the cloud. These mechanisms aim at
ensuring the achievement of user defined
Quality of Service levels at minimum operational costs by automating the provisioning of
resources from the cloud and self-tuning the
middleware platform to achieve optimal efficiency in the utilization of resources.
Title: FastFix - Monitoring Control for
Remote Software Maintenance
Financed by: FP7
Summary: FastFix results will include a platform and a set of open source tools to on-line
monitoring of execution envioronments, gathering semantic information on application and
user behaviour. This information is sent in real
time to support centre, taking special care
on privacy and security issues. Using event
correlation techniques, FastFix identifies failure symptoms, performance degradation or
changes in user behaviour and allow for failure
replication, patch generation and patch deployment, resulting in a self-healing software
apllication.
Main objectives are to develop (1) tools to
gather contect information on user and application, (2) a run-time with minimum impact on
application performance, (3) a secure method
to send this information to a centralized fault
analysis platform, (4) a tool to detect software failures, undesirable execution trends
and performance degradation, (5) a platform
to replicate failure conditions within a virtual machine and (6) a tool to generate change
strategies and necessary patches.
.................................................................
55
INESC-ID
ANNUAL
REPORT
2012
Title: VITHEA - Virtual Therapist for Aphasia
Treatment
Financed by: FCT
Financed by: FCT
Alberto Abad Gareta
Summary: Aphasia is a particular type of communication disorder caused by the damage
of one or more language areas of the brain
affecting various speech and language functionalities. Cerebral vascular accidents are
one of the most common causes. A frequent
syndrome among aphasia patients is the difficulty to recall names or words. Typically, word
retrieval problems can be treated through
word naming therapeutic exercises. In fact,
frequency and intensity of speech therapy is
a key factor in the recovery of lost communication functionalities. In this sense, speech
and language technology can have a relevant
contribution to the development of automatic
therapy methods. VITHEA is an on-line platform designed to act as a “virtual therapist”
for the treatment of Portuguese speaking
aphasic patients. Concretely, the system integrates automatic speech recognition technology to provide word naming exercises to
individuals with lost or reduced word naming
ability. The adopted solution is based on a
keyword spotting approach that validates
the correctness of what was said by the patient. The program provides feedback both
as a written solution and as a spoken message
produced by an animated agent using text-tospeech synthesis. The application allows the
easy addition of new therapy exercises and
provides tools for the therapists to remotely
track the recovery of the patients.
.................................................................
56
Title: Reaction - Retrieval, Extraction, and
Aggregation Computing Tecnology for
Integrating and Organizing News
Mário Jorge Costa Gaspar da Silva
Summary: We research new tools for provldlng greater automatlon In news gatherlng,
analysls, and dellvery, whlle respecting practical constralnts of news producers and consumers. We emphaslze decomposltlon of
storles Into finer’grained elements and discovery of Impllcit relations between them.
We also emphaslze the relatlonship between
news and social networks, both expllcit and
implicit, which underlle the news and slgniflcantly shape lts content, quality, and authority. Hands-on experience in the newsroom will
enable practitioners to Innovate current practice of news production and identlfy important avenues for future research in computatlonal Journallsm.
.................................................................
Title: eCUTE- Education in Cultural
Understanding, Technologically-Enhanced
Financed by: FP7
Ana Maria Severino de Almeida e Paiva
Summary: The eCUTE project aims to develop
innovative technologically-enhanced learning approaches in cultural awareness and understanding that will help overcome cultural,
ethnic and religious differences that can lead
to social stresses and sometimes outright
conflict. The technologies to be developed in
eCUTE include virtual world simulations with
intelligent interactive graphical characters
embodying models of culturally-specific behavior and interaction in scenarios developed
via a user-centered design process.
.................................................................
Title: MAIS-S - Multiagent Intelligent
Surveillance System
Financed by: FCT
Francisco António Chaves Saraiva de Melo
Summary: With the generalized use of intelligent technology, the interaction between
multiple smart devices poses interesting challenges both in terms of engineering and research. In this project, we model such complex
networks as multiagent systems where each
node corresponds to an agent. We propose
the use of decision-theoretic models - DecPOMDPs and specializations thereof - that
naturally capture the decentralized nature of
these networks in terms of local perception,
interaction/communication and local actuation.
We are interested in heterogeneous surveillance networks that include different kinds
of nodes, with different perceptual and actuation capabilities, as well as different processing power. The work will follow along two
main lines. We formalize several fundamental
problems typically found in most surveillance
systems as optimal decision-making problems (Tasks 1-2) and tackle these problems in a
principled way, proposing solutions that offer
some theoretical guarantees of performance.
On the other hand, we investigate several
practical problems faced in deploying such a
heterogeneous network (Tasks 3 and 4) and
bring the results from Tasks 1-2 into practical
use.
.................................................................
Title: SIREN - Social games for conflIct
REsolution based on natural iNteraction
Financed by: FP7
Summary: The Siren project aims to create a
new type of educational game, the conflict
resolution game, which takes advantage of
recent advances in serious games, social networks, computational intelligence and emotional modelling to create uniquely motivating
and educating games that can help shape how
children think about and handle conflictThe
software developed by the project will be able
to automatically generate conflict scenarios that fit the teaching needs of particular
groups of children with varying cultural background, maturity, and technical expertise, and
the desired learning outcomes as specified
by a teacher. This will enable the system to
be used by school teachers all over Europe,
without specific technical training. To realize
this vision, a number of advances to the state
of the art will be made throughout the various
disciplines that members of our thoroughly
multi-disciplinary consortium specialize in.
.................................................................
Title: ATTEST - AlgoriThms and Tolls for reasoning about dEpendable SysTems
Financed by: FCT
João Paulo Marques da Silva
Summary: Given the ever increasing importance of verified software, namely in safety-critical applications, the development of
provably correct verification tools is a relevant and strategic research topic. This issue
has been addressed in earlier work [22], but ex-
57
INESC-ID
ANNUAL
REPORT
2012
isting software verification tools are currently unable to certify their results. Essentiatly,
although software verification tools are
known to be extremely reliable, it is also true
that these tools have not been proved correct.
For many applications, the use of uncertified
software verification tool may represent an
acceptable compromise. However, in aplications where safety is a primary concern [e.g.,
human transportation, including avionics,
automotive, railways and shipping], certified
software verification solutions will bring added confidence to deployed software systems.
The ATTEST project will devellop a new generation of software verification tools built on
top of formally certified components. The resulting software verification tools wil provide
a much higher degree of confidence in verified
software systems.
.................................................................
Title: FalaComigo - Enhance the Cultural
Tourism through the Interaction with Virtual
Characters
Financed by: QREN
Coordinator from INESC-ID: Maria Luísa
Torres Ribeiro Marques da Silva Coheur
Summary: FalaComigo aims to develop a solution to -Enhance the Cultural Tourism through
the Interaction with Virtual Character -, by
providing a set of applications, that will be
settled in various places of touristic interest.
58
The goal of FalaComigo is, therefore, to develop a solution that helps tourists to take a different view of the monument or place of cultural interest that they are visiting, allowing
them to interact with a set of virtual characters through questions and answers, specific
for each location. Through these solutions,
FalaComigo team will provide new and compelling ways of interacting with visitors, sup-
plying a remarkable sensory experience. On
the basis of development of these solutions
we find a spoken dialogue system with speech
recognition and synthesis, 3D facial animation, spoken dialogue management systems
and question/answer technologies.
.................................................................
Title: GaLA - Game and Learning Alliance
Financed by: QREN
Summary: The GaLA motivation stems from
the acknowledgment of the potentiality of
Serious Games (SGs) for education and training need to address the challenges of the main
stakeholders of the SGs European landscape
(users, researchers,
developers/industry, educators). A foundational fault issue in this context is the fragmentation that affects the SG landscape.
GALA aims to shape the scientific community
and build a European Virtual Research Centre
(VRC) aimed at gathering, integrating, harmonizing and coordinating research on SGs and
disseminating knowledge, best practices and
tools as a reference point at an international
level. The other two key focuses of the project are (1) the support to deployment in the
actual educational and training settings and
(2) the fostering of innovation and knowledge
transfer through research-business dialogue.
The NoE organizations aim to integrate their
activities and resources in a long-term view
structuring the activities along 3 major axes:
research integration and harmonization, joint
research activities, and spreading of excellence.
.................................................................
Title: INVITE - social Identity and partNership in VIrTual Environments
Title: ADAAS - Assuring Dependability in
Architecture-based Adaptive Systems
Financed by: FCT
Financed by: FCT
Coordinator from
Fernandes Prada
INESC-ID:
Rui
Filipe
Summary: The focus of the project will be
around the notion of partnership of a human
with another human or a virtual agent in a virtual environment: the project will study how
partnership is created, maintained or broken
during an interaction supporting the realization of a particular task in a virtual environment.
The hypothesis we propose is that inclusion
of AI models that incorporate social intelligence, inspired by human behavior, in a virtual
environment will foster believability in virtual
agents within the context of partnership.
.................................................................
Title: EUTV - Adaptive Channels in Europe
Financed by: FP7
Isabel Maria Martins Trancoso
Summary: EUTV plans to perform research
and develop and deploy the best-of-class extractors for indexing and analysing the individual information modalities (text, speech,
audio, image, video) perform research on
multimodal feature fusion of the individual
extractors exploiting structural characteristics of the multimedia streams and the content domains (ie news, sport, documentaries)
and decriptions about concepts modelled into
ontologies.The EUTV framework will be based
on service-oriented architecture so to be able
to easily update extractors when better versions are available.
Summary: As software systems become increasingly central to support everyday activities, there is a critical need to improve their
dependability and optimize their performance, while reducing their development and
operational costs. This project will focus on
the provision of self-adaptability as a means
for achieving dependability in the context of
the other requirements. In particular, focusing
on the use of architectural models at run-time,
it will develop new languages, techniques and
tools for creating dynamic adaptation strategies that allow a system to automatically
respond to change and improve its behaviour
as it executes. Relative to current research in
this area, key innovative qualities of these adaptation strategies will be their analyzability
and their flexibility. The former is necessary
to establish the correctness of adaptation
strategies and ensure that they will achieve
the desired outcomes. The latter is necessary
to accommodate uncertainty in the operating
environments and changes that may occur.
.................................................................
Title: PROBCONTROL - Probabilistically
Coordinated Control with Limited
Communications
Financed by: FCT
Miguel José Simões Barão
Summary: The aim of this project is to develop
coordinated control algorithms in a probabilistic setting. We consider a system that can
59
INESC-ID
ANNUAL
REPORT
2012
be actuated by several “agents”. When this
agents have limited or no communication,
they can still do useful work. On way to deal
with the situation is to describe the behavior
of the actuating agents probabilistically, and
recast the whole problem in an information
geometric context. The work to be developed
follows this route.
.................................................................
Title: CEDAR - Collaborative Engineering
Design And Review
Financed by: FCT
Joaquim Armando Pires Jorge
Summary: Advanced Computer Graphics and
Virtual Environments has caused a digital revolution in many activities, thanks to the novel
visualization and manipulation possibilities
they provide. Ironically, engineering teams
still regard some of these systems as laborious and complex, and collaborative virtual
environments have been hindered by archaic
interfaces based on the desktop model.
Title: HELIX - Heterogeneous Multi-Core
Architecture for Biological Sequence
Analysis
Financed by: FCT
Nuno Filipe Valentim Roma
Summary: The HELIX project aims at the development of integrated and parallel hardware and software platforms targeting the
acceleration of a wide range of bioinformatic
algorithms. It exploits new Single Program
Multiple Data (SPMD) parallel processing
strategies to accelarate several algorithms
related to DNA re-sequencing. Multiple
Sequence Alignment (MSA) and gene finding.
Such approach will be suported with the development and implementation of a highly eficient and flexible programmable multi-core
parallel archictecture. In order to speedup the
execution of the most demanding computational kernels that are shared by these applications.
.................................................................
Title: PMU - High Efficiency PMU´s for SOC
CEDAR -Collaborative Engineering Design
And Review - proposes to advance the state
of the art in this field. The main idea of our research approach is to combine the power of
novel interaction paradigms with the results
from ethnographic observations of real world
engineers and their successive evaluations to
the different versions of the system.
.................................................................
60
Financed by: FCT
Marcelino Bicho dos Santos
Summary: High power conversion efficiency
at all loading conditions - through dynamic optimization of the power device driver voltage
as the load current decreases. Minimize the
internal voltage spikes - as the output current
increases, the strength of the gate driver is
dynamically controlled ensuring the reliability
of the system, without compromising the efficiency and transient resposne speed.
.................................................................
Title: SInteliGIS - Intelligent Geographic
Information Services
Title: LSDMOG - large scale distributed consistency of replicated data for MMOGS
Financed by: FCT
Financed by: FCT
Bruno Emanuel da Graça Martins
Paulo Jorge Pires Ferreira
Summary: Geographic data is ubiquitous and
highly valued, supporting research and decision-making in many fields of science and
engineering. Still, there are many open issues
in terms of the existing technology for managing and processing geographic data. The
SInteliGIS project proposes to advance the
state-of-the-art in terms of the existing geographic Web service technology, researching problems related to the integration of
information from heterogeneous sources,
particularly when this information combines
geospatial and temporal aspects or when it
is not geo-referenced in the traditional sense
of using geospatial coordinates (e.g., textual
information geo-referenced through the use
of place names or street addresses). The main
objective is to evolve the geographic Web
service specifications proposed by the ISO
and the OGC, for instance by proposing new
specifications (e.g., services for data integration and for processing textual data according to geographic criteria) or by leveraging on
non-GIS standards proposed by organizations
such as the W3C.
Summary: In the last decade Multiplayer
Online Games experienced a fast increase
in popularity, helped by the expansion of
broadband Internet access and the advances in graphic cards and processing power.
Games evolved from one-time play, small environments to Massively Multiplayer Online
Games (MMOGs)-worldwide networks with
thousands of interacting users and, ever more
often, persistent game state. Supporting this
new form of game playing presents several
challenges. First of all, high performance is
required in order to provide the highly interactive experience demanded by the players of
the game. Second, these games must scale to
an increasingly large number of users and size
of game environment. Third, it is fundamental
to provide constant availability, so users can
play whenever they want, for as long as they
would like and with as few disruptions as possible.
.................................................................
.................................................................
Title: OOBIAN - Living Knowledge
Financed by: QREN
Nuno João Neves Mamede
Summary: Construction of lexical and grammatical resources for local integration in the
mechanism that recognizes syntactic-semantic relationship on text. Integration on an indexing system.
.................................................................
61
INESC-ID
ANNUAL
REPORT
2012
Title: RC-Cloud - Resillent Computing in the
Clouds
Title: COST Action BM1006 Next Generation
Sequencing Data Analysis Network
Financed by: FCT
Financed by: COST
Miguel Nuno Dias Alves Pupo Correia
Ana Teresa Correia de Freitas
Summary: Cloud computing is a recent approach for providing computlng, network and
storage resources over the internet. Thls virtualizatlon of resources allows companies to
beneflt from scalablllty and pay-per-use priclng. However, the notion of having computing
or storage resources located In a third party’s
Infrastructure leads to concerns about security and dependabllity. These concerns prevent
many companies trom adherlng to doud computlng due to the criticality of their resources,
or at least to the risk of econamical losses.
This project alms to tackle the challenge of
Improving the security and dependability of
cloud computlng servlces using recent techniques Investlgated under designations such
as resilience. Byzantlne fault tolerance or survlvability.
Summary: Next Generation Sequencing (NGS)
is a highly parallelised approach for quickly
and economically sequencing new genomes,
re-sequencing large numbers of known genomes, or for rapidly investigating transcriptomes under different conditions. The massive data volumes being generated by these
new technologies require new data handling
and storage methods. Hence, the life science
community urgently needs new and improved
approaches to facilitate NGS data management and analysis. This COST Action unites
bioinformaticians, computer scientists and
biomedical scientists, harnessing their expertise to bring NGS data management and analysis to new levels of efficiency and integration.
Rigorous surveillance of NGS technology and
NGS-related software developments will allow the partners to generate software solutions for future NGS opportunities in a timely
manner. The Action will increase the ability of
European groups to maximally benefit from
NGS technology, and will create a nucleus for
world-wide activities to jointly address the
upcoming biomedical informatics revolution.
.................................................................
Title: TAGS - The power of the short Tools and Algorithms for next Generation
Sequencing applications
Financed by: FCT
.................................................................
Ana Teresa Correia de Freitas
Summary: This project will address the models and methods thal will be used to effectively
re-sequence genomes, taking Into account the
characterislics of the new HT5R technologies.
An integrated parallel programmlng framework will be developed In order to implement
lhe algorithms developed in this project.
62
.................................................................
Title: Educare - Visualização e modelação de
comportamentos em educação
Financed by: FCT
Daniel Jorge Viegas Gonçalves
Summary: The Educare project aims to provide educational community with a software
package that covers all aspects of educational data analysis, from students’ behaviors to
teacher strategies, walking through programs
and subjects organization. The basic idea is to
consider two main entities in the educational
context: actors (students and teachers) and
curricular units; and to deal with different
levels of abstraction for actors (individual,
working group and set of actors), and curricular units (subjects, groups of subjects and
programs). Using this conceptual framework,
will then be possible to understand the entire
educational process, and prevent and correct
problematic situations, whenever is possible.
The distinction between educare and other
software tools, resides on the fact that each
educational entity can be addressed by similar approaches, since all of them share temporality and the educational context. Indeed,
the strategy is to create a package that can be
guided by contextual information, in order to
anticipate failure situations, either from actors’ or curricular units the point of view.
.................................................................
Title: ASPEN - Answer Set Programming
with Boolean Satisfiability
Financed by: FCT
Coordinator from INESC-ID: Maria Inês
Camarate de Campos Lynce de Faria
Summary: Answer Set Programming (ASP)
is a form of declarative programming particularly suited for knowledge representation.
Enormous progress concerning the theoretical foundations of ASP have been made in
recent years, and the existence of reasonably
efficient ASP solvers has made it possible to
use it in real. Answer set solvers -solvers for
generating stable models -normally start with
grounding the program by instantiating its
variables by ground literals, thus obtaining a
propositional formula. At this stage, the use
of Boolean satisfiability (SAT) solvers plays a
key role. The ASPEN project is expected to be
a breakthrough in Answer Set Programming
by providing a flexible albeit competitive ASP
solver, which will be able to take into account
the user needs and preferences. These goals
will be achieved extending the SAT solver
which is the core of the ASP solver. Flexibility
will be achieved through providing the user
with detailed reasons for supporting either
the solutions found or the nonexistence of
solutions. The user will also be given the possibility to interact with the solver requiring
other more suitable solutions.
.................................................................
Title: Collaboratlon in the upgrade of the
Tilecal/ATLAS/LHC back end electronlc systems to the specifcations of the SLHC
Financed by: FCT
José António Soares Augusto
Summary: To collaborate on the ongoing
efforts for upgrading the Tilecal detector
electronics systems, belonging to the ATLAS
CERN/LHC experiment. The TILECA wlll
have to meet the requirements In data transfer bandwidth, radiation tolerance and processing speed, which are predicted for the
SLHC (Super Large Hadron CoIilder). Broadly
speaking, as the SLHC will afford a tenfold
increase in luminosity, those system characteristics will have to engage also In an tenfold Improvement. Besides the Institutions
signing the project proposal, the Un. of
Valencia (through the IFIC - Instituto de Físlca
Corpuscular) and one CERN Department.
.................................................................
63
INESC-ID
ANNUAL
REPORT
2012
Title: TIMBUS - Digital Preservation for
Timeless Business Processes and Services
Title: SMARTIS - Smarter Indexing and
Search Schemes
Financed by: FP7
Financed by: FCT
José Luis Brinquete Borbinha
Pável Pereira Calado
Summary: This project will adress the problem of the digital preservation of business
environments, comprimising the information,
business processes and applications
Summary: In this project, we will study, implement, and evaluate several solutions for
Information Retrieval (IR) problems, using intelligent schemes. By intelligent schemes we
mean the application of IR solutions capable
of adapting to the syntactic and semantic
characteristics of the documents being processed. Such capability has two main goals:
(1) avoid, or minimize, the need for human intervention when applying the same technique
in different contexts; and (2) allow the use of
semantic information to improve the performance of IR techniques. Besides the research
performed and the resulting knowledge acquired, we expect this project to produce a set
of tools for the processing of textual information, called the SMARTIS Toolkit. All tools in
the SMARTIS Toolkit should be automatically
adaptable to the document collections were
they are applied and have the ability to use
external information to improve retrieval results. Furthermore, the tools must be robust,
able to deal with very large amounts of data,
and be available to the community as opensource software.
.................................................................
Title: SEMIRA - Simulating the EMergent
Impact of Regulations Across cultures
Financed by: FP7
Summary: The SEMIRA project studies the
interaction between emerging normative behaviour and new regulations in different cultures and different countries. The goal is to
support the preparation of new regulations
of different government bodies. A theoretical
framework will be developed based on work
done on emerging norms on the one hand and
formal frameworks on norm enforcement.
on the other hand. Two types of agent-based
simulation tools will be developed based on it.
One tool will validate the theoretical framework with actual people. The other will do
large scale simulations based on emergent
behaviour.
.................................................................
.................................................................
Title: 6DSPACES - Superfícies interactivas
3D em larga escala
Financed by: IDE-RAM
Joaquim Armando Pires Jorge
64
Summary: This Project is about Research and
Development of large-scale interactive 3D
surfaces for public spaces using a cluster of
computers to control an immersive system
driving a synchronized array of projectors,
aroma synthesizers, sound transducers, sensors and actuators to make it possible to experience virtual environments in novel ways.
These different6 dimensions of user experience (3D projection, sounds, touch and smell)
.................................................................
Title: Synergy-VM: Uma Infra-estrutura para
os Futuros Ambientes de Execução
Financed by: FCT
Luis Manuel Antunes Veiga
Summary: In this project, we intend to research support for application development
in clusters of multi-core machine. Unlike in the
past, in these new environments, programming for a single computer or for a cluster of
computers is no longer that different, as programmers always have to deal with concurrent threads of execution.
.................................................................
Title: EURO-TM – Transactional memories:foundations, algorithms, tools and applications
Financed by: FP7
Summary: Parallel programming (PP) used to
be an area once confined to a few niches, such
as scientific and high-performance computing
applications. However, with the proliferation
of multicore processors, and the emergence
of new, inherently parallel and distributed
deployment platforms, such as those provided by cloud computing, parallel programming
has definitely become a mainstream concern.
Transactional Memories (TMs) answer the
need to find a better programming model for
PP, capable of boosting developers’ productivity and allowing ordinary programmers to
unleash the power of parallel and distributed
architectures avoiding the pitfalls of manual,
lock based synchronization. It is therefore no
surprise that TM has been subject to intense
research in the last years. This Action aims at
consolidating European research on this important field, by coordinating the European
research groups working on the development
of complementary, interdisciplinary aspects
of Transactional Memories, including theoretical foundations, algorithms, hardware and
operating system support, language integration and development tools, and applications.
.................................................................
Title: Neuroclinomics - Understanding
NEUROdegenerative diseases through
CLINical and OMICS data integration
Financed by: FCT
Sara Alexandra Cordeiro Madeira Summary: This project is an innovative approach to understanding neurodegenerative
diseases through heterogeneous data integration. Asophisticated knowledge discovery system willl integrate powerful mining
algorithms to unravel potentially relevant
links between omics and clinical data. Disease
diagnostic and prognostic markers, disease
progression rates, and patient profiles will
be tackled. Apart from the challenging goal of
studying complex diseases, developing efficient and effective integrative approaches to
biomedical data analysis is a research hot topic, not only due to the highly heterogeneity of
data but also to their massive volume.
.................................................................
65
INESC-ID
ANNUAL
REPORT
2012
Title: SCOMagNO - Frequency
Synchronization of a CMOS RF Oscillator by
a Magnetic Nano-Oscillator Based on Spin
Transfer Torque
Financed by: FCT
Manuel de Medeiros Silva
Summary: The objective is to use a high-Q nano-oscillator to synchronize by injection-locking an inductorless oscillator operating in the
GHz range.
.................................................................
Title: Wiz - Touchpoint Activator Framework
Financed by: WIZ
Paulo Jorge Pires Ferreira
Summary: O presente contrato visa formalizar a transferência de tecnologia entre o
INESC-ID - através do Grupo de Sistemas
Distribuídos - e a WIZ no âmbito das actividades de I&D da empresa, na área de desenvolvimento de soluções de sistemas distribuídos
(com ênfase em algorítmicos, cálculos estatísticos e integração de sistemas para as áreas
de marketing e publicidade bem como em testes de software).
.................................................................
66
Title: XML Data Cleaning
Financed by: FLWOR
Helena Isabel de Jesus Galhardas
Summary: The work to be developed consists
in the following items: (i) development and
dissemination in the community of a library of
XQuery data cleaning functions; (ii) design and
execution of XQuery data profiling programs
for two XML data sets, in order to identify the
existing data quality problems; (iii) design and
execution of XQuery data cleaning programs
for addressing the data quality problems identified in (ii); (iv) discussion about the adequacy
of the library of XQuery data cleaning functions for writing the programs in (ii) and (iii); (v)
identification of open problems in the XQuery
language for specifying these data cleaning
programs, such as issues related to computational performance and exception handling;
(vi) proposal of solutions for overcoming the
open problems identified in (v); and (vii) validation of these solutions.
.................................................................
Title: Biomag PLT - Platform for
Magnetoresistive Biochip Research and
Development
Financed by: INL
José António Henriques Germano
Summary: INESC-ID developed a Biochip
Reading Platform to exploit the magnetoresistive biochips developed by INESC-MN. Thls
compact autonomous systems system is capable of on-site biorecognitlons assays without the need of other Instrumentatlon. Only a
laptop Is requlred for the user Interface; biochlp drlvlng, reading and feature extraction Is
performed In the embedded system. The full
prototype conslsts on a cartridge that Includes
the interface wlth the biochip, the box with the
control electronics, and a software program
to Interface wlth the user. The platform Is
able to measure blosignals wlth an amplitude
10 times lower than state of art laboratory
equipment. The prototype system has been
successfully used for the past three years by
the INESC·MN to aid the development of new
magnetoresistive biochips, both at sensor
design and biorecognition leveI. Two new prototypes of the Biochip Reading Platform will
be built, tested and calibrated. Addltlonally,
two Enhanced Biochlp Readlng Platforms will
be developed. The new platforms wlll be used
as a tool for Biochip research and development in INESC-MN and Internatlonal Iberlan
Nanotechnology Laboratory INL).
.................................................................
Title: IMAGIC - Integrated Magnetic imAgery
based on spIntronics Components
Financed by: FP7
Moises Simões Piedade
Summary: Structures reliability, installations
safety and products quality are requirements
that industrial sectors must take into account. In transport and nuclear fields, a major
stake of people safety is associated. To take
up this challenge, industries are users of non
destructive testing (NDT) . IMAGIC aims at developing a new integrated magnetic imagery
based on high sensitive and spatial resolution
GMR and TMR array sensors. The objective
is to lead developments to the industrialization of smart systems combining technological developments (array sensor, integrated
electronic) with sophisticated treatment
tools (sensors design, flaw characterization).
IMAGIC will ensure the increase of the probe
sensitivity and spatial resolution: smaller and
more buried cracks and located in complex
zones could be detected. Magnetic probes
based on new spintronics array components
will also have important impact for biomedical and geological applications. In the current
context of sustainable development, IMAGIC
will promote the use of magnetic methods as
an alternative method to penetrant inspection, whose exploitation is threatened due to
the use of polluting products.
.................................................................
Title: I2D - Intelligence to drive (Phase I and
II)
Financed by: ITDS
José António Henriques Germano
Summary: This project aims to develop a device able of collecting, on-board of a vehicle,
a set of data that is usable for various applications: estimation of fuel consumption and
emissions, production of indicators in terms
of safety and comfort, maintenance and fault
records, or simply to obtain data for the evaluation and qualification of driving behavior. The
device processes the collected information,
stores it in flash memory and transmits it via
a bidirectional link data via mobile network
(GPRS) using IP (Internet Protocol) to a server
on the Internet.
The device is connected to the OBD port, from
which receives power supply and collects the
information available in accordance with the
standard EOBD. It also has additional sensors
to measure atmospheric pressure (altimeter),
vehicle acceleration in three axes and a GPS
receiver. The device also supports Bluetooth
and USB connectivity and it can operate autonomously in the event of loss of power supply from the OBD port.
67
INESC-ID
ANNUAL
REPORT
2012
Title: ARISTOS - Autonomic ReplicatIon of
Software TransactiOnal memorieS
Financed by: FCT
Paolo Romano
Summary: 1. Extend the conventional notion
of STM to seek a convergence with the distributed computing paradigm, and introduce
a novel programming abstraction which combines the simplicity of STMs with the scalability and failure resiliency achievable by leveraging the resource redundancy proper of large
scale cluster environments.
able inside any space, and to eventually run a
spoken dialogue session with a given user in
order to implement a service or to have access
to appliances and other devices. The multi-microphone front-end is based on the use of
arrays consisting of analog microphones or
Micro Electro-Mechanical Systems (MEMS)
digital microphones. The targeted system
analyses the given multi-space acoustic scene
in a coherent way, by processing in a parallelized fashion simultaneous activities which
occur in different rooms, and in case by supporting at the same time the interaction with
users who may speak in different areas of the
house.
.................................................................
2. Design and implement ARISTOS, an autonomic, self-optimizing distributed STM
platform. The ARISTOS platform will autonomously monitor the workload generated by
the user level applications and seek optimal
performances by transparently adapting the
mechanisms used both 1) to regulate concurrency between local transactions (i.e. at the
STM level), and 2) to detect conflicts originated by transactions executing at different
nodes (i.e. at the replication protocol level).
.................................................................
Title: DIRHA - Distant-speech Interaction for
Robust Home Applications
Financed by: FP7
Andreas Miroslaus Wichert
Summary: Traditional indexing of multimedia
data leads to dilemma. Either the number of
features has to be reduced or the quality of
the results in unsatisfactory, or approximate
queries is preformed leading to a relative error during retrieval.
Alberto Abad Gareta
The promise of the recently introduced subspace-tree is the logarithmic retrieval complexity of extremely high dimensional features. The subspace-tree indicates that the
conjecture “the curse of dimensionality” is
false.
Summary: The DIRHA project addresses the
development of voice-enabled automated
home environments based on distant-speech
interaction in different languages. A distributed microphone network is installed in the
rooms of a house in order to monitor selectively acoustic and speech activities observ-
The search in such a structure starts at the
subspace with the lowest dimension. In this
subspace, the set of all possible similar objects is determined. In the next subspace, additional metric information corresponding to
a higher dimension is used to reduce this set.
This process is then repeated. The theoreti-
Financed by: FP7
68
Title: HEIDI - HIGH Dimensional Indexing
cal estimation of temporal complexity of the
subspace tree is logarithmic for evenly distributed data. It means that depending on the
distribution of our data, we have to choose an
ideal projection into the subspaces leading to
an ideal hierarchy.
In the project we will perform experiments on
different databases, high dimensional data up
to several thousand, and of size till 1 billion
.................................................................
Title: Machimina - Metodologia e Plataforma
para Produção de Videojogos e Narrativas
Interactivas
Financed by: BeActive
Rui Filipe Fernandes Prada
Summary: The project focuses on the creation
of two tools: a structure for the game and its
history and another to define the behavior of
characters in stories.
.................................................................
Title: AVoz - Models for automatic speech
recognition for elderly
Financed by: FCT
Thomas Aurelien Pellegrini
Summary: The AVoz project aims at understanding the specifics of elderly speech in the
context of large vocabulary automatic speech
recognition. Both acoustic and language modelling will be investigated to increase ASR
performance. The project contributions will
be: - The building of an elderly speech large
corpus in Portuguese, about 50 speakers male
and female are targeted. We plan to make the
corpus available for research purposes. - A
module that automatically detects ageing altered speech, which will be a statistical classifier trained with features whose prediction
power will be investigated during the project,
- Acoustic and language model adaptation
techniques will be implemented, in order to
improve ASR performance.
.................................................................
Title: Threads - Multitask System
Framework with Transparent Hardware
Reconfiguration
Financed by: FCT
Pedro Filipe Zeferino Tomás
Summary: The project proposes the development of a framework for reconfigurable
computing systems based on the following
characteristics:
* the invocation of the reconfigurable processing units (RPUs) is completely transparent to
the programmer; he does not require to know
if a given call to a library function is executed
in the general purpose processing unit (GPPU)
or in an RPU;
* the system allows multiple tasks to share
RPUs;
* a user can download a highly optimized core
from an online RPU store and install it on the
system, just as he can install a new library in a
personal computer;
* the framework includes a set of pre-developed hardware and software interface modules that eases the development of new RPUs
by hiding the complexity to interface the remaining system (GPPU, memory, etc);
69
INESC-ID
ANNUAL
REPORT
2012
* each RPU acts as an independent processing
core able to fetch data directly from memory,
thus allowing the GPPU to continue processing other threads.
Title: NOVAGEO - niuGIS-Plataforma
Avançada para Harmonização de Informação
Geográfica
Financed by: IAPMEI
.................................................................
Title: NetDyn: Understanding real large networks, from structure to dynamics
Financed by: FCT
Alexandre Paulo Lourenço Francisco
Summary: In recent years, with the explosive
growth of real networks and structured data
sets, a new class of graphs came to light. This
kind of graphs are huge and very sparse in general, with some prevailing characteristics. The
structure of such networks is hard to describe
in general and, moreover, the structure is only
a starting point. When we think about complex networks, we should take into account
connectedness both at the level of structure
and of behavior. This means that, in addition
to tools to analyze network structure, we also
need a framework for reasoning about behavior and interaction in network contexts, where
a single event may cause subtle cause-effect
events. Although it is commonly accepted
that structure has influence on behavior, to
our knowledge little work has been done on
how dynamics influence network structure.
On the other hand, since complete observation may not be possible and tinkering with
real systems may lead to unexpected disruptions, suitable simulation models and tools
are a must. This project comes in this line of
research, with the aim of developing new models and tools for the study of large networks
structure evolution and processes dynamics.
.................................................................
70
Summary: Technical consulting support to the
project of harmonization of geographic information
.................................................................
Title: POLARIS - POLynomial hierARchy algorIthms and applicationS
Financed by: FCT
João Paulo Marques da Silva
Summary: The POLARIS project will develop
a new generation of algorithms for decision
problems complete for the polynomial-time
hierarchy, and also for PSPACE-complete decision problems. All algorithms will be based
on iterative calls to a SAT oracle, following the
CEGAR-based paradigm.
One of the main contributions will be to develop CEGAR-inspired algorithms for each
restriction of QBF and also to the general QBF
problem. Another main contribution will be to
develop dedicated algorithms for representative problems in the lower levels of the polynomial-time hierarchy.
.................................................................
Title: specSTM: Software Transactional
Memoty with Thread-Level Speculation
Support
Title: VoiceWorks
Financed by: FCT
João Paulo da Silva Neto
João Pedro Faria Mendonça Barreto
Summary: Building from our experience in
STM, specSTM project will depart from standalone STM algorithms combine them with TLS
support. Hence, specSTM will leverage STM
with the ability to automatically parallelize
each thread forked by the programmer (in the
multi-threaded TM program). More precisely,
specSTM will divide the code of the currently
active transaction at each thread into multiple tasks that will run in parallel. If no conflicts arise among the multiple tasks, then the
transaction can commit earlier. Furthermore,
specSTM can even be more optimistic and
speculative execute future transactions of a
thread, even when the current transaction in
that thread is still active. If the current transaction commits and the transaction(s) running
in out of order tasks spawned by TLS did not
perform any read that violates the corresponding thread’s program order, then further
parallelism is possible.
.................................................................
Title: TROC@S
Financed by: Fundação PT
Summary: Develop and evaluate a platform
for the communication of and with students
with autism spectrum disorders in the classroom.
.................................................................
Financed by: QREN
Summary: Technical and scientific assistance
in the project Individual RTD SI No. 5108 Distribution and Filtering Information associated with Semantic Multimedia Content.
Technical and scientific assistance in the project Individual RTD SI No. 5328 - Development
of a System to capture / processing and automatic speech transcription for meetings, public assistance and supervision.
.................................................................
Title: DreaMachine - Design of a
Reconfigurable Many-Core Architecture for
High Performance Computing
Financed by: FCT
Mário Pereira Véstias
Summary: Development and prototyping of
an adaptable/reconfigurable many-core architecture using reconfigurable processors
and an adaptable on-chip interconnection network (OCIN) for high performance computing
(HPC).
Develop a methodology to explore the design
space of the architecture. A framework will
integrate tools for architecture specification
and configuration, for hardware synthesis, for
kernel mapping and for architecture simulation.
.................................................................
71
INESC-ID
ANNUAL
REPORT
2012
Title: SUSPECT - SecUre SPEeCh
Tecnhologies
Title: CAMP - Computational Analysis of
MicroRNAs in Plants
Financed by: FCT
Financed by: FCT
Isabel Maria Martins Trancoso
Coordinator from INESC-ID: Ana Teresa
Correia de Freitas
Summary: The goal of this project is to develop privacy-preserving frameworks for
processing voice data. Processing will be performed without having access to the voice, i.e.,
access to any form of the speech that can be
analyzed to obtain information about the talker or what they spoke. Using a combination
of tools from cryptography and secure-multiparty computation we will render voice processing algorithms secure (i.e. privacy-preserving), so that the privacy of all parties is
preserved. We specifically propose to develop solutions for secure speaker verification
and keyword spotting problems. We envision
a mechanism whereby police/security agencies could obtain publicly- accepted forms of
legal sanction to look for pre-specified voices
or phrases. The privacy-preserving framework will ensure that they are only notified
when these occur, but will have no access to
the voice data itself, thus preserving citizens’
privacy. Although this proposal addresses
only speech processing techniques, the impact of this type of technique is not restricted
to this area. In fact, it may affect all types of
multimedia documents.
Summary: The objective of this project is
to develop new computational tools for the
study of miRNA-mediated gene regulation.
The methods that will be developed will focus
on plant genomes, in particular woody plants.
The reasons for this are pragmatic. First, the
biogenesis and the binding of miRNA to their
targets are different in animal and plants, and
therefore the computational methods need to
be specialised for either kingdom. Between
the two, the plant miRNA bioinformatics is
less developed and hence offers more research opportunities. Secondly, and crucially,
this project intends to complement and to
capitalise on the public investment already
made in other projects run by (part of) our
team, namely the FCT-funded GeneGLobWq
and migroEGO projects, both dedicated to
woody plants, in particular Eucalyptus species
that are of great importance for Portugal’s
economy.
.................................................................
.................................................................
Title: Cervantes - Co-VAlidatioN Tool for
Embedded Systems
Financed by: FCT
José Carlos Campos Costa
72
Summary: In this project we propose to work
at the system-level validation and produce
a tool to automatically generate input test
vectors, from a system-level description in
SystemC, that allows a user-specified coverage to be obtained. We propose also to apply
our methodology to the interaction between
a hardware part described in SystemC with
an Instruction Set Simulator which is running
the software part. Hence obtaining true hardware/software co-validation.
.................................................................
Title: PAELife - Personal Assistant to
Enhance the Social Life of the Seniors
Financed by: FCT
Summary: This project aims to develop solutions like a personal assistant to senior citizens, enhancing their independence and connection to others (family or not).
.................................................................
Title: VOCE - Voice Coach for Reduced Stress
Financed by: FCT
Hugo Daniel dos Santos Meinedo
Summary: VOCE shall develop methods and
algorithms that enable the online classification of stress from live speech with the goal
of providing feedback cues to the speaker in
real-time to improve his communication skills.
The work will focus on detecting and classifying stress in speech by leveraging advanced
signal processing and machine learning techniques, complemented with psychological
analysis of different aspects of stress perception.
.................................................................
Title: SOMER - Semantic Ontology Matching
using External Resources
Financed by: FCT
Summary: As ontologies become more prevalent and expressive, the lack of coordination that characterizes their development
results in the parallel creation of ontologies
for the same or related domains, disregarding
interoperability. Thus, there is a prominent
need to automatically match these ontologies
in order to achieve semantic interoperability, bringing us a step closer to the semantic
web vision. This need has been addressed by
several ontology matching techniques, wich
aim at “finding correspondences between
semantically related entities of different ontologies”. The most widely used techniques
are based on the comparison of the strings
of textual properties of ontology concepts,
at the element level. They can also be used in
conjunction with global similarity computation techniques, which work at the structural
level to propagate similarities over the whole
ontology, based on the relations between ontology concepts.
.................................................................
Title: POPStar - Public Opinion and
Sentiment Tracking, Analysis and Research
Financed by: FCT
Summary: POPSTAR has two main goals. The
first is to design an opinion mining system
capable of measuring, almost in real-time,
sentiments vis-à-vis parties and political actors and the economy in the contents of both
73
INESC-ID
ANNUAL
REPORT
2012
conventional web-based media (online newspapers) and the so-called social media (blogs
and micro-blogs). The second is to use the
collected data to explore and explain the relationship between trends in sentiments as expressed in the conventional media, the social
media and the public opinion polls and surveys
in Portugal.
.................................................................
Title: Qualcomm- Consulting with Qualcomm
Flarion Technologies
Financed by: QUALCOMM
José Carlos Alves Pereira Monteiro
Summary: The FlashLinQ and Lycan modems
employ FIR filters within the signal processing blocks. New techniques developed by the
ALGOS group can optimize these filters if
they use constant multiplications. These algorithms maximize the sharing of partial terms
hence yielding significant area reductions.
Initial experiments on low-pass filters within
the RL Sample Rate block in FlashLinQ showed
area reductions of approximately 24%.
INESC-ID will provide engineering services
to analyze and design alternate FIR filter
structures that will further reduce area.
Specifically, within the RL Sample Rate block
logic is shared between the I and Q paths of
the filters. INESC-ID will generate RTL code
for these alternate structures that Sponsor
can use in the RL Sample Rate blocks in order
to estimate area savings.
.................................................................
74
Title: LUP - Language Understanding
Platform
Financed by: INOV
Coordinator from INESC-ID: Maria Luísa
Torres Ribeiro Marques da Silva Coheur
Summary: Develop a natural language understanding platform that can be used in diferent
scenarios.
.................................................................
Title: CO-EVOL - Co-evolução e auto-organização da cooperação
Financed by: FCT
Francisco C. Santos
Summary: This is project aims at developing
and applying theoretical and computational
tools towards the understanding of different
evolutionary processes that recur in physical,
biological, medical, and social sciences, exhibiting common patterns and characteristics,
hence justifying a unified approach. The main
focus of our contribution can be concisely
described in terms of problems of collective
cooperative action, conflict resolution and
self-organized behavior leading to the possible emergence of division of labor. In particular, we are interested in situations in which
individual goals collide with collective endeavors.
.................................................................
Title: Class D - Monolithic Mems-Based
Hearing Aid
Financed by: FCT
Edgar Francisco Monteiro Albuquerque
Summary: Design of Mems-based hearing aid
(microphone and speaker) and corresponding
electronic circuits for signal processing and
amplification.
.................................................................
Title: EnergIST - Smart Metering System
Instituto Superior Técnico
Financed by: IST
Berend Willem Martijn Kuipers
Summary: The ENERGIST system enables the
analysis of permanent logging of real-time
instantaneous electrical consumption, which
become available at all times to all IST community, in real time, allowing one to have a
truly living laboratory with a focus to increase
the consciousness of all towards the actual
effects of good practices related to efficiency and sustainable use of resources.
.................................................................
75
INESC-ID
ANNUAL
REPORT
2012
11 Publications
11.1 Books & Books Chapters
•Valentina Presutti and H. Sofia Pinto Ed.,
• Alexandre Barão and Alberto Rodrigues da
I-SEMANTICS 2012 - 8th International
Conference on Semantic Systems,
I-SEMANTICS, no. 12, Oct 2012, ACM.
Silva, Sociotechnical Enterprise Information
Systems Design and Integration, Chapter
Applying SNARE-RCO to Evaluate the
Relational Capital of an Organization: The
SH Case Study, Dec 2012, IGI Global.
•Christian Bignami (ed) and Vittorio Bosi
(ed) and Licia Costantini (ed) and Chiara
Cristiani (ed) and Franck Lavigne (ed) and
Pierre Thierry (ed) and et al and Ricardo
Lopes Pereira and Teresa Maria Sá Ferreira
Vazão Vasques and João Trindade and
Fernando Henrique Corte Real Mira da Silva,
Handbook for Volcanic Risk Manage- ment Prevention, Crisis Management, Resilience,
Nov 2012.
• Manuel J. Fonseca and Pedro Filipe Pereira
Campos and Daniel Jorge Viegas Gonçalves,
Introdução ao Design de Interfaces, Oct
2012, FCA.
• José Alves Marques and Paulo Ferreira
and Carlos Nuno da Cruz Ribeiro and Luís
Veiga and Rodrigo Rodrigues, Sistemas
Operativos., Oct 2012, FCA - ISBN 978-972722-756-3.
• Francisco C. Santos and Jorge M. Pacheco,
76
•Fábio Manuel dos Santos Pereira and
João Barreto, Roadside Networks for
Vehicular Communications: Architectures,
Applications, and Test Fields, Chapter
User-Centric Vehicular Ad-Hoc Networks
and Roadside Units for Public Transport
Systems, Oct 2012, IGI Global.
•
Ricardo Chaves, Embedded Systems
Design with FPGAs, Chapter Compact
Clefia Implementation on FPGAs, Sep 2012,
Springer.
• Artur Caetano and Aurelio Assis and José
Manuel Nunes Salvador Tribolet, Advances
in Enterprise Information Systems II, Edited
by Charles Møller and Sohail Chaudhry,
Chapter Using DEMO to Analyse the
Consistency of Business Process Models,
Jun 2012, CRC PRESS 2012.
Behavioral dynamics under climate change
dilemmas, Chapter in The Philosophy of
Science in a European Perspective series,
Vol. 4: New Challenges to Philosophy of
Science, (eds) Andersen, Dieks, et al., Dec
2012, Springer.
•Levent Aksoy and Eduardo Costa and
•
Jânio Monteiro and Rui Cruz and
José Manuel Nunes Salvador Tribolet,
Organizational Integration of Enterprise
Systems and Resources: Advancements
and Applications, Chapter Organization
Identity: the Business Model, pags 100-116,
doi:10.4018/978-1-4666-1764-3.ch006, May
2012, IGI Global.
Charalampos Patrikakis and Nikolaos
Papaoulakis and Carlos Calafate and Mário
Serafim Nunes, Multimedia Networking and
Coding. From Capture to Display, Chapter
Peer-to-peer Video Streaming, Dec 2012, IGI
Global.
Paulo Flores and J. Monteiro, VLSI-SoC:
Advanced Research for Systems on Chip,
Chapter Multiplierless Design of Linear DSP
Transforms, Jun 2012, Springer.
•
Carlos Páscoa and Pedro Leal and
• Samuel Freitas Antão and Ricardo Chaves •João Ferreira and Alberto Rodrigues da
and Leonel Sousa, Embedded systems:
Hardware Design and Implementations,
Chapter Reconfigurable Architecture for
Cryptography over Binary Finite Fields, May
2012, John Wiley & Sons.
Silva and João L. Afonso, Computational
Intelligence and Decision Making - Trends
and Applications, Chapter Collaborative
Broker for Distributed Energy Resources,
Jan 2012, Springer Verlag.
•Carlos Pascoa and António Alves and • Maria Couceiro and Paolo Romano and Luis
Organizational Integration of Enterprise
Systems and Resources: Advancements
and Applications, Chapter EX-ANTE and
EX-POST Model applied to the Portuguese
Air Force Flying Regime, pgs 164-181,
doi:10.4018/978-1-4666-1764-3.ch010, May
2012, IGI GLobal.
• Alberto Sardinha and Ruy Milidiú, Strategic
and Pragmatic E-Business: Implications
for Future Business Practices, Chapter
Electronic Markets and Multiagent
Systems, May 2012, IGI Global.
• Nuno Miguel Silvestre Apolónia and Paulo
Ferreira and Luís Veiga, Computational
Social Networks Tools, Perspectives and
Applications (Computer Communications
and Networks series), Chapter Enhancing
Online Communities with Cycle-Sharing for
Social Networks (catalogued date), Mar
2012, Springer.
• Peterb Langerdorfer and Levente Buttyan
and Alban Hessler and Claude Castellucia
and Augusto Casaca and Evgeny Ossipov,
Critical Infrastructure Security, Chapter
Wireless Sensor Networks for Critical
Infrastructure Protection, Feb 2012, WIT
Press.
Rodrigues, European Research Activities
in Cloud Computing, Chapter Towards
Autonomic Transactional Replication for
Cloud Environments, Jan 2012, Cambridge
Scholars Publishing.
• Alexandre Barão and Alberto Rodrigues
da Silva, Handbook of Research on
Enterprise 2.0: Technological, Social, and
Organizational Dimensions, Chapter How
to value and monitor the relational capital
of knowledge-intensive organizations?, Jan
2012, IGI Global.
• Jacqueline Guzman and Regina Motz and
Alberto Rodrigues da Silva, Handbook of
Research on Enterprise 2.0: Technological,
Social, and Organizational Dimensions,
Chapter Valuing Learning Objects inside a
Community , Jan 2012, IGI Global.
•Joao P. Carvalho, Soft Computing in
Humanities and Social Sciences, Chapter
Rule Based Fuzzy Cognitive Maps in
Humanities, Social Sciences and Economics,
Jan 2012, Springer.
77
INESC-ID
ANNUAL
REPORT
2012
11.2International Journal
Articles
• Florian Letombe and Joao Marques Silva,
Hybrid Incremental Algorithms for Boolean
Satisfiability, International Journal on
Artificial Intelligence Tools, 21(6), pp. , Dec.
2012, World Scientific.
• A.J.N. Batista and Carlos Leong and Vasco
Miguel Bexiga António and A.P. Rodrigues,
A. Combo, B.B. Carvalho, J. Fortunato, M.
Correia and João Paulo Cacho Teixeira and
Isabel Maria Silva Nobre Parreira Cacho
Teixeira and J. Sousa, B. Gonçalves, C.A.F.
Varandas, ATCA/AXIe compatible board for
fast control and data acquisition in nuclear
fusion experiments, Fusion Engineering and
Design Journal, 87(12), pp. 2131-2135, Dec.
2012, Elsevier.
• J. M. Lemos and Luís Filipe Marques Pinto,
Distributed Linear-Quadratic Control of
Serially Chained Systems -- Application
to a Water Delivery Canal., IEEE Control
Systems Mag., 32(6), pp. 26-38, Dec. 2012,
IEEE.
• Marta D. Santos and Flavio L. Pinheiro and
Francisco C. Santos and Jorge M. Pacheco,
Dynamics of N-Person Snowdrift Games
in Structured Populations, Journal of
Theoretical Biology, 315(), pp. 81-86, Dec.
2012, Elsevier.
• Fernando Batista and Helena Moniz and
Isabel Trancoso and Nuno J. Mamede
and Ana Isabel Mata da Silva, Extending
Automatic Transcripts in a Unified Data
Representation towards a Prosodic-based
Metadata Annotation and Evaluation,
Journal of Speech Sciences, 2(2), Dec. 2012,
Luso-Brazilian Association of Speech
Sciences.
78
• José Simão and Carlos Nuno da Cruz Ribeiro
and Paulo Ferreira and Luís Veiga, Jano:
Location-Privacy Enforcement in Mobile
and Pervasive Environments through
Declarative Policies , Journal of Internet
Services and Applications (JISA), 3(3), pp.
291-310, Dec. 2012, Springer.
• Fernando Costa and João Nuno de Oliveira
e Silva and Luís Veiga and Paulo Ferreira,
Large-scale volunteer computing over the
Internet, Journal of Internet Services and
Applications (JISA), 3(3), pp. 329-346, Dec.
2012, Springer.
• Bruno Rodrigues de Araújo and Gery Casiez
and Martin Hachet and Joaquim Armando
Pires Jorge, Mockup Builder: 3D Modeling
On and Above the Surface, Computers and
Graphics, 37(),Dec. 2012, Elsevier.
• Valter António Louzeiro Sádio and Fabian
Rein and Christian Münker and Marcelino
Bicho dos Santos, Modeling of Inherent
Losses of Fully Integrated Switched
Capacitor DC-DC Converters, Journal of
Low Power Electronics (JOLPE), 8(5), Dec.
2012.
• Anton Belov and Joao Marques Silva,
MUSer2: An Efficient MUS Extractor,
Journal on Satisfiability, Boolean Modeling
and Computation, 8(1), pp. 123-128, Dec. 2012,
IOS Press.
• João Miguel Guerreiro Dias Alves Lourenço
and J. P. Santos, Short-term load forecasting
using a Gaussian Process Model - The influence of a derivative term in the input regressor, International Journal of Intelligent
Decision Technologies, 6(4), pp. 273-281,
Dec. 2012.
• Ricardo Ferreira and Eduardo Paz and Paulo
Freitas and João Pedro Fernandes Ribeiro
and José Germano and Leonel Sousa, 2-axis
Magnetometers Based on Full Wheatstone
Bridges Incorporating Magnetic Tunnel
Junctions Connected in Series, IEEE
Transactions on Magnetics, 48(11), pp. 41074110, Nov. 2012.
Ribeiro Fernandes and Moises Simões
Piedade and P. P. Freitas, Integration of
Magnetoresistive Biochips on a CMOS circuit, IEEE Transactions on Magnetics, 48(11),
pp. 3784-3787, Nov. 2012.
• Andrej Jerman Blažič and Cláudia RIbeiro
and João Fernandes and João António
Madeiras Pereira and Tanja Arh, Analysing
the Required Properties of Business
Simulation Games to Be Used in E-Learning
and Education, Intelligent Information
Management (IIM), 4(6), pp. 348-356, Nov.
2012, SCIRP.
• Joana P. Gonçalves and A. P. Francisco
and Yves Moreau and Sara C. Madeira,
Interactogeneous: disease gene prioritization using heterogeneous networks and
full topology scores, PLoS ONE, 7(11), pp.
e49634, Nov. 2012.
• Artur Caetano and António Rito Silva and
Applying the principle of separation of
concerns to business process design,
International Journal of Organisational
Design and Engineering, 2(3), pp. 250-270,
Nov. 2012, Inderscience.
• Sara Silva and Leonardo Vanneschi, Bloat
Free Genetic Programming: Application
to Human Oral Bioavailability Prediction,
International Journal of Data Mining and
Bioinformatics, 6(6), pp. 585-601, Nov. 2012,
Inderscience.
• João Miguel Guerreiro Dias Alves Lourenço
and J. M. Lemos and J. S. Marques, Control of
neuromuscular blockade with Gaussian process models., Nov. 2012, Elsevier.
• Pedro Filipe Pereira Campos and Joaquim
Armando Pires Jorge and Miguel Campos
and Paulo Freitas, Foot-turistic multimedia:
designing interactive multimedia installations for shoe shops, Multimedia Tools and
Applications, 61(2), pp. 471-487, Nov. 2012,
Springer.
• F. Cardoso and Tiago Costa and José
Germano and S. Cardoso and J. Borme and
J. Gaspar and Jorge Manuel dos Santos
• N. R. Costa and João Miguel Guerreiro
Dias Alves Lourenço and Z. L. Pereira,
Multiresponse
Optimization
and
Pareto Frontiers, Quality and Reliability
Engineering International, 28(7), pp. 701-712,
Nov. 2012, Wiley.
• João D Ferreira and Daniela Paolotti and
Francisco M Couto and Mário J. Silva, On
the usefulness of ontologies in epidemiology research and practice, The Journal of
Epidemiology and Community Health, (), pp.
, Nov. 2012, BMJ Publishing Group.
• Luís Rosado and Telmo Santos and Pedro
Ramos and Pedro Vilaça and Moises Simões
Piedade, A differential planar eddy currents
probe: Fundamentals, modeling and experimental evaluation, NDT & E International,
51(), pp. 85-93, Oct. 2012, Elsevier.
• Ana Meira Castro and Joao P. Carvalho and J.
P. Meixedo, A qualitative description of soil
parameters variation due to a prescribed
fire in Portuguese northwestern forests using Fuzzy Boolean Nets - The case study of
Cabreira mountain, Geoderma, 191(), pp. 8996, Oct. 2012, Elsevier.
• Alberto Abad and Annamaria Pompili and
Angela Costa and Isabel Trancoso and
José Fonseca and Gabriela Leal and Luisa
Farrajota and Isabel P. Martins, Automatic
79
INESC-ID
ANNUAL
REPORT
2012
word naming recognition for an on-line aphasia treatment system, Computer Speech
and Language, Oct. 2012.
• Han The Anh and Luís M. Pereira and
Francisco C. Santos, Corpus-based Intention
Recognition in Cooperation Dilemmas,
Artificial Life, 18(4), pp. 365-383, Oct. 2012,
MIT press.
• Jose Miguel Heitor Machado Dores and
Edwin C. Becerra-Alvarez and Miguel
Martins and José M. de la Rosa and Jorge
Manuel dos Santos Ribeiro Fernandes,
Efficient biasing circuit strategies for inductorless wideband low noise amplifiers
with feedback, Microelectronics Journal ,
43(),Oct. 2012, Elsevier.
• Paulo Rogério Pereira and Augusto Casaca
and Joel J. P. C. Rodrigues and Vasco N. G. J.
Soares and Joan Triay and Cristina CervellóPastor, From Delay-Tolerant Networks to
Vehicular Delay-Tolerant Networks, IEEE
Communications Surveys & Tutorials, 14(4),
pp. 1166-1182, Oct. 2012, IEEE.
• Rui Cruz and Pedro Inácio and Mário
Serafim Nunes, Quality User Experience
in Advanced IP Video Services, Annals of
Telecommunications, Oct. 2012, Springer.
• Gonzalo Navarro and Luís M. S. Russo and
Yakov Nekrich, Space-Efficient DataAnalysis Queries on Grids, Theoretical
Computer Science, Oct. 2012, Elsevier.
• J. M. Martín-Sánchez and J. M. Lemos and
J. Rodellar, Survey of industrial optimized
adaptive control. Int. J. Adapt. Control
Signal Process., Int. J. Adapt. Control Signal
Process., 26(10), pp. 881–918, Oct. 2012,
Wiley.
80
• Jucimar Souza and André Carvalho and
Marco Cristo and Edleno Moura and
Pável Calado and Paul-Alexandru Chirita
and Wolfgang Nejdl, Using Site-Level
Connections to Estimate Link Confidence,
Journal of the American Society for
Information Science and Technology, Oct.
2012.
• José Simão and Tiago Garrochinho and
Luís Veiga, A Checkpointing-enabled and
Resource-Aware Java VM for Efficient
and Robust e-Science Applications in
Grid Environments, Concurrency and
Computation: Practice and Experience,
24(13), pp. 1421-1442, Sep. 2012, Wiley.
• J. M. Lemos and Miguel José Simões Barão,
A control Lyapunov function approach to
adaptive control of HIV-1 infection., Archives
of Control Sciences, 22(3), pp. 273–284, Sep.
2012, Polish Acadely of Sciences.
• Alysson Bessani and Rudiger Kapitza and
Dana Petcu and Paolo Romano and Spyridon
V. Gogouvitis and Dimosthenis Kyriazis and
Roberto G. Cascella, A look to the old-world
sky: EU-funded dependability cloud computing research. , SIGOPS Oper. Syst. Rev.,
46(2), Sep. 2012.
• M.L. Ciusa and L. Furi and Daniel Knight
and F. Decorosi and Marco Fondi and Carla
Raggi and Joana Coelho and Luis Aragones
and Laura Moce and Pilar Visa and Ana T.
Freitas and L. Baldassarri and Renato Fani
and Carlo Viti and G. Orefici and Jose Luis
Martinez and the BIOHYPO Consortium
and Ian Morrissey and Marco R. Oggioni, A
novel resistance mechanism to triclosan
that suggests horizontal gene transfer
and demonstrates a potential selective
pressure for reduced biocide susceptibility in clinical strains of Staphylococcus aureus, International Journal of Antimicrobial
Agents, 40(3), pp. 210-220, Sep. 2012.
• Jorge Filipe Leal Costa Semião and J. Pachito
and C. Martins and Bruno André Marçal
Jacinto and J. Vazquez and V. Champac and
Marcelino Bicho dos Santos and Isabel
Maria Silva Nobre Parreira Cacho Teixeira
and João Paulo Cacho Teixeira, Aging-aware
Power or Frequency Tuning with Predictive
Fault Detection, IEEE Design & Test of
Computers, 29(5), pp. 27-36, Sep. 2012, IEEE
Computer Society.
• Jorge Salvador Marques and Miguel José
Simões Barão and J. M. Lemos, Alignment
of Velocity Fields for Video Surveillance,
Pattern Recognition Letters, 33(12), pp.
1632–1637, Sep. 2012, Elsevier.
• Miguel Martins and K. van Hartingsveldt
and Jorge Manuel dos Santos Ribeiro
Fernandes and M. Medeiros Silva and C. J.
M. Verhoeven, Low-Noise Amplifiers with
Double-Loop Feedback, Circuits, Systems
& Signal Processing, Sep. 2012, Springer.
• Nuno Mendes and Ana T. Freitas and Steffen
Heyne and Marie-France Sagot and Rolf
Backofen, Navigating the unexplored seascape of pre-miRNA candidates in single-genome approaches, , 28(23), pp. 30343041, Sep. 2012.
• Luís Oliveira and Carlos Manuel
Miguens Leitão and M. Medeiros Silva,
Noise
Performance
of
Regulated
CascodeTransimpedance Amplifiers for
Radiation Detectors, IEEE Trans. Circuits
and Systems - I: Regular Papers, 59(9), pp.
1841-1848, Sep. 2012, IEEE.
• Judite Freijedo and Jorge Filipe Leal Costa
Semião and J.J. Rodriguez-Andina and
Fabian Vargas and Isabel Maria Silva
Nobre Parreira Cacho Teixeira and João
Paulo Cacho Teixeira, Modeling the Effect
of Process, Power-Supply Voltage and
Temperature Variations on the Timing
Response of Nanometer Digital Circuits,
Journal of Electronic Testing: Theory and
Applications (JETTA), 28(4), pp. 421-434,
Aug. 2012, Springer.
• André Guilherme Nogueira Coelho dos
Santos and Martijn Kuipers and Luis D.
Pedrosa and Rui M. Rocha, Resource
Description
Language:
A
Unified
Description Language for Network
Embedded Resources, International Journal
of Distributed Sensor Networks, 2012(), pp.
11, Aug. 2012, Hindawi.
• Martijn Kuipers and Ricardo Vaz and
Mário Serafim Nunes, Robust Video
Calls for Emergency Services over IP
Based Networks, Mobile Multimedia
Communications Lecture Notes of the
Institute for Computer Sciences, Social
Informatics and Telecommun, (), pp. 383396, Aug. 2012, Springer Verlag.
• Flávio L. Pinheiro and Francisco C. Santos
and Jorge M. Pacheco, How selection pressure changes the nature of social dilemmas
in structured populations , New Journal
Physics, 14(), pp. 073035, Jul. 2012, IOP.
• Margarida Palma and Sara C. Madeira and
Ana Mendes-Ferreira and Isabel Sá-Correia,
Impact of assimilable nitrogen availability in
glucose uptake kinetics in Saccharomyces
cerevisiae during alcoholic fermentation,
Microbial Cell Factories, 11(99), Jul. 2012.
• Nuno Sebastião and Nuno Roma and Paulo
Flores, Integrated Hardware Architecture
for Efficient Computation of the n-Best BioSequence Local Alignments in Embedded
Platforms, IEEE Transactions on Very Large
Scale Integration Systems, 20(7), pp. 12621275, Jul. 2012, IEEE.
81
INESC-ID
ANNUAL
REPORT
2012
• Gabriel Falcão and Vitor Silva and Leonel
Sousa and João Andrade, Portable LDPC
Decoding on Multicores using OpenCL, IEEE
Signal Processing Magazine, 29(4), pp. 81 109 , Jul. 2012.
• Lucas Cordeiro and Bernd Fischer and Joao
Marques Silva, SMT-Based Bounded Model
Checking for Embedded ANSI-C Software,
IEEE Transactions on Software Engineering,
38(4), pp. 957-974, Jul. 2012, IEEE.
• André Carreiro and Artur J. Ferreira and
Mário A. T. Figueiredo and Sara C. Madeira,
Towards a Classiﬁcation Approach using
Meta-Biclustering: Impact of Discretization
in the Analysis of Expression Time Series,
Journal of Integrative Bioinformatics, 9(3),
pp. 207, Jul. 2012.
• Maria Couceiro and Paolo Romano, Where
does transactional memory research stand
and what challenges lie ahead? WTM 2012,
EuroTM workshop on transactional memory, SIGOPS Oper. Syst. Rev. , 46(2), Jul. 2012.
• João Tiago de Jesus Elias Ferreira and
João Leitão and Luis Rodrigues, A-OSGi: a
framework to support the construction of
autonomic OSGi-based applications, Int. J.
Autonomous and Adaptive Communications
Systems, 5(3), pp. 292-310, Jun. 2012.
• Joana P. Gonçalves and Yves Moreau and
Sara C. Madeira, AliBiMotif: Integrating
Alignment and Biclustering to Unravel
Transcription Factor Binding Sites in DNA
Sequences , International Journal of Data
Mining and Bioinformatics (IJDMB), 6(2), pp.
196-215, Jun. 2012, Inderscience Publishers.
82
• Jeromos Vukov and Francisco C. Santos and
Jorge M. Pacheco, Cognitive strategies take
advantage of the cooperative potential of
heterogeneous networks, New Journal
Physics, 14(), pp. 063031, Jun. 2012, IOP.
• Mauro Figueiredo and João António
Madeiras Pereira and João Oliveira and
Bruno Rodrigues de Araújo, Collision
Detection For Point Cloud With Bounding
Spheres Hierarchquies, IJVR - International
Journal Of Virtual Reality, 11(2), pp. 37-43,
Jun. 2012, IPI Press.
• Rafael Kuffner dos Anjos and João António
Madeiras Pereira and João Oliveira, Collision
Detection on Point Clouds Using a 2.5+D
Image-Based Approach, Journal of WSCG,
20(2), pp. 145-153, Jun. 2012, Vaclav Skala –
Union Agency.
• Frederico Pratas and Pedro trancoso and Leonel Sousa and Alexandros
Stamatakis and Guochun Shi and Volodymyr
Kindratenko, Fine-grain Parallelism using
Multi-core, Cell/BE, and GPU Systems ,
Journal of Parallel Computing (ParCo), 38(),
pp. 365–390, Jun. 2012, Elsevier.
• Sara Encarnação and Marcos Gaudiano and
Francisco C. Santos and José A. Tenedório
and Jorge M. Pacheco, Fractal cartography
of urban areas, Scientific Reports, 2(527),
Jun. 2012, Nature.
• Levent Aksoy and Cristiano Lazzari and
Eduardo Costa and Paulo Flores and J.
Monteiro, High-Level Algorithms for the
Optimization of Gate-Level Area in DigitSerial Multiple Constant Multiplications,
Integration, the VLSI Journal, 45(3), pp. 294–
306, Jun. 2012, Elsevier.
• Ruben Carlos Gonçalves Martins and Inês
Lynce and Vasco Manquinho, Parallel
search for maximum satisfiability, AI
Communications, 25(2), pp. 75-95, Jun. 2012.
• Anton Belov and Inês Lynce and Joao
Marques Silva, Towards Efficient MUS
Extraction, AI Communications, 25(2), pp.
97-116, Jun. 2012.
• Nestor Michael Tiglao and António Manuel
Raminhos Cordeiro Grilo, An Analytical
Model for Transport Layer Caching in
Wireless Sensor Networks, Performance
Evaluation Journal, 69(5), pp. 227-245, May.
2012, Elsevier.
• A. P. Francisco and Cátia Vaz and Pedro
T. Monteiro and J. Melo-Cristino and M.
Ramirez and João Carriço, PHYLOViZ:
Phylogenetic inference and data visualization for sequence based typing methods,
BMC Bioinformatics, 13(87), May. 2012.
• João António Rodrigues Sacramento and
Andreas Wichert, Binary Willshaw learning
yields high synaptic capacity for long-term
familiarity memory, Biological Cybernetics,
106(2), pp. 123-133, May. 2012.
• Jonathan Lazar and Julio Abascal and Janet
Davis and Vanessa Evers and Jan Gulliksen
and Joaquim Armando Pires Jorge and
Tom McEwan and Fabio Paterno’ and Hans
Persson and Raquel Prates and Hans von
Axelson and Marco Winkler and Volker Wulf,
Public Policy Activities in 2012 Related to
Human-Computer Interaction: A 10-Country
Discussion, Interactions, 19(3), pp. 78-81,
May. 2012, ACM Press.
• Carlos Pascoa and Nuno Belo and José
Manuel Nunes Salvador Tribolet, Business
Objectives and Business Processes:
Alignment and Verification, Information
Resources Management Journal (IRMJ),
25(2), pp. 52-68, May. 2012, IGI Global.
• Andreas Wichert and Andre Filipe da Silva
Verissimo, CBIR with a Subspacee-tree:
Principal Component Analysis versus
Averaging, Multimedia Systems, 18(4), pp.
283-293, May. 2012, Springer.
• Jonas S. Almeida and Alexander Gruneberg
and Wolfgang Maass and Susana Vinga,
Fractal MapReduce decomposition of sequence alignment, Algorithms for Molecular
Biology, 7(), pp. 12, May. 2012.
• João Barreto and Luís Veiga and Paulo
Ferreira, Hash Challenges: stretching the
limits of compare-by-hash in distributed
data deduplication, Information Processing
Letters, 112(10), pp. 380-385, May. 2012,
Elsevier.
• Susana Vinga and Alexandra M. Carvalho
and A. P. Francisco and Luís M. S. Russo and
Jonas S. Almeida, Pattern matching through
Chaos Game Representation: bridging numerical and discrete data structures for biological sequence analysis, Algorithms for
Molecular Biology, 7(), pp. 10, May. 2012.
• Laura Beatriz Torres Simões Wise and
Alberto Murta and Joao P. Carvalho and
Marta Mesquita, Qualitative modelling of
fishermen’s behaviour in a pelagic fishery,
Ecological Modelling, 228(), pp. 112-122, May.
2012, Elsevier.
• Joana P. Gonçalves and Ricardo Rubén dos
Santos Aires and A. P. Francisco and Sara C.
Madeira, Regulatory Snapshots: integrative
mining of regulatory modules from expression time series and regulatory networks,
PLoS ONE, 7(5), pp. e35977, May. 2012, Public
Library of Science Publishing.
• Liliana Rosa and Luis Rodrigues and
Antonia Lopes and Matti Hiltunen and Rick
Schlichting, Self-Management of Adaptable
Component-Based Applications, IEEE
Transactions on Software Engineering,
May. 2012.
• Ruben Carlos Gonçalves Martins and Vasco
Manquinho and Inês Lynce, An overview of
parallel SAT solving, Constraints, 17(3), pp.
304-347, Apr. 2012.
83
INESC-ID
ANNUAL
REPORT
2012
• Frederico Pratas and Leonel Sousa and
Johannes Dieterich and Ricardo Mata,
Computation of induced dipoles in molecular mechanics simulations using Graphics
Processors, Journal of Chemical Information
and Modeling, 52(5), pp. 1159–1166, Apr. 2012,
ACS Publications.
• Luísa Coheur and Angela Costa, Do tópico às
respostas: do processo humano à sua simulação, Linguamática, 4(1), Apr. 2012.
• Sven Van Segbroeck and Jorge M. Pacheco
and Tom Lenaerts and Francisco C. Santos,
Emergence of Fairness in Repeated Group
Interactions, Physical Review Letters, 108(),
pp. 158104, Apr. 2012, APS.
• Francisco C. Santos and Vítor V. Vasconcelos
and Marta D. Santos and Pedro Neves and
Jorge M. Pacheco, Evolutionary dynamics of
climate change under collective-risk dilemmas, Mathematical Models and Methods in
Applied Sciences (M3AS), 22(1), pp. 1140004,
Apr. 2012.
• Prasad Perera and Joao P. Carvalho and
C. Guedes Soares, Intelligent Ocean
Navigation and Fuzzy-Bayesian DecisionAction formulation, IEEE Journal of Ocean
Engineering, 37(2), pp. 204-219, Apr. 2012,
IEEE.
• Leonel Sousa and Samuel Freitas Antão,
MRC-based RNS Reverse Converters
for the Four-Moduli Sets {2^n+1, 2^n-1,
2^n, 2^(2n+1)-1} and {2^n+1, 2^n-1, 2^(2n),
2^(2n+1)-1}, IEEE Transactions on Circuits
and Systema II (TCAS II), 59(4), pp. 244-248,
Apr. 2012.
• Sara Silva and Stephen Dignum and
Leonardo Vanneschi, Operator equalisation
for bloat free genetic programming and a
survey of bloat control methods, Genetic
84
Programming and Evolvable Machines, 13(2),
pp. 197-238, Apr. 2012, Springer.
• Francisco C. Santos and Flávio L. Pinheiro
and Tom Lenaerts and Jorge M. Pacheco,
The role of diversity in the evolution of cooperation, Journal of Theoretical Biology,
299(), pp. 88-96, Apr. 2012, Elsevier.
• Adriano Oliveira and João Oliveira and
João António Madeiras Pereira and Bruno
Rodrigues de Araújo and João Boavida, 3D
modelling of Laser scanned and photogrammetric data for digital documentation - The
Mosteiro da Batalha case study, JRTIP Journal of Real-Time Image Processing, (),
pp. , Mar. 2012, Springer-Verlag, Manuscript
number JRTIP-D-11-00061R2.
• Isadora Rosa and Paulo Fidalgo and José
Soares and Susana Vinga and Carla Oliveira
and João P Silva and Susana M Ferro and
Paula Chaves and António G Oliveira and
Carlos N Leitão, Adenoma incidence decreases under the effect of polypectomy,
World journal of gastroenterology, 18(11), pp.
1243-8, Mar. 2012.
• Luís Oliveira and Erik Snelling and Jorge
Manuel dos Santos Ribeiro Fernandes
and M. Medeiros Silva, An Inductorless
CMOS Quadrature Oscillator Continuously
Tuneable from 3.1 to 10.6 GHz, Int. J. Circuit
Theory and Applications, 40(), pp. 209-216,
Mar. 2012, Wiley.
• António de Vasconcelos Nascimento
Burnay da Fonseca and Teresa Maria Sá
Ferreira Vazão Vasques, Applicability of position-based routing for VANET in highways
and urban environment, Journal on Network
and Computer Applications, Mar. 2012,
Elsevier.
• Carlos Leong and Vasco Miguel Bexiga
António and João Paulo Cacho Teixeira
and R. Bugalho, M. Ferreira, P. Rodrigues,
J. C. Silva, P. Lousã, J. Varela and Isabel
Maria Silva Nobre Parreira Cacho Teixeira,
Automatic Adjustment of a Medical Imaging
Data Acquisition System to Unknown
Delays in the Input Communication
Channels, Analog Integrated Circuits and
Signal Processing Journal, 70(2), pp. 213-227,
Mar. 2012, Springer.
• Nuno Castela and Marielba Silva Zacarias
and José Manuel Nunes Salvador Tribolet,
Collaborative Maintenance of Business
Process Models, International Journal of
Organisational Design and Engineering, 2(1),
pp. 61-84, Mar. 2012.
• Gabriel Falcão and Marco Gomes and Vitor
Silva and Leonel Sousa and João Cacheira,
Configurable M-factor VLSI DVB-S2 LDPC
Decoder Architecture with Optimized
Memory Tiling Design, EURASIP Journal on
Wireless Communications and Networking,
(98), Mar. 2012, Springer.
• J. Vazquez, V. Champac and Adriel Mota
Ziesemer Junior and R. Reis and Isabel Maria
Silva Nobre Parreira Cacho Teixeira and
Marcelino Bicho dos Santos and João Paulo
Cacho Teixeira, Delay Sensing for LongTerm Variations and Defects Monitoring
in Safety-Critical Applications, Analog
Integrated Circuits and Signal Processing
Journal, 70(2), pp. 249-263, Mar. 2012,
Springer.
• Benoit Gaudin and Mike H. Hinchey and
Emil Vassev and Paddy Nixon and João
Coelho Garcia and Walid Maalej, FastFix:
A Control Theoretic View of Self-Healing
for Automatic Corrective Software
Maintenance, Scalable Computing: Practice
and Experience, 13(1), Mar. 2012.
• Nuno Sebastião and Nuno Roma and Paulo
Flores, Hardware Accelerator Architecture
for Simultaneous Short-Read DNA
Sequences Alignment with Enhanced
Traceback Phase, Microprocessors and
Microsystems, 36(2), pp. 96-109, Mar. 2012,
Elsevier.
• Sérgio dos Santos Lopes Curto and Ana
Cristina Mendes and Luísa Coheur, Question
Generation based on Lexico-Syntactic
Patterns Learned from the Web, Dialogue &
Discourse, 3(2), pp. 147-175, Mar. 2012.
• Daniel Hasan Dalip and Marcos André
Gonçalves and Thiago Cardoso and Marco
Cristo and Pável Calado, A Multi-view
Approach for the Quality Assessment of
Wiki Articles, Journal of Information and
Data Management, 3(1), pp. 73--82, Feb. 2012.
• Ricardo Lopes Pereira and Teresa Maria
Sá Ferreira Vazão Vasques and Rodrigo
Rodrigues, Adaptive Search Radius – Using
hop count to reduce P2P traffic, Computer
Networks, 56(2), pp. 642–660, Feb. 2012,
Elsevier.
• Carlos Manuel Boura Sampaio and J.
Monteiro and L. Miguel Silveira, Analysis of
the Conditions for the Worst Case Switching
Activity in Integrated Circuits, Analog
Integrated Circuits and Signal Processing,
70(2), pp. 229-240, Feb. 2012, Springer.
• Fernando Batista and Helena Moniz and
Isabel Trancoso and Nuno J. Mamede,
Bilingual Experiments on Automatic
Recovery of Capitalization and Punctuation
of Automatic Speech Transcripts, IEEE
Transactions on Audio, Speech, and
Language Processing, 20(2), pp. 474 -- 485,
Feb. 2012, IEEE Signal Processing Society.
85
INESC-ID
ANNUAL
REPORT
2012
• Tiago Pinheiro and Martijn Kuipers and
Mário Serafim Nunes, Charging Network
for Electric Vehicles, Lecture Notes of the
Institute for Computer Sciences, Social
Informatics
and
Telecommunications
Engineering, (97), pp. 405-415, Feb. 2012,
Springer.
• Bruno Jesus Rodrigues Fernandes and
Helena Sarmento, FPGA implementation
and testing of a 128 FFT for a MB-OFDM receiver, Analog Integrated Circuits and Signal
Processing, 70(2), pp. 241-248, Feb. 2012,
Springer.
• Jorge F. Villena and L. Miguel Silveira,
Exploiting Parallelism for Improved
Automation of Multidimensional Model
Order Reduction, IEEE Transactions on
Computer Aided Design of VLSI Circuits,
31(1), pp. 37-49, Jan. 2012, IEEE.
• Flávio L. Pinheiro and Jorge M. Pacheco and
Francisco C. Santos, From Local to Global
Dilemmas in Social Networks, PLoS One,
7(2), pp. e32114, Feb. 2012.
• Levent Aksoy and Eduardo Costa and
Paulo Flores and J. Monteiro, Optimization
Algorithms for the Multiplierless Realization
of Linear Transforms, ACM Transactions on
Design Automation of Electronic Systems
(TODAES), 17(1), pp. 3:1-3:27, Jan. 2012.
• António Rito Silva and Michael Rosemann,
Processpedia – An Ecological Environment
for BPM Stakeholders Collaboration,
Business Process Management Journal,
18(1), pp. 20-42, Feb. 2012, Emerald.
• Mikolas Janota and Inês Lynce and Vasco
Manquinho and Joao Marques Silva, PackUp:
Tools for Package Upgradability Solving,
Journal on Satisfiability, Boolean Modeling
and Computation, 8(1), pp. 89-94, Jan. 2012,
• Luis Domingues Tomé Jardim Tarrataca and
Andreas Wichert, A Quantum Production
Model, Quantum Information Processing,
11(1), pp. 189-209, Jan. 2012, Springer.
• António Carlos Semedo da Cruz Varela and
Teresa Maria Sá Ferreira Vazão Vasques
and Guilherme Arroz, Providing service
differentiation in pure IP-based networks,
Computer Communications, 35(), pp. 642660, Jan. 2012, Elsevier.
• Ginevra Castellano and Iolanda Margarete
dos Santos Carvalho Leite and Ana Paiva
and Peter W. McOwan, Affective teaching:
learning more effectively from empathic robots, Awareness magazine: Self-Awareness
in Autonomic Systems, Jan. 2012.
• Joao Marques Silva, Computing Minimally
Unsatisfiable Subformulas: State of the Art
and Future Directions, Journal of MultipleValued Logic and Soft Computing, 19(1), pp.
163-183, Jan. 2012, Old City Publishing.
86
• Josep Argelich and Alba Cabiscol and Inês
Lynce and Felip Manyà, Efficient Encodings
from CSP into SAT, and from MaxCSP into
MaxSAT, Journal of Multiple-Valued Logic
and Soft Computing, 19(1), pp. 3-23, Jan. 2012.
• João António Rodrigues Sacramento and
Francisco Burnay and Andreas Wichert,
Regarding the temporal requirements of
a hierarchical Willshaw network, Neural
Networks, 25(), pp. 84-93, Jan. 2012,
• Huan Chen and Joao Marques Silva, TGPro: A SAT-based ATPG System, Journal
on Satisfiability, Boolean Modeling and
Computation, 8(1), pp. 83-88, Jan. 2012, IOS.
• Ana Cristina Mendes and Luísa Coheur,
When the answer comes into question in
question-answering: survey and open issues, Natural Language Engineering, Jan.
2012, Cambridge University Press.
• João Leitão and João António Damião
Marques and José Pereira and Luis
Rodrigues, X-BOT: A Protocol for Resilient
Optimization of Unstructured Overlay
Networks, IEEE Transactions on Parallel and
Distributed Systems, Jan. 2012.
11.3International Conferences
• Taimur Kuntz and Fábio Rabuske and Jorge
Manuel dos Santos Ribeiro Fernandes and
Cesar Rodrigues, A 4-bit 1.5GSps 4.2mW
Comparator-Based Binary Search ADC in
90nm, IEEE International Conference on
Electronics, Circuits, and Systems (ICECS),
Dec. 2012 .
• Taimur Kuntz and Jorge Manuel dos Santos
Ribeiro Fernandes and Saed Nooshabadi
and Cesar Rodrigues, A 749nW 1MSps
8-bit SAR ADC at 0.5V Employing Boosted
Switches, IEEE International Conference on
Electronics, Circuits, and Systems (ICECS),
Dec. 2012 .
• Victor Manuel Antunes da Silva and Jorge
Manuel dos Santos Ribeiro Fernandes
and Mário Pereira Véstias and Horácio C.
Neto, A High-Performance Reconfigurable
Computing Architecture using a Magnetic
Configuration
Memory,
International
Conference on ReConFigurable Computing
and FPGAs (ReConFig), Dec. 2012 .
• Hugo Miguel Barreto Gonçalves and Miguel
Martins and Jorge Manuel dos Santos
Ribeiro Fernandes, A Study on MOSFET
Rectifiers with Transistors Operating in the
Weak Inversion Region, IEEE International
Conference on Electronics, Circuits, and
Systems (ICECS), Dec. 2012 .
• Pedro Hugo de Queirós Alves and Paulo
Ferreira, Context-aware Efficient Message
Propagation, 11th International Workshop
on Adaptive and Reflective Middleware
(ARM 2012), In conjuntion with Middleware
2012, Dec. 2012 , ACM.
• Diogo Rodrigues Oliveira de Brito and Jorge
Paulo Flores and J. Monteiro, Design and
Characterization of a QLUT in a Standard
87
INESC-ID
ANNUAL
REPORT
2012
CMOS Process, IEEE International
• Wang Ling and Nadi Tomeh and Guang
Xiang and Alan Black and Isabel Trancoso,
Improving Relative-Entropy Pruning using
Statistical Significance, 25th International
Conference on Computational Linguistics
(COLING 2012), Dec. 2012 .
• Gopala Krishna Anumanchipalli and Luís C.
Oliveira and Alan W. Black, Intent Transfer
in Speech-to-Speech Machine Translation,
SLT 2012, Dec. 2012 , pp. 153-158 , IEEE.
• Victor Manuel Antunes da Silva and Mário
Pereira Véstias and Horácio C. Neto and
Jorge Manuel dos Santos Ribeiro Fernandes,
Non-Volatile Memory Circuits for FIMS
and TAS Writing Techniques on Magnetic
Tunnelling Junctions, IEEE International
• Luis Marujo and Wang Ling and Anatole
Gershman and Jaime Carbonell and João
Paulo da Silva Neto and David Martins
de Matos, Recognition of NamedEvent Passages in News Articles, 25th
International Conference on Computational
Linguistics (COLING 2012), Dec. 2012 .
• João Miranda and João Paulo da Silva Neto
and Alan Black, Recovery of acronyms, outof-lattice words and pronunciations from
parallel multilingual speech, SLT 2012, Dec.
2012 , IEEE.
• Sebastiano Peluso and Paolo Romano
and Francesco Quaglia, SCORe: a Scalable
One-Copy Serializable Partial Replication
Protocol,
ACM/IFIP/USENIX
13th
International Middleware Conference
(Middleware 2012), Dec. 2012 .
88
• João Barreto and Aleksandar Dragojevic
and Paulo Ferreira and Ricardo Filipe and
Rachid Guerraoui, Unifying Thread-Level
Speculation and Transactional Memory
(Best Paper Award), ACM/IFIP/USENIX
Middleware Conference 2012, Dec. 2012 ,
Springer, ACM.
• Cláudia RIbeiro and José Borbinha and
José Manuel Nunes Salvador Tribolet and
João António Madeiras Pereira, Using
Agent-based Simulation to Understand
Cooperation in Business Organizational
Settings,
2012
Winter
Simulation
Conference, WSC 2012, Dec. 2012 .
• Alexandre Barão and Alberto Rodrigues da
Silva, What is the Value of Your Network?,
International Workshop on Social Networks
and Data Processing in the 2012 IEEE/WIC/
ACM International Conference on Web
Intelligence/Intelligent Agent Technology,
Dec. 2012 , IEEE Computer Society.
• João Luís Vazão Vasques and Luís Veiga, A
Decentralized Utility-based Grid Scheduling
Algorithm, 28th ACM Symposium On
Applied Computing (SAC 2013), Nov. 2012 ,
ACM.
• José Simão and Luís Veiga, A Progress and
Profile-driven Cloud-VM for Improved
Resource-Efficiency and Fairness in e-Science Environments, 28th ACM Symposium
On Applied Computing (SAC 2013), Nov.
2012, ACM.
• Tiago Manuel Oliveira Henriques Moita and
Carlos Beltran Almeida, ActIC Automated
Characterization Test of Mixed-Signal
Integrated Circuits , Conference on Design
of Circuits and Integrated Systems (DCIS),
Nov. 2012 .
• Tiago Manuel Oliveira Henriques Moita
and Carlos Beltran Almeida and Marcelino
Bicho dos Santos, ActIC Automated
Characterization Test of Mixed-Signal
Integrated Circuits , Conference on Design
of Circuits and Integrated Systems (DCIS),
Nov. 2012 .
• Cláudia RIbeiro and José Borbinha and José
Manuel Nunes Salvador Tribolet and João
António Madeiras Pereira, Agent-based
Simulation and Cooperation in Business
Organizational Settings, The Fourth
International Conference on Advances in
System Simulation, SIMUL 2012, Nov. 2012 .
• Tiago Costa and Moises Simões Piedade and
Marcelino Bicho dos Santos, An Ultra-Low
Noise Current Source for Magnetoresistive
Biosensors Biasing, IEEE Biomedical
Circuits and Systems (B C S’12), N . 2012 .
• Dalí F. D. Santos and Ilmério R. da Silva and
Manuel J. Fonseca and Denise Guliato,
Combining Color and Topology for Partial
Matching, IEEE International Conference
on Tools with Artificial Intelligence (ICTAI
2012), Nov. 2012 , IEEE.
• José C. Alves and Paulo J, Pereira and Pedro
Diniz, Design Space Exploration for HighAccuracy 1-Dimensional Edge Detection,
Intl. Conf. on the Design of Circuits and
Integrated Systems (DCIS), Nov. 2012 .
• Abilio Parreira and Floriberto Lima and
Marcelino Bicho dos Santos, Digital
Modular Control of High Frequency DCDC Converters , Conference on Design of
Circuits and Integrated Systems (DCIS),
Nov. 2012 .
• Miguel Costa and Mário J. Silva, Evaluating
Web Archive Search Systems, The
13th International Conference on Web
Information Systems Engineering (WISE
2012) , Nov. 2012 , Springer.
• Stoyan Garbatov and João Cachopo,
Explicit use of working-set correlation for
load-balancing in clustered web servers,
7th International Conference on Software
Engineering Advances, ICSEA, Nov. 2012 .
• Nuno Miguel da Luz Neves Guerreiro and
Marcelino Bicho dos Santos and João Paulo
Cacho Teixeira, Fault List Compression for
Cost-Effective Analogue and Mixed-Signal
Fault Simulation, Conference on Design of
Nov. 2012 .
• Marta Santos and Ricardo Lopes Pereira
and António Brandão Leal, GBUS - Route
GeoTracer, First international workshop on
Vehicular Traffic Management for Smart
Cities (VTM 2012), Nov. 2012 .
• Thomas Pellegrini and Isabel Trancoso and
Annika Hamalainen and António Calado
and Miguel Sales Dias and Daniela Braga,
Impact of age in ASR for the elderly: preliminary experiments in European Portuguese,
IBERSPEECH 2012, Nov. 2012 , Springer.
• André Carvalho and António Pimentel
Brisson Lopes and Ana Paiva, Laugh To
Me! Implementing Emotional Escalation on
Autonomous Agents for Creating a Comic
Sketch, 5th International Conference
Interactive Storytelling, ICIDS 2012, Nov.
2012 , pp. 162-173 , Springer Berlin Heidelberg.
• Isabel Trancoso and Thomas Pellegrini and
André Freire Silva and Rui Correia and Nuno
J. Mamede and Jorge Baptista, Learning
Portuguese with Speech Technologies,
IBERSPEECH 2012, Nov. 2012 , pp. 411-414 .
89
INESC-ID
ANNUAL
REPORT
2012
• Victor Manuel Antunes da Silva and Jorge
Mário Pereira Véstias and Horácio C. Neto,
Magnetic-Memory based Dynamically
Reconfigurable Array, Conf. on Design of
Nov. 2012 .
• Antonio Morgado and Mark H. Liffiton and
Joao Marques Silva, MaxSAT-Based MCS
Enumeration, Haifa Verification Conference
(HVC 2012), Nov. 2012 , Springer.
• Joana Coelho and João Carriço and Daniel
Knight and Jose Luis Martinez and Ian
Morrissey and Marco R. Oggioni and Ana T.
Freitas, Mining relationships between antibiotic and biocide reduced susceptibility, II
International Conference on Antimicrobial
Research - ICAR2012, Nov. 2012 .
• Levent Aksoy and Eduardo Costa and Paulo
Flores and J. Monteiro, Multiple Tunable
Constant Multiplications: Algorithms and
Applications, International Conference on
Computer-Aided Design (ICCAD), Nov. 2012
, pp. 473-479 .
• Luis de Sousa and Alberto Rodrigues
da Silva, Preliminary Design and
Implementation of DSL3S – a Domain
Specific Language for Spatial Simulation
Scenarios, CAMUSS-2012 - International
Symposium on Cellular Automata Modeling
for Urban and Spatial Systems, Nov. 2012 .
• João Guerra and Inês Lynce, Reasoning
over Biological Networks Using Maximum
Satisfiability, International Conference
on Principles and Practice of Constraint
Programming, Nov. 2012 , pp. 941-956 ,
Springer.
90
• André Tiago Abelho Pereira and Rui Prada
and Ana Paiva, Socially Present Board Game
Opponents, 9th International Conference
on Advances in Computer Entertainment ACE 2012, Nov. 2012 , pp. 101-116 , Springer.
• Alberto Abad, The L2F Language
Recognition System for Albayzin 2012
Evaluation, Proceedings of IberSPEECH,
Nov. 2012 .
• Annamaria Pompili and Pedro Fialho and
Alberto Abad, VITHEA: On-line word naming
therapy in Portuguese for aphasic patients
exploiting automatic speech recognition,
Proceedings of IberSPEECH, Nov. 2012 .
• Pedro Filipe Pereira Campos and Duarte
Gouveia and Hildegardo Noronha and
Joaquim Armando Pires Jorge, A Mobile
System for Collaborative Design and Review
of Large Scale Virtual Reality Models, JVRC
2012, Oct. 2012 , Eurographics.
• António Pimentel Brisson Lopes and
Gonçalo Duarte Garcia Pereira and Rui
Prada and Ana Paiva and S. Louchart and
N. Suttie and T. Lim and R. Lopes and R.
Bidarra and F. Bellotti and M. Kravcik ,
Artificial Intelligence and Personalization
Opportunities for Serious Games, 8th
Artificial Intelligence and Interactive Digital
Entertainment Conference AIIDE 2012, Oct.
2012 , pp. 51-57 , AAAI Press.
• Paulo Gonçalves and Manuel J. Fonseca,
Combining Multitouch Gestures and
Sketches to Explore Photo Collections,
IEEE Symposium on Visual Languages and
Human-Centric Computing (VL/HCC 2012),
Oct. 2012 , IEEE.
• Carlos Páscoa and Nelson Ferreira and
Construction of Simulators as a fundamental Element of Organizational Selfawareness, CENTERIS 2012 Conference on
ENTERprise nd Information Systems, Oct.
2012 .
Raminhos Cordeiro Grilo, Cross-Layer
Caching Based Optimization for Wireless
Multimedia Sensor Networks, IEEE Wireless
and Mobile Computing, Networking and
Communications 2012, Oct. 2012 , IEEE.
• Hildegardo Noronha and Bruno Rodrigues
de Araújo and Pedro Filipe Pereira Campos
and Luciano Soares, Designing a Mobile
Collaborative System for Navigating
and Reviewing Oil Industry CAD Models,
NORDICHI 2012 Industrial Track, Oct. 2012 .
• Hildegardo Noronha and Pedro Filipe
Pereira Campos and Luciano Soares and
Joaquim Armando Pires Jorge and Alberto
Raposo, Designing a Mobile Collaborative
System for Navigating and Reviewing Oil
Industry CAD Models, NORDICHI 2012
Industrial Track, Oct. 2012.
• Carlos Páscoa and Marco Moreira and
Effectiveness Index as an Organizational
Cockpit Instrument, CENTERIS 2012 Conference on ENTERprise Information
Systems, Oct. 2012 .
• Hugo Miguel Aleixo Nicolau and Joaquim
Armando Pires Jorge, Elderly Text-Entry
Performance on Touchscreens, ASSETS,
Oct. 2012 , pp. 22-24 , ACM Press.
• Carlos Páscoa and Sérgio Silva and José
Manuel Nunes Salvador Tribolet, EXANTE and EX-POST Model applied to the
Operational Flying Regime Management,
CENTERIS 2012 - Conference on ENTERprise
nd Information Systems, Oct. 2012 .
• Tiago Lopes Ferreira and Alberto Rodrigues
da Silva, Foster an Implicit Community
based on a Newsletter Tracking System,
OTM / CoopIS 2012, Oct. 2012 , Springer.
• Carlos Manuel Tadeia Rosão and Ricardo
Ribeiro and David Martins de Matos,
Influence of Peak Selection Methods on
Onset Detection , 13th International Society
for Music Information Retrieval Conference
(ISMIR 2012), Oct. 2012 , FEUP.
• Gordon Ingram and Joana Carvalho Filipe
de Campos and Rilla Khaled and Asimina
Vasalou and Ana Paiva and Abilio Parreira,
Integrating User Research into a Serious
Game about Conflict Resolution, eChallenges e-2012 Conference Proceedings,
Oct. 2012 , IIMC International Information
Management Corporation.
• Federico Heras and Antonio Morgado
and Jordi Planes and Joao Marques
Silva, Iterative SAT Solving for Minimum
Satisfiability, International Conference
on Tools with Artificial Intelligence (ICTAI
2012), Oct. 2012 , IEEE.
• Paula Cristina Vaz and Ricardo Ribeiro
and David Martins de Matos, LitRec
vs. Movielens: A Comparative Study,
International Conference on Knowledge
Discovery and Information Retrieval (KDIR
2012), Oct. 2012 .
91
INESC-ID
ANNUAL
REPORT
2012
• L. Gonçalves and Pedro Filipe Pereira
Campos and M de Sousa, M-Dimensions: a
Framework for Evaluating and Comparing
Interactive Installations in Museums.,
NordiCHI 2012, Nordic Conference on
Human-Computer Interaction, Oct. 2012 .
• Gabriel César Ferreira Pestana and
Augusto Casaca and Pedro Reis and
Sebastian Heuschler and Joachim Metter,
Management of Mobile Objects in an
Airport Environment, Second International
Conference on Mobile Services, Resources
and Users - Mobility 2012, Oct. 2012 , pp. 5559 , ISBN: 978-1-61208-229-5.
• Luciana Salles Barbosa and Monika
Tarsalewska and Alberto Sardinha,
Managerial Flexibilities and Competition in
Shopping Center Investment. Real Options
Approach to Real Estate, 4th ReCapNet
Conference: Real Estate Markets and
Capital Markets, Oct. 2012 .
• Adriano Conde de Jesus Palma and Paulo
Rogério Pereira and Augusto Casaca,
Multicast Routing Protocol for Vehicular
Delay-Tolerant Networks, 5th International
Workshop on Selected Topics in Mobile and
Wireless Computing STWiMob 2012, 8th
IEEE International Conference on Wireless
and Mobile Computing, Networking and
Communications (WiMob 2012), Oct. 2012 ,
pp. 761-768 , IEEE.
• Anton Belov and Mikolas Janota and Inês
Lynce and Joao Marques Silva, On Computing
Minimal
Equivalent
Subformulas,
International Conference on Principles and
Practice of Constraint Programming, Oct.
2012 , pp. 158-174 , Springer.
92
• Miguel Correia and Pedro Costa and
Marcelo Pasin and Alysson Bessani and
Fernando Ramos and Paulo Verissimo, On
the Feasibility of Byzantine Fault-Tolerant
MapReduce in Clouds-of-Clouds, First
International Workshop on Dependability
Issues in Cloud Computing (DISCCO 2012),
Oct. 2012 .
• Carlos Páscoa and Diogo Jorge and
Organizational Cost per Flight Hour in the
Portuguese Air Force, CENTERIS 2012 Conference on ENTERprise nd Information
Systems, Oct. 2012 .
• Bertinho Manuel D’Andrade da Costa and J.
M. Lemos, Predictive Adaptive Temperature
Control in a Solar Furnace for Material
Stress Tests, 2012 IEEE Multi-Conference
on Systems and Control , Oct. 2012 .
• Carlos Páscoa and Steve Morais and
Relationship between Operational and
Management Objectives of an Organization,
• David Ferreira and Alberto Rodrigues da
Silva, RSLingo: An Information Extraction
Approach toward Formal Requirements
Specifications, Second IEEE International
Workshop on Model-Driven Requirements
Engineering, in the 20th IEEE International
Requirements Engineering Conference,
Oct. 2012 , IEEE Computer Society.
• Manuel J. Fonseca and Stuart James and
John Collomosse, Skeletons from Sketches
of Dancing Poses, IEEE Symposium on
Visual Languages and Human-Centric
Computing (VL/HCC 2012), Oct. 2012 , IEEE.
• Sebastiano Peluso and João Fernandes and
Paolo Romano and Francesco Quaglia and
Luis Rodrigues, SPECULA: Speculative
Replication of Software Transactional
Memory, The 31st International Symposium
on Reliable Distributed Systems, Oct. 2012 ,
IEEE.
• Carlos Páscoa and Rui Sancho and José
Manuel Nunes Salvador Tribolet, Strategic
Planning Cycle at the Portuguese Air Force,
• Paula Cristina Vaz and David Martins de
Matos and Bruno Martins, Stylometric
Relevance-feedback y B , B O ’12 - Online
Books, Complementary Social Media (workshop in conjunction wit CIK ’12), O . 2012 .
• Nuno Roma and Pedro Paulo Correia de
Magalhães, System-Level Prototyping
Framework for Heterogeneous Multi-Core
Architecture applied to Biological Sequence
Analysis, IEEE International Symposium on
Rapid System Prototyping (RSP), Oct. 2012
, pp. 156-162 , IEEE.
• Alberto Abad and Ramon Fernandez
Astudillo, The L2F Spoken Web Search system for Mediaeval 2012, Mediaeval 2012
Workshop, Oct. 2012 .
• João Pedro Marques Pombinho and David
Aveiro and José Manuel Nunes Salvador
Tribolet, Business Service Definition in
Enterprise Engineering - A Value-oriented
Approach, The Fourth W p S p f p , S 4 ’2012
EDOC 2012, Sep. 2012 .
• Hugo Rodrigues and Luísa Coheur, 2B$ Testing Past Algorithms in Nowadays Web,
15th International Conference on Text,
Speech and Dialogue (TSD), Sep. 2012 ,
Springer.
• J. C. Nascimento and J. S. Marques and J. M.
Lemos, A class of space-varying parametric motion fields for human ac y ., I . C f. I , ICI
2012, y’ C Springs Resort, Orlando, FL, USA,
Sep. 2012 , pp. 761-764 , IEEE.
• José Simão and Luís Veiga, A Classification
of Middleware to Support Virtual Machines
Adaptability in IaaS, 11th International
Workshop on Adaptive and Reflective
Middleware (ARM 2012), In conjuntion with
Middleware 2012, Sep. 2012 , ACM.
• Lucas Nunes Vieira and Cláudio Diniz and
Nuno J. Mamede and Jorge Baptista,
A Lexicon of Verb and -mente Adverb
Collocations in Portuguese, Proceedings
of the 31st International Conference on
Lexis and Grammar, Sep. 2012 , pp. 155-161 ,
Università degli Studi di Salerno /University
of South Bohem.
• Sandra Vanessa Pereira Gama do Rosário
and Gabriel José Faustino Fonseca Barata
and Daniel Jorge Viegas Gonçalves and Rui
Prada and Ana Paiva, A Model for Social
Regulation of User-Agent Relationships,
International conference on Intelligent
Virtual Agents IVA 2012, Sep. 2012 , pp. 319326 , Springer Berlin / Heidelberg.
• David Jorge Lopes Batista Martinho and
António Rito Silva, A Recommendation
Algorithm to C p ’ K , 10 I C f B Management
(BPM2012), Sep. 2012 , pp. 216-222 , Springer.
• Ivo Anjo and João Cachopo, A Software-based
Method-Level Speculation Framework
for the Java Platform, 25th International
Workshop on Languages and Compilers for
Parallel Computing, Sep. 2012 .
93
INESC-ID
ANNUAL
REPORT
2012
• António Manuel Raminhos Cordeiro Grilo
and Augusto Casaca and Helena Sarmento
and Mário Serafim Nunes and Paulo Rogério
Pereira and Carlos Fortunato and José
Gonçalves, A Wireless Sensors Suite for
Smart Grid Applications, 1st International
Workshop on Information Technology for
Energy Applications, Sep. 2012 , online
CEUR-WS.org/Vol-923; ISSN 1613-0073.
• Manuel Cajada and Paulo Ferreira and Luís
Veiga, Adaptive Consistency for Replicated
State in Real-Time-Strategy Multiplayer
Games, 11th International Workshop on
Adaptive and Reflective Middleware (ARM
2012), In conjuntion with Middleware 2012,
Sep. 2012 , ACM.
• Diego Didona and Daniele Carnevale and
Paolo Romano and Sergio Galeani, An
Extremum Seeking Algorithm for Message
Batching in Total Order Protocols, IEEE
International Conference on Self-Adaptive
and Self-Organizing Systems (SASO 2012),
Lyon, France, 10-14 Sept. 2012, Sep. 2012 .
• Alberto Abad and Annamaria Pompili
and Angela Costa and Isabel Trancoso,
Automatic word naming recognition for
treatment and assessment of aphasia,
Interspeech 2012, Sep. 2012 , ISCA.
• Davide António Pestana Passinhas and
MIchael Adams and Bernardo Oliveira
Pinto and Ricardo Carvalho Antunes da
Costa and António Rito Silva and Arthur
H.M. ter Hofstede, Blended Workflow
Engine, Demonstration Track of the 10th
International Conference on Business
Process Management (BPM 2012)., Sep.
2012 , pp. 23-28 , CEUR.
94
• Fernando Costa and Luís Veiga and Paulo
Ferreira, BOINC-MR: MapReduce in a
Volunteer Environment, 20th International
Conference on Cooperative Information
Systems (CoopIS 2012), Sep. 2012 , Springer,
LNCS.
• José Lopes and Andrew Fandrianto and
Maxine Eskenazi and Isabel Trancoso,
Can a spoken dialog system be used as a
tool to study convergence?, ISICS 2012 International Symposium on Imitation and
Convergence in Speech, Sep. 2012 .
• Frederico Mendonça Passos de Lopes e
Gonçalves and Lalith Suresh and Ricardo
Lopes Pereira and João Paulo Pinto Trindade
and Teresa Maria Sá Ferreira Vazão
Vasques, CLOWDE - Cross-Layer One-Way
Delay Estimation, International Conference
on Integrated Approaches for Vol- canic
Risk Management,, Sep. 2012 .
• Bruno Rodrigues de Araújo and Joaquim
Armando Pires Jorge and José Pinto Duarte,
Combining Virtual Environments and Direct
Manipulation for Architectural Modeling,
ECAADE 2012, Sep. 2012 , ECAADE.
• Emmanuel Kouokam and Njojo Jesse
Konang and Robert Mbe Akoko and
Mananga Guillaume Sosthene and João
Trindade, Communication and volcanic
Disaster Management: a Case Study of
Mount Cameroon, International Conference
on Integrated Approaches for Volcanic Risk
Management, Sep. 2012.
• João M. P. Cardoso and Tiago Carvalho and
José G.F. Coutinho and Pedro Diniz and Zlatko
Petrov, Controlling Hardware Synthesis
with Aspects, IEEE Intl. Symposium on
Digital Systems Design (DSD), Sep. 2012 .
• Stoyan Garbatov and João Cachopo,
Decreasing Memory Footprints for Better
Enterprise Java Application Performance,
23rd International Conference on Database
and Expert Systems Applications (DEXA
2012), Sep. 2012.
• João Completo and Rui Cruz and Luísa
Coheur and Manuel Delgado, Design and
Implementation of a Data Warehouse for
Benchmarking in Clinical Rehabilitation,
4th Conference of ENTERprise Information
Systems – aligning technology, organizations and people (CENTERIS 2012), Sep. 2012
, pp. 885-894 , Elsevier.
• Mário Pereira Véstias and Helena Sarmento,
Design of an IEEE 802.15.3c Receiver
in FPGA, International Conference on
Consumer Electronics, Sep. 2012 .
• Mário Pereira Véstias and Horácio C. Neto
and Helena Sarmento, Design of High-Speed
Viterbi Decoders on Virtex-6 FPGAs, 15th
Euromicro Conference on Digital System
Design, Sep. 2012 , pp. 938-945 .
• Sérgio Guerreiro and Steven Kervel and
André Ferreira Ferrão Couto e Vasconcelos
and José Manuel Nunes Salvador Tribolet,
EXECUTING
ENTERPRISE
DYNAMIC
SYSTEMS CONTROL WITH THE DEMO
PROCESSOR: the business transactions transition space validation, The 7th
Mediterranean Conference on Information
Systems (MCIS 2012), Sep. 2012.
• Tiago Guerreiro and Joaquim Armando Pires
Jorge and Daniel Jorge Viegas Gonçalves,
Exploring the Non-Visual Acquisition of
Targets on Touch Phones and Tablets,
ACM SIGCHI 2nd Workshop on Mobile
Accessibility, Sep. 2012 .
• Augusto Casaca and António Manuel
Raminhos Cordeiro Grilo and Carlos
Fortunato and Miguel Santos, Fault Location
in an Electrical Distribution Infrastructure
with a Wireless Sensor Network, PAC World
Conference 2012, Sep. 2012 , pp. 28-33 , PAC
World Magazine.
• Hugo Rito and João Cachopo, FlashbackSTM:
Improving STM performance by remembering the past, 25th International Workshop
on Languages and Compilers for Parallel
Computing, Sep. 2012.
Silva, Formally Specifying Requirements
with RSL-IL, QU IC’2012 C f , S p. 2012 , I C p
S y.
• Nuno Ricardo Ferreira and Samuel
Francisco Mascarenhas and Ana Paiva and
Frank Dignum and John Mc Breen and Nick
Degens and Gert Jan Hofstede, Generating
Norm-Related Emotions in Virtual Agents ,
12th International Conference on Intelligent
Virtual Agents IVA 2012, Sep. 2012 , pp. 97104 , Springer.
• João Bispo and João Cardoso and J.
Monteiro, Hardware Pipelining of RuntimeDetected Loops, IEEE XXV Symposium on
Integrated Circuits and Systems Design
(SBCCI), Sep. 2012 , pp. 1-6 .
• Nick Degens and Gert Jan Hofstede and John
McBreen and Adrie Beulens and Samuel
Francisco Mascarenhas and Nuno Ricardo
Ferreira and Ana Paiva and Frank Dignum,
hen Agents Meet:
• Empathy, Moral Circle, Ritual, and Culture,
Proceedings of the Empathic Emotional
Agents International Workshop AAMAS
2012, Sep. 2012 .
95
INESC-ID
ANNUAL
REPORT
2012
• Tiago Dias and Luís Miguel Seabra Ribau
Lopes Do Rosário and Nuno Roma and
Leonel Sousa, High Performance Unified
Architecture for Forward and Inverse
Quantization in H.264/AVC, 15th Euromicro
Conference on Digital System Design (DSD),
Sep. 2012 , pp. 632-639 .
• Rafael Costa and Andras Hartmann and P.
Gaspar and A. R. Neves and Susana Vinga,
Modeling the dynamics of Lactococcus
lactis central metabolism for strain development (poster), 11th European Conference
on Computational Biology (ECCB´12), Sep.
2012.
• Tiago Lopes Ferreira and Alberto Rodrigues
da Silva, Improving The Quality of The
Community K U I p C , QU IC’2012 C f , S p.
2012 , I Computer Society.
• Pedro Mota and Luísa Coheur and Sérgio
dos Santos Lopes Curto and Pedro Fialho,
Natural Language Understanding: From
Laboratory Predictions to Real Interactions,
15th International Conference on Text,
Speech and Dialogue (TSD), Sep. 2012 ,
Springer.
• Luis Marujo and Ricardo Ribeiro and David
Martins de Matos and João Paulo da Silva
Neto and Anatole Gershman and Jaime
Carbonell, Key Phrase Extraction of Lightly
Filtered Broadcast News, 15th International
Conference on Text, Speech and Dialogue
(TSD 2012), Sep. 2012 , Springer.
• Thomas Pellegrini and Angela Costa and
Isabel Trancoso, Less errors with TTS? A
dictation experiment with foreign language
learners, Interspeech 2012, Sep. 2012 , ISCA.
• Ricardo Candeias and Bruno Martins and
Pável Calado, Metadata Extraction from
Scholarly Articles Using a Two-Level
Hierarchy of CRF Models, Proceedings of
the International Conference on Theory and
Practice of Digital Libraries (TPDL 2012)},
Sep. 2012 .
• Ricardo Lopes Pereira and João Paulo Pinto
Trindade and Frederico Mendonça Passos
de Lopes e Gonçalves and João Gomes
and Duarte Barbosa and Lalith Suresh and
António Carlos Semedo da Cruz Varela and
Fernando Henrique Corte Real Mira da Silva
and Teresa Maria Sá Ferreira Vazão Vasques
and João Fonseca and Bruno Faria, MIAVITA
- Wireless Sensor Network, International
Conference on Integrated Approaches for
Volcanic Risk Management, Sep. 2012 .
96
• Ludmila Himmelspach and Joao P. Carvalho
and Stefan Conrad, On Cluster Validity
for Fuzzy Clustering of Incomplete Data,
SUM 2012 - Sixth International Conference
on Scalable Uncertainty Management,
Sep. 2012 , pp. 612-618 , Lecture Notes in
Computer Science, vol 7520, Springer.
• Daniel Hasan Dalip and Marcos Gonçalves
and Marco Cristo and Pável Calado, On
MultiView-Based
Meta-learning
for
Automatic Quality Assessment of Wiki
Articles, Proceedings of the International
Conference on Theory and Practice of
Digital Libraries (TPDL 2012)}, Sep. 2012 , pp.
234--246 .
Manquinho and Inês Lynce, On Partitioning
for Maximum Satisfiability, European
Conference on Artificial Intelligence (ECAI),
Sep. 2012 , pp. 913-914 .
• João Miranda and João Paulo da Silva
Neto and Alan Black, Parallel combination of speech streams for improved ASR,
• Mário Pereira Véstias and Horácio C. Neto,
Parallel Decimal Multipliers and Squarers
using Karatsuba-Of ’ , 15 C f Sy , S p. 2012 , pp.
782-788 .
• André Ribeiro and Alberto Rodrigues da
Silva, Survey on Cross-Platforms and
Languages for Mobile pp , QU IC’2012 C f , S
p. 2012 , I C p S y.
• Manas Pathak and José Miguel Ladeira
Portelo and Bhiksha Raj and Isabel Trancoso,
Privacy-preserving speaker authentication”, ISC 2012, Sep. 2012 , pp. 1-22 , SpringerVerlag .
• Hugo Rodrigues and Luísa Coheur and Ana
Cristina Mendes and Ricardo Ribeiro and
David Martins de Matos, Testing lexical approaches in QA4MRE, CLEF 2012, Sep. 2012 ,
Online Working Notes.
• Helena Moniz and Fernando Batista and
Isabel Trancoso and Ana Isabel Mata da
Silva, Prosodic context-based analysis of
disfluencies, Interspeech 2012, Sep. 2012 ,
ISCA.
• Gopala Anumanchipalli and Hugo Meinedo
and Miguel Bugalho and Isabel Trancoso
and Luís C. Oliveira and Alan Black, Textdependent pathological voice detection,
• José Simão and Luís Veiga, QoE-JVM:
An Adaptive and Resource-Aware Java
Runtime for Cloud Computing, 2nd
International Symposium on Secure Virtual
Infrastructures (DOA-SVI 2012), OTM
Conferences 2012, Sep. 2012 , Springer,
LNCS.
• Tiago Guiomar Ribeiro and Marco Vala and
Ana Paiva, Thalamus: Closing the Mind-Body
Loop in Interactive Embodied Characters,
12th International Conference on Intelligent
Virtual Agents IVA 2012, Sep. 2012 , pp. 189195 , Springer Berlin Heidelberg.
• João Trindade and Teresa Maria Sá Ferreira
Vazão Vasques and Ricardo Lopes Pereira,
Recomendations for the use of Public
Communication Networks during Volcanic
Events, International Conference on
Integrated Approaches for Volcanic Risk
Management, Sep. 2012 .
• André Negrão and João Filipe Ferreira da
Costa and Paulo Ferreira and Luís Veiga,
Semantic and Locality Aware Consistency
for Mobile Cooperative Editing, 20th
International Conference on COOPERATIVE
INFORMATION SYSTEMS (CoopIS 2012),
Sep. 2012 , Springer, LNCS.
• Diogo Morgado and Paulo Ferreira,
SmartSolarGrid - Deciding what to do
with Solar Energy production, IT4Energy
Workshop, 6-7 September. 2012, Ordem dos
Engenheiros, Lisboa, Portugal., Sep. 2012 .
• Luis Javier Rodríguez-Fuentes and Mikel
Penagarikano and Amparo Varona and
Mireia Diez and Germán Bordel and Alberto
Abad and David Martínez and Jesus Villalba
and Alfonso Ortega and Eduardo Lleida,
The BLZ Submission to the NIST 2011 LRE:
Data Collection, System Development and
Performance, Interspeech 2012, Sep. 2012 ,
ISCA.
Armando Pires Jorge, The Disability
Continuum: Investigating Health and
Situational Induced Impairments and
Disabilities, ACM SIGCHI 2nd Workshop on
Mobile Accessibility, Sep. 2012 .
97
INESC-ID
ANNUAL
REPORT
2012
• João Trindade and Teresa Maria Sá Ferreira
Vazão Vasques and Joao Duarte Fonseca,
The role of telecommunications in volcanic risk mitigation – lessons from the
MIAVITA Project, International Conference
on Integrated Approaches for Volcanic Risk
Management, Sep. 2012 .
Sardinha Andrade de Aveiro and José
Manuel Nunes Salvador Tribolet, Towards
Value-Oriented Enterprise Engineering Relativity in Service System Networks,
The 7th Mediterranean Conference on
Information Systems (MCIS 2012), Sep. 2012.
• Mário Pereira Véstias, Tradeoffs in the
Design of a MIMO Receiver Based on the
Alamouti Scheme, International Conference
on Consumer Electronics, Sep. 2012 .
Tradeoffs in the Design of Sliding Block
Viterbi Decoders for MB-OFDM UWB
Systems, International Conference on
Consumer Electronics, Sep. 2012 .
• Diego Didona and Paolo Romano and
Sebastiano Peluso and Francesco Quaglia,
Transactional Auto Scaler: Elastic Scaling
of In-Memory Transactional Data Grids, The
9th International Conference on Autonomic
Computing (ICAC 2012), Sep. 2012 .
• Ramon Fernandez Astudillo and Alberto
Abad and João Paulo da Silva Neto,
Uncertainty driven Compensation of MultiStream MLP Acoustic Models for Robust
ASR, Interspeech 2012, Sep. 2012 , ISCA.
• Jorge Baptista, ViPEr: A Lexicon-Grammar
of European Portuguese Verbs, Proceedings
of the 31st International Conference on
Lexis and Grammar, Sep. 2012 , pp. 10-16 .
98
• Henrique Teles Campos and Joana Carvalho
Filipe de Campos and Carlos António Roque
Martinho and Ana Paiva, Virtual Agents in
Conflict, 12th International Conference on
Intelligent Virtual Agents IVA 2012 , Sep.
2012, pp. 105-111 , Springer.
• Fernando Costa and Luís Veiga and Paulo
Ferreira, VMR: Volunteer MapReduce over
the Large Scale Internet, 10th International
Workshop on Middleware for Grids, Clouds
and e-Science (MGC 2012). In conjunction
with ACM/IFIP/USENIX 13th International
Middleware Conference 2012, Sep. 2012 ,
ACM.
• João Pedro Vieira Guerreiro and Daniel
Jorge Viegas Gonçalves, “Ten Things I Want
to Know About You”: Unveiling Friends
Attribute Relevance, ECCE 2012 - European
Conference on Cognitive Ergonomics, Aug.
2012.
• José Miguel Ranhada Vellez Caldas and
Sandra Carvalho and Ana Rute Neves and
Susana Vinga, A meta-analysis of the CcpA
regulon (poster), ICSB 2012, Aug. 2012.
• J. M. Lemos and João Pinheiro and Susana
Vinga, A nonlinear MPC approach to minimize toxicity in HIV-1 infection multi-drug
therapy. , 10th Portuguese Conference on
Automatic Control, CONTROL 2012, Funchal,
Portugal, Aug. 2012 , pp. 315-320 .
• J. M. Lemos, A nonlinear MPC approach to
minimize toxicity in HIV-1 infection multidrug therapy. , 10th Portuguese Conference
on Automatic Control, CONTROL 2012,
Funchal, Portugal, Aug. 2012 , pp. 315-320 .
• João Paulo Pinto Trindade and Teresa Maria
Sá Ferreira Vazão Vasques, A Performance
Evaluation of HRAN: A Hybrid Routing
Protocol Using Bloom Filters for Wireless
Mobile Ad Hoc Networks, , Aug. 2012 , pp.
139-142 .
• Eduardo José Resende Ortigueira and
Luís Oliveira and Jorge Manuel dos Santos
Ribeiro Fernandes and M. Medeiros Silva,
An Ultra Compact Wideband Combined
LNA-Oscillator-Mixer
for
Biomedical
Applications, Midwest Symp. Circuits and
Systems, Aug. 2012 , pp. 162-165 .
• Helena Moniz and Fernando Batista and Ana
Isabel Mata da Silva and Isabel Trancoso,
Analysis of disfluencies in a corpus of university lectures, ExLing 2012, Aug. 2012 .
• Angela Costa, Analysis of the google translation of somatisms from English into
Italian, Europhras Conference, Aug. 2012 .
• Roberto Palmieri and Francesco Quaglia
and Paolo Romano, ASAP: an Aggressive
SpeculAtive
Protocol
for
Actively
Replicated Transactional Systems, The 11th
IEEE International Symposium on Network
Computing and Applications (IEEE NCA12),
Aug. 2012 .
• Angela Costa, Contrastive analysis of somatisms in English and Italian, Proceedings of
the 15th EURALEX International Congress,
Aug. 2012 , pp. 1044-1047 , Department
of Linguistics and Scandinavian Studies,
Universi.
• Luis Jorge Matias de Lemos and Dina Silva
and Manuela Guerreiro and Isabel Santana
and Alexandre Mendonça and Pedro Tomás
a S C. , ’ f cognitive impairment using neuropsychological data, ACM SIGKDD Workshop
on Health Informatics (HI-KDD 2012), Aug.
2012 .
• J. M. Lemos, Distributed Control of
Water Delivery Canals., 10th Portuguese
Conference on Automatic Control,
CONTROL 2012, Funchal, Portugal., Aug.
2012 .
• Frederico Lopes and Thais Batista and
Everton Cavalcante and Thiago Pereira
and Flávia C. Delicato and Paulo F. Pires
and Paulo Ferreira, Dynamic and Semantic
Web Services Composition for Ubiquitous
Computing, WebMedia 2012, the 18th
Brazilian Symposium on Multimedia and the
Web, Aug. 2012 .
• Mário Pereira Véstias and Horácio C. Neto
and Helena Sarmento, Efficient Design of
Sliding Block Viterbi Decoders in FPGA,
22nd IEEE International Conference on Field
Programmable Logic Applications, Aug.
2012 .
• André Veríssimo and Laura Paixão and
Joana Oliveira and Ana Rute Neves and
Susana Vinga, Estimating and simulating
bacterial growth curves using dynamic and
statistical models, ICSB 2012, Aug. 2012 .
• Andras Hartmann and J. M. Lemos and
Susana Vinga, Estimation of time-varying
parameters in dynamic models of HIV-1 infection through nonlinear Bayesian filtering
(poster), ICSB 2012, Aug. 2012 .
• Inês Sampaio and J. M. Lemos and Luis
Miguel Mendonça Rato and M. Rijo, Fault
Tolerant Reconfigurable Control of a
Water Delivery Canal – Actuator Faults.,
10th Portuguese Conference on Automatic
Control, CONTROL 2012, Funchal, Portugal,
Aug. 2012 , pp. 359-364 .
• José C. Amante and Manuel J. Fonseca,
Fuzzy Color Space Segmentation to Identify
the Same Dominant Colors as Users,
International Conference on Distributed
Multimedia Systems (DMS 2012), Aug. 2012 .
99
INESC-ID
ANNUAL
REPORT
2012
• Bimal Babu Upadhyaya and Sandra Carvalho
and Ana Rute Neves and Sara C. Madeira and
Susana Vinga, Integration of genomics and
transcriptomics: analysis of Streptococcus
pneumoniae wild-type Δ p (p ), ICSB 2012, .
2012 .
• José Manuel Prista do Valle Cardoso Igreja
and J. M. Lemos and S. J. Costa, Lyapunov
stability constrained adaptive NMPC for
tubular bioreactors., 10th Portuguese
Conference on Automatic Control,
CONTROL 2012, Funchal, Portugal, Aug.
2012 , pp. 87-92 .
• Lalith Suresh and Julius Schulz-Zander and
Ruben Merz and Anja Feldmann and Teresa
Maria Sá Ferreira Vazão Vasques, Towards
Programmable Enterprise WLANs with
Odin, , Aug. 2012 , pp. 115-120 , ACM.
• Svetislav Momcilovic and Nuno Roma and
Leonel Sousa, Multi-level Parallelization
of Advanced Video Coding on Hybrid
CPU+GPU
Platforms,
International
Workshop on Algorithms, Models and Tools
for Parallel Computing on Heterogeneous
Platforms (HeteroPar), Aug. 2012 .
• J. M. Lemos and J. Gomes and Bertinho
Manuel D’Andrade da Costa and P. Gambus
and E. W. Jensen, A bi-phase algorithm
to identify hypnotic models of patients
subject to deep sedation for ultrasonographic endoscopy., 16th IFAC Symposium
on System Identification, SYSID 2012,
Brussels, Belgium. July 11-13, 2012, Jul. 2012 ,
pp. 775-780 , IFAC.
and J. M. Lemos and Filipe Alexandre
Maia Cadete and Luis Miguel Mendonça
Rato and M. Rijo, Parameter Tuning of a
Distributed Model Predictive Controller
for Water Delivery Canal Application., 10th
Portuguese Conference on Automatic
Control, CONTROL 2012, Funchal, Portugal,
Aug. 2012 , pp. 371-376 .
• Pedro Miguel Torpes de Amaral and Susana
Pinto and Mamede de Carvalho and Pedro
Tomás and Sara C. Madeira, Predicting the
need for non-invasive ventilation in patients
with Amyotrophic Lateral Sclerosis, ACM
SIGKDD Workshop on Health Informatics
(HI-KDD 2012), Aug. 2012 .
100
• Sérgio Esteves and João Nuno de Oliveira
e Silva and Luís Veiga, Quality-of-Service
for Consistency of Data Geo-Replication in
Cloud Computing, International European
Conference on Parallel and Distributed
Computing (Euro-Par 2012), Aug. 2012 ,
Springer, LNCS.
• Joao P. Carvalho and Fernando Batista and
Luísa Coheur, A Critical Survey on the use of
Fuzzy Sets in Speech and Natural Language
Processing, WCCI2012 - IEEE World
Congress on computational Intelligence, Jul.
2012 , pp. 270-277 , IEEE.
• Mário Pereira Véstias and Pedro Pinho, A
High-Rate MIMO Receiver in an FPGA, 2012
IEEE International Symposium on Antennas
and Propagation and USNC-URSI National
Radio Science Meeting, Jul. 2012 .
• Margarida Silva and Tiago Guerreiro and
Daniel Jorge Viegas Gonçalves and Hugo
Silva, A Web-Based Application to Address
Individual Interests of Children with Autism
Spectrum Disorders, DSAI: 4th International
Conference on Software Development for
Enhancing Accessibility and Fighting InfoExclusion, Jul. 2012 , Elsevier.
• Miguel José Simões Barão, An Algorithm for
Cooperative Probabilistic Control Design,
20th Mediterranean Conference on Control
and Automation, Jul. 2012 , pp. 1161-1164 ,
IEEE.
• Adrian Matoga and Ricardo Chaves and
Pedro Tomás and Nuno Roma, An FPGA
based Accelerator for Encrypted File
Systems, 8th International Summer School
on Advanced Computer Architecture and
Compilation for High-Performance and
Embedded Systems (ACACES), Jul. 2012 ,
HiPEAC.
• Oksana Denysyuk and Luis Rodrigues,
Brief Announcement: Order-preserving
Renaming in Synchronous Message Passing
Systems with Byzantine Faults, The 31st
Annual ACM SIGACT-SIGOPS Symposium
on Principles of Distributed Computing, Jul.
2012 .
• João D Ferreira and Catia Pesquita and
Francisco M Couto and Mário J. Silva,
Bringing epidemiology into the Semantic
Web, 3rd International Conference on
Biomedical Ontology (ICBO 2012), Jul. 2012 ,
CEUR Workshop Proceedings - http://ceurws.org/Vol-897/.
• Marta D. Santos and Francisco C. Santos and
Jorge M. Pacheco, Collective Evolutionary
Dynamics and Spatial Reciprocity under the
N-Person Snowdrift Game, 5th International
ICST Conference on Bio-Inspired Models
of Network, Information, and Computing
System, J. Suzuki and T. Nakano (Eds.), Jul.
2012 , pp. 178-188 , Springer.
• António Manuel Rebelo Alves Homem
Ferreira and Ricardo Lopes Pereira and
Fernando Henrique Corte Real Mira da
Silva, Content Redundancy in BitTorrent,
21st International Conference on Computer
Communications and Networks (ICCCN
2012), Jul. 2012 .
Raminhos Cordeiro Grilo, Differentiated
Reliability for Wireless Multimedia Sensor
Networks, 21st International Conference on
Computer Communications and Networks
2012, Jul. 2012 , pp. 1-6 , IEEE.
• Luis Rodrigues and Paolo Romano,
Distributed
Software
Transactional
Memories: A Summary of Research @ IST/
INESC-ID, The 5th Workshop Large Scale
Distributed Systems and Middleware
(LADIS 2012), Jul. 2012 .
• Frederico Pratas and Pedro Tomás and
Pedro Trancoso and Leonel Sousa, Energy
efficient
Stream-based
Configurable
Architecture for embedded platforms,
International Conference on Embedded
Computer
Systems:
Architectures,
Modeling and Simulation, Jul. 2012 .
• Wang Ling and João Graça and Isabel
Trancoso and Alan Black, Entropy-based
Pruning for Phrase-based Machine
Translation, 2012 Joint Conference on
Empirical Methods in Natural Language
Processing and Computational Natural
Language Learning, Jul. 2012 , Association
for Computational Linguistics.
and Jorge M. Pacheco, Evolutionary
Dynamics of Cooperation Under the
Distributed Prisoner s Dilemma, 5th
International ICST Conference on BioInspired Models of Network, Information,
and Computing System, J. Suzuki and
T. Nakano (Eds.), Jul. 2012 , pp. 523-532 ,
Springer Berlin Heidelberg.
101
INESC-ID
ANNUAL
REPORT
2012
• João A. Moreira and Jorge M. Pacheco and
Francisco C. Santos, Evolving the asymmetry of the Prisoner s dilemma game in adaptive social structures , 5th International
ICST Conference on Bio-Inspired Models
of Network, Information, and Computing
System, J. Suzuki and T. Nakano (Eds.),
Jul. 2012 , pp. 205-212 , Springer Berlin
Heidelberg.
• J. M. Lemos and José Manuel Prista do Valle
Cardoso Igreja and Filipe Alexandre Maia
Cadete and Luis Miguel Mendonça Rato and
M. Rijo, Experimental application to a water
delivery canal of a distributed MPC with
stability constraints. , 10th International
Conference on Hydroinformatics, HIC 2012,
Hamburg, Germany., Jul. 2012 .
• Sebastiano Peluso and Paolo Romano and
Francesco Quaglia, Genuine replication,
opacity and wait-free read transactions: can
a STM get them all?, 4th Workshop on the
Theory of Transactional Memory (WTTM
2012), Madeira, Portugal, Jul. 2012 .
• Frans Adriaan Oliehoek and Stefan Witwicki
and Leslie Pack Kaelbling, Influence-Based
Abstraction for Multiagent Systems,
Twenty-Sixth AAAI Conference on Artificial
Intelligence, Jul. 2012 , AAAI Press.
• P. Rosa and Tiago Alexandre de Almeida
Simão and J. M. Lemos and C. Silvestre,
Multiple-Model Adaptive Control of an Air
Heating Fan using Set-Valued Observers.,
20th Mediterranean Conf. on Control and
Automation, MED 2012, Catalonia Barcelona
Plaza Hotel, Barcelona, Spain, Jul. 2012 , pp.
469-474 .
102
• Bertinho Manuel D’Andrade da Costa and
J. M. Lemos, Neuromuscular Blockade
Control Based on Self-Oscillating Adaptive
Systems, 10th Portuguese Conference on
Automatic Control, Jul. 2012.
Silva, Obtaining Formal Requirements
Representations with the RSLingo
Approach, 24rd International Conference
on Software Engineering and Knowledge
Engineering (SEKE-2012), Jul. 2012 .
• Nuno Miguel Lourenço Diegues and João
Cachopo, On the design space of Parallel
Nesting, 4th Workshop on the Theory of
Transactional Memory, Jul. 2012 .
• Andras Hartmann and Susana Vinga and J.
M. Lemos, Online Bayesian Time-varying
Parameter Estimation of HIV-1 Timeseries, 16th IFAC Symposium on System
Identification, (SYSID 2012), Jul. 2012 , pp.
1294-99 .
• Parth Gupta and Anabela Marques
Barreiro and Paolo Rosso, Paraphrastic
Cross-Language Plagiarism Detection
with Semantico-Syntactic Unit Mapping,
Proceedings of the I Workshop de
Procesamiento Automatizado de Textos y
Corpora (WoPATeC-2012), Jul. 2012 .
• Bertinho Manuel D’Andrade da Costa and
J. M. Lemos, Predictive Adaptive Control
of Neuromuscular Relaxation, 20th
Mediterranean Conference on Control and
Automation, Jul. 2012 .
• Andreas Wichert, Product quantization for
vector retrieval with no error, International
Conference on Enterprise Information
Systems, Jul. 2012 , pp. 87-92 .
• Tiago Alexandre de Almeida Simão and
Miguel José Simões Barão and Jorge
Salvador Marques, Recursive Bayesian
Identification of Nonlinear Autonomous
Systems, 20th Mediterranean Conference
on Control and Automation, Jul. 2012 , pp.
210-215 , IEEE.
• Pedro Miguel Florindo Miguens Matutino
and Hector Pettenghi and Ricardo Chaves
and Leonel Sousa, RNS Arithmetic units
for modulo {2n+-k}, 15th EUROMICRO
Conference on Digital System Design:
Architectures, Methods and Tools DSD2012, Jul. 2012 , IEEE Computer Society
Press.
• Daniela Viegas Caiado and J. M. Lemos and
Bertinho Manuel D’Andrade da Costa,
Robust Pole-Placement Control Of
Neuromuscular Blockade, 10th Portuguese
Conference on Automatic Control, Jul. 2012 .
• Francisco M Couto and João D Ferreira
and João Zamite and Carlos Santos and
Tiago Posse and Paulo Graça and Dulce
Domingos and Mário J. Silva, The Epidemic
Marketplace Platform: towards semantic
characterization of epidemiological resources using biomedical ontologies, 3rd
International Conference on Biomedical
Ontology (ICBO 2012), Jul. 2012 , CEUR
Workshop Proceedings - http://ceur-ws.
org/Vol-897/.
• Kostas Karpouzis and Georgios N.
Yannakakis and Ana Paiva and Jeppe Herlev
Nielsen and Asimina Vasalou and Arnav
Jhala, User Modelling and Adaptive, Natural
Interaction for Conflict Resolution, 12th
IEEE International Conference on Advanced
Learning Technologies, ICALT 2012, Jul. 2012
, pp. 692-693 , IEEE.
• Shen Li and João Graça and Ben Taskar, Wikily Supervised Part-of-Speech Tagging, 2012
Joint Conference on Empirical Methods
in Natural Language Processing and
Computational Natural Language Learning,
Jul. 2012
• Shen Li and João Graça, Wiki-ly Supervised
Part-of-Speech Tagging, 2012 Joint
Conference on Empirical Methods in Natural
Language Processing and Computational
Natural Language Learning, Jul. 2012 ,
Association for Computational Linguistics.
• Ruben Carlos Gonçalves Martins and
Vasco Manquinho and Inês Lynce, Clause
Sharing in Deterministic Parallel Maximum
Satisfiability, RCRA International Workshop
on Experimental Evaluation of Algorithms
for solving problems with combinatorial explosion, Jun. 2012 .
• Joao Carvalho and Luís Oliveira and Joao
Oliveira and Joao Goes and M. Medeiros
Silva, A balun Transimpedance Amplifier
with adjustable gain for integrated SPO2
optic sensors, 19th IEEE Int. Conf. M x f I C Sy
( IX S’12), . 2012 .
• Joana Carvalho Filipe de Campos and
Henrique Teles Campos and Carlos António
Roque Martinho and Ana Paiva, A Serious
Game to Teach Conflict Resolution to
Children, 11th International Conference in
Intelligent Tutoring Systems, Jun. 2012 ,
Springer Berlin / Heidelberg.
• P. Rosa and J. M. Lemos and Filipe Alexandre
Maia Cadete and C. Silvestre, A Set-Valued
Observer Approach to Multiple-Model
Adaptive Control of Neuromuscular
Blockade. , American Control Conference,
Fairmont Queen Elizabeth, Montréal,
Canada, June 27-June 29, 2012, Jun. 2012 , pp.
5598-5603 .
103
INESC-ID
ANNUAL
REPORT
2012
Sardinha Andrade de Aveiro and José Manuel
Nunes Salvador Tribolet, A Value-oriented
Approach to Business/IT Alignment –
Towards Formalizing Purpose in System
Engineering, Workshop on Business/ITAlignment and Interoperability-BUSITAL
2012 at CAISE 2012, Jun. 2012 , pp. 555-566,
Springer.
• António Manuel Raminhos Cordeiro Grilo
and Augusto Casaca and Paulo Rogério
Pereira and Levente Buttyan and José
Gonçalves and Carlos Fortunato, A Wireless
Sensor and Actuator Network for Improving
the Electrical Power Grid Dependability, 8th
Conference on Next Generation Networks,
Jun. 2012 , pp. 71-78 , IEEE Explorer .
• Nuno Miguel Antunes Freire and José
Borbinha and Pável Calado, An Analysis of
the Named Entity Recognition Problem in
Digital Library Metadata, Proceedings of
the 12th ACM/IEEE-CS Joint Conference on
Digital Libraries JCDL 2012, Jun. 2012 .
• Xavier Vilaça and Oksana Denysyuk and
Luis Rodrigues, Asynchrony and Collusion
in the N-party BAR Transfer Problem,
The 19th International Colloquium on
Structural Information and Communication
Complexity (SIROCCO 2012), Jun. 2012 .
• Luis Pina and João Cachopo, Atomic Dynamic
Upgrades Using Software Transactional
Memory, Fourth Workshop on Hot Topics in
Software Upgrades (HotSWUp 2012), Jun.
2012 .
104
• Diego Didona and Pierangelo Di Sanzo and
Roberto Palmieri and Sebastiano Peluso
and Francesco Quaglia and Paolo Romano,
Automated Workload Characterization in
Cloud-based Transactional Data Grids, 17th
IEEE Workshop on Dependable Parallel,
Distributed and Network-Centric Systems,
Jun. 2012 .
• Anna Thanopoulou and Paulo Jorge
Fernandes Carreira and Helena Galhardas,
Benchmarking with TPC-H on Off-the-shelf
Hardware (poster paper), International
Conference on enterprise Information
Systems (ICEIS), Jun. 2012 .
• Diogo Duarte and Carla Farinha and Miguel
Mira da Silva and Alberto Rodrigues da Silva,
Collaborative Requirements Elicitation
with Visualization Techniques, 21th IEEE
International Conference on Collaboration
Technologies and Infrastructures, Jun. 2012
, IEEE Computer Society.
• Carlos Manuel Tadeia Rosão and Ricardo
Ribeiro and David Martins de Matos,
Comparing Onset Detection Methods
Based on Spectral Features, OSDOC 2012:
Workshop Open Source and Design of
Communication , Jun. 2012 , pp. 71-78 , ACM.
and J. M. Lemos and Filipe Alexandre Maia
Cadete and Luis Miguel Mendonça Rato
and M. Rijo, Control of a water delivery
canal with cooperative distributed MPC.,
American Control Conference, Fairmont
Queen Elizabeth, Montréal, Canada, June 27June 29, 2012, Jun. 2012 , pp. 3346-3351 .
• Diego Didona and Pascal Felber and Derin
Harmanci and Paolo Romano, Elastic
Scaling for Transactional Memory: From
Centralized to Distributed Architectures
(Poster), 4th Usenix Workshop on Hot
Topics in Parallelism (HOTPAR 2012), Jun.
2012 .
• Mikolas Janota and Inês Lynce and Joao
Marques Silva, Experimental Analysis of
Backbone Computation Algorithms, RCRA
International Workshop on Experimental
Evaluation of Algorithms for solving problems with combinatorial explosion, Jun.
2012.
• Francisco S. Melo and Matthijs T. J. Spaan
and Stefan Witwicki, Exploiting Sparse
Interactions for Optimizing Communication
in Dec-MDPs, Multi-agent Sequential
Decision Making in Uncertain Domains,
2012. Workshop at AAMAS12 , Jun. 2012 .
FPGA implementation of IEEE 802.15.3c
receiver, IEEE International Symposium on
Consumer Electronics, Jun. 2012 .
• Slim Kammoun and Christophe Jouffrais
and Tiago Guerreiro and Hugo Miguel Aleixo
Nicolau and Joaquim Armando Pires Jorge,
Guiding Blind People with Haptic Feedback,
Pervasive 2012 Workshop on Frontiers ion
Accessibility for Pervasive Computing, Jun.
2012 , ACM Press.
• Stefan Witwicki and Frans A. Oliehoek and
Leslie Pack Kaelbling, Heuristic search of
multiagent influence space, International
Conference on Autonomous Agents and
Multiagent Systems, AAMAS 2012, Jun. 2012
, pp. 973-980 , IFAAMAS.
• Antonio Morgado and Federico Heras and
Joao Marques Silva, Improvements to CoreGuided Binary Search for MaxSAT, Theory
and Applications of Satisfiability Testing
(SAT 2012), Jun. 2012 , pp. 284-297 , Springer.
• Paula Cristina Vaz and David Martins
de Matos and Bruno Martins and Pável
Calado, Improving an Hybrid Literary Book
Recommendation System through Author
Ranking, ACM/IEEE Joint Conference on
Digital Libraries - JCDL 2012, Jun. 2012 , ACM.
• Mário Guimarães and António Rito Silva,
Improving Early Detection of Software
Merge Conflicts, 34th International
Conference on Software Engineering
(ICSE2012), Jun. 2012 , pp. 342-352 , IEEE.
Francisco C. Santos, Intention recognition,
commitment and the evolution of cooperation, Proc. IEEE Congress on Evolutionary
Computation (CEC) and WCCI 2012 IEEE
World Congress on Computational
Intelligence, Jun. 2012 , pp. 1-8 .
• Nuno Machado and Paolo Romano and
Luis Rodrigues, Lightweight Cooperative
Logging for Fault Replication in Concurrent
Programs, The 42nd Annual IEEE/IFIP
International Conference on Dependable
Systems and Networks (DSN 2012), Jun.
2012 .
• Tiago Guerreiro and Hugo Miguel Aleixo
Nicolau and Daniel Jorge Viegas Gonçalves
and Joaquim Armando Pires Jorge, Mobile
Text Entry: The Unattainable Ultimate
Method, Pervasive 2012 Workshop on
Frontiers ion Accessibility for Pervasive
Computing, Jun. 2012 .
• Anton Belov and Alexander Ivrii and Arie
Matsliah and Joao Marques Silva, On
Efficient Computation of Variable MUSes,
Theory and Applications of Satisfiability
Testing (SAT 2012), Jun. 2012 , pp. 298-311,
Springer.
• Lucas Bordeaux and Mikolas Janota and
Joao Marques Silva and Pierre Marquis,
On Unit-Refutation Complete Formulae
with Existentially Quantified Variables,
Principles of Knowledge Representation
and Reasoning (KR 2012), Jun. 2012 , AAAI.
• Carlos Páscoa and David Sardinha Andrade
de Aveiro and José Manuel Nunes Salvador
Tribolet, Organizational Configuration Actor
Role Modeling Using DEMO, Practice-driven
Research on Enterprise Transformation,
PRET4@CAiSE 2012, Jun. 2012 , pp. 18-47 .
105
INESC-ID
ANNUAL
REPORT
2012
• Stefan Witwicki and Inn-Tung Chen and
Edmund H. Durfee and Satinder P. Singh,
Planning and evaluating multiagent influences under reward uncertainty, International
Conference on Autonomous Agents and
Multiagent Systems, AAMAS 2012, Jun.
2012, pp. 1277-1278 , IFAAMAS.
• Matteo Cesana and Alessandro Redondi
and Nestor Michael Tiglao and António
Manuel Raminhos Cordeiro Grilo and José
M. Barceló Ordinas and M. Alaei and Petia
Todorova, Real-time multimedia monitoring in large-scale wireless multimedia sensor networks: Research Challenges, 8th
EURO-NGI Conference on Next Generation
Internet (NGI 2012), Jun. 2012 , pp. 79-86 ,
IEEE.
• Elena Márquez Segura and Henriette Cramer
and Paulo Gomes and Stina Nylander and
Ana Paiva, Revive! Reactions to Migration
between Different Embodiments when
Playing with Robotic Pets, 11th International
Conference on Interaction Design and
Children, Jun. 2012 .
• Mikolas Janota and William Klieber and
Joao Marques Silva and Edmund M. Clarke,
Solving QBF with Counterexample Guided
Refinement, Theory and Applications of
Satisfiability Testing (SAT 2012), Jun. 2012 ,
pp. 114-128 , Springer.
• S. Grebenshchikov and Nuno Claudino
Pereira Lopes and C. Popeea and A.
Rybalchenko,
Synthesizing
Software
Verifiers from Proof Rules, ACM SIGPLAN
Conference on Programming Language
Design and Implementation (PLDI), Jun.
2012.
106
Francisco C. Santos, The emergence of commitments and cooperation, Proceedings
of the 11th International Conference on
Autonomous Agents and Multiagent
Systems (AAMAS 2012), Conitzer, Winikoff,
Padgham, and van der Hoek (eds.), Jun. 2012 ,
IFAAMAS.
• Jorge Filipe Leal Costa Semião and J.
Pachito and C. Martins and Marcelino Bicho
dos Santos and Isabel Maria Silva Nobre
Parreira Cacho Teixeira and João Paulo
Cacho Teixeira, The Influence of ClockGating On NBTI-Induced Delay Degradation,
18th IEEE International On-Line Testing
Symposium – IO S’12, . 2012 , pp. 27-29 .
• Rui Prada and Guilherme Coelho Barreira
Raimundo and Márcia Lourenço Baptista
and Joana Dimas Couto Silva and Pedro
Alexandre Caria Santos and Carlos António
Roque Martinho and Jorge Peña and Luís
Landeiro Ribeiro, The Role of Social Identity,
Rationality and Anticipation in Believable.
• Agents, 11th International Conference
on Autonomous Agents and Multiagent
Systems AAMAS 2012, Jun. 2012 , pp.
1175-1176, International Foundation for
Autonomous Agents and Multiagen.
• Sebastiano Peluso and Pedro Ruivo and
Paolo Romano and Francesco Quaglia and
Luis Rodrigues, When Scalability Meets
Consistency: Genuine Multiversion UpdateSerializable Partial Data Replication,
The 32nd International Conference
on Distributed Computing Systems
(ICDCS-32), Jun. 2012 .
• Miguel Martins and Miguel Santos and Jorge
Moises Simões Piedade, A Digital-to-Analog
Converter for a Cortical Microelectrode
Stimulator, IEEE Int. Symp. on Circuits and
Systems (ISCAS), May. 2012 .
• Nuno Miguel Antunes Freire and José
Borbinha and Pável Calado, An Approach
for Named Entity Recognition in Poorly
Structured Data, 9th Extended Semantic
Web Conference (ESWC2012), May. 2012 ,
pp. 718--724 .
• Federico Heras and Antonio Morgado and
Joao Marques Silva, An Empirical Study of
Encodings for Group MaxSAT, Canadian
Conference on Artificial Intelligence (AAI
2012), May. 2012 , pp. 85-96 , Springer.
• Angela Costa and Tiago Luís and Joana
Ribeiro and Ana Cristina Mendes and Luísa
Coheur, An English-Portuguese parallel corpus of questions: translation guidelines and
application in SMT, Proceedings of the Eight
International Conference on Language
Resources and Evaluation (LREC12), May.
2012 , European Language Resources
Association (ELRA).
• David Alexandre Flores Correia and Marcelo
Dal Alba and Miguel Martins and Taimur
Kuntz and Cesar Rodrigues and Jorge Manuel
dos Santos Ribeiro Fernandes, An IR-UWB
Transmitter with Digital Pulse Duration
Control, IEEE International Symposium on
Circuits and Systems (ISCAS), May. 2012 .
• Gabriel José Faustino Fonseca Barata and
Hugo Nicolau and Daniel Jorge Viegas
Gonçalves, Appinsight: What have I been
doing?, AVI 2012 - International Working
Conference in Advanced Visual Interfaces,
May. 2012 .
• Ivan Bastos and Luís Oliveira and João Pedro
Oliveira and João Goes and M. Medeiros
Silva, Balun LNA with Continuously
Controlable Gain and with Noise and
Distprtion Cancellation, IEEE Int. Symp.
Circuits and Systems (ISCAS ´12), May. 2012,
IEEE.
• Gracinda Carvalho and David Martins
de Matos and Vítor Rocio, Building
and Exploring Semantic Equivalences
Resources, Language Resources and
Evaluation Conference - LREC 2012, May.
2012 , European Language Resources
Association (ELRA).
• João Silva and Luísa Coheur and Angela
Costa and Isabel Trancoso, Dealing with unknown words in statistical machine translation, Proceedings of the Eight International
Conference on Language Resources and
Evaluation (LREC12), May. 2012 , European
Language Resources Association (ELRA).
Aveiro and José Manuel Nunes Salvador
Tribolet, Defining Purpose, Value and
Function in Enterprise Engineering,
Enterprise
Engineering
Working
Conference, EEWC 2012, May. 2012 , pp. 93107 , Springer.
• Luís Rosado and Pedro Ramos and Fernando
Janeiro and Moises Simões Piedade, Eddy
Currents Testing Defect Characterization
based on Non-Linear Regressions and
Artificial Neural Networks, IEEE I2MTC
- International Instrumentation and
Measurement Technology Conference, May.
2012 .
• Paolo Romano, Elastic, scalable and
self-tuning data replication in the CloudTM platform, Proceedings of 1st European
Workshop on Dependable Cloud Computing
(EWDCC 2012), May. 2012.
• Sergio Guerreiro and André Ferreira Ferrão
Couto e Vasconcelos and José Manuel Nunes
Salvador Tribolet, Enterprise dynamic systems control enforcement of run-time business transactions, Enterprise Engineering
Working Conference, EEWC 2012, May. 2012,
107
INESC-ID
ANNUAL
REPORT
2012
• Pedro Fialho and Sérgio dos Santos Lopes
Curto and Ana Cristina Mendes and Luísa
Coheur, Extending a wordnet framework
for simplicity and scalability, Proceedings
of the Eight International Conference
on Language Resources and Evaluation
(LREC12), May. 2012 , European Language
Resources Association (ELRA).
• Edinei Santin and Luís Oliveira and Joao
Goes, Fast and Accurate Estimation of
Gain and Sample Time Mismatches in Time
Interleaved ADCs using on-Chip Oscillators,
IEEE Int. Symp. Circuits and Sy (ISC S’12), y.
2012 .
• David Clarke and Aleksandar Ilic and Alexey
Lastovetsky and Leonel Sousa, Hierarchical
Partitioning Algorithm for Scientific
Computing on Highly Heterogeneous CPU +
GPU Clusters, Euro-Par, May. 2012 .
• Ricardo Jorge Jota Costa and Pedro Lopes
and Joaquim Armando Pires Jorge, I, the
Device: Observing Human Aversion from
an HCI Perspective, ACM SICGHI 2012, May.
2012 , pp. 261-270 , ACM Press.
• Nelson Marques and Ricardo Dias
and Manuel J. Fonseca, Improving
Blog Exploration through Interactive
Visualization, AVI 2012 - International
Working Conference in Advanced Visual
Interfaces , May. 2012 , ACM.
• António Rito Silva and Michael Rosemann,
Integrating Organisational Design with
IT Design: The Queensland Health Payroll
Case, 7th International Conference on
Design Science Research in Information
Systems and Technology (DESRIST 2012),
May. 2012 , pp. 271-286 , Springer.
108
• Ramon Fernandez Astudillo and Alberto
Abad and João Paulo da Silva Neto,
Integration of Beamforming and Automatic
Speech Recognition Through Propagation
of the Wiener Posterior, ICASSP, May. 2012,
pp. 4909--4912 .
• Filipe Arroyo Cardoso and Tiago Costa and
José Germano and Susana Cardoso and
Jérôme Borme and João Gaspar, Integration
of Magnetoresistive Biochips on a CMOS
circuit, IEEE Int. Magnetics Conference
(INTERMAG 2012), May. 2012 .
• Filipe Arroyo Cardoso and Tiago Costa and
José Germano and Susana Cardoso and
Jérôme Borme and João Gaspar and Jorge
Moises Simões Piedade and Paulo Freitas,
Integration of Magnetoresistive Biochips
on a CMOS circuit, IEEE Int. Magnetics
Conference (INTERMAG 2012), May. 2012 .
• Ricardo Dias and Manuel J. Fonseca and
Daniel Jorge Viegas Gonçalves, Interactive
Exploration of Music Listening Histories.,
AVI 2012 - International Working Conference
in Advanced Visual Interfaces, May. 2012 .
• R. M. Nickel and Ramon Fernandez Astudillo
and D. Kolossa and S. Zeiler and R. Martin,
Inventory-Style Speech Enhancement with
Uncertainty-of-Observation Techniques,
ICASSP, May. 2012 , pp. 4645--4648 .
• S. Abdollahvand and Joao Goes and
Luís Oliveira and Luis Gomes and Nuno
Paulino, Low Phase Noise Temperature
Compensated Self-Biased Ring Oscillator,
IEEE Int. Symp. Circuits and Systems (ISC
S’12), y. 2012 .
• Joao Casaleiro and Luís Oliveira and Igor
Filanovsky, Low-Power and Low-Area CMOS
Quadrature Oscillator with Capacitive
Coupling, IEEE Int. Symp. Circuits and Sy
(ISC S’12), y. 2012 .
• João Teixeira and Gabriel José Faustino
Fonseca Barata and Daniel Jorge Viegas
Gonçalves, Metabrain: Visualizing the
Implicit Web, AVI 2012 - International
Interfaces, May. 2012 .
Armando Pires Jorge and Géry Casiez,
Mockup Builder: 3D Modeling On and Above
the Surface in a Continuous Interaction
Space, Graphics Interface, May. 2012,
Canadian Information Processing Society .
Armando Pires Jorge and Géry Casiez and
Martin Hachet, Modeling on and Above
a Stereoscopic Multitouch Display, ACM
3DCHI Workshop, May. 2012 , ACM Press.
• Pedro Louro and João Coelho Garcia and
Paolo Romano, MultiPathPrivacy: Enhanced
Privacy in Fault Replication, Ninth European
Dependable Computing Conference (EDCC
2012), May. 2012 .
• Huan Chen and Joao Marques Silva, New &
improved models for SAT-based bi-decomposition, Great Lakes Symposium on VLSI
(GLS VLSI 2012), May. 2012 , ACM.
• Miguel Correia and Daniel G. Ferro and Flavio
Junqueira and Marco Serafini, Practical
Hardening of Crash-Tolerant Systems,
USENIX Annual Technical Conference (ATC),
May. 2012 .
• Taimur Kuntz and Renan Pinheiro and Jorge
Cesar Rodrigues, PyCO: A Parallel Genetic
Algorithm Optimization Tool for Analog
Circuits, IEEE International Symposium on
Circuits and Systems (ISCAS), May. 2012.
• P. P. Freitas and F. Cardoso and S. Cardoso
and J. Amaral and D. Leitão and T. Dias and
V. Romao and R. Ferreira and J. Gaspar and
M. Debbs and M. Costa and A. Sebastiao and
José Germano and Moises Simões Piedade
and Tiago Costa, Recent advances in spintronic microsystems for biomedical applications. (Invited), International Magnetics
Conference (INTERMAG 2012), May. 2012 .
• Luis Marujo and Anatole Gershman and
Jaime Carbonell and Robert Frederking and
João Paulo da Silva Neto, Supervised Topical
Key Phrase Extraction of News Stories using Crowdsourcing, Light Filtering and Coreference Normalization, 8th International
Conference on Language Resources and
Evaluation (LREC 2012), May. 2012 , ELRA.
Armando Pires Jorge, Touch Typing using Thumbs: Understanding the Effect of
Mobility and Hand Posture, ACM SICGHI
2012, May. 2012 , pp. 2683-2686 , ACM Press.
• Vasco Miguel Moreira do Amaral and
Bruno Barroca and Paulo Jorge Fernandes
Carreira, Towards a robust solution in building automation systems: Supporting rapid
prototyping and analysis, In f QU IC’12, I , Q y ,
May. 2012 , Springer.
• Pedro B Pascoal and Alfredo Ferreira and
Joaquim Armando Pires Jorge, Towards
an Immersive Interface for 3D Object
Retrieval, 3DOR: 3D Object Retrieval, May.
2012 , pp. 51-54 , Eurographics.
• Nuno Miguel Silvestre Apolónia and Paulo
Ferreira and Luís Veiga, Trans-Social
Networks for Distributed Processing, IFIP
International Networking Conference 2012
(Lecture Notes in Computer Science), May.
2012 , Springer.
109
INESC-ID
ANNUAL
REPORT
2012
• João Pedro Vieira Guerreiro and Daniel
Jorge Viegas Gonçalves, Visualiz em: “Show
me more about him!”, AVI 2012 - International
Interfaces, May. 2012 .
• José Simão and Luís Veiga, VM Economics
for Java Cloud Computing - An Adaptive
and Resource-Aware Java Runtime with
Quality-of-Execution, The 12th IEEE/ACM
International Symposium on Cluster, Cloud
and Grid Computing (CCGrid 2012) —
Doctoral Symposium: Cloud Scheduling,
Clusters and Data Centers, May. 2012 , IEEE.
• João Soares and André Ferreira Ferrão
Couto e Vasconcelos and José Manuel Nunes
Salvador Tribolet, A Bottom-up Approach
for the Representation and Continuous
Update of Technology Architectures, 3rd
International Conference on Information
Management and Evaluation, ICIME 2012,
Apr. 2012 .
• Rui Correia and Jorge Baptista and Maxine
Eskenazi and Nuno J. Mamede and
Maxine Eskenazi, Automatic Generation
of Cloze Question Stems, International
Conference on Computational Processing
of Portuguese (Propor 2012), Apr. 2012 , pp.
168–178 , Springer-Verlag.
• Jorge Baptista and Lucas Vieira and Cláudio
Diniz and Nuno J. Mamede and Lucas Vieira,
Coordination of “-mente” ending adverbs
in Portuguese: an integrated solution,
Processing of Portuguese (Propor 2012),
Apr. 2012 , pp. 24–34 , Springer-Verlag.
110
• Pedro Fialho and Sérgio dos Santos Lopes
Curto and Luísa Coheur and Ricardo Ribeiro,
E-TUTOR: a tutoring agent, International
Conference on Computational Processing
of the Portuguese Language (Propor) , Apr.
2012 .
• p B , y p p y, Euro-T W p y (W 2012) , in conjunction with EuroSys 2012, Apr. 2012 .
• José Lopes and Maxine Eskenazi and Isabel
Trancoso, Incorporating ASR information
in Spoken Dialog System confidence score,
PROPOR 2012, Apr. 2012 , Springer.
• Angela Costa, Learning Collocations in
Portuguese as L2, 20th International
Symposium on Theoretical & Applied
Linguistics, Apr. 2012 .
• Thomas Pellegrini and Wang Ling and André
Freire Silva and Isabel Trancoso and Rui
Correia and Jorge Baptista and Nuno J.
Mamede, Overview of computer-assisted
language learning for European Portuguese
at L2F, Computer Supported Education, Apr.
2012 .
• Filipe Cristóvão and Sara C. Madeira, Parallel
e-CCC-Biclustering: Mining Approximate
Temporal Patterns in Gene Expression
Time Series Using Parallel Biclustering,
6th International Conference on Practical
Applications of Computational Biology &
Bioinformatics (PACBB 2012), Apr. 2012 , pp.
21-31 , Springer-Verlag.
• André Carreiro and Artur J. Ferreira
and Mário A. T. Figueiredo and Sara C.
Madeira, Prognostic Prediction Using
Clinical Expression Time Series: Towards
a Supervised Learning Approach Based
on Meta-biclusters, 6th International
Conference on Practical Applications of
Computational Biology & Bioinformatics
(PACBB 2012), Apr. 2012 , pp. 11-20 , SpringerVerlag.
• Ivo Gonçalves and Sara Silva and Joana B.
Melo and João M.B. Carreiras, Random
Sampling Technique for Overfitting Control
in Genetic Programming, 15th European
Conference on Genetic Programming, Apr.
2012 , pp. 218-229 , Springer.
• André Freire Silva and Cristiano José Lopes
Marques and Jorge Baptista and Alfredo
Ferreira and Nuno J. Mamede, REAP.PT
SYSTEM: Serious Games for Learning
Portuguese, International Conference on
Computational Processing of Portuguese
(Propor 2012), Apr. 2012 , pp. 248–259 ,
Springer-Verlag.
and Jorge M. Pacheco, Tracking the evolution
of cooperation in complex networked populations, Evolutionary Computation, Machine
Learning and Data Mining in Bioinformatics,
M. Giacobini, L. Vanneschi and W. S. Bush
(Eds), Proceedings of Evo* 2012 and EvoBIO
2012, Apr. 2012 , pp. 86-96 , Springer.
• Gracinda Carvalho and Isabel Falé and
David Martins de Matos and Vítor Rocio,
Searching a Mixed Corpus in the Light
of the New Portuguese Orthographic
Norm, Computational Processing of the
Portuguese Language - PROPOR 2012, Apr.
2012 , pp. 56--62 , Springer.
• Alberto Abad and Hugo Meinedo and Isabel
Trancoso and João Paulo da Silva Neto,
Transcription of Multi-Variety Portuguese
Media Contents, Propor 2012, Apr. 2012 .
• João M. P. Cardoso and João Teixeira and
José C. Alves and Ricardo Nobre and Pedro
Diniz and José Gabriel de F. Coutinho and
Wayne Luk, Specifying Compiler Strategies
for FPGA-based Systems, IEEE Intl. Symp.
on FPGAs for Custom Computing Machines
(FCCM), Apr. 2012 , IEEE Computer Society
Press.
• Nuno J. Mamede and Jorge Baptista and
Cláudio Diniz and Vera Cabarrão, STRING:
An Hybrid Statistical and Rule-Based
Natural Language Processing Chain
for Portuguese, PROPOR 2012 - 10th
Processing of Portuguese, Apr. 2012 .
• Ricardo Ribeiro and David Martins de
Matos, Summarizing Speech by Contextual
Reinforcement of Important Passages,
Computational
Processing
of
the
Portuguese Language - PROPOR 2012, Apr.
2012 , pp. 392-402 , Springer.
• Annamaria Pompili and Alberto Abad,
VITHEA: On-line therapy for aphasic patients exploiting automatic speech recognition, Propor 2012 - Special demo session,
Apr. 2012 .
• Pedro B Pascoal and Alfredo Ferreira and
Joaquim Armando Pires Jorge, Im-O-Ret:
Immersive object retrieval, IEEE VR, Mar.
2012 , pp. 121-122 , IEEE CS Press.
• José Miguel Ladeira Portelo and Bhiksha
Raj and Isabel Trancoso, Attacking a Privacy
Preserving Music Matching Algorithm,
ICASSP 2012, Mar. 2012 , IEEE.
• Tânia Curiao and J. Mourao and Jose
Luis Martinez and Fernando Baquero
and Joana Coelho and Ana T. Freitas and
Daniel Knight and Ian Morrissey and R.
Cantón and Teresa Coque and BIOHYPO
Consortium, Biocide susceptibility among
clinical Enterobacteriaceae isolates, 22nd
European Congress of Clinical Microbiology
and Infectious Diseases, Mar. 2012 .
• Mário J. Silva and Paula Carvalho and Luís
Sarmento, Bulding a Sentiment Lexicon for
Social Judgement Mining, PROPOR 2012 International Conference on Computational
Processing of the Portuguese Language,
Mar. 2012 , pp. 218-228 , Springer-Verlag
Berlin Heidelberg.
111
INESC-ID
ANNUAL
REPORT
2012
• Martijn Kuipers and Susana Sargento
and J.F. Monserat and J. Cabrejas and P.
Chaparro and Mário Serafim Nunes, CoSimulation of ns-2 and SPHERE for Media
Independent Handovers, 5th International
ICST Conference on Simulation Tools and
Techniques (SimuTools2012), Mar. 2012 .
• Levent Aksoy and Eduardo Costa and Paulo
Flores and J. Monteiro, Design of LowComplexity Digital Finite Impulse Response
Filters on FPGAs, Design Automation and
Test in Europe (DATE), Mar. 2012 , pp. 11971202.
• Alberto Sardinha and Nan Niu and Yijun Yu
and Awais Rashid, EA-Tracer: Identifying
Traceability Links between Code Aspects
and Early Aspects, ACM Symposium On
Applied Computing, Mar. 2012 , ACM.
• Thomas Pellegrini and Helena Moniz and
Fernando Batista and Isabel Trancoso and
Ramon Fernandez Astudillo, Extension of
the LECTRA corpus: classroom LECture
TRAnscriptions in European Portuguese,
SPEECH AND CORPORA, Mar. 2012 .
• S. Grebenshchikov and A. Gupta and Nuno
Claudino Pereira Lopes and C. Popeea and
A. Rybalchenko, HSF(C): A Software Verifier
based on Horn Clauses, 18th International
Conference on Tools and Algorithms for
the Construction and Analysis of Systems
(TACAS), Mar. 2012 .
• António de Vasconcelos Nascimento
Burnay da Fonseca and André Camões and
Teresa Maria Sá Ferreira Vazão Vasques,
Implementation of position-based routing module on NS3, Workshop on Network
Simulator ns-3 - WSN3, Mar. 2012 .
112
• João M. P. Cardoso and Tiago Carvalho and
José Gabriel de F. Coutinho and Wayne Luk
and Ricardo Nobre and Pedro Diniz and
Zlatko Petrov, LARA: An Aspect-Oriented
Programming Language for Embedded
Systems, International Conference on
Aspect-Oriented Software Development (
OS ’12), . 2012 , pp. 179-190 .
• Mário Luís de Jesus Rodrigues Guimarães
and António Rito Silva, Making Software
Integration
Really
Continuous,
5th
International Conference on Fundamental
Approaches to Software Engineering
(FASE2012), Mar. 2012 , pp. 332-346 ,
Springer.
• Iolanda Margarete dos Santos Carvalho
Leite and Ginevra Castellano and André
Tiago Abelho Pereira and Carlos António
Roque Martinho and Ana Paiva, Modelling
Empathic Behaviour in a Robotic Game
Companion for Children: an Ethnographic
Study in Real-World Settings, ACM/IEEE
International Conference on Human-Robot
Interaction, Mar. 2012 , ACM.
• Huan Chen and Mikolas Janota and Joao
Marques Silva, QBF-based boolean function bi-decomposition, Design, Automation
& Test in Europe Conference & Exhibition
(DATE 2012), Mar. 2012 , pp. 816-819 , IEEE.
• André Nunes and Pável Calado and Bruno
Martins, Resolving User Identities over
Social Networks through Supervised
Learning and Rich Similarity Features,
Proceedings of the ACM 27th Symposium
On Applied Computing (SAC), Mar. 2012 .
• L. Furi and M.L. Ciusa and Daniel Knight
and V. Di Lorenzo and F. Decorosi and Joana
Coelho and Ana T. Freitas and Carlo Viti and
G. Orefici and Ian Morrissey and Marco R.
Oggioni and BIOHYPO consortium, Role
of resident and acquired multi-drug efflux
pumps in reduced susceptibility to cationic biocides in Staphylococcus aureus, 22nd
European Congress of Clinical Microbiology
and Infectious Diseases, Mar. 2012 .
• Aleksandar Ilic and Leonel Sousa,
Simultaneous Multi-Level Divisible Load
Balancing for Heterogeneous Desktop
Systems, ISPA 2012 International Workshop
on Heterogeneus Architectures and
Computing, Mar. 2012.
• M.L. Ciusa and L. Furi and Daniel Knight and
F. Decorosi and C. Raggi and Joana Coelho
and Ana T. Freitas and L. Baldassarri and
Carlo Viti and G. Orefici and Ian Morrissey
and Marco R. Oggioni and BIOHYPO
Consortium, Staphylococcus aureus mutants and clinical isolates with reduced susceptibility to the biocide triclosan differ in
phenotype and genotype, 22nd European
Congress of Clinical Microbiology and
Infectious Diseases, Mar. 2012 .
• Tiago Guiomar Ribeiro and Ana Paiva, The
Illusion of Robotic Life: Principles and
Practices of Animation for Robots, seventh
annual ACM/IEEE international conference
on Human-Robot Interaction, Mar. 2012 , pp.
383--390 , ACM.
• David Soares Batista and João Ferreira
and Francisco Couto and Mário J. Silva,
Toponym Disambiguation using Ontology•
based Semantic Similarity, PROPOR 2012 • International Conference on Computational
Processing of the Portuguese Language,
Mar. 2012, Springer-Verlag Berlin Heidelberg.
• Carlos Mendes and Miguel Mira da Silva,
DEMO-based Service Level Agreements,
3rd International Conference on Exploring
Service Science, Geneva, Switzerland, Feb.
2012 .
• Hector Pettenghi and Leonel Sousa and
Jude Ambrose, Efficient Implementation of
Multi-Moduli Architectures for Binary-to
RNS Conversion, The 17th Asia and South
Pacific Design Automation Conference
(ASP-DAC), Feb. 2012 .
• Victor Carocha and Nuno Mendes and
Andreia J Amaral and Jorge Oliveira and
Clara Graça and Joana Pinto and Lucinda
Neves and Clara Araújo and Jacqueline
Grima-Pettenati and Ana T. Freitas and
Jorge Paiva, Identification and expression of
novel of miRNA in E. globulus xylem tissues,
“Autour des ARNs non codant” - Rencontre
bioinformatique 2012”, Feb. 2012 .
• Andras Hartmann and Susana Vinga and J.
M. Lemos, Identification of HIV-1 Dynamics
- Estimating the Noise Model, Constant and
Time-varying Parameters of Long-term
Clinical Data, BIOINFORMATICS 2012, Feb.
2012 , pp. 286-289.
• Hrjove Benko and Ricardo Jorge Jota Costa
and Andy Wilson, MirageTable: Freehand
Interaction on a Projected Augmented
Reality Tabletop, ACM CHI 2012, Feb. 2012 ,
ACM.
• Rafael Costa and Daniel Machado and A.
R. Neves and Susana Vinga, Multi-level
Dynamic Modeling in Biological Systems Application of Hybrid Petri Nets to Network
Simulation, BIOINFORMATICS 2012, Feb.
2012 , pp. 317-321 .
113
INESC-ID
ANNUAL
REPORT
2012
Daniel Jorge Viegas Gonçalves, Music listening history explorer: an alternative approach for browsing music listening history
habits, 2012 ACM inte f I U I f , IUI ’12, . 2012 ,
pp. 261-264 , ACM.
• João Pedro Marques Pombinho and José
Manuel Nunes Salvador Tribolet, Towards
Modeling the f Sy ’ – Matching DEMO and
e3Value, VMBO 2012 : 6th International
Workshop on Value Modeling and Business
Ontology, Feb. 2012 .
• Aleksandar Ilic and Leonel Sousa, On
Realistic Divisible Load Scheduling in Highly
Heterogeneous Distributed Systems, PDP
2012, Special Session on GPU Computing
and Hybrid Computing, Feb. 2012.
• Fernando Carvalho and João Cachopo,
Adaptive object metadata to reduce the
overheads of a multi-versioning STM,
Fifth Workshop on Programmability
Issues for Heterogeneous Multicores
(MULTIPROG-2012), Jan. 2012 .
• Nuno Miguel Lourenço Diegues and Sérgio
Miguel Fernandes and João Cachopo,
Parallel nesting in a lock-free multi-version Software Transactional Memory, 7th
ACM SIGPLAN Workshop on Transactional
Computing, Feb. 2012 .
• João Aires and Daniel Jorge Viegas
Gonçalves, Personal Information Dashboard
- Me, At a Glance, PIM2012 – Personal
Information Management Workshop, at
CSCW2012, Feb. 2012 .
• João Pedro Vieira Guerreiro and Juliana
Gomes and Daniel Jorge Viegas Gonçalves,
PersonalWeb: an extensible framework to
recommend web and personal information,
2nd Workshop on Context-awareness in
Retrieval and Recommendation (CaRR12),
Feb. 2012 , ACM.
• A. P. Francisco, sdlink: an integrated system
for linking biological and biomedical semantic data, ISCB Conference on Semantics in
Healthcare & Life Sciences (CSHALS 2012),
Feb. 2012 .
114
• João Pedro Marques Pombinho and José
Manuel Nunes Salvador Tribolet, Service
System Design and Engineering – A value-oriented approach based on DEMO,
Third International Conference on Exploring
Service Science, IESS 2.1, Feb. 2012 .
Manquinho and Inês Lynce, Clause Sharing
in Parallel MaxSAT, Learning and Intelligent
OptimizatioN Conference (LION), Jan. 2012 ,
• Jude Angelo ambrose and Hector Pettenghi
and Leonel Sousa, DARNS: A Randomized
Multi-modulo RNS Architecture for Doubleand-Add in ECC to prevent Power Analysis
Side Channel Attacks, 18th Asia and South
Pacific Design Automation Conference
ASP-DAC 2013, Jan. 2012 .
• Lucas Bordeaux and Joao Marques
Silva, Knowledge Compilation with
Empowerment, Current Trends in Theory
and Practice of Computer Science (SOFSEM
2012), Jan. 2012 , pp. 612-624 , Springer.
• Federico Heras and Antonio Morgado
Joao Marques Silva, Lower Bounds
Upper Bounds for MaxSAT, Learning
Intelligent Optimization (LION 2012),
2012 , pp. 402-407 , Springer.
and
and
and
Jan.
• Iolanda Margarete dos Santos Carvalho
Leite and André Tiago Abelho Pereira and
Ginevra Castellano and Samuel Francisco
Mascarenhas and Carlos António Roque
Martinho and Ana Paiva, Modelling Empathy
in Social Robotic Companions, Advances in
User Modeling: UMAP 2011 Workshops, Jan.
2012 , pp. 135-147 , Springer.
11.4 National Conferences
• Dzmitry Aliakseyeu and Jon Mason and
Bernt Meerbeek and Harm van Essen and
Serge Offermans and Valentina Sanesi
and Andrea Alessandrini and Paulo Jorge
Fernandes Carreira and Chad Eby, f ‘U I f
Sy ’ W p IN C 2011, Constructing Ambient
Intelligence, Jan. 2012 , pp. 29–34 , Springer.
• Pedro Sousa and Teresa Maria Sá Ferreira
Vazão Vasques, Service Platform for
Vehicular Networks, Conferencia de Redes
de Computadores - CRC 2012, Nov. 2012 .
• Paolo Romano and Matteo Leonetti, Selftuning Batching in Total Order Broadcast
Protocols via Analytical Modelling and
Reinforcement Learning, IEEE International
Conference on Computing, Networking and
Communications, Network Algorithm &
Performance Evaluation Symposium (ICNC),
Jan. 2012 .
• Joana P. Gonçalves and Sara C. Madeira,
Time-coherent triclustering: mining local
transcriptional patterns in multiple expression time series [Abstract and poster, Best
poster award & Oral presentation], Tenth
Asia-Pacific Bioinformatics Conference
(APBC 2012), Jan. 2012 .
• Artur Caetano and Aurélio Assis and José
Manuel Nunes Salvador Tribolet, Using
Business Transactions to Analyse the
Consistency of Business Process Models,
Forty Fifth Hawaii International Conference
on System Sciences (HICSS-45), Jan. 2012 .
• João Paulo Pinto Trindade and Teresa Maria
Sá Ferreira Vazão Vasques, Protocolo de
encaminhamento para redes móveis usando
estruturas binárias eficientes, Conferencia
de Redes de Computadores - CRC 2012, Nov.
2012 .
• Jacqueline Jardim and Jorge Lopes and
Teresa Maria Sá Ferreira Vazão Vasques,
Simulação do uso de redes veiculares em
situações de emergência numa auto-estrada Portuguesa, Conferencia de Redes de
Computadores - CRC 2012, Nov. 2012 .
• Raquel Costa and Manuel J. Fonseca and
Alfredo Ferreira, CaS: Collection-aware
Segmentation, 20º Encontro Português de
Computação Gráfica (EPCG), Oct. 2012 .
Daniel Jorge Viegas Gonçalves, Exploração
Interactiva dos Hábitos de Audição de
Música., 20º Encontro Português de
Computação Gráfica (EPCG), Oct. 2012 .
• Vasco Costa and João António Madeiras
Pereira and Joaquim Armando Pires Jorge,
Ray Tracing of Large Models on a MultiProjection Display, 20º Encontro Portugues
de Computação Gráfica, Oct. 2012 .
• Clara Azevedo and Susana Vinga and Inês
Pedro and Nuno Oliveira and José Miguel
Sousa and Luis Sobral, Tratamento cirúrgico da instabilidade glenoumeral objectiva versus subjectiva: comparação dos
resultados em 34 doentes consecutivos,
XXXII Congresso Nacional de Ortopedia e
Traumatologia (SPOT’12). , Oct. 2012.
115
INESC-ID
ANNUAL
REPORT
2012
• Marta Diogo Teixeira and João Cachopo, A
study on the usage of third party libraries in
Java applications, INForum 2012 - Simpósio
de Informática, Sep. 2012 .
• Pedro Fazenda and Paulo Jorge Fernandes
Carreira and Pedro Lima, Context-Based
Reasoning in Smart Buildings , International
Energy Applications, Sep. 2012 , pp. 131-142 ,
Ceur-ws.org.
• Pedro Jorge do Nascimento Neves and João
Barreto and Paulo Ferreira, Data deduplication in Web prefetching systems (poster
session), INForum, Sep. 2012 .
• Francisco S. Melo and Alberto Sardinha
and Stefan Witwicki and Laura M.
Ramirez-Elizondo and Matthijs T. J. Spaan,
Decentralized Multiagent Planning for
Balance Control in Smart Grids, International
Energy Applications (IT4ENERGY 2012),
Sep. 2012 .
• Ricardo Daniel Marques Caldeira and Luís
Veiga, FaceID-Cloud - Face Identification
Leveraging Utility and Cloud Computing,
INFORUM 2012 - Simpósio de Informática,
Sep. 2012 .
• Cristina Caramelo Gomes and Paulo Jorge
Fernandes Carreira, Home Users as a Facility
Managers: How is Automation Helping?,
International Workshop on Information
Technology for Energy Applications, Sep.
2012 , pp. 143-148 , Ceur-ws.org.
• Ricardo Filipe de Sousa Brilhante and Luís
Veiga and Paulo Ferreira, Idroid - interest
aware augmented reality, INFORUM 2012 Simpósio de Informática, Sep. 2012 .
116
• Luís Luciano and Paulo Jorge Fernandes
Carreira, Integrating Energy Data with ETL,
International Workshop on Information
Technology for Energy Applications, Sep.
2012 , pp. 79-88 , CEUR-ws.org.
• Miguel Augusto Nogueira Mateus and
Paulo Ferreira and Luís Veiga, LocalityAwareness and Continuous Consistency
for Collaborative Software Development,
Sep. 2012 .
• Helena Galhardas and Vasco Duarte Mendes
and Luísa Coheur, Medicine.Ask: a Natural
Language Search System for Medicine
Information, INFORUM 2012 - Simpósio de
Informática, Sep. 2012 .
• Pedro Miguel Torpes de Amaral and
Susana Pinto and Mamede De Carvalho
and Pedro Tomás and Sara C. Madeira,
Merging
Temporally-Related
Clinical
Data from Patients with Amyotrophic
Lateral Sclerosis using Constraint-Based
Hierarchical Clustering, Sessão Gestão
Dados e Conhecimento, INFORUM, Sep.
2012 .
• Pedro
Mota,
Natural
Language
Understanding as a classification process:
report of initial experiments and results,
Inforum, Sep. 2012 .
• Pedro Mota and Luísa Coheur, Natural
Language Understanding as a classification
process: report of initial experiments and
results, Inforum, Sep. 2012 .
• Tiago Cardoso and Paulo Jorge Fernandes
Carreira, Overview on Energy Data
Reporting, International Workshop on
Information Technology for Energy
Applications, Sep. 2012 , pp. 89-100, Ceurws.org.
• Navaneeth Rameshan and Luís Veiga,
RATS - Resource Aware Thread Scheduling
for JVM-level Clustering, INFORUM 2012 Simpósio de Informática, Sep. 2012 .
• João Pedro Marques Silva and Luís Veiga,
Reprodução Probabilística de Execuções
na JVM em Multi-processadores, INFORUM
2012 - Simpósio de Informática, Sep. 2012 .
• João Sequeira and Paulo Jorge Fernandes
Carreira, Towards a Taxonomy of EnergyEfficient Control Techniques , International
Energy Applications, Sep. 2012 , pp. 121-130 ,
Ceur-ws.org.
• Manuel Cajada and Paulo Ferreira and Luís
Veiga, VFC-RTS: Vector-Field Consistency
for Real-Time-Strategy Multiplayer Games,
Sep. 2012 .
• Helena Moniz and Fernando Batista and
Isabel Trancoso and Ana Isabel Mata da
Silva, Análise de interrogativas em diferentes domínios, Textos Seleccionados do
XXVII Encontro Nacional da APL, Jul. 2012 .
• Francisco Fernandes and Paulo G. S. da
Fonseca and Luís M. S. Russo and Arlindo
L. Oliveira and Ana T. Freitas, Efficient
High-Throughput Read Mapping for ReSequencing Applications, Bioinformatics
Open Days, Mar. 2012 .
• André Carreiro and Artur J. Ferreira and
Mário A. T. Figueiredo and Sara C. Madeira,
Prognostic prediction using clinical expression time series: towards a supervised
learning approach based on meta-biclusters, Bioinformatics Open Days, Mar. 2012 .
• Joao Casaleiro and Luís Oliveira, A High
Level Model for Capacitive Coupled
RC Oscillators, Doctoral Conference
on Computing Electrical and Industrial
Systems (DOCEIS’12), Feb. 2012 .
• Eugénio Filipe Nogueira Costa and Helena
Sarmento and Horácio C. Neto, Aceleração
por Hardware de Cálculos Matriciais para
Aplicações de Comunicações sem fios , VIII
Jornadas sobre Sistemas Reconfiguráveis,
Feb. 2012 , pp. 61-68 .
• Pedro Miguel Florindo Miguens Matutino
and Ricardo Chaves and Horácio C. Neto
and Leonel Sousa, Decimal multiplication
on FPGA based on a RNS system representation, VIII Jornadas sobre Sistemas
Reconfiguráveis - REC2012, Feb. 2012 .
• Ruben Cabral and Helena Sarmento,
Matlab/Simulink Base Band processor
Model for Wireless HD Video, Jornadas sobre Sistemas reconfiguráveis, Feb. 2012 , pp.
89-94 .
• Wilson Matez José and Mário Pereira
Véstias and Horácio C. Neto, Multiprocessor
System in an FPGA, VIII Jornadas sobre
Sistemas Reconfiguráveis, Feb. 2012 , pp.
97-104 .
• Ana Rita de Sousa Ramalho da Silva
and Horácio C. Neto, Processamento
Morfológico de Imagens Digitais em
FPGA, VIII Jornadas sobre Sistemas
Reconfiguráveis, Feb. 2012 , pp. 105-112 .
• Jorge Silva and Pedro Pinho and Mário
Pereira Véstias, Receptor MIMO em FPGA
Baseado no Esquema de Alamouti, VIII
Jornadas sobre Sistemas Reconfiguráveis,
Feb. 2012 .
117
INESC-ID
ANNUAL
REPORT
2012
• Tiago Dias and Nuno Roma and Leonel
Sousa, Reconfigurable Unified Architecture
for Forward and Inverse Quantization in
H.264/AVC, VIII Jornadas sobre Sistemas
Reconfiguráveis - REC2012, Feb. 2012 , pp.
75-82 , Instituto Superior de Engenharia de
Lisboa (ISEL).
11.5Technical Reports
Miguel José Simões Barão, Activity
Recognition and Object Tracking Based on
Multiple Models, INESC-ID Tec. Rep. 31/2012,
Dec 2012.
• António Rito Silva and Christoph Rosenkranz
and Paul Maia and João Vieira da Cunha and
Rodrigo Magalhães and Michael Rosemann,
ADMITO - Towards a deeper understanding
of the entanglement of IT and organisations, INESC-ID Tec. Rep. 49/2012, Dec 2012.
• João Paulo de Oliveira Martins and J. M.
Lemos, Catalog of experimental results
with distributed control on a water delivery
canal, INESC-ID Tec. Rep. 30/2012, Dec 2012.
• Rafael das Almas Ascensão and Miguel José
Simões Barão, Coordinated Probabilistic
Control with Limited Communications,
INESC-ID Tec. Rep. 50/2012, Dec 2012.
• Ricardo Sousa Marques and Luis Guerra e
Silva and Paulo Flores and L. Miguel Silveira,
Improving SAT Solver Efficiency using a
Cooperative Multicore Approach, INESC-ID
Tec. Rep. 28/2012, Oct 2012.
• Miguel Branco and João Leitão and Luis
Rodrigues, Bounded Gossip: A Gossip
Protocol for Large-Scale Datacenters,
INESC-ID Tec. Rep. 26/2012, Sep 2012.
118
• Samuel Freitas Antão and Leonel Sousa,
Modular Arithmetic Implementation with
the Residue Number System, INESC-ID Tec.
Rep. 25/2012, Sep 2012.
• Diogo Simões and José Borbinha and
Marzieh bakhshandeh, Survey of data management plans in the scope of scientific
research, INESC-ID Tec. Rep. 27/2012, Sep
2012.
• Ricardo Sousa Marques and Luis Guerra e
Silva and Paulo Flores and L. Miguel Silveira,
cmcSAT - A Cooperative MultiCore SAT
Solver, INESC-ID Tec. Rep. 20/2012, Jul 2012.
• Tiago Paheco Henriques and J. M. Lemos,
Controlo istribuído de Complexide eduzida
de mCanal deÁgua - Controladores Locais,
INESC-ID Tec. Rep. 24/2012, Jul 2012.
• Eduardo José Resende Ortigueira and Luís
Oliveira and Jorge Manuel dos Santos
Ribeiro Fernandes and M. Medeiros Silva,
Design of a CMOS VCO with Injection
Locking, INESC-ID Tec. Rep. 22/2012, Jul
2012.
• Inês Sampaio and J. M. Lemos, Distributed
LQG and MPC fault tolerant control for a
water delivery canal, INESC-ID Tec. Rep.
21/2012, Jul 2012.
• Telmo Santos and Luís Rosado and Pedro
Vilaça and Moises Simões Piedade and
Pedro Ramos and Rosa Miranda and Jorge
dos Santos, FSWELL – Dedicated NDT system to detect LOP root defects in FSW of
AlMgSc alloys. (Phase 1), INESC-ID Tec. Rep.
51/2012, Jul 2012.
• Pedro Miguel Lúcio Melgueira and Miguel
José Simões Barão, Probabilistic Control in
a Multi-Player Context, INESC-ID Tec. Rep.
23/2012, BII, Jul 2012.
• Anabela Marques Barreiro and Luísa Coheur
and Tiago Luís and Angela Costa and João
Graça, CLUE Guidelines, INESC-ID Tec. Rep.
17/2012, Jun 2012.
• Gonçalo Antunes, Engineering Context
Aware Socio-Technical Systems through
Capabilities, INESC-ID Tec. Rep. 18/2012, BII,
Apr 2012.
• Nuno Miguel Lourenço Diegues and
João Cachopo, Exploring Parallelism in
Transactional Workloads, INESC-ID Tec.
Rep. 16/2012, Jun 2012.
• Marcelino Bicho dos Santos and Carlos
Leong and Jorge Filipe Leal Costa Semião
and Isabel Maria Silva Nobre Parreira Cacho
Teixeira and João Paulo Cacho Teixeira,
MSc proposal 2012/13, INESC-ID Tec. Rep.
10/2012, Apr 2012.
• Carlos Leong and João Paulo Cacho Teixeira,
Fault Mitigation in High-performance
FPGA-based Safety-critical Systems in a
Radiation Environment, INESC-ID Tec. Rep.
19/2012, Jun 2012.
• Mário José Monteiro de Macedo, Three
Notes on the SAM Video Statistical Model,
INESC-ID Tec. Rep. 29/2012, Jun 2012.
• Diego Didona and Daniele Carnevale and
Sergio Galeani and Paolo Romano, An
Extremum Seeking Algorithm for Message
Batching in Total Order Protocols, INESC-ID
Tec. Rep. 13/2012, May 2012.
• Ana Cristina Mendes and Luísa Coheur and
Sérgio dos Santos Lopes Curto, Learning
to answer questions, INESC-ID Tec. Rep.
14/2012, May 2012.
• Hector Pettenghi and Ricardo Chaves and
Leonel Sousa, Multiplicative Inverses
Validations for Moduli Sets with Dynamic
Ranges of (5n+beta)-bit, INESC-ID Tec. Rep.
15/2012, May 2012.
Miguel José Simões Barão, Activity
Recognition and Object Tracking Based on
Multiple Models, INESC-ID Tec. Rep. 11/2012,
Apr 2012.
• Sebastiano Peluso and João Fernandes
and Paolo Romano and Francesco Quaglia
and Luis Rodrigues, SPECULA: Speculative
Replication of Software Transactional
Memory, INESC-ID Tec. Rep. 12/2012, Apr
2012.
• Pedro Miguel Lúcio Melgueira and Miguel
José Simões Barão, A Toolbox for Probability
Calculus and Optimization, INESC-ID Tec.
Rep. 9/2012, BII, Mar 2012.
• Daniela Viegas Caiado and J. M. Lemos,
euromuscular blockade feedbak control,
INESC-ID Tec. Rep. 7/2012, , Mar 2012.
• Luísa Coheur and Grupo LN, IST Tagus,
Págico, participação do GLNISTT, INESC-ID
Tec. Rep. 8/2012, , Mar 2012.
• Inês Sampaio and J. M. Lemos, Design of a
fault tolerant control system for a water delivery canal - Centralized multivariable control with actuator faults, INESC-ID Tec. Rep.
3/2012, Feb 2012.
• Ricardo Daniel Marques Caldeira and Luís
Veiga, FaceID-Cloud, INESC-ID Tec. Rep.
4/2012, Jan 2012.
• Filipe Miguel Rodrigues and Luís Veiga,
FaceID-Grid , INESC-ID Tec. Rep. 5/2012, Jan
2012.
119
INESC-ID
ANNUAL
REPORT
2012
• Nuno Miguel Lourenço Diegues and Sérgio
Miguel Fernandes and João Cachopo,
Parallel nesting in a lock-free multi-version
Software Transactional Memory, INESC-ID
Tec. Rep. 2/2012, Jan 2012.
• Nuno Miguel Lourenço Diegues and João
Cachopo, Review of Nesting in Transactional
Memory, INESC-ID Tec. Rep. 1/2012, Jan 2012.
• João Pedro Marques Silva and Luís Veiga,
VM Synch-Log-Replay, INESC-ID Tec. Rep.
6/2012, Jan 2012.
11.6 Special Issues of Journals
• Fabio Kon and Gordon Blair and Lisandro
Granville and Raouf Boutaba and Lizhe
Wang and Jie Tao and Achim Streit and
Dieter Kranzlmüller and Luís Veiga Ed.,
The path to openness: Letter from the
Editors (Special Issue on Best Papers of the
Middleware 2010 Workshops - II), Journal of
Internet Services and Applications (JISA),
3(3), Oct. 2012.
• Luís Veiga and Fabio Kon and Gordon Blair
Ed., A Virtual Stone Soup: Letter from the
Editors (Special Issue on Best Papers of the
Middleware 2010 Workshops - I), Journal of
Internet Services and Applications (JISA),
3(2), Aug. 2012, Springer.
• Sara Silva and James A. Foster Ed., special issue on selected papers from the
European conference on genetic programming, Genetic Programming and Evolvable
Machines, 13(3), May. 2012, Springer.
120
11.7 Edited Proceedings
• Yukiko Nadano and Michael Neff and Ana
Paiva and Marilyn Walker Ed., Intelligent
Virtual
Agents12th
International
Conference, IVA 2012, Sep 2012, Springer.
• João Pascoal Faria and Alberto Rodrigues
da Silva and Ricardo J. Machado Ed.,
Proceedings of the 8th International
Conference on the Quality of Information
and Communications Technology, QUATIC
2012, Sep 2012, IEEE Computer Society.
• Paulo Jorge Fernandes Carreira and Vasco
Miguel Moreira do Amaral Ed., Proceedings
of the First International Workshop
on Information Technology for Energy
Applications, Sep 2012, Ceur-ws.org.
• Miguel Correia and Cristian Constantinescu
Ed.,
Proceedings
Ninth
European
Dependable Computing Conference - EDCC
2012, May 2012, CPS.
• Cecilia Di Chio and Alexandros Agapitos
and Stefano Cagnoni and Carlos Cotta and
Francisco Fernandez de Vega and Gianni A.
Di Caro and Rolf Drechsler and Aniko Ekart
and Anna I. Esparcia-Alcazar and Muddassar
Farooq and William B. Langdon and Juan-J.
Merelo-Guervos and Mike Preuss and
Hendrik Ritcher and Sara Silva and Anabela
Simões and Giovanni Squillero and Ernesto
Tarantino and Andrea G.B. Tettamanzi and
Julian Togelius and Neil Urquhart and A.
Sima Uyar and Georgios N. Yannakakis Ed.,
Applications of Evolutionary Computation,
Lecture Notes in Computer Science, no.
7248, Apr 2012, Springer.
• Alberto Moraglio and Sara Silva and
Krzysztof Krawiec and Penousal Machado
and Carlos Cotta Ed., Genetic Programming,
15th European Conference, Lecture Notes
in Computer Science, no. 7244, Apr 2012,
Springer.
• Carlos Duarte and Luis Carriço and Joaquim
Armando Pires Jorge and Sharon Oviatt
and Daniel Jorge Viegas Gonçalves Ed., 17th
International Conference on Intelligent User
Interfaces, IUI, no. 17, Feb 2012, ACM Press.
121
INESC-ID
ANNUAL
REPORT
2012
12 Dissertations
12.1 PhD Theses
• Alexandre Barão, Social Networks Modeling
and Evaluation of Organizational Relational
Capital Using SNARE, PhD Thesis, IST/UTL,
Dec 2012.
• Nuno Miguel Antunes Freire, Entity
Recognition and Resolution in Poorly
Structured Data, PhD Thesis, Universidade
Técnica de Lisboa, Oct 2012 .
• Tiago João Vieira Guerreiro, User-Sensitive
Mobile Interfaces: Accounting for Individual
Differences, PhD Thesis, IST/UTL, Sep 2012.
• José Barateiro, A Risk Management
Framework Applied to Digital Preservation,
PhD Thesis, Universidade Tecnica de Lisboa,
Jul 2012 . .
• António Emanuel Magalhães Duarte Pereira
dos Santos, An Argumentation-based
Approach to Data Cleaning, PhD Thesis,
Instituto Superior Técnico, Jul 2012 . .
• Liliana Wu Freitas Rosa, Desenvolvimento
de Aplicações Distribuídas Adaptativas,
PhD Thesis, IST, Jul 2012
• Carlos Jorge Ramos Páscoa, Design
and Organizational Engineering of the
Operational and Support Dimensions of
an Organization: The Portuguese Air Force
case study, PhD Thesis, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Jul
2012.
• Sérgio Luis Proença Duarte Guerreiro,
Enforcement of fine-grained Governance
Rules in the Enterprise Ontology using
DEMO, PhD Thesis, Instituto Superior
122
Técnico, Universidade Técnica de Lisboa, Jul
2012.
• João Carlos Viegas Martins Bispo,
Mapping Runtime-Detected Loops from
Microprocessors
to
Reconfigurable
Processing Units, PhD Thesis, Instituto
Superior Técnico, TU Lisbon, Jul 2012.
• João Carlos Antunes Leitão, Disseminação
de Informação, PhD Thesis, , Jun 2012.
• Rui Filipe Lopes Joaquim, Toward Voter
Verifiable Internet Elections, PhD Thesis,
ist, Jun 2012.
• Mauro Castelli, Measures and Methods for
Robust Genetic Programming, PhD Thesis,
University of Milano-Bicocca, Feb 2012.
• Gracinda Carvalho, Robust Question
Answering, PhD Thesis, Universidade
Aberta, Feb 2012.
12.2MSc Theses
• Bruno Manuel Dias dos Santos, A study on
gene-disease relations in the context of
neurodegenerative diseases, MSc Thesis, ,
Dec 2012.
• Marcelo Vicente, DECT Shield for Arduino,
MSc Thesis, IST, Dec 2012.
• Cecília Maria Costa Bento de Sousa
Nunes,
Learning
from
Imbalanced
Neuropsychological Data, MSc Thesis, , Dec
2012.
• Márcio Luís Mendonça de Vasconcelos
de Nóbrega , Monitorização Wireless de
Pessoas em Ambiente Doméstico , MSc
Thesis, Instituto Superior Técnico, Dec 2012.
• Luis Jorge Matias de Lemos, A data mining approach to predict conversion from
mild cognitive impairment to Alzheimer
s Disease, MSc Thesis, Instituto Superior
Técnico, Technical University of Lisbon, Nov
2012.
• João Luís Vazão Vasques, A decentralized
utility-based scheduling algorithm for grids,
MSc Thesis, Nov 2012.
• Pedro Alexandre Cruz de Sousa, A Service
Platform for Vehicular Networks, MSc
Thesis, Nov 2012 .
• Jacqueline Filomena Jardim, A Vehicular
Ad Hoc Network Architecture with
Geographical Routing Proposal, MSc
Thesis, Nov 2012.
• Miguel António Moreira de Sousa Adaixo,
Cloud DReAM - Dynamic Resource
Allocation Management for Large Scale
MMOGs, MSc Thesis, Technical Univ. of
Lisbon, Nov 2012.
• Luís Gregório Dias, CollecTA - Collective
Tour Advisor, MSc Thesis, IST/UTL, Nov
2012.
• Pedro Manuel Carvalho dos Santos Valada
Fonseca, Conflict: A Conflict Resolution
Games, MSc Thesis, , Nov 2012.
• Alexandre Nuno Vicente Dias, Detecção de
Vírus utilizando GPUs, MSc Thesis, Instituto
Superior Técnico, TU Lisbon, Nov 2012.
• Roberto da Câmara Rodrigues, DOnE Document Organization and Exploration,
MSc Thesis, IST/UTL, Nov 2012.
• Fábio Ova, eDocA : Desmaterialização de
documentos na administração pública, MSc
Thesis, IST, Nov 2012.
• Luís Miguel Rosa dos Santos, Finding Place
References in Textual Documents, MSc
Thesis, Instituto Superior Técnico, Nov 2012.
• José João Pereira Rocha Cordeiro, Forward
Error Correction in Low Power Wireless
Sensor Networks, MSc Thesis, IST/UTL,
Nov 2012.
• Ricardo Filipe de Sousa Brilhante, Idroid
- interest aware augmented reality, MSc
Thesis, Technical Univ. of Lisbon, Nov 2012.
• João Pedro Lima, Intrusion detection applied to mass transportation IT systems,
MSc Thesis, IST, Nov 2012.
• Mauro André Mendes Silva, MobUser: Uma
plataforma para a partilha de informação de
dispositivos móveis centrado no utilizdor,
MSc Thesis, , Nov 2012.
• Carlos Paulo Ferreira Santos, P2P-Clusters:
criação dinâmica de clusters em cycle-sharing peer-to-peer, MSc Thesis, IST, Nov 2012.
• Marta Diogo Teixeira, Parallelizing libraries for running in multicores, MSc Thesis,
Instituto Superior Técnico, Technical
University of Lisbon, Nov 2012.
• Rodrigo Joel Lucas Santos, Planning
for Spatial Missions Using Answer Set
Programming, MSc Thesis, Technical
University of Lisbon, Nov 2012.
• Tiago João de Sousa Marques, Processo de
Gestão de Informação, MSc Thesis, , Nov
2012.
• Pedro Matos Geraldes Monteiro, Profiling
of biological applications for parallel implementation in multicore computers,
MSc Thesis, Instituto Superior Técnico,
Universidade Técnica de Lisboa, Nov 2012.
123
INESC-ID
ANNUAL
REPORT
2012
• Pedro Miguel Torpes de Amaral, Prognostic
prediction in patients with Amyotrophic
Lateral Sclerosis using data mining techniques, MSc Thesis, Instituto Superior
Técnico, Technical University of Lisbon, Nov
2012 .
• João Filipe Rosado Gouveia, Protein Design
using Answer Set Programming, MSc
Thesis, Technical University of Lisbon, Nov
2012 .
• Martim Luís de Carvalho e Silva Camacho,
Smart Cards for Payments and Tickets,
MSc Thesis, , Nov 2012 .
• Diogo Morgado, SmartSolarGrid - energy
management for solar roads, MSc Thesis,
Technical Univ. of Lisbon, Nov 2012 .
• Tiago Augusto Escudeiro Almeida, Solving
Wildlife Conservation Problems using
Answer Set Programming, MSc Thesis,
Technical University of Lisbon, Nov 2012 .
• Roberto Leal Jacinto, SuusMDM: Gestão de
Parques Informáticos de Terminais Móveis,
MSc Thesis, Technical Univ. of Lisbon, Nov
2012 .
• Tiago Esteves de Freitas, Syntactic REAP.
PT - Exercises on Clitic Pronouning,
Universidade Técnica de Lisboa, Nov 2012 .
• Nuno Miguel Pereira Ramos, The Blame and
Shame Game, MSc Thesis, Nov 2012.
• Mafalda de Oliveira Ruas Gonçalves,
Unravelling
regulatory
modules
in
Amyotrophic Lateral Sclerosis, MSc Thesis,
Nov 2012.
124
• Bruno Alexandre de Medeiros, Video Coding
on Multicore Graphics Processors (GPUs),
Universidade Técnica de Lisboa, Nov 2012.
• Vítor Francisco Estalagem Carvalho,
Virtualização de sistemas de atendimento
e Corporate TV , MSc Thesis, Technical Univ.
of Lisbon, Nov 2012.
• João Pedro Marques Silva, VM Synch-LogReplay, MSc Thesis, Nov 2012.
• Sílvia Resendes, Automatic Conflict
Resolution in Home and Building Automation
Systems, MSc Thesis, IST Technical
University of Lisbon, Oct 2012.
• Davide António Pestana Passinhas, Blended
Workflow: A Modular Architecture to Use an
External Workflow Management System,
MSc Thesis, IST, Oct 2012.
• Filipe Roque, Desenvolvimento de uma plataforma aberta e escalável para aquisição
de dados no túnel aerodinâmico de baixa
velocidade, MSc Thesis, IST - TU LIsbon, Oct
2012.
• João Soares, Document Portal, MSc Thesis,
Oct 2012.
• Sérgio Almeida, Geo-Replication in Large
Scale Cloud Computing Applications, MSc
Thesis, IST, Oct 2012.
• Marco Custódio, Information and knowledge discovery system for medical data,
Technical University of Lisbon, Oct 2012.
• Filipe Alexandre Vieira da Silva, NarBir, MSc
Thesis, , Oct 2012.
• Diogo Manuel Bugia Correia Simões, Object
grouping using learning methods in a simulated environment, MSc Thesis, Instituto
Superior Técnico, Oct 2012.
• João Paulo Sousa Dias Costa Amaro,
SmartAndroid – Mobile Enterprise
Development, MSc Thesis, Instituto
Superior Técnico, TU Lisbon, Oct 2012.
• Juan José Rebollo Barranco, Suporte
Hardware para um Depurador para o
Processador Pedagógico P3 , MSc Thesis,
IST, Technical University of Lisbon, Oct 2012.
• Miguel Branco, Topology-aware Gossip
Dissemination for Large-scale Datacenters,
MSc Thesis, IST, Oct 2012.
• Filipe Farias Leandro, VisualMobility, MSc
Thesis, Oct 2012.
• Tiago Picado, A Fault-Tolerant Network
Intrusion Detection System, MSc Thesis,
Instituto Superior Técnico, Sep 2012.
• Mauro André Mendes Silva, A user-centered
publish-subscribe platform for mobile devices. , MSc Thesis, , Sep 2012.
• Fábio
Constantino,
Best
Effort
Authentication, MSc Thesis, IST, Sep 2012.
• Irina de Melo Lopes, CertA: Certificação de
Atributos Profissionais na Administração
Pública, MSc Thesis, , Sep 2012.
• Tiago Castelo, Using Game Engines in
Building Automation Control, MSc Thesis,
IST Technical University of Lisbon, Sep 2012.
• Hugo Rodrigues, Answer Selection in
Question Answering, MSc Thesis, Instituto
Superior Técnico, Universidade Técnica de
Lisboa, Jul 2012.
• Navaneeth Rameshan, Efficient Thread
Scheduling for Distributed Java VM over
Terracotta, MSc Thesis, , Jul 2012.
• Bimal Babu Upadhyaya, Integration of
Genomics and Transcriptomics: Analysis
of Streptococcus pneumoniae Wild-type
and ΔccpA Strains, MSc Thesis, Instituto
Superior Técnico, Technical University of
Lisbon, Jul 2012.
• Pedro
Mota,
LUP:
A
Language
Understanding Platform, MSc Thesis,
Instituto Superior Técnico, Jul 2012.
• Carlos Manuel Tadeia Rosão, Onset
Detection in Music Signals, MSc Thesis, Jul
2012.
• Nuno João da Silva Garcia, PopCulture, MSc
Thesis, Jul 2012.
• Nuno Miguel Lourenço Diegues, Practical
Parallel Nesting for Software Transactional
Memory, MSc Thesis, Instituto Superior
Técnico, Technical University of Lisbon, Jul
2012.
• Lalith Suresh, Programming the Enterprise
WLAN: An SDN Approach, MSc Thesis, IST,
Jul 2012.
• Romenigue Mendes Barbosa Vieira dos
Santos, Recorte Automático de Noticias,
MSc Thesis, , Jul 2012 .
• Diogo Duarte, Using Visualization for
Involving Users in Requirements Elicitation,
MSc Thesis, IST/UTL, Jun 2012 .
• Ricardo Miguel Pinheiro Pires, A questão
das perguntas em sistemas de pergunta/
resposta, MSc Thesis, IST/Universidade
Técnica de Lisboa, Jun 2012.
• Diogo Rodrigues Oliveira de Brito, Circuitos
para Lógica Quatrenária, MSc Thesis, IST,
Technical University of Lisbon, Jun 2012.
• Guilherme Fermoselle Pires Coelho,
Detecção de Fugas de Água em Redes
Domésticas, MSc Thesis, , Jun 2012 .
125
INESC-ID
ANNUAL
REPORT
2012
• João Luís Dias Completo, Perfil de
Reabilitação Clínica Web - Sistema on-line
de Benchmarking na área da Reabilitação
Clínica, MSc Thesis, IsT/Universidade
Técnica de Lisboa, Jun 2012.
• Leonel Severino de Almeida, Radio
Frequency CMOS Transmitter, MSc Thesis,
IST/UTL, Jun 2012.
• Tilia Ellendorff, Relation Extraction for
People Search on the Web, MSc Thesis,
University of Algarve and University of
Wolverhampton, Jun 2012.
• João Silva, Statistical Machine Translation
- The Problem of Unknown Words, MSc
Thesis, Instituto Superior Técnico, Jun 2012.
• Hélder Mendes, Study of matematical algorithms to identify abnormal patterns in
aircraft flight data, MSc Thesis, IST / TU
Lisbon, Jun 2012.
• Miguel Cortez Mateus, VFC para Ambientes
de Desenvolvimento em Equipa, MSc
Thesis, Instituto Superior Técnico, Jun 2012.
• Manuel Eduardo Cajada, VFC-RTS: VectorField Consistency para Real-Time-Strategy
Multiplayer Games, MSc Thesis, IST, Jun
2012.
• Munshi Asadullah, A Framework for
Structural Ambiguity Resolution for
Portuguese, MSc Thesis, University of
Algarve and University of Wolverhampton,
May 2012.
• Miguel Lopes Jerónimo, AffectiveWall - An
intermedia instrument for affective generation of music and paintings through
body-language expressivity, MSc Thesis,
May 2012.
126
• Tiago lopes, Clientes e-voting confiáveis,
MSc Thesis, May 2012.
• Inês Sampaio, Fault Tolerant Control of a
Water Delivery Canal, MSc Thesis, Instituto
Superior Técnico, May 2012.
• Paulo Alexandre Cristóvão Santa Rosa
Pereira, FilterAdapt-Filtros adaptativos
de coeficientes variaveis, MSc Thesis, IST,
Technical University of Lisbon, May 2012.
• Diogo Rafael Bento Carvalho, Formula
Student Racing Championship: design and
implementation of an automatic localization
and trajectory tracking system, MSc Thesis,
Instituto Superior Técnico, Universidade
Técnica de Lisboa, May 2012.
• Nelson Filipe Amorim Gonçalves, Gazetteer
Record Linkage, MSc Thesis, Instituto
Superior Técnico, May 2012.
• Faustino Dabraio da Silva, Increasing the
Scalability of a Software Transactional
Memory System, MSc Thesis, Instituto
Superior Técnico, Technical University of
Lisbon, May 2012.
• Henrique Daniel Santarém Reis, LIE TO ME
- Agentes que mentem, MSc Thesis, May
2012.
• Diogo Miguel Bárbara Prista Caetano,
Microelectronics Circuits for Neuronal
Sensing and Stimulation, MSc Thesis, May
2012.
• Paulo Sousa Paiva, Multimedia terminal
for digital television , MSc Thesis, Instituto
Superior Técnico, Universidade Técnica de
Lisboa, May 2012.
• Rui Miguel Lopes Santos, Multiprotocol
Gateway for Wireless Sensor Networks,
MSc Thesis, IST/UTL, May 2012.
• Gustavo Paramos Merino Faria Encarnação,
Parallelization
of
DNA
Alignment
Alghorithms using GPUs, MSc Thesis,
• Steve Santos Morais, Concretização dos
Objectivos componentes do Mapa de
Estratégia e relação com os Objectivos de
Gestão de uma Organização, MSc Thesis,
Academia da Força Aérea, Mar 2012.
• Justimiano Andrade Alves, Protocolo de
Encaminhamento - Route Alternating
Multipath AODV (RAM-AODV), MSc Thesis,
Instituto Superior Técnico, May 2012.
• Nelson Ferreira, Construção de Simuladores
como Elemento Fundamental de SelfAwareness Organizacional, MSc Thesis,
Academia da Força Aérea, Mar 2012.
• Adriano Conde de Jesus Palma, Protocolo
de Encaminhamento Multicast para Redes
Veiculares Tolerantes a Atrasos, MSc Thesis,
• Diogo Filipe Lourenço Jorge, Custo da Hora
de Voo no Contexto Global da Força Aérea,
MSc Thesis, Academia da Força Aérea, Mar
2012.
• Hugo Alexandre da Silva Pires, Sistema
de distribuição de conteúdos para Digital
Signage, MSc Thesis, May 2012.
• Joana Filipa Gouveia de Almeida, Stories,
Agents and Videotapes: Agents that make
up stories, MSc Thesis, May 2012.
• Pedro Paulo Correia de Magalhães,
System-Level SimulationFramework for
Heterogeneous Multi-Core Processing
Structures , MSc Thesis, Instituto Superior
Técnico, Universidade Técnica de Lisboa,
May 2012.
• Emanuel Frederico Barreiros Castro da
Silva, Video-conference system based
on open-source software, MSc Thesis,
• André Brioso, Virus Resistant e-Voting,
MSc Thesis, Instituto Superior Técnico, May
2012.
• Micael Carreira, NoiseMapper, MSc Thesis,
Apr 2012.
• Marco António Gonçalves Moreira,
Desenvolvimento de um ìndice de Eficácia
de um Subsistema Organizacional como
instrumento de cockpit organizacional, MSc
Thesis, Academia de Força Aérea, Mar 2012.
• Rui André Góis Sancho, Modelo do Ciclo de
Planeamento Estratégico da Organização:
Definição, Conceitos, Instrumentos e
Método, MSc Thesis, Academia da Força
Aérea, Mar 2012.
• Sérgio Pinto da SIlva, Regime de Esforço.
Aplicação do Modelo EX-ANTE e EX-POST
ao Módulo de Gestão Operacional, MSc
Thesis, Academia da Força Aérea, Mar 2012.
• Maria Teresa Game, Fun Rehab - Can
Rehabilitation Be Fun?, MSc Thesis, Instituto
Superior Tecnico, Feb 2012.
• Eugénio Filipe Nogueira Costa, Aceleração
por Hardware de Cálculos Matriciais para
Aplicações de Comunicação Sem Fios, MSc
Thesis, IST, Jan 2012.
• Carla Patrícia Freitas Sousa, Epidemic
Marketplace: Repositório e Web Services,
MSc Thesis, Master Thesis, University of
Lisbon, Faculty of Sciences, Jan 2012.
127
INESC-ID
ANNUAL
REPORT
2012
13 Seminars
20-Dec-2012
Future Many-core Processors: Challenges
and Solutions
Pedro Trancoso, University of Cyprus
07-Sep-2012
FPGA-Based Platform for Real-Time Internet
Maciej Wielgosz, NTNU - Norwegian
University of Science and Technology
19-Dec-2012
Challenges in the Application of Molecular
and Quantum Mechanics to Biomolecular
Problems
Prof. Mata, University of Göttingen
06-Sep-2012
Speculations in Reliable Distributed
Computing
Prof. Rachid GUERRAOUI , EPFL - École
Polytechnique Fédérale de Lausanne
10-Dec-2012
Searching Web Archives
Miguel Costa, FCCN
06-Sep-2012
Speculations in Reliable Distributed
Computing
Rachid Guerraoui
EPFL - École Polytechnique Fédérale de
Lausanne
05-Dec-2012
Cyber-physical MPSoC Systems: Future
Multi-Core Architectures for reliable Mobility
& Technologies
Prof. Juergen Becker, Karlsruhe Institute of
Technology, Karlsruhe, Germany
30-Nov-2012
The L2F Spoken Web Search system for
Mediaeval 2012
Alberto Abad, Inesc-ID
27-Jul-2012
Cleaning data with constraints
Floris Geerts, University of Antwerp
12-Nov-2012
Map Matching :: Novageo Solutions at the
2012 ACM SIGSPATIAL Cup
Sérgio Freitas, Novageo Solutions
19-Jul-2012
Deeper QA: CMU, Watson, and the Open
Advancement of Question Answering
Eric Nyberg, Carnegie-Mellon
29-Sep-2012
Sucint structures to self-indexing text
Nieves R. Brisaboa, Universidade de Coruña
11-Jul-2012
Ensemble pruning via Weighted Accuracy and
Diversity
Samuel Zeng, University of Macau
28-Sep-2012
Privacy-Preserving Speech and Audio
Processing
Bhiksha Raj, Carnegie-Mellon
128
05-Sep-2012
WhatsUp : a P2P instant news items
recommender
Dr. Anne-Marie Kermarrec, INRIA-Rennes
29-Jun-2012
Integrated Neurocomputational and
Empirical Studies of Learning and Cognition
Tiago V. Maia, IST DEI
22-Jun-2012
Entropy-based Pruning for Phrase-based
Machine Translation
Wang Ling, Carnegie Mellon University, USA
and INESC-ID Lisboa, IST
27-Apr-2012
A Toolbox for Probability Calculus and
Optimization
Pedro Miguel Lúcio Melgueira, University of
Évora
04-Jun-2012
Translational research on genomics and
proteomics: experience of the SING group
IST DEI
27-Apr-2012
Dynamic neuroimaging using EEG-fMRI
Patrícia Figueiredo, INESC-ID
25-May-2012
Formalization of English Phrasal Verbs
Peter A. Machonis, Florida International
University
25-May-2012
Prediction of Escherichia coli single gene
deletion mutants by projection to latent
pathways
INESC-ID
23-May-2012
Epidemic spreading in online and offline
social networks
Ciro Cattuto, ISI Foundation
17-May-2012
Assistive Speech Technology
Steve Renals, University of Edinburgh
09-May-2012
Gerenciamento Explícito de Memória de
Rascunho a partir de Arquivos-objeto
para Melhoria da Eficiência Energética de
Sistemas Embarcados
Prof. Dr. José Luís Almada Güntzel,
Universidade Federal de Santa Catarina
04-May-2012
Advances in Structured Prediction for
Natural Language Processing
André Martins, IST/Carnegie-Mellon
26-Apr-2012
Data Integration Issues in Facilities
Management
Paulo Jorge Fernandes Carreira, INESC-ID
13-Apr-2012
Speaker and Content Identification
Xavier Anguera, Telefonica Research
13-Apr-2012
Hybrid Modeling for Systems Biology:
Theory and Practice
Rui Oliveira, Universidade Nova de Lisboa
29-Mar-2012
Seminário do grupo DMIR :
NetDyn - Understanding real large networks,
from structure to dynamics
Alexandre P. Francisco, INESC-ID Lisboa and
IST
09-Mar-2012
Computational Analysis of Protein
Coevolution and Interaction
Fábio Madeira, INESC-ID
02-Mar-2012
Systems Analysis and
Metabolic Networks Modeling
Rafael Costa, INESC-ID
129
INESC-ID
ANNUAL
REPORT
2012
02-Mar-2012
Semantic Analysis of Streaming Social Data
Vasco Pedro, IST
22-Feb-2012
Coordinating towards a common good
Francisco C. Santos, INESC-ID Lisboa and IST
10-Feb-2012
Ciberescola da Língua Portuguesa:
objectivos, construção e resultados
Ana Sousa Martins, Centro de Linguística da
Universidade Nova de Lisboa
27-Jan-2012
Online Bayesian Time-varying Parameter
Estimation of HIV-1 data
Andras Hartmann, INESC-ID
25-Jan-2012
CLIO & ++SPICY - tools for schema mapping
Valéria Magalhães Pequeno, INESC-ID Lisboa
06-Jan-2012
Supervised Topical Key Phrase Extraction
of News Stories using Crowdsourcing, Light
Filtering and Co-reference Normalization
Luis Marujo, INESC-ID Lisboa and IST
130
14 Distinguished
Lecture Series
05-Dec-2012
Cyber-physical MPSoC Systems: Future
Multi-Core Architectures for reliable Mobility
& Technologies
Prof. Dr.-Ing. Juergen Becker, Karlsruhe
Institute of Technology - KIT. Dept. Electrical
Engineering & Information Technology.
Institute for Information Processing - ITIV.
Karlsruhe, Germany.
08-Nov-2012
Control of solar thermal plants
Prof. Eduardo F. Camacho, Dpto. Ingeniería de
Sistemas y Automática. Escuela Superior de
Ingenieros. Sevilla, Spain.
03-Oct-2012
Programming the Turing Machine
Prof. Barbara Liskov, Massachusetts
Institute of Technology
05-Sept-2012
WhatsUp : a P2P instant news items
recommender
Dr. Anne-Marie Kermarrec, INRIA Senior
Researcher (Directrice de recherche), INRIARennes, France
131
INESC-ID
ANNUAL
REPORT
2012
132
Design: FPreto – graphic design for closed and open media

annual report 2012 - ALGOS Group - INESC-ID

Transcrição

Documentos relacionados

- Zipper Galeria

01. WHO WE ARE - ALGOS Group - INESC-ID

Não vou pro céu mas já não vivo no chão Hugo

djavan in boston - Sue Auclair Promotions

Oporto - Mimoa

WED CHECKING-IN WED OPENING CEREMONY 18H30

Programa

The biTTersweeT syllable THE COLOURS OF SLAVERY

Cuba and Brazil: at a junction

2015/16 UEFA Champions League - disciplinary chart

Activities Report Summary Brazil JANUARY 2012 South Marketing

UNL 2006 Report of Activities - centria