2009
ANNUAL
REPORT
2009
ANNUAL
REPORT
2009
ANNUAL
REPORT
INDEX
01
INTRODUCTION
4
02
GENERAL INFORMATION
6
03
04
05
06
2.1
2.2
2.3
2.4
2.5
2.6
2.7
Institutional Information
General Description of INESC-ID
Main Institutional Objectives
Funding Agencies
Human Resources
Management Structure
Research Units
7
7
8
8
9
9
13
SUMMARY OF 2009 ACTIVITIES
14
HIGHLIGHTS
22
DETAILED ACTIVITIES REPORT
30
ANNEXES
44
3.1
3.2
3.3
3.4
3.5
4.1
4.2
4.3
4.4
4.5
4.6
4.7
5.1
5.2
5.3
5.4
2.5
6.1
6.2
6.3
Main Results
Special events and Opportunities
Prizes and International Recognition
Visibility and External Image of the Institution
Cooperation and Mobility
Mancoosi
Maximus
BIOHypo
PT-Star
Target
Pastramy
SFERA
Spoken Language Systems
Information and Decision Support Systems
Interactive Virtual Environments
Embedded Electronic Systems
Communication Networks and Mobility
Research Projects
Publications
Seminars
15
16
18
19
20
23
24
25
26
27
28
31
34
36
38
41
45
59
90
2009
ANNUAL
REPORT
01 \ INTRODUCTION
INESC-ID, a research institute associated with Instituto Superior Técnico and INESC, was launched in the year
2000 and is devoted to advanced research and development in the domains of electronics, telecommunications, and information technologies. In 2004 it was awarded the status of “Laboratório Associado” of the
Portuguese Ministry of Science, Technology and Higher Education.
In close cooperation with its partners, INESC-ID is intensively involved in a number of high visibility projects
that define the state of the art in these areas, both at national and international levels. In particular, INESC-ID
was successful in obtaining a large number of FP7 contracts, being the most successful Portuguese institution, for its size, in the ICT area.
INESC-ID has the particularity of integrating long term research and more immediate, but equally important
technology transfer projects. These two types of activities are crucial for creating in a sustainable value for
the society by developing new technologies.
This report presents, in a structured way, a brief description of the institution and an overview of the most
important results of the activities developed, together with some key management initiatives developed in
2009.
A list of the most significant research projects undertaken in 2009 is included, in order to provide a picture,
although incomplete, of the main competences of INESC-ID. A more detailed list of activities, organized by
research unit, is also provided, and is complemented by a full list of projects, publications, dissertations, and
seminars, included as annexes to the main document.
In this year, INESC-ID continues growing not only in the number of high qualified PhD researchers, but also in
all the indicators: the number of publications and funded research projects and also the participation in two
start-up companies launched by researchers and students from INESC-ID.
5
2009
ANNUAL
REPORT
02 \ GENERAL INFORMATION
2.1
Institutional Information
INESC-ID, “Instituto de Engenharia de Sistemas e Computadores: Investigação e Desenvolvimento
em Lisboa” is a private not for-profit institution, created in 2000, and certified of public interest at
September 2003.
INESC-ID is owned by Instituto Superior Técnico (51%) and INESC – Instituto de Engenharia de
Sistemas e Computadores (49%).
INESC-ID operates in two locations, near (or inside) the two campues of IST, namely:
Campus I
Alameda
Rua Alves Redol, 9
1000-029 Lisboa
Telef.: +351 213100300
Fax: +351 213145843
Campus II
TagusPark
Avenida Professor Cavaco Silva
2780-990 Porto Salvo
Telef: +351 214233508
Fax: + 351 214233290
2.2 General Description of INESC-ID
INESC-ID is a research institute that integrates a body of highly qualified researchers, approximately
100 of which with a PhD degree, as well as post-graduate students. The majority of the PhD researchers are professors, mostly from Instituto Superior Técnico. This body of researchers, unique at national level in its scientific area, enables INESC-ID to act, in the different phases of the R&D process.
The intense activity developed by INESC-ID since its inception in 2000 resulted, up to now, in more
than 2000 scientific papers published in specialized journals and international conferences, dozens of
industrial prototypes based on state-of-art technologies, and in a number of patents and awards.
7
2.3 Main Institutional 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.
2.4 Funding Agencies
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
Commission. Adittionaly, INESC-ID also participates in other funding programs involving government
funding eith the purpose of developing R&D in companies through consortiums with research partners institutions.
8
2.5 Human Resources
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
18
PhD Degree
78
MSc Degree
66
1st Degree
70
Undergraduate Students
42
High School
Total
7
281
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.
2.6 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 provid 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.
2.6.1
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. The Board
was composed, until May 2009, by Arlindo Oliveira (chairman), Luís Caldas de Oliveira and José Carlos
Monteiro. From June 2009 until the end of the year the Board of Directors was composed by Leonel
Sousa (chairman), Luís Caldas de Oliveira and José Carlos Monteiro.
9
Fig. 1 – INESC-ID Organization Chart
Financial Control Dept. (DFA)
Audit Board
General Council
Budget Control Dept. (DAF)
Legal Support Dept.
Infrastructures Dept. (DGI)
Advisory Board
Computer Network Support
Board of Directors
Human Resources
Office (GARH)
Project Support
Office (GAP)
Scientific Council
Board
Spoken Language
Systems
Information and
Decision Support
Systems
Interactive Virtual
Environments
Embedded
Electronic
Systems
Communications
Networks
and Mobility
Coordinating
Commitee
Other members
Administrative Support
10
2.6.2 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 2009 the General Council was composed, until May
2009, by Carlos Matos Ferreira, Afonso Barbosa, Pedro Girão, José Tribolet, Abílio Ançã Henriques
and João M. Lemos. The board of directors of IST has changed in June 2009, and since them the three
representatives of IST are António Cruz Serra, Arlindo Oliveira and Paulo Martins.
2.6.3 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 2009 the Fiscal Council was composed by Hermínio Ribeiro,
Dr. João Catarino and Dr. Vitor Franco.
2.6.4 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.
2.6.5 Board of the Scientific Council
The Scientific Council has a managing board composed of a chairman and two other members.
In 2009 the Board of the Scientific Council was composed by Prof. Luís Silveira, Prof. Inês Lynce, and
Prof. João Miranda Lemos (chairman).
2.6.6 Scientific Council Coordinating Commitee
The Coordinating Commitee is composed of the Board of the Scientific Council and representatives
of the thematic areas.
2.6.7 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).
2.6.8 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.
11
2.6.9 Projects Support Office
The Projects Support Office (GAP – Gabinete de Apoio aos Projectos) is responsible for the control of
the execution of national projects. It also provides administrative support to the activity of the Board
of Directors.
2.6.10 Administrative Support
The Administrative Support is provided by five secretaries that support the researchers of the different R&D groups.
2.6.11 Financial Control Department
The Financial Control Department (DFA – Departamento Financeiro e Administrativo) is in charge of
all the accounting and finance matters.
2.6.12 Budget Control Department
The Budget Control Department (DAF- Departamento Administrativo e Financeiro) controls the finantial execution of the projects and units of INESC-ID. It also handles regular budget control, acquisitions, and project finantial reporting for national and European funding agencies.
2.6.13 Legal Support Department
The Legal Support Department gives advice on all the legal matters concerning INESC-ID.
2.6.14 Infrastructures Department
The Infrastructures Department (DGI – Departamento de Gestão de Infraestruturas) handles all matters directly related with the buildings where INESC-ID is settled, including the telephone service.
2.6.15 Network Support Department
The Network Support Department is responsible for the maintenance of the computer network and
servers.
12
2.7 Research Units
The research developed at INESC-ID is organized in five 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 of the Scientific Council;
• Coordinate the activities of the various groups which belong to the research unit;
• Promote the preparation of proposals for R&D projects;
• Coordinate the preparation of plans and reports concerning to the research unit.
Each research unit integrates different research groups, which are listed below together with their
coordinators in 2009:
Spoken Language Systems:
coordinator Isabel Trancoso
Individual groups do not exist within this research unit.
Information and Decision Support Systems:
coordinators Profª Helena Sofia Pinto, Prof. Pável Calado
SW Algorithms and Tools for Constraint Solving – Prof. Inês Lynce
Knowledge Discovery and Bioinformatics – Profª Ana Teresa Freitas
Distributed Systems – Prof. Luís Rodrigues
Software Engineering – Prof. João Cachopo
Information Systems – Prof. Alberto Silva
Data Management and Information Retrieval – Prof. Helena Sofia Pinto
Interactive Virtual Environments:
coordinator Prof. João Madeiras Pereira
Intelligent Agents and Synthetic Characters – Prof. Ana Paiva
Intelligent Multimodal Interfaces – Prof. Joaquim Jorge
Embedded Electronic Systems:
coordinators Prof. Carlos Beltran Almeida, Prof. Jorge Fernandes
Analogue and Mixed-Signal Circuits – Prof. Jorge Fernandes
Control of Dynamic Systems – Prof. João Miranda Lemos
Signal Processing Systems – Prof. Gonçalo Tavares
Quality, Test and Co-Design of HW/SW Systems – Prof. João Paulo Teixeira
Electronic System Design and Automation - Prof. Horácio Neto
Algorithms for Optimization and Simulation – Prof. Luís Silveira
Communication Networks and Mobility:
coordinator Prof. Augusto Casaca
Individual groups do not exist within this research unit.
13
2009
ANNUAL
REPORT
03 \ SUMMARY
OF 2009 ACTIVITIES
In 2009 INESC-ID has continued to improve the quality of the research and development performed.
The present report gives the main indicators, lists the most significant activities developed during the
year, and highlights some of the most significant projects, with the objective of illustrating the quality
and variety of the research developed by the institution.
3.1
Main Results
The following set of tables summarizes the activities carried out in 2009 and the results achieved.
Projects
Table II – Projects
Type of Project
Number
International Programs
13
National Programs
42
Contracts with companies
11
Total
66
Publications
Table III – Publications
Publication Type
Number
Books
4
International Journals
63
National Journals
1
Serials
15
Edited Books
3
Book Chapters
21
International Conferences
199
National Conferences
50
Patents
Technical Reports
1
65
Special Issues of Journals (editor)
1
Conference Proceedings
4
Total
427
15
Dissertations
Table IV – Thesis
Type
Ongoing
Completed
Total
PhD Theses
134
11
145
MSc Theses
223
132
355
Graduation Theses
25
–
25
382
143
525
Total
Organization of Scientific Events
Table V – Organization of Scientific Events
Type of Action
International
Associate Editor of Journal
Committee Chair
Committee Member
General Chair
Number
10
13
106
5
Invited Speaker
6
Reviewer
94
3.2 Special events and Opportunities
During 2009 INESC-ID continued to improve the quality of its research, by developing initiatives that
aim at fostering excellence in research.
3.2.1
Program CMU-Portugal
INESC-ID participates in the joint PhD Program Carnegie
Mellon University-Portugal in the area of Language and
Information Technologies. This PhD program is part of the activities of the recently created Information
and Communication Technologies Institute (ICTI), resulting from the Portugal-CMU Partnership.
The Language Technologies Institute (LTI) of the School of Computer Science at Carnegie Mellon
University (CMU) offers a dual degree Ph.D. Program in Language and Information Technologies in
cooperation with Portuguese Universities. The LTI, formed 20 years ago, is a world leader in the areas of speech processing, language processing, information retrieval, machine translation, machine
learning, and bio-informatics. The breadth of expertise at LTI enables new research in combinations of
the core subjects, for example, speech-to-speech translation, spoken dialog systems, language-based
tutoring systems, and question/answering systems.
The Portuguese consortium that participates in the program includes the Spoken Language Systems Lab (L2F)
of INESC-ID, the Center of Linguistics of the University
of Lisbon (CLUL), the Centre for Human Language Technology and Bioinformatics at the University
of Beira Interior (HULTIG) and the linguistics group at the University of Algarve (UALG). These four
research centers have expertise in the same language technologies as LTI, but with a strong focus on
processing the Portuguese language.
16
3.2.2 Program MIT-Portugal
The Knowledge Discovery and BioInformatics group participated in the
MIT-Portugal program, in the Biotechnology Systems area. Professor
Arlindo Oliveira taught modules in the areas of computational biology
and bioinformatics, in close coordination with professors from MIT, IST,
and other Portuguese universities.
3.2.3 Annual General Meeting
The INESC-ID Annual General Meeting took place in October 2009.
Senior Researchers met in Aldeia dos Capuchos to discuss issues related with the strategic development of the institution, with special
emphasis on the organization and CMU and MIT programs. Prof. Paulo
Ferrão, as director of the MIT-Portugal program and Prof. João Barros
as director of the CMU Portugal program were the invited speakers of
this general annual meeting.
3.2.4
Admission of New Senior Research Staff
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. From the large
number of applicants, six were admitted during 2009, and are now full members of the research staff:
Paulo Fonseca, Berend Kuipers, Francisco Melo, Sara Silva, Hector Roldan, and Levent Aksoy.
3.2.5
Internal Assessement and Evaluation
The activities developed in 2007-2008 were the object of an internal assessment by a committee
appointed by the Scientific Council, composed of Profs. Arlindo Oliveira, João Miranda Lemos, Luís
Silveira and Luís Rodrigues.
The results of the assessment, as well as the remarks and recommendations made to the internal units
were presented to the Scientific Council.
17
3.3 Prizes and International Recognition
INESC-ID researchers were awarded the following prizes recognizing the excellence of the R&D activities developed:
§
Mário Serafim Nunes received the Best Paper Award for The Fifth International Conference on
Networking and Services (ICNS2009)”, IARIA / IEEE Computer Society, Valencia, Spain, April 2009;
§
Fernando Baptista received Best Paper Award for the article “Fernando Batista, Isabel Trancoso
and Nuno J. Mamede, Automatic Recovery of Punctuation Marks and Capitalization Information for
Iberian Languages, Proceedings of the I Joint SIG-IL/Microsoft Workshop on Speech and Language
Technologies for Iberian Languages. Porto Salvo, Portugal. September 2009;
§
Helena Sarmento received the Best Paper Award for the article “Indoor Location System Using ZigBee
Technology, Sensorcomm”;
§
Leonel Sousa was Distinguished by the Technical University of Lisbon (UTL) with an Honorable
Mention for the number and the impact of the publications in international scientific journals in the
period 2004-2008 (award UTL/Santander Totta);
§
Leonel Sousa received the HiPEAC Paper Award for ‘’Compact and Flexible Microcoded Elliptic Curve
Processor for Reconfigurable Devices’’, by Samuel Antão, Ricardo Chaves and Leonel Sousa, presented at the IEEE Symposium on FCCM, March 2009;
§
Jorge Fernandes and R. Duarte received the Outstanding Paper Award at IEEE Int. Conf. on Mixed
Design of Integrated Circuits and Systems, (MIXDES’09) in June 2009 with paper R. Duarte and J.
Fernandes, “A Comparative Study on Transformer and Inductor Based LC Tanks for VCOs”;
§
Arlindo Oliveira was awarded with the prize UTL/Santader for the quality and impact of the scientific
publications;
§
Inês Lynce was awarded with the prize APPIA PremeIA Award, given by the Associação Portuguesa
para a Inteligência Artificial;
§
Samuel Antão was awarded with the prize Prof. Luís Vidigal 200809 for the dissertation “Eficient Units for Data Processing and
Cryptography.
In 2009 new internal prizes were launched. 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 Tiago
Guerreiro, for the Best Young Researcher Prof. Inês Lynce, and,
for the Best Senior Researcher Prof. Leonel Sousa. These awards
were given by the chairman of the Scientific Council Prof. João
Miranda Lemos.
18
3.4 Visibility and External Image of the Institution
In 2009 the effort to improve the external image of the institution continued. INESC-ID has been invited to participate in several events of high visibility, such as:
§
Workshop UQ, organized by the Instituto Superior Técnico at Taguspark
campus in April 2009;
§
Ciência 2009 – Ciência em Portugal, an exhibition and meeting organized by the Ministry of Science, Technology and Higher Education and
the Associate Laboratory Council, with the goal of promoting public
exposure of science in Portugal and stimulate the dialogue between
scientists. This event took place in July 2009;
§
Mostra Portugal Tecnológico, an exhibition dedicated to technology and
scientific results and organized by the Ministry of Science, Technology
and Higher Education. This event took place in October 2009;
§
4as Jornadas de Inovação, an exhibition organized by Agência de
Inovação in June 2009, with the objective of stimulating cooperation
between R&D institutions and enterprises.
Besides the exhibitions, INESC-ID also promoted and stimulated external visits, mostly from other institutions and groups of external
researchers or students from abroad. Some examples are the external
visits like Aerospace Mission.
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. 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, and cover a wide range of research areas. Besides promoting collaboration across disciplines, these
activities allow that the general public, mainly students and researchers from other institutions/universities, have an interesting approach
of the work developed at INESC-ID. These seminars also promote an
exchange of contacts and useful links for future cooperation.
INESC-ID also gives an extreme importance to its general outlook as a
research institution for the world. Our web page is daily updated, either
with new scheduled seminars, news or open calls for funding. This allows our researchers to be updated with new opportunities and also
publish fellowship calls, for example.
The INESC-ID newsletter was restructured, with a new look and contents. In 2009, a better an informal approach was improved in order to
attract general public. Interviews with senior and young researchers
and the promotion of some of our research projects are the basis of the
News-ID, which also covers corporate/market Inesc-ID relationships,
besides publishing information about our start-ups.
19
A close connection with the media world was also strongly promoted in the year of 2009. Due to that close relationship, we
were able to publish and disclose results of research projects in
high impact public journals and tv programs, showing abroad the
technology and innovation improvements that our institution
has been given on a worldwide level.
3.5 Cooperation and Mobility
INESC-ID promotes cooperation with other institutes and universities, and also with foreign students. In 2009 took place several activities in cooperation with Euroyouth, which is a specialist training agency that promotes consultancy, administration, technical assistance and the evaluation of
professional training programs through fellowships.
Two short-term internships were developed within the direct supervision of INESC-ID researchers
for young foreign students. These interships were a good example of high success cooperation with
Euroyouth.
Among the referred cooperation there were also organized some external visits to INESC-ID research groups and activities. Greece students, teachers and researchers visited institution campues
at Alameda and Taguspark, learning methods and sharing research and academic experiences.
20
21
2009
ANNUAL
REPORT
04 \ HIGHLIGHTS
4.1 Mancoosi
Mancoosi (www.mancoosi.org) is a European research project in the 7th Research Framework
Programme (FP7) of the European Commission. The
project is situated in the FP7 theme Information
& Communication Technologies (ICT), Challenge
1: Pervasive and Trusted Network and Service
Infrastructures, Objective 2007.1.2 Service and
Software Architectures, Infrastructures and
Engineering. The project has started February 1st,
2008, and will finish by the end of May 2011.
Mancoosi addresses the problem of system upgrades in the context of free and open software
distributions. It is common to install an upgrade in a
PC just to find out afterwards that something very
important is not working anymore. The problem is
that, especially when you think about large, complex
software packages, there is no general way to know
if a software package, with all its dependencies and
obscure libraries, configuration files, hardware components or security setup, will work properly on a
specific computer. That is, there is no way to know it
before actually installing a package, and before finding out the hard way that it has destroyed something
else.
Mancoosi pursues two main avenues:
• Rollback solutions: develop mechanisms that provide for rollbacks of failed upgrade attempts, allowing the system administrator to revert the system to the state before the upgrade. The expected
outcomes are tools and techniques to safely and
selectively undo package installation.
• Better upgrades: develop better algorithms and
tools to plan upgrade paths based on various information sources about software packages and
on optimization criteria. The expected outcomes
are safer, more flexible package installers and
better reporting for failed upgrades.
Rollback solutions
No matter how significant the advances in theory, we
know there will always be the possibility that the installation process fails or is not what the user really
wanted. Mancoosi is also building a transactional layer into end-user package management tools, which
will allow bringing your system back to a previous
state (“rollback”) without further problems, working
at the level of individual components, and not on filesystem checkpoints.
Roolback solutions will be found throw the following
steps:
• Report failure: end users are equipped with tools
that allow to report rollback failures to distribution editors;
• Check reports: distribution editors receive and
check these error reports and pass them on to researchers who refine their models describing the
effect of package installation and removal;
• Improved tools: distribution editors then incorporate improved rollback algorithms in the next generation of tools.
Better upgrades
Installing a software component can be a puzzle: if
there are several possibilities on how to satisfy its
dependencies, the system may ask the user obscure
questions, and finally choose one solution using its
own blind algorithm, which may lead to remove other useful packages, and leave the user in the dark.
Mancoosi aims at developping sophisticated optimization algorithms to find efficient upgrade paths
and high level request languages which will make
software upgrading a simpler process for any user,
not only for experienced computer wizards.
23
Better upgrades will be achieved throw the following
steps:
• Report failure: end users are equipped with tools
that allow to report upgrade and installation failures to distribution editors;
• Verify reports: distribution editors receive and
check these error reports;
• Submit problems: distribution editors pass them
along to Mancoosi in a unified, distribution independent format;
• Interesting problems: a selection of interesting
problems is offered to researchers through an international competition;
• Improved algorithms: improved, efficient algorithms coming from research;
• Improved tools: the algorithms are incorporated
by distribution editors in the next generation of
tools.
4.2 Maximus
MAXIMUS is a FP7 European research project which
aims at improving the design review for automotive
and architecture design through dramatically improved rendering and interaction technologies. This
project, lead by the Fraunhofer Institute (Germany),
focuses on developing a system which not only complements the way designers work and collaborate
through multi-modal interaction techniques, but also
takes advantage of high dynamic range rendering.
As result of the know-how and experience, the main
contribution of INESC-ID in the MAXIMUS project is
to devise natural multi-user interaction techniques
for use in retroprojection display systems. For that
end, we developed innovative prototypes, such as the
SqueezyBall or Large Tabletop Interaction Surface.
24
we developed has an unusually large (greater than
A0) interaction surface and is capable of receiving
multiple finger and pen inputs. There, the architects’
plans could be seen in a 1:1 scale to their paper version.
Within this context, we are researching pervasive
multitouch interaction that aim at creating low-cost
devices with 3D stereo. We also explore multimodal
interfaces combining speech, tracked devices and
two-hand interaction to create new tools for architects. Above all, our solution will provide a unique
way for architects to work collaboratevely in a computer system, similar to what they currently do with-
The Squeezy-Ball is a wireless input device with six
degrees of freedom for interaction on large scale
environments. This interaction device
is targeted for user freedom. It allows
the user to walk around freely while
interacting with the system, offering
natural interaction in a 3D environment using both gestures and direct
manipulation. The six degrees of
freedom are provided through gyroscopes and accelerometers, while position in space is determined using a tracking system.
Additionally to a standard physical button, pressure
sensitive sensors allow the user to squeeze the ball
to control the system.
out computers, around a table with paper plans. With
the prototype we are developing, architects will be
able to review the design on the tabletop and visualize the results on real-time in a large screen.
The Large Tabletop Interaction Surface was developed to be used together with a large screen display,
proving a natural way for architects to perform design reviews on their projects. The tabletop device
Besides the natural multimodal interaction techniques, the MAXIMUS project aims on providing high
dynamic range real-time light simulation and rendering pipeline and finally displaying maximum fidelity
image quality. To attain this goal, the consortium is
composed by partners with distinct expertise. The
partner BARCO is developing novel projection technology in terms of high dynamic range contrast and
extended color gamut, while Spheron is devising high
dynamic range acquisition technology for materials.
Fraunhofer IGD is developing novel light simulation
techniques given the new possibilities introduced by
high dynamic material models provided by Spheron
and the new display possibilities developed by
BARCO. Representing the real end users, Giugiaro
and Page\Park contribute in the automotive industry
and architects context, respectively. Finally, Glasgow
Caledonian University is leading the assessment and
evaluation of project prototypes.
4.3 BIOHypo
BIOHYPO aims to provide solid data and analysis to
direct future issuing of guidelines for safe environmental, medical and industrial use of biocides.
Biocides have been in use for hundreds of years for
antisepsis, disinfection and preservation. Despite
this widespread and ever increasing use most bacterial and fungal species remain susceptible to biocides. The dramatic increase and spread of resistance to antibiotics linked to reports of co and crossresistance between antibiotics and biocides raised
speculations on potential hazard of biocide use. 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? The core of
BIOHYPO is 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 elements, and screening for
their molecular epidemiology and metagenomics will
be accompanied by methodological innovation for
testing, risk evaluation and registration of biocides.
The Scientific Committee on Health and Environmental Risks SCENIHR (European Commission advisory body) undertook a public consultation on the
basis of a preliminary opinion and published a final
assessment (01/2009) indicating that biocides may
contribute to increased occurrence of antibiotic
resistant bacteria. BIOHYPO posted a strong comment against the opinion of SCENIHR. We are firmly
convinced that sound statistical evidence based on
epidemiological data is needed to define any given
risk, prior to the publication of alarming statements.
The INESC-ID team is responsible for the workpackage 2, entitled: Integrated bioinformatics and
data management. The integrative bioinformatics
workpackage consists of two parallel efforts by the
INESC-ID team members. Firstly, a semantic web infrastructure will be developed to provide a flexible
web-based data management resource for all participants, where both the raw data and the results of
its processing can be hosted, shared and selectively
disseminated. The web based repository will have its
application programming interface (API) exposed
through REST web-services (REpresentation State
Transfer is an approach where the API is invoked
through regular HTTP calls). Secondly, the data analysis will be designed to address the scale and complexity of molecular epidemiology data. This will be
achieved by a meta-analysis approach where the distinct sources of data and the distinct risk modeling
targets are integrated. The first step of the analysis
will be aimed at finding the statistical significant associations between the biocide use and the appearance of antibiotic or biocide resistance, using traditional uni- and multivariate statistical methodologies. The second step will focus on the quantification
of association that also detects the sort of transient,
non-linear correlation that characterizes Biological
Signals. Finally, the integrated analysis of data will
25
be object of a meta-analysis approach that includes
results from other sources in order to determine
the real clinical relevance of any antibiotic/biocide
co- and cross-resistance found. If co- or cross-resistances are found, they will be analyzed by creating mathematical models of risk. These models will
be developed with the specific purpose of accessing
the impact of the biocides real clinical settings as
quantified by increased costs of treatment or hospitalization, which in turn will allow for an objective
cost/benefit assessment of the use of biocides and
antibiotics in the society.
4.4 PT-Star
Each year, more than a billion Euros
is spent translating documents and
interpreting speeches by European
institutions. Also, about half of the
Europeans speak only their own
language. Just these two facts per
se are a strong motivation for the
fostering of Speech-to-Speech
Machine Translation (S2SMT) technologies, which aim at enabling natural language
communication between people that do not share
the same language.
S2SMT can be seen as a cascade of three major
components: Automatic Speech Recognition (ASR),
Machine Translation (MT) and Text-to-Speech
Synthesis (TTS). One of the main problems of this
multidisciplinary area, however, is the still weak integration between the three components. The main
goal of PT-STAR (funded by FCT, within the Carnegie
Mellon | Portugal Research Projects Program) is to
improve speech translation systems for Portuguese
by strengthening this integration.
S2SMT faces several current research challenges.
First, the performance of all modules significantly
degrades in the presence of spontaneous speech.
This significant degradation is mostly due to the fact
that the modules (namely the ASR and MT modules)
are typically trained with read speech, and have serious difficulties in processing the hesitations, repetitions, filled pauses and non-grammatical utterances
that are so frequent in spontaneous speech. Second,
the current state of the art in S2SMT shows a relatively weak integration between the three modules, not exploring the synergies between the AST
and MT modules, on one hand, and the MT and TTS
modules, on the other. For instance, the synthesizer
typically assumes fluent text as input, which is not
often the case in the output of the MT module. Hence
the synthesis strategy has to be modified in order
to avoid producing non-understandable speech in
26
these cases. Being able to transfer the main focus (or
emphasis) of the incoming speech from the source to
the target language is another extremely challenging task.
PT-STAR is being applied to three different scenarios: Broadcast News, Ted Talks and Classroom
Lectures. Each one of these scenarios has its own
specificities resulting in a broad test-bed: in S2SMT
of Broadcast News we can move from controlled to
spontaneous speech; in Ted Talks, domain adaptation and voice conversion are major challenges, and
we also have to deal with occasional applauses and
laughs from the audience; in what concerns classroom lectures, the envisaged system has to deal
mainly with spontaneous speech, and very specific
technical topics. In this first year of project, we have
put our efforts in the speech-to-text translation of
Broadcast News from PT to EN and in the S2SMT of
Ted Talks. Improvements can be observed in these
different application scenarios.
PT-STAR involves a consortium of universities and
research centers: the Spoken Language Systems Lab
(L2F) of INESC-ID Lisboa, the Center of Linguistics of
the University of Lisbon (CLUL), and the University
of Beira Interior (UBI) and, on the CMU side the
Language Technologies Institute (LTI). S2SMT is a
multilingual, multidisciplinary topic where LTI’s research is undoubtedly one of the best at world wide
level, and where the language specific expertise
of the Portuguese research teams greatly complements this know-how.
4.5 Target
The TARGET project is a collaborative project partially funded by the European Community under the
Seventh Framework Programme.
It is well-known that there is global competition for
highly skilled people. This has led to increasing acceptance by organizations as a key business strategy, of the need to retain and re-train their existing
staff through some kind of tailored competence development that reduces the lead-time for a learner
to achieve target productivity: the “time-to-competence” (TTC). Today, the main route to short TTC is
a bespoke (hand-crafted) face-to-face or blended
course, which tends to be resource-intensive (expensive to create and deliver). What is needed are
methods and tools to effectively and economically
address dynamic competence development rapidly,
with flexible learning contexts of varying complexity
and longevity. One challenge is that each learner is a
unique individual, with different cognitive abilities,
emotional intelligence, personality, knowledge and
experience. Thus, it is not feasible to develop a single
solution tailored to all learners, but rather it is necessary to support mass-individualization.
Taking this into account, the main aim of TARGET
is to research, analyse and develop a new genre of
responsive Technology Enhanced Learning (TEL)
environment that supports rapid competence development of individuals, namely knowledge workers.
Additionally, TARGET can respond dynamically to
the ever-changing business needs of an organization
and the evolving personal goals of individuals.
One of the key elements of the TARGET integrative framework will be the Serious Games which are
digital games that are driven by learning objectives.
In fact, serious games can be deployed as testbeds
for experience management that are highly motivating and emotionally engaging, causing high and long
knowledge retention. In TARGET, a serious game is
combined with digital storytelling techniques, thus
enabling the community to store and share experiences reflecting complex situations.
The mix and sequence of those elements changes
dynamically and synergistically in TARGET to maximize responsiveness to learner needs.
The serious game is the foundational component
of the TARGET platform. As the TARGET learning
process involves both the social and individual dimensions of learning, the Serious Game component
needs to support both dimensions by means of:
Lounge. This corresponds to a shared virtual space
where users (eg: learners and mentors) gather together and may have discussions with one another.
The focal point of the Lounge is a visual representation of the Knowledge Ecology, which can be accessed via the Knowledge Ecology Navigator (KEN)
in either single or shared mode. The latter implies
that two or more users share the same perspective
of the Knowledge Ecology.
Game Scenario. In this case, the user is presented
with a briefing of the Story to be engaged with. In addition to the background information, the user may
browse the existing roles and choose one, although in
most cases the true benefit of the Story is only experienced from a particular role. Once the user chooses
their role, the Story starts where reality is defined by
a simulation and the other roles are assumed by NonPlayer Character (NPCs) controlled by agents. Once
the game scenario is finished, the user has completed their experience and is presented with a debriefing that states if the user was successful in achieving
the story objectives. From the debriefing, the user
may trigger the Competence Performance Analyzer
(CPA) to check how they performed in terms of particular competences within the context of the story.
The Heads-Up Display (HUD) provides the 3D perspective on the environment, both in the Lounge and
when engaged with a story. In addition, the user has
access to:
Personal Organizer. This is a visual component located on the lower left-hand corner. It aggregates
together all the tools and services that the user has
available to engage with the environment. Some
of the tools are generic, like the inventory and the
mini-map that not only provides location aware27
ness. In other cases, the tools correspond triggers to
TARGET platform components such as the competence performance analyzer.
Navigation and the social communication tools.
This is the visual component located on the lower
right hand corner, such as the dialogue system.
INESC-ID, through its VIMMI (Visualization and intelligent Multimodal Interfaces) research group will be
involved in a crucial work package that will develop
the TARGET platform, integrating the services/tools
that other work packages/tasks have developed.
In particular, VIMMI will design and develop the serious game along with the technology for artificial
stakeholders that have a knowledge domain, a decision process that allows them to be goal oriented and
to emotions that make them more engaging with the
human stakeholders. That technology will be provided and developed by the GAIPS research group, also
from INESC-ID.
4.6 Pastramy
The goal of the Pastramy project is to develop, design, and implement a persistent and highly available
Software Transactional Memory (STM) that may be
used as a reliable platform for the development of
enterprise applications.
The presence of enterprise applications in our society has grown to the point where they support most
of the services that we depend upon.Therefore, their
reliability and availability is of paramount importance, as is our ability to develop and to evolve such
applications quickly.
To address these problems, the Software Engineering
group of INESC-ID developed an innovative software
architecture based on an STM that provides a simpler
programming model for developing enterprise applications. This approach was applied with success in
the development of a real-world large application,
the FénixEDU project, and is recognized internationally as the first real-world production use of an STM,
being in daily use since 2005.
As STMs are primarily a mechanism for synchronization in concurrent shared-memory computations,
they typically have no means to support data persistence, nor distributed environments, two crucial
requirements of an enterprise application. Thus,
whereas the STM used in the FénixEDU project had
support for these two aspects, that support was
based on very simple approaches that limited the
scalability and the availability of the system. The
Pastramy project proposes to solve these problems
by researching new persistence and distribution
mechanisms that are specially tailored to an STM.
28
The Pastramy project started in 2008 as a three
year project funded by the portuguese Fundação
para a Ciência e a Tecnologia, and is a joint effort of
the Software Engineering and Distributed Systems
groups of
INESC-ID, the Group of Software Systems of
University of Lisbon, and the Distributed Systems
group of University of Minho.
During the first two years of the project (until the end
of 2009), the project’s team developed several innovative results, producing in that period 21 publications and 9 Masters thesis. Moreover, another product of the Pastramy project was the development of
an open-source framework, the Fénix Framework
that implements our STM-based solution for the
development of enterprise applications. This framework is being used by several Portuguese software
companies that are working in the FénixEDU project, and has been adopted also by a French software
company that is developing a large online game. The
Fénix Framework is, thus, the vehicle for the dissemination of the project’s results to the industry of
software development.
During the last year of the project, the project will
concentrate in the integration of the several results
developed until now into the Fénix Framework, as
well as in the refinement of some of the solutions
proposed so far. At the end, we expect not only to
have advanced the state-of-the-art in the area of
persistent and distributed STMs, but also to have
a production-ready framework that may be used to
develop reliable enterprise applications.
4.7 SFERA
The SFERA project is a EU-funded through FP7 project started in 2009 that aims to increase scientific
collaboration among leading European research institutions in solar concentrating systems.
This project congregates the main european research institutes in solar energy to create a virtual
laboratory, offering the access to the industy to the
best research and test infrastructures on concentrated solar power (CSP).
Solar energy research can be classified by the concentration ratio of solar energy. Research on low
concentration (1 to 10 “suns”) has applications such
as water desalination, disinfection or detoxification
and solar heating and cooling. Research on moderate concentration (10 to 1500 “suns”) has the main
applications on solar thermal electricity generation,
materials processing or chemical production. High
concentration (1500 to over 15000 “suns”) focus on
domains such as energy storage cycles, production
of environmentally benign chemical energy carriers
(H2, ‘Syngas’, etc.), high-flux photochemistry, highvalue-added materials synthesis and knowledge of
behaviour of multifunctional materials under extreme conditions.
The SFERA project is coordinated by CIMEAT from
Spain, and has the following partners: DLR-Germany,
CNRS-France, PSI-Switzerland, ETHZ-Switzerland,
WIS-Israel, ENEA-Italy, DIN-Germany, IRIT-France,
AUNERGY-Spain, CEA-France and INESC-ID.
INESC-ID partecipates in the project through the
researchers Prof. João Miranda Lemos and Prof.
Bertinho Andrade Costa from the Control of
Dynamic System Group – Embedded Electronic
Systems Research Unit. The aim of the participation
is to develop and to test advanced automatic control techniques to be applied on the control of solar
furnaces at PROMES-CNRS-France and at PSA at
south of Spain. This work plays an important role
in the characterization and in the research of high
temperature materials where temperature profiles
must followed with precision. Additional information
about the SFERA project can be obtained at the web
address http://sfera.sollab.eu/ .
29
2009
ANNUAL
REPORT
05 \ DETAILED
ACTIVITIES REPORT
5.1
Spoken Language Systems
Spoken Language Systems is a strongly interdisciplinary area, requiring expertise in very distinct
topics, such as signal processing, machine learning, artificial intelligence or linguistics. The Spoken
Language Systems lab was created in 2001, although
the earlier work dates from the late eighties, to bring
together researchers from all these areas with the
mission of bridging the gap between natural spoken
language and the underlying semantic information,
with a special emphasis on Portuguese. This joint
expertise allows research efforts in collaborative
areas such as semantic multimedia processing, spoken/multimodal dialog systems, speech-to-speech
translation, computer-aided language learning, and
e-inclusion
Semantic processing of multimedia documents entails a complex pipeline of blocks in which the group
invests strong research efforts: audio segmentation, including partioning into blocks from the same
speaker, speech recognition, enrichment of the automatically produced transcription with punctuation
and capitalization, dealing with the disfluencies that
characterize spontaneous speech, segmentation
into stories, topic classification, language identification, and summarization.
Dialog platforms also combine multiple core technologies such as speech recognition, speech synthesis, animated face processing, text processing, and
dialog management. Our goal has been to develop
a generic platform that can be accessed via microphone, telephone, GSM, PDA and web, thus requiring
the creation of a domain-independent level to the
dialog manager.
The next two research directions are much more recent in our group: speech-to-speech machine translation (S2SMT) and computer aided language learning (CALL). Both are two strongly multilingual, multidisciplinary areas with an enormous application
potential. Setting Portuguese as the source or the
target language for S2SMT and the target language
for CALL is a very ambitious goal. The complexity of
S2SMT systems is well justified by the integration of
several modules: speech recognition, machine translation and speech synthesis.
In CALL, virtually all text processing technologies
can be integrated, as well as several speech processing ones (phone recognition, pitch analysis and
speech-to-text alignment).
The last application area which has been the objective of our continued efforts is e-inclusion, namely
the development of alternative and augmentative
communication tools for people with special needs.
31
5.1.1 Activities
2009 has been a year of important changes for this
research line, the most relevant one being learning
how to do innovative research work and simultaneously interact with our recently created spin-off
company VoiceInteraction, which took a significant
percentage of young researchers.
The group has consolidated its efforts in the previous areas of research and expanded to new ones,
currently encompassing virtually all areas of spoken
and written language processing, and achieving the
level of performance that brings Portuguese au par
with most European languages, in terms of automatic processing.
The participation in the international evaluation
campaigns on language and speaker recognition
(LRE 2009 and SRE 2010, the latter in cooperation
with researchers from UPC, Spain), were one of the
landmarks of our internationalization efforts, together with our representation in the boards of international organizations (ISCA and IEEE), and visits
from five top-level researchers.
Three of these visitors were from Carnegie Mellon
University. The cooperation with this University had
a great impact, namely in terms of speech-to-speech
machine translation (S2SMT) and computer-assisted language learning (CALL), in the scope of the recently started projects PT-STAR and REAP.PT. These
projects encompass many core technologies, providing an umbrella for merging and enriching several ongoing PhD and MSc theses on machine translation,
topic detection and tracking, speech recognition,
speech synthesis, voice morphing, capitalization
and punctuation, text simplification, summarization,
question-answering, text recommendation, etc.
Relevant progress was also achieved in terms of
our multilingual, and multi-accent efforts, covering
English and Spanish on one hand (VIDIVIDEO project),
and Brazilian and African varieties of Portuguese, on
the other hand (POSTPORT project).
32
The cooperation with the GAIPS group has grown in
scope, not being restricted to the current joint participation in the LIREC project, but also covering new
proposals in areas such as education. The LIREC project provided the framework for new experiments
with autonomous embodied dialogue systems (robots). Spoken and multimodal dialogue applications
have also been developed for several domains, with
a special emphasis on museum guides.
We have obtained interesting results in the VIDIVIDEO
project in terms of fusion of audio and video modalities for audio segmentation, audio event detection,
and speech recognition. Our gender classification
module is now able to cover also children voices, thus
allowing its application for child abuse detection on
the web, in the international project.
Two application areas raise very interesting research
challenges in new domains: assistance to elderly people, and therapy of patients recovering from aphasia.
These are the topic of the two recently approved
national projects ARIAS and VITHEA, respectively,
which will start in 2010.
The efforts in promoting research among very young
students are also worth mentioning. Four young researcher scholarships have been successfully completed in 2009, particularly in the areas of inte raction with robots and music recommendation, using
machine learning techniques.
5.1.2 Future Plans
As in the previous year, we intend to continue investing in moving into multimodal, multilingual systems,
developing prototypes of spoken language systems
for Portuguese speaking countries, and strengthening our technology transfer through our spin-off
company.
The new project proposals have been made in areas
that reflect our recent interests. The projects that
will start in 2010 (ARIA and VITHEA) denote our keen
interest in application areas related to aids for the
elderly and sick.
The topics of the pending proposals reflect our growing involvement in the translation and education
areas, which are relatively more recent in the group,
and our continuous strengthening of the areas of
multimedia semantic processing and multimodal
dialog systems.
The LIREC project presents great challenges, namely
in terms of embodied dialog systems, and the integration of the memory of the agent with the language
models of the speech recognizer.
In the S2SMT area, our hardest challenges are automatic domain adaptation in machine translation, and
strengthening the interface between this module
and the recognition and synthesis modules.
In the CALL area, the research challenges we are
facing are the automatic selection of distractors
for close questions, and text simplification. Building
a multimedia REAP.PT prototype is also a current
goal.
An interesting topic of research would be to explore
common web-based platforms for both tutoring and
therapy.
It is worth mentioning our growing interest in areas
such as recommendation systems, sentiment analysis, genre classification, and personalized adaptive
multimodal interfaces that learn with usage. The
study of language acquisition is also essential to our
progress on education areas. It is also worth mentioning the continuous extension of our technologies
to other media, with a special relevance to social networks.
Processing of spontaneous speech remains a great
challenge, not only for Portuguese, but for all languages in general.
33
5.2 Information and Decision
Support Systems
Our society is heavily dependent on information
systems which support the whole structure of the
economic and social framework. Therefore, the domain of the processes, techniques and technology
for the analysis, design, development and integration of information systems represents actual and
fundamental areas of knowledge, required to assure
aligned, safe, reliable and trustworthy solutions.
On the other hand, the generalized use of devices
and techniques for data acquisition, transport and
storage raises endless new social problems and challenges, especially to privacy, requiring techniques
for data security and controlled use of sophisticated
analysis methods for the detection of fraud, abnormalities and tendencies.
INESC-ID gathers a body of competences in these
areas that renders it a national and international reference. In particular, it incorporates researchers who
are internationally recognized in the areas of:
• Information systems analysis, design, development, integration and management;
• Architectures and technology for the Internet;
• Methods for data analysis and data mining;
• Algorithms for efficient manipulation of large volumes of data;
• Security in distributed systems (e.g. for grids);
• Mechanisms for privacy preservation;
• Architectures and technology for mobility;
• Requirements and model-driven engineering;
• Ontology engineering and application;
• Algorithms and tools for constraint solving;
• Computational intelligence;
• Systems and algorithms for biological data analysis;
• Geographic information systems;
• Digital libraries;
• Information system’s interoperability and metadata;
• Digital preservation.
34
The integration of these competences leads INESCID to position itself clearly as a reference, on a national level, for providing specialized services to
public and private entities requiring specialists with
unquestionable reputation within their areas of
work.
5.2.1 Activities
Researchers from the Information and Decision
Support Systems line are amongst the most visible
and well known in their respective areas. The line has
achieved a significant amount of results, in terms of
scientific publications, prototype development, and
technology transfer activities. From those, we highlight the following:
• Prototypes: (i) The Fénix Framework, a framework
that simplifies the development of enterprise
applications, used in the FenixEDU project developed and deployed at Instituto Superior Técnico
and at several other universities and software
companies in Portugal. (ii) Deployment of the first
widely used molecular biology database (source:
Galperin, NAR-2006) developed in Portugal, the
Yeastract database, in cooperation with the bio-
•
•
•
•
logical sciences group of IST. (iii) The LOP/BOA
platform to support the Portuguese community,
where teachers, students, and parents can share
and reuse their own learning objects through a
common repository;
Technology transfer activities with several industrial and public institutes such as IST, PT-INOV,
Link Consulting, Ministry of Justice, EDP, SIQuant,
BNP;
National Digital Library, Mimesis Republic, among
others;
Several dissemination activities, including: (i)
Participation in the organization of international competitions in computer science. (ii) The
organization of International Conferences and
Workshops (e.g., RECOMB’2010 or IWODE’2009);
Researcher awards: (i) Arlindo Oliveira was awarded with the 2009 UTL/Santander Award for outstanding contributions to the field of Computer
Science. (ii) Inês Lynce received the 2009 APPIA
Award and the 2009 INESC-ID Young Researcher
Award.
5.2.2 Future Plans
Overall, the research line has been very successful in pursuing training, research, development, and
technology transfers activities. We would like to
strengthen this activity by addressing new themes
and increasing the number of cooperative activities
among different research groups not only of the
same line, but also of other lines in INESC-ID. In particular, we highlight the following activities aiming at
opening new research themes and foster intra-research line and inter-research line collaborations:
• Give continuity to the work on transactional programming, persistence, replication, and distribution, and expand it to address the new topics of
autonomic adaptation and Cloud Computing environments, a joint effort between the Distributed
Systems group and the Software Engineering
group.
• Work on adaptive optimistic data replication algorithms with different consistency criteria, with
emphasis on mobile systems, an activity that will
benefit from the collaboration among Distributed
Systems, Soft Computing and Management, and
Information Retrieval groups.
• Develop Satisfiability Modulo Theory (SMT) solvers, extending the expertise of the LA in the fields
related to constraint solving and optimization to
support the construction of better tools.
• Develop further work in the area of Systems
Biology, with the objective of developing the area
of dynamical modeling of metabolic networks.
• Continue the research in the area of MDE and RE, in
particular applied in the design of social software
and collaborative web applications. Research new
approaches of IT projects management aligned
with the software development processes, particularly agile processes.
• Work on information systems middleware, namely
in information and processes interoperability and
in information life-cycle management, with a special focus on document management, digital archives and digital libraries.
35
5.3 Interactive Virtual
Environments
Interactive virtual environments assume great
strategic importance, given the foreseen evolution
of interaction paradigms, either in supporting human-computer interaction or supporting remote
computer-mediated interaction amongst people
within Virtual Worlds. INESC-ID has a large number
of researchers who develop their activity in a set of
disciplines highly relevant to interactive virtual environments.
Specifically two groups, VIMMI and GAIPS feature
core competences in:
• Devising multimodal interaction models within
virtual environments by using interfaces based
on synergistic recognition of multiple interaction
modalities;
• Architectures for cooperative virtual environments by using algorithms for gesture recognition
and artificial intelligence techniques for creating
realistic synthetic characters;
• Affective computing applied to the generation of
believable synthetic characters and human-computer interaction;
• Software architectures for virtual environments,
with emphasis on image synthesis algorithms,
intelligent agents programming and effectively
using component based design and development
patterns.
For the reasons mentioned above, the institution is
regarded as an excellence centre in this area, with internationally recognized competences and the abil-
36
ity to provide a set of services of great relevance to
our strategic focus areas.
5.3.1 Activities
Interactive virtual environments assume great strategic importance, either in supporting human-computer interaction or supporting remote computermediated interaction amongst people within Virtual
Worlds. This research aims to:
• Consolidation: in 2009 more PhD researchers,
new post-docs and more PhD students (over two
dozen) MsC (over 60) were working in IVE. Our ratios of graduate student to supervisor are the best
among all action lines in INESC-ID. Major new international projects such as TARGET started in 2009.
Also half a dozen nationally funded projects allow
us to face the future with optimism;
• Technology transfer: In 2009 we concluded
several technology transfer projects such as
EUROTOOLING and were active in two. We have
been active in developing software for thematic
musea in the Ciência Viva Network. Besides our
involvement in Lousal, a new contract was started
with WOW systems an SME in Madeira to transfer
technology for another thematic museum;
• Enhanced collaboration with external companies,
including Ydreams, InEvo and WOW (in the context
of industry-drive technology transfer projects);
• Prizes: best INESC-ID Doctoral Student, awarded
to Tiago Guerreiro (VIMMI) as well as two nominations for Best Researcher (Joaquim Jorge) and
best young Researcher (Daniel Goncalves);
• Organization of scientific events: we have participated in the organization of key international
events, including Eurographics, GRAPP, AAMAS,
AIED, IEEE VR, IEEE SMI, CASA, SocialCom.
Furthermore, we have been active in over thirty international scientific program committees, which
attest to the international visibility of all groups in
this area;
• Results dissemination: in 2009, our research work
done was published in relevant international scientific journals – 15 articles were published, a sizable
increment over the previous year – international
conferences (36 papers) and four books in the
area, one PhD and 38 MSc students finished their
theses, over six software prototypes were developed as well as several patent applications filed.
Our publication rates exceed one international
journal and three conference papers per PhD/year.
The research area also published over twenty papers in national conferences. We have also been
very active in promoting national conferences in
HCI, Computer Graphics, Games and AI.
5.3.2 Future Plans
This research line is composed of two small-medium research groups (VIMMI and GAIPS) including
a total of twelve PhDs. Yet, in spite of its dimension,
this research line has shown that it is able to acquire
significant funding (with over a dozen of European
and National Research grants). The scientific output
is of high quality appearing both in respect international journals and conferences as well as books.
Additionally, there have been a number of collaborations with industrial partners. We have undertaken
several projects with mould industry companies,
notably CENTIMFE which came to a successful conclusion in 2009. Also, we have connections, among
others, to BRISA (responsible for the management
of most of the national highway network); Plux, a
company that explores with us the use of custommade sensors for accessibility and multimodal interaction; INEVO, a small consulting firm that commercially disseminates our results in sketch-based
interaction and multimedia information retrieval and
YDreams a wellknown company in the area of media
and interactivity. The research groups in the area are
very well known internationally which is attested
by their involvement in the organization of several
major conferences, including Eurographics, GRAPP,
AAMAS, AIED, IEEE VR, IEEE SMI, CASA, SocialCom,
to name a few.
We plan to increase research funding: there are
many initiatives under way to launch new projects
within IVE. Specifically, over a dozen new proposals have been submitted to FCT in the latest call.
Several new proposals for AdI-sponsored industryled technology transfer programs (QREN) as well as
+Conhecimento (Madeira) are currently being written as well. Several new FP7 proposals are under
preparation, for submission to the regular IST as well
as FET programs.
We also plan to increase human resources: To achieve
its aims, IVE will strive to strengthen collaborative
research within the different R&D groups. In order to
enhance such collaboration, the hiring of future postdoctoral researchers will consider their being directly instrumental to make such collaborations happen
in the future. We aim at furthering individual professional careers by encouraging increased involvement
in professional societies, such as Eurographics, ACM
and IEEE.
37
5.4 Embedded Electronic Systems
The main goals of this research unit are: to perform
advanced research in fundamental areas that support the design of Embedded Electronic Systems; to
train human resources at M.Sc. and Ph.D. levels; to
provide advanced courses and technology transfer
to industry and to support the creation of start-up
companies from our researchers and students.
The Embedded Electronic Systems research unit
is organized in four scientific areas: Electronics
and EDA, Signal Processing, Control and Computer
Engineering.
Information and Communications Technologies (ICT)
are a fundamental part of the new information and
knowledge society. The electronics industry is one
of the key driving forces supporting the sustained
growth of ICT potential in Europe. Besides production manufacturing areas, there is a vast set of manufacturing opportunities connected to the development of new products and associated services.
These opportunities are highly dependent on research and human resources trained in highly specialized project methodologies and tools. Among
these systems, special emphasis goes to embedded
electronic systems, programmable, not only in terms
of software, but also in hardware.
The implementation of embedded systems (digital,
analogue, or mixed signal) as components or cores
(embedded cores) of integrated systems (SoC,
Systems on a Chip) adds value, not only to large
companies, but also to SMEs operating at national
38
level, as long as specialized human resources exist
in sufficient number and quality. Currently, in the
SIP (Semiconductor Intellectual Property) market,
there are successful SMEs with a business based
on the design of IP (Intellectual Property), which are
marked under the form of either material or virtual
cores (hard or soft cores). Even large companies are
already relying on outsourcing of project activities
in this area which require multi-disciplinary knowhow ranging from algorithms and architectures to
telecommunications, image processing, biomedical
applications, modelling, monitoring, supervision and
control of industrial processes.
INESC-ID has available highly qualified human resources in the supporting technologies of digital
electronics, analogue electronics, microelectronics,
radio frequency electronics, instrumentation and
test, adaptive control, predictive control, fault tolerant control and reconfigurable systems, computer
systems architecture, programmable electronic systems, scientific computing, electronic design automation, and sensor networking. Its researchers also
master the design, manufacturing, test, and debug
techniques, necessary for new product development
and follow-up of this area of crucial industrial and
social importance. The use of these technologies in
the areas of telecommunications, energy systems,
industrial automation, automotive, and aero-spatial
applications and in the emerging areas of electromedicine and bio-engineering will require the collaboration of institutions with deep knowledge of
system conception and implementation with semiconductor technologies.
INESC-ID possesses internationally recognized key
competences in this scientific area and has a strong
drive to provide services in this area, as a result of its
experience in European and national projects.
2.4.1 Activities
The most relevant activites and achievements for
this research line are:
• Consolidation: new emerging areas, more PhD researchers and more PhD students working in EES,
and enhanced international partnership and networking.
• Technology mastering: EES is now proprietary
(with INESC-MN) of one of the most advanced
technologies for magnetic biochip platforms and a
strong know how in the area of implantable intracranial visual prosthesis.
• New markets, collaborative research: the automotive SE2A ENIAC Project helped EES to enter the
automotive market, and to exploit the synergies
among 4 EES groups, and with key EU players, such
as NXP and VOLVO.
• PET technology: In 2009, image reconstruction results on clinical tests at Inst. Português
de Oncologia (IPO) Porto, have been obtained.
Improved prototype versions of Data Acquisition
Electronics (DAE) system for PET Mammography
have been developed.
• Partnership with Cadence Design Systems
(EDA): The research affiliation exists since 1996,
through its participation in the Cadence Research
Laboratories network.
• Prizes: best INESC-ID researcher, for Leonel
Sousa, SIPS Group.
• Honorable Mention: L. Sousa, Distinguished by
UTL/Santander Totta for the number and impact
of the publications in international scientific journals in the period 2004-2008.
• Awards:
– MIXDES Outstanding Paper Award for “A
Comparative Study on Transformer and Inductor
Based LC Tanks for VCOs”, by R. Duarte and J.
Fernandes,
– IEEE Int. Conf. on Mixed Design of Int. Circuits
and Systems, June 2009.
– HiPEAC Best Paper Award for ‘’Compact and
Flexible Microcoded Elliptic Curve Processor for
Reconfigurable Devices’’, by S. Antão, R. Chaves
and L.Sousa, IEEE Symp. on FCCM, March 2009.
– SENSORCOMM Best Paper Award for “Indoor
Location System Using Zigbee Technology”, by
G. L. S. Gomes and H. Sarmento, 3rd. Int. Conf.
On Sensor Technologies and Applications, Jun.
2009.
• Organization of scientific events: Int. Workshop on
Multi-Domain Simulation, co-located with ICCAD,
USA, PATMOS’09, ISPDC’09, Lisboa, IOLTS’09,
ETS’09, Seville, Euro-Par’09 and HeteroPar’09,
and ARC’09, Karlsruhe (committee chair).
39
2.4.2 Future Plans
The EES line of action is strongly committed to internationalize activities, by connecting people and researchers with top labs and universities worldwide,
working in the area of embedded electronic systems.
Moreover, we work to attract more international
good PhD students, which are now about 20% of the
total.
Many initiatives are already in place to launch new
projects. For instance, proposals for new FCT projects are numerous, and under evaluation (e.g., 7
proposals made by ALGOS, 3 by GCAM, 6 by QTHS
and 3 by SIPS, several of them in partnership). One
of these FCT proposals is under the auspices of the
Portugal-CMU program. A project proposal for ESA,
with Critical Software, is also under evaluation.
A new proposal for a new AdI-sponsored program
with PETSys, in the context of the PET project, is
under evaluation. New FP7 proposals are under negotiation, namely involving European and Brazilian
partners.
EES is pursuing the following strategic objectives:
• To perform advanced research, development, innovation, technology transfer and professional
training on algorithms, methodologies and tools
for the analysis, specification, design, verification,
test and diagnosis of complex energy-efficient
systems, using electronics, magnetic, mechanical
and optical technologies, eventually interfacing
with biological systems;
• To pursuit, through research, leading-edge knowledge and skills in these area;
• To push research economic value, either by actively seeking customers for our research in global
industry, or by promoting start-up companies;
• To promote international networking among partners (people and institutions) with complementary
core competences;
• To attract local and foreign talents for post-graduate studies in the scientific area;
• To develop scientific and engineering know-how
that may be used to serve the community, by supporting public authorities in decision-making processes.
40
Hence, collaborative research will be enhanced
among the different R&D groups of EES, with
other research lines within INESC-ID (e.g., EES has
been cooperating with the Knowledge Discovery
and Bioinformatics (KDBIO) R&D group of the
Information Systems line in the modeling and control
of biological systems, namely in the scope of the FCT
DYNAMO project), also with local partners (such as
INESC-NM, INOV, INL (Int. Iberian Nanotechnology
Lab), Bithium, CoreWorks, PETSys, SiliconGate,
TecMic, IT, LIP, Critical Software, etc), and finally with
global partners (world-class academia, industry, professional societies, standardization institutions).
Moreover, the multidisciplinary knowledge and technology mastering, which is one of the most valuable
assets of INESC-ID EES research line, will be further
applied by strengthening our activity in emerging
scientific and economical areas, such as energy harvesting, green computing, security, and info-inclusion.
Networking and internationalization will also be
pursued. Two groups in the EES line have been actively involved in the Reconfigurable Computing
Cluster of the European Network of Excellence on
High Performance and Embedded Architecture and
Compilation (HIPEAC). This network also involved
some of the most important companies in the area of
EES, namely NXP, ARM, IBM and STMicroelectronics.
EES is also participating in ComplexHPC - Open
European Network for High Performance Computing
on Complex Environments.
We also plan to continue strengthening the use of
key physical technologies (nanoelectronics, biotechnology, magnetic, optical, and mechanical) to design
and operate energy-efficient, highly dependable
embedded systems for emerging markets.
2.5 Communication Networks
and Mobility
The concept of mobility is increasingly more important in the development of products and services
for the information society. In effect, it is fundamental for the information to be available from any
location, at any time and using any type of terminal.
Integration of different networks (mobile, fixed, local and wide area) is not only an emerging reality but
a real need felt by the general public.
Fixed and mobile communication networks and the
mobility they provide, have a strategic importance,
given the fact that they represent an important infrastructure. Within this area we gather the competences existing in the area of network architectures
(fixed and mobile) which enable the integration of
classic technologies, traditionally separating networks into two different domains: telecommunications and computer systems. Given the recent
developments, it is clearly crucial to integrate both
domains, both at network infrastructure level and at
the level of services and applications.
A special important area for the increasing mobility
of citizens is related to ad-hoc networks, which, due
to the fact that they do not possess high requisites
in terms of planning and installation, may become
extremely relevant in specific domains of society,
namely military and civilian protection.
INESC-ID competences in this area cover different
aspects which are key to the use of communications
networks. Emphasis goes to the work developed at
the levels of quality of service, network management, security and robustness of wireless networks,
besides other types of challenges imposed by mobility. INESC-ID is particularly well positioned to
develop research in this field, both in areas related
to fixed network infrastructure, and the mobile and
wireless network infrastructure. We capitalize not
only the knowledge acquired in state-of-the-art scientific research, but also the experience gained in
the practical implementation of the virtual campus
concept, with the institute currently integrated, in
a transparent way, with Instituto Superior Técnico’s
fixed and mobile networks, sharing its resources and
infrastructures.
Research and development work performed in the
networking area, both in the context of national and
international projects, and the context of post-graduation theses, led to the development of competences recognized through the awarding of various
prizes and the participation, as representatives of
national operators, in several standardization bodies, namely ITU and ETSI, and research coordination
in international projects and bodies.
41
2.5.1 Activities
The Communication Networks and Mobility line
achieved the following main activities within the projects in which their researchers have been involved:
• Development of a Wireless Sensor Network
architecture for Homeland Security applications: a
multi-tier hardware and software architecture was
developed taking into account the requirements
of a specific WSN application: intruder detection
in target areas and buildings. QoS, reliability and
energy-efficiency requirements were taken into
account in protocol and middleware design;
• Development of a Wireless Sensor Network
architecture for Seismic monitoring applications: a
reliable and real-time seismic monitoring network
has been developed, aiming to gather information
on volcanic tremor. Routing and efficient clock
synchronization algorithms are the main issues
that were taken into account;
• Development and simulation of LEMMA, an
energy-efficient MAC protocol for Wireless
Sensor Networks developed at INESC-ID: The
LEMMA protocol is mainly suitable for alarmdriven WSN applications, offering a good tradeoff between latency and energy consumption. It
also allows the existence of multiple sink nodes.
Unlike previous protocols, the decentralized timeslot allocation mechanism of LEMMA selects noninterfering timeslots based on actual link quality
instead of relying on traditional rules-of-thumb
such as the 2-hop interference model;
• Simulation and evaluation of time-slot allocation
techniques for TDMA-based WSN MAC protocols:
Several time-slot allocation scheduling techniques
were comparatively evaluated in tree WSN
topologies;
42
• Departing from the most efficient centralized
allocation policies, decentralized policies were
developed that try to present a similar behavior;
• Simulation and evaluation of a routing algorithm
for mobile ad-hoc networks inspired in biological
models, which has been developed with the aim of
reducing the routing overhead;
• Development and evaluation of a multicast
protocol for Delay-Tolerant networks. The
protocol developed builds a pseudo-multicast
tree based on a heuristic that uses estimates
of the probability of nodes meeting based on
previous encounters between nodes and mobility
information;
• Development of an algorithm for Dynamic
Adaptation of Quality of Service in VoIP
Communications. The algorithm developed allows
an adaptive solution to provide quality of service
in Voice over IP communications. The solution is
based on three components that interact in order
to achieve higher quality in voice communication.
The first two consist in changing the codec and
the transport protocol in real-time during a
conversation; the third consists in using a Forward
Error Correction mechanism to recover from loss
packets;
• Architectures for IPTV and WebTV with dynamic
Quality of Service (QoS) adaptation. The
developed architecture allows scalable converged
networks, like flexible multimedia delivery of
personalized streams over a variety of channels
and networking infrastructures, including mobile
networks. A new QoS adaptation method allows
dynamic updates of session parameters, in order
to maximize the Quality of Experience and turning
the solution suitable for live multimedia streaming,
independently of the cast mode;
• Simulation and evaluation of an algorithm for
dynamic resource management aimed to improve
the Quality of Experience of multimedia users.
2.5.2 Future Plans
The research line will continue fully active research
on the four lines of research already indicated:
- Architecture of Cyber-Physical Systems and Mobile
Ad-Hoc Networks
- Communication Protocols for Delay-Tolerant
Networks
- Quality of Service of Real-Time Services in IP
Networks
- Real-time localization techniques.
The researchers are working in a number of research
activities. One of them is the research on the architecture of secure wireless sensor and actuator networks and application of the developed concepts
to Critical Infrastructure Protection (electricity
distribution and water distribution). Another activity is the Vehicular Delay-Tolerant Network project
running within the Network of Excellence Euro-NF.
Here, research is done on the new DTN protocols for
vehicular applications.
Work in Architectures for IPTV and WebTV with dynamic QoS adaptation will continue. Finally, work is
proceeding in precise localization techniques based
on EGNOS, Wi-Fi and UWB and the respective fusion
techniques, having in view the localization of people
and vehicles in airport installations (terminal and air
side).
43
2009
ANNUAL
REPORT
06 \ ANNEXES
6.1
Research Projects
Title: Cadence - Cadence Research Laboratories
Financed by: Cadence Design Systems
Coordinator from INESC-ID: Luis Miguel Teixeira D
Avila Pinto da Silveira
Short summary: This contract is an open-ended
research contract, under which Cadence Design
Systems is funding a functional research unit, the
Lisbon Center of the Cadence Laboratories. The long
term objectives are the development of advanced
research on the area of CAD tools for VLSI.
Title: PET
Financed by: AdI - Agência de Inovação
Coordinator from INESC-ID: Isabel Maria Silva
Nobre Parreira Cacho Teixeira
Short summary: Breast cancer early detection is
recognized as a worldwide priority, since it constitutes the most effective way to deal with this illness.This project aims at the development of the
Data Acquisition Electronic (DAE) system for a PEM
(Positron Emission Mamography) equipment.
Title: Emonic - Electromagnetics on Integrated
Circuits
Financed by: Philips Research Laboratories
Coordinator from INESC-ID: Luis Miguel Teixeira D
Avila Pinto da Silveira
Short summary: Development of a prototype extraction/modeling tool for RF-ICs, which includes all
essential EM effects and can be used to verify/simulate circuits (preferably using standard RF circuit
simulation tools) at macro/block level against their
RF performance.
Title: eCircus - Education through Characters
with Emotional Intelligence and Role-playing
Capabilities that Understand Social Interaction
Financed by: European Commission – FP6
Coordinator from INESC-ID: Ana Maria Severino de
Almeida e Paiva
Short summary: eCIRCUS will investigate the efficiency of role-play, narrative engagement and empathy on cognitive and emotional learning processes
in complex social situations. eCIRCUS will develop a
new approach in the use of ICT to support social and
emotional learning. This will be achieved through vir-
tual role-play with synthetic characters that establish credible and empathic relations with the learners.
Title: SATIN - Sound And Tangible Interfaces for
Novel product shaping
Financed by: European Commission – FP7
Coordinator from INESC-ID: Joaquim Armando Pires
Jorge
Short summary: The basic idea of the SATIN Project
is to develop, evaluate and exploit as a new commercial product a novel user interfaced based on the fusion of haptic, video and sound modalities. The result
of the project is expected to be an important step towards the development where familiar and intuitive
modalities will hide complex technologies (related to
mathematical representations of surfaces), and will
improve easy of use and accessibility of interactive
shape modelling applications, by supporting diverse
user communities which are not necessarily expert
and knowledgeable about the mathematical aspects
of surface and geometric modelling, such as designers, creative people, phsicians.
Title: Vidi-Video - Interactive semantic video search
with a large thesaurus of machine learned audio-visual concepts
Financed by: European Comission – FP7
Coordinator from INESC-ID: Isabel Maria Martins
Trancoso
Short summary: VIDI-Video project takes on the challenge of creating a substantially enhanced semantic
acess to video, implemented in a search engine. The
engine will boost the performance of video search
by forming a 1000 element thesaurus detecting instances of audio, visual or mixed-media content
Title: GRITO - Uma Grid para Preservação
Financed by: FCT
Coordinator from INESC-ID: José Luis Brinquete
Borbinha
Short summary: In this project we propose to built a
data grid for digital preservation that can be used by
any kind of organizations that need to provide data
integrity on a large time scale.
45
Title: PoliGrid - distributed policies for resource
management in Grids
Financed by: FCT
Coordinator from INESC-ID: Paulo Jorge Pires
Ferreira
Short summary: The main objectives of this project
is to design a platform that supports the definition,
deployment and enforcement of distributed historybased policies in a scalable and effective manner. In
addition, we will provide a prototype implementation that proves the feasibility of the concept and
evaluate its performance based on the simulation of
selected grid usage scenarios. To achieve the above
mentioned goal there are several challenges that
must be addressed. As a matter of fact, in spite of being used for a number of applications, grid platforms
still present a number of limitations in what concerns
the enforcement of advanced usage models. In this
project we will address the following challenges:
large number of users and distributed resources,
resource heterogeneity, autonomous administrative
domains, high volatility and support for multi-level
usage policies.
Title: TARDE - Transimpedance Amplifiers for
Radiation Detectors
Financed by: FCT
Coordinator from INESC-ID: Manuel de Medeiros
Silva
Short summary: To obtain improved performance
(low power, low voltage, minimum noise) transimpedance amplifiers to be used in the front-end of radiation detectors for medical imaging applications. An
amplifier for a PET (Position Emission Tomography)
scanner will be considered as a demonstrator.
Title: IDeA - Integrated Design of Automation for
Anaesthesia
Financed by: FCT
Coordinator from INESC-ID: João Manuel Lage de
Miranda Lemos
Short summary:Development of an autonomous integrated system for the automation of anaesthesia.
46
Title: Dynamo - Dynamical Modeling, Control and
Optimization of Metabolic Networks
Financed by: FCT
Coordinator from INESC-ID: Susana de Almeida
Mendes Vinga Martins
Short summary: The first objective of this project
is to develop and validate mathematical models and
computational tools for the analysis and simulation
of the dynamical behavior of complex metabolic
networks. The main goal is to produce interpretable
models that accurately describe the metabolic system and have prediction and generalization capabilities. A second objective is to create control and
optimization strategies to alter the fluxes and concentrations of metabolites, both transiently and at
steady-state, by proposing the manipulation of enzymes gene expression. A third objective is the creation of an integrative bioinformatics infrastructure
to store the experimental data and to implement
and deploy the algorithms developed, thus fostering
model interchange between systems. A forth objective is the acquisition of experimental in vivo metabolite concentration time series data, the creation of
mutant bacterial strains with desired metabolic behavior and the experimental validation of the models
previously proposed.
Title: LVDCDC - Integrated DC-DC voltage regulator
implemented in standard CMOS technology
Financed by: FCT
Coordinator from INESC-ID: Marcelino Bicho dos
Santos
Short summary: Development of circuit topologies, designed using a low-voltage standard CMOS
process, to implement power mamagement units
suitable for integration in SoCs, specially targeting
portable applications. New topologies will be studied for the power multiplexing among control modes
(PWM; PFW; Power-Down, depending on the load)
and between converter topologies (depending on
the power supply voltage).
Title: ICONS - Intracortical Neuronal Stimulator
Financed by: FCT
Coordinator from INESC-ID: Moises Simões Piedade
Short summary:The goal of this project is to design
and prototype a microelectrode stimulation system
for cortical neuroprosthesis. It includes the design
and prototype of an integrated microelectrode
stimulator for a intracortical neuroprosthesis. The
implantable microelectrode stimulator uses flip-
chip technology to be fully implantable without wiring, reducing the risk of infection and increasing robustness. It is small enough to be undetectable and
has low power consumption obtained directly from
the carrier, through an RF low-coupling transformer,
discarding the need for batteries. The system architecture and circuit techniques which overcome some
of the application issues identified in previous solutions and prototypes.
Title: LEADER - Low-Energy Analog-to-Digital
Converter with Enhanced Effective Resolution
Financed by: FCT
Coordinator from INESC-ID: Jorge Manuel dos
Santos Ribeiro Fernandes
Short summary: To design and evaluate experimentally a calibration-free recycling pipeline ADC (multistage algorithmic) with 1.2 V supply, 14 bits, and 8.20
MHz clock frequency. The target is to obtain very low
power, 0.4 pJ per conversion, and low area.
Title: SPEED - Low-Power Ultra-High Speed Analogto-Digital Converter for Ultra-Wideband Wireless
Communications
Financed by: FCT
Coordinator from INESC-ID: Jorge Manuel dos
Santos Ribeiro Fernandes
Short summary: To design and evaluate experimentally a 2-channel time interleaved pipelined ADC with
6 bits, 1G sample/s. A 90 nm CMOS technology will be
used, and the target is to achieve 0.2-0.3 pJ per conversion step. An efficient solution will be used for
built-in self testing.
Title: FI-DRA - Analysis of the Distributed Resolution
of Feature Interactions for Internet Applications
Financed by: FCT
Coordinator from INESC-ID: Rui Gustavo Nunes
Pereira Crespo
Short Summary: In this project we intend to enlarge
and conclude the research of an innovative distributed system for FI resolution in Internet, whose first
part was concluded in 2005. The proposed system
represented a solution of FI of internet applications,
which alone satisfy requirements but togheter reveal undesirable behaviours. The project focus on
the fundamental properties of security use of the
system, and on the resolution reach for any nonempty set of features candidates for execution. The
properties are formally identified and the results
will be used for a PhD thesis of one participant in
this project. Furthermore, the project focus on the
capacity enhancement that allows a single advisor to
be used by all application nodes in a local area. This
goal represents the major part of a MsC thesis of one
participant in this project. The project results are expected to provide a basis for its adoption in local are
networks and Internet service providers.
Title: COBAYA - Closing the compilation gap between algorithms and coarse-grained reconfigurable array
Financed by: FCT
Coordinator from INESC-ID: João Cardoso
Short Summary: The main objectives of this research project are: to define an intermediate representation format well suited to dynamic compilation to the reconfigurable processing unit (RPU); to
research new compiler techniques and hardware
schemes that can both aim efficient compilation of
software programming languages to reconfigurable
computing platforms, especially coarse-grained reconfigurable arrays connected to a microprocessor
as an RPU; to research and evaluate novel array architectures for the RPU. Those architectures can be
used to save energy or/and to increase performance.
Their study will be done bearing in mind an easier way
to map imperative programming languages to this
kind of architectures.
Title: MRAM - Reconfigurable Hardware using
Magnetic Tunneling Junction Memories
Financed by: FCT
Coordinator from IINESC-ID: Horácio Claúdio
Campos Neto
Short Summary: The objective of this project is to
research new circuit structures for multi-context reconfigurable hardware devices using magnetic tunneling junction (MTJ) memory cells.The use of magnetic random-access memory (MRAM) technology in
run-time reconfigurable hardware devices is a very
promising technological solution. MRAM can provide non-volatility with cell areas and access speeds
comparable to those of SRAM, and with lower process complexity than flash memory.
47
Title: STOP-Fire - A Computational Intelligence
Distributed System for Forest Fire Combat Aid
Financed by: FCT
Coordinator from INESC-ID: João Paulo Baptista de
Carvalho
Short Summary: The main goal of this project is the
development of a computational intelligence based
distributed system prototype that can produce contingency plans to control and combat forest fires
based on available resources (water, equipment,
aerial and terrestrial vehicles, firemen, etc.) and geographical, topological and meteorological restrictions. The prototype will be composed of several
modules: an intelligent graphical forest fire propagation simulator; an expanded fuzzy GIS (Geographical
Information System) associated to a Data Mining
system that extracts geographical and topologic
relevant data; an Intelligent Data Mining system to
extract relevant available forest fire combat resource data; an Expert system that provides contingency plans based on meteorological data, real time
constraints and information provided by the previous modules. All modules are components of a web
based distributed system that should provided good
performance and remote accessibility.
Title: A-CSCW - Attentive CSCW
Financed by: FCT
Coordinator from INESC-ID: Manuel João Caneira
Monteiro da Fonseca
Short Summary: The main objective of this project
is to study how technology may positively influence
group attention in the collaborative context. This
objective will be accomplished by researching the
following questions: How collaborating individuals
divide their attention between the group and the
individual tasks? How can technology positively
influence the attention to the group? Which computer devices improve group attention? What are
the guidelines to incorporate such devices in future
CSCW systems? What are the expected performance improvements? Answers to these questions
will be supplied to the research community.
Title: UWB Receiver- Baseband processing using
reconfigurable hardware
Financed by: FCT
Coordinator: Maria Helena da Costa Matos
Sarmento
Short Summary: The project focus is on the electronic design of high data rate wireless communications systems. This project will explore - the use of
UWB as an emerging technology for indoor applications - the performance of new FPGAs to implement
high demanding baseband processing functions for
wireless communications - the potentialities of serial-communication in new FPGAs - and design methodologies, integrating the use of Simulink and CAD
environments.
Title: VECTOR - Matlab Compilation and Hardware
Synthesis of Custom-Vector Processing for Image
and Signal Processing Algorithms
Financed by: FCT
Coordinator from INESC-ID: Horácio Claúdio
Campos Neto
Short Summary: This project aims to develop and
evaluate methods for the automatic mapping of
image processing algorithms to FPGA-based hardware platforms. These methods must take into account the limited resources on each FPGA and the
required input/output bandwidth to cope with the
real-time requirements of the input applications. We
will extend the PI’s experience in the development
of a compilation and synthesis system for FPGAs to
include a front-end capable of handling restricted
forms of Matlab specifications. The system will use
well known data dependence analyses techniques to
analyze the opportunities for data reuse and vectorization. We will develop novel compiler analyses and
mapping algorithms to exploit compiler-controlled
caching of data and the development of custom vector pipelines in FPGAs. Another novel aspect will be
the inclusion of bandwidth and real-time constrains
in the design space exploration of alternative designs enabled by the extreme flexibility of contemporary FPGAs.
Title: CLAW - Aprendizagem e Anotação Cíclicas da
Web
Financed by: FCT
Coordinator from INESC-ID: Helena Sofia Andrade
Nunes Pereira Pinto
Short Summary: Berners-Lee and colleagues proposed the evolution of the current Web into the
48
Semantic Web. The crucial feature is the association
of semantics to the information in the web, which will
allow it to be treated as knowledge and dealt with in
new and more powerful ways. Ontologies are a major piece of the puzzle: they are pieces of knowledge
that define the meaning of concepts in a domain in
terms of their relationships with other concepts and
therefore they provide semantics.
Title: AMADEUS - Aspects and Compiler
Optimizations for MatLab System Development
Financed by: FCT
Coordinator from INESC-ID: João Manuel Paiva
Cardoso
Short Summary: MATLAB is regarded as a high
productivity language contributing to innovative
achievements in different areas. However, in the
presence of models requiring long simulations, the
developer has to code specific portions of the models in less abstract languages (e.g., C). This hampers
the high productivity promise, decreases progress,
and is also visible when MATLAB specifications are
targeted to embedded systems, increasing product
development cycles.This project intends to address
aspect-oriented extensions to MATLAB in order to
help system modeling and exploration of certain
features conceiving system implementation. Aspect
mining will be used in order to acquire some aspects
relevance from third party MATLAB code. We hope
to identify aspects that will help optimization phases in order to generate performance and memory
efficient implementation code. Code optimizations
will be researched in order to inference types, array
dimensions and sizes, and memory minimization. A
prototype weaver will be developed in order to evaluate the ideas with complex MATLAB code.
Title: PCL Noise - Noise Reduction in Power Line
Communications Channels
Financed by: FCT
Coordinator from INESC-ID: Paulo Alexandre
Crisóstomo Lopes
Short summary: To develop new signal processing
techniques and algorithms for noise reduction in the
power line channel, and increase the achievable bit
rate. Only this way it can be competitive with other
technologies. Power line signals are mostly limited
by electrical compatibility issues, namely by the radiation levels created by common mode currents in
the lines, it follows that it is important to minimize
injected currents, and not necessarily the voltage
levels in the line. This can be done by taking into account the differences in impedances between the
noise sources and the emitter, and requires the power line to be modelled as a two port network. Another
means for noise reduction if to use the correlation
between noises signals in adjacent carriers. Still, another means of noise reduction, that may be suitable
for impulse, non-gaussian noise, is the use non linear
filters at the reception to filter impulse noise. This
can be done throw voltera filters, neural network, or
any kind of non-linear filter.
Title: PRIVATO - Privacy Aware Trusted Computing
Financed by: FCT
Coordinator from INESC-ID: Carlos Nuno da Cruz
Ribeiro
Short summary: In this project we propose a platform which uses TC, but does not have the privacy
and ownership problems of standard TC. The platform uses a simple monitor running in a hardwareprotected environment which mediates every communication between protected applications and the
outside world and verifies the safety properties of
such applications using a data flow model.
We plan to test our TC platform with an e-voting
system, specifically with the e-voting client of an evoting system, which is currently the weakest link
of e-voting systems. We will identify the relevant
properties of an e-voting client, and build a TC monitor which verifies and attests those properties to a
number of e-voting services participating on an election. The e-voting services will return this attestation to the voter by way of an out-of-band channel or
a covert in-band channel to be defined.
We also plan to evaluate the changes, in terms of ISA
and micro-architecture, on a RISC processor which
are needed to implement the TC features, namely the
curtain memory, secure I/O, attestation and sealing.
Title: SHAMAN - Sustaining Heritage Access
through Multivalent ArchiviNg
Financed by: European Commission – FP7
Coordinator from INESC-ID: José Luis Brinquete
Borbinha
Short summary: The aim of the SHAMAN Integrated
Project is to develop a next generation digital preservation (DP) framework. It is furthermore developing corresponding preservation tools for analyzing, ingesting, managing, accessing and reusing
information objects and data across libraries and
archives. Three prototypical applications will sup49
port trialling and validating of the result in scientific
publishing, parliamentary archival, industrial design
and engineering and finally experimentally also in
scientific application domains. To achieve these
goals SHAMAN is applying grid-based multivalent,
linguistic, semantic, and pier-to-pier methods for
supporting DP within its core infrastructure. To archive this, the core functions are organized within
the SHAMAN reference architecture. The core services of the SHAMAN framework are constructed
by integrating Data Grid, Digital Library, Persistent
Archive, Context Representation, Annotation, and
Preservation as well as Deep Linguistic Analysis
and corresponding Semantic Representation and
Annotation technologies for simple and connected
data types establishing, document, media, CAD, and
scientific data, knowledge, and information collections.
Title: DYABLO - Models for the Dynamic Behavior of
Biological Networks
Financed by: FCT
Coordinator from INESC-ID: Arlindo Manuel Limede
de Oliveira
Short Summary: The objectives of this project are
the development of new techniques and models
for accurate simulation of biochemical networks.
Coupled with higher abstraction models, these techniques can be used to study the properties of the
state spaces of complex biological systems, using
model checking algorithms. Finally, these techniques
and models will be applied to actual biological systems, with emphasis on the regulation mechanisms
of the FLR1 stress response network of Yeast.
Title: SHIPs - Sat-based Haplotype Inference by
Pure Parsimony
Financed by: FCT
Coordinator from INESC-ID: Maria Inês Camarate
de Campos Lynce de Faria
Short Summary: One of the main topics of research
in genomics is determining the relevance of mutations, described in haplotype data, as causes of some
genetic diseases. The haplotype inference problem
consists in inferring haplotypes from genotypes. For
solving this problem, different approaches can be
followed. For example, following the pure parsimony
criterion the main goal is to minimize the number of
required haplotypes. The main goal of this project is
to develop efficient algorithms for solving the haplotype inference problem, mainly based on a parsimo50
nious approach, and to apply these algorithms to real
data, in order to identify genetic deseases.
Title: ARN - Algorithms for the identification of genetic Regulatory Networks
Financed by: FCT
Coordinator from INESC-ID: Ana Teresa Correia de
Freitas
Short Summary: The objectives of this project are:
the development of new methods and models to
search and extract evidence of regulatory mechanisms in biological data and literature. This includes
the improvement of the models used to represent
complex regulatory signals and small functional RNA
motifs and the development of algorithms to explore
the cooperative characteristic of all these signals;
the development of algorithms for the identification of local patterns in expression data; and the
development of text-mining methods for extracting
gene regulations from BioLiterature and from gene
annotations; the design of new algorithms to derive
effective models for gene regulatory networks. This
includes the development of methods to piece together information from different sources.
The project will use the YEASTRACT platform (www.
yeastract.com) as a launching pad for a much more
ambitious system.
Title: BSOLO - Satisfação e optimização com restrições Booleanas
Financed by: FCT
Coordinator from INESC-ID: Vasco Miguel Gomes
Nunes Manquinho
Short summary: The development of a new pseudoBoolean core framework and the integration of the
proposed techniques is fundamental, not only for
supporting research work in related topics (e.g. model counting), but also to increase the competitiveness
of the software package already developed. Without
it, the visibility of our research work will decrease, as
well as the excellent performance obtained in the
pseudo-Boolean solver evaluations (results available at http://www.cril.univ-artois.fr/PB07/). With
a more competitive solver, the BSOLO project will
also pursuit the objective of being able to integrate
the new solver into real-world applications, namely in
international companies from Operations Research
(OR) to Electronic Design Automation (EDA).
Title: Byzantium- Efficient Byzantine fault-tolerant database replication
Financed by: FCT
Coordinator from INESC-ID: Rodrigo Seromenho
Miragaia Rodrigues
Short Summary: This project aims at developing
novel techniques for improving the performance of
Byzantine fault tolerant replicated databases.
Title: FLR1-NET - Characterization and modeling of
a specific transcriptional regulatory network required for multidrug resistance in yeast
Financed by: FCT
Coordinator from INESC-ID: Arlindo Manuel Limede
de Oliveira
Short summary: The main objectives of this project
are to unveil the hierarchy and synergy that lies behind the combined action of the transcription factors involved in yeast response to drugs and other
chemical aggressions and to develop computational
tools for modeling the dynamic of these transcription regulatory networks.
Title: REDICO - Dynamic Reconfiguration of
Communication Protocols
Financed by: FCT
Coordinator from INESC-ID: Luís Eduardo Teixeira
Rodrigues
Short summary: The Redico projects intends to
build a new protocol composition and execution
framework tailored to support dynamic reconfiguration. There are multiple challenges in addressing
the problem, including the new framework should
support the seamless reconfiguration in run time. In
addition to building a new protocol framework, the
project aims at:
- Refactoring the existing group communication protocol suite to work on the new kernel.
- To design a new group communication protocol
suite able to operate on hybrid networks, consisting
of fixed (wired) nodes and mobile (wireless) nodes.
Title: FOLKPEERS - Folksonomies in P2P systems
Financed by: FCT
Coordinator from INESC-ID: Helena Sofia Andrade
Nunes Pereira Pinto
Short summary: The new developments on the
Semantic Web and in particular the new trend on
Web 2.0 applications have a strong emphasis on
user driven publishing and managing content plat-
forms. Examples of such systems are Flickr (to store,
search, sort and share photos), del.icio.us (to keep,
share and discover favorite links), digg (to keep, classify, and share favorite news),etc. All of them are
user driven social content websites that have a huge
number of users sharing resources. Classification
of shared resources is user-driven and lead to a new
topic: Folksonomies. The goal of this project is to
develop an application for user driven social content
management in the ontology area. In particular we
aim at developing an ontology library based in P2P
technology, that allows users to store, search, sort,
share, discover and classify ontologies.
Title: ERA-PG - Genome-wide analysis of short
RNAs as modulators in dehydration stress tolerance using tolerant and genetic model systems
Financed by: IBET
Coordinator from INESC-ID: Ana Teresa Correia de
Freitas
Short summary: Drought stress is a common adverse
environmental condition that seriously affects crop
productivity worldwide. Due to the complexity of
drought as a stress signal and the fact that drought
stress is difficult to manipulate, deciphering dehydration tolerance mechanisms is a major challenge.
The objective of this project is to explore potential
roles of regulatory small 21-25nt RNAs (sRNAs) in dehydration stress tolerance. We propose to construct
libraries of sRNAs from the desiccation tolerant
model plant Craterostigma plantagineum, the dehydration tolerant legume Medicago truncatula and
the genetic model plant Arabidopsis thaliana at different stages of dehydration. We aim to identify new
families of sRNAs using genomics tools and test the
expression profile of selected sRNAs. Our results
will have important implications for gene regulation
under dehydration stress and also contribute significantly to the long-term goal of having a comprehensive profile of sRNAs in plants.
Title: GINGER - A Flexible Peer-to-Peer Grid
Infrastructure
Financed by: FCT
Coordinator from INESC-ID: Luis Manuel Antunes
Veiga
Short summary: To build a fully decentralized, peerto-peer Grid infrastructure that meets several goals
that are not met by current Grid infrastructures,
such as ease of deployment and use, lack of centralized components, or the ability to run in an environ51
ment where nodes may not be willing to cooperate,
and where failure is the norm, and not the exception.
Title: Mercury - Improving consistency of replicated
data in resource-constrained devices
Financed by: FCT
Coordinator from INESC-ID: Paulo Jorge Pires
Ferreira
Short summary: The high-level overall goal of this
project is to improve users’ productivity by supporting data access with high availability and performance. Optimistic replication is a well known technique to attain such goal but its usefulness strongly
depends on the underlying consistency protocol to
ensure fast and reliable replica consistency. This
project will develop new algorithms, protocols, and
system architectures running in prototypes that
will ensure conflict minimization and rapid update
convergence appropriate for resource-constrained
devices. The contributions will be in the area of consistency of replicated data. In particular: i) a consistency protocol that decouples consistency information from data propagation, thus minimizing network
bandwidth, ii) voting-based update protocols allowing rapid commitment in the presence of failures or
partitions, and iii) content-based indexing for structuring the data allowing the use of similarities between data, thus reducing memory usage.
Title: PASTRAMY - Persistent and highly Availabe
Software TRansactional MemorY
Financed by: FCT
Coordinator from INESC-ID: João Manuel Pinheiro
Cachopo
Short summary: The project has three complementary goals: To design and implement an optimized persistence store to Software Transactional
Memory (STM) that supports the durability property of software transactions and provides efficient
read access to objects. We plan to support several
persistent store structures that allow optimized access from STM and readable access from final users;
to design and implement a collection of replication
strategies tailored to build reliable and distributed
STMs. Such algorithms are fundamental to increase
the scalability and availability of STMs based systems. We plan to leverage on the partner experience
in building replication algorithms for relational database models, to build novel algorithms, adapted to
the unique characteristics of STMs; to deploy and
evaluate the solutions above in a realistic setting,
52
using a open-source university management system
that is currently used at the IST to incorporate all
on-line campus activities and related management
services.
Title: POSTPORT - POrting Speech Technologies to
other varieties of PORTuguese
Financed by: FCT
Coordinator from INESC-ID: Isabel Maria Martins
Trancoso
Short summary: The goal of this project is porting spoken language technologies originally developed for European Portuguese to other varieties of
Portuguese, namely those spoken in South-American
and African countries. The two main technologies to
be investigated are speech synthesis and recognition. Instead of porting complete systems, we shall
concentrate on the linguistically relevant modules.
Prior to this main work, the project will involve two
tasks: corpora collection and characterization of the
main differences between the studied varieties. The
last task concerns the automatic identification of
spoken varieties of Portuguese, which will be used as
a pre-processing stage for switching among recognition systems developed for specific varieties.
Title: EUCALYPTUS - Scanning for candidates genes
underlying a pulp yield QTL in Eucalyptus globulus
Financed by: FCT
Coordinator from INESC-ID: Ana Teresa Correia de
Freitas
Short summary: The main objective is to identify
and characterize the genomic region that underlies
strong effect pulp yield QTL in E. globulus, combining
map-based cloning and transcriptomic approaches.
Knowledge of the genomic loci responsible for quantitative variation of wood traits of interest (pulp
yield), is of major interest in molecular assisted
breeding. This will allow identifying genes responsible for that variation, and gathering new knowledge
about the molecular mechanisms of gene expression
and regulation in wood forming tissues.
Title: VIZIR - Visualizing Massive 3D Data Sets
Interactively on Commodity Clusters
Financed by: FCT
Coordinator from INESC-ID: João António Madeiras
Pereira
Short summary: This project aims at developing efficient parallel algorithms to make it possible to in-
teractively visualize and navigate massive data sets
in commodity clusters for high resolution screen devices such as large tiled displays.
Title: MANCOOSI - Managing the Complexity of the
Open Source Infrastructure
Financed by: European Commission – FP7
Coordinator from INESC-ID: Maria Inês Camarate de
Campos Lynce de Faria
Short summary: The main objective of the Mancoosi
project is to develop the scientific knowledge and
build the tools necessary to manage the complexity
of the open source infrastructure. This infrastructure is one of the essential building blocks of tomorrow’s software architectures: the success of LAMP
(Linux, Apache, MySQL, Php) inside as well as outside
the data centers is clear evidence of this. Yet, this
infrastructure undergoes a fast-paced and distributed evolution that is too often maintained in ad-hoc
ways using tools and processes that have clearly attained their limits today. There is a need for new and
innovative technology, and this is what Mancoosi will
provide. We explicitly target the difficult problems
that arise when one wants to efficiently and safely
upgrade a set of software components in complex
software infrastructures, like those found in open
source software distributions, which are among the
most complex software systems known, made of
tens of thousands of components that evolve over
time without centralized design: this is a challenging
endeavor. We have chosen the Free and Open Source
infrastructure as our main target, as it provides today a real-world example of what tomorrow’s complex, quickly changing software systems will look
like: the applicability of these models and algorithms
goes far beyond Free and Open Source software, and
technologies developed in Mancoosi will pave the
way to the maintainability of the software systems
of the future, especially for systems of systems,
even when they are not Free or Open Source.
Title: EURO-NF - Anticipating the Network of the
Future - From Theory to Design
Financed by: IST - FP7
Coordinator from INESC-ID: Augusto Julio
Domingues Casaca
Short summary: Future networks became a central
topic with a major debate concerning whether moving towards the new networked society will be evolutionary or disruptive. In the future networked society, the physical and digital worlds will merge based
on the massive usage of wireless sensor networks.
Objects will be able to identify and locate themselves and to communicate through radio interfaces.
Self-organized edge networks will become more and
more common. Virtualization and programmability
will allow for providing different networking environments over the same infrastructure. Autonomic
networking will deal with the increasing complexity of I&C systems. End-user empowerment will increase with their capacity of providing services and
content.
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.
Title: LIREC - LIving with Robots and InteractivE
Companions
Financed by: European Commission - 7th Framework
Programme (Other) - Brussels, Belgium
Coordinator from INESC-ID: Ana Maria Severino de
Almeida e Paiva
Short summary: LIREC aims to establish a multifaceted 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. Whether as robots, social toys or graphical and mobile synthetic characters, interactive and
sociable technology is advancing rapidly. However,
the social, psychological and cognitive foundations
and consequences of such technological artefacts
entering our daily lives - at work, or in the home - are
less well understood. Successful technology can only
be delivered on the basis of strong scientific foundations, and with partners in psychology, ethology,
human-computer interaction, human-robot interaction, robotics and graphical characters, 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’.
53
Title: MAXIMUS - MAXimum fidelity Interactive
Multi User display Systems
Financed by: European Commission – FP7
Coordinator from INESC-ID: João António Madeiras
Pereira
Short summary: MAXIMUS is a FP7 European research project which aims at improving the design
review for automotive and architecture design « dramatically improved rendering and interaction technologies. The main contribution of INESC-ID in the
consortium is to develop natural multi-user interaction techniques for use in retro-projection display
systems.
Title: LocON - Platform for an inter-working of embedded localisation and communication systems
Financed by: European Commission – FP7
Coordinator from INESC-ID: Augusto Julio
Domingues Casaca
Short summary: The project aims at a seamless connectivity and interworking of embedded localisation
and communication systems trhough a new platform
- the LocON platform. The platform will be demonstrated at the Faro airport.
Title: PET – Iib - Development of PET Technologies
Financed by: AdI
Coordinator from INESC-ID: Manuel de Medeiros
Silva
Short summary: Development of advanced versions
of PET systems for medical imaging.
The overall project will extend the capabilities of the
PET scanner for mammography that has been developed by the PET Consortium since 2003. The Group
of Analog and Mixed-Signal Circuits at INESC-ID will
develop an upgraded version of the front-end ASIC.
Title: MIA-VITTA - Mitigate and assess risk from
volcanic impact on terrain and human activities
Financed by: European Commission – FP7
Coordinator from INESC-ID: Teresa Maria Sá
Ferreira Vazão Vasques
Short 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 to improve their experience in volcanic risk management. The project multidisciplinary
54
team gathers civil defence agencies, scientific teams
(earthsciences, social sciences, building, soil, agriculture, Information Technologies and telecommunications) and an IT private company.
Title: FleetMod - Modelling and Simulation of the
Behaviour of Fishing Fleets
Financed by: FCT
Coordinator from INESC-ID: João Paulo Baptista de
Carvalho
Short summary: Fishermen are the most important predators in marine ecosystems, with a high
impact on the mortality on marine populations and
destruction of marine habitats. In this project we aim
a qualitative model of this predatory behaviour that
will allow simulating and predicting the responses
of the skippers of fishing vessels to a wide range of
relevant factors, whether of natural or human origin.
This model will then be connected to existing models
of the population dynamics of different fish stocks,
and will provide a framework to test the effectiveness of different management measures, such as
catch restrictions, marine closed areas, seasonal
fishing bans, etc. The project will focus on the bottom-trawl, purse-seine and deep sea longline fishing
fleets, and will combine recent advances in qualitative modelling techniques (rule-based fuzzy cognitive maps) with a privileged source of real-time information on the behaviour of skippers taken onboard
during fishing trips.
Title: CleanDrive
Financed by: Câmara Municipal de Vila Franca de
Xira
Coordinator from INESC-ID: João António Madeiras
Pereira
Short summary: Adapting, maintaining and monitoring an Eco-driving simulator.
Title: Sideworks-Biocores - Hardware accelerator
for biological sequences alignment
Financed by: QREN
Coordinator from INESC-ID: Paulo Ferreira Godinho
Flores
Short summary: The main objective 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 Augusto Pires
Seabra de Sousa
Short summary: The main objective of this project,
in what respects the participation of INESC-ID 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). The instrument
electronics unit contains the dedicated electronics
needed to operate the inertial sensors. It includes
power supplies, read-out electronics to provide signal in the form needed by the navigation processor
and possible computer. Some examples of sensors
to be used are accelerometers, gyroscopes and a
digital compass. The precise requirements vary in
accordance with the types of instruments used and
the level of performance which is needed. The information extracted from the signals permits the INS
to produce the movements (position, velocity) and
attitudes of the unit.
Title: ScryBAM - Sistemas Criptografia Baseada em
Aritmética Modular
Financed by: FCT
Coordinator from INESC-ID: Leonel Augusto Pires
Seabra de Sousa
Short summary: The main goal of this project is the
research of efficient systems of modular Arithmetic,
namely Residue Number Systems (RNS), for the
development of safe embedded based on the use
of cryptographic algorithms. For a given security
level, the cryptographic algorithms based on elliptical curves are computational more efficient than the
anti-symmetrical algorithms currently in use (e.g.
RSA, ElGamal). This project also researches and develops efficient dedicated computational structures
for cryptographic systems based on elliptical curves,
exploring the properties of the RNS. It is intended,
also, to integrate these computational algorithms
and structures in embedded systems for different
types of applications, in particularly sensible areas
as they are the systems of personal identification
and (bio) medicine.
Title: MULTICON - Architectural Optimization of DSP
Systems with Multiple Constants Multiplications
Financed by: FCT
Coordinator from INESC-ID: Paulo Ferreira Godinho
Flores
Short summary: The main goal of this research project is the development of new models and algorithms
for optimization of Multiple Constant Multiplications
(MCM) architectures. Most of existing algorithms
simply minimize the number of adders and subtracters used in MCM blocks. However, the total delay of
MCM blocks is also an important requirement that
has been ignored in most optimization models. The
developed algorithms should incorporate area and
delay in a common optimization model for MCM
blocks and be tuned for each MCM instance in order
to reduce the total problem search space. Moreover,
in these project new architectures targeting different requirements will be proposed and evaluated.
Dedicated architectures for low-power consumption
that trade-off computation speed (throughput) with
power consumption will be studied. The propose architectures should have the capability to activate
only the hardware elements of the MCM that are
required for computation of a given constant multiplication. By reducing the global switching activity in
the MCM, major saving in power consumption are expected. 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: Sideworks-Security - Hardware accelerator
for cryptographic applications
Financed by: QREN
Coordinator from INESC-ID: Ricardo Jorge
Fernandes Chaves
Short summary: The main objective of this project/
task is the development of efficient implementations of ciphering algorithms, considering the hardware reconfiguration capabilities.
Title: LabChip - Integrated Lab On Chip Platforms
for Medical Diagnostics
Financed by: FCT
Coordinator from INESC-ID: Leonel Augusto Pires
Seabra de Sousa
Short summary: Lab on chip diagnostic systems
are being introduced for a variety of point of care
55
applications ranging from medical diagnosis (gene
expression, protein, and cell chips), to environmental and food control applications. This project will
form an interdisciplinary network of Portuguese
and Spanish laboratories, strenghtening current collaborations and initiating new ones. Workshop organization, student and researcher visits, and project
meetings are planned to achieve convergence. The
project will cover three types of lab on chip platforms:a) magnetorestive (MR) biosensor platforms,
where both a general purpose MR lab on chip platform and a lateral flow MR based or inductive based
platform will be analyzed b) MEMS and NEMS based
biosensors, where devices made at the collaborating
groups will be compared c) Integrated semiconductor biosensors, where devices made in the differernt
groups using electronic, or optoelectronic based detection will be compared and improved.
Title: TARGET - Transformative, Adaptive,
Responsive and enGaging EnvironmenT
Financed by: European Commission – FP7
Coordinator from INESC-ID: João António Madeiras
Pereira
Short summary: TARGET aims to revolutionize competence development for project and innovation
managers by providing technological support for
rapidly developing and improving their competences. The serious games approach will be exploited to
provide real-life like learning experiences for project
managers to enhance their competences.
TARGET focuses on providing support for competence development, where learners will be able to
experience complex and challenging project management experiences that characterize the real
world. TARGET aims to address this challenge by
providing realistic game scenarios for the project
managers, to augment whatever they are familiar
with from their work experience, or from communities of practice, or from courses on the formalized
body of knowledge of project management. TARGET
aims to capitalize on the experience and knowledge
of relevant communities (e.g. communities of project
managers, communities of TARGET users) by obtaining their experiences to enrich the game scenarios
as well as supporting contributions and knowledge
sharing among the community members through social tools.
56
Title: VRFS - Development of Video Recording
Software Component in Feedback System for
Sports Training
Financed by: Japan Institute of Sports Sciences
Coordinator from INESC-ID: Shinichi Yamagiwa
Short summary: Research and Development for a
video recording software component in a feedback
system utilized in training field for sports athletes.
Tite: RSWV - Recording Software from DV Camera
Input on Windows Vista
Financed by: MIA Corporation
Coordinator from INESC-ID: Shinichi Yamagiwa
Short Summary: Research and investigation for
porting the developed versions of video recording software system utilized as sports training to
Windows Vista environment revising a part of the
software component to extend functionalities that
utilize new functions in Windows Vista.
Title: Sideworks Arithmetic - Scientific Computing
and BaseBand Processing on the SideWorks
Reconfigurable platform
Financed by: QREN
Coordinator from INESC-ID: Horácio Claúdio
Campos Neto
Short Summary: This project will explore the use of
SideWorks, a reconfigurable platform, to compute
applications in two specific domains: high performance computing and baseband processing. In the
high performance computing domain, a set of double
and single precision floating-point operations will be
considered, namely, sum, subtraction, multiplication
and division. A set of arithmetic cores will be developed and implemented on SideWorks to accelerate
the execution of matrix computations. In the baseband processing domain, a set of algorithms used in
the design of a OFDM receiver will be implemented
on SideWorks. In particular, the project considers the
design of blocks for data synchronization, OFDM,
demodulation and Viterbi decoder.
Title: REAP.PT - Computer Aided Language Learning
- Reading Practice
Financed by: FCT/CMU
Coordinator from INESC-ID: Nuno João Neves
Mamede
Short 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: EDLocal - Making local and regional content
accessible through the European Digital Library
Financed by: European Commision – FP7
Coordinator from INESC-ID: José Luis Brinquete
Borbinha
Short Summary: EDlocal is a European project
funded by the eContentPlus Program and represented in Portugal by the Fundação Museu Nacional
Ferroviário (FMNF). The purpose is to establish a Best
Practice Network to improve the interoperability of
the digital content held by regional and local institutions and make it accessible through the Europeana
(http://europeana.eu). There is a pressing need to
involve Europes´s network of local and regional libraries, museums and archives more extensively in
making the enormous amount of digital content that
they hold available through Europeana, INESC-ID will
assist the FNF to establish efficient and sustainable
processes through which Portuguese institutions
can easily make their content available to Europeana
during and after the project, adopting and promoting the use of infrastructures,. tools and standards,
as specifications emerge, especially OAI-PMH repositories and Europeana Metadata Applications
Profiles.
Title: PTSpeech Translation Advanced Research to
and from Portuguese
Financed by: FCT/CMU
Coordinator from INESC-ID: Maria Luísa Torres
Ribeiro Marques da Silva Coheur
Short summary: The main goal of PT-STAR (Speech
Translation Advanced Research to and from
Portuguese) is to improve speech translation systems for Portuguese by strengthening this integration. 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.
Title: BIOHYPOConfronting the clinical relevance
of biocide induced antibiotic resistance
Financed by: European Commision – FP7
Coordinator from INESC-ID: Ana Teresa Correia de
Freitas
Short summary: Biocides have been in use for hundreds of years for antisepsis, disinfection and preservation. Despite this widespread and ever increasing use most bacterial and fungal species remain
susceptible to biocides. The dramatic increase and
spread of resistance to antibiotics linked to reports
of co- and cross-resistance between antibiotics
and biocides raised speculations on potential hazard of biocide use. 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 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: European Commission – FP7
Coordinator from INESC-ID: João Manuel Lage de
Miranda Lemos
Short 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 du57
rability 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.
Title: ColaDI - Gestão documental Colaborativa para
Design Industrial
Financed by: QREN
Coordinator from INESC-ID: Manuel João Caneira
Monteiro da Fonseca
Short Summary: ColaDI goal is the developement of
solutions for a simple and transparent management
of documents produced by industrial design. We plan
to research new approaches for multiuser collaboration, to enable an easier and more direct discussion
over documents, 2D and 3D. New calligraphic and
gesture based interfaces will be developed thus increasing usability,
ease of use and user conversation. At the end, we
want to build a platform to allow the integration of
new research results in the areas of document collaboration, classification
and retrieval, taking into account the solution´s usability and use of new interaction techniques. ColaDI
will be a bridge for future cooperation between its
partners and will provide a commercial and real life
use of research results.
58
6.2 Publications
6.2.1 Books
MárioPereiraVéstias,Redes Cisco para Profissionais,
May 2009, FCA - Editora de Informática.
José Alves Marques and Paulo Ferreira and Carlos
Nuno da Cruz Ribeiro and Luis Veiga and Rodrigo
Rodrigues, Sistemas Operativos, Mar. 2009, FCA,
LIDEL.
Abel J. P. Gomes and Irina Voiculescu and Joaquim
Armando Pires Jorge and Brian Wyvill and
Callum Galbraith, Implicit Curves and Surfaces:
Mathematics, Data Structures and Algorithms,
Mar. 2009, Springer.
João C. Martins and Leonel Sousa, Bioelectronic
Vision: Retina Models, Evaluation Metrics and
System Design, Jan. 2009, BE&BME Vol.3, World
Scientific.
6.2.2 International Journal Articles
Rui Duarte and Jorge Fernandes, A Behavioral Model
for Sigma Delta Fractional PLL and Applications to
Circuit Dimensioning, 55(4), pp. 15-27, Dec. 2009.
Mark Liffiton and Maher Mneimneh and Inês Lynce
and Zaher Andraus and Joao Marques Silva and
Karem Sakallah, A Branch and Bound Algorithm
for Extracting Smallest Minimal Unsatisfiable
Subformulas, Constraints Journal, 14(4), pp. 415-442,
Dec. 2009, Springer.
Gonçalo Gomes and Helena Sarmento, A Novel
Approach to Indoor Location Systems Using
Propagation Models in WSNs, International Journal
on Advances in Networked Services, 2(4), pp. 251 260, Dec. 2009, IARIA Journals.
Pedro T. Monteiro and Estelle Dumas and Bruno
Besson and Radu Mateescu and Michel Page and
Ana T. Freitas and Hidde de Jong, A service-oriented architecture for integrating the modeling and
verification of genetic regulatory networks, BMC
Bioinformatics, 10(450), Dec. 2009, BioMed Central.
Paolo Romano and Bruno Ciciani and Andrea Santoro
and Francesco Quaglia, Accuracy vs Efficiency
of Hyper-exponential Approximations of the
Response Time Distribution of MMPP/M/1 queues,
International Journal of Parallel, Emergent and
Distributed Systems, Taylor and Francis.
Ginevra Castellano and Iolanda Leite and André
Pereira and Carlos Martinho and Ana Paiva and
Peter Mc Owan, Affect Recognition for Interactive
Companions: Challenges and Design in Real World
Scenarios, Journal on Multimodal User Interfaces,
Vol. 3, Nº 1-2, pp. 89-98 , Dec. 2009, Springer.
Verónica C. Martins and José Germano and Filipe A.
Cardoso and Joana Loureiro and Susana Cardoso and
Leonel Sousa and Moises Simões Piedade and Luís P.
Fonseca and P. P. Freitas, Challenges and trends in
the development of a magnetoresistive biochip
portable platform, J. Magnetism and Magnetic
Materials. “To appear” não respondeu ao email
Manuel Oliveira and Joel Jordan and João Madeiras
Pereira and Joaquim Jorge and Anthony Steed,
Analysis Domain Model for Shared Virtual
Environments, IJVR-International Journal Of Virtual
Reality,IPI Press ISSN 1081-1451, Vol. 8(4), pp. 1-30,
Dez. 2009, IPI Press.
Nelson Costa and Mário Serafim Nunes, Dynamic
Adaptation of Quality of Service in VoIP
Communications, International Journal on Advances
in Network and Services, 2(2), pp. 155-166, Dec. 2009,
IARIA.
Jânio Monteiro and Carlos Calafate and Mário
Serafim Nunes, Robust Multipoint and Multi-layered Transmission of H.264/SVC with Raptor
Codes, Telecommunication Systems, SPRINGER.
Manuel J. Fonseca and Alfredo Ferreira and Joaquim
Jorge, Sketch-based Retrieval of Complex Drawings
using Hierarchical Topology and Geometry,
Computer-Aided Design (CAD), 41(12), pp. 1067-1081,
Dec. 2009, Elsevier.
59
Andreas Wichert, Sub-symbols and Icons, Cognitive
Computation, 1(4), pp. 324-347, Dec. 2009, Springer.
Igor Filanovsky and Luís Bica de Oliveira and Jorge
Fernandes, Wide Tuning Range Quadrature VCO
Using Coupled Multivibrators, Electronics and
Telecommunications Quarterly, 55(4), pp. 53-68,
Dec. 2009.
Bruno Araújo and Tiago Guerreiro and Manuel J.
Fonseca and João Madeiras Pereira and Monica
Bordegoni and Francesco Ferrise and Mario
Covarrubias and Michele Antolini, An Haptic based
Immersive Environment for Shape Analysis and
Modeling, Journal of Real-Time Image Processing JRTIP; ISSN: 1861-8200; Special Issue on Improving
Display and Rendering Technology for Virtual
Environments, Springer, Nov. 2009.
Pedro Tomás and Leonel Sousa, A Feature Selection
Algorithm for the Regularization of Neuron
Models, IEEE Transactions on Instrumentation &
Measurement, 58(11), pp. 3824-3830, Nov. 2009,
IEEE.
Bruno Araújo and Ricardo Jota Costa and Luis Bruno
and João Madeiras Pereira and Joaquim Jorge,
IMMIView - A multi-user solution for design review
in real-time, Journal of Real-Time Image Processing
- JRTIP; ISSN: 1861-8200; Special Issue on Improving
Display and Rendering Technology for Virtual
Environments, Nov. 2009, Springer.
Teresa Mendonça and J. M. Lemos and Hugo
Magalhães and Paula Rocha and Simão Esteves,
Drug delivery for neuromuscular blockade with supervised multimodel adaptive control, IEEE Trans.
Control Systems Technology, 17(6), pp. 1237-1244,
Nov. 2009, IEEE.
Bertinho Costa and J. M. Lemos, An Adaptive
Temperature Control Law for a Solar Furnace,
Elsevier - Control Engineering Practice, 17(6), pp.
1157–1173, Oct. 2009, Imprint: PERGAMON.
Thierson Couto and Nivio Ziviani and Pável Calado
and Marco Cristo and Marcos André Gonçalves
and Edleno S. de Moura and Wladimir Brandão,
Classifying documents with link-based bibliometric measures, Information Retrieval, Oct. 2009.
60
Ricardo da Silva and Cristiano Lazzari and Henri
Boudinov and Luigi Carro, CMOS voltage-mode
quaternary look-up tables for multi-valued FPGAs,
Microelectronics Journal, 40(10), pp. 1466-1470, Oct.
2009, Elsevier.
Joana P. Gonçalves and Mário Grãos and André X.
C. N. Valente, Polar Mapper: a computational tool
for integrated visualization of protein interaction
networks and mRNA expression data, Journal of
the Royal Society Interface, 6(39), pp. 881-896, Oct.
2009, Royal Society Publishing.
Filipe Araujo and Luis Rodrigues, Single-step creation of localized Delaunay triangulations, Wireless
Networks, 15(7), pp. 845-858, Oct. 2009, Springer.
Mário Macedo and António Grilo and Mário
Serafim Nunes, Slot Allocation Algorithms
for Minimizing Delay in Alarm-driven WSN
Applications, International Journal of Business Data
Communications and Networks, 5(4), pp. 68-83, Oct.
2009, IGI Global.
Luís M. S. Russo and Gonzalo Navarro and Arlindo
L. Oliveira and Pedro Morales, Approximate String
Matching with Compressed Indexes, Algorithms,
2(3), pp. 1105-1136, Sep. 2009.
Songpol Attasiriluk and Wisut Hantanong and Rui
Prada and Pizzanu Kanongchaiyos and Helmut
Prendinger, Co-presence, collaboration, and control
in environmental studies. A Second Life based approach, Virtual Reality, 13(3), pp. 195-204, Sep. 2009,
Springer.
Ângelo Monteiro and Marcelino Santos and
Alexandre Neves and Nuno Dias, Noise Minimization
for Low Power Bandgap Reference and Low Dropout
Regulator Cores, Journal of Low Power Electronics,
JOLPE, 5(2), pp. 206-222, Sep. 2009, American
Scientific Publishers.
Gabriel Falcão and Shinichi Yamagiwa and Vitor
Silva and Leonel Sousa, Parallel LDPC Decoding on
GPUs using a Stream-based Computing Approach,
Journal of Computer Science and Technology, Vol.
24, Nº 5, Sep. 2009.
Nuno Dias and Marcelino Santos and Ângelo
Monteiro and Alexandre Neves, Gate Driver Voltage
Optimization for Multi-Mode Low Power DC-DC
Conversion, Journal of Low Power Electronics,
JOLPE, 5(2), pp. 241-254, Aug. 2009.
Dárcio Gonçalves Silva and Luís C. Oliveira and
Mário Andrea, Jitter Estimation Algorithms for
Detection of Pathological Voices, EURASIP Journal
on Advances in Signal Processing, Vol. 2009, pp. 1-9,
Jun 2009.
Luis Lapão and Álvaro Rebuge and Miguel Mira da
Silva and Rui Gomes, ITIL Assessment in a Healthcare
Environment, Studies in Health Technology and
Informatics, 150(1), pp. 76-80, Aug. 2009, IOS Press.
João C. Martins and Pedro Tomás and Leonel Sousa,
Neural Code Metrics: Analysis and Application to
the Assessment of Neural Models, Neurocomputing,
72, pp. 2337-2350, Jun. 2009, Elsevier.
Rui Silva and Rui Crespo and Mário Serafim Nunes,
LoBa128, a Lorenz Based PRNG for Wireless Sensor
Networks, International Journal on Communication
Networks and Distributed Systems, 3(4), pp. 301-318,
Aug. 2009, Inderscience Publishers.
Andreas Wichert and Pedro Santos and Helena
Galhardas, Panoramix: a content-based health record system, Internal Journal of Computer Assisted
Radiology and Surgery, 4, pp. 152, Jun. 2009,
Springer.
Shinichi Yamagiwa and Leonel Sousa, Modeling
and Programming Stream-based Distributed
Computing based on the Meta-Pipeline Approach,
International Journal of Parallel, Emergent and
Distributed Systems, 24(4), pp. 311-330, Aug. 2009,
Taylor & Francis.
J. M. Lemos and Fernando Machado and Nuno
Nogueira and Luis Rato and Manuel Rijo, Adaptive
and non-adaptive model predictive control of an
irrigation channel, Networks and Heterogeneous
Media, 4(2), pp. 303-324, Jun. 2009, AMS.
Patricia Silva and Alberto Rodrigues da Silva,
Application Scenarios for the Learning Objects
Pool, Journal of Universal Computer Science, 15(7),
pp. 1455-147, Jul. 2009.
Joana P. Gonçalves and Sara C. Madeira and Arlindo
L. Oliveira, BiGGEsTS: integrated environment for
biclustering analysis of time series gene expression data, BMC Research Notes, 2(124), Jul. 2009,
BioMed Central.
Francisco Fernandes and Luisa Pereira and Ana T.
Freitas, CSA: An efficient algorithm to improve circular DNA multiple alignment, BMC Bioinformatics,
10, pp. 230, Jul. 2009, BioMed Central.
J. Loureiro and R. Ferreira and S. Cardoso and P. P.
Freitas and José Germano and C. Fermon and G.
Arrias and M.Pannetier-Lecoeur and F. Rivadulla and
J. Rivas, Towards a magnetoresistive chip cytometer: integrated detection of magnetic beads flowing
at cm/s velocities in microfluidic channels, Applied
Physics Letters, 95, pp. 034104, Jul. 2009, AIP.
Sara C. Madeira and Arlindo L. Oliveira, A polynomial
time biclustering algorithm for finding approximate expression patterns in gene expression time
series, Algorithms for Molecular Biology, 4(8), Jun.
2009, BioMed Central.
José Germano and Verónica Martins and Filipe
Cardoso and Teresa Mendes de Almeida and Leonel
Sousa and Paulo Freitas and Moises Simões Piedade,
A Portable and Autonomous Magnetic Detection
Platform for Biosensing, Sensors, 9, pp. 41194137, May 2009, Molecular Diversity Preservation
International.
Catarina Nunes and Teresa Mendonça and J. M.
Lemos and Pedro Amorim, Feedforward adaptive
control of the bispectral index of the EEG using
the intravenuous anaesthetic drug propofol, Int. J.
Adaptive Control and Signal Processing, 23, pp. 485503, May 2009, Wiley.
Nuno Mendes and Ana T. Freitas and Marie-France
Sagot, Current tools for the identification of miRNA genes and their targets, Nucleic Acids Research,
8(37), pp. 2419-2433, May 2009.
Francisco Fernandes and Ana T. Freitas and Jonas
S. Almeida and Susana Vinga, Entropic Profiler
- Detection of conservation in genomes using
Information Theory, BMC Research Notes, 2(72),
May 2009.
61
A. P. Francisco and Miguel Bugalho and Mário Ramirez
and João Carriço, Global optimal eburst analysis of
multilocus typing data using a graphic matroid approach, BMC Bioinformatics, 10(1), pp. 152, May 2009,
BioMed Central Ltd.
Marco Vilela and Susana Vinga and Marco A Grivet
Mattoso Maia and Eberhard O Voit and Jonas S.
Almeida, Identification of neutral biochemical network models from time series data, BMC Systems
Biology, 3, pp. 47, May 2009.
Marielba Zacarias and H. Sofia Pinto and Rodrigo
Magalhães and José Tribolet, A “context aware” and
agent-centric perspective for the alignment between individuals and organizations, Information
Systems, Apr. 2009, Elsevier Science Publisher.
Mário Macedo, Are There So Many Sons per Node in
a Wireless Sensor Network Data Aggregation Tree,
IEEE Communications Letters, 13(4), pp. 245-247,
Apr. 2009, IEEE.
Mário Macedo and António Grilo and Mário Serafim
Nunes, Distributed Latency-Energy Minimization
and Interference Avoidance in TDMA Wireless
Sensor Networks, Computer Networks, 53(5), pp.
569-582, Apr. 2009, Elsevier.
Hugo Miranda and S. Leggio and Luis Rodrigues
and K. Raatikainen, An algorithm for dissemination and retrieval of information in wireless ad hoc
networks, Concurrency and Computation: Practice
and Experience, 21(7), pp. 889-904, Mar. 2009, Wiley
InterScience.
Jonas S. Almeida and Susana Vinga, Biological sequences as pictures - a generic two dimensional
solution for iterated maps, BMC Bioinformatics, 10,
pp. 100, Mar. 2009.
José Dias Curto and José Castro Pinto and Gonçalo
Tavares, Modeling stock markets volatility using
GARCH models with Normal, Student t and stable
Paretian distributions, Statistical Papers, 50(2), pp.
311-321, Mar. 2009, Springer.
Miguel Bugalho and Arlindo L. Oliveira, Constant
Time Clash Detection in Protein Folding, Journal of
Bioinformatics and Computational Biology, 7(1), pp.
55-74, Feb. 2009, World Scientific.
62
Pedro Sousa and Manuel J. Fonseca, Geometric
Matching for Clip-Art Drawing Retrieval, Journal of
Visual Communication and Image Representation
(JVCI), 20(2), pp. 71-83, Feb. 2009, Elsevier.
Joaquim Jorge and Luke Jonathan Olsen and Mário
Costa Sousa and Faramarz Famil Samavati, SketchBased Modeling: A Survey, Computers & Graphics,
Elsevier, Volume 33, Issue 1, pp. 85-103, Feb. 2009.
Paula Martins and Alberto Rodrigues da Silva,
ProPAM: discussion for a new SPI approach,
Software Quality Professional Journal, 11, Feb. 2009,
American Society for Quality.
Edgar Albuquerque and V. Bexiga and R. Bugalho
and B. Carriço and C. S. Ferreira and M. Ferreira and
J. Godinho and Fernando Manuel Duarte Gonçalves
and Carlos Leong and P. Lousã and P. Machado and
R. Moura and M. Medeiros Silva, Experimental
Characterazation of the 192 Channel Clear-PEM
Frontend ASIC Coupled to a Multi-Pixel APD
Readout of LYSO:Ce Crystals, Nuclear Instruments
and Methods in Physics Research - A, 598(3), pp.
802-814, Jan. 2009.
Verónica Martins and Filipa Cardoso and José
Germano and Susana Cardoso and Leonel Sousa
and Moises Simões Piedade and Paulo Freitas
and Luís Fonseca, Femtomolar Limit of Detection
with a Magnetoresistive Biochip, Biosensors and
Bioelectronics, Jan. 2009, Elsevier.
José Santiago and Augusto Casaca and Paulo Rogério
Pereira, Multicast in Delay Tolerant Networks Using
Probabilities and Mobility Information, Ad Hoc and
Sensor Wireless Networks Journal, 7(1), pp. 51-68,
Jan. 2009, OCP Science.
João Graça and Kuzman Ganchev and Ben Taskar,
PostCat - Posterior Constrained Alignment Toolkit,
The Prague Bulletin of Mathematical Linguistics
- Special Issue: Open Source Tools for Machine
Translation, 91, pp. 27-37, Jan. 2009, Charles
University.
Paolo Romano and Francesco Quaglia, Providing eTransaction Guarantees in Asynchronous Systems
with no Assumptions on the Accuracy of Failure
Detection, IEEE Transactions on Dependable and
Secure Computing, Jan. 2009, IEEE Computer
Society Press.
Rui Prada and Ana Paiva, Teaming Up Humans with
Synthetic Characters, Artificial Intelligence , 173(1),
pp. 80-103, Jan. 2009, Elsevier.
Maria Bonito and Tiago Guerreiro and André Martins
and Vítor Fernandes and Joaquim Jorge, Evaluating
Learning Support Systems Usability: An Empirical
Approach, Communication & Cognition, Vol. 41, Nº 12, ISSN: 0773-4182, Jan 2009.
Manuel Lopes and Francisco Melo and Ben Kenward
and José Santos-Victor, A computational model of
social-learning mechanisms, Adaptive Behavior,
17(6), pp. 467-483, 2009.
6.2.3 Serials
Carlos Torrão and Nuno Carvalho and Luís
Rodrigues, FT-OSGi: Fault Tolerant Extensions to
the OSGi Service Platform, The 11th International
Symposium on Distributed Objects, Middleware, and
Applications, Nov. 2009, Springer.
Ana Mendes and Rui Prada and Luísa Coheur,
Adapting a Virtual Agent to Users Vocabulary
and Needs, Proceedings of the 9th International
Conference IVA 2009, Oct. 2009, Springer-Verlag.
João Ferreira and João Leitão and Luis Rodrigues,
A-OSGi: A framework to support the construction of autonomic OSGi-based applications, The
Third International ICST Conference on Autonomic
Computing and Communication Systems, Sep. 2009,
Springer.
António Rito-Silva and Rachid Meziani and Rodrigo
Magalhães and David Martinho and Ademar
Aguiar and Nuno Flores, AGILIPO: Embedding
Social Software Features into Business Process
Tools, The Second Workshop on Business Process
Management and Social Software, Sep. 2009, pp.
219-230, Springer.
João Benigno Delgado and Inês Lynce and Vasco
Manquinho, Computing the Summed Adjacency
Disruption Number between Two Genomes
with Duplicate Genes using Pseudo-Boolean
Optimization, RECOMB Satellite Workshop on
Comparative Genomics, Sep. 2009, pp. 138-149,
Springer.
José Borbinha and Jorge Machado and Bruno Martins,
Experiments on a Multinomial Language Model
versus Lucene Off-the-shelf Ranking Scheme and
Rocchio Query Expansion, CLEF 2008 - Evaluating
Systems for Multilingual and Multimodal Information
Access, Sep. 2009, pp. 50-57, Springer.
António Grilo and K. Piotrowski and Peter
Langendorfer and Augusto Casaca, A Wireless
Sensor Network Architecture for Homeland
Security Application, 8th International Conference
ADHOC NOW, Sep. 2009, pp. 397-402, LNCS Springer.
Marco Vala and Ana Paiva and Guilherme Raimundo
and Pedro Sequeira and Pedro Cuba and Rui Prada
and Carlos Martinho, ION Framework - A Simulation
Environment for Worlds with Virtual Agents, 9th
International Conference on Intelligent Virtual
Agents - IVA2009, Sep. 2009, Springer.
Samuel Mascarenhas and Ana Paiva and Rui Prada
and João Dias, One for all or one for one? The influence of Cultural Dimensions in Virtual Agents, IVA
2009 - 9th International Conference on Intelligent
Virtual Agents, Sep. 2009, Springer.
Paolo Romano and Nuno Carvalho and Maria Couceiro
and Luis Rodrigues and João Cachopo, Towards the
Integration of Distributed Transactional Memories
in Application Servers Clusters, Proc. Third
International Workshop on Advanced Architectures
and Algorithms for Internet DElivery and Applications
(AAA-IDEA), Las Palmas, Gran Canaria, ICST Lecture
Notes, November 2009, Sep. 2009, Springer.
Sara C. Madeira and Arlindo L. Oliveira, Efficient
Biclustering Algorithms for Time Series Gene
Expression Data Analysis, 3rd International
WorkshoponPracticalApplicationsofComputational
Biology and Bioinformatics (IWPACBB 09), IWANN
2009, Jun. 2009, pp. 1013-1019, Springer LNCS 5518.
Ricardo Lopes and Tiago Cardoso and Nelson Silva
and Manuel J. Fonseca, Calligraphic Shortcuts for
Comics Creation, 9th International Symposium on
Smart Graphics 2009 (SG 09), May 2009, LNCS.
63
André Coelho Santos and Luís Tarrataca and João
M.P. Cardoso and Diogo R. Ferreira and Pedro Diniz
and Paulo Chainho, Context Inference for Mobile
Applications in the UPCASE Project, Second
International ICST Conference on MOBILe Wireless
MiddleWARE, Operating Systems, and Applications
(Mobilware’09), Apr. 2009, pp. 352-365, Springer.
6.2.4 Edited Books
Paulo Moura and Ricardo Rocha and Sara C.
Madeira, High Level Thread-Based Competitive OrParallelism in Logtalk, 11th International Symposium
on Practical Aspects of Declarative Languages (PADL
09), Jan. 2009, pp. 107-121, Springer LNCS 5418.
B. Garbinato and H. Mirada and Luis Rodrigues Ed.,
Middleware for Network Eccentric and Mobile
Applications, Mar. 2009, Springer.
Gabriel Falcão and Leonel Sousa and Vítor Silva and
José Marinho, Parallel LDPC Decoding on the Cell/
B.E. Processor, The 4th International Conference on
High Performance and Embedded Architectures and
Compilers (HiPEAC 2009), Jan. 2009, pp. 389-403,
Springer.
João P. Carvalho and D. Dubois and U. Kaymak and J.
M. C. Sousa Ed., 2009 International Fuzzy Systems
Association World Congress, 2009 European
Society for Fuzzy Logic and Technology Conference
Final Program and Book of Abstracts, Jul. 2009, IST.
L. Svensson and J. Monteiro Ed., Integrated Circuit
and System Design: Power and Timing Modeling
Optimization and Simulation, Lecture Notes in
Computer Science, nº 5349, Feb. 2009, Springer.
6.2.5 Book Chapters
Rui Amaral and Isabel Trancoso, Human Language
Technology - Challenges of the Information Society,
Chapter Exploring the Structure of Broadcast
News for Topic Segmentation, Dec. 2009, SpringerVerlag.
José Igreja and J. M. Lemos, Nonlinear model predictive control: Towards new challenging applications,
Chapter Nonlinear Model Predictive control of a water distribution canal pool, Dec. 2009, Springer.
Hélio C. Pais and Kenneth L. McMillan and Ellen
M. Sentovich and Ana T. Freitas and Arlindo L.
Oliveira, Handbook of Research on Computational
Methodologies in Gene Regulatory Networks,
Chapter Improved Model Checking Techniques for
State Space Analysis of Gene Regulatory Networks,
Oct. 2009, Medical Information Science Re.
Augusto Casaca and Gabriel Pestana and Isabel
Rebelo and Tiago Silva, Airports: Performance, Risks
and Problems, Chapter A Platform to Increase the
safety of Ground Movements in the Airside Area of
Airports, Sep. 2009, NovaScience Publishers, New
Yo.
Isabel Trancoso, Comunicações Audiovisuais:
Tecnologias, Normas e Aplicações, Chapter
Codificação de Fala, Sep. 2009, IST Press.
64
Aníbal Ferreira and Isabel Trancoso and Fernando
Pereira and Carlos Salema, Comunicações
Audiovisuais: Tecnologias, Normas e Aplicações,
Chapter Mecanismos Humanos de Produção e
Percepção Audiovisual, Sep. 2009, IST Press.
H. Sofia Pinto and Christoph Tempich and Steffen
Staab, Handbook on Ontologies (2nd Edition),
Chapter Ontology Engineering and Evolution in
a Distributed World using DILIGENT, Aug. 2009,
Springer Verlag.
H. Sofia Pinto and Christoph Tempich and Steffen
Staab, Handbook on Ontologies, Chapter Ontology
Engineering and Evolution in a Distributed World using DILIGENT, Ju.l 2009, Springer Verlag.
Pedro Estrela and Teresa Vazão Vasques and Mário
Serafim Nunes, Mobility Management and Qualityof-Service for Heterogeneous Networks, Chapter
Performance Evaluation of the TIMIP/sMIP Terminal
Independent Mobile Architecture, Jun. 2009, Kluwer
Academy Publishers.
Gabriel Falcão and Vitor Silva and José Marinho and
Leonel Sousa, WIMAX, New Developments, Chapter
LDPC Decoders for the WiMAX (IEEE 802.16e) based
on Multicore Architectures, May 2009, IN-TECH.
Marielba Silva Zacarias and H. Sofia Pinto and Abel
David Silva and José Tribolet, Handbook of Research
on E-Transformation and Human Resources
Management
Technologies:
Organizational
Outcomes and Challenges, Chapter Modeling Human
Resources in the Emergent Organization, Apr. 2009,
Information Science Reference.
João Germano and Alberto Rodrigues da Silva and
Fernando Mira da Silva, Lecture Notes in Business
Information Processing (LNBIP), Volume 18, Chapter
Performance Monitoring Enterprise Applications
with the BlackBird System, Apr. 2009, Springer.
R. Friedman and A.-M. Kermarrec and H. Miranda and
Luis Rodrigues, Middleware for Network Eccentric
and Mobile Applications, Chapter Gossip-Based
Dissemination, Mar 2009, Springer.
João Marques Silva and Inês Lynce and Sharad Malik,
Handbook of Satisfiability, Chapter Conflict-Driven
Clause Learning SAT Solvers, Feb. 2009, IOS Press.
Olivier Roussel and Vasco Manquinho, Handbook
of Satisfiability, Chapter Pseudo-Boolean and
Cardinality Constraints, Feb. 2009, IOS Press.
Joao P. Carvalho and José Tomé, Views on Fuzzy
Sets and Systems from Different Perspectives.
Philosophy and Logic, Criticisms and Applications.
(Studies in Fuzziness and Soft Computing), Chapter
Fuzzy Mechanisms for Qualitative Causal Relations,
Ch. 19, pp. 393-416, Feb. 2009, Springer-Verlag.
Manuel J. Fonseca and Joaquim Jorge and Mario
Rui Gomes and Daniel Gonçalves and Marco Vala,
Creativity and HCI: From Experience to Design
in Education, Chapter Conceptual Design and
Prototyping to Explore Creativity, Jan. 2009,
Springer.
Levent Aksoy and Eduardo Costa and Paulo Flores
and J. Monteiro, Advanced Topics in VLSI Design,
Chapter Optimization Algorithms for Multiple
Constant Multiplications, Jan. 2009.
Inês Lynce and Vasco Manquinho and João Marques
Silva, Encyclopedia of Computer Science and
Engineering, Chapter Backtracking, Jan 2009, Wiley
InterScience.
Rodrigo Castelo and Miguel Mira da Silva, Handbook
of Research on Contemporary Theoretical Models
in Information Systems, Chapter The Value of
Flexibility, Jan. 2009, IGI Global.
6.2.6 National Journal Articles
João de Almeida Varelas Graça and Diamantino
António Caseiro and Luísa Coheur, Tradução
Automática Estatística, 3Ts - Revista de Tradução,
Terminologia e Tecnologias. Centro de Investigação
do Departamento de Línguas e Culturas.
Ana Paiva and Giuliana Dettori, Narrative Learning in
Technology-Enhanced Learning, Chapter Narrative
Learning in Technology-Enhanced Environments - An
Introduction to Narrative Learning Environments,
Mar. 2009, Springer Science+Business Medi.
65
6.2.7 International Conferences
Rui Cruz and João Espadanal and Mário Serafim
Nunes, A Personalized HTTP Adaptive Streaming
WebTV, User Centric Media Workshop, Dec. 2009,
ICST.
Samuel Antão and Ricardo Chaves and Leonel
Sousa, AES and ECC Cryptography Processor with
Runtime Configuration, Seventeenth International
Conference on Advanced Computing and
Comunications, Dec. 2009, IEEE.
Cristiano Lazzari and Adriel Ziesemer Jr. and Ricardo
Reis, An Automated Design Methodology for Layout
Generation targeting Power Leakage Minimization,
International Conference on Electronic Circuits and
Systems (ICECS 2009), Dec. 2009, pp. 81-84, IEEE.
António Rito-Silva and David Martinho and Ademar
Aguiar and Nuno Flores and Filipe Correia and
Hugo Ferreira, An Implementation Model for
Agile Business Process Tools, First International
Workshop on Organizational Design and Engineering,
Dec. 2009.
Fernando Batista and Isabel Trancoso and Nuno J.
Mamede, Comparing Automatic Rich Transcription
for Portuguese, Spanish and English Broadcast
News, ASRU - Automatic Speech Recognition and
Understanding Workshop, Dec. 2009.
José Borbinha and José Barateiro and Gonçalo
Antunes and Filipe Bastos de Freitas, Designing
digital preservation solutions: a Risk Management
based approach, 5th International Digital Curation
Conference “Moving to Multi-Scale Science:
Managing Complexity and Diversity”, Dec. 2009.
João Barreto and Paulo Ferreira, Efficient Locally
Trackable Deduplication in Replicated System,
10th ACM/IFIP/USENIX International Conference on
Middleware, Dec. 2009, Springer-Verlag New York,
Inc.
João Nuno de Oliveira e Silva and Luis Veiga and Paulo
Ferreira, Mercury: A reflective middleware for automatic parallelization of Bags-of-Tasks, ACM/IFIP/
USENIX 10th International Middleware Conference
(International Workshop on Adaptive and Reflective
Middleware - ARM 2009), Dec. 2009, ACM.
66
David Aveiro and António Rito-Silva and José Tribolet,
Modeling the Function Perspective in Organizational
Engineering: Improving Organizational Change,
First International Workshop on Organizational
Design and Engineering, Dec. 2009.
K. Ganchev and João de Almeida Varelas Graça and
B. Taskar and F. Pereira, Posterior vs. Parameter
Sparsity in Latent Variable Models, Neural
Information Processing Systems Conference (NIPS),
Dec. 2009.
Hugo Santos and Rui Cruz and Mário Serafim Nunes,
Rate Adaptation Techniques for WebTV, First
International Conference on User Centric Media
(UCMedia 2009), Dec. 2009, ICST.
Charalampos Patrikakis and Nikos Papaoulakis
and Chryssanthi Stefanoudaki and Mário Serafim
Nunes, Streaming content wars: Download and Play
Strikes Back, User Centric Media Workshop, Dec.
2009, ICST.
Ana Paiva and André Gonçalves and Eduardo Lopes,
The music of paintings: a rhythmic perspective,
Generative Art International Conference - GA 2009,
Dec. 2009.
Rui Marcelino and João M. P. Cardoso and Horácio
C. Neto, Unbalanced FIFO Sorting for FPGA-Based
Systems, ICECS 2009, the 16th IEEE International
Conference on Electronics, Circuits and Systems,
Dec. 2009.
Alexandre Domingues and Susana Vinga and Paula
Gaspar and Ana Rute Neves and Helena Santos and J.
M. Lemos, Consistent parameter estimation in metabolic networks: A case study, JB’2009 – Challenges
in Bioinformatics, Lisbon Portugal, Nov. 2009.
Rui Marcelino and João M. P. Cardoso and Horácio
C. Neto, A Comparison of Three Representative
Hardware Sorting Units, IECON 2009, the 35th
Annual Conference of IEEE Industrial Electronics
Society, Nov. 2009.
Pedro Jesus and Miguel Martins and Jorge Fernandes,
A Low Cost Inductorless Low Noise Amplifier for
ISM Bands, XXIV Conference on Design of Circuits
and Integrated Systems, Nov. 2009.
Andreia Artífice and João Lopes and Joaquim Jorge
and Manuel J. Fonseca, An Approach to Predictive
Evaluation for Users with Special Needs, Second
IASTED International Conference on Telehealth and
Assistive Technology (TAT 09), Nov. 2009.
L. P. Perera and João P. Carvalho and C. Guedes
Soares, Autonomous guidance and navigation
based on the COLREGs rules and regulations of
collision avoidance, International Workshop of
Advanced Ship Design for Pollution Prevention, Nov.
2009, pp. 205-216 , Taylor & Francis.
Francisco Fernandes and Luísa Pereira and Ana T.
Freitas, CIRCALIGN: A new algorithm to align multiple mitochondrial genomes, International conference Jornadas de Bioinformatica, Nov. 2009.
Jorge Semião and Judite Freijedo and M. Moraes
and C. Antunes and J. Benfica and Fabian Vargas and
Marcelino Santos and Isabel Cacho Teixeira and J. J.
Rodríguez Andina and João Paulo Cacho Teixeira and
D. Lupi and E. Gatti and F. Hernandez, Comparing the
Efficiency of a Clock-Signal Modulation Technique
for System-on-Chip in Conducted Versus Radiated
EMI Environments, 7th. International Workshop
on Electromagnetic Compatibility of Integrated
Circuits (EMC Compo), Nov. 2009.
Iolanda Leite and Ginevra Castellano and André
Pereira and Carlos Martinho and Ana Paiva and Peter
Mc Owan, Designing a Game Companion for LongTerm Social Interaction, Workshop on Affective
Interaction in Natural Environments - AFFINE 2009,
Nov. 2009.
Iolanda Leite and Ginevra Castellano and André
Pereira and Ana Paiva and Peter Mc Owan, Detecting
user engagement with a robot companion using task and social interaction-based features,
International Conference on Multimodal Interfaces
- ICMI 2009, Nov. 2009, pp. 119-126, ACM Press.
João Pedro and João Pires and Joao P. Carvalho,
Distributed Routing Path Optimization for OBS
Networks based on Ant Colony Optimization, IEEE
GLOBECOM2009, Nov. 2009, IEEE.
Thomas Pellegrini and Isabel Trancoso, Error detection in automatic transcriptions using Hidden
Markov Models, Language & Technology Conference,
Nov. 2009, pp. five.
Zuochang Ye and L. Miguel Silveira and Joel R.
Phillips, Fast and reliable passivity assessment and
enforcement with extended Hamiltonian pencil,
ICCAD 2009 - IEEE/ACM International Conference
on Computer-Aided Design, Nov. 2009, pp. 774 - 778,
ACM/IEEE.
Liliana Rosa and Luís Rodrigues and Antónia Lopes
and Matti Hiltunen and Rick Schlichting, From Local
Impact Functions to Global Adaptation of Service
Compositions, The 11th International Symposium on
Stabilization, Safety, and Security of Distributed
Systems, Nov. 2009, Springer.
Cristiano Lazzari and Paulo Flores and J. Monteiro,
Power and Delay Comparison of Binary and
Quaternary Arithmetic Circuits, IEEE International
Conference on Signals, Circuits and Systems
(SCS’09), Nov. 2009.
Hugo and Mário Véstias and Horácio C. Neto
and Helena Sarmento, Tradeoffs in the Design
of a Viterbi Decoder for a MB-OFDM Receiver,
XXIV Design of Circuits and Integrated Systems
Conference, Nov. 2009, pp. 255-260.
A. P. Francisco and Joana P. Gonçalves and Sara C.
Madeira and Arlindo L. Oliveira, Using personalized ranking to unravel relevant regulations in
the Saccharomyces cerevisiae regulatory network
(Extended Abstract), Jornadas de Bioinformatica,
Nov. 2009.
Pedro Oliveira and Nuno Furtado da Silva and Miguel
Mira da Silva, A Process for Estimating the Value
of ITIL Implementations, Conference on Enterprise
Information Systems (CENTERIS 2009), Oct. 2009.
Edgar Albuquerque and Fernando Gonçalves and
Isabel Cacho Teixeira and João Paulo Cacho Teixeira
and M. Medeiros Silva and Paulo Relvas and João
Varela and Joaquim Godinho and Pedro Lousã and
Carlos Leong and Andreia Trindade, Characterization
of the Clear-PEM Breast Imaging Scanner
Performance, IEEE Medical Imaging Conference
(NSS/MIC), Oct. 2009, pp. 3487-3490.
67
L. P. Perera and Joao P. Carvalho and C. Guedes
Soares, Decision Making System for the Collision
Avoidance of Marine Vessel Navigation based
on COLREGs Rules and Regulations, IMAM09
- International Maritime Association of the
Mediterranean Congress, Oct. 2009, pp. 1121-1128.
João Serras and L. Miguel Silveira, Hierarchical
Analog Layout Migration with Pcells, IFIP/IEEE
International Conference on Very Large Scale
Integration, Oct. 2009, IEEE.
André Lino and Miguel Mira da Silva, Improving ITIL
processes using a Lean Methodology, Conference
on Enterprise Information Systems (CENTERIS
2009), Oct. 2009.
Gabriel Pestana and Mário Serafim Nunes and Nuno
Duarte, Managing Airport Ground Operations Based
on an A-SMGCS Approach, 4th Annual International
AAAE Airport Geographic Information Systems
Conference, Oct. 2009.
Francisco Melo and Manuela Veloso, MODEN:
Obstacle-driven elastic network for line-of-sight
communication, 14th Portuguese Conference on
Artificial Intelligence, Oct. 2009, pp. 254-266.
Panagiotis Sidiropoulos and Vasileios Mezaris
and Ioannis Kompatsiaris and Hugo Meinedo and
Isabel Trancoso, Multi-Modal Scene Segmentation
Using Scene Transition Graphs, ACM International
Conference on Multimedia, Oct. 2009, ACM.
Tiago Guerreiro and Hugo Nicolau and Joaquim Jorge
and Daniel Gonçalves, NavTap: a Long-term study
with Excluded Blind Users, ASSETS 2009 - Eleventh
International ACM SIGACCESS Conference on
Computers and Accessibility, Oct. 2009, ACM Press.
José Costa and J. Monteiro, Observability-based
Coverage-directed Path Search using PBO for
Automatic Test Vector Generation, IFIP/IEEE
International Conference on Very Large Scale
Integration (VLSI-SoC), Oct. 2009.
Carlos Páscoa and Pedro Sousa and José Tribolet,
Ontology construction: representing Dietz
“Process” and “State” models using BPMN diagrams, CENTERIS´2009 - Conference on ENTERprise
Information Systems, Oct. 2009, pp. 187-202.
68
António Gusmão and L. Miguel Silveira and J. Monteiro,
Power Macro-Modelling using an Iterative LS-SVM
Method, IFIP/IEEE International Conference on Very
Large Scale Integration, Oct. 2009.
Inês Lynce and Joao Marques Silva, Restoring CSP
Satisfiability with MaxSAT, Portuguese Conference
on Artificial Inteligence (EPIA), Oct. 2009.
Gonçalo Pereira and Pedro A. Santos and Rui Prada,
Self-Adapting Dynamically Generated Maps
For Strategic Multiplayer Browser Games, 6th
International Conference on Advances in Computer
Entertainment Technology, Oct. 2009, ACM.
João Saraiva and Alberto Rodrigues da Silva, WebCDocs: A CMS-based Document Management
System, International Conference on Knowledge
Management and Information Sharing (KMIS 2009),
Oct. 2009, INSTICC.
Fernando Rodrigues and Samuel Mascarenhas and
João Dias and Ana Paiva, “I can feel it too!”: Emergent
empathic reactions between synthetic characters,
Affective Computing & Intelligent Interaction - ACII
2009, Sep. 2009.
Isabel Trancoso, A Broadcast News Processing Chain
for Several Varieties of Portuguese, XXVII Simpósio
Brasileiro de Telecomunicações, Sep. 2009, Brazilian
Telecommunications Society.
David Ferreira and Alberto Rodrigues da Silva,
A Controlled Natural Language Approach for
Integrating Requirements and Model-Driven
Engineering, Simpósio para Estudantes de
Doutoramento em Engenharia de Software (SEDES
2009, co-located with the ICSEA 2009), Sep. 2009,
IEEE Computer Society.
Mário Serafim Nunes and Jânio Monteiro and
António Grilo, A Quality of Experience Optimization
for Multi-rate Internet TV Services, 8th
International Conference on Decision Support for
Telecommunications and Information Society, Sep.
2009, pp. 421-428.
Manuel Lopes and Francisco Melo and Luis
Montesano, Active learning for reward estimation
in inverse reinforcement learning, 2009 European
Conference on Machine Learning and Practice of
Knowledge Discovery in Databases, Sep. 2009, pp.
31-46.
S. Ghissoni and J. Martins and R. Reis and J. Monteiro,
Analysis of Power Consumption using a New
Methodology for the Capacitance Modeling of
Complex Logic Gates, International Workshop
on Power and Timing Modeling, Optimization and
Simulation (PATMOS), Sep. 2009.
Iolanda Leite and Carlos António Roque Martinho
and André Pereira and Ana Paiva, As Time goes by:
Long-term evaluation of social presence in robotic
companions, RO-MAN 2009, Sep. 2009, pp. 669-674, Proceedings of the 18th IEEE International
Symposium on Robo.
Fernando Batista and Isabel Trancoso and Nuno
J. Mamede, Automatic Recovery of Punctuation
Marks and Capitalization Information for Iberian
Languages, I Joint SIG-IL/Microsoft Workshop
on Speech An Language Technologies for Iberian
Languages, Sep. 2009, pp. 99 -102.
Helena Moniz and Isabel Trancoso and Ana Silva,
Classification of disfluent phenomena as fluent
communicative devices in specific prosodic contexts, Interspeech 2009, Sep. 2009, pp. 1719-1722,
ISCA.
Maria Couceiro and Paolo Romano and Nuno
Carvalho and Luís Rodrigues, D2STM: Dependable
Distributed Software Transactional Memory, Proc.
IEEE 15th Pacific Rim International Symposium on
Dependable Computing (PRDC’09), Sep. 2009, IEEE.
Miguel Bugalho and José Portelo and Isabel
Trancoso and Thomas Pellegrini and Alberto Abad,
Detecting Audio Events for Semantic Video Search,
Interspeech 2009, Sep. 2009, ISCA.
Rui Martins and Isabel Trancoso and Alberto Abad
and Hugo Meinedo, Detection of Childrens Voices, I
Iberian SL Tech 2009, Sep. 2009, pp. 77-80.
João Saraiva and Alberto Rodrigues da Silva,
Development of CMS-based Web-Applications
Using a Model-Driven Approach, Simpósio para
Estudantes de Doutoramento em Engenharia de
Software (SEDES 2009, co-located with the ICSEA
2009), Sep. 2009, IEEE Computer Society.
Carlos Jacinto and Mário Romano and Pedro
Sousa and Mário Serafim Nunes, End Baggage
and Operations Automatic Tracking Using RFID,
International Conference on Emerging Technology
and Factory Automation (ETFA09), Sep. 2009.
Paolo Romano and Luís Rodrigues and Nuno Carvalho
and João Cachopo, Cloud-TM: Harnessing the Cloud
with Distributed Transactional Memories, Proc. 3th
ACM Workshop Large Scale Distributed Systems
and Middleware (LADIS), Big Sky Resort, Big Sky,
MT, October 2009, Sep. 2009, ACM Press.
Ana Sofia Graça and Inês Lynce and João Marques
Silva and Arlindo L. Oliveira, Haplotype Inference
Combining Pedigrees and Unrelated Individuals,
CP Workshop on Constraint Based Methods for
Bioinformatics (WCB), Sep. 2009.
João Saraiva and Alberto Rodrigues da Silva, CMSbased Web-Application Development Using ModelDriven Languages, Fourth International Conference
on Software Engineering Advances (ICSEA 2009),
Sep. 2009, IEEE Computer Society.
Gracinda Carvalho and David Martins de Matos
and Vitor Rocio, IdSay: Question Answering for
Portuguese, Evaluating Systems for Multilingual
and Multimodal Information Access, Sep. 2009, pp.
345-352, Springer Berlin / Heidelberg.
Laura Wise and João P. Carvalho and A. G. Murta and
P. Abreu and A. C. Fernandes and A. L. Ferreira and
E. Henriques and D. Silva and G. Pestana and José
Alberto Batista Tomé, Cognitive Maps from onboard
observers as a tool for fishery management, ICES
Annual Science Conference 2009, Sep. 2009.
Edgar Gonçalves and António Menezes Leitão,
Implementing Offline Work in Web Applications
for Rich Domains, Web Systems Evolution 2009, colocated with ICSM 2009, Sep. 2009.
Plínio Barbosa and Maria do Céu Ribeiro and Isabel
Trancoso, Cross-variety Rhythm Typology in
Portuguese, Interspeech 2009, Sep. 2009, ISCA.
António Lopes and Ana Paiva and António João
Martins Leonardo, Influence of Music and Sounds
in an Agent-Based Storytelling Environment,
Intelligent Virtual Agents - IVA 2009, Sep. 2009.
69
Gabriel Pestana and Augusto Casaca and Nuno
Duarte and Tim Denis, Location Based Services to improve Airport Safety and Security, 4th International
Workshop on Critical Information Infrastrucures
Security (Poster Session), Sep. 2009, pp. 233.
Chen Li and Marco Crepaldi and Jorge Fernandes,
Power Consumption Trade-offs in Short-distance Wireless Transceivers for Sensor Nodes,
IEEE International Conference on Ultra-Wideband
(ICUWB’09), Sep. 2009.
L. Rosado, T. Santos and Moises Simões Piedade
and P. Ramos and P. Vilaça, New Non-Destructive
Test Technoque on Metal Inspection, IMEKO 2009,
Lisbon, Portugal, Sep. 2009, pp. 443-448, IMEKO
XIX World Congress.
Ruben Martins and Inês Lynce and Vasco Manquinho,
Preprocessing in Pseudo-Boolean Optimization:
An Experimental Evaluation, CP Workshop on
Constraint Modelling and Reformulation (ModRef),
Sep. 2009.
M. Medeiros Silva and Carlos Leitão and Luís Bica
de Oliveira, Noise Performance of Transimpedance
Amplifiers for Radiation Detectors, Design of
Circuits and Integrated Systems Conference
(DCIS2009), Sep. 2009.
Miguel Barão, Probabilistic Control Design using an
Information Geometric Framework, Sep. 2009.
David Pereira and Inês Lynce and Steve Prestwich,
On Improving Local Search for Unsatisfiability, CP
Workshop on Local Search Techniques in Constraint
Satisfaction (LSCS), Sep. 2009.
Alexandre Domingues and Susana Vinga and J. M.
Lemos, Optimization strategies for metabolic networks, European Control Conference (ECC09), Sep.
2009.
Ricardo Abreu Lopes and Tiago Cardoso and Nelson
Faria Gonçalves da Silva and Manuel J. Fonseca,
ReCCO: An Interactive Application for Sketching
Web Comics, 15th International Conference on
Distributed Multimedia Systems, Special Track on
Sketch Computing (DMS 09), Sep. 2009.
Alberto Abad and Isabel Trancoso and Nelson Neto
and Maria Viana Ribeiro, Porting an European
Portuguese Broadcast News Recognition System to
Brazilian Portuguese, Interspeech 2009, Sep. 2009,
ISCA.
Kazeem Glolagade and Ricardo Chaves and Sorin
Cotofana and Leonel Sousa, Residue-to-Binary
ConverterfortheModuliSet{2^{2n+1},2^{2n},2^{n}1}, 2nd International Conference on Adaptive Science
& Technology, Sep. 2009, IEEE.
Luis Marujo and José Lopes and Nuno J. Mamede and
Isabel Trancoso and Juan Pino and Maxine Eskenazi
and Jorge Baptista and Céu Viana, Porting REAP to
European Portuguese, ISCA International Workshop
on Speech and Language Technology in Education
(SLaTE 2009), Sep. 2009, ISCA.
Iolanda Leite and Ana Paiva and E. Hudlicka and
S. Payr and R. Ventura and C. Becker-Asano and
K.Fischer and C. Von, Social interaction with robots
and agents: Where do we stand, where do we go?,
Affective Computing & Intelligent Interaction - ACII
2009, Sep. 2009, IEEE PRESS.
Caroline Hagège and Jorge Baptista and Nuno
J. Mamede, Portuguese Temporal Expressions
Recognition: from TE characterization to an effective TER module implementation, The 7th Brazilian
Symposium in Information and Human Language
Technology, Sep. 2009.
Paola Rizzo and Michael Kriegel and Rui Figueiredo
and Mei Yii Lim and Ruth Aylett, Want to Know How
to Play the Game? Ask the ORACLE!, Intelligent
Virtual Agents - IVA 2009, Sep. 2009.
Joana Paulo Pardal, Position paper on Spoken
Dialogue Systems, Young Researchers Roundtable
on Spoken Dialogue Systems, Sep. 2009.
70
Luísa Coheur and Ana Mendes and João Guimarães
and Nuno J. Mamede and Ricardo Ribeiro, Question
Interpretation in QA@L2F, Evaluating Systems for
Multilingual and Multimodal Information Access,
Sep. 2009, pp. 377-384, Springer Berlin / Heidelberg.
David Ferreira and Alberto Rodrigues da Silva, Wikibased Tool for Requirements Engineering according to the ProjectIT Approach, Fourth International
Conference on Software Engineering Advances
(ICSEA 2009), Sep. 2009, IEEE Computer Society.
João Leitão and João Marques and José Pereira and
Luís Rodrigues, X-BOT: A Protocol for Resilient
Optimization of Unstructured Overlays, The
28th IEEE International Symposium on Reliable
Distributed Systems, Sep. 2009, IEEE.
Hugo Alonso and Teresa Mendonça and J. M. Lemos
and Torbjorn Wigren, A simple model for the identfication of drug effects, 6th IEEE Workshop on
Inteligent Signal Processing, WISP 2009, Budapest,
Hungary, 26–28 Agosto, 2009, Aug. 2009, pp. 269274, IEEE.
Margarida Martins da Silva and Hugo Alonso and J.
M. Lemos and Teresa Mendonça, An adaptive approach to target control infusion, European Control
Conference 2009, Budapest, Hungary, Aug. 2009, pp.
418-423, EUCA.
David Ferreira and Alberto Rodrigues da Silva, An
Enhanced Wiki for Requirements Engineering, 35th
Euromicro Conference on Software Engineering and
Advanced Applications (SEAA-2009), Aug. 2009,
IEEE Computer Society.
Rui Policarpo Duarte and Horácio C. Neto and Mário
Pereira Véstias, Double-Precision Gauss-Jordan
Algorithm with Partial Pivoting on FPGAs, DSD09.
12th Euromicro Conference on Digital System Design,
Architectures, Methods and Tools, Aug. 2009, pp. 273
- 280, Euromicro.
Margarida Silva and Simão Esteves and F. Nogueira
and J. M. Lemos and Teresa Mendonça, E-TCI
(Enhanced-Target Controlled Infusion) driven by
online parametric estimation, 2nd World Congress
of Total Intravenous Anaesthesia – TIVA-TCI, Berlim,
Alemanha, 23-25 Abril, 2009, Aug. 2009.
Tiago Luís and David Martins de Matos, HighPerformance High-Volume Layered Corpora
Annotation, Proc. of The Third Linguistic Annotation
Workshop (The LAW III) (ACL-IJCNLP 2009), Aug.
2009, pp. 99-107, Association for Computational
Linguistics.
Vasco Costa and João António Madeiras Pereira and
Joaquim Armando Pires Jorge, Multi-Level Hashed
Grids for Ray-Tracing, High Performance Graphics
2009, Aug. 2009.
Miguel Barão, Optimization on Discrete Probability
Spaces and Applications to Probabilistic Control
Design, Aug. 2009.
M. R. Shortis and S. Robson and Tom W. Jones and B.
Lunsford and João Oliveira, Payload systems and
tracking algorithms for photogrammetric, SPIE Videometrics, Range Imaging, and Applications X,
Aug. 2009.
Rui Prada and Samuel Ma and Maria Augusta Nunes,
Personality in Social Group Dynamics, SCA 09 Symposium on Social Computing Applications, Aug.
2009, IEEE CS Press.
Victor Silva and Luís Bica de Oliveira and Jorge
Fernandes and Mário Pereira Véstias and Horácio
C. Neto, Run-Time Reconfigurable Array Using
Magnetic RAM, DSD09. 12th Euromicro Conference
on Digital System Design, Architectures, Methods
and Tools, Aug. 2009, pp. 74-81.
Bertinho Costa and J. M. Lemos, Singular
Perturbation Stability Conditions for Adaptive
Control of a Solar Furnace with Actuator Dynamics,
European Control Conference - Hungary, Aug. 2009,
European Union Control Association (EUCA).
Ricardo Abreu Lopes and Tiago Cardoso and
Nelson Silva and Manuel J. Fonseca, Sketch-Based
Interaction and Calligraphic Tags to Create Comics
Online, 6th Eurographics Workshop on SketchBased Interfaces and Modeling (SBIM 09), Aug.
2009, Eurographics.
Pedro Simões Oliveira and João Pedro Hespanha
and J. M. Lemos and Teresa Mendonça, Supervised
multi-model adaptive control of neuro-muscular
blockade with off-set compensation, European
Control Conference 2009, Budapest, Hungary, Aug.
2009 , pp. 3064-3069, EUCA.
Bruno Antunes and Tiago Guerreiro and Daniel
Gonçalves, This Just In! Your Life in the Newspaper,
Interact 2009 - The 12th IFIP Conference on HumanComputer Interaction, Aug. 2009, IFIP.
Cristina Mota and Ralph Grishman, Updating a
Name Tagger Using Contemporary Unlabeled Data,
Proceedings of the ACL-IJCNLP 2009 Conference
Short Papers, Aug. 2009, pp. 353-356, Association
for Computational Linguistics.
71
Rui Joaquim and Paulo Ferreira and Carlos Ribeiro,
VeryVote: a voter verifiable code voting system,
VoteID 2009: Second international conference on Evoting and Identity, Aug. 2009, Springer.
João Pedro and João Pires and João P. Carvalho, Ant
Colony Optimization for Distributed Routing Path
Optimization in Optical Burst-Switched Networks,
IFSA-EUSFLAT 2009 - International Fuzzy systems
Association World Congress, European Society
for Fuzzy Logic and Technology International
Conference, Jul. 2009, pp. 178-183.
Jorge F. Villena and L. Miguel Silveira, ARMS Automatic residue-minimization based sampling
for multi-point modeling techniques, DAC - Design
Automation Conference, Jul. 2009, ACM/IEEE.
Júlio Vazquez and Victor Champac and Adriel
Ziesemer Jr. and Ricardo Reis and Isabel Maria Silva
Nobre Parreira Cacho Teixeira and Marcelino Bicho
dos Santos and João Paulo Cacho Teixeira, Built-In
Aging Monitoring for Safety-Critical Applications,
IEEE International On-Line Test Symposium (IOLTS),
Jul. 2009, pp. 9-14.
J. M. Lemos and Pedro Simões Oliveira and Jorge S.
Marques and Teresa Mendonça, Clustering in supervised multi-model adaptive control applied to
neuromuscular blockade, 15th IFAC Symp. System
Identification, Saint-Malo, France, Jul. 2009, pp.
1000-1005.
José Rocha and Nuno Dias and Ângelo Monteiro
and Alexandre Neves and Gabriel Santos and
Marcelino Santos and João Paulo Cacho Teixeira,
Controllability and Observability in Mixed Signal
Cores, IEEE International On-Line Test Symposium
(IOLTS), Jul. 2009, pp. 198-200, IEEE.
Jorge Semião and Judite Freijedo and J.J. RodriguezAndina and Fabian Vargas and Marcelino Santos and
Isabel Cacho Teixeira and João Paulo Cacho Teixeira,
Delay-Fault Tolerance to Power Supply Voltage
Disturbances Analysis in Nanometer Technologies,
IEEE International On-Line Test Symposium (IOLTS),
Jul. 2009, pp. 223-228, IEEE.
Svetislav Momcilovic and Leonel Sousa,
Development and Evaluation of Scalable Video
Motion Estimators on GPU, Workshop on Signal
Processing Systems (SiPS), Jul. 2009, IEEE.
72
Gesner Passos and Nuno Roma and Bertinho Costa
and Leonel Sousa and J. M. Lemos, Distributed
Software Platform for Automation and Control of
General Anaesthesia, 8th International Symposium
on Parallel and Distributed Computing (ISPDC 2009),
Jul. 2009, pp. 135-142, IEEE Computer Society Press.
Porfírio Filipe and Nuno J. Mamede, Indoor Domain
Model for Dialogue Systems, 5th International
Conference Universal Access in Human-Computer
Interaction (UAHCI 2009), Jul. 2009, pp. 512-520,
Springer-Verlag.
David Remondo and Mário Serafim Nunes and
Susana Sargento and Matteo Cesana, Integration
of Optical and Wireless Technologies in the MetroAccess: QoS Support and Mobility Aspects, EuroNGI
Conference on Next Generation Internet Networks,
Jul. 2009, EuroNGI.
Marcelino Santos and Ângelo Monteiro and
Alexandre Neves, Limiting Internal Supply Voltage
Spikes in DC-DC Converters, IEEE International
Symposium on Industrial Electronics, ISIE 2009, Jul.
2009, pp. 1060–1065.
João Bastos and Gonçalo Simões and Luísa Coheur
and Helena Galhardas, Medicine.Ask: A Facility to
assist Doctors on prescribing Medicines (poster/demo paper), International Workshop on Data
Integration in the Life Sciences (DILS), Jul. 2009.
Augusto Casaca and Paulo Pereira and José Santiago,
Multicast over the Delay Tolerant Networks Prophet
Protocol, Joint EuroNF and ITG workshop on “Visions
of Future Generation Networks” (EuroView2009),
Jul. 2009.
João Castro de Almeida and António Grilo and Paulo
Rogério Pereira, Multimedia Data Transport for
Wireless Sensor Networks, 5th EuroNGI Conference
on Next Generation Networks (NGI 2009), Jul. 2009,
IEEE.
Levent Aksoyl and Ece Olcay Gunes and Paulo Flores,
Optimization of area under a delay constraint in
multiple constant multiplications, International
Conference on Circuits (ICC), Jul. 2009, pp. 81-86,
World Scientific and Engineering Academy and
Society.
João P. Carvalho and José Tomé, Rule Based Fuzzy
Cognitive Maps in Socio-Economic Systems, IFSAEUSFLAT 2009 - International Fuzzy systems
Association World Congress, European Society
for Fuzzy Logic and Technology International
Conference, Jul. 2009, pp. 1821-1826.
Isabel Trancoso and Thomas Pellegrini and José
Portelo and Hugo Meinedo and Miguel Bugalho and
Alberto Abad and João Neto, Audio contributions
to semantic video search, 2009 IEEE International
Conference on Multimedia and Expo (ICME 2009),
Jun. 2009, IEEE.
Andreas Wichert, Subspace tree, CBIR, 2009
International
Workshop
on
Content-Based
Multimedia Indexing Conference Proceedings, Jul.
2009, pp. 34-44, IEEE.
Daniel Hasan Dalip and Marcos Gonçalves and Marco
Cristo and Pável Calado, Automatic quality assessment of content created collaboratively by web
communities: A case study of Wikipedia, ACM/IEEE
Joint Conference on Digital Libraries JCDL 2009, Jun.
2009, pp. 295–304, ACM/IEEE.
Edgar Gonçalves and António Menezes Leitão,
Using Common Lisp to Prototype Offline Work in
Web Applications for Rich Domains, European Lisp
Workshop 2009, co-located with ECOOP09, Jul.
2009.
Rui Duarte and Jorge Fernandes, A Behavioural
Model for Sigma Delta Fractional PLL, IEEE Int. Conf.
on Mixed Design of Integrated Circuits and Systems,
(MIXDES’09), Jun. 2009.
Rui Duarte and Jorge Fernandes, A Comparative
Study on Transformer and Inductor Based LC
Tanks for VCOs, IEEE Int. Conf. on Mixed Design of
Integrated Circuits and Systems, (MIXDES’09), Jun.
2009.
Marcos Simões and Susana Vinga, A web-based application for evaluating parameter identifiabity
of biochemical models in polynomial form, ISMB/
ECCB09 - 17th Annual International Conference
on Intelligent Systems for Molecular Biology - 8th
European Conference on Computational Biology,
Jun. 2009.
José Borbinha and José Barateiro and Gonçalo
Antunes, Addressing
Digital
Preservation:
Proposals for New Perspectives, First International
Workshop on Innovation in Digital Preservation, Jun.
2009.
Vasco Manquinho and João Marques Silva and
Jordi Planes, Algorithms for Weighted Boolean
Optimization, International Conference on Theory
and Applications of Satisfiability Testing (SAT), Jun.
2009, pp. 495-508.
Jorge A Paiva and Sonia Vautrin and Elisa Prat and
Susana Araujo and Dulce Santos and Mauro Santos
and João Carriço and Dario Abdulrehman and Susana
Vinga and Victor Carocha and Pedro M Fevereiro and
Ana T. Freitas and Cristina Marques and Ana Pires
and Helene Berges and Jacqueline Grima-pettenati, Characterization of Eucalyptus BAC libraries,
IUFRO Tree Biotechnology Conference, Jun. 2009.
Carlos Mendes and Miguel Mira da Silva, Controlo de
Custos Operacionais em Informática, 4ª Conferência
Ibérica de Sistemas e Tecnologias de Informação
(CISTI 2009), Jun. 2009.
João Barreto and João Coelho Garcia and Luis Veiga
and Paulo Ferreira, Data-aware connectivity in
mobile replicated systems, ACM International
Workshop on Data Engineering for Wireless and
Mobile Access (Mobide 2009), Jun. 2009, ACM.
Ebru Arisoy and Thomas Pellegrini and Murat
Saraclar and Lori Lamel, Enhanced Morfessor
Algorithm with Phonetic Features: application to
Turkish, SPECOM, Jun. 2009.
Francisco Fernandes and Ana T. Freitas and Jonas S.
Almeida and Susana Vinga, Entropic Profiler – efficient whole genome analysis using information
theory and statistical concepts, ISMB/ECCB09 17th Annual International Conference on Intelligent
Systems for Molecular Biology - 8th European
Conference on Computational Biology, Jun. 2009.
Sandra Conduto and Daniel Gonçalves, Facial
Emoticons – Expression Recognition as a Means
of Interaction for Physically Challenged People,
DSAI’09 - Software Development for Enhancing
Accessibility and Fighting Info-exclusion, Jun. 2009.
73
Joao P. Carvalho and Ana Cristina Meira Castro,
Fuzzy Modelling of Prescribed Burning Effects on
Soil Physical Properties, NAFIPS09, Jun. 2009.
Soraia Figueiredo and Miguel Mira da Silva, Gestão
da Mudança na Implementação ITIL, 4ª Conferência
Ibérica de Sistemas e Tecnologias de Informação
(CISTI 2009), Jun. 2009.
Thomas Pellegrini and Jose Portelo and Isabel
Trancoso and Alberto Abad and Miguel Bugalho,
Hierarchical Clustering Experiments for Application
to Audio Event Detection, SPECOM, Jun. 2009, pp.
six.
Josep Argelich and Alba Cabiscol and Inês Lynce and
Felip Manyà, Sequential Encodings from MAX-CSP
into Partial MAX-SAT, International Conference on
Theory and Applications of Satisfiability Testing
(SAT), Jun. 2009, Springer.
Gonçalo Gomes and Helena Sarmento, Indoor
Location Systtem Using Zigbee technology,
SensorComm, Jun. 2009, pp. 152-157, IEEE.
Rui Cruz and João Domingues and Leandro
Meneses and Mário Serafim Nunes, SIP Based IPTV
Architecture for Heterogenous Networks, 10th
International Conference on Telecommunications,
Jun. 2009, pp. 421-428, IEEE.
Hugo Oliveira and Miguel Mira da Silva, IT Strategic
Implementation, 4ª Conferência Ibérica de Sistemas
e Tecnologias de Informação (CISTI 2009), Jun.
2009.
Alberto Abad and Isabel Trancoso, The L2F Language
Verification System for NIST LRE 2009, The 2009
NIST Language Recognition evaluation (LRE09)
Workshop, Jun. 2009.
Nuno Tenazinha and Susana Vinga, Modeling integrated biochemical networks: methods, advances
and perspectives, ISMB/ECCB09 - 17th Annual
International Conference on Intelligent Systems for
Molecular Biology - 8th European Conference on
Computational Biology, Jun. 2009.
Pedro Oliveira and Miguel Mira da Silva, The Value
of ITIL, 4ª Conferência Ibérica de Sistemas e
Tecnologias de Informação (CISTI 2009), Jun. 2009.
Bertinho Costa and M.Silva and J. M. Lemos and
T.Mendonça, Neuromuscular Blockade Nonlinear
Model
Identification,
17th
Mediterranean
Conference on Control and Automation, Jun. 2009.
Marco Vilela and Susana Vinga and Marco Grivet
Mattoso Maia and Eberhard Voit and Jonas S.
Almeida, Neutral Network models for Biochemical
Systems, ISMB/ECCB09 - 17th Annual International
Conference on Intelligent Systems for Molecular
Biology - 8th European Conference on Computational
Biology, Jun. 2009.
Diogo Mónica de Oliveira and João Leitão and Luis
Rodrigues and Carlos Ribeiro, On the Use of Radio
Resource Tests inWireless ad hoc Networks, 3rd
Workshop on Recent Advances on Intrusion-Tolerant
Systems WRAITS 2009, Jun. 2009.
74
Jorge F. Villena and Wil H. Schilders and L. Miguel
Silveira, Order Reduction Techniques for Coupled
Multi-Domain Electromagnetic based Models,
Coupled Problems 2009 - International Conference
on Computational Methods for Coupled Problems in
Science and Engineering, Jun. 2009, ECCOMAS.
Victor Silva and Jorge Fernandes and Luís Bica de
Oliveira and Horácio C. Neto and Ricardo Ferreira and
Susana Freitas and Paulo P. Freitas, Thermal Assisted
Switching Magnetic Tunnel Junctions as FPGA
Memory Elements, MIXDES09. IEEE International
Conference on Mixed Design of Integrated Circuits
and Systems, Jun. 2009, pp. 332-336.
Luis Pina, Towards a Pragmatic Atomic Dynamic
Software Upgrade System, International Conference
on Dependable Systems and Networks (DSN), Jun.
2009.
Filipe Bastos de Freitas and Edgar Marques
and Rodrigo Rodrigues and Carlos Ribeiro and
Paulo Ferreira and Luis Rodrigues, Verme: Worm
Containment in Overlay Networks, DSN2009: The
39th Annual INESC/IFIP International Conference on
Dependable Systems and Networks, Jun. 2009, IEEE.
Igor Filanovsky and Luís Bica de Oliveira and Jorge
Fernandes, Wide Tunning Range Quadrature VCO
Using Coupling Multivibrators, IEEE Int. Conf. on
Mixed Design of Integrated Circuits and Systems
(MIXDES’09), Jun. 2009.
Carlos Ribeiro and Ivo Anastácio and André Costa
and Márcia Baptista, WSN Self-Address Collision
Detection and Solving, The Third International
Conference on Sensor Technologies and Applications
- SENSORCOMM 2009, Jun. 2009, IEEE.
Valter Sadio and Marcelino Santos and Abilio
Parreira, A 100 mA Fractional Step-Down Charge
Pump with Digital Control, SPIE Europe, vol. 7363,
VLSI Circuits and Systems, May 2009, pp. 7363-29,
SPIE.
José Borbinha and José Barateiro and Gonçalo
Antunes and Filipe Bastos de Freitas, Challenges on
preserving scientific data with data grids, DaGreS
2009 - 1st ACM Workshop on Data Grids For Escience,
May 2009, ACM.
Miguel Martins and Luis Bica Oliveira and Jorge
Fernandes, Combined LNA and mixer circuits for
2.4 GHz ISM band, IEEE International Symposium on
Circuits and Systems, 2009. ISCAS 2009, May 2009,
pp. 425-428.
Judite Freijedo and L. Costas and Jorge Filipe Leal
Costa Semião and J.J. Rodriguez-Andina and M.J.
Moure and Fabian Vargas and Isabel Cacho Teixeira
and João Paulo Cacho Teixeira, Delay Modeling
for Power Noise-Aware Design and Test in 65nm
FPGAs, 2nd. Int. Workshop on the Impact of LowPower Design on Test and Reliability (LPonTR), May
2009.
Frederico Pratas and Pedro Trancoso and Alexandros
Stamatakis and Leonel Sousa, Fine-grain Parallelism
using Multi-core, Cell/BE, and GPU Systems:
Accelerating the Phylogenetic Likelihood Function,
International Conference on Parallel Processing
(ICPP-2009), May 2009, IEEE Computer Society.
Fernando Gonçalves and Isabel Cacho Teixeira and
João Paulo Cacho Teixeira and Paulo Relvas and
Pedro Lousã and João Varela and Andreia Trindade
and Joaquim Godinho and Carlos Leong, High-Speed
Data Acquisition Electronics for a PEM Scanner,
IEEE-NPSS Real Time Conference, May 2009, pp.
196-200.
Ana Paiva and João Dias and Ruth Aylett and Mei
Yii Lim, Intelligent NPCs for educational role play
game, Agents for Games and simulation Workshop
- Autonomous Agents and Multiagent Systems AAMAS 2009, May 2009.
Francisco Melo and Manuela Veloso, Learning of coordination: Exploiting sparse interactions in multiagent systems, 8th International Conference on
Autonomous Agents and Multiagent Systems, May
2009, pp. 773-780.
Josep Argelich and Alba Cabiscol and Inês Lynce and
Felip Manyà, New Encodings from MAX-CSP into
Partial MAX-SAT, IEEE International Symposia on
Multiple-Valued Logic (ISMVL), May 2009, IEEE.
Nuno Dias and Ângelo Monteiro and Gabriel Santos
and Marcelino Bicho dos Santos, Design-forDebug of Mixed Signal Cores, IEEE European Test
Symposium, May 2009.
Shinichi Yamagiwa and Koichi Wada, Performance
Study of Interference on Sharing GPU and CPU
Resources with Multiple Applications, the 11th
Workshop on Advances on Parallel and Distributed
Processing Symposium (APDCM09) / IPDPS09, May
2009, IEEE CS.
Stefan Poslad and Aristodemos Pnevmatikakis
and Mário Serafim Nunes, Directing Your Own Live
and Interactive Sports Channel, 10th International
Workshop on Image Analysis for Multimedia
Interactive Services (WIAMIS 2009), May 2009,
IEEE.
João Carlota and Alberto Rodrigues da Silva and
Patricia Dinis, The Learning Object Pool and the
BOA-GPI Case Study, Iberoamerican Congress on
Telematics (CITA-2009), May 2009.
Carlos Leong and Vasco António and Pedro Machado
and Isabel Cacho Teixeira and João Paulo Cacho
Teixeira, Dynamic Interconnect Testing in MultiBus, Multi-FPGA Digital Systems, IEEE European
Test Symposium (ETS), May 2009.
Iolanda Leite and Carlos Martinho and André Pereira
and Ana Paiva and Peter Mc Owan, Towards and
Empathic Chess Companion, Autonomous Agents
and Multiagent Systems - AAMAS 2009, May 2009.
75
Samuel Mascarenhas and João Dias and Nuno
Afonso and Ana Paiva and Sybille Enz, Using rituals
to express cultural differences in synthetic character, Autonomous Agents and Multiagent Systems
- AAMAS 2009, May 2009.
José Portelo and Miguel Bugalho and Isabel Trancoso
and João Neto and Alberto Abad and António
Serralheiro, Non-speech audio event detection,
ICASSP 2009 - Int. Conf. on Acoustics, Speech, and
Signal Processing, Apr. 2009, IEEE.
Ricardo Jota Costa and João Madeiras Pereira and
Joaquim Jorge, A Comparative Study of Interaction
Metaphors for Large-Scale Displays, CHI 2009, Apr.
2009, pp. 4135-4140, ACM SIGCHI.
Jorge F. Villena and Gabriela Ciuprina and Daniel Ioan
and L. Miguel Silveira, On the efficient reduction
of complete EM based parametric models, DATE Design, Automation & Test in Europe Conference &
Exhibition, Apr. 2009, pp. 1172 - 1177, ACM/IEEE.
José Carlos Campos Costa and J. Monteiro, A MILPbased Approach to Path Sensitization of Embedded
Software, IEEE Design, Automation and Test in
Europe (DATE), Apr. 2009.
Nelson Costa and Mário Serafim Nunes, Adaptive
Quality of Service in Voice over IP Communications,
The Fifth International Conference on Networking
and Services (ICNS2009), Apr. 2009, pp. 19-24,
IARIA.
Nuno Tomás and Tiago Guerreiro and Daniel
Gonçalves, StoryTags: Once Upon a Time, There
Was a Photo, ACM CHI 2009, Apr. 2009, ACM Press.
Paolo Romano and Luís Rodrigues, An Efficient
Weak Mutual Exclusion Algorithm, 8th International
Symposium on Parallel and Distributed Computing,
Apr. 2009, IEEE Computer Society Press.
Artur Caetano and António Rito-Silva and José
Tribolet, A Role Based Entreprise Architecture
Framework, The 24th Annual ACM Symposium on
Applied Computing, ACM SAC 2009, Mar. 2009.
Frederico Pratas and Leonel Sousa, Applying
the Stream-Based Computing Model to Design
Hardware Accelerators: A Case Study, International
Workshop on Systems, Architectures, Modeling, and
Simulation, Apr. 2009, Springer.
Shinichi Yamagiwa and Leonel Sousa, CaravelaMPI:
Message Passing Interface for Parallel GPU-based
Applications, 8th International Symposium on
Parallel and Distributed Computing (ISPDC 09), Mar.
2009.
Luis Veiga and João Silva and João Coelho Garcia,
COGITARE: A Cloud Infrastructure for Grid and
Overlay Network Research (Work in Progress
Session + Poster), ACM EuroSys 2009, Apr. 2009,
ACM.
Samuel Freitas Antão and Ricardo Chaves and Leonel
Sousa, Compact and Flexible Microcoded Elliptic
Curve Processor for Reconfigurable Devices, The
17th IEEE Symposium on Field-Programmable
Custom Computing Machines (FCCM), Mar. 2009,
IEEE Computer Society.
Nuno Castela and José Tribolet, Enhancing
Organizational Self Awareness: The As-is
Enterprise Model Dynamic Updating Process,
International Conference on Knowledge Engineering
and Ontology Development (KEOD), Apr. 2009, pp.
315-320.
João Lourenço and Nuno Preguiça and Ricardo Dias
and João Nuno de Oliveira e Silva and João Coelho
Garcia and Luis Veiga, NGen-VM: New Generation
Computing Environments (Poster), ACM EuroSys
2009, Apr. 2009, ACM.
76
Rui Cruz and Guido Varatojo and Luis Reis and
Mário Serafim Nunes, Push-To-Talk in IMS Mobile
Environment, The Fifth International Conference on
Networking and Services (ICNS2009), Apr. 2009, pp.
389-395, IARIA.
Gabriel Falcão and Vitor Silva and Leonel Sousa,
How GPUs can outperform ASICs for fast LDPC
decoding, 23rd ACM International Conference on
Supercomputing (ICS 09), Mar. 2009, ACM.
Leonel Sousa and Svetislav Momcilovic and Vitor
Silva and Gabriel Falcão, Multicore for Signal
Processing: Source and Channel Coding, IEEE
International Conference on Multimedia and Expo,
Mar. 2009.
Artur Ferreira and Arlindo L. Oliveira and Mário
Figueiredo, On the Use of Suffix Arrays for MemoryEfficient Lempel-Ziv Data Compression, IEEE Data
Compression Conference (DCC-09), Mar. 2009, pp.
444.
António Grilo and Augusto Casaca and Mário Serafim
Nunes, The Use of Wireless Sensor Networks for
Homeland Security, International Conference on
Communication, Computer and Power, Feb. 2009,
IEEE Oman Section.
António Gusmão and L. Miguel Silveira and J.
Monteiro, Parameter Tuning in SVM-Based Power
Macro-Modeling, IEEE International Symposium on
Quality Electronic Design (ISQED), Mar. 2009, pp.
135-140, IEEE.
Theja Tulabandhula and Samuel Antão and Leonel
Sousa, A Class of Software-Hardware Processors
for Fingerprint Matching on the Fourier Domain, 3rd
HiPEAC Workshop on Reconfigurable Computing,
Jan. 2009.
Paolo Romano and Francesco Quaglia and Bruno
Ciciani, APART+: Boosting APART Performance via
Optimistic Pipelining of Output Events, Proc. 14th
IEEE Workshop on Dependable Parallel, Distributed
and Network-Centric Systems (DPDNS), Feb. 2009,
IEEE Computer Society Press.
Carlos Leong and Pedro Machado and Vasco António
and João Paulo Cacho Teixeira and Isabel Cacho
Teixeira and J. Rego and P. Neves and F. Piedade
and P. Lousã and P. Rodrigues and A. Trindade and
R. Bugalho and J.F. Pinheiro and J. Varela, Data
Acquisition Electronics for PET Mammography
Imaging, Int. Conference on Biomedical Electronics
and Devices (BIODEVICES), Jan. 2009.
Ricardo Aguiar and João Madeiras Pereira and José
Pereira, GADEVI-Game Development Integrating
Tracking and Visualization Devices into Virtools,
Feb. 2009, pp. 313-321, INSTICC.
Jorge Filipe Leal Costa Semião and Judite Freijedo
and M. Moraes and M. Mallmann and C. Antunes and
J. Benfica and Fabian Vargas and Marcelino Santos
and Isabel Cacho Teixeira and J.J. Rodriguez -Andina
and João Paulo Cacho Teixeira and D. Lupi and E. Gatti
and L. Garcia and F. Hernandez, Measuring Clock Signal Modulation Efficiency for Systems-on-Chip
in Electromagnetic Interference Environment, IEEE
Latin America Test Workshop (LATW), Feb. 2009.
José Germano and Rui Ramalho and Leonel Sousa, On
the Design of Distributed Autonomous Embedded
Systems for Biomedical Applications, 3rd
International Conference on Pervasive Computing
Technologies for Healthcare (Pervasive Health’09),
Feb. 2009, IEEE.
A.C.M. Castro and J. T. Albergaria and J. P. Meixedo
and C. M. Delerue Matos and A. Vivas and Joao P.
Carvalho and E. Ferreira and M. Costa and A. Freitas,
Soil Attributes Dynamc Evaluation After Prescribed
Burning Practice in Northwestern Portugal Forest,
FESP II - 2nd International Meeting of Fire Effects on
Soil Properties, Feb. 2009.
Edgar Albuquerque and Vasco António and R. Bugalho
and B. Carriço and C.S. Ferreira and M. Ferreira and J.
Godinho and Fernando Gonçalves and Carlos Leong
and P. Lousã and Pedro Machado and P. Moura and P.
Neves and C. Ortigão and F. Piedade and J.F. Pinheiro
and P. Relvas and A. Rivetti and P. Rodrigues and J.C.
Silva and M. Medeiros Silva and Isabel Cacho Teixeira
and João Paulo Cacho Teixeira and A. Trindade and J.
Varela, On-Detector Electronics of the Clear-PEM
Scanner, Int. Conference on Biomedical Electronics
and Devices (BIODEVICES), Jan. 2009.
Bruno Guedes and Ricardo Lopes Pereira and
António Varela and Teresa Vazão Vasques, Simple
Media-Aware Packet Discard Algorithms, 23nd
International Conference on Information Networking
(ICOIN2009), Jan. 2009.
Jorge A Paiva and Elisa Prat and Mauro Santos and
Nathalie Ladouce and Susana Araujo and Dulce
Santos and João Carriço and Victor Carocha and
Susana Vinga and Ana Pires and Pedro M Fevereiro
and Cristina Marques and Dario Grattapaglia and
Ana T. Freitas and Helene Berges and Jacqueline
Grima-pettenati, The Eucalyptus grandis Bacterial
Artificial Chromosome Libraries And Their Use
In Identification Of Clones Associated With
Lignification, Plant and Animal Genomes XVII
International Conference, Jan. 2009.
77
Paolo Romano and Luís Rodrigues and Nuno
Carvalho, The Weak Mutual Exclusion Problem,
Proc. 23rd IEEE International Parallel and Distributed
Processing Symposium (IPDPS), Jan. 2009, IEEE
Computer Society Press.
6.2.8 National Conferences
Pedro T. Monteiro and Paulo J. Dias and Delphine
Ropers and Arlindo L. Oliveira and Ana T. Freitas and
Isabel Sa-Correia and Miguel C. Teixeira, The regulatory network underlying the transcriptional upregulation of the FLR1 gene in mancozeb stressed
yeast cells: qualitative modeling and simulation,
Congresso Nacional MICRO-BIOTEC 2009, Dec.
2009.
Gonçalo Pereira and Pedro A. Santos and Rui Prada,
Growing Maps in Strategic Multiplayer Browser
Games, Videojogos 2009, Nov. 2009.
Susana Santos and Alexandra R. Fernandes and Ana
T. Freitas and Cátia M. Machado and Paulo Branco and
Luís Silveira and M. Antunes and Carolino Monteiro,
HCM sarcomere gene expression analysis: a machine learning approach, 13ª Reunião da Sociedade
Portuguesa de Genética Humana, Nov. 2009.
Samuel Mira and Rui Prada, LudoPor – Plataforma
de Criação de Jogos de Palavras, Videojogos 2009,
Nov. 2009.
Carlos Mendes and Miguel Mira da Silva, Controlo de
Custos Operacionais de Informática - Resultados, 9ª
Conferência da Associação Portuguesa de Sistemas
de Informação (CAPSI 2009), Oct. 2009.
Carlos Saraiva and João Oliveira and João Madeiras
Pereira and Bruno Araújo, A Comparison of
Orthographic and Perspective Projections in the
Generation of Textures for Billboards, 17º Encontro
Português de Computação Gráfica, Oct. 2009, pp.
241-249.
Bruno Guedes and Teresa Vazão Vasques and Ricardo
Lopes Pereira, Application Layer QOS Support
for Video Services, 9ª Conferência sobre Redes de
Computadores, CRC 2009, Oct. 2009.
78
Gabriel Barata and Tiago Guerreiro and Daniel
Gonçalves, Automating Repetitive Tasks in User
Interaction, RECPAD 2009, Oct. 2009.
Tiago Santos and Helder Vieira and Teresa Vazão
Vasques and Pedro C. Diniz and João M.P. Cardoso,
Biologic-inspired
Routing
Algorithms
for
Distributed Collaborative Mobile Applications,
8th Conference on Communication in Computer
Networks, Oct. 2009.
Gabriel Barata and Tiago Guerreiro and Daniel
Gonçalves, Blaze - Automatizando a Interacção em
Interfaces Gráficas, 17º EPCG – Encontro Português
de Computação Gráfica, Oct. 2009.
Ivo Anastácio and Bruno Martins and Pável Calado,
Classifying documents according to locational relevance, 14th Portuguese Conference on Artificial
Intelligence, EPIA 2009, Oct. 2009, pp. 598-609.
Bruno Araújo and Ricardo Costa and João Fernandes
and Alfredo Ferreira Júnior and João Madeiras
Pereira, Dispositivo de Interacção para Ecrã de
Grandes Dimensões, 17º Encontro Português de
Computação Gráfica, Oct. 2009.
Andreia Artífice and João Brisson Lopes and Joaquim
Jorge and Manuel J. Fonseca, Ensaio de Avaliacção
Preditiva para Utilizadores com Necessidades
Especiais, 17th National Conference in Computer
Graphics (EPCG 09), Oct. 2009.
Hugo Rocha and António Rito-Silva and José Tribolet,
Experimentação de um algoritmo de decomposição de Sistemas de Informação, 9ª CAPSI Conferência da Associação Portuguesa de Sistemas
de Informação, Oct. 2009.
Sandra Conduto and Daniel Gonçalves, Facial
Emoticons - Facial Expressions as a Means of
Interaction, RECPAD 2009, Oct. 2009.
João Guerreiro and Tiago Guerreiro and Daniel
Gonçalves, GeniusPhone: A Personal Companion
for Everyday Situations, Proceedings 17º EPCG Encontro Português de Computação Gráfica, Oct.
2009.
João Guerreiro and Tiago Guerreiro and Daniel
Gonçalves, GeniusPhone: Extracting and Relating
Relevant Personal Information, RECPAD 2009, Oct.
2009.
Pedro Rodrigues and Luís Lopes and Manuel J.
Fonseca, Getting a Glimpse of your Pictures using Dominant Colors, 17th National Conference in
Computer Graphics (EPCG 09), Oct. 2009.
Oksana Denysyuk and José Mocito and Luis
Rodrigues, HAMP - Protocolo de Difusão em
Grupo Para Redes Com Padrões de Mobilidade
Heterogéneos, 9ª Conferência sobre Redes de
Computadores, Oct. 2009.
Nuno Castela and José Tribolet, MAPA: Ferramenta
de Monitorização e Actualização de Processos e
Actividades, 9ª CAPSI - Conferência da Associação
Portuguesa de Sistemas de Informação, Oct. 2009.
Luis Torres and Helena Galhardas and João Damásio,
Master Data Management (poster paper), CAPSI,
Oct. 2009.
Nuno Amador and Pável Calado, Metacluster.pt um
meta-motor de pesquisa para a web portuguesa, 9ª
Conferência da Associação Portuguesa de Sistemas
de Informação, Oct. 2009.
José Santiago and Paulo Rogério Pereira and Augusto
Casaca, Multicast sobre o Protocolo Prophet em
Redes Tolerantes a Atrasos, 9ª Conferência sobre
Redes de Computadores (CRC 2009), Oct. 2009.
Tiago Guerreiro and Hugo Nicolau and Joaquim Jorge
and Daniel Jorge Viegas Gonçalves, NavTap: um estudo de longa duração com utilizadores cegos, 17º
EPCG - Encontro Português de Computação Gráfica,
Oct. 2009.
Ricardo Castanheira Pereira and Bruno Martins and
Jacinta Almeida and Mario Rui Gomes, O Cidadão e o
Prédio Urbano - Um projecto de integração de sistemas de informação, CAPSI 2009, Oct. 2009.
Nuno Castela and José Tribolet, PROASIS: Processo
de Actualização Dinâmica do Modelo Empresarial
As-Is, 9ª CAPSI - Conferência da Associação
Portuguesa de Sistemas de Informação, Oct. 2009.
João Godinho and Jânio Monteiro and Mário Serafim
Nunes, Quality Assurance Solutions for Multipoint
Scalable Video Distribution, 9ª Conferência sobre
Redes de Computadores (CRC 2009), Oct. 2009,
INESC-ID.
Diogo Monteiro Luzio Fonseca Paulo and João
Barreto and Paulo Ferreira, Transferência de
Ficheiros Baseada em Chunks com Eliminação
de Redundância, 9º Conferência sobre Redes de
Computadores, Oct. 2009.
José Pereira and Tiago Ribeiro and João Madeiras
Pereira and Donovan Tissot and Clément Tremblier,
Uma Arquitectura Experimental para Composição de
Animações, 17º Encontro Português de Computação
Gráfica, Oct. 2009, pp. 149-154.
João Oliveira and Adriano Oliveira and João Boavida
and João Madeiras Pereira and Bruno Araújo and
Luis Catarino and Joaquim Jorge, Value added 3D
modelling of Laser scanned and photogrammetric data, 17º Encontro Português de Computação
Gráfica, Oct. 2009, pp. 131-141.
Ivo Anastácio and Bruno Martins and Pável Calado, A
comparison of different approaches for assigning
geographic scopes to documents, InForum Simpósio
de Informática 2009, Sep. 2009, pp. 285-296.
Francisco Melo and M. Isabel Ribeiro, A POMDP
approach to cooperative localization in sparse
environments, 2007 Workshop on Robotics and
Mathematics, Sep. 2009, pp. 27-33.
Ana Paiva and Lynne Hall and Ruth Aylett, An
Immersive Approach to Evaluating Role Play,
Intelligent Virtual Agents - IVA 2009, Sep. 2009, pp.
498-499, Springer Berlin / Heidelberg.
Hugo Rito and João Cachopo, ATOM: Automatic
Transaction-Oriented Memorization, Primeiro
Simpósio de Informática (Inforum), Sep. 2009.
Diogo Mónica de Oliveira and João Leitão and
Luis Rodrigues and Carlos Nuno da Cruz Ribeiro,
Construção Observável de um Quorum de Nós NãoSybil na Vizinhança Rádio de uma Rede Ad Hoc
Sem Fios, Inforum - Simposium de Informática, Sep.
2009.
Cristina Fonseca and Liliana Rosa and Luis Rodrigues,
Custo da Comutação Dinâmica de Protocolos de
Comunicação, Primeiro Simpósio de Informática
(Inforum), Sep. 2009, U. Lisboa.
79
Maria Couceiro and Paolo Romano and Nuno
Carvalho and Luis Rodrigues, D2STM: Memória
Transaccional em Software Distribuída e Confiável,
Primeiro Simpósio de Informática (Inforum), Sep.
2009, U. Lisboa.
Stoyan Garbatov and João Cachopo and João Carlos
Serrenho Dias Pereira, Data Access Pattern Analysis
based on Bayesian Updating, Primeiro Simpósio de
Informática (Inforum), Sep. 2009.
Carlos Torrão and Nuno Carvalho and Luis
Rodrigues, FT-OSGi: Extensões à Plataforma OSGi
para Tolerância a Faltas, Primeiro Simpósio de
Informática (Inforum), Sep. 2009, U. Lisboa.
Carlos Leong and Vasco António and Pedro Machado
and João Varela and João Paulo Cacho Teixeira and
Isabel Cacho Teixeira, Using FPGA Technology for
Static and Dynamic Fault Detection in Multi-Bus,
Multi-FPGA, Multi-board Electronic Systems, 5ª
Jornadas sobre Sistemas Reconfiguráveis (REC),
Feb. 2009.
Gonçalo Fernandes Simões and Helena Galhardas
and Luísa Coheur, Information extraction tasks: a
survey, Inforum, Sep. 2009.
6.2.9 Technical Reports
Ivo Anjo and João Cachopo, JaSPEx: Speculative
Parallel Execution of Java Applications, Primeiro
Simpósio de Informática (Inforum), Sep. 2009.
Vitor Antunes and Horácio C. Neto and Helena
Sarmento, A HDMI Source Encoder, REC2009 - V
Jornadas sobre Sistemas Reconfiguráveis, Feb.
2009, pp. 127-130.
Bruno Fernandes and Stefan Haas and Per Klöfver
and Guiomar Evans and José Augusto and António
Amorim, Desenvolvimento do Firmware do Módulo
MICTP do Trigger de Nível 1 da Experiência ATLAS
do LHC, V Jornadas sobre Sistemas Reconfiguráveis
- REC2009, Feb. 2009.
Rui Duarte and Mário Pereira Véstias and Horácio C.
Neto, Double Precision Floating-Point Multiplier
using Coarse-Grain Units, REC2009 - V Jornadas sobre Sistemas Reconfiguráveis, Feb. 2009, pp. 52-56.
Mário Pereira Véstias and Horácio C. Neto,
Implementing Decimal Multiplications on FPGA
using Binary Multipliers, REC2009 - V Jornadas sobre Sistemas Reconfiguráveis, Feb. 2009, pp. 57-62.
Victor Silva and Jorge Fernandes and Luís Bica de
Oliveira and Mário Pereira Véstias and Horácio C.
Neto, Magnetic RAM Reconfigurable Array, REC2009
- V Jornadas sobre Sistemas Reconfiguráveis, Feb.
2009, pp. 23-27.
80
Joel Silva and Rui Caldeira and Luís Seabra and
Tiago Dias and Filipe Martins and Luís Gurriana
and José Silva and Agostinho Gomes and José
Augusto and Amélia Maio, Um Controlador Digital
de uma Experiência de Medição do Tempo de Vida
de Muões Cósmicos, V Jornadas sobre Sistemas
Reconfiguráveis - REC2009, Feb. 2009.
Francisco Albuquerque de Castro and Helena
Galhardas and João Damásio, A data quality audit
methodology, INESC-ID Tec. Rep. 67/2009, Dec.
2009.
Tiago Jorge and J. M. Lemos, A physiological model
for human patients subject to anaesthesia, INESCID Tec. Rep. 56/2009, Dec 2009.
João Pereira and Helena Galhardas and Andreas
Wichert, An efficient matching solution for publish
and subscribe systems, INESC-ID Tec. Rep. 66/2009,
Dec. 2009.
Dulce Calçada and Susana Vinga and Arlindo L.
Oliveira, Modeling the Sacharomyces cerevisiae
FLR1 regulatory network using an S-System formalism, INESC-ID Tec. Rep. 68/2009, Dec. 2009.
Diogo Mónica de Oliveira and João Leitão and Luis
Rodrigues and Carlos Ribeiro, Observable Non-Sybil
Quorums Construction in One-Hop Wireless Ad Hoc
Networks, INESC-ID Tec. Rep. 55/2009, Dec. 2009.
João Marques Silva, Practical Applications of
Boolean-Based Optimization: A Bibliography,
INESC-ID Tec. Rep. 58/2009, Dec. 2009.
Paulo Lopes and José Beltran Gerald, - PLC Noise year 2, INESC-ID Tec. Rep. 65/2009, Dec. 2009.
João Alves, Desenvolvimento e Análise de
Algoritmos Distribuídos para problemas de
Satisfação Computacional (SAT), INESC-ID Tec.
Rep. 59/2009, Nov. 2009.
João Pinto, Desenvolvimento e Análise de
Algoritmos Distribuídos para Resolução de
Problemas Dinâmicos Lineares, INESC-ID Tec. Rep.
60/2009, Nov. 2009.
Marcelo Vicente, Desenvolvimento e Análise
de Algoritmos Distribuídos para Resolução de
Problemas Dinâmicos Lineares, INESC-ID Tec. Rep.
62/2009, Nov. 2009.
Manuel Araújo, Desenvolvimento e Análise de
Algoritmos para Modelação de Sistemas Dinâmicos
Não-Lineares, INESC-ID Tec. Rep. 61/2009, Nov
2009.
Pedro Diogo and L. Miguel Silveira, Desenvolvimento
e Análise de Algoritmos para Modelação de
Sistemas Dinâmicos Não-Lineares, INESC-ID Tec.
Rep. 63/2009, Nov. 2009.
Eugéne Suter and Miguel José Simões Barão, Fast
Kullback-Leibler optimization algorithm: software
library implementation report, INESC-ID Tec. Rep.
64/2009, Nov. 2009.
Mouna Allani and João Leitão and Benoit Garbinato
and Luis Rodrigues, RASM: A Reliable Algorithm
for Scalable Multicast, INESC-ID Tec. Rep. 52/2009,
Nov. 2009.
André Dioniso Falcão, Contributions to Control
of Depth of Anaesthesia Using Locally Weighted
Learning Methods, INESC-ID Tec. Rep. 51/2009, Oct
2009.
Gonçalo Tavares, Improved Generation of Correlated
Gaussian Random Variates by Inverse DFT, INESCID Tec. Rep. 49/2009, Oct 2009.
Joana P. Gonçalves, Extraction of structured motifs
using sequence alignment and biclustering, INESCID Tec. Rep. 47/2009, Sep. 2009.
Ângela Pisco, Simultaneous Estimation of States
and Parameters in Metabolic Networks – from
Filtering Techniques to Systems Biology, INESC-ID
Tec. Rep. 48/2009, Sep. 2009.
Luis Veiga and João Silva and João Coelho Garcia and
Ricardo Dias and Nuno Preguiça and João Lourenço,
Synergy-VM: A Blueprint for Next Generation
Execution Environments, INESC-ID Tec. Rep.
46/2009, Aug. 2009.
Daniel Kofman and Paul Muller and Guneter Harring
and Markus Fiedler and George Polyzos and Augusto
Casaca and Wolfgang Kleinwachter, First update of
the Euro-NF vision regarding the network of the future, INESC-ID Tec. Rep. 50/2009, Jul. 2009.
Gonçalo Simões and Helena Galhardas and Luísa
Coheur, Information extraction tasks: a survey,
INESC-ID Tec. Rep. 37/2009, Jul. 2009.
Paolo Romano and Roberto Palmieri and Francesco
Quaglia and Nuno Carvalho and Luis Rodrigues, On
Speculative Replication of Transactional Systems,
INESC-ID Tec. Rep. 38/2009, Jul. 2009.
João Leitão and Luís Rodrigues, Overnesia: a Robust
Overlay Network for Virtual Super-Peers, INESC-ID
Tec. Rep. 36/2009, Jul. 2009.
Diogo Mónica de Oliveira and João Leitão and
Luis Rodrigues and Carlos Ribeiro, Construção
Observável de um Sistema de Quorum de Nós NãoSybil na Vizinhança Rádio de uma Rede Ad Hoc Sem
Fios, INESC-ID Tec. Rep. 34/2009, Jun. 2009.
Miguel Barão and Bertinho Costa and J. M. Lemos,
SE2A Project - Technical Report 1 on Enhanced
Cruise Control Study, INESC-ID Tec. Rep. 35/2009,
Jun. 2009.
João Ferreira and João Leitão and Luis Rodrigues, AOSGi: A framework to support the construction of
autonomic OSGi-based applications, INESC-ID Tec.
Rep. 33/2009, May 2009.
Maria Couceiro and Paolo Romano and Nuno
Carvalho and Luis Rodrigues, D2STM: Dependable
Distributed Software Transactional Memory,
INESC-ID Tec. Rep. 30/2009, May 2009.
Nuno Sebastião and Nuno Roma and Paulo Flores,
Insertion and Improvement of Testability
Mechanisms on a Specialized Multimedia IP Core,
INESC-ID Tec. Rep. 32/2009, May 2009.
81
Diogo Mónica de Oliveira and João Leitão and Luis
Rodrigues and Carlos Ribeiro, On the Use of Radio
Resource Tests in Wireless ad hoc Networks, INESCID Tec. Rep. 29/2009, May 2009.
Nuno Tenazinha and Susana Vinga, Parameter estimation in S-System and GMA models: an overview,
INESC-ID Tec. Rep. 31/2009, May 2009.
J. M. Lemos, Bayesian Parameter Estimation in
Nonlinear Dynamic Regression Models, INESC-ID
Tec. Rep. 26/2009, Apr. 2009.
Alexandra M. Carvalho, Scoring functions for learning Bayesian networks, INESC-ID Tec. Rep. 54/2009,
Apr. 2009.
Filipe Fonseca and João Portela and Paulo Ferreira,
A Parallel Execution Approach for Efficient
Regression Testing in the Outsystems Test
Platform, INESC-ID Tec. Rep. 20/2009, Mar. 2009.
Gonçalo Nolasco and Vitor Rodrigues and Paulo
Ferreira, Arquitectura DLNA, INESC-ID Tec. Rep.
21/2009, Mar 2009.
Joana P. Gonçalves and Sara C. Madeira and Arlindo
L. Oliveira, BiGGEsTS: integrated environment for
biclustering analysis of time series gene expression data, INESC-ID Tec. Rep. 23/2009, Mar. 2009.
Pedro Abrantes and Vitor Rodrigues and Paulo
Ferreira, Publicidade direccionada em Sistemas
IPTV, INESC-ID Tec. Rep. 22/2009, Mar. 2009.
Carlos Leitão and M. Medeiros Silva, Transimpedance
Amplifier with a Low Impedance Current PreAmplifier, INESC-ID Tec. Rep. 28/2009, Mar 2009.
João Gonçalves Paiva and João Barreto and Paulo
Ferreira, BackupChunk: Chunk-Based Backup
System, INESC-ID Tec. Rep. 19/2009, Feb. 2009.
Luis Veiga and João Silva and João Coelho Garcia,
COGITARE: A Blueprint for A Cloud Infrastructure
for Grid and Overlay Network Simulation Research,
INESC-ID Tec. Rep. 14/2009, Feb. 2009.
João Morais and Paulo Ferreira and Luis Veiga,
Ginger-Video-3D - Adaptação de uma ferramenta
de rendering gráfico/codificação vídeo para execução paralela em sistema peer-to-peer de partilha de
ciclos, INESC-ID Tec. Rep. 42/2009, Feb. 2009.
82
Sérgio Esteves and Luis Veiga and Paulo Ferreira,
GridP2P: Resource Usage in Grids and Peer-to-Peer
Systems, INESC-ID Tec. Rep. 16/2009, Feb. 2009.
Carlos Pona and Paulo Ferreira and Luis Veiga, Java
Clustering em Terracotta: Adaptação e Optimização
de Aplicações Java em Clusters para Elevado
Desempenho e Disponibilidade, INESC-ID Tec. Rep.
40/2009, Feb. 2009.
Renato Crisóstomo and Luis Veiga, Java Machine
Code Kit, INESC-ID Tec. Rep. 44/2009, Feb. 2009.
André Mendes and Paulo Ferreira and Luis Veiga,
OSMOSIS-RFID: Sistema de Ficheiros Semântico
para Incorporar Objectos Reais no Mundo Virtual,
INESC-ID Tec. Rep. 45/2009, Feb. 2009.
Pedro Martins and Paulo Ferreira and Luis Veiga,
SimulGC - Simulador de Algoritmos Distribuídos de
Reciclagem Automática de Memória, INESC-ID Tec.
Rep. 41/2009, Feb. 2009.
Diogo Paulo and João Barreto and Paulo Ferreira,
Sistema de Transferência de Ficheiros Baseado em
Chunks, INESC-ID Tec. Rep. 17/2009, Feb. 2009.
João Neto and Luis Veiga, Terracotta Scheduling
para Execução de Gridlet Engine e Aplicações CycleSharing, INESC-ID Tec. Rep. 43/2009, Feb. 2009.
André Negrão and Luis Veiga and Paulo Ferreira,
VFC large-scale: Consistency of Replicated Data in
Large Scale Networks, INESC-ID Tec. Rep. 18/2009,
Feb. 2009.
Dinis Lage and Paulo Ferreira and Luis Veiga, VFC
para Mobihoc.Net - Integração de Modelo de
Consistência Adaptado a Jogos Multi-utilizador na
.Net Framework, INESC-ID Tec. Rep. 39/2009, Feb.
2009.
Paolo Romano and Luis Rodrigues, An Efficient
Weak Mutual Exclusion Algorithm, INESC-ID Tec.
Rep. 5/2009, Jan 2009.
Hugo Rito and João Cachopo, ATOM: Automatic
Transaction-Oriented Memorization, INESC-ID Tec.
Rep. 10/2009, Jan. 2009.
Luis Pina and João Cachopo, Atomic Dynamic
Software Upgrades, INESC-ID Tec. Rep. 7/2009, Jan.
2009.
M. Medeiros Silva and Carlos Leitão and Luís Bica
de Oliveira, Basic Transimpedance Amplifiersfor
Radiation Detectors: Pulse Shaping and Noise
Performance, INESC-ID Tec. Rep. 27/2009, Jan.
2009.
Maria Couceiro and Luis Rodrigues, Cache Coherence
in Distributed and Replicated Transactional Memory
Systems, INESC-ID Tec. Rep. 4/2009, Jan. 2009.
Cristina Fonseca, Comutação Dinâmica de
Protocolos de Comunicação: uma Comparação entre
Comutadores Genéricos e Especializados, INESC-ID
Tec. Rep. 1/2009, Jan. 2009.
Cristina Fonseca and Luis Rodrigues, Comutação
Dinâmica de Protocolos de Comunicação: uma
Comparação entre Comutadores Genéricos e
Especializados, INESC-ID Tec. Rep. 2/2009, Jan.
2009.
João Barreto and Aleksandar Dragojevic and Paulo
Ferreira and Rachid Guerraoui and Michal Kapalka,
Towards Practical Parallel Nesting in Transactional
Memory2, INESC-ID Tec. Rep. 25/2009, Jan. 2009.
João Leitão and João Marques and Jose Pereira and
Luis Rodrigues, X-BOT: A Protocol for Resilient
Optimization of Unstructured Overlays, INESC-ID
Tec. Rep. 11/2009, Jan 2009.
6.2.10National Patents
João Tiago Rodrigues de Sousa Miranda and João
Paulo da Silva Neto, Método de compressão da composição de um léxico com um modelo de língua, Pat.
Nº 104252.
Stoyan Garbatov and João Cachopo, CoPO:
Collections of Persistent Objects, INESC-ID Tec.
Rep. 9/2009, Jan. 2009.
6.2.11 Edited Proceedings
João Barreto and Paulo Ferreira, dedupFS: Efficient
and Collision-Free Network Traffic Deduplication
in Replicated Systems, INESC-ID Tec. Rep. 24/2009,
Jan. 2009.
Luis Veiga and Didier Donsez and Oriana Riva and
Sotirios Terzis Ed., M-MPAC 2009: International
Workshop on Middleware for Pervasive Mobile and
Embedded Computing (co-located with ACM/IFIP/
USENIX 10th International Middleware Conference),
Dec. 2009, ACM.
Oksana Denysyuc and Luis Rodrigues, Group
Communication in Mobile Ad Hoc Networks, INESCID Tec. Rep. 3/2009, Jan. 2009.
Augusto Casaca and Tiago Silva and Maarten Weyn
and Tim Denis and Marc Fassbinder, Locon Platform
Requirements, INESC-ID Tec. Rep. 12/2009, Jan.
2009.
Paulo Lopes and José António Beltran Gerald and
Moises Simões Piedade, PLC Noise - year 1, INESCID Tec. Rep. 15/2009, Jan. 2009.
Ivo Anjo and João Cachopo, Running Legacy
Applications on Multicore Machines, INESC-ID Tec.
Rep. 8/2009, Jan 2009.
João Silva and Luis Veiga and Paulo Ferreira, Service
and Resource Discovery in Cycle-Sharing Desktop
Grids with Fuzzy Partial-Utility Algebra, INESC-ID
Tec. Rep. 13/2009, Jan. 2009.
José Borbinha and Maristella Agosti and Sarantos
Kapidakis and Christos Papatheodorou and
Giannis Tsakonas Ed., ECDL 2009 - 13th European
Conference on Research and Advanced Technology
for Digital Libraries, Lecture Notes in Computer
Science, nº 5714, Sep. 2009, Springer.
David Díaz Pardo de Vera and Milica Gašić and
François Mairesse and Matthew Marge and Joana
Paulo Pardal and Ricardo Ribeiro and Arash Eshghi and
Christine Howes and Gregory Mills Ed., Proceedings
of the Fifth Annual Young Researchers’ Roundtable
on Spoken Dialogue Systems, Sep. 2009.
Joao P. Carvalho and D. Dubois and U. Kaymak and J.
M. C. Sousa Ed., 2009 International Fuzzy Systems
Association World Congress, 2009 European
Society for Fuzzy Logic and Technology Conference,
Jul. 2009.
83
6.2.12 Special Issues of Journals (editor)
João Madeiras Pereira and Pedro Santos Ed.,
Special Issue on Improving Display and Rendering
Technology for Virtual Environments, Journal of
Real-Time Image Processing - JRTIP, 1, Jan. 2009,
Springer.
6.2.13 Dissertations
PhD Theses
João Coelho Garcia, Adaptabilidade e Modelos de
Coerência de Dados em Redes Móveis, PhD Thesis,
Instituto Superior Técnico, Dec 2009.
Leonardo Oliveira, Algoritmo de Localização de
Nodos para Redes de Sensores Móveis, PhD Thesis,
Universidade Federal de Santa Maria, Dec. 2009.
Jânio Monteiro, Transmissão de Serviços Multimédia
sobre redes IP, PhD Thesis, Instituto Superior
Técnico, Dec. 2009.
Rui Miguel Silva, Cifra sobre Caos Modular para
Redes de Sensores sem Fios, PhD Thesis, Instituto
Superior Técnico, Nov. 2009.
José Casimiro Boleta Santiago, Operações Mlticast
em redes com Ligações Intermitentes, PhD Thesis,
Instituto Superior Técnico, Sep. 2009.
Alfredo Manuel dos Santos Ferreira Júnior, A
Thesaurus-based Approach to 3D Shape Retrieval,
PhD Thesis, Instituto Superior Técnico, Jul. 2009.
Sérgio Paulo, Automatic Methods for Building
Speech Synthesis Corpora, PhD Thesis, Instituto
Superior Técnico, Jun 2009.
Marco Vilela, Automated reverse engineering
of metabolic pathways from time series, PhD
Thesis, Instituto de Tecnologia Química e Biológica,
Universidade Nova de Lisboa, May 2009.
Cristina Mota, How to keep up with Language
Dynamics: A case-study on Named Entity
Recognition, PhD Thesis, Instituto Superior Técnico,
May 2009.
84
Luís Guerra e Silva, Timing Analysis of Integrated
Circuits Under Process Variations, PhD Thesis,
Instituto Superior Técnico, May 2009.
Pedro Tomás, Neural Code: Tunning and Assessment
of Retina Models, PhD Thesis, Instituto Superior
Técnico, Mar. 2009.
MSc Theses
Dedier de Carvalho Paquete Lima, A Simple FPGA
Implementation of a Game Physics Engine, MSc
Thesis, Instituto Superior Técnico, Dec. 2009.
Miguel Temes Domingues Ferreira de Campos,
Avaliação das Flutuações da Geração Eólica em
Portugal, MSc Thesis, Instituto Superior Técnico,
Dec. 2009.
André Pintado Jorge Gonçalves, Criatividade em
Música Computacional, MSc Thesis, Instituto
Superior Técnico, Dec 2009.
Hugo Alexandre Gouveia dos Santos, Emulador de
um Modelo do Canal de Sistemas UWB, MSc Thesis,
Instituto Superior de Engenharia de Lisboa, Dec.
2009.
André Proença Varão Nogueira, Geometric
Parametrization, MSc Thesis, Instituto Superior
Técnico, Dec. 2009.
José João da Silva Aguiar Proença, Oscilador de
32 Mhz para RTC, MSc Thesis, Instituto Superior
Técnico, Dec. 2009.
Carlos Dias, Osciladores de Rádio Frequência em
Quadratura com Acoplamento Capacitivo, MSc
Thesis, Universidade Nova de Lisboa, Dec. 2009.
Joel Filipe da Silva Duarte, OurContext: Desenho e
Implementação de uma Plataforma para Aplicações
Context-Aware, MSc Thesis, Instituto Superior
Técnico, Dec. 2009.
Pedro Pereira, Projecto de um Divisor Decimal em
FPGA, MSc Thesis, Instituto Superior de Engenharia
de Lisboa, Dec 2009.
Bruno Jesus Rodrigues Fernandes, Projecto,
Validação e Concretização do Módulo MICTP do
Primeiro Nível do Filtro de Eventos do Detector
ATLAS, MSc Thesis, Instituto Superior Técnico, Dec
2009.
Filipe Miguel Duarte Cristóvão, RTBScript: A HighLevel Language for Hybrid Domain Modeling using
Actors, MSc Thesis, Instituto Superior Técnico, Dec.
2009.
Diogo Monteiro Luzio Fonseca Paulo, FTPChunk sistema de transferência de ficheiros baseado em
chunks, MSc Thesis, Instituto Superior Técnico, Nov.
2009.
Silas Francisco, Anti-sibilling key distribution, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Filipe Ferreira, Arquitectura de Acessos: Uma Visão
Integrada de Controlo de Acessos, MSc Thesis,
Instituto Superior Técnico, Nov 2009.
Daniel Almeida, Assinatura Eletrónica Qualificada,
MSc Thesis, Instituto Superior Técnico, Nov. 2009.
Hugo Rito, ATOM: Automatic Transaction-Oriented
Memorization, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
André Negrão, VFC large-scale: consistência de dados em redes de grande escala, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
Luis Pina, Atomic Dynamic Software Upgrades
Using Software Transactional Memories, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Filipe Fonseca, A Parallel Execution Approach for
Efficient Regression testing in the Outsystems
Test Infrastructure, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Oksana Denysyuk, Cache Coherence in Distributed
and Replicated Transactional Memory Systems,
MSc Thesis, Instituto Superior Técnico, Nov. 2009.
Pedro Miguel da Conceição Lopes Gregório, A
Server for Wireless Distributed Web-based
Communication System for Intelligent Forest Fire
Combat Strategies, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
João Tiago de Jesus Elias Ferreira, A-OSGi: A framework to support the construction of autonomic
OSGi-based applications, MSc Thesis, Universidade
Técnica de Lisboa, Nov. 2009.
Diogo José Simões, Cockpit Design: Uma Nova
Interface para Voar, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Ricardo Filipe Sentieiro Farinha, Communication
Management System for Home Automation, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
João Pereira Nunes, Configuration of Home
Automation Systems, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Hugo Filipe Neves Santos, Adaptation techniques
for IPTV contents, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Stoyan Garbatov, Data Access Pattern Analysis and
Prediction for Object-Oriented Applications, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Ivanildo Gomes, ADC de Baixo Consumo para
Próteses Visuais, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
José Miguel Alfaiate Pereira, Domotic Gateway with
Messaging Service, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Pedro Francisco Revez Abrantes, Advertising sobre
IMS e sistemas IPTV, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Gonçalo Fernandes Simões, e-txt2db: From unstructured to structured data, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
Pedro Gonçalo Brites de Jesus, Amplificador de
Baixo Ruído para UWB, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
Mário André Laranjeira Dourado, Em que filmes participou a actriz Scarlett Johansson?, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
Carlos Manuel Boura Sampaio, Análise do Pior Caso
da Dissipação de Energia em Circuitos Integrados,
MSc Thesis, Instituto Superior Técnico, Nov. 2009.
David Martins, Error Detection in Pedigrees Using
Satisfiability-Based Approaches, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
85
Daniel Gomes, Federação de identidades, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Filipe Macedo, Gestão de risco operacional com
COBIT, MSc Thesis, Instituto Superior Técnico, Nov
2009.
João Manuel Rebelo da Cruz Morais, Ginger-Video3D - Adaptação de uma ferramenta de rendering
gráfico/codificação vídeo para execução paralela
em sistema peer-to-peer de partilha de ciclos, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Sérgio Esteves, GridP2P - Utilização de Recursos
em GRIDS e P2P, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Ricardo Soeiro, HIE: A standards-based distributed Healthcare Integration Engine, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
Nuno Amarante, Implementação COBIT com IT
Scorecard, MSc Thesis, Instituto Superior Técnico,
Nov. 2009.
Gesner Passos, Integrated Sytem for Automation
of Anaesthesia, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
João Sobral Gonçalves, Integrating Organizational
Design and Architecture: A Case Study, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
Ivo Anjo, JaSPEx: Speculative Parallelization on
the Java Platform, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Pedro da Silva Dias Rodrigues, Mecanismos de incentivos em redes peer-to-peer, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
Ricardo Mendes, MKiosk: Mobile Kiosk para turistas, MSc Thesis, Instituto Superior Técnico, Nov.
2009.
Hugo Miguel Meireles Teixeira, MobileTrails:
Aplicação Móvel com Localização Geográfica, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
Ricardo Dias, MuVis: Localização e Visualização de
Músicas, MSc Thesis, Instituto Superior Técnico,
Nov. 2009.
86
Francisco Costa, NS-Tree: Estrutura de indexação
multidimensional, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
Sofia Alexandra Quitério Flores, Optimização
de Instalação de Pacotes em Linux Focada no
Utilizador, MSc Thesis, Instituto Superior Técnico,
Nov. 2009.
Tiago Domingues, Oscillator System for ADCs, MSc
Thesis, Instituto Superior Técnico, Nov 2009.
Paula Alexandra Baptista da Silva Fonseca, Porque
sorri a Mona Lisa?, MSc Thesis, Instituto Superior
Técnico, Nov. 2009.
João Manuel Pinto Peixoto, Presença: Aplicações
Conscientes do Contexto, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
António de Melo Franco Bebiano Correia, Previsão
de séries temporais com redes neuronais, MSc
Thesis, Instituto Superior Técnico, Nov. 2009.
David Martinho, ProcessPedia - An Organizational
Blackboard for Business Processes, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
João Sacramento, Progressive retrieval on hierarchical associative memories, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
João Pedro Videira Bastos, Prontuário Terapêutico,
MSc Thesis, Instituto Superior Técnico, Nov. 2009.
João
Pedro
Carlos
Gomes
da
Silva,
Qa+ml@wikipedia&google, MSc Thesis, Instituto
Superior Técnico, Nov. 2009.
André Filipe da Silva Veríssimo, Servidor de
Multimédia Baseado em Conteúdo para Artistas,
MSc Thesis, Instituto Superior Técnico, Nov 2009.
Paulo Gonçalves Pimentel, Sincronização de Trama
e Despreading num Receptor DS-UWB, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
Filipa Tavares Duarte Ramos, Uma nova técnica rápida para o reconhecimento de padrões invariantes,
MSc Thesis, Instituto Superior Técnico, Nov. 2009.
Wang Lin, Workflow Control for Distributed Natural
Language Processing Applications, MSc Thesis,
Instituto Superior Técnico, Nov. 2009.
Nuno Tomás, StoryTags, MSc Thesis, Instituto
Superior Técnico, Oct. 2009.
João Pedro Tomas Martins, AccessibleTouch, MSc
Thesis, Instituto Superior Técnico, Oct 2009.
Francisco José Cabral Cardoso, A MDE Approach for
the Development of CMS-based Web Applications,
MSc Thesis, Instituto Superior Técnico, Sep. 2009.
Pedro Miguel Alvito Fernandes da Silva, Adaptive
OFDM Communication System, MSc Thesis,
Instituto Superior Técnico, Oct 2009.
Pedro Miguel Carvalho Pinto, A Software Framework
for Enterprise Architecture Modelling, MSc Thesis,
Instituto Superior Técnico, Sep. 2009.
Francisco Albuquerque de Castro, Auditoria da qualidade de dados da base de dados de uma entidade
marítima, MSc Thesis, Instituto Superior Técnico,
Oct. 2009.
Pedro Ribeiro Braga, Andar de Amplificação do Tipo
Classe D para Áudio Alimentado até 4,3 V, MSc
Thesis, Instituto Superior Técnico, Sep. 2009.
Gabriel César Ferreira Pestana, Blaze – Automating
User Interaction in Graphical User Interfaces, MSc
Thesis, Instituto Superior Técnico, Oct. 2009.
André Dioniso Falcão, Controlo Adaptativo DOA,
MSc Thesis, Instituto Superior Técnico, Oct. 2009.
Carlos Filipe Lopes Torrão, FT-OSGi: Fault-Tolerance
extensions for the OSGi Service Platform, MSc
Thesis, Instituto Superior Técnico, Oct 2009.
João Pedro Vieira Guerreiro, GeniousPhone - A
personal companion for everyday situations, MSc
Thesis, Instituto Superior Técnico, Oct 2009.
Hugo Rocha, O alinhamento do negócio com a tecnologia: O estudo de um caso real, MSc Thesis,
Instituto Superior Técnico, Oct. 2009.
Alexandre Domingues, Optimization and control for
metabolic networks, MSc Thesis, Instituto Superior
Técnico, Oct. 2009.
Miguel da Silva Ferreira Neiva Vieira, RadioPortal
– Portal Público para uma Estaçãode Radio, MSc
Thesis, Instituto Superior Técnico, Oct. 2009.
Tiago Carvalho Correia, Band Gap, MSc Thesis,
Instituto Superior Técnico, Sep. 2009.
João Miguel Martins Carlota, Bolsa de Objectos
Digitais 2.0, MSc Thesis, Instituto Superior Técnico,
Sep. 2009.
Maria Couceiro, Cache Coherence in Distributed and
Replicated Transactional Memory Systems, MSc
Thesis, Instituto Superior Técnico, Sep. 2009.
Rui Martins, Children Voices Detection, MSc Thesis,
Instituto Superior Técnico, Sep. 2009.
Eurico José Teodoro Doirado, DogMate: Intent
Recognition through Anticipation, MSc Thesis,
Instituto Superior Técnico, Sep. 2009.
José Pedro da Silva Aguiar Proença, High Eifciency
DC-DC Converter, MSc Thesis, Instituto Superior
Técnico, Sep. 2009.
David João Ferreira Nascimento, High Voltage DC-DC
Converter, MSc Thesis, Instituto Superior Técnico,
Sep 2009.
Carlos João Oliveira Moreira, Integrated DC-DC
Digital Control Design, MSc Thesis, Instituto
Superior Técnico, Sep. 2009.
Gonçalo Filipe Santos Cabral, Sistema de
Comunicação com OFDM para Comunicação na Rede
de Energia, MSc Thesis, Instituto Superior Técnico,
Oct. 2009.
Nuno Miguel Salvado Amador, MetaCluster, MSc
Thesis, Instituto Superior Técnico, Sep. 2009.
Ricardo Castanheira Pereira, Sistemas de
Informação Geográfica para gestão de cadastro,
MSc Thesis, Instituto Superior Técnico, Oct. 2009.
Pedro Maya Reis Pinto, Portal de Interacções de
Serviços, MSc Thesis, Instituto Superior Técnico,
Sep. 2009.
87
Nelson Manuel Eduardo Veríssimo, Prospecção de
logs de um motor de busca, MSc Thesis, Instituto
Superior Técnico, Sep. 2009.
João Samuel Nunes Lopes, SaaS (Software as a
Service) - Modelos e Infra-estrutura, MSc Thesis,
Instituto Superior Técnico, Sep. 2009.
Ângela Pisco, Simultaneous estimation of states
and parametersin metabolic networks, MSc Thesis,
Instituto Superior Técnico, Sep 2009.
Ivo Miguel da Quinta Anastácio, Sistema de suporte
à publicação de anúncios na Web com base em contextos geográficos, MSc Thesis, Instituto Superior
Técnico, Sep. 2009.
Carlos Mendes, Redução de custos com informática,
MSc Thesis, Instituto Superior Técnico, Jul. 2009.
Pedro Arez, Speaking with Google Calendar, MSc
Thesis, Instituto Superior Técnico, Jul. 2009.
Diogo Miguel da Costa e Castro Mónica de Oliveira,
Thwarting the Sybil Attack in Wireless Ad Hoc
Networks, MSc Thesis, Instituto Superior Técnico,
Jul. 2009.
Pedro Oliveira, Valor das implementações ITIL, MSc
Thesis, Instituto Superior Técnico, Jul. 2009.
Hélio Jorge Silva Guerra, Test Strategy for Digital
Control/Power Switches, MSc Thesis, Instituto
Superior Técnico, Sep. 2009.
João Domingues, Arquitectura SIP IPTV para Redes
Heterogéneas. Arquitectura de Cliente, MSc Thesis,
Instituto Superior Técnico, Jun. 2009.
Gonçalo Filipe Nunes Lopes, Type-aware XML
Duplicate Detection, MSc Thesis, Instituto Superior
Técnico, Sep. 2009.
Henrique Ribeiro Vasconcelos Costa, Multiprocessor
Platforms for Natural Language Processing, MSc
Thesis, Instituto Superior Técnico, Jun. 2009.
João Miguel Rodrigues da Cunha Guimarães,
CLEFOMANIA 2, MSc Thesis, Instituto Superior
Técnico, Jul. 2009.
João Delgado, Pseudo-Boolean Approaches to
Comparative Genomics, MSc Thesis, Instituto
Superior Técnico, Jun. 2009.
Hugo Oliveira, Estratégia de sistemas de informação, MSc Thesis, Instituto Superior Técnico, Jul
2009.
Leandro Meneses, SIP Based IPTV Architecture for
Heterogeneous Networks. Server Architecture,
MSc Thesis, Instituto Superior Técnico, Jun. 2009.
António Isidro Teófilo, Fluxos de Trabalho
Interorganizacionais Descritos de Forma Global e
Comum: A Linguagem CBPEL, MSc Thesis, Instituto
Superior Técnico, Jul. 2009.
Francisco Chaves, O Telemóvel como Bilhete
Electrónico, MSc Thesis, Instituto Superior Técnico,
May 2009.
João Campos, Gestão da procura na informática,
MSc Thesis, Instituto Superior Técnico, Jul 2009.
André Lino, Implementação ITIL com LEAN, MSc
Thesis, Instituto Superior Técnico, Jul 2009.
Valter António Louzeiro Sádio, Programmable
Charge Pump, MSc Thesis, Instituto Superior
Técnico, Jul. 2009.
Soraia Figueiredo, Questões sociais na implementação ITIL, MSc Thesis, Instituto Superior Técnico,
Jul. 2009.
88
Luís Carlos dos Santos Marujo, REAP.PT, MSc Thesis,
Instituto Superior Técnico, Jul. 2009.
Cristovão Tavares Honorato, Bizantium - Replicação
Bizantina de Bases de Dados, MSc Thesis, Instituto
Superior Técnico, May 2009.
Hernâni António das Neves Cruz Fernandes,
Implementation of a Home Automation Prototype,
MSc Thesis, Instituto Superior Técnico, May 2009.
Samuel José Raposo Vieira Mira, LudoPor: Jogos
Educativos de Português, MSc Thesis, Instituto
Superior Técnico, May 2009.
Pedro Lopes Teixeira, Magoo2: Explorador de
Ficheiros, MSc Thesis, Instituto Superior Técnico,
May 2009.
João Carneiro, Monitorização ambiental em parques
eólicos, MSc Thesis, Instituto Superior Técnico, May
2009.
Rudi Araújo, Semantic Similarity for Description
Logics, MSc Thesis, Instituto Superior Técnico, Jan.
2009.
Erik Snelling, On-Chip RF Oscillators for Ultra High
Speed Analog-to-Digital Converters, MSc Thesis,
Instituto Superior Técnico, May 2009.
Vasco Miguel Bexiga António, Sistema de
Comunicação para o Sistema PET Mamografia, MSc
Thesis, Instituto Superior Técnico, Jan 2009.
Samuel Francisco Mascarenhas, Orient 2 - Um Jogo
de Exclusão Social, MSc Thesis, Instituto Superior
Técnico, May 2009.
Joana Eusébio Dionísio, Using Variable VDD for
Delay Fault Detection or Tolerance in Digital CMOS
Systems, MSc Thesis, Instituto Superior Técnico,
Jan. 2009.
Samuel Ma, Personality and Group Dynamics in
Believable Multi-Agent Systems, MSc Thesis,
Instituto Superior Técnico, May 2009.
José Bernardo Guimarães Rocha, Wii eMotions, MSc
Thesis, Instituto Superior Técnico, May 2009.
Rodrigo Castelo, Value-based Pricing and Licensing
Models, MSc Thesis, Instituto Superior Técnico, Jan.
2009.
António João Martins Leonardo, Dynamic Story
Shadows and Sounds, MSc Thesis, Instituto Superior
Técnico, Apr. 2009.
André Loureiro da Costa, Framework ION, MSc
Thesis, Instituto Superior Técnico, Mar. 2009.
José Duarte Pereira Gonçalves, Reconfigurable
Flight Control using Model Predictive Control, MSc
Thesis, Instituto Superior Técnico, Mar. 2009.
Ricardo Abreu Lopes, ReCCO: Recuperação e criação
de Comics Online, MSc Thesis, Instituto Superior
Técnico, Feb. 2009.
Carlos Ferreira, Análise de Risco de Ontologias em
Processos de Construção Centralizada, MSc Thesis,
Instituto Superior Técnico, Jan. 2009.
João Gonçalves Paiva, BackupChunk - sistema de
backup baseado em chunks, MSc Thesis, Instituto
Superior Técnico, Jan. 2009.
Ricardo Miguel Matos Vieira, Fast Associative
Memory, MSc Thesis, Instituto Superior Técnico, Jan.
2009.
Pedro Miguel dos Santos Pereira Machado,
High Performance Communication for the PET
Mammography System Based on the PCI and SLINK Protocols, MSc Thesis, Instituto Superior
Técnico, Jan. 2009.
89
6.3 Seminars
11-Dec-2009
Fast Kullback-Leibler Optimization
Algorithm: Software Library Implementation
Eugéne Suter, Universidade de Évora
10-Dec-2009
A Physiological model for human patients
subject to anesthesia
Tiago Jorge, INESC-ID
09-Dec-2009
O Arquivo da Web Portuguesa
Daniel Coelho Gomes, FCCN
09-Dec-2009
H.264 video encoding tools and the development of efficient hardware architectures
Vagner Rosa, Universidade Federal do Rio
Grande do Sul
04-Dec-2009
Management and analysis of heterogeneous
biological data: how the web can help
Ana T. Freitas, INESC-ID
26-Nov-2009
A View On Adaptive and Dependable
Distributed Systems
Raimundo Macêdo, Universidade Federal da
Bahia (UFBA)
23-Nov-2009
BICS-Based March Test for Resistive-Open
Defects Detection in SRAM
20-Nov-2009
Optimization and Control for Metabolic
Networks
Alexandre Domingues, Inesc-ID
17-Nov-2009
A Residue Approach to the Finite Field
Arithmetics
Jean-Claude Bajard, Université Pierre et Marie
Curie
11-Nov-2009
Security: Enabling the Reliability of IP
Telephony
Dr. François Cosquer CTO, Security and
Technology Strategy, Alcatel-Lucent
Enterprise Business
04-Nov-2009
High-Voltage-Enabled Analog/RF Circuit
Techniques for Nanoscale CMOS
Pui-In (Elvis) Mak, University of Macao - Macao,
China
03-Nov-2009
Power and Delay Comparison of Binary and
Quaternary Arithmetic Circuits
Cristiano Lazzari, Inesc-ID
23-Oct-2009
Hacking life: how to build a new life form in
your computer
Arlindo L. Oliveira, INESC-ID
15-Oct-2009
Solving Implicit Problems and Using Cyclic
Graphs for Graphics
Brian Wyvill, University of Victoria
13-Oct-2009
SMART-System - Metadata-based Sports
Video Database, its Development and
Experience
Chikara Miyaji, Japan Institute of Sports
Sciences
09-Oct-2009
Preparing a cyanobacterial chassis for H2 production: a synthetic biology approach
Catarina Pacheco, Institute for Molecular and
Cell Biology (IBMC)
06-Oct-2009
Power Macro-Modelling using an Iterative LSSVM Method
J. Monteiro, INESC-ID
29-Sep-2009
Observability-based Coverage-directed Path
Search using Pseudo-Boolean Optimization
J. Monteiro, INESC-ID Lisboa
90
29-Sep-2009
Neurodynamic Optimization with Its
Application for Model Predictive Control
Jun Wang, Chinese University of Hong-Kong
25-Sep-2009
Apt-pbo: Solving the Software Dependency
Problem using Pseudo-Boolean Optimization
Paulo Trezentos, ISCTE
10-Sep-2009
Next-generation sequencing (for dummies)
Paulo Fonseca, INESC-ID
30-Jun-2009
Data Parallel Acceleration of Decision
Support Queries Using Cell/BE and GPUs
29-Jun-2009
Transaction Activation Scheduling Support
for Transactional Memory
Gilles Muller, INRIA
25-Jun-2009
Language Technologies and CALL
Maxine Eskenazi, Carnegie-Mellon
28-Jul-2009
Dynamic Programming Optimization of Multirate Multicast Video -Streaming Services
Nestor Michael C. Tiglao, INESC-ID
22-Jun-2009
Test of NoCs and NoC-based Systems-on-chip
Érika Fernandes Cota, Universidade Federal do
Rio Grande do Sul
27-Jul-2009
In Search of Shapes
Karthik Ramani, Purdue University, USA
19-Jun-2009
What can we do with a multitude of genome
sequences?
Martin Tompa, University of Washington
24-Jul-2009
Single nucleotide polymorphisms characterization in a Portuguese Caucasian breast cancer and control population
Bruno Costa Gomes, Departamento de
Genética / FCM / UNL
21-Jul-2009
ARMS - Automatic Residue-Minimization
based Sampling for Multi-Point Modeling
Techniques
Jorge F. Villena, Inesc-ID
20-Jul-2009
Toward Energy-efficient Computing
David Brown, Sun Microsystems Inc.
17-Jul-2009
Taking the Turn — Or Not: Turn Management
in Spoken Dialogue Systems
Julia Hirschberg, Columbia University
17-Jul-2009
CSI: are Mendel’s data too good to be true?
Ana Pires, Instituto Superior Técnico
05-Jun-2009
Speech Synthesis: past, present and future
and how it mirrors speech processing development in general
Alan W Black, Carnegie-Mellon
02-Jun-2009
Introdução ao C++ numa hora ... para quem já
sabe C
Luís Guerra e Silva, IST DEI
25-May-2009
Information Extraction: Knowledge Discovery
from Text
Ralph Grishman, New York University
21-May-2009
Modeling and control of microflow sensors
based on temperature measurement
Milan Adamek, Universidade Tomas Bata - Zlin
- Seminário
15-May-2009
DFY/DFM - design for yield and manufacturability
Prof. Hans Zapf, University of Applied Sciences
91
13-May-2009
Semantic web applications to variable discovery in the life sciences: a cloudy future?
Jonas S. Almeida, University of Texas
M.D.Anderson Cancer Center
08-May-2009
Model checking in systems biology: an introduction
Pedro T. Monteiro, INRIA Rhône-Alpes
30-Apr-2009
Minimal Perfect Hashing: A Competitive
Method for Indexing Internal Memory
Guilherme Menezes, Universidade Federal de
Minas Gerais
24-Apr-2009
DNA Sequence Alignment - A brief overview
on computational algorithms and architectures
Nuno Sebastião, Inesc-ID
23-Apr-2009
Scoring functions for learning Bayesian networks
Alexandra M. Carvalho, INESC-ID
17-Apr-2009
Social Computing in Education
Irwin King, Chinese University of Hong-Kong
16-Apr-2009
O rio da minha aldeia: from Recife to Lyon and
Lisbon
Paulo G. S. da Fonseca, INESC-ID Lisboa
15-Apr-2009
Probabilistic retrieval and visualization of
biologically relevant microarray experiments
José Caldas, Helsinki University of Technology
08-Apr-2009
On the Efficient Reduction of Complete EM
based Parametric Models
Jorge F. Villena, Inesc-ID
08-Apr-2009
A MILP-based Approach to Path Sensitization
of Embedded Software
José Carlos Campos Costa, INESC-ID Lisboa
92
07-Apr-2009
Beyond Edman Degradation: Algorithmic
De novo Protein Sequencing of Monoclonal
Antibodies
Nuno Bandeira, University of California, San
Diego
13-Mar-2009
Elementos para um estudo comparativo da
tipologia rítmica do Português
Plínio A. Barbosa, Instituto de Estudos da
Linguagem/Unicamp
06-Mar-2009
Parameter Tuning in SVM-Based Power
Macro-Modeling
António Gusmão, Inesc-ID
20-Feb-2009
Programming Distributed Systems: an
Introduction to MPI
J. Monteiro, INESC-ID Lisboa
29-Jan-2009
Estimating Local Ancestry in Admixed
Populations
Eran Halperin, International Computer Science
Institute (ICSI)
23-Jan-2009
Programming Multicores
J. Monteiro, INESC-ID Lisboa
21-Jan-2009
Challenges in the Application of Quantum
Mechanics to Biomolecular Problems
Ricardo Mata, Faculdade de Ciências da
Universidade de Lisboa
16-Jan-2009
Modelling HIV-1 Evolution under Drug
Selective Pressure
Anne-Mieke Vandamme, Katholieke
Universiteit Leuven