2008 annual report - ALGOS Group - INESC-ID

Transcrição

2008 annual report - ALGOS Group - INESC-ID
2008
ANNUAL
REPORT
2008
ANNUAL
REPORT
INDEX
01
INTRODUCTION
02
GENERAL INFORMATION
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
03
6
Institutional Information ...................................................................................................................................
7
General Description of INESC-ID ...................................................................................................................
7
Main Institutional Objectives ...........................................................................................................................
8
INESC-ID as an Associate Laboratory ......................................................................................................... 8
Funding Agencies ..............................................................................................................................................
9
Human Resources .............................................................................................................................................
9
Management Structure ..................................................................................................................................... 10
Research Units .................................................................................................................................................... 13
14
15
16
18
18
19
HIGHLIGHTS ...............................................................................................................................
20
IDeA .........................................................................................................................................................................
VIDI-Video .............................................................................................................................................................
STOP-Fire ............................................................................................................................................................
CleanDrive .............................................................................................................................................................
ICONS .....................................................................................................................................................................
21
22
23
25
26
DETAILED ACTIVITIES REPORT .................................................................................................................
28
5.1
5.2
5.3
5.4
5.5
06
4
Main Results ........................................................................................................................................................
Special events and Opportunities ................................................................................................................
Prizes and International Recognition .............................................................................................................
Visibility and External Image of the Institution .............................................................................................
Cooperation and Mobility ..................................................................................................................................
4.1
4.2
4.3
4.4
4.5
05
............................................................................................................................
SUMMARY OF 2007 ACTIVITIES ................................................................................................................
3.1
3.2
3.3
3.4
3.5
04
....................................................................................................................................................
Spoken Language Systems .............................................................................................................................
Information and Decision Support Systems .................................................................................................
Interactive Virtual Environments .....................................................................................................................
Embedded Electronic Systems .......................................................................................................................
Communication Networks and Mobility ......................................................................................................
ANNEXES
6.1
6.2
.....................................................................................................................................................................
29
32
35
39
42
44
Research Projects ............................................................................................................................................... 45
Publications ........................................................................................................................................................... 61
01
INTRODUCTION
INESC-ID was created in 2000, as a result of the reorganization of the R&D activities of INESC
in Lisbon, and was awarded the status of Associate Laboratory (Laboratório Associado) in December
2004. The new institution was able to reach a compromise between the conflicting objectives of high
impact, long term research and more immediate, but equally important, technology transfer projects.
These two types of activities are crucial for an institution like INESC-ID that aims at creating value for
the country by developing new technologies.
INESC-ID now stands and is viewed as one of the most dynamic research institutes in Portugal in the areas of electronics, information systems, and telecommunications. In close cooperation with its partners,
INESC-ID has emerged as an institution of reference, intensely involved in a number of high visibility
projects that define the state of the art in these areas, both at national and international levels.
This report summarizes the main technical activities developed in 2008. In this year, INESC-ID continued to increase the quality and quantity of its research, while also paying renewed attention to technology transfer and creation of new ways to generate value.
This strategy for innovation continued to obtain visible results, as 2008 saw a significant increase in the
number of indicators that are very important. In particular, INESC-ID was successful in obtaining a large
number of FP7 contracts, being the most sucessful institution, for its size, in the ICT area. INESC-ID
has also continued to improve a number of other scientific indicators, such as publications and finished
dissertations.
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. A
listing of the most significant research projects undertaken in 2008 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 and dissertations, included as annexes to the main document.
5
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, certified as of public interest as of
27/09/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 90 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 1700 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 INESC-ID as an Associate Laboratory
In the fourth year of the contract of Associate Laboratory (2005-2009) INESC-ID has admitted
two new full-time PhD researchers, in the following thematic areas: Information and Decision
Support Systems and Spoken Language Systems. It is expected that these young researchers
will reinforce these research areas and develop new multidisciplinary topics of research.
8
2.5 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.
2.6 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
16
PhD Degree
71
MSc Degree
55
1st Degree
60
Undergraduate Students
25
High School
6
Total
233
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.
In terms of gender and age, INESC-ID has a high percentage of 85% male researchers against
15% of female researchers.
In terms of age, we can state that the total of human resources is mostly composed by young
researchers. INESC-ID highly promotes the integration of young researchers in the institution,
either by a full time collaboration or by supporting with advising the early stages of the researchers career.
9
2.7 Management Structure
INESC-ID is structured according to the organization chart shown below. Current management
of the organization is ensured by the Board of Directors, assisted by the Project Support Office
(GAP), the Human Resources Office (GARH), and other administrative support units, which
provide services sub-contracted to INESC (holding) or to INOV: Financial Control Department
(DFA), Budget Control Department (DAF), Legal Support, Infrastructures Department (DGI),
and Computer Network Support.
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
2.7.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.
In 2008 the Board, was composed of Prof. Arlindo Oliveira (Chairman), Prof. Luís Caldas de
Oliveira, and Prof. José Carlos Monteiro.
2.7.2
10
General Council
The General Council is constituted 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 2008 the General
Council was composed by Prof. Carlos Matos Ferreira, Prof. Afonso Barbosa, Prof. Pedro Girão,
Prof. José Tribolet, Dr. Abílio Ançã Henriques and Prof. João Miranda Lemos.
2.7.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 2007 the Fiscal Council was composed by
Hermínio Ribeiro, Dr. João Catarino and Dr. Vitor Franco.
2.7.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.7.5
Board of the Scientific Council
The Scientific Council has a managing board composed of a chairman and two other members.
In 2008 the Board of the Scientific Council was composed by Prof. João Cardoso, Prof. Inês
Lynce, and Prof. João Miranda Lemos (chairman).
2.7.6
Scientific Council Coordinating Committee
The Coordinating Commitee is composed of the Board of the Scientific Council and representatives of the thematic areas.
2.7.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.7.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.
2.7.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.7.10 Administrative Support
The Administrative Support is provided by five secretaries that support the researchers of the
different R&D groups.
11
2.7.11 Financial Control Department
The Financial Control Department (DFA – Departamento Financeiro e Administrativo) is in charge
of all the accounting and finance matters.
2.7.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.7.13 Legal Support Department
The Legal Support Department gives advice on all the legal matters concerning INESC-ID.
2.7.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.7.15 Network Support Department
The Network Support Department is responsible for the maintenance of the computer network
and servers.
12
2.8 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 2008:
Spoken Language Systems:
coordinator Prof. Nuno Mamede
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. Vasco Manquinho
Knowledge Discovery and Bioinformatics – Profª Ana Teresa Freitas
Distributed Systems – Prof. Paulo Ferreira
Software Engineering – Prof. João Cachopo
Information Systems – Prof. José Borbinha
Data Management and Information Retrieval – Prof. Helena Galhardas
Interactive Virtual Environments:
coordinator Prof. Rui Prada
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. Manuel de Medeiros Silva
Control of Dynamic Systems – Prof. João Miranda Lemos
Signal Processing Systems – Prof. Moisés Piedade
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. Serafim Nunes
Individual groups do not exist within this research unit.
13
03
SUMMARY
OF 2007
ACTIVITIES
In 2008 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.
Main Results
The following set of tables summarizes the activities carried out in 2008 and the results achieved.
Projects
Table II – Projects
Type of Project
Number
International Programs
19
National Programs
47
Contracts with companies
14
Other
Total
6
86
Publications
Table III – Publications
Publication Type
Number
Books
4
International Journals
48
National Journals
2
Serials
23
Edited Books
2
Book Chapters
20
International Conferences
174
National Conferences
27
Patents
2
Technical Reports
30
Special Issues of Journals (editor)
2
Conference Proceedings
Total
3
337
15
Dissertations
Table IV – Thesis
Type
Ongoing
Completed
Total
PhD Theses
122
19
141
MSc Theses
211
121
332
Graduation Theses
Total
36
369
3
143
39
512
Organization of Scientific Events
Table V – Organization of Scientific Events
International
Type of Action
Number
Associate Editor of Journal
2
Committee Chair
9
Committee Member
85
Editor in Chief
1
General Chair
1
Invited Speaker
3
Reviewer
51
3.2 Special events and Opportunities
During 2008 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.
16
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.
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 2008. Senior
Researchers met in Alcochete to discuss
issues related with the strategic development of the institution, with special emphasis on the organization and general
funding for R&D institutions.
A presentation about the opportunities for
ICT areas in the project ITER and an institutional presentation of INESC-ID were
the subjects of the morning meetings,
with the presence of the invited speaker
Prof. Carlos Varandas, Chairman of the
ITER Consortium and of the Instituto de
Plasmas e Fusão Nuclear.
The afternoon was dedicated to the preparation of the external evaluation of INESC-ID. A
brainstorming sessions about this evaluation involved all the senior researchers, and included
an evaluation of the institutional report that was sent.
3.2.4 Admission of New 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, two were admitted during 2008, and are now full members of the
research staff: Josep Roma and Thomas Pellegrini.
3.2.5 Programa Ciência 2007
As part of the government’s Commitment to Science,
the Fundação para a Ciência e a Tecnologia (FCT)
opened a call for proposals of contracts with institutions in the national science and technology system
with the aim of sponsoring the entry of doctoral degree holders into the science and technology system.
In 2008, FCT awarded INESC-ID a second set of positions for a period of up to five years. Two
researchers were admitted in the context of this program: Albert Abad and Miguel Martins.
17
3.2.6 Internal Assessement and Evaluation
The activities developed in 2006-2007 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.
3.3 Prizes and International Recognition
§
INESC-ID researchers were awarded the following prizes recognizing the excellence of the R&D
activities developed:
§ João Miranda Lemos and Bertinho Costa received the Best Industrial Paper Award at the
8th Portuguese Conference on Automatic Control, for their paper “Temperature Control of a
solar furnace for material testing”;
§ Paolo Romano and a group of researchers from the University of Rome received the Best Paper
Award at the 7th IEEE International Symposium on Network Computing and Applications,
for their paper “APART: Low Cost Active Replication for Multi-tier Acquisition Systems”;
§ Inês Lynce was awarded with the prize UTL/Deloitte Young Researcher Award that recognizes every year the young researcher with more high impact publications in the areas of
electronic engineering and computer engineering;
§ Arlindo Oliveira 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 (award UTL/Santander Totta).
3.4 Visibility and External Image of the Institution
In 2008 the effort to improve the external
image of the institution continued. INESCID 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 March 2008;
§ VIII JEEC – Jornadas de Engenharia
Electrotécnica e de Computadores, an
event organized by graduation students
of electronics and computer science
courses from Instituto Superior Técnico. INESC-ID received groups of external visitors to our research projects and
laboratories;
18
§ Ciência 2008 – 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 2008;
§ 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 November 2008;
§ Workshop about the portuguese participation in CODAC activities of ITER project, that was
organized by the Instituto de Plasmas
e Fusão Nuclear in November 2008;
§ Futurália, an event dedicated to education, training and employment. INESCID was represented in this high impact
event that occurred in December 2008,
with the research project iCat.
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 visit of researchers from the Centre National de Recherche Scientifique
(CNRS), in March 2008, or the visit of Bell Labs in June 2008.
3.5 Cooperation and Mobility
INESC-ID promotes cooperation with other institutes and universities, and also with foreign
students. In 2008 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.
Three 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 and Turkey students, teachers and researchers visited
institution campues at Alameda and Taguspark, learning methods and sharing research and
academic experiences.
19
04
HIGHLIGHTS
4.1 IDeA
The project IDEA aims at the development of an
Autonomous Integrated System for the Automation of Anesthesia. This will provide a computational platform for clinical testing, both in animal
and human patients, that will form a significant
step towards reliable automation of anaesthesia,
both from the technological and scientific standpoints.
The main expected scientific contributions derive from the development of an integrated unit for
automatic anesthesia incorporating novel nonlinear and adaptive control reliable algorithms suitable for clinical environment.
vided by the automatic system, thereby improving the quality of anesthesia while keeping the
cost low.
The objective of this project is the development
of an autonomous integrated system for the automation of anaesthesia that incorporates advanced
control algorithms able to tackle the specific challenges of anesthesia. The system consists of a
multiprocessor unit that can be connected to
standard anesthesia sensors and actuators (perfusion syringes) and comprises two blocks.
Due to the ethical restrictions inherent to the experimentation on human patients, the test of the
final system will be mainly performed on animals
subject to anesthesia, although testing on human
patients will also be considered.
Automatic Control of Anaesthesia. In the last 10
years major efforts have been made in the development of new tools to monitor the brain activity
for evaluating the depth of anesthesia. The introduction of the Bispectral index from the electroencephalogram (BIS) or the entropy measure (EM)
for measuring the degree of unconsciousness are
examples of such improvements. These parameters complement the use of autonomic responses
which used alone do not adequately reflect the
level of consciousness and may lead to decisions
that increase the risk of anesthesia. The existence
of adequate monitors (sensors) like BIS and EM
and actuators allows the automation of anesthesia, motivated by the following issues:
• The anesthetist is relieved from repetitive tasks
and has more capacity to concentrate on patient supervision and on the decisions requiring
expert reasoning capabilities;
• Automation follows more systematic procedures, ensuring a tighter tracking of the target
values of the physiological variables to regulate, together with a reduction of the quantity of
drugs administered;
• In animal surgery, where for economic reasons
the surgeon many times has to play the double
role of anesthetist, an important aid will be pro-
Sensor and Control Technologies. One of the
blocks performs the functions associated to control and comprises control algorithms embedded
in a Digital Signal Processor that decides the dose
of drugs to administer such that the physiological
variables of the patient to control are close to the
desired target values. The variables to control are
21
the neuromuscular blockade (NB) and the depth
of anaesthesia (DoA) levels. Emphasis will be
placed on using the entropy measure of the EEG
to evaluate the DoA and insert it a feedback loop.
The other major block consists of a supervisor,
performing the functions of a Fault Detection
Monitor (FDM). This block verifies the correctness
of the actions undertaken by the controller block,
while being able to include the adequate high level of information on the patient’s state to the practitioner provided by software developed in other
projects. In particular, the FDM will detect malfunctions of sensors and actuators (e. g. blocking,
occurrence of outliers or unexpected behaviour),
oscillatory and other poor performance behaviour
of the feedback loop.
Multidisciplinary Team. In order to achieve the
objectives, a multidisciplinary working team has
been organized comprising experts from Control and Automation (INESC-ID, FCUP), Human
Anesthesia (HGSA), Animal Anesthesia (UTAD),
Mathematical Modeling of Anesthesia (FCUP) and
Computer Architectures and Electronic Systems
(INESC-ID). Most of the members from these
teams have a significant past experience of collaborative research on Monitoring and Control for
Anesthesia.
4.2 VIDI-Video
Video is vital to society and economy. It plays a
key role in the information distribution and access
and it will soon be the natural form of communication for the Internet and mobile phones. Current search engines, however, all rely on keywordbased access leaving semantic access to the
data to research.
The VIDI-Video project aims to integrate state of
the art components from machine learning, audio
detection, video processing, interaction and visualization into a fully implemented audio-visual
search engine.
The project will substantially enhance access to
video, by developing a semantic search engine.
The project will boost the performance of video
search by developing a thesaurus for automatically detecting instances of semantic concepts in
the audio-visual content.
Main objectives of the project are:
22
• To build a large scale thesaurus well-spread
over the semantic clues;
• To design, adapt and evaluate methods to learn
large thesauri of detectors;
• To define and evaluate powerful sets of visual,
audio, and cross-modal features;
• To deliver interaction with the user;
• To evaluate the approach in video news, documentaries and video surveillance.
The following technologies are investigated in this
project:
• Video segmentation, shot representation, audio
segmentation, joint audio-video segmentation;
• Audio event detection, speech recognition;
• Visual analysis: types of motion, actions and
behaviour analysis, motion events recognition,
Object recognition;
• Machine learning methods: learning optimal
linear projections, fusion of multiple similarity
measures, kernel discriminant analysis using
spectral regressio, and inverse random under
sampling.
Highlights. This three-year project has just undergone the review of the second year. The highlights
for the second year were:
• Project team published thirteen papers in prestigious journals (e.g. IEEE Transactions on Pattern Analysis and Machine Intelligence, IEEE
Trans. Image Processing, IEEE Multimedia in
2008) and about 35 conference publications;
• The visual categorization system developed within the VidiVideo project (WP4-WP5)
achieved the highest performance in the PASCAL VOC 2008 object recognition task and the
TRECVID 2008 concept detection task;
• A novel video segmentation method for gradual
transition detection was developed and the
method significantly improved performance
over previous state of the art approaches;
• Audio speech versus non-speech classification
module has been retrained on augmented data
set, false detection error has been reduced significantly. The gender audio recognition system
has been improved with the addition of a new
class “child”;
• New baseline detectors for a wide range of audio
semantic concepts (nearly 50), including promising hierarchical clustering approaches, were
added. There are continuous improvements of
baseline European Portuguese speech recognition system. The significant improvement of
speech recognition system for the English language (the target language of the project) has
been achieved. The national TV station in Portugal (RTP) started using the Portuguese speech
recognition system for on-line subtitling of the
major news shows;
• A novel method for periodic motion detection
was developed. The visual categorization system was speeded up by employing generalpurpose GPU computing on consumer graphics cards;
• Four new machine learning methods directly
applicable to the automatic annotation problem
were developed;
Prototype. The first version of the prototype of the
VidiVideo final system was created for linux platforms. The first prototype was extensively tested
on 25 training videos, 27 testing videos. The second prototype with more efficient new modules incorporated was created. The thesaurus of detectors reached around 680 concepts (both for video
and audio), reaching two thirds of the number
expected by the end of the project. Three different query tools are currently under development:
the surveillance domain tool, the documentaries
domain tool, the news domain tool. Partner Netherlands B&G prepared both audio data and video
data to other partners. B&G also participated in
the design of the video annotation tool. The query
logs from B&G archives have been analyzed and
the most relevant concepts have been derived.
4.3 STOP-Fire
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.
Control forest fires. Nowadays, the decision
making process of fire fighting is centralized at the
National Service for Fire and Civil Protection. Location and characteristics of all available equipment
23
and human resources is supposedly well-known
in real-time. Also, all geographical, morphological
and meteorological needed information is available. However, it is a fact that the decision making
process and the real time management of such
a high, scattered and diverse number of factors
and variables, demands skills that are very often,
above human real time capabilities. By using intelligent computing techniques (automatic learning,
fuzzy systems, neuronal networks, evolutionary
systems and genetic algorithms, etc.), it is possible to integrate all available technological resources and develop a system that is able to help
fire combat and therefore mitigate the effects of
the calamity the forest fires have become.
Prototype. The prototype will be composed of
several modules: an intelligent graphical forest
fire propagation simulator; an expanded fuzzy
GIS (Geographic 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 provide good performance and
remote accessibility.
The project is currently being developed at the
Spoken Language Systems laboratory, L2F, at INESC-ID. Some cooperation contacts have been
established with the National Service for Fire and
Civil Protection. Computational Intelligence techniques (automatic learning, fuzzy systems, cellular automata, evolutionary systems and genetic
algorithms, etc.) are used both to predict forest
fire evolution and to elaborate contingency plans.
The use of these techniques allows coping with
the uncertainty, lack of complete information and
qualitative properties associated with forest fire
combat aid.
Through the use of a distributed wireless environment, local information is used to better predict
forest fire evolution and to disseminate information on a more efficient way that will improve personal safety in fire combat.
24
Currently there is a prototype of a distributed system consisting on:
• An application running on PDA/smart phone that
can be used on the field during the fire combat,
where firemen can receive real time information
regarding the fire (maps containing GIS info regarding their position; the present burning area;
a prediction of the evolution of the fire including possible danger zones; etc.), and where real
time local data can be collected, introduced
and sent to the centralized server(position, local
weather conditions like humidity or local wind
directions, real state of fire in visible locations,
real time position of fire fighting teams, etc.);
• A server where the distributed information is
collected and added to a GIS database containing the relevant information to the fire combat;
• There is also an application being developed
that models and simulates forest fire propagation using Dynamic Cognitive Map Cellular
Automata, where Rule Based Fuzzy Cognitive Maps are used to represent the evolution
of burning areas in Voronoi region based cells.
This application will be integrated on the server
and will be used as an essential tool in forest fire
combat aid;
• On project completion it is expected to have a
complete Intelligent Distributed System for Optimization of Forest Fire Combat Aid.
The project started in December of 2008, and is
still in full development.
4.4 CleanDrive
The CLEANDRIVE Project has the objective of
developing an innovative and educational driving
simulator that integrates the dynamic driving experience with real-time calculations for fuel consumption and pollutant emissions.
Pedagogical Tols. While focusing on promoting a
safe and environmental friendly driving behaviour
the simulator also allows the user to make contact
with new technologies such as alternative fuels
(biodiesel, ethanol, etc). In opposition to common
simulation games, CleanDrive adopts pedagogical
tools regarding the rules and the scoring method.
To achieve this purpose, CleanDrive estimates in
real time the pollutant emissions and the fuel consumption, depending on the driver behaviour; at
the same time, it accounts the driver’s traffic offences and it incorrect behaviour.
Realistic Interface. In order to guarantee a realistic visual interface it was developed real-time
rendering software tools and three-dimensional
physical models. In addiction a physical support
was built which includes not only the computer
equipment but also the sound and video systems
and a group of commands (steering wheel and the
pedals) which promotes a more natural and real
driving.
As an innovative driving simulator, CleanDrive has
social and educational objectives such as:
• Educational driving simulator that promotes
safe and environmental friendly behavior;
• Integration of eco-game philosophy with realtime rendering software tools and 3D physical
models;
• Real time calculation of the vehicle dynamics,
fuel consumption and pollutant emissions;
• Promotion of alternative fuels and new propulsion systems technologies.
The main features of the simulator are:
• Possibility to create urban and non-urban environments;
• Vehicles with realistic physics behavior;
• Fuel emission calculus in real time;
• Sensibilization about the importance of ecological driving;
• Possibility to drive in a 3D environment;
• “Real-life” Traffic Rules;
• Realistic Artificial Inteligence controls the behavior of other cars;
• Real time display of ‘Instant pollution’;
• At the end of the simulation is displayed the ‘total accumulated pollution’.
25
4.5 ICONS
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 an intracortical neuroprosthesis.
Microelectrode stimulation system. 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.
Biomedical applications have seen an intense research effort in the last few years. Due to its huge
complexity it is a multidisciplinary area where microelectronics plays an important role in the feasibility of most systems. Typical implantable stimulators for biomedical applications are in the area
of muscular or nerve stimulation, for heart, limbs
or hearing diseases. Some of these applications,
such as pacemakers, require very low power systems; it avoids the replacement of batteries, but its
action requires also almost no signal processing.
Biomedical implementations in the field of visual
rehabilitation are integrated in its early stages.
Besides the mechanical and optic mechanisms
associated with vision which are already fully
understood and can be corrected by surgery or
external lenses, other mechanisms like the image
processing that takes place from the retina down
to the visual cortex is still not well known. Recently, research results have been presented on
the stimulation of the visual cortex to improve the
quality of life of the blind or partially blind.
26
System architecture. In this project we address
an integrated microelectrode stimulator system
for a wireless intracortical neuroprosthesis, with
high bit rate (video). The system architecture is
divided in two parts: a primary system placed
outside the human body, where all the processing takes place, and a secondary system placed
inside the human head, to estimulate the visual
cortex through the electrode array.
Traditional solutions to interface the implant with
data and power use a wired link; however, it requires a large number of wires and an electrical
connector implanted in the body which, apart
from the discomfort, poses a serious risk of infection. With RF coupling, data and power can be
obtained directly from an RF low-coupling transformer discarding the need for batteries or wiring.
On the other hand, simultaneous bidirectional
communication allows driving, and also acquiring,
signals to, and from, the microelectrodes (it can
be neuronal signals or signals sensing the state of
the system). These characteristics will also open
the possibility of applying the system to other applications that require bidirectional high rate communication.
Circuit Design. This project intends to address
the design of the circuit as four different blocks:
• The block that interfaces with the transformer
secondary which is composed by: the power
supply circuit (power module), the clock recovery circuit, and both the data modulator and
demodulator (RF processing modules);
• The data processing control block which is
composed by the input and output data processing blocks (digital modules);
• The electrode stimulator block which has a digital-to-analog converter (DAC) as a signal conditioning unit, a electrode buffer and a analog-todigital converter (ADC) for electrode monitoring
(analog modules)
• The microelectrode arrays to be designed on
house and processed over a CMOS integrated
circuit using flip-chip technology in order to be
fully implantable without external wiring, reducing the risk of infection and increasing robustness.
The prototype will be tested using the retina model
and primary system (discrete solution) developed
by this project team in a former European project
(Cortivis). The INESC-MN institute will develop a
new version of the neural microelectrode stimulator with both capacities of exciting and sensing,
by using its own technology to develop magnetic
junction tunnel sensors. Theses microelectrodes
can take advantage of the architecture developed
in this project for bidirectional communication.
In this project we intend to implement a complete
secondary system as System on Chip (SOC) solution integrated with the microelectrode array.
27
05
DETAILED
ACTIVITIES
REPORT
5.1 Spoken Language Systems
Spoken language processing 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 einclusion.
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 domainindependent level to the dialog manager.
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.
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.
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
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).
29
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.
In December 2008, the group included 9 researchers with a PhD degree (7 University professors,
and 2 post-docs from Spain and France), who supervise many PhD and MSc students.
5.1.1
Activities
The group’s activities during 2008 have been carried out in the scope of a significant number of
national and international projects.
30
National Research Projects
The highlight of national projects has been the
group’s very active participation in the recently
finished Tecnovoz project, aimed at deploying
speech technologies to many different areas of
application: automatic subtitling, stock exchange,
banking, insurance, transportation, and medical
applications, telephone monitoring, and e-inclusion applications. The total budget of this 2-year
project (2006-2008) was 6.36 M€ with 47% for research institutes, and the remaining for the 9 participating companies. One of the most important
activities of our group in this area was the automatic broadcast news captioning system which
is currently deployed at the Portuguese national
TV station (since March 2008). The automatically
produced transcriptions are enriched with punctuation and capitalization, and an off-line version
filters the contents of multimedia documents by
using topic segmentation and indexation, summarization and automatic language identification.
Another very important activity within the Tecnovoz project is the development of spoken/multimodal dialog systems for a variety of scenarios.
One of the most flexible scenarios is provided by
our IVR (Interactive Voice Response) platform,
which integrates our recognition and synthesis
engines with a dialog management module (DIGA)
that supports the Voice XML norm. The IVVR (Interactive Voice and Video Response) platform enhances the user interface with an animated talking
face (FACE). A significant amount of the Tecnovoz
resources was also devoted to the development
of the recognition and synthesis engines that had
been the target of the efforts of our researchers
since the early nineties (AUDIMUS and DIXI+, respectively).
In terms of speech-to-speech translation, the
work started in the framework of the past WFST
project and which had culminated in the recent
development of speech-to-text broadcast news
translation system for Portuguese to English and
Spanish, launched the basis for a successful proposal in cooperation with CMU.
Our preliminary work on computer aided language
learning also constituted an excellent basis for yet
another successful proposal in cooperation with
CMU on this topic.
Significant progress has been achieved in national project POSTPORT targeted at porting the
speech technologies the group has developed for
European Portuguese to other varieties, namely
those spoken in South-American and African
countries, with Portuguese as official language.
In this framework, we have developed automatic
identification systems for 3 main varieties: European, Brazilian and African, we have developed
grapheme-to-phone conversion systems for Brazilian, and ported our broadcast news recognition
system to both varieties.
International Research Projects
In terms of international projects, the main project
of the group in the area of semantic indexing is
VIDI-Video, a European project whose aim is to
implement a search engine with a 1000-element
thesaurus, by detecting instances of audio, visual
or mixed-media content. Significant progress has
been achieved in this project, namely in terms
of detecting around 50 different audio events. In
terms of audio segmentation, our gender detection module, which was targeted at distinguishing male and female speakers only, has been
extended to encompass age distinctions as well.
This part of the work targeted at child voice identification has been carried out in cooperation with
the I-DASH European project, whose goal is the
identification of child abuse videos in the internet. In terms of speech recognition, we continued
the improvement of the English, Portuguese and
Spanish recognizers. Our participation in an international automatic language identification evaluation campaign was also very successful.
The cooperation with the GAIPS (Intelligent
Agents and Synthetic Character) group of
INESC-ID, which started in the framework of the
national project PAPOUS, “the story teller”, has
been crucial for the development of multimedia
applications. These activities are now carried out
in the framework of European projects E-Circus
(Education through Characters with emotional
Intelligence and Role-playing Capabilities that
Understand Social interaction) and COST 2102
(Cross-Modal Analysis of Verbal and Non-verbal
Communication). The LIREC project (LIving with
Robots and InteractivE Companions) is also developed in the framework of this very successful
cooperation. It aims to establish a multi-faceted
theory of artificial long-term companions (including memory, emotions, cognition, communication,
learning, etc.), embody this theory in robust and
innovative technology and experimentally verify
both the theory and technology in real social environments.
Other European joint efforts in which the group
also participates are COST 2103 (Advanced Voice
Function Assessment) and ECESS (European
Center of Excellence on Speech Synthesis).
5.1.2
Events
The group was represented in Technical Program
Committees of major Conferences and Workshops
in the areas of Speech and Language Processing
(COLING, ICASSP, ICME, INTERSPEECH, LREC,
PROPOR, ISCA ITRWon “Speech Analysis and
Processing for Knowledge Discovery”). Also worthy of note is the keynote invitation for IEEE SLT.
The editorial activities of the group during the
past year assumed a particular relevance given
the participation in the Editorial Board of Signal
Processing Magazine, and Guest Editor of Special Issue on Iberian Languages (Speech Communication, Elsevier).
The group was representated in the major international organizations in the spoken language
porocessing community: IEEE SLTC (Speech
and Language Technical Committee), IEEE SPS
BoG (Signal Proc. Society Board of Governors),
and the Presidency of ISCA (International Speech
Communication Association).
5.1.3
Services
The Tecnovoz project laid the groundwork for the
recent creation of a spin-off company (Voice Interaction), with which we plan to continue our technology transfer efforts.
31
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.
32
The integration of these competences leads INESC-ID 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
Within this thematic area, the activities promoted
to maintain INESC-ID as an excellence centre at
international level were the development of:
• State-of-the-art research in software technology, web engineering, distributed systems
and information systems architectures, with a
special emphasis on the issues of persistence,
object distribution, resources management, security and parallelism;
• Efficient algorithms for manipulation and mining of large volumes of data stored in relational
database systems;
• Technology and methods for the processing,
indexing and search of text and multimedia information on the Internet;
• Algorithms for information retrieval, document
classification, and indexing of large volumes of
data;
• New approaches for analyzing large sets of
spatial-temporal data;
• Processes and tools for information systems,
namely: preservation of data and metadata; IT
Governance and IT Management; and the software lifecycle;
• Development of Ontology based technology,
methods and applications in semantic annotation, distributed social content management
systems, ontology engineering;
• Development of state-of-the-art research in algorithms for Constraint Solving;
• Development of information systems for biological data analysis, including algorithms and
methods to process gene sequences and gene
expression data.
National projects
SHIPS
The haplotype inference problem is related with
identifying genetic variations among different
people. These variants explain much of the genetic diversity in our species, and comprehensive
search for genetic influences on disease involves
examining all genetic differences in a large number of affected individuals. This allows the systematic test of common genetic variants for their
role in disease.
The focus of the SHIPS project is to develop new
Boolean algorithms and models for solving the
problem of haplotype inference by pure parsimony.
Experimental results show that this problem is
better solved using effective Boolean constraint
satisfaction methods.
BSOLO
The representation of computational problems
with constraints involving Boolean variables has
widespread use in Electronic Design Automation,
Artificial Intelligence, Operations Research, and
Computational Biology, among many other areas
of science and technology.
The aim of the BSOLO project is at developing
new algorithms and strategies for solving problems with Boolean domains. Moreover, new problems in several areas will be tackled and solved
using Boolean models, namely in bioinformatics,
model verification, among others.
OntoSeaWeb
Ontology Engineering for the Semantic Web, had
several lines of research which all aimed at developing methodologies and methods to ease
the process of building ontologies, allowing nonknowledge engineers to build them. In particular
it researched how to automatically build ontologies to be used and applied in the Semantic Web,
the first methodology for Ontology Risk Analysis
was devised and tested in several case studies,
the DILINGENT methodology was developed and
tested in real user environments. Moreover, ontology based annotation was pursued. As a result
a documents ontology was built in a semi-automatic way.
FolkPeers
Folksonomies in P2P systems, researches the
construction and use of social content management systems. Issues to be studied include tagging suggestion, context navigation to allow better use of these systems, relationship analysis
between users and their use habits.
CLAW
Cyclic Learning and Annotation of the Web, targets both ontology relation instantiation from the
analysis of textual sources using shallow methods
and the development of similarity measures for DL
ontologies. Texts from IMdB are being used.
IR-BASE
An Integrated Framework for the Research and
Teaching of Information Retrieval Technologies.
33
International projects
o Adequateness of the effort estimated by the
proposal to the allocated resources;
o Robustness of the system concerning physical and logical failures.
MANCOOSI
System upgrades may proceed on different paths
depending on the current state of a system and
the available software packages, and system administrators are faced with choices of upgrade
paths, and possibly with failing upgrades.
The Mancoosi project aims at developing tools for
the system administrator namely develop mechanisms that provide for rollbacks of failed upgrade
attempts and develop better algorithms and tools
to plan upgrade paths based on various information sources about software packages and on optimization criteria.
5.2.2 Services
In 2008 INESC-ID provided, via specific contracts
or projects, the following services:
• Analysis and definition of requirements for systems handling large volumes of information,
with emphasis on:
o Physical and logical systems architecture;
o Hardware and software technologies to be
used;
o Data Modelling;
o Efficacy and efficiency of the algorithms and
methods to be applied to data;
o Security and confidentiality of the information.
• Comparative analysis of third parties proposals
for information systems development, with emphasis on the following components:
o Specification of equipment, operating systems and software technologies;
o Expected performance of the proposed solutions;
34
• Analysis of new applications of information systems, with emphasis on the following domains:
o Interactive information systems for the public;
o Systems to support electronic democracy
and direct participation of citizens;
o Integrated information systems for educational institutions;
o Electronic authenticity verification systems
(electronic signatures, time stamp and electronic validation, etc.);
o Interoperability and digital preservation, especially in the scope of digital libraries (namely in cooperation with the National Library
of Portugal and The European Library).
• Development of new information systems for
Biological Data Analysis
o Typing systems for sequence based typing
of pathogenic bacteria;
o Information systems for the analysis of gene
regulatory networks in Yeast;
o A Web based system to extract and study
conserved motifs in genomes;
o Tools and systems for the analysis of gene
expression data time series.
• Consulting, management and/or execution of
knowledge extraction systems from databases
and their application to the:
o Optimization of information systems and
management processes;
o Optimization of customer or user management systems (Customer Relationship Management – CRM), with a view to improve the
quality of service provided and the efficacy
of marketing campaigns;
o Detection of anomalous situations, such as
frauds, errors, and intrusions in computer
systems and networks.
• Development of an idea management system
based on prediction markets for a mobile telecom operator.
• Design of business processes (change management and IT portfolio management) and
development of tools (IT Scorecard, CM database, and ISA visualization) for the Portuguese
electrical power operator.
• Development of a Business Process Management (BPM) tool for a software company.
• Comparative analysis of integration frameworks
regarding their support for business processes
for an IT services company.
• Development of the YEASTRACT system, a
widely used and publicly available database
that supports research in Systems Biology, including:
o Database infra-structure and data models;
o Front and back-end user interfaces.
• Integration with algorithms developed for the
analysis of biological sequences.
• Collaboration with the Business Intelligence
Unit of Link Consulting in Data Quality auditing
and cleaning of real data sets.
• Technical appraisal of the information system
for the Portuguese Directorate-General for Justice Policy - Ministry of Justice (DGPJ), and recommendations for its improvement.
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 humancomputer 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 ability to provide a set of services of great relevance to our strategic focus areas.
35
5.3.1
Activities
National Research Projects
In terms of nationally funded projects, in 2008 we
successfully finished three FCT projects:
BIRD, where we were the prime contractors, we
advanced the state of the art in the emergent area
of Personal Information Management, by showing
how autobiographic information about the users
and the context in which they handle their documents can be used to retrieve that information at
a later time.
The DecorARproject, where we participated as
prime contractors as well, used Augmented Reality techniques and sketch-based interaction to
facilitate multimedia information retrieval, with
emphasis on the retrieval of 3D representations of
furniture to include in a tool of interior decoration.
In the context of third project CleanDrive, we developed an Environmental and Safe Driving Simu-
via: A theoretical framework for group attention;
A collection of attentive devices that can be integrated in CSCW systems and tools; Results from
laboratory experiments with attentive devices; A
group performance model based on attention; A
collection of best practices for designing attentive CSCW. During this year we participated in the
development a set of attentive devices, and its
application in a chat tool, to improve the communication person-person mediated by a computer.
We started, as prime contractors, another FCT
project called VIZIR. It aims at developing efficient parallel algorithms to make it possible to
interactively visualize and navigate within massive
data sets in commodity clusters for high resolution screen devices such as large tiled displays.
Interacting with these data sets remains a difficult
and challenging task in particular when real time
response is needed and crucial for the observation of natural phenomena. Indeed, rapid devel-
lation tool for Educational Purposes. In particular,
we developed a package which consists of simulation software and a physical support (computer,
pedals, steering wheel, seating, sound system)
enabling the players to use the simulator in a way
similar to a regular vehicle.
36
We also continued our work in FCT project ACSCW. Its main objective 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
opments in three-dimensional scanning technologies currently allow capturing very large models in
fine detail with geometric and textured data.
Another relevant activity was developing multimodal interfaces for helping citizens with special
needs in their everyday activities. This comes in
the wake of a four-year long activity with blind and
visually-impaired people for learning, guidance
and improving the use of everyday devices such
as mobile telephones. A prototype system has
been used by eight blind people over the course
of 14 weeks.
International Research Projects
In 2008, we continued our work in the European
Sixth Framework programme project E-CIRCUS
(Education through Characters with emotional-Intelligence and Role-playing Capabilities that Understand Social interaction). Within the E-CIRCUS
project, we are developing technology to support
social and emotional learning within personal and
social education. This is achieved through virtual
role-play with autonomous synthetic characters
that establish credible and empathic relations
with the learners through affective engagement.
We are doing this by taking modern theories of
interactive narrative and role-play from psychology and implementing them in affectively driven
autonomous graphically embodied agents – actors with attitude.
In the last year, as an evolution of our first demonstrator (FearNot!, which is focused on anti-bullying education), we concluded our second demonstrator, ORIENT. The ORIENT demonstrator is
in the area of refugee children in schools. In this
application, role-playing characters interact with
child users to create inter-cultural empathy, supported by a state-of-the-art interactive narrative
framework.
More information: http://www.e-circus.org
In 2008, we started our work in the European
seventh framework programme project LIREC
(LIving with Robots and Interactive Companion).
The LIREC project aims to create a new generation of interactive, emotionally intelligent, companion technology, that is capable of long-term
interaction with humans, in both a virtual world
(as synthetic characters), and in the real world (as
robots). To date, artificial companions have had
limited abilities to support long-term, meaningful
social interactions with users in real social settings. The project will also examine how we react
when a synthetic entity swaps from a robot body
into a virtual form.
Within the last year, we developed long-term scenarios and started prototyping and evaluating
user modeling techniques adapted to long-term
interactions.
More information: http://www.lirec.org
We started our work in the IP European project,
TARGET, in which we are studying how serious
games and immersive environments can be used
as the means for knowledge workers to gain new
competences, facilitating the acquisition of threshold concepts that improve their effectiveness and
quality when facing demanding situations in the
workplace. We will lead the development of a customizable framework where such games can be
developed, tailored to the needs of different entities and employees.
We continue our research under the scope of the
European project SATIN on the new generation
of multimodal and multisensory interfaces, supporting free-hand interaction with virtual shapes.
SATIN main goal is to develop a system for 3D
shape modification and exploration by means of
free hands using the metaphor of “tape sketching” and the metaphor of “bending along curvilinear trajectory” under the control of integrated and
fused visual, audio and haptic feedbacks. During
2008 we developed the second prototype of the
visualization system integrating the deformable
version of the haptic strip. It provides to the user
a mixed reality environment where virtual shapes
can be evaluated and edited physically. Our visualization system resulted on a new open source
framework named Open5 (Framework for Interactive Virtual Environments) developed for rapid
prototyping of virtual reality applications.
37
We are also involved in MAXIMUS, a project that
started in March 2008, and aims to develop the
first system to fully support high dynamic range
information throughout the pipeline. Starting with
high dynamic range material and light acquisition, providing a high dynamic range real-time
light simulation and rendering pipeline and finally
displaying maximum fidelity image quality with
color gamut enhanced stereoscopic high dynamic range projection technology to bring the total
dynamic range to over 5.000.000:1– a real breakthrough in display technology. Natural gadgetfree multi-modal interaction techniques will allow
multiple users to easily interact with virtual objects, virtual light sources and materials to compose and configure scenes and evaluate lighting
effects rendered in real-time. The system will be
evaluated in the professional markets of car styling, architecture and industrial design.
In the context of the Eurotooling 21 project, we
developed a tool to support mould makers in performing quotations of moulds. This tool includes
and improves sketch-based retrieval technology
developed in the past project SmartSketches.
We are also developing a CAD Conference tool,
to allow mould makers to discuss, annotate and
collaborate during the process of mould maintenance, setup or design.
5.3.2 Events
38
In 2008, we were responsible for organizing several international conferences:
• AAMAS 2008, the seventh international conference on Autonomous Agents and MultiAgent
Systems. AAMAS is the leading scientific conference for research in autonomous agents and
multi-agent systems, providing a single, high
profile, internationally respected archival forum
for research in all aspects of the theory and
practive of autonomous agents and multi-agent
•
•
•
•
systems. This year, the conference had around
750 attendees;
European Conference on Cognitive Ergonomics, Madeira, Funchal, September 2008;
Eurographics International Symposium on
Computational Aesthetics in Graphics, Visualization, and Imaging, Lisbon, Portugal, June
2008;
Eurographics Symposium on Sketch-based
Interfaces and Modeling (SBIM 2008), Annecy,
France, June 2008;
GRAPP’08 - 3st International Conference on
Computer Graphics Theory and Applications,
Funchal, Madeira; January 2008.
5.3.3 Services
In 2008, we started our consulting activity for YDREAMS Informática S.A., in the context of “Programa Operacional Regional de Lisboa” project
Chameleon (Construction of Humane Autonomous Machines Embodied in Living Environments
of Nature). Within project Chameleon, we are providing consulting services in social cognition and
cognitive processes, namely affective computing
and believable interactions.
We’ve led and participated in two projects with direct impact to the society at large, as the creation
of a C.A.V.E. (Cave Automatic Virtual Environment) system for the Lousal Ciência Viva center,
and Eco-Driving, a simulator promoting ecological
driving practices to be used by Câmara Municipal
de Vila Franca de Xira.
Concerning the for the C.A.V.E. system installed
in Centro de Ciência Viva das Minas do Lousal,
we developed also a project, named “The Journey to the Center of the Earth”, which is a virtual simulation designed from the ground up to
run over CAVE immersive system. The applica-
tion was created to simulate a fiction journey to
a hollow center of the earth, inhabited by strange
creatures. The journey has three main sections (or
maps): an initial tunnel, a rollercoaster section on
mine carts and a simple cavern environment over
at the center of the earth.
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 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 level, as long as specialized human
resources exist in sufficient number and quality.
Currently, in the SIP (Semiconductor Intellectual
The Embedded Electronic Systems research unit
is organized in four scientific areas: Electronics
and EDA, Signal Processing, Control and Computer Engineering having more than 33 Ph.D. researchers and 24 Ph.D. students.
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 know-how ranging from
algorithms and architectures to telecommunications, image processing, biomedical applications,
modelling, monitoring, supervision and control of
industrial processes.
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.
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
39
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 electro-medicine 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.
• Processing architectures and embedded processors, for dedicated applications and for
general use;
• Hardware compiler techniques and custom reconfigurable computing architectures for embedded systems;
• Non-linear, adaptive, reconfigurable and hybrid methodologies for the development of algorithms and control applications, suitable to
electronic implementation for systems control;
• Wireless communications systems either narrowband or ultra-wideband (UWB), and either in
the RF frontend and in the baseband processing algorithms and architectures;
• Integrated circuits design - power management,
analog and RF circuits, and digital circuits – for
low-power and low voltage.
5.4.1 Activities
40
During 2008 this line of action was restructured.
The number of research groups was reduced by
merging smaller groups and a common laboratory
was created where the most expensive equipment is shared by all the elements of this research
unit. As a result, the number of collaborative
projects and joint supervision of Ph.D. thesis increased, giving to this line of action the capability
to address larger multi-disciplinary projects. The
research subjects covered by this line of action
range from conception of circuits and systems
to physical implementation at different hierarchy
levels.
The main topics of research can be summarized
by:
• Algorithms for design automation with emphasis on (1) power estimation, optimization and
distribution, and (2) synthesis of digital processing systems using pseudo-Boolean models and
optimization tools;
• Algorithms, methodologies and tools for the design and test of highly integrated electronic circuits
and systems, digital, analog and mixed-mode;
This know-how leads to the realization of some
multi-disciplinary collaborative projects, with
stringent performance requirements, such as:
• Medical imaging hardware/software systems
using Positron Emission Tomography (PET)
technologies for mammography;
• Embedded electronics systems for use in the
bio-medicine, with emphasis in the areas of (1)
diagnostics using advanced imaging techniques
and (2) prosthetics for the visually impaired using signal and/or image processing techniques,
and also radio frequency remote non-intrusive
delivery of information and power to implants;
• New circuit structures for multi-context reconfigurable hardware devices using magnetic tunneling junction (MTJ) memory cells (in cooperation with INESC-MN);
• Techniques and electronic systems for physical
execution in nano-technologies and/or biological physical support, such as molecular electronics, (in cooperation with INESC-INOV and
INESC-MN);
• New algorithms for synchronization in digital
communications, active noise cancellation, and
powerline data transmission using OFDM;
• Algorithms for modeling the effects of process,
power supply and temperature variations in
integrated electronic systems with emphasis
on (1) digital system timing and performance
analysis and (2) modeling and analysis of RF
systems;
• Learning algorithms for switched multiple model adaptive control;
• Motion Tracking on Manifolds;
• Adaptive and predictive control for pilot applications in a water distribution canal for agricultural
purposes using New Adaptive control algorithms based on the Control Lyapunov Function
approach and Predictive Adaptive Controllers;
5.4.2 Services
• An embedded system for automation of anesthesia using a fault tolerant adaptive control
based on switched multiple models for applications in muscle relaxation control of patients
subject to general anesthesia;
• Modelling and control of biological metabolic
Networks.
• Standardization and assessment of quality requirements of electronic systems for safetycritical applications;
• Further service activities have been:
o Training and re-qualification of professionals – DFA course on Microelectronics;
o Awareness actions for industrial associations and R&D institutions, which are potential customers or suppliers;
o Assembling and packaging of prototypes
or small series of microelectronic (ICs, RF
MMICs) and nanoelectronic modules (nanosensors) using INESC’s available interconnecting and packaging machines and facilities;
o Modelling of industrial process facilities;
o Advanced control for industrial process facilities, with emphasis on solar plants;
o Design of advanced algorithms for temperature in control of solar furnaces for material
testing.
A start-up company, PETSys – Medical PET Imaging Systems, S.A., targeting the design, development, implementation and commercialization
of imaging systems for medical diagnosis and
research, was founded by the PET consortium
in 2008 with a strong participation of two groups
from this line of action.
This line of action organized in 2008 the following
events: Organization of the International Workshop on Power and Timing Modeling Optimization
and Simulation 2008, PATMOS 2008, September
10-12th , Lisbon, Portugal.
Within this line of action, consulting services on
the following areas were performed:
• Design and test of reconfigurable embedded
electronic systems and ASICs (Application
Specific Integrated Circuits), for wireless communications, medical diagnostics instrumentation, telemetry, advanced computing, and education; done in partnership with Tecmic, INOV,
Integration and Chipidea;
• Design and test of EDA (Electronic Design Automation) tools; there has been ongoing research
and testing of new algorithms and technology
transfer to Cadence Design Systems, worldleader in EDA tools, NXP and other smaller European companies;
41
5.5 Communication Networks
and Mobility
42
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.
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.
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.
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.
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.
The activities developed within the scope of Associate Laboratory were as follows:
• Development of state-of-the-art research in
fixed, mobile and ad-hoc communications networks technologies;
• Development and maintenance of communications networks demos for specific support
to applications with high quality of service requirements, such as the case of IP telephony,
applications to support collaborative work and
distance learning or video broadcasting on demand;
• Specification, implementation and test of the
physical and logical infrastructure of mobile
networks which enable the generalized access
of citizens to the information in various environ-
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
5.5.1 Activites
ments, such as Universities, schools, airports
and other public places;
• Specification, implementation and test of adhoc networks, which enable the existence of
communications infrastructures in situations,
or places, in which the installation of other network types is not viable;
• Development of actions that raise awareness
of the various aspects of communications networks which allow support to applications with
quality of service.
5.5.2 Services
In 2008, the communication networks and mobility research unit mainly developed their services
in two areas:
• Project and development of networking integrated solutions.
• Project and development of solutions for the
support of multimedia applications with quality
of service control in the network.
43
06
ANNEXES
6.1 Research Projects
SPOKEN LANGUAGE SYSTEMS
Title: Vidi-VÍDEO - Interactive semantic video
search with a large thesaurus of machine
learned audio-visual concepts
Funding institution: European Comission – FP6
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 mixedmedia content.
Title: POSTPORT - POrting Speech
Technologies to other varieties of PORTuguese
Funding institution: 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: eCIRCUS-L2F - Education through
Characters with emotional-Intelligence and
Role-playing Capabilities that Understand
Social interaction
Funding institution: European Comission – FP6
Coordinator from INESC-ID: Luís Miguel Veiga
Vaz Caldas de Oliveira
Short Summary: The main goals of this project
are:
- To develop models of narrative engagement
and empathy in order to investigate and under-
-
-
-
-
stand cognitive, social and emotional learning
processes through role-play and affective engagement in complex social situations.;
To support affective engagement in social and
emotional learning, investigating methods to allow individual and groups of users to interact
in the physical as well as the virtual world, with
user roles including both spectator and actor;
To create an innovative architecture to enable
educational role-play for social and emotional
learning in virtual environments populated by
synthetic characters with autobiographical
memory, individual personalities and attributes
and improvisational capabilities;
To create a virtual environment for emotional
and social learning focusing on the domains of
bullying and refugee integration;
To assess the impact and effectiveness of using learner scenarios and role-play to address
socially sensitive issues, within virtual learning
environments.
Title: LIREC - LIving with Robots and
InteractivE Companions
Funding institution: European Commission
– FP7
Coordinator from INESC-ID: Luís Miguel Veiga
Vaz Caldas de Oliveira
Short Summary: LIREC aims to establish a
multi-faceted theory of artificial long-term companions (including memory, emotions, cognition, communication, learning, etc.), embody this
theory in robust and innovative technology and
experimentally verify both the theory and technology in real social environments. 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
45
of the concepts of embodiment, autobiographic
memory and social interactions in the context of
companions where the ‘mind’ might migrate to
differently embodied ‘bodies’.
Title: TECNOVOZ - Tecnologias de
Reconhecimento e Síntese de Voz
Funding institution: PRIME, Medida 3.1A
Coordinator from INESC-ID: João Paulo da
Silva Neto
Short Summary: Tecnovoz consortium was created with a global objective of creating a national
technological pool able to industrialize innovative
systems on speech recognition and synthesis at
the same level as in the occidental world. One of
the goals of Tecnovoz is associated to an effective technology transfer from the entities of the
scientific and technological national system to
the consortium companies.
Title: RICOBA – Rich Content Books for All
Funding institution: FCT
Coordinator from INESC-ID: António Joaquim
dos Santos Romão Serralheiro
Short Summary: The project aims at making
books more accessible and appealing to different
audiences. The goals are supporting rich Digital
Talking Book (DTB) generation, through the development of a production framework to assist in
the building and enriching of the books, and rich
DTB playback, by developing tools for non-visual
platforms, and tools that adapt the book presentation and interaction, reacting to changes in the
user, playback devices, and environment.
46
INFORMATION AND DECISION
SUPPORT SYSTEMS
Title: SATPOT - Algoritmos de satisfação,
aplicações e extensões
Funding institution: FCT
Coordinator from INESC-ID: Maria Inês
Camarate de Campos Lynce de Faria
Short Summary: The SATPot project aims to
contribute for the development of the next generation SAT and SAT extensions algorithms. Also,
the project will actively pursue the practical utilization of SAT and SAT extensions in the realworld.
Title: SHIPs - Sat-based Haplotype Inference
by Pure Parsimony
Funding institution: 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
parsimonious approach, and to apply these algorithms to real data, in order to identify genetic
deseases.
Title: MANCOOSI - Managing the Complexity
of the Open Source Infrastructure
Funding institution: 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: BSOLO - Satisfação e optimização com
restrições Booleanas
Funding institution: FCT
Coordinator from INESC-ID: Vasco Miguel
Gomes Nunes Manquinho
Short Summary: The development of a new
pseudo-Boolean 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: DATA MINING
Funding institution: Cadence Design Systems
Coordinator from INESC-ID: Arlindo Manuel
Limede de Oliveira
Short Summary: The objectives of this project
are the development of new machine learning
and data mining techniques for application in the
domains of computer aided design, information
retrieval and systems biology.
Title: DYABLO - Models for the Dynamic
Behavior of Biological Networks
Funding institution: 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: FLR1-NET - Characterization and
modeling of a specific transcriptional
regulatory network required for multidrug
resistance in yeast
Funding institution: 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: VANTYX - Data Mining Applied to Credit
Systems Software
Funding institution: AdI - Agência de Inovação
Coordinator from INESC-ID: Arlindo Manuel
Limede de Oliveira
Short Summary: Deploy data mining technology
developed at INESC-ID to improve the ability of
Vantyx software to satisfy customer needs.
47
Title: DYNAMO - Dynamical Modeling, Control
and Optimization of Metabolic Networks
Funding institution: 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.
48
Title: ARN - Algorithms for the identification of
genetic Regulatory Networks
Funding institution: 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: ERA-PG - Genome-wide analysis of
short RNAs as modulators in dehydration
stress tolerance using tolerant and genetic
model systems
Funding institution: 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: EUCALYPTUS - Scanning for candidates’
genes underlying a pulp yield QTL in Eucalyptus
globulus
Funding institution: 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: STOP-FIRE - A Computational Intelligence
Distributed System for Forest Fire Combat Aid
Funding institution: 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 provide good performance and remote accessibility.
Title: FLEETMOD - Modelling and Simulation of
the Behaviour of Fishing Fleets
Funding institution: 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 to simulate and predict
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: MOVENSIS - ubiquitous computing
Funding institution: Movensis
Coordinator from INESC-ID: Paulo Jorge Pires
Ferreira
Short Summary: The Distributed Systems Group
at INESC-ID will provide MOVENSIS with a set of
software tools, middleware, and know-how in the
area of mobile computing as well as sensor networks applied to environments monitoring.
Title: eVOTO - A new Architectural Framework
for Handling Risk in E-Voting Systems
Funding institution: FCT
Coordinator from INESC-ID: Paulo Jorge Pires
Ferreira
Short Summary: The objective of this project is
to develop an innovative architectural framework
for handling risk in e-voting systems, addressing
three areas of concern: security-related risks,
community-related risks, and usefulness-related
risks.
Title: POLIGRID - distributed policies for
resource management in Grids
Funding institution: 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 history-based 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.
49
Title: PRIVATO - Privacy Aware Trusted
Computing
Funding institution: FCT
Coordinator from INESC-ID: Carlos Nuno da
Cruz Ribeiro
Short Summary: We propose building a small TC
platform which is able to verify the goodness of
an application and attest is to a third party without revealing more information than necessary
and without bounding data to applications. This
will be done using the state of the art TC hardware platforms to maintain the project as simple
as possible and to minimize the impact on current
operating systems performance.
Title: GRITO - Uma Grid para Preservação
Funding institution: FCT
Coordinator from INESC-ID: Rodrigo
Seromenho Miragaia Rodrigues
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.
Title: BYZANTIUM - Efficient Byzantine faulttolerant database replication
Funding institution: 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.
50
Title: REDICO - Dynamic Reconfiguration of
Communication Protocols
Funding institution: 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 particular,
it should allow for different participants to run
with different protocol configurations as long as
these configurations are compatible.
- The framework should provide strong support
to ensure the consistency of the system configuration (at each site and among multiple sites).
These consistency checks should be based on
protocol dependencies and should be able to
be checked in an efficient manner, to prevent
the performance degradation of the system.
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: GINGER - A Flexible Peer-to-Peer Grid
Infrastructure
Funding institution: FCT
Coordinator from INESC-ID: Rodrigo
Seromenho Miragaia Rodrigues
Short Summary: To build a fully decentralized,
peer-to-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 environment 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
Funding institution: 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
Funding institution: FCT
Coordinator from INESC-ID: António Manuel
Ferreira Rito da Silva
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 a 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, 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: PATRIMONIA - Valorização da PORBASE
e do Património Bibliográfico Nacional do Livro
Antigo na Internet
Funding institution: Biblioteca Nacional
Coordinator from INESC-ID: José Luis
Brinquete Borbinha
Short Summary: Support the National Library of
Portugal in the development of a new information
system to manage the quality control on interoperability in PORBASE, the national bibliographic
database.
Title: SHAMAN - Sustaining Heritage Access
through Multivalent ArchiviNg
Funding institution: 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, ac-
cessing and reusing information objects and data
across libraries and archives. Three prototypical
applications will support 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: CPIT – Consulting and development in the
ProjectIT context
Funding institution: SIQuant Lda
Coordinator from INESC-ID: Alberto Manuel
Rodrigues da Silva
Short Summary: ProjectIT initiative has been
producing several scientific results, which can
be applied in real software development projects
in connection with software houses. The purpose of this project is to participate in consulting,
development and eventually training activities,
where these research achievements are validated
against real projects and companies.
The budget of this project could come from different software houses, however, there is a strong
expectation that most of it could come from the
SIQuant Company.
Activities planed in a short term: (1) Design and
development of a Documental Management
System; and (2) Design and development of
a Project Management System on top of the
SIQuant WebComfort framework.
51
Title: IR-BASE - An Integrated Framework for
the Research and Teaching of Information
Funding institution: FCT
Coordinator from INESC-ID: Pável Pereira
Calado
Short Summary: The main goal of this project
is to create an environment for integrating tools,
documentation and services to help IR teaching
and research. The core of such environment is
a modular and easily expandable IR system capable of (1) providing an illustrative example of
a functioning IR system, (2) providing an experimental basis for IR research, and (3) providing a
set of services useful for the research of new IR
solutions.
Title: ONTO-SEAWEB - Ontology Engineering
for the Semantic Web
Funding institution: FCT
Coordinator from INESC-ID: Helena Sofia
Andrade Nunes Pereira Pinto
Short Summary: This project is going to address
two goals:
1- Regarding ontology learning, the goal is to develop the required techniques to build an ontology about the structure of technical articles in a
semi-automatic way.
Since we aim at semi-automatic processes,
besides the construction itself, the task of processing source files can be automated. This will
allow processing large amounts of information.
Among the applications of this work, there is
the annotation of documents, allowing more
powerful search forms, and the transformation
of documents into other more structured formats.
2- Regarding risk analysis we are going to work on
pilot experiences of controlled ontology building processes to identify and abstract the most
critical risks that can affect them and identify
the necessary measures and guidelines to prevent them.
This will increase the success rates of these
processes.
52
Title: CLAW - Aprendizagem e Anotação
Cíclicas da Web
Funding institution: FCT
Coordinator from INESC-ID: Helena Sofia
Andrade Nunes Pereira Pinto
Short Summary:
We divide this project into two major objectives:
1- We propose a generic framework for profiling of
ontology learning techniques. This framework
is composed of two kinds of knowledge-based
components: a tutor and a learner. The tutor
is provided with a populated ontology, and its
task is to provide the learners with assertional
knowledge (i.e., individuals and the relations
between them).
2- Manually designed and automatically learned
ontologies can be used for the annotation of
the Web. A current short-coming of existing annotation tools is the inability to extract relations.
Entities are annotated but relations between
entities are disregarded. We propose a framework for the development of relation extraction
algorithms. Given an ontology and a document
whose named entities have been annotated
with the ontology, different algorithms will be
developed within the framework for the automatic instantiation of relations among entities.
This framework, when coupled with annotation
tools, produces both concept and relation instances.
Title: FOLKPEERS - Folksonomies in P2P
systems
Funding institution: FCT
Coordinator from INESC-ID: Helena Sofia
Andrade Nunes Pereira Pinto
Short Summary: We will investigate solutions
that will allow users to search for resources
(through tags) without loosing its context and improve their navigation - suggestion of tags to resources. We will investigate information retrieval
techniques to suggest tags to users. The solutions sought are to be as general as possible. For
that we will develop them in more text intensive
social tagging systems like digg and apply them
to our system.
INTERACTIVE VIRTUAL
ENVIRONMENTS
Title: eCIRCUS - Education through
Characters with Emotional Intelligence and
Role-playing Capabilities that Understand
Social Interaction
Funding institution: 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 virtual role-play with synthetic
characters that establish credible and empathic
relations with the learners.
Title: LIREC - LIving with Robots and InteractivE
Companions
Funding institution: European Commission 7th Framework Programme
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, humancomputer 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’.
Title: EUROTOOLING 21
Funding institution: European Comission – FP6
Coordinator from INESC-ID: Joaquim Armando
Pires Jorge
Short Summary: EuroTooling21 aims to improve
competitiveness in European Mouldmaking and
Special Tooling Industries. The drive force of the
project is to increase the added value integrated by these companies at different levels, from
product and moulds design to production technologies and extended services with a relevant
technological component, in a global supply
chain context.
Title: DECORAR - Decorating Augmented
Reality with NPR for Architectural Design
Funding institution: FCT
Coordinator from INESC-ID: Joaquim
Armando Pires Jorge
Short Summary: We aim at making decoration
design systems more usable both for the creation
of new interior designs, by promoting the reuse of
architectural plants and decoration components
and for the visualization of the final result, reducing the total time from the initial request until the
final solution. To this end we have been working on Sketch-Based Retrieval of drawings. This
work produced a framework that will be used as
the basis to address the new challenge of classify
and retrieve 3D objects. A second goal is to develop an Augmented Reality (AR) environment to
improve the visualization of existing systems for
conceptual interior design. We will develop novel
interaction modalities based on finger and hand
gesturing and tangible interfaces appropriate for
interior design.
Title: SATIN - Sound And Tangible Interfaces
for Novel product shaping
Funding institution: European Commission
– FP6
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
53
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: BLONO - Bloco de Notas electrónico para
portadores de deficiência visual
Funding institution: NOVABASE / HP / Fundação
Raquel e Martin Sain
Coordinator from INESC-ID: Joaquim Armando
Pires Jorge
Short Summary: BloNo aims at developing software for PDAs to allow the visually-challenged to
take notes and access text functions in a practical and efficient form even in the noisiest environments where speech interface, supported on high
quality text-to-speech (TTS) systems in European
Portuguese. It will also incorporate a high-quality speaker-independent Automatic Speech
Recognition (ARS) for European Portuguese.
A key interface modality will use one innovative
technique (already patented) for the introduction
of text for users with low vision, developed within INESC ID. The involvement of the Fundação
Raquel e Martin Sain will allow engaging end users throughout the development process, thus
guaranteeing the validity of the developed solution, as well as constituting a privileged way for
the distribution and dissemination of projects
results.
54
Title: CLEANDRIVE - Environmental and Safe
Driving Simulator for Educational Purposes
Funding institution: FCT
Coordinator from INESC-ID: João António
Madeiras Pereira
Short Summary: The first objective of this project is to develop a game-like driving simulator
package that will enable the education of drivers
and future drivers to a safe and environmentally
friendly driving behaviour. This package consists
of simulation software and a physical support
(computer, pedals, steering wheel, seating, sound
system) enabling the players to use the simulator
in a way similar to a regular vehicle. This simulator will not only be able to model vehicles using
conventional technologies and fuels (diesel and
gasoline) but also alternative technologies, such
as natural gas, bio fuels, electric vehicles or even
hydrogen vehicles.
The second objective is to develop an experimental validation tool capable of registering events in
real life trips in order to supply the simulator with
validated realistic environment variables and to
calibrate the scoring system. This tool is to be
connected to the vehicle communications system (through the OBD – On Board Diagnostics
– port).
Title: VIZIR - Visualizing Massive 3D Data Sets
Interactively on Commodity Clusters
Funding institution: 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
interactively visualize and navigate massive data
sets in commodity clusters for high resolution
screen devices such as large tiled displays.
Title: LOUSAL
Funding institution: Fundação Féderic Velge
Coordinator from INESC-ID: João António
Madeiras Pereira
Short Summary: Concepção e desenvolvimento da aplicação de realidade virtual Viagem ao
Centro da Terra para o Centro de Ciência Viva do
Lousal.
Title: A-CSCW - Attentive CSCW
Funding institution: 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 betwen the group and the individual tasks ? - How
can technology positively influence the attention
to teh 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 via: - A theoretical framework for group attention - A collection of
attentive devices that can be integrated in CSCW
systems and tools - Results from laboratory experiments with attentive devices - A group performance model based on attention - A collection
of best practices for designing attentive CSCW.
EMBEDDED ELECTRONIC SYSTEMS
Title: PET2 - Development of PET Technologies
Funding institution: AdI - Agência de Inovação
Coordinator from INESC-ID: Manuel de
Medeiros Silva
Short Summary: The overall project will extend the capabilities of the PET scanner for mamography 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: TARDE - Transimpedance Amplifiers for
Radiation Detectors
Funding institution: 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: LEADER - Low-Energy Analog-to-Digital
Converter with Enhanced Effective Resolution
Funding institution: FCT
Coordinator from INESC-ID: Jorge Manuel dos
Santos Ribeiro Fernandes
Short Summary: To design and evaluate experimentally a calibration-free recycling pipeline ADC
(multi-stage 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
Analog-to-Digital Converter for Ultra-Wideband
Wireless Communications
Funding institution: 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: FLOW - Control of Processes with
Transport phenomena
Funding institution: FCT
Coordinator from INESC-ID: João Manuel
Lage de Miranda Lemos
Short Summary: The FLOW project aims the development of Advanced Non-Linear and Adaptive
Control methodologies for distributed parameter
systems with transport phenomena. These methods are to be applied in different case studies
such as:
(i) the control of car density in highway traffic
flow;
(ii) the control of water flow in a water distribution
channel system;
(iii) the control of temperature in large-scale distributed heat-exchangers.
Title: POWERPLAN - Electronic Systems
Power Planning
Funding institution: FCT
Coordinator from INESC-ID: Luis Miguel
Teixeira D Avila Pinto da Silveira
Short Summary: This project is aimed at the research, study and development of accurate and
efficient techniques for the verification of power
grid networks in complex integrated circuit designs. To that end, we propose to combine new
and existing knowledge in the areas of power,
timing and signal integrity analysis, to enable
efficient solutions to the problem of power grid
planning. The final goal is the development of an
environment for accurate and efficient planning
and further analysis of power grids that integrates
timing information to provide consistent and correlated input information to the analysis process.
Title: IDeA - Integrated Design of Automation
for Anaesthesia
Funding institution: 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.
Title: VCFCM2
Funding institution: MIA Corporation
Coordinator from INESC-ID: Shinichi
Yamagiwa
Short Summary: Research and Development
for image processing software (Extended project
from VCFCM)
55
Title: RDS3M2 - Research and Development
of a synthesizing software system for multiple
movies
Funding institution: Japan Institute of Sports
Sciences
Coordinator from INESC-ID: Shinichi
Yamagiwa
Short Summary: Research and Development for
video processing software for Sports fields.
Title: IPVC - Image Processing for Video
Camera
Funding institution: MIA Corporation
Coordinator from INESC-ID: Shinichi
Yamagiwa
Short Summary: Research for image processing for video camera
Title: ICONS - Intracortical Neuronal Stimulator
Funding institution: 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: TRAFISIGN – Trafic signaling
Funding institution: Fatrónica
Coordinator from INESC-ID: Moises Simões
Piedade
Short Summary: Evaluation of critical parameters of traffic signaling systems, specification
of relevant parameters, specification and testing
methods for traffic signaling systems.
56
Title: PCL NOISE - Noise Reduction in Power
Line Communications Channels
Funding institution: 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, nongaussian 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: SIDEWORKS-Security - Hardware
accelerator for cryptographic applications
Funding institution: QREN
Coordinator from INESC-ID: Ricardo Jorge
Fernandes Chaves
Short Summary: The main objectives of this
project is the development of efficient implementations of ciphering algorithms, considering the
hardware reconfiguration capabilities.
Title: UWBR - UWB Receiver: baseband processing using reconfigurable hardware
Funding institution: FCT
Coordinator from INESC-ID: 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: DYNATEST - Nano SoC Dynamic Test
Funding institution: FCT
Cordinator from INESC-ID: João Paulo Cacho
Teixeira
Short Summary: High quality, high performance
and highly dependable electronic systems, designed in new nanometer semiconductor technologies, require new design, test and diagnosis methodologies and tools. In this project, an
emerging dimension of test – the power supply
voltage, VDD – is used to increase the effectiveness of delay test and diagnosis. This project brings together dynamic BIST (Built-In Self
Test) and VDD-based testing as pillars of novel
solutions to dynamic faults (intermittent or permanent) testing of digital SoC, implemented in
nanometer semiconductor technologies, and to
enhanced tolerance of advanced IC products to
environmental disturbances, such as Delta-VDD.
Title: IDD Teste em Corrente
Funding institution: FCT
Coordinator from INESC-ID: Marcelino Bicho
dos Santos
Short Summary: In this project a new methodology for voltage test vectors elimination will be developed. The vectors to eliminate are the ones that
become unnecessary since current test is also in
use. The expected reduction in the test length is
high and the selection is a challenging task since
the fault models suitable for this methodology are
unknown. These fault models will be developed
in a recursive process with the collaboration from
the test unit from AMI Semiconductor.
Title: MRAM - Reconfigurable Hardware using
Magnetic Tunneling Junction Memories
Funding institution: FCT
Coordinator from INESC-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.
To achieve this goal the following project activities are planned:
– Development of new circuit structures to implement the main components for reading and
writing the MTJ cells, such as, the memory read
circuitry, the memory decoders, the current
generators, and the multi-context memory cell.
– Design of the coarse-grained run-time reconfigurable hardware architecture and of its fun-
damental components, such as, the programmable interconnect structures, the arithmetic
and logic function units, and the registers and
small data memories.
– Preparation of the CMOS front-end designs for
external fabrication using a standard process.
– Back end fabrication of the MTJ cells over the
CMOS wafer.
– Circuit test and verification.
Title: CADENCE - Cadence Research
Laboratories
Funding institution: Cadence Design Systems
Cordinator 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: EMONIC - Electromagnetics on
Integrated Circuits
Funding institution: 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: CHAMELEON-RF - Comprehensive
High-Accuracy Modeling of Electromagnetic
Effectics in Complete Nanoscale RF Blocks
Funding institution: European Comission – FP6
Coordinator from INESC-ID: Luis Miguel
Teixeira D Avila Pinto da Silveira
Short Summary: The aim of the CHAMELEON
RF project is to develop methodologies and prototype tools for a comprehensive and highly accurate analysis of complete next-generation nanoscale functional IC blocks that will operate at
RF frequencies of up to 60GHz.
57
Title: MABEL - Modeling Analog BEhaviour using Learning techniques
Funding institution: FCT
Coordinator from INESC-ID: Luis Miguel
Teixeira D Avila Pinto da Silveira
Short Summary: We propose to research the
applicability of generic learning techniques to the
macromodeling of functional behavior or other
relevant characteristics of electronic systems that
are essentially analog in nature. Specifically, to:
1. Develop an environment for testing and characterizing functional behavior in analog cells using
standard learning techniques and to compare
the results obtained with generic regression
methods in terms of accuracy and generality.
2. Research kernel-based techniques for block
macro-modeling of iinput-output cell behavior
in mixed-signal systems and compare them
to alternative techniques including manual abstraction and standard fitting.
3. Develop a framework for bottom-up automatic
macromodeling of cell behavior by systematic
composition of basic element models.
4. Develop and test algorithms for generating
macromodels for power estimation of digital
cell switching and compare them to existing
techniques.
58
Title: VECTOR - Matlab Compilation and
Hardware Synthesis of Custom-Vector
Processing for Image and Signal Processing
Algorithms
Funding institution: FCT
Coordinator from INESC-ID: Pedro C. Diniz
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: COBAYA – Closing the compilation gap
between algorithms and coarse-grained reconfigurable array architectures
Funding institution: FCT
Coordinator from INESC-ID: João Manuel
Paiva Cardoso
Short Summary:
- 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.
- To understand better runtime reconfigurable
features and to propose new schemes for
switching not only between architectural templates, but also between configurations of a
specific architectural template.
- To acquire deeper knowledge about computational intensive mobile robotic algorithms, their
requisites, data layout and computational structures used.
Title: AMADEUS - Aspects and Compiler
Optimizations for MatLab System
Development
Funding institution: 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.
COMMUNICATION NETWORKS AND
MOBILITY
Title: UBISEC&SENS - Ubiquitous Sensing and
Security in the European Homeland
Funding institution: European Comission
Coordinator from INESC-ID: Augusto Julio
Domingues Casaca
Short Summary: To provide a comprehensive
architecture for medium and large scale wireless
sensor networks with the full level of security that
will make them trusted and secure for all applications.
Title: EURO-FGI - Design and Engineering of
the Future Generation Internet
Funding institution: European Commission
Coordinator from INESC-ID: Augusto Julio
Domingues Casaca
Short Summary: EuroFGI’s main target is to create and maintain the most prominent European
centre of excellence in Future Generation Internet
design and engineering, leading towards a leadership in this domain.
Title: EURO - NF - Anticipating the Network of
the Future - From Theory to Design
Funding institution: IST - FP7 - Contract
216366
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.
This new environment forces the scientific community to develop new principles and methods to
design/dimension/control/manage future multitechnology architectures. The new paradigms
raise new challenging scientific and technological
59
problems embedded in complex policy, governance, and worldwide standards issues. Dealing
with the diversity of these scientific and socioeconomic challenges requires the integration of
a wide range of research capacities; a role that
Euro-NF will fulfil.
Indeed, Euro-NF extends, in scope and duration,
the successful Euro-NGI/FGI NoE that has integrated the required critical mass on the networks
of the future and is now a major worldwide player
in this area. The consortium has evolved in order
to have an optimal coverage of the new scope.
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: LocON - Platform for an inter-working
of embedded localisation and communication
systems
Funding institution: European Commission
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: MULTIMEDIA IP-QOS
Funding institution: Inesc- id
Coordinator from INESC-ID: Teresa Maria Sá
Ferreira Vazão Vasques
Short Summary: Estudo de qualidade de serviço em redes Multimédia IP com suporte de dispositivos móveis com diferentes características.
60
Title: MIA-VITTA - Mitigate and assess risk from
volcanic impact on terrain and human activities
Funding institution: Bureau de Recherches
Geologiques
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 man-
agement 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 team gathers civil defence
agencies, scientific teams (earthsciences, social
sciences, building, soil, agriculture, Information
Technologies and telecommunications) and an IT
private company.
Title: FI-DRA - Analysis of the Distributed
Resolution of Feature Interactions for Internet
Applications
Funding institution: 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 non-empty 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: E2E-WSN - End-to-end Reliability in
Wireless Sensor Networks
Funding institution: IST - FP6
Coordinator from INESC-ID: Paulo Rogério
Barreiros d’Almeida Pereira
Short Summary: Propose, analyze, deploy, test
and evaluate an integrated solution for end-toend reliable communications for wireless sensor
networks, including transport and routing protocols.
6.2 Publications
6.2.1
Books
Miguel Mira da Silva and José Sequeira Martins,
IT Governance, Oct 2008, FCA.
Portuguese, Speech Communication, 50(11),
Nov. 2008, Elsevier.
João Cardoso and Pedro Diniz, Compilation
Techniques for Reconfigurable Architectures,
Aug 2008, Springer.
Marielba Zacarias and H. Sofia Pinto and Patricio
Serendero and José Tribolet, Capturing and
Modelling Work Practice, Revue de Intelligence
Artificielle, 22(5), pp. 669, Oct. 2008.
Luís Gomes de Oliveira and Jorge Fernandes
and C. J. M. Verhoeven and I. M. Filanovsky
and M. Medeiros Silva, Analysis and Design of
Quadrature Oscillators, Apr 2008, Springer.
Alberto Silva and Carlos Videira, UML,
Metodologias e Ferramentas CASE, 2ª Edição,
Volume II, Mar 2008, Editora Centro Atlântico.
6.2.2 International Journal Articles
Tiago Guerreiro and Joaquim Jorge, Assessing
Electromyographic Interfaces, International
Journal of Virtual Reality and Broadcasting,
5(12), pp. (on-line), Dec. 2008, Jens Herder.
Carlos Alberto Santos and Pedro Sousa and C.
Ferreira and José Tribolet, Conceptual Model for
Continuous Organizational Auditing with Real
Time Analysis and Modern Control Theory,
Journal of emerging technologies in accounting,
5, pp. 37-63, Dec. 2008.
André Vasconcelos and Pedro Sousa and José
Tribolet, Enterprise Architecture Analysis - An
Information System Evaluation Approach,
Enterprise Modelling and Information Systems
Architectures - EMISA Special Issue 2008, Vol. 3,
pp.31-53, Dec. 2008, ISSBN 1860-6059.
Gabriel Falcão and Vitor Silva and Leonel Sousa
and José Marinho, High coded data rate and
multicodeword WiMAX LDPC decoding on the
Cell/BE, Electronics Letters, 44(24), Nov. 2008,
IET.
Jean-Luc Rouas and Isabel Trancoso and Maria
do Céu Ribeiro and Mónica Abreu, Language
and variety verification on broadcast news for
João Saraiva and Alberto Silva, Evaluation of
MDE tools from a Metamodeling Perspective,
Journal of Database Management, 19(4), pp. 5075, Oct. 2008, IGI Publishing.
Tiago Guerreiro and Hugo Nicolau and Paulo
Lagoá and Daniel Gonçalves and Joaquim
Jorge, From Tapping to Touching: Making
touch screens accessible to blind users, IEEE
Multimedia, 15(4), pp. 48-50, Oct. 2008, IEEE CS
Press.
João Lourenço and J. M. Lemos, Predictive
adaptive control of plants with online structural changes based on multiple models,
International Journal of Adaptive Control and
Signal Processing, 22(8), pp. 774-794, Oct. 2008,
John Wiley & Sons, Ltd.
Fernando Batista and Diamantino Caseiro and
Nuno Mamede and Isabel Trancoso, Recovering
Capitalization and Punctuation Marks for
Automatic Speech Recognition: Case Study
for the Portuguese Broadcast News, Speech
Communication, 50(10), pp. 847-862, Oct. 2008.
José Braz Pereira and João Madeiras Pereira,
TARCAST: Taxonomy for Augmented Reality
CASTing with web support, IJVR - International
Journal of Virtual Reality, 7(4), pp. 47-56, Dez.
2008, IPI Press.
Nastaran Baradaran and Pedro Diniz, A Compiler
Approach to managing storage and memory bandwidth in configurable architectures,
ACM Trans. on Design Automation of Electronic
Systems (TODAES), 13(4), pp. 1-26, Sep. 2008,
ACM.
61
Jânio Monteiro and Carlos Calafate and Mário
Serafim Nunes, Evaluation of the H.264 Scalable
Video Coding in Error Prone IP Networks, IEEE
Transactions on Broadcasting, 54(3), pp. 652659, Sep. 2008, IEEE.
Luis Gil and Paulo Flores and L. Miguel Silveira,
PMSat: a parallel version of MiniSAT, Journal
on Satisfiability, Boolean Modeling and
Computation, 6, pp. 71-98, Sep. 2008.
Rui Prada and Ana Paiva, Teaming Up Humans
with Synthetic Characters, Artificial Intelligence,
173(1), pp. 80 - 103, Sep. 2008, Elsevier.
Luís Russo and Arlindo Oliveira, A Compressed
Self-Index using a Ziv-Lempel Dictionary,
Information Retrieval, 11(4), pp. 359-388, Aug.
2008, Springer.
Ricardo Chaves and Georgi Kuzmanov and Leonel
Sousa and Stamatis Vassiliadis, Cost-Efficient
SHA Hardware Accelerators, IEEE Transactions
on Very Large Scale Integration Systems (TVLSI),
16(8), pp. 999-1008, Aug. 2008, IEEE.
Svetislav Momcilovic and Leonel Sousa, Parallel
Advanced Video Coding: Motion Estimation
on Multi-cores, Journal of Scalable Computing:
Practice and Experience, 9(3), pp. (on-line), Aug.
2008, West University of Timisoara.
Pedro T. Monteiro and Delphine Ropers and Radu
Mateescu and Ana T. Freitas and Hidde de Jong,
Temporal Logic Patterns for Querying Dynamic
Models of Cellular Interaction Networks,
Bioinformatics, 24(16), pp. i227-i233, Aug. 2008.
Teresa Almeida and Moises Piedade and
Leonel Sousa and José Germano and Paulo
Lopes and Filipe Cardoso and Paulo Freitas,
On the Modelling of New Tunnel Junction
Magnetoresisitive Biosensors, IEEE Transactions
on Instrumentation and Measurement, Jul. 2008.
Joonseok Park and Pedro Diniz, Partial data reuse for nested loop computations: design space
exploration, International Journal of Electronics,
95(7), pp. 705-723, Jul. 2008, Taylor & Francis.
62
Inês Lynce and João Marques Silva and Steve
Prestwich, Boosting Haplotype Inference with
Local Search, Constraints Journal, 13(1), pp.
155-179, Jun. 2008, Springer.
Andreas Wichert, Content-based image retrieval
by hierarchical linear subspace method, Journal
of Intelligent Information Systems, 1(31), pp. 85107, Jun. 2008, Springer.
Miguel Pardal and Sérgio Fernandes and
Jorge Martins and Joana Pardal, Customizing
Web Services with Extensions in the STEP
Framework, International Journal of Web Services
Practices - IJWSP, 3(1), pp. 1-12, Jun. 2008, IEEE
Computer Society.
Levent Aksoy and Eduardo Costa and Paulo
Flores and J. Monteiro, Exact and Approximate
Algorithms for the Optimization of Area and
Delay in Multiple Constant Multiplications,
IEEE Transactions on Computer-Aided Design of
Integrated Circuits and Systems, 27(6), pp. 1013
- 1026, Jun. 2008, IEEE.
Ana Paiva, From Pencil to Magic Wand: Tangibles
as Gateways to Virtual Stories, Transactions on
Edutainment, 1, pp. 162-171, Jun. 2008, Springer
Berlin / Heidelberg.
Andreas Wichert and João Dias Pereira and
Carreira P., Visual search light model for mental
problem solving, Neurocomputing, 71(13), pp.
2806-2822, Jun. 2008.
Gonçalo Tavares and Antonino Petrolino and
Luis Tavares, An Improved Feedforward Single
Frequency Estimator, IEEE Transactions on Signal
Processing, 56(5), pp. 2155-2160, May 2008, IEEE.
José Augusto and Carlos Beltran Almeida, A
Tool for Single-Fault Diagnosis in Linear Analog
Circuits with Tolerance Using the T-Vector
Approach, VLSI Design, 2008, pp. 8, Apr. 2008,
Hindawi Publishing Corporation.
Paulo Lopes, Active noise control algorithms
with reduced channel count and their stability
analysis, Signal Processing, 88(4), pp. 811-821,
Apr. 2008, Elsevier.
Duarte Oliveira and Mauro Santos and Catarina
Milheiriço and João Carriço and Susana Vinga
and Arlindo Oliveira and Hermínia Lencastre,
ccrB Typing Tool: An online resource for staphylococci ccrB sequence, Journal of Antimicrobial
Chemotherapy, 58(1), pp. 959-960, Apr. 2008.
Inês Lynce and João Marques Silva, Haplotype
Inference with Boolean Satisfiability, International Journal on Artificial Intelligence Tools,
17(2), pp. 355-387, Apr. 2008, World Scientific
Publishing.
Marco Vilela and I-Chun Chou and Susana Vinga
and Ana Tereza Vasconcelos and Eberhard Voit
and Jonas Almeida, Parameter optimization in
S-system models, BMC Systems Biology, 2, pp.
35, Apr. 2008, BiomedCentral.
Pedro Tomás and Leonel Sousa, Statistical
Analysis of a Spike Train Distance in Poisson
Models, IEEE Signal Processing Letters, 15(2009),
pp. 357-360, Apr. 2008, IEEE.
Jorge Fernandes and Hugo Gonçalves and Luís
Augusto Oliveira and M. Medeiros Silva, A Pulse
Generator for UWB-IR based on a Relaxation
Oscillator, IEEE Transactions on Circuits and
Systems II, 55(3), pp. 239-243, Mar. 2008.
S. Louchart and M. Kriegel and Rui Figueiredo
and Ana Paiva, Authoring Emergent Narrativebased Games, Journal of Game Development,
3(1), Mar. 2008, Charles River Media.
Filipe Cardoso and José Germano and Ricardo
Ferreira and Susana Cardoso and Verónica
Martins and Paulo Freitas and Moises Piedade
and Leonel Sousa, Detection of 130 nm magnetic particles by a portable electronic platform
using spin valve and magnetic tunnel junction
sensors, Journal of Applied Physics, 103(7), pp.
07A310-1-3, Mar. 2008, American Institute of
Physics.
J. M. Lemos and Luis Marreiros and Bertinho
Costa, Supervised multiple model adaptive control of heating fan, Archives of Control Sciences,
18(1), pp. 5-16, Mar. 2008, Polish Acadely of
Sciences.
Ana Casimiro and Susana Vinga and Ana T. Freitas
and Arlindo Oliveira, An analysis of the positional
distribution of DNA motifs in promoter regions
and its biological relevance, BMC Bioinformatics,
9, pp. 89, Feb. 2008, BiomedCentral.
Rui Silva and Nuno Pereira and Mário Serafim
Nunes, Probabilistic Key Management Practical
Concerns in Wireless Sensor Networks, Journal
of Networks (JNW), 3(2), pp. 29-37, Feb. 2008,
Academy Publisher.
Nuno Faria and João Carriço and Duarte Oliveira
and Mário Ramirez and Hermínia de Lencastre,
Analysis of typing methods for epidemiological
surveillance of both methicillin-resistant and
susceptible Staphylococcus aureus, Journal
of Clinical Microbiology, 46(1), pp. 136-44, Jan.
2008, American Society for Microbiology.
Maria Miragaia and João Carriço and J.C.
Thomas and Isabel Couto and M.C. Enright
and Hermínia Lencastre, Comparison of molecular typing methods for characterization of
Staphylococcus epidermidis: a proposal for
clone definition, Journal of Clinical Microbiology,
46(1), pp. 118-29, Jan. 2008, American Society
for Microbiology.
Maria Alexandra Bonito and Tiago Guerreiro
and André Martins and Vitor Fernandes and
Joaquim Jorge, Evaluating Learning Support
Systems Usability: An Empirical Approach,
Communication & Cognition, 41(1&2), Jan. 2008.
Raquel Sá-Leão and Sónia Nunes and António
Brito-Avô and Carla R. Alves and João Carriço
and Joana Saldanha and Jonas Almeida and Ilda
Santos-Sanches and Hermína Lencastre, High
dynamics of transmission and colonization by
Streptococcus pneumoniae and Haemophilus
influenzae within a day-care center revealed
in a longitudinal study, Journal of Clinical
Microbiology, 46(1), pp. 1225-34, Jan. 2008,
American Society for Microbiology.
Rui Dionísio and J. M. Lemos, Stability of
Discrete Systems Controlled in the Presence
of Intermittent Sensor Faults, Journal of Control
Science and Engineering, 2008, Jan. 2008,
Hindawi.
63
André Martins and Sofia Pinto and Arlindo Oliveira,
Using Grammatical Inference Techniques to
Learn Ontologies that Describe the Structure of
Domain Instances, Applied Artificial Intelligence,
22(1), pp. 139-167, Jan. 2008, Taylor & Francis.
Paula Vaz and David Matos, Using Unsupervised
Word Sense Disambiguation to Guess Verb
Subjects on Untagged Corporal, Language Forum, 34(1), pp. 95-105, Jan. 2008, Bahri Publications, New Delhi, India.
Pedro T. Monteiro and Nuno Mendes and Miguel
Teixeira and Sofia Orey and Sandra Tenreiro and
Nuno Mira and Hélio Pais and Alexandre Francisco
and Alexandra Carvalho and Artur Lourenço and
Isabel Sá-Correia and Arlindo Oliveira and Ana T.
Freitas, YEASTRACT-DISCOVERER: new tools
to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae, Nucleic Acids Research, 36, pp. D132-D136,
Jan. 2008, Oxford University Press.
6.2.3
Serials
Paulo Moura and Ricardo Rocha and Sara
C. Madeira, Thread-Based Competitive OrParallelism (Short Paper), 24th International
Conference on Logic Programming, Dec. 2008,
pp. 713-717, Springer.
Luís Russo and Gonzalo Navarro and Arlindo
Oliveira, Indexed Hierarchical Approximate
String Matching, String Processing and Information Retrieval, Nov. 2008, pp. 144-154, Springer.
Pedro Diniz and Diogo Ferreira, Automatic
Extraction of Process Control Flow from I/
O Operations, International Conference on
Business Process Management (BPM), Sep.
2008, pp. 342-357, Springer.
Luís Figueira and Luís C. Oliveira, Comparison
of Phonetic Segmentation Tools for European
Portuguese, PROPOR 2008 - 8th International
Conference on Computational Processing of the
Portuguese Language, Sep. 2008, pp. 252-255,
Springer-Verlag.
Sérgio Paulo and Luís C. Oliveira and Carlos
Mendes and Luís Figueira and Renato Cassaca
and Maria do Céu Ribeiro and Helena Moniz,
DIXI - A Generic Text-to-Speech System for
European Portuguese, PROPOR 2008 - 8th
International Conference on Computational
Processing of the Portuguese Language, Sep.
2008, pp. 91-100, Springer-Verlag.
Mei Yii Lim and João Assis Dias and Ruth
Aylett and Ana Paiva, Improving Adaptiveness
in Autonomous Characters, 8th International
Conference on Intelligent Virtual Agents (IVA
2008), Sep. 2008, pp. 348-355, Springer Berlin
/ Heidelberg.
Paula Cristina Martins and Alberto Silva,
ProPAMet: A Metric for Process and Project
Alignment, Proceedings of the EuroSPI
Conference, Sep.2008, LNCS, Springer.
Ana Mendes and Luísa Coheur and Nuno
Mamede and Ricardo Ribeiro and David Matos
and Fernando Batista, QA@L2F, first steps at
QA@CLEF, Sep. 2008, Springer-Verlag.
64
Raquel Martinez and João Neto and Diamantino
Caseiro, Statistical machine translation of
broadcast news from Spanish to Portuguese,
PROPOR 2008 - 8th International Conference
on Computational Processing of the Portuguese
Language, Sep. 2008, Springer.
Fernando Batista and Nuno Mamede and Isabel
Trancoso, Temporal Issues and Recognition
Errors on the Capitalization of Speech
Transcriptions, 11th International Conference
on Text, Speech and Dialogue (TSD 2008), Sep.
2008, pp. 45-52, Springer-Verlag.
Rui Amaral and Isabel Trancoso, Topic
Segmentation in a Media Watch System,
PROPOR 2008 - 8th International Conference
on Computational Processing of the Portuguese
Language, Sep. 2008, Springer.
Filipe Martins and Ana Mendes and Joana
Paulo Pardal and Nuno Mamede and João
Neto, Using System Expectations to manage
user interactions, The International Conference
on Computational Processing of Portuguese
(PROPOR 2008), Sep. 2008, pp. 240-243,
Springer-Verlag.
Miguel Bugalho and Arlindo Oliveira, An
Evaluation of the Impact of Side Chain
Positioning on the Accuracy of Discrete Models
of Protein Structures, Brasilian Symposium on
Bioinformatics, Aug. 2008, pp. 23-34, Springer.
Edgar Marques and Luis Veiga and Paulo Ferreira,
Transparent mobile middleware integration for
Java, International Euro-Par Conference (EuroPar 2008), Aug. 2008, pp. 47-57, Springer.
Luís Russo and Gonzalo Navarro and Arlindo
Oliveira, Dynamic Fully-Compressed Suffix
Trees, Combinatorial Pattern Matching, Jun.
2008, pp. 191-203, Springer.
Xiaoshu Wang and Jonas Almeida and Arlindo
Oliveira, Ontology Design Principles and
Normalization Techniques in the Web, Data
Integration in the Life Sciences, Jun. 2008, pp.
28-43, Springer.
Francisco Rocha and António Grilo and Paulo
Rogério Pereira and Mário Serafim Nunes and
Augusto Casaca, Performance Evaluation of
DTSN in Wireless Sensor Networks, Wireless and
Mobility, Jun. 2008, pp. 1-9, Springer-Verlag.
Luísa Coheur and Ana Raquel Guimarães and
Nuno J. Mamede, Supporting Named Entity
Recognition and Syntactic Analysis with FullText Queries, 13th International Conference on
Natural Language and Information Systems, Jun.
2008, Springer.
Ana Sofia Soeiro da Graça and João Marques
Silva and Inês Lynce and Arlindo Oliveira, Efficient
Haplotype Inference with Combined CP and OR
Techniques, Integration of AI and OR Techniques
in Constraint Programming for Combinatorial
Optimization Problems, May 2008, pp. 308-312,
Springer.
Alexandre Francisco and Arlindo Oliveira and
Ana T. Freitas, Identification of Transcription
Factor Binding Sites in Promoter Regions
by Modularity Analysis of the Motif Co-occurrence Graph, International Symposium on
Bioinformatics Research and Applications, May
2008, pp. 220-231, Springer.
Luís Russo and Gonzalo Navarro and Arlindo
Oliveira, Fully-Compressed Suffix Trees, 8th
Latin American Symposium on Theoretical
Informatics (LATIN), Apr. 2008, pp. 362-373,
Springer.
Victor Silva and Rui Duarte and Mário Véstias
and Horácio Neto, Multiplier-Based Double
Precision Floating Point Divider According to
the IEEE-754 Standard, International Workshop
on Applied Reconfigurable Computing, ARC
2008, Mar. 2008, pp. 262-267, Springer.
Ricardo Chaves and Blagomir Donchev and
Georgi Kuzmanov and Leonel Sousa and
Stamatis Vassiliadis, BRAM-LUT tradeoff
on a Polymorphic DES Design, International
Conference on High Performance Embedded
Architectures & Compilers (HiPEAC 2008), Jan.
2008, pp. 55-65, Lecture Notes in Computer
Science.
65
6.2.4
Edited Books
Paula Kotzé and William Wong and Joaquim
Jorge and Alan Diz and Paula Alexandra Silva Ed.,
Creativity and HCI: From Experience to Design
in Education, IFIP International Federation for
Information Processing, no. 289, Nov. 2008,
Springer.
José Pereira and Alpesh Ranchordas and Hélder
Araújo and João Madeiras Pereira Eds., Computer
Vision and Computer Graphics – Theory and
Application, Visigrapp 2007, Communications in
Computer and Information Science, no. 21, Jul.
2008, Springer.
6.2.5 Book Chapters
José Pereira and Daniel Tércio and João
Madeiras Pereira and António Veloso, TeDance
– Perspectives on Technologically Expanded
Dance,
Chapter
ANICOMDA:
ANImation
COmposition from a Motion Capture Database,
Dec. 2008, FMH Edições.
Paula Kotzé and William Wong and Joaquim
Jorge and Alan Dix and Paula Alexandra Silva,
Creativity and HCI: From Experience to Design
in Education, Chapter Preface - Creativity and
HCI: From Experience to Design in Education,
Nov. 2008, Springer.
Ferran Sanchiz and Manuel Contero and
Joaquim Jorge, Advances in Human-Computer
Interaction, Chapter Sketch-Based Interfaces
for Parametric Modelling, Nov. 2008, I-Tech
Education and Publishin.
Maria Alexandra Bonito and Joaquim Jorge
and Claude Gahoui, Strategic Applications
of Distance Learning Technlogies, Chapter
Motivation to e-Learn: a quantitative design technique, Nov. 2008, Idea Group Publishing.
Rodrigo Castelo and Miguel Mira da Silva,
Handbook of Research on Contemporary
Theoretical Models in Information Systems,
Chapter The Value of Flexibility in Custom
Software Development, Sep. 2008, IGI Global.
66
Hernâni Freitas and Alexandre Barão and
Alberto Silva, Handbook of Research on Social
Dimensions of Semantic Technologies and Web
Services, Chapter Social Networks in Information
Systems Tools and Services, Sep. 2008, Idea
Group Reference.
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, Sep. 2008,
Springer.
Jânio Monteiro and Carlos Calafate and Mário
Serafim Nunes, Encyclopedia of Information
Science and Technology, Second Edition,
Chapter Transmission of Scalable Video in
Computer Networks, Aug. 2008, IGI Publishing.
Gabriela Ciuprina and Daniel Ioan and Dragos
Niculae and Jorge Villena and L. Miguel Silveira,
Intelligent Computer Techniques in Applied
Electromagnetics, Chapter Parametric Models
based on Sensitivity Analysis for Passive
Components, Jul. 2008, Springer Berlin
Heidelberg.
André Zúquete and Paulo Ferreira and Filipe
Simões and Pedro Antunes, Voto Electrónico:
Discussão técnica dos seus problemas e oportunidades, Chapter Arquitecturas, Jul. 2008,
Sílabo.
André Zúquete and Paulo Ferreira and Rui
Joaquim, Voto Electrónico: Discussão Técnica
dos seus problemas e oportunidades, Chapter
REVS – um protocolo robusto de votação electrónica pela Internet, Jul. 2008, Sílabo.
Paulo Ferreira, Voto Electrónico: Discussão
técnica dos seus problemas e oportunidades,
Chapter MobileREVS – avaliação, Jul. 2008, Sílabo.
Paulo Ferreira and Rui Joaquim, Voto Electrónico:
Discussão técnica dos seus problemas e oportunidades, Chapter MobileREVS – um sistema
de votação electrónica para dispositivos móveis,
Jul. 2008, Sílabo.
Rui Rodrigues and J. Monteiro, Computational
Intelligence: Methods and Applications, Chapter
Review of the Algorithm Selection, Jun. 2008,
Exit Publishers.
Maria Alexandra Bonito and Joaquim Jorge and
Claude Ghaoui, Encyclopedia of Networked and
Virtual Organizations, Chapter an Exploratory
Analysis of the Role of E Emotions in E-Learning,
Jun. 2008, IGI Global.
Shinichi Yamagiwa and Leonel Sousa,
Concurrent and Parallel Computing: Theory,
Implementation and Applications, Chapter 1:
CARAVELA: A High Performance Stream-based
Concurrent Computing Platform, May 2008, Nova
Science Publishers.
Joel R. Phillips and Zhenhai Zhu and L. Miguel
Silveira, Model Order Reduction: Theory,
Research Aspects and Applications, Chapter
PMTBR: a family of approximate principal-components-like reduction algorithms, May 2008,
Springer Boston.
Moises Piedade and José Gerald and Leonel
Sousa and Gonçalo Tavares, VLSI Circuits for
Biomedical Applications, Chapter 2: Visual
Cortical Neuroprosthesis: A System Approach,
Apr. 2008, Artech House.
Luís Guerra e Silva and Zhenhai Zhu and Joel
R. Phillips and L. Miguel Silveira, “VLSI-SoC:
Research Trends in VLSI and Systems on Chip”,
Chapter “Library Compatible Variational Delay
Computation”, Jan. 2008, Springer.
Paula Cristina Martins and Alberto Silva,
Encyclopedia of Networked and Virtual
Organizations, Chapter Process Management
Methodology, Jan. 2008, Idea Group Reference.
6.2.6 International Conferences
Matilde Cordeiro and Ana T. Freitas and R Varma
Penmetsa and Douglas R Cook and Pedro
Fevereiro, Candidate gene approach to investigate ABA-mediated water stress responses in
Medicago truncatula, IV International Conference
on Legume Genomics & Genetics, Dec. 2008.
Josep Argelich and Inês Lynce, CNF Instances
from the Software Package Installation
Problem, 15th RCRA workshop on Experimental
Evaluation of Algorithms for Solving Problems
with Combinatorial Explosion, Dec. 2008.
André Claro and Paulo Rogério Pereira and
Luís Campos, Framework for Personal TV,
International Workshop on Traffic Management
and Traffic Engineering for the Future Internet
(FITraMEn 08), Dec. 2008.
João Nuno Silva and Luis Veiga and Paulo
Ferreira, Heuristic for resources allocation on
utility computing infrastructures, ACM/IFIP/
USENIX 9th International Middleware Conference
(6th International Workshop on Middleware for
Grid Computing - MGC 2008), Dec. 2008, ACM.
Fernando Batista and Rui Amaral and Isabel
Trancoso and Nuno Mamede, Impact of dynamic
model adaptation beyond speech recognition,
SLT 2008, Dec. 2008.
Alexandre Francisco and Arlindo Oliveira,
Improved Algorithm and Data Structures for
Modularity Analysis of Large Networks, NIPS
Workshop on Analyzing Graphs, Dec. 2008.
Diogo Farinha and Ricardo Lopes Pereira and
Teresa Vazão Vasques, Performance analysis
of VoD architectures, International Workshop on
Traffic Management and Traffic Engineering for
the Future Internet (FITraMEn 08), Dec. 2008.
João Nuno Silva and Luis Veiga and Paulo
Ferreira, SPADE: scheduler for parallel and
distributed execution from mobile devices,
ACM/IFIP/USENIX 9th International Middleware
Conference (6th International Workshop on
Middleware for Pervasive and Ad-hoc Computing
- MPAC 2008), Dec. 2008, ACM.
67
Filipe Martins and Joana Paulo Pardal and Luís
Franqueira and Pedro Arez and Nuno Mamede,
Starting to cook a tutoring dialogue system,
IEEE/ACL Workshop on Spoken Language
Technology — SLT, Dec. 2008.
Gabriel Pestana and Augusto Casaca and Isabel
Rebelo, Handling airport ground operations
using an A-SMGCS solution, Third Annual
International Airport Geographic Information
Systems Conference, Nov. 2008.
Isabel Trancoso, Two decades of research
on ASR, SLT 2008 IEEE Workshop on Spoken
Language Technology, Dec. 2008, IEEE.
Inês Lynce and Ana Sofia Graça and João
Marques Silva and Arlindo Oliveira, Haplotype
Inference with Boolean Constraint Solving: an
Overview, 20th IEEE International Conference on
Tools with Artificial Intelligence, Nov. 2008, IEEE.
Ricardo Ribeiro and David Matos, Using Prior
Knowledge to Assess Relevance in Speech
Summarization, 2008 IEEE Workshop on Spoken
Language Technology, Dec. 2008, IEEE.
José Santos and Vasco Manquinho, Learning
Techniques for Pseudo-Boolean Solving,
International Workshop on Implementation of
Logics, Nov. 2008.
Fábio Daitx and Vagner S. Rosa and Eduardo
Costa and Paulo Flores and Sérgio Bampi, VHDL
generation of optimized FIR filters, International
Conference on Signals, Circuits and Systems
(SCS), Nov. 2008, pp. 1-5.
Helena Sarmento, A portable WSN Approach for
Specific Civil Structures Monitoring, Conference
on Design of Circuits and Integrated Systems,
Nov. 2008.
Levent Aksoy and Ece Gunes and Paulo Flores,
An exact breadth-first search algorithm for
the multiple constant multiplications problem,
NORCHIP, Nov. 2008, pp. 41-46.
Alexandre Francisco and Ricardo Baeza-Yates
and Arlindo Oliveira, Clique Analysis of Query
Log Graphs, String Processing and Information
Retrieval, Nov. 2008, pp. 188-199, Springer.
68
João Leitão and Liliana Rosa and Luis Rodrigues,
Large-Scale
Peer-to-Peer
Autonomic
Monitoring, GLOBECOM Workshops, Nov. 2008,
pp. 1-5, IEEE.
João Marques Silva and Inês Lynce and Vasco
Manquinho, Symmetry Breaking for Maximum
Satisfiability, International Conferences on
Logic for Programming, Artificial Intelligence and
Reasoning (LPAR 08), Nov. 2008, Springer.
Alberto Abad and Isabel Trancoso, The L2F
language verification systems for Albayzin-08
evaluation, V Jornadas en Tecnología del Habla,
Nov. 2008.
Cristiano Lazzari and Thiago Assis and Fernanda
Kastensmidt and Gilson Wirth and Ricardo Reis
and Lorena Anghel, An Analysis and Design
Technique to Reduce SET Sensitivity in
Combinational Integrated Circuits, 16th IFIP/
IEEE International Conference on VLSI-Soc, Oct.
2008, pp. 114-117.
João Nuno Silva and Luis Veiga and Paulo Ferreira,
nuBOINC: BOINC Extensions for Community
Cycle Sharing, 2nd IEEE International Conference
on Self-Adaptive and Self-Organizing Systems
(3rd IEEE SELFMAN workshop), Oct. 2008, IEEE.
Rúben Martins and Inês Lynce, Effective CNF
Encodings for the Towers of Hanoi, International
Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR’08) - short paper, Nov. 2008.
Andreas Wichert, Image categorization and retrieval, 11th Neural Computation and Psychology
Workshop, Sep. 2008, World Scientific.
L. Pieper and Eduardo Costa and S. Bampi and
J. Monteiro, Efficient Dedicated Multiplication
Blocks for 2´s Complement Radix-16 and Radix256 Array Multipliers, International Conference on
Signals, Circuits & Systems (SCS08), Nov. 2008.
Pierangelo Di Sanzo and Paolo Romano and Bruno
Ciciani and Francesco Quaglia, A Performance
Model of Multi-Version Concurrency Control,
Proc. 16th IEEE International Symposium on
Modeling, Analysis and Simulation of Computer
and Telecommunication Systems (MASCOTS),
Sep. 2008, IEEE Computer Society Press.
Paolo Romano and Diego Rughetti and Francesco
Quaglia and Bruno Ciciani, APART: Low Cost
Active Replication for Multi-tier Data Acquisition
Systems, Proc. 7th IEEE International Symposium
on Network Computing and Applications (NCA) (Best Paper Award), Sep. 2008, IEEE Computer
Society Press.
Nuno Sebastião and Tiago Dias and Nuno
Roma and Paulo Flores and Leonel Sousa,
Application specific programmable IP core
for motion estimation: technology comparison
targeting efficient embedded co-processing
units, 11th EUROMICRO Conference on Digital
System Design: Architectures, Methods and
Tools - DSD2008, Sep. 2008, pp. 181-188, IEEE
Computer Society.
Alberto Abad and João Paulo Neto, Automatic
classification and transcription of telephone
speech in radio broadcast data, International
Conference on Computational Processing of
Portuguese Language (PROPOR 2008), Sep.
2008.
Ciro Martins and António Teixeira and João Paulo
Neto, Automatic Estimation of Language Model
parameters for unseen Words using Morphosyntactic Contextual Information, Interspeech
2008, Sep. 2008, ISCA.
Bruno Oliveira and Pável Calado and Sofia
Pinto, Automatic Tag Suggestion Based on
Resource Contents, Knowledge Engineering and
Knowledge Management - Knowledge Patterns,
Sep. 2008, Springer Verlag.
Horácio Neto and Mário Véstias, Decimal
Multiplier on FPGA using Embedded Binary
Multipliers, FPL08 - International Conference
on Field Programmable Logic and Applications,
Sep. 2008, pp. 197-202, IEEE.
Porfírio Filipe and Paulo Araújo and Nuno J.
Mamede, Dialogue Systems Domain Interaction
Using, 11th conference of the Ibero-American
Conference on Artificial Intelligence (Iberamia
2008), Sep. 2008, Springer-Verlag.
Hugo Meinedo and Márcio Viveiros and João
Paulo Neto, Evaluation of a Live Broadcast News
Subtitling System for Portuguese, Interspeech
2008, Sep. 2008, ISCA.
Samuel Antão and Ricardo Chaves and Leonel
Sousa, FPGA Elliptic Curve Cryptographic
Processor
over
GF(2^m),
International
Conference on Field-Programmable Technology
(ICFPT 08), Sep. 2008, IEEE.
Luís João and Rodrigo Castelo and Lúcio Ferrão
and Irene Montenegro and Miguel Mira da Silva,
Framework for Web Application Development
based on Interaction Design Patterns, The
Nordic Conference on Pattern Languages of
Programs (VikingPLoP), Sep. 2008.
P. Marques Morgado and Paulo Flores and J.
Monteiro and L. Miguel Silveira, Generating
Worst-case Stimuli for Accurate Power Grid
Analysis, International Workshop on Power and
Timing Modeling, Optimization and Simulation
(PATMOS), Sep. 2008.
Helena Moniz and Ana Isabel Silva and Isabel
Trancoso and Maria do Céu Ribeiro, How can
you use disfluencies and still sound as a good
speaker?, Interspeech 2008, Sep. 2008, ISCA.
Rui Crespo, Identification of Feature Denial of
Services, International Workshop on Wireless
and Mobile Security, Sep. 2008.
Gracinda Carvalho and David Matos and Vitor
Rocio, IdSay: A Question Answering system for
Portuguese powered by Wikipedia, Propor 2008
Special Session: Applications of Portuguese
Speech and Language Technologies, Sep. 2008.
Gracinda Carvalho and David Matos and
Vitor Rocio, IdSay: Question Answering
for Portuguese, QA@CLEF 2008 Workshop
(European Conference on Research and
Advanced Technology for Digital Libraries - ECDL
2008), Sep. 2008.
Alberto Abad and João Paulo Neto, Incorporating
acoustical modelling of phone transitions
in an hybrid ANN/HMM speech recognizer,
Interspeech-2008, Sep. 2008.
Susana Vinga and Karl Thomaseth and J. M.
Lemos and Ana Rute Neves and Helena Santos
and Ana T. Freitas, Metabolic network structure analysis: a case study on glycolysis in
Lactococcus lactis, ECCB2008 - European
Conference on Computational Biology, Sep. 2008.
69
Mário Macedo and Mário Serafim Nunes and
António Grilo, Minimizing Single TDMA Frame
Sizes in Alarm-driven Wireless Sensor Networks
Applications, Personal Wireless Communications
2008, Sep. 2008, Springer Boston.
Tiago Guerreiro and Ricardo Gamboa and
Joaquim Jorge, Mnemonical Body Shortcuts:
Improving
Mobile
Interaction,
European
Conference on Cognitive Ergonomics, Sep. 2008,
GPCG.
Tiago Guerreiro and Pedro Santana and Joaquim
Jorge, Mobile Text-Entry Models for People with
Disabilities, European Conference on Cognitive
Ergonomics, Sep. 2008, GPCG.
J.P. Oliveira and J. Goes and N. Paulino and
Jorge Fernandes and J. Paisana, New LowPower 1.5-bit Time-Interleaved MDAC based
on MOS Capacitor Amplification, ICECS - IEEE
International Conference on Electronics, Circuits
and Systems, Sep. 2008, IEEE.
José Igreja and J. M. Lemos, Nonlinear model
predictive control of a water distribution canal pool, Workshop on Assessment and Future
Directions of NMPC, Pavia, Italy, Sep. 2008.
70
Patrick Silva and Nelson Neto and Aldebaro
Klautau and André Adami and Isabel Trancoso,
Speech Recognition for Brazilian Portuguese
using the Spoltech and OGI-22 Corpora¸ XXVI
Simposio Brasileiro de Telecomunicações, Sep.
2008.
Fernando Batista and Nuno J. Mamede and Isabel
Trancoso, The impact of Language Dynamics
on the Capitalization of Broadcast News, Proc.
of the Interspeech 2008, Sep. 2008.
Luís C. Oliveira and Sérgio Paulo and Luís
Figueira and Carlos Mendes, The INESC-ID
Blizzard Entry: Unsupervised Voice Building
and Synthesis, Blizzard Challenge 2008, Sep.
2008.
João Saraiva and Alberto Silva, The WebComfort
Framework: an Extensible Platform for the
Development of Web Applications, Proceedings
of the 34th EUROMICRO Conference on Software
Engineering and Advanced Applications, Service
and Component-Based Software Engineering
Track, Sep. 2008, IEEE Computer Society.
Rui Amaral and Isabel Trancoso, Topic
Segmentation and Indexation in a Media Watch
System, Interspeech 2008, Sep. 2008, ISCA.
Mário Serafim Nunes and Charalampos Patrikakis
and Nelson Escravana and Nikolaos Papaoulakis
and John Moore Olmstead, Personalised Media
Streaming for Large Athletic Events, Networked
and Electronic Media Summit (NEM Summit),
Sep. 2008.
Paolo Romano and Nuno Carvalho and Luis
Rodrigues, Towards Distributed Software
Transactional Memory Systems, Proc. 2th ACM
Workshop Large Scale Distributed Systems and
Middleware (LADIS), Sep. 2008, ACM Press.
Pedro Sousa and Manuel J. Fonseca, SketchBased Retrieval of Drawings using Topological
Proximity, Proc. International Workshop on
Visual Languages and Computing (VLC2008),
Sep. 2008, Knowledge Systems Institute.
Isabel Trancoso and José Portelo and Miguel
Bugalho and João Paulo Neto and António
Serralheiro, Training audio events detectors
with a sound effects corpus, Interspeech 2008,
Sep. 2008, ISCA.
Rui Marcelino and Horácio Neto and João
Cardoso, Sorting Units for FPGA-Based
Embedded Systems, Distributed Embedded
Systems: Design, Middleware and Resources
(DIPES 2008), Sep. 2008, pp. 11-22, Springer.
Patrícia Dinis and Alberto Silva, Utilização e
Cenários de Aplicação do BOA, Actas do
Simposio Internacional de Informática Educativa
(SIIE 2008), Sep. 2008.
Carlos Segura and Alberto Abad and Javier
Hernando and Climent Nadeu, Speaker
Orientation Estimation Based on Hybridation
of GCC-PHAT and HLBR, INTERSPEECH-2008,
Sep. 2008.
David Ferreira and Alberto Silva, Wiki Supported
Collaborative
Requirements
Engineering,
Proceedings of the Third Workshop on Wikis for
Software Engineering at WikiSym 2008, Sep. 2008.
Hugo Alonso and J. M. Lemos and Teresa
Mendonça, A target control infusion method for
neuromuscular blockade based on hybrid parameter estimation, 3ºth Annual Int. IEEE EMBS
Conference, Vancouver, Canada, Aug. 2008, pp.
707-710, IEEE - EMB.
Iolanda Leite and André Tiago Pereira and Carlos
Martinho and Ana Paiva, Are emotional robots
more fun to play with?, RO-MAN 2008 (The 17th
IEEE International Symposium on Robot and
Human Interactive Communication), Aug. 2008,
pp. 77-82, IEEE Computer Society.
Laércio Junior and Teresa Vazão Vasques and
Fernando Mira da Silva and António Fonseca,
Dynamic QoS Adaptation for Multimedia Traffic,
International Conference, Jul. 2008.
Frederico Baptista and João Saraiva and Alberto
Silva, eCT - The B2C e-Commerce Toolkit for
WebComfort Platform, Proceedings of the
International Conference on e-Business, ICETE,
Jul. 2008, INSTICC.
Nuno Tenazinha and Susana Vinga, Describing
saturation phenomena in models of regulated
metabolic networks, ICSB08 The 9th International
Conference in Systems Biology, Aug. 2008.
Alfredo Ferreira and Marco Vala and Guilherme
Raimundo and João Madeiras Pereira and
Joaquim Jorge and Ana Paiva, EditION: A
Collaborative Calligraphic Tool to Manage
Virtual Environments, VL/HCC Workshop on
Sketch Tools for Diagramming, Jul. 2008, pp. 3746.
Bruno Martins and Hugo Manguinhas and José
Borbinha, Extracting and Exploring the GeoTemporal Semantics of Textual Resources,
IEEE International Conference on Semantic
Computing, Aug. 2008, pp. 1-9, IEEE.
José Igreja and J. M. Lemos and S. J. Costa,
Feedback linrearizing control for transport
phenomena processes, Controlo 2008, 8th
Portuguese Conf. on Control Automation, Vila
Real, Portugal, Jul. 2008, UTAD.
Ricardo Ribeiro and David Matos, MixedSource
Multi-Document
Speech-to-Text
Summarization,
MMIES-2:
Multi-source,
Multilingual
Information
Extraction
and
Summarization (COLING 2008), Aug. 2008, pp.
33-40, Coling 2008 Organizing Committee.
João Santos and José Mendonça and João
C. Martins, Instrumentation Remote Control
through the Internet with PHP, IEEE International
Conference on Virtual Instruments, HumanComputer Interfaces, and Measurement Systems
(VECIMS 2008), Jul. 2008.
Nicolas Castro and J. M. Lemos, Model predictive control of depth of anaesthesia: Guidelines
for controller configuration, 3th Annual Int. IEEE
EMBS Conference, Aug. 2008, pp. 5822-5825,
IEEE - EMB.
Kuzman Ganchev and João Graça and John
Blitzer and Ben Taskar, Multi-View Learning
over Structured and Non-Identical Outputs,
Uncertainty in Artificial Intelligence (UAI 2008),
Jul. 2008.
André Valente and Joana P. Gonçalves and Mário
Grãos, Polar Mapper: Computational tool for
integrated visualization of protein interaction
networks and mRNA expression data (Abstract
and poster), The 9th International Conference on
Systems Biology, Aug. 2008.
Nuno Sebastião and Tiago Dias and Nuno Roma
and Paulo Flores and Leonel Sousa, Specialized
Motion Estimation Processor for Heterogeneous
Multicore Video Coding Systems, 4th
International Summer School on Advanced
Computer Architecture and Compilation for
Embedded Systems - ACACES2008, Jul. 2008,
pp. 63-66, HiPEAC.
Miguel Barão and J. M. Lemos, An efficient
Kullback-Leibler optimization algorithm for
probabilistic control design, 16th Mediterranean
Conference on Control and Automation, Ajaccio,
France, Jul. 2008.
Susana Vinga and Karl Thomaseth and J. M.
Lemos and Ana Rute Neves and Helena Santos
and Ana T. Freitas, Structural analysis of metabolic networks: a case study on lactococcus
lactis, 8th Portuguese Conference on Automatic
Control – CONTROLO’2008, Jul. 2008.
71
Andreas Wichert, Subspace Indexing for
Extremely High-Dimensional CBIR, International
Workshop on Content-Based Multimedia Indexing
2008, Jul. 2008, pp. 330-338, IEEE.
Artur Ferreira and Arlindo Oliveira and Mário
Figueiredo, Suffix Arrays: a competitive choice
for fast Lempel-Ziv Compression, International
Conference on Signal Processing and Multimedia
Applications (SIGMAP), Jul. 2008, pp. 5-12.
Luis Rodrigues and Nuno Carvalho and Emili
Miedes, Supporting Linearizable Semantics in
Replicated Databases, 7th IEEE International
Symposium on Network Computing and
Applications, Jul. 2008, IEEE.
Bertinho Costa and J. M. Lemos and E. Guillot
and G. Olalde and L. G. Rosa and J. C. Fernandes,
Tempertaure control of a solar furnace for material testing, Controlo 2008 - 8th Portuguese
Conferebnce on Automatic Control, Jul. 2008,
APCA.
Pedro T. Monteiro and Delphine Ropers and
Radu Mateescu and Ana T. Freitas and Hidde
de Jong, Temporal Logic Patterns for Querying
Qualitative Models of Genetic Regulatory
Networks, Proceedings of the 18th European
Conference on Artificial Intelligence (ECAI 08),
Jul. 2008, pp. 229-233, IOS Press.
J.P. Oliveira and J. Goes and N. Paulino and
Jorge Fernandes and J. Paisana, A MultiplyingBy-Two CMOS Amplifier for High-Speed ADCs
based on Parametric Amplification, MixDes
- International Conference on Mixed Design of
Integrated Circuits and Systems, Jun. 2008.
Paolo Romano and Bruno Ciciani and Andrea
Santoro and Francesco Quaglia, Accuracy vs
Efficiency of Hyper-exponential Approximations
of the Response Time Distributions of MMPP/
M/1 Queues, Proc. 13th IEEE Workshop on
Dependable Parallel, Distributed and NetworkCentric Systems (DPDNS), Jun. 2008, IEEE
Computer Society Press.
72
Bertinho Costa and J. M. Lemos, An Adaptative
Temperature Control law for a solar furnace,
16th Mediterranean Conference on Control and
Automation; Ajaccio - France, Jun. 2008, pp.
1054-1059, MCA, IEEE, CSS.
Sérgio Guerreiro and André Vasconcelos and José
Tribolet, Applying control systems state of the
art to Organizational Engineering, International
Conference on Enterprise Information Systems,
ICEIS 2008, Jun. 2008.
Nuno Castela and José Tribolet, AS-IS
Continuous Representation in Organizational
Enginering,
International
Conference
on
Enterprise Information Systems, ICEIS 2008, Jun.
2008.
Marielba Zacarias and Sofia Pinto and José
Tribolet, Automatic Discovery of Personal
Action Contexts, Fifth International Workshop on
Modeling and Reasoning in Context (MRC2008),
Jun. 2008, pp. 77-88, ISBN 978-2-908849-22-6.
TELECOM Bretagne, June 2008.
Bruno Oliveira and Pável Calado and Sofia Pinto,
Automatic Tag Suggestion Based on Resource
Contents, European Semantic Web Conference
2008, Jun. 2008.
Kuzman Ganchev and João Graça and Ben Taskar,
Better Alignments = Better Translations?, ACL08: HLT, Jun. 2008, pp. 986-993, Association for
Computational Linguistics.
José Costa and J. Monteiro, Computation of
the Minimal Set of Paths for ObservabilityBased Statement Coverage, 15th International
Conference Mixed Design of Integrated Circuits
and Systems, Jun. 2008.
Marielba Zacarias and Rodrigo Magalhães and
José Tribolet, Engineering the Organization from
the Bottom Up, The 2nd International Workshop
on Human Resource Information Systems, Jun.
2008.
Teresa Almeida and Moises Piedade, From
DPLL Design to its Implementation on a FixedPoint DSP, EDERS2008, Proceedings of the
2008 European DSP Education & Research
Symposium, pp. 215-222, Jun. 2008, pp. 215222, Texas Instruments.
V. C. Martins and F. A. Cardoso and J. Loureiro
and M. Mercier and José Germano and S.
Cardoso and R. Ferreira and L. P. Fonseca
and Leonel Sousa and Moises Piedade and
P. P. Freitas, Integrated Spintronic Platforms
for Biomolecular Recognition Detection, AIP
Conference on Biomagnetism and Magnetic
Biosystems based on Molecular Recognition
Processes, Jun. 2008, pp. 150-175, API.
Joana Paulo Pardal, Position paper on Spoken
Dialogue
Systems,
Young
Researchers
Roundtable on Spoken Dialogue Systems, Jun.
2008.
Paolo Quaglia, Integration and Evaluation of
Multi-Instance-Precommit
Schemes
within PostgreSQL, Proc. of the 38th IEEE/IFIP
International Conference on Dependable Systems
and Networks (DSN), Jun. 2008, IEEE Computer
Society Press.
Filipe Martins and Ana Mendes and Márcio
Viveiros and Joana Paulo Pardal and Pedro
Arez and Nuno Mamede and João Paulo Neto,
Reengineering a domain-independent framework for Spoken Dialogue Systems, Software
Engineering, Testing, and Quality Assurance
for Natural Language Processing, an ACL 2008
Workshop, Jun. 2008.
Joao P. Carvalho and Laura Wise and Alberto
Murta and Marta Mesquita, Issues on Dynamic
Cognitive Map Modelling of Purse-seine Fishing
Skippers Behavior, WCCI2008 - 2008 IEEE
World Congress on Computational Intelligence,
Jun. 2008, pp. 1503-1510 , IEEE Computational
Intelligence Society.
Fernando Batista and Nuno Mamede and Isabel
Trancoso, Language Dynamics and Capitalization
using Maximum Entropy, 46th Annual Meeting
of the Association for Computational Linguistics
(ACL 2008), Jun. 2008.
Luísa Coheur and Ana Raquel Guimarães and
Nuno Mamede, Natural Language Interfaces
to Databases: simple tips towards usability,
5th International Workshop on Natural Language
Processing and Cognitive Science (NLPCS), Jun.
2008, INSTICC Press.
Tiago Guerreiro and Paulo Lagoá and Pedro
Santana and Daniel Gonçalves and Joaquim
Jorge, Navtap and Brailletap: Non-visual input interfaces, RESNA 2008 - Rehabilitation
Engineering and Assistive Technology Society of
North America Conference, Jun. 2008.
José Santiago and Augusto Casaca and Paulo
Rogério Pereira, Non-Custodial Multicast
over the DTN-Prophet Protocol, International
Conference on Wireless Sensor and Actor
Networks II, Jun. 2008, pp. 197-208, Springer.
Joao P. Carvalho and Nuno Homem, Optimizing
a Fraud Detection Process, IPMU08 -12th
International
Conference
on
Information
Processing and Management of Uncertainty in
Knowledge-Based systems, Jun. 2008, pp. 583590.
Rui Rodrigues and J. Monteiro, Review of
the Algorithm Selection, Eighth International
Conference on Artificial Intelligence and Soft
Computing, Jun. 2008.
Teresa Almeida and Moises Piedade, Signal
Generator Implemented on a Fixed-Point DSP,
EDERS2008, Proceedings of the 2008 European
DSP Education & Research Symposium, Jun.
2008, pp. 223-230, Texas Instruments.
João Saraiva and Alberto Silva, The ProjectITStudio UMLModeler: A tool for the design
and transformation of UML models, Actas 3ª
Conferencia Ibérica de Sistemas y Tecnologías
de la Información (CISTI 2008), Jun. 2008.
David Ferreira and Alberto Silva, The ProjectITStudio/Requirements CASE Tool - A Practical
Requirements Specification Case Study, Actas
3ª Conferencia Ibérica de Sistemas y Tecnologías
de la Información (CISTI 2008), Jun. 2008.
Célia Talma and Américo Azevedo and Sofia Pinto
and Eugénio Oliveira, Towards an ontology mapping process for business process composition
basys 2008 - 8th IFIP International Conference on
Information Technology for Balanced Automation
Systems, Jun. 2008, Springer.
Tiago Santos and Alfredo Ferreira and Filipe
Dias and Manuel Fonseca, Using Sketches and
Retrieval to Create LEGO Models, Eurographics
Workshop on Sketch-Based Interfaces and
Modeling (SBIM08), Jun. 2008, Eurographics.
73
Aleksandar Ilic and Leonel Sousa, A distributed platform for large scale simulation and
classification, Fourth International Summer
School on Advanced Computer Architecture
and Compilation for Embedded Systems ACACES2008, May 2008, HiPEAC (poster).
Shinichi Yamagiwa and Leonel Sousa and Koichi
Wada, Heuristic Optimization Methods for Improving Performance of Recursive General Purpose Applications on GPUs, the 7th International
Symposium on Parallel and Distributed Computing (ISPDC 2008), May 2008, IEEE CS.
Pedro Matutino and Leonel Sousa, An RNS
based specific processor for Computing the
Minimum, 11th EUROMICRO Conference on
Digital System Design: Architectures, Methods
and Tools - DSD2008, May 2008, IEEE Computer
Society Press.
André and Carlos Martinho and Iolanda Leite and
Ana Paiva, iCat, the chess player: the influence
of embodiment in the enjoyment of a game, 7th
international conference on Autonomous agents
and multiagent systems (AAMAS 2008), May
2008, pp. 1253-1256, IFAAMAS.
João Germano and Alberto Silva and Fernando
Mira da Silva, Blackbird Monitoring System
- Performance Analysis and Monitoring in
Information Systems, Proceedings of the WebIST
Conference, May 2008.
Iolanda Leite and Carlos Martinho and André
Pereira and Ana Paiva, iCat: an affective game
buddy based on anticipatory mechanisms, 7th
international conference on Autonomous agents
and multiagent systems (AAMAS 2008), May
2008, pp. 1229-1232, IFAAMAS.
João Graça and Joana Paulo Pardal and Luísa
Coheur and Diamantino Caseiro, Building a golden collection of parallel Multi-Language Word
Alignment, The 6th International Conference
on Language Resources and Evaluation, LREC
2008, May 2008.
Aleksandar Ilic and Frederico Pratas and Leonel Sousa, Distributed Web-based Platform
for Computer Architecture Simulation, 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), May 2008, IEEE.
Josep Argelich and Alba Cabiscol and Inês Lynce
and Felip Manyà, Encoding MAX-CSP into
Partial MAX-SAT, ISMVL 08, May 2008, IEEE.
Joao P. Carvalho and Laura Wise and Alberto
Murta, Fuzzy Modeling and Simulation of Purseseine Fishing Skippers Behavior, NFIPS08 North American Fuzzy Information Processing
Society International Conference, May 2008,
IEEExplorer.
Ana Sofia Graça and Inês Lynce and João
Marques Silva and Arlindo Oliveira, Generic ILP
vs Specialized 0-1 ILP for Haplotype Inference,
Workshop on Constraint Based Methods for
Bioinformatics, May 2008.
74
António Calado and Manuel Chumbinho and
Alberto Silva and Luís de Sousa, Integration of
Hydrographic Data Products in a Global Web
Based 2D and 3D GIS, Proceedings of Canadian
Hydrographic Conference, May 2008.
Pedro Sequeira and Ana Paiva, Learning to
interact: connecting perception with action in virtual environments, 7th international conference on Autonomous agents
and multiagent systems (AAMAS 2008),
May 2008, pp. 1257-1260, IFAAMAS.
Frederico Pratas and B. Mladen and G. Gaydadjiev
and Leonel Sousa and S. Kaxiras, Low Power
Microarchitecture with Instruction Reuse, ACM
Computing Frontiers 2008, May 2008.
Luís C. Oliveira and Sérgio Paulo and Luís
Figueira and Carlos Mendes and Ana Nunes and
Joaquim Godinho, Methodologies for Designing
and Recording Speech Databases for Corpus
Based Synthesis, LREC 2008, The sixth international conference on Language Resources and
Evaluation, May 2008.
Josep Argelich and Alba Cabiscol and Inês Lynce
and Felip Manyà, Modelling Max-CSP as Partial
Max-SAT, SAT 08, May 2008, Springer.
Miguel Martins and Jorge Fernandes and M.
Medeiros Silva, Multi-Band Combined LNA and
Mixer, IEEE Int. Symp. Circuits and Systems,
ISCAS - IEEE Int. Symp. Circuits and Systems,
May 2008, IEEE.
João Marques Silva and Vasco Manquinho,
Towards More Effective Unsatisfiability-Based
Maximum Satisfiability Algorithms, International
Conference on Theory and Applications of
Satisfiability Testing (SAT), May 2008, pp. 225-230.
Federico Heras and Vasco Manquinho and João
Marques Silva, On Applying Unit PropagationBased Lower Bounds in Pseudo-Boolean
Optimization, AAAI Conference of the Florida
Artificial Intelligence Research Society (FLAIRS),
May 2008, pp. 71-76.
António Leitão, UCL-GLORP—An ORM for
Common Lisp, 1st European Lisp Symposium,
May 2008, LaBRI, Universite Bordeaux 1.
Ricardo Chaves and Georgi Kuzmanov and Leonel
Sousa, On-The-Fly Attestation of Reconfigurable
Hardware, International Conference on Field
Programmable Logic and Applications (FPL 08),
May 2008, IEEE.
Nuno Cruces and Rodrigo Rodrigues and Paulo
Ferreira, Pastel: Bridging the Gap Between
Structured and Large-State Overlays, 8th IEEE
International Symposium on Cluster Computing
and the Grid, May 2008, IEEE.
Tiago Alves and Ana Rita Simões and Rui
Figueiredo and Marco Vala and Ana Paiva and
Ruth Aylett, So tell me what happened: turning
agent-based interactive drama into comics, 7th
international conference on Autonomous agents
and multiagent systems (AAMAS 2008), May
2008, pp. 1269-1272, IFAAMAS.
Luís Augusto Oliveira and I. M. Filanovsky and A.
Allam and Jorge Fernandes, Synchronization of
Two LC- Oscillators Using Capacitive Coupling,
ISCAS - IEEE Int. Symp. Circuits and Systems,
May 2008.
Isabel Trancoso and Rui Martins and Helena
Moniz and Ana Isabel Silva and Maria do Céu
Ribeiro, The LECTRA Corpus - Classroom
Lecture Transcriptions in European Portuguese,
LREC 2008 - Language Resources and Evaluation
Conference, May 2008.
Alexandre Barão and Alberto Silva, The SNARE
Architecture Overview - Social Network Analysis
and Reengineering Environment, Proceedings
of the WebIST Conference, May 2008.
Paula Vaz and David Matos and Nuno Mamede,
Using Lexical Acquisition to Enrich a Predicate
Argument Reusable Database, Language
Resources and Evaluation Conference - LREC
2008, May 2008, pp. 28-30, European Language
Resources Association (ELRA).
Pedro Pico and Alberto Silva, Workflows in
Content Management Systems, Proceedings of
the WebIST Conference, May 2008.
Alberto Silva and David Ferreira and João
Saraiva and Alexandre Barão and Patrícia Dinis,
A Iniciativa VemAprender, Actas do Seminário
Ibero-Americano SOLITE, Apr. 2008.
Luke Olsen and Mário Sousa and Faramarz
Samavati and Joaquim Jorge, A Taxonomy of
Modeling Techniques using Sketch-based
Interfaces, Eurographics, Apr. 2008, Eurographics
Association.
Peter Langendoerfer and António Grilo and
Krzysztof Piotrowski and Augusto Casaca, A
wireless sensor network reliable architecture
for intrusion detection, 4th Euro-NGI Conference
on Next Generation Internet Networks, Apr. 2008,
IEEE Communications Society.
João Mota and Manuel Fonseca and Daniel
Gonçalves and Joaquim Jorge, Agrafo: A Visual
Interface for Grouping and Browsing Digital
Photos, Advanced Visual Interfaces, Apr. 2008,
ACM Press.
Augusto Casaca and Isabel Rebelo, An EGNOS
Based Approach to increase the Safety of
Ground Movements in Airports, 15th Slovenian
Computer Society Conference, Apr. 2008,
Slovenia Computer Society.
75
Shinichi Yamagiwa and Leonel Sousa, Design
and implementation of a tool for modeling and
programming deadlock free meta-pipeline
applications, 10th Workshop on Advances on
Parallel and Distributed Processing Symposium
(APDCM/IPDPS), Apr. 2008, IEEE.
Paolo Romano and Bruno Ciciani and Andrea
Santoro and Francesco Quaglia, Fast Computation
of Hyper-exponential Approximations of the
Response Time Distribution of MMPP/M/1
Queues, Proc. 41st IEEE Annual Simulation
Symposium (ANSS), Apr. 2008, IEEE Computer
Society Press.
Daniel Gonçalves and Joaquim Jorge, Now, It’s
Personal! Evaluating PIM Retrieval Tools, PIM08
Workshop at CHI08, Apr. 2008.
Jean-Luc Rouas and Isabel Trancoso and Maria
do Céu Ribeiro and Mónica Abreu, Portuguese
Variety Identification on Broadcast News,
ICASSP 2008 - Int. Conf. on coustics, Speech,
and Signal Processing, Apr. 2008, IEEE.
Leonel Camara and Tiago Guerreiro and Daniel
Gonçalves, RealFind: Managing Personal Items in
the Physical World, CHI08, Apr. 2008, ACM Press.
Diogo Ferreira and Miguel Mira da Silva, Using
Process Mining for ITIL Assessment: A Case
Study with Incident Management, 13th Annual
Conference UKAIS 2008, Apr. 2008.
David Ferreira and Alberto Silva, A Requirements
Specification Case Study with ProjectIT-Studio/
Requirements, (short paper), Proceedings of the
ACM Symposium on Applied Computing, Track
on Requirements Engineering (SAC-RE 2008),
Mar. 2008.
Mário Véstias and Horácio Neto, Architectural
Tradeoffs in the Design of Barrel Shifters for
Reconfigurable Computing, SPL2008 - IV
Southern Conference on Programmable Logic,
Mar. 2008, pp. 31-36, IEEE.
76
João Silva and Joel Phillips and L. Miguel Silveira,
Efficient Representation and Analysis of Power
Grids, IEEE/ACM Design, Automation and Test
in Europe Conference, Mar. 2008, pp. 420 - 425,
IEEE/ACM.
David Aveiro and João Mendes and José Tribolet,
Enterprise Ontology with a Semantic Wiki,
The 23th Annual ACM Symposium on Applied
Computing, ACM SAC 2008, Mar. 2008.
Ricardo Chaves and Georgi Kuzmanov and
Leonel Sousa and Stamatis Vassiliadis, Merged
Computation for Whirlpool Hashing, Design,
Automation and Test in Europe (DATE 08), Mar.
2008, pp. 1-4.
Liliana Rosa and Antónia Lopes and Luis Rodrigues,
Modelling Adaptive Services for Distributed
Systems, The 23rd ACM Symposium on Applied
Computing, Mar. 2008, pp. 2174-2180, ACM.
Jorge Villena and L. Miguel Silveira, SPARE
- a Scalable algorithm for passive, structure
preserving, Parameter-Aware model order
REduction, IEEE/ACM Design, Automation and
Test in Europe Conference, Mar. 2008, pp. 586
- 591, IEEE/ACM.
Daniel Gonçalves and Tiago Guerreiro and
Joaquim Jorge, Understanding Stories about
Personal Documents, ICAS-KUI 2008, Mar.
2008, IEEE Society Press.
Nuno Carvalho and João Cachopo and Luis
Rodrigues and António Rito-Silva, Versioned
Transactional Shared Memory for the FénixEDU
Web Application, Second Workshop on
Dependable Distributed Data Management, Mar.
2008, Springer.
Shinichi Yamagiwa and Diogo Antão and
Leonel Sousa, Design and Implementation of
a Graphical User Interface for Stream-based
Distributed Computing, the IASTED International
Conference on Parallel and Distributed Computing
and Networks (PDCN 2008), Feb. 2008.
Gabriel Falcão and Vitor Silva and Marco Gomes
and Leonel Sousa, Edge Stream Oriented
LDPC Decoding, 16th Euromicro International
Conference on Parallel, Distributed and networkbased Processing (PDP), Feb. 2008, pp. 237-244,
IEEE.
L. Pieper and Eduardo Costa and S. Almeida and
S. Bampi and J. Monteiro, Efficient Dedicated
Structures for the Radix-16 Multiplication, XIV
Iberchip, Feb. 2008.
Gabriel Falcão and Leonel Sousa and Vitor Silva,
Massive Parallel LDPC Decoding on GPU, 13th
ACM SIGPLAN Symposium on Principles and
Practice of Parallel Programming (PPoPP 2008),
Feb. 2008, pp. 83-90, ACM.
Ricardo Pereira and Teresa Maria Vasques, On the
Impact of P2P File Sharing Traffic Restrictions
on User Perceived Performance, International
Conference on Information Networking 2008
(ICOIN2008), Jan. 2008.
João Barreto and Paulo Ferreira, The Obscure
Nature of Epidemic Quorum Systems, ACM
HotMobile 2008: The Ninth Workshop on Mobile
Computing Systems and Applications, Feb. 2008,
ACM Press.
Francisco Rocha and António Grilo and Paulo
Rogério Pereira, Performance Evaluation of
DTSN in Wireless Sensor Networks, 4th EuroNGI
Workshop on Wireless and Mobility, Jan. 2008,
pp. 59-62, EuroFGI.
Svetislav Momcilovic and Leonel Sousa, A
Parallel Algorithm for Advanced Video Motion
Estimation
on
Multicore
Architectures,
International Workshop on Multi-Core Computing
Systems (MuCoCoS), Jan. 2008, IEEE.
Fernando Correia and Teresa Maria Vasques,
Simple Ant Routing Algorithm, International
Conference on Information Networking 2008
(ICOIN2008), Jan. 2008.
Ricardo Chaves and Blagomir Donchev and
Georgi Kuzmanov and Leonel Sousa and
Stamatis Vassiliadis, BRAM-LUT tradeoff
on a Polymorphic DES Design, International
Conference on High Performance Embedded
Architectures & Compilers (HiPEAC 2008), Jan.
2008, pp. 55-65, Lecture Notes in Computer
Science.
Rui Joaquim and Carlos Ribeiro, CodeVoting:
protecting against malicious vote manipulation
at the voters PC, Frontiers of Electronic Voting,
Jan. 2008, Internationales Begegnungsm - und
Forschungszentrum für Inf.
João Proença and Joaquim Jorge and Mário
Costa Sousa, Suggestive Contours over
Point-Set Implicits, GRAPP – 3rd International
Conference on Computer Graphics Theory and
Applications, Jan. 2008.
Pedro Tomás and João C. Martins and Leonel
Sousa, Towards a Unified Model for the Retina:
Static vs Dynamic Integrate and Fire Models,
2008 International Conference on Bio-Inspired
Systems and Signal Processing (BIOSIGNALS
2008), Jan. 2008, pp. 528-533, INSTICC PRESS.
Daniel Le Berre and Inês Lynce, CSP2SAT4J:
A Simple CSP to SAT Translator, Second
International CSP Solver Competition, Jan.
2008.
Daniel Gonçalves and Joaquim Jorge, In Search
of Personal Information - Narrative-Based
Interfaces, IUI08 - International Conference
on Intelligent User Interfaces, Jan. 2008, ACM
Press.
Mário Macedo and Mário Serafim Nunes and
António Grilo, Minimizing Interference in TDMA
MAC Protocols for WSN Operating in Shadowfading Channels, Fourth EuroFGI Workshop on
Wireless and Mobility, Jan. 2008, pp. 21-24.
77
6.2.7 National Conferences
Ricardo Godinho and Carlos Ribeiro, A Tokenbased Reputation Framework, Conferência
Nacional sobre Segurança Informática nas
Organizações (SINO 2008), Nov. 2008, SINO.
Leonel Camara and Tiago Guerreiro and Daniel
Gonçalves, RealFind: “Onde Estão as Actas do
Interacção 2006?”, Interacção 2008, Oct. 2008.
Pedro Sacadura and Miguel Almeida and João
Madeiras Pereira, Balloons, an Augmented
Virtuality Computer Game, ZON Digital Games
2008, Nov. 2008.
Filipe Alves and Manuel Fonseca and Daniel
Gonçalves, Sketch-a-Doc: Sketch a Document
to Find It, Interacção 2008, Oct. 2008.
Paulo Lagoá and Hugo Nicolau and Tiago
Guerreiro and Daniel Gonçalves and Joaquim
Jorge, Acessibilidade Móvel: Soluções para
Deficientes Visuais, Interacção 2008, Oct. 2008.
Nuno Tomás and Tiago Guerreiro and Daniel
Gonçalves, StoryTags: Contar Histórias Para
Etiquetar Fotografias, Interacção 2008, Oct.
2008.
João Pombinho and José Tribolet, Architecting
Organizations with a Computational Framework,
8ª Conferência da Associação Portuguesa de
Sistemas de Informação (CAPSI 2008), Oct. 2008.
Hiroshi Ichikawa and Shinichi Yamagiwa and
Chikara Miyaji, Development of a Movie Viewer
for Analyzing Swimming Motion, 59th Conference
of Japan Society of Physical Education, Health
and Sport, Sep. 2008, Japan Society of Physical
Education.
Paulo Carvalho and Rodrigo Magalhães and
José Tribolet, Conhecimento Organizacional: a
chave para a melhoria continua, 8ª Conferência
da Associação Portuguesa de Sistemas de
Informação (CAPSI 2008), Oct. 2008.
Marco Abreu and José Tribolet, Considerações
Sobre a Medição de Factores Soft nas
Organizações, 8ª Conferência da Associação
Portuguesa de Sistemas de Informação (CAPSI
2008), Oct. 2008.
Ricardo Lopes and Manuel Fonseca and Tiago
Cardoso and Nelson Silva, Criacção Interactiva
de Banda Desenhada, Interacção 2008, Oct.
2008.
Carlos Mendes and Antonio Silva and
José Tribolet, Learning Communities and
Communities of Practice – Social Learning
Organizational
Information
Systems,
8ª
Conferência da Associação Portuguesa de
Sistemas de Informação (CAPSI 2008), Oct.
2008.
78
Bruno Antunes and Tiago Guerreiro and Daniel
Gonçalves, Personal News: A Nossa Vida de
Relance, Interacção 2008, Oct. 2008.
Leonardo Varella-CId and António Silva and
José Tribolet, O Papel das Comunidades na
Aprendizagem Organizacional, 8ª Conferência
da Associação Portuguesa de Sistemas de
Informação (CAPSI 2008), Oct. 2008.
Ricardo Evangelista and Miguel Mira da
Silva, Efficiently Discovering and Assessing
Vulnerabilities in Networks, 8ª Conferência
da Associação Portuguesa de Sistemas de
Informação, Sep. 2008.
João Carvalho and Miguel Mira da Silva,
Integrating Enterprise Architecture with CMDB/
ITIL, 8ª Conferência da Associação Portuguesa
de Sistemas de Informação, Sep. 2008.
J. M. Lemos and Nuno Roma and Teresa
Mendonça and Leonel Sousa and Bertinho
Costa and Catarina Nunes and Pedro Amorim
and Luís Antunes, Developmentof an integrated
control system for anaesthesia automation,
Controlo 2008, 8th Portuguese Conf. on Control
Automation, Aug. 2008, UTAD.
Miguel Bugalho and Arlindo L. Oliveira, Ab
Initio Protein Structure Prediction Using
Conformational Search And Information From
Known Protein Structures (Abstract and Poster),
First Portuguese Forum in Computational Biology,
Jul. 2008.
Joana Gonçalves and Sara Madeira and Arlindo
Oliveira, BiGGEsTS: integrated environment
for biclustering analysis of time series gene
expression data (Abstract and poster), First
Portuguese Forum in Computational Biology, Jul.
2008.
6.2.8
Technical Reports
Aura Maia and Luís Antunes and J. M. Lemos and
Bertinho Costa, Data analysis for a rat anaesthesia, INESC-ID Tec. Rep. 57/2008, Dec. 2008.
António Leitão, From Lisp S-Expressions to Java
Source Code, Compilers, Related Technologies
and Applications, Jul. 2008, Instituto Politecnico
de Bragança.
Ana Mendes and Filipe Martins and Luísa Coheur
and João Paulo Neto and António Serralheiro,
Duarte Digital - An evaluation\ of educational
and entertaining effectiveness, INESC-ID Tec.
Rep. 60/2008, Dec. 2008.
Alexandre Francisco and Arlindo Oliveira and Ana
T. Freitas, Motif clustering in promoter regions
(Abstract and poster), First Portuguese Forum in
Computational Biology, Jul. 2008.
Josep Argelich and Alba Cabiscol and Inês Lynce
and Felip Manyà, New Encodings from MaxCSP into Partial Max-SAT, INESC-ID Tec. Rep.
55/2008, Dec. 2008.
Joana Gonçalves and Mário Grãos and André
Valente, Polar Mapper: computational tool
for integrated visualization of protein interaction networks and mRNA expression data
(Abstract and poster), First Portuguese Forum in
Computational Biology, Jul. 2008.
Alexandre Domingues and J. M. Lemos and
Susana Vinga, Optimization strategies for metabolic networks, INESC-ID Tec. Rep. 58/2008,
Dec. 2008.
L. Pieper and Eduardo Costa and S. Almeida
and S. Bampi and J. Monteiro, New Dedicated
Architectures for the Radix-16 Multiplication,
23rd South Symposium on Microelectronics,
May 2008.
Pedro Pico and Alberto Silva, A Survey on
Workflow Aspects in Content Management
Systems, 6ª Conferência de XML: Aplicações
e Tecnologias Associadas (XATA-2008), Feb.
2008.
Tiago Guedes and Mário Véstias and Horácio
Claúdio Neto, Design of a Network camera with
an FPGA, REC2008 - IV Jornadas sobre Sistemas
Reconfiguráveis, Feb. 2008, pp. 89-94.
Rui Duarte and Victor Silva and Mário Véstias and
Horácio Neto, Double precision floating point
divider using iterative multiplications, REC2008
- IV Jornadas sobre Sistemas Reconfiguráveis,
Feb. 2008, pp. 49-54.
Tiago Dias and Nuno Sebastião and Nuno
Roma and Paulo Flores and Leonel Sousa,
Programmable IP core for motion estimation: comparison of FPGA and ASIC based
implementations, IV Jornadas sobre Sistemas
Reconfiguráveis - REC2008, Feb. 2008 , pp. 109-116.
João Leitão and Luis Rodrigues, Overnesia:
an Overlay Network for Virtual Super-Peers,
INESC-ID Tec. Rep. 56/2008, Dec. 2008.
Paolo Romano and Luis Rodrigues and Nuno
Carvalho, The Weak Mutual Exclusion Problem,
INESC-ID Tec. Rep. 52/2008, Nov. 2008.
Mário Serafim Nunes and António Grilo and
Augusto Casaca and Paulo Rogério Pereira
and Dirk Westhoff and Christine Jardak and
Krystoff Piotrowski, UbiSec&Sens Validation
of Prototyping Activities, INESC-ID Tec. Rep.
53/2008, Nov. 2008.
Filipe Martins and Ana Mendes and Nuno
Mamede, API da Plataforma de gestão de
diálogo DIGA, INESC-ID Tec. Rep. 51/2008, Sep.
2008.
Orlando Anunciação, Assessment of interpretable classifiers for discrimination of AFLP bands
related to infection by Staphylococcus aureus,
INESC-ID Tec. Rep. 54/2008, Sep. 2008.
Augusto Casaca and Isabel Rebelo, Control of
Ground Vehicles in the Airside of an Airport,
INESC-ID Tec. Rep. 48/2008, Sep. 2008.
79
Rúben Martins and Inês Lynce, Effective CNF
Encodings of the Towers of Hanoi, INESC-ID
Tec. Rep. 47/2008, Sep. 2008.
Nicolas Castro, A SIMULINK compartmental
model for depth of anaesthesia, INESC-ID Tec.
Rep. 37/2008, Mar. 2008.
João Barreto and Paulo Ferreira, Efficient
Corruption-Free Duplicate Elimination in
Distributed Storage Systems: Extended Version,
INESC-ID Tec. Rep. 49/2008, Sep. 2008.
João Marques Silva and Inês Lynce and Vasco
Manquinho, Symmetry Breaking for Maximum
Satisfiability, INESC-ID Tec. Rep. 39/2008, Feb.
2008.
Samuel Freitas Antão and Ricardo Chaves and
Leonel Sousa, Elliptic Curve Cryptographic
Processor over GF(2^m) with Coordinate
Collapsing, INESC-ID Tec. Rep. 50/2008, Sep.
2008.
Wolfgang Beyer and Susana Vinga, Combining
Autosmooth and Alternating Regression for the
Estimation of S-System Parameters, INESC-ID
Tec. Rep. 29/2008, Jan. 2008.
Filipe Cabecinhas and Nuno Lopes and Renato
Crisóstomo and Luis Veiga, Optimizing Binary
Code Produced by Valgrind (Project Report
on Virtual Execution Environments Course
- AVExe), INESC-ID Tec. Rep. 46/2008, Aug.
2008.
Tiago Guerreiro and Daniel Gonçalves,
Plataforma de Recolha distribuída de
Informação Autobiográfica, INESC-ID Tec. Rep.
59/2008, Jul. 2008.
Pedro Oliveira and J. M. Lemos, Controlo do
Bloqueio Neuromuscular - Uma abordagem polinomial, INESC-ID Tec. Rep. 43/2008 May 2008.
Nicolas Castro and J. M. Lemos, Model Predictive
Control of Depth of Anaesthesia, INESC-ID Tec.
Rep. 40/2008, May 2008.
Carlos Leitão and M. Medeiros Silva, Comparison
of Four Different Topologies of a Feedback
Transimpedance Amplifier with one Gain Stage,
INESC-ID Tec. Rep. 44/2008, Apr. 2008.
Renato Nunes and Augusto Casaca and
Stefen Peter and Peter Langendorfer and Axel
Poschmann and Christine Jardak, Interfaces for
Management and Application Support, INESCID Tec. Rep. 41/2008, Apr. 2008.
João Graça and Joana Paulo Pardal and Luísa
Coheur and Diamantino Caseiro, Multi-Language
Word Alignments Annotation Guidelines,
INESC-ID Tec. Rep. 38/2008, Apr. 2008.
80
David Matos and Tiago Luís and Ricardo Ribeiro,
Natural Language Engineering on a Computational Grid (NLE-GRID) T1 - Architectural Model, INESC-ID Tec. Rep. 30/2008, Jan. 2008.
David Matos and Ricardo Ribeiro and Sérgio
Paulo and Fernando Batista and Luísa Coheur
and Joana Paulo Pardal, Natural Language
Engineering on a Computational Grid (NLEGRID) T2 - Encapsulation of Reusable
Components, INESC-ID Tec. Rep. 31/2008, Jan.
2008.
David Matos and Ricardo Ribeiro, Natural
Language Engineering on a Computational Grid
(NLE-GRID) T2h - Encapsulation of Reusable
Components: Lexicon Repository and Server,
INESC-ID Tec. Rep. 32/2008, Jan. 2008.
Luis Marujo and Wang Lin and David Matos, Natural
Language Engineering on a Computational Grid
(NLE-GRID) T3 - Multi-Component Application
Builder, INESC-ID Tec. Rep. 33/2008, Jan. 2008.
Tiago Luís and David Matos and Sérgio Paulo and
Ricardo Ribeiro, Natural Language Engineering
on a Computational Grid (NLE-GRID) T5 Performance Experiments, INESC-ID Tec. Rep.
35/2008, Jan. 2008.
Carlos Leitão and M. Medeiros Silva, Operational
Amplifier Based Transimpedance Amplifiers,
INESC-ID Tec. Rep. 42/2008, Jan. 2008.
João Leitão and José Pereira and Luis Rodrigues,
Topology Aware Gossip Overlays, INESC-ID
Tec. Rep. 36/2008, Jan. 2008.
6.2.9
National Journal Articles
M. Magalhães and Pedro Sousa and José
Tribolet, The role of Business Processes and
Entreprise Architectures in the development
of Organizational Self-Awareness, TECKNE Revista de Estudos Politecnicos, 6(9), pp. 9-30,
Jul. 2008, IPCA - Instituto Politécnico do Cávado
e do Ave.
Mário Serafim Nunes and Augusto Casaca and
Tiago Silva and Isabel Rebelo, SAFEDRIVE Sistema de controlo e gestão de veículos sobre
zonas aeroportuárias, Revista ANIMEE, (293),
pp. 34-36, Jan. 2008, ANIMEE.
6.2.10 Edited Proceedings
Oriana Riva and Luis Veiga Ed., Workshop on
Mobile Middleware: Embracing the Personal
Communication Device (co-located with ACM/
IFIP/USENIX 9th International Middleware
Conference), Dec. 2008, ACM.
Luis Veiga and Vasco Amaral and Nigel Horspool
and Giacomo Cabri Ed., International Symposium
on Principles and Practice of Programming in
Java, Sep. 2008, ACM.
José Pereira and João Madeiras Pereira Ed.,
Proceedings of the 3rd International Conference
on Computer Graphics Theory and Applications
- GRAPP 2008, Jan. 2008, INSTICC Press.
National Patents
Telmo Santos and Pedro Vilaça and Moisés
Piedade, Método de Ensaio Não Destrutivo
Baseado em Variante de Sonda de Correntes
Induzidas, Pat. No. 104089.
Mário Serafim Nunes, Optimização de Qualidade
de Serviço de Voz sobre IP através da Adaptação
Dinâmica das Características da Conexão, Pat.
No. 104015, INPI, Lisboa.
Special Issues of Journals (editor)
Isabel Trancoso and Nestor Becerra-Yoma and
Plínio Barbosa and Rubén San-Segundo and
Kuldip Paliwal Ed., Special Issue on Iberian
Languages, Speech Communication, 50(11),
Nov. 2008, Elsevier.
João Cardoso and Pedro Diniz Ed., IJE special
issue on reconfigurable hardware systems,
International Journal of Electronics, 95(7), Jan.
2008, Taylor & Francis.
81
6.2.11 Dissertations - Finished
PhD Theses
António Cacho, Ambientes Virtuais Distribuídos
para Simulação e Monitorização de Tráfego
Marítimo, PhD Thesis, Instituto Superior
Técnico, Dec. 2008.
Nuno Roma, Transform Domain Transcoding
Systems for Static and Dynamic Video
Composition, PhD Thesis, Instituto Superior
Técnico, May 2008.
Rui Miguel Silva, Cifra sobre Caos Modular
para Redes de Sensores sem Fios, PhD Thesis,
Instituto Superior Técnico, Dec. 2008.
Artur Caetano, Business Process Modelling
with Objects and Roles, PhD Thesis, Instituto
Superior Técnico, May 2008.
Sara Madeira, Efficient Biclustering Algorithms
for Time Series Gene Expression Data
Analysis, PhD Thesis, Instituto Superior Técnico,
Dec. 2008.
Paulo Carreira, Data Mapper: An Efficient
Data Transformation Operator, PhD Thesis,
Faculdade de Ciências de Lisboa, Apr. 2008.
António Varela, Um protocolo de encaminhamento com suporte à diferenciação de
serviço, PhD Thesis, Instituto Superior Técnico,
Dec. 2008.
João M. Silva, Modeling and Analysis of
Package and Power Grid Transients, PhD
Thesis, Instituto Superior Tecnico, Oct. 2008.
José Colaço, Uma Metodologia para
a Determinação de Observabilidade e
Controlabilidade em Circuitos Digitais, PhD
Thesis, Instituto Superior Técnico, Mar. 2008.
Ciro Martins, Dynamic Language Modeling
for European Portuguese, PhD Thesis,
Universidade de Aveiro, Sep. 2008.
Hugo Meinedo, Audio Pre-processing and
Speech Recognition for Braodcast News, PhD
Thesis, Instituto Superior Técnico, Feb. 2008.
Miguel Barão, Métodos de Controlo
Probabilístico, PhD Thesis, Instituto Superior
Técnico, Sep. 2008.
Joaquim Bento, Da Constituição do Corpus
à Construção de uma Ontologia e Base de
Conhecimentos Terminológicos, PhD Thesis,
Universidade Nova de Lisboa, Jan. 2008.
Paula Cristina Martins, ProPAM – A Software
Process Improvement Approach based on
Process and Project Alignment, PhD Thesis,
Instituto Superior Técnico, Sep 2008.
Marielba Silva Zacarias, A conceptual framework based on agents ad contexts for the
alignment between individuals and organizations, PhD Thesis, Instituto Superior Técnico,
Jul. 2008.
Maria Alexandra Bonito, Towards Predictive
Models for E-Learning, PhD Thesis, Instituto
Superior Técnico, Jul. 2008.
82
Gabriel Pestana, Spatial Dashboard: Analysing
Business Performance using the SpatioTemporal Context, PhD Thesis, Instituto
Superior Técnico, Apr. 2008.
Miguel Martins, Multi-Band and Wideband Low
Noise Amplifiers, PhD Thesis, Instituto Superior
Técnico, Jan. 2008.
Lisha Zhang, Research on Sketchy Symbol
Recognition Methods, PhD Thesis, Nanjing
University, Jan. 2008.
MSc Theses
David Machado, Acelerador Criptográfico em
Hardware Reconfigurável, MSc Thesis, Instituto
Superior Técnico, Dec. 2008.
Carlos Pires, Análise de componentes de incerteza da velocidade medida por receptores
GPS móveis, MSc Thesis, Universidade de
Lisboa, Dec. 2008.
Hans Kloss Sousa, Desenvolvimento de
uma aplicação para o apoio ao debriefing
na análise de sessões de voo, MSc Thesis,
Instituto Superior Técnico, Dec. 2008.
João Raposo, Desenvolvimento de uma plataforma de software para controlo de anestesia,
MSc Thesis, Instituto Superior Técnico, Dec.
2008.
Manuel Fernandes, Implementação de um
Sistema Distribuido Imune a Falhas Bisantinas,
MSc Thesis, Instituto Superior Técnico, Dec.
2008.
Sérgio Costa, Processamento de Dados
Biológicos Utilizando Tecnologias Grid, MSc
Thesis, Instituto Superior Técnico, Dec 2008.
Peyman Sazedj, Relation Extraction for the
Semantic Web, MSc Thesis, Instituto Superior
Técnico, Dec 2008.
Filipe Dias, Sketch-Based Input of 3D Shapes,
MSc Thesis, Instituto Superior Técnico, Dec.
2008.
Pedro Sampaio, Suporte à Persistência de
Dados Replicados, MSc Thesis, Instituto
Superior Técnico, Dec 2008.
Hugo Nicolau, Blobby: Guia Móvel para
Invisuais, MSc Thesis, Instituto Superior
Técnico, Nov. 2008.
Paulo Lagoá, BloNo: Acessibilidade em
Dispositivos Móveis para Utilizadores com
Necessidades Especiais, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Tiago Trindade, Cameraphone, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Duarte Grácio, Diferenciação Proporcional da
Qualidade de Serviço, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Ruben Ferreira, eCassNoteteker, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
João Maia, Hosting contact center solutions
using VoIP, MSc Thesis, Instituto Superior
Técnico, Nov. 2008.
Diogo Rodrigues, Implementação da Cifra de
Curva Elíptica num PDA, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Luis Carlos Santos, Importance of Gaze in
Robots and Synthetic characters, MSc Thesis,
Instituto Superior Técnico, Nov 2008.
Hugo Sousa, Interacção com ecrãs de larga
escala em espaços públicos, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Sara Passos, Interacting with Pedagogical
Agents in Virtual Environments, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Pedro Santana, Introdução de Texto em
Dispositivos Móveis, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
João Mota, Agrafo - Agrupador Automático
de Fotografias Digitais, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Márcia Baptista, Jogo de Gestão, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Pedro Miguel Sousa, Indagare - Motor de pesquisa de desenhos vectoriais, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Tiago Santos, LSketchIt - Esboçando modelos
Lego®, MSc Thesis, Instituto Superior Técnico,
Nov. 2008.
Bruno Azenha, Agents Societies: Introducing
Social Exclusion in Group Dynamics, MSc
Thesis, Instituto Superior Técnico, Nov. 2008.
Luís Figueira, Medidas de Confiança na
Segmentação Automática, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
83
Ricardo Freire, Modelação organizacional de
Contextos de Acção, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Luís Sousa, Avaliação de Desempenho do PBX
Asterisk, MSc Thesis, Instituto Superior Técnico,
Oct. 2008.
Vitor Antunes, Multi Gigabit implementation of
High-Definition Multimedia Interface (HDMI):
Source, MSc Thesis, Instituto Superior Técnico,
Nov. 2008.
Luís Mendes, Communication Protocols and
Systems for Home Automation, MSc Thesis,
Instituto Superior Técnico, Oct. 2008.
Diogo Galvão, Navegação Aumentada em
Mundos Virtuais, MSc Thesis, Instituto Superior
Técnico, Nov. 2008.
Sérgio Magalhães, Passagem de Jogos de
Tabuleiro para Computador, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Leila Pires, Pedagogical Synthetic Character
Supporting Affective Interaction, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Bruno Santos, Portal para Notícias Televisivas,
MSc Thesis, Instituto Superior Técnico, Nov.
2008.
João Miranda, Sistema de Reconhecimento
de Fala para Dispositivos Móveis, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Gonçalo Gomes, Sistema de RFID com tecnologia ZigBee, MSc Thesis, Instituto Superior
Técnico, Nov. 2008.
Carlos Rolo, Sistema interactivo para preenchimento de formulários, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Carlos Mendes, Small Footprint Text-toSpeech Synthesis, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
Bruno Oliveira, Traffic Atlas, MSc Thesis,
Instituto Superior Técnico, Nov. 2008.
Ricardo Pinto, Transformação de Conteúdos
Multimédia Utilizando um Sistema de
Processamento em Grid, MSc Thesis, Instituto
Superior Técnico, Nov. 2008.
84
Ricardo Godinho, A Token-based Reputation
Framework, MSc Thesis, Instituto Superior
Técnico, Oct. 2008.
Luís João, Componentes para Acelerar o
Desenvolvimento de Software a Medida, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
António Quaresma, CookDatabase - Ambiente
de Desenho Interactivo e Execução de
Aplicações Web, MSc Thesis, Instituto Superior
Técnico, Oct. 2008.
Ana Carina Rodrigues, Data Profiling:
Identificação de problemas de qualidade de
dados usando análise de dados e métodos
estatisticos em base de dados de cartões de
clientes, MSc Thesis, Instituto Superior Técnico,
Oct. 2008.
Nuno Monteiro, Desenvolvimento de um Casual
Game, MSc Thesis, Instituto Superior Técnico,
Oct 2008.
David Rodrigues, Design of a Speech Interface
for Augmenting Desktop Accessibility, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
André Almeida, Detecção e Prevenção de
Rootkits, MSc Thesis, Instituto Superior
Técnico, Oct. 2008.
Filipe Martins, DIGA - Desenvolvimento de uma
Plataforma para a Criação de Sistemas de
Diálogo, MSc Thesis, Instituto Superior Técnico,
Oct. 2008.
David Graça, EasyControl: Ambient Control
for Tetraplegics, MSc Thesis, Instituto Superior
Técnico, Oct 2008.
Ruben Ferreira, eClass Notetaker, MSc Thesis,
Instituto Superior Técnico, Oct. 2008.
Sandra Rosário, FacialEmoticons, MSc Thesis,
Instituto Superior Técnico, Oct 2008.
Rui Francisco, Ferramenta de Gestao do
Processo de Desenvolvimento de Software,
MSc Thesis, Instituto Superior Técnico, Oct.
2008.
Tiago Luís, Paralelização de Algoritmos
de Processamento de Língua Natural em
Ambientes Distribuídos, MSc Thesis, Instituto
Superior Técnico, Oct 2008.
André Claro, Framework de “Personal TV”, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
João Marques, Reconhecimento Automático
de Pronúncia para Falantes Não Nativos, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
Francisco Saramago, GenericWebForms Infra-Estrutura para Desenvolvimento Rápido
de Formulários Web, MSc Thesis, Instituto
Superior Técnico , Oct. 2008.
André Simões, Gestão de Metadados BI, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
Carolina Torres, IDEA - Intelligent Domestic
Ecology Agents. Teaching Domestic Ecology
Using Intelligent Agents, MSc Thesis, Instituto
Superior Técnico, Oct. 2008.
Pedro Alonso, Integração de sistemas de
dados de dispositivos móveis com sistemas
empresariais, MSc Thesis, Instituto Superior
Técnico, Oct. 2008.
Bruno Antunes, Journal View, MSc Thesis,
Instituto Superior Técnico, Oct. 2008.
David Pereira, Local Search for Unsatisfiable
Propositional Formulae, MSc Thesis, Instituto
Superior Técnico, Oct. 2008.
João Mendes, Modelação em Engenharia
Organizacional num Wlki Semântico, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
Francisco Javega, Modem de OFDM, MSc
Thesis, Instituto Superior Técnico, Oct 2008.
Hugo Trindade, Monitorização automática de
movimento: caso de aplicação a modelos animais, MSc Thesis, Instituto Superior Técnico,
Oct 2008.
Edgar Guerreiro, Operational Business
Intelligence: Dashboards de gestão operacional em call centers, MSc Thesis, Instituto
Superior Técnico, Oct 2008.
Hernâni Freitas, Redes Sociais em Sistemas
de Informação, MSc Thesis, Instituto Superior
Técnico, Oct. 2008.
João Marques, Sistema de Apoio à Escrita de
Poemas, MSc Thesis, Instituto Superior Técnico,
Oct 2008.
Manuel Nascimento, Sketch on video, MSc
Thesis, Instituto Superior Técnico, Oct. 2008.
Filipe Paredes, Topologias de overlays peerto-peer para descoberta de recursos, MSc
Thesis, Instituto Superior Técnico, Oct 2008.
João Almeida, Transporte de dados multimédia
em Redes de Sensores Sem Fios, MSc Thesis,
Instituto Superior Técnico, Oct 2008.
João Carvalho, Uma Plataforma de
Arquitectura Empresarial para IT Governance,
MSc Thesis, Instituto Superior Técnico, Oct
2008.
José Dias, UrbanSketch – Introdução
Expedita de Paisagens Urbanas via Interfaces
Multimodais, Instituto Superior Técnico, MSc
Thesis, Oct. 2008.
Dárcio Silva, Voice Source Assessment - Jitter
Evaluation on Normal and Pathological Voices,
MSc Thesis, Instituto Superior Técnico, Oct.
2008.
Miguel Hipólito, Wireless Sensor Network
for Home Automation, MSc Thesis, Instituto
Superior Técnico, Oct 2008.
Miguel Vicente, Control Applied to Fuel Cells
Oxygen Excess Ratio Regulation, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
85
Pedro Oliveira, Controlo com múltiplos modelos do bloqueio neuromuscular, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
Diogo Simões, Sistemas de Fidelização sobre Near Field Communication, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
João Rosado, Distribuição de Carga de
Aplicações Empresariais, MSc Thesis, Instituto
Superior Técnico, Sep. 2008.
Samuel Antão, Sistemas embebidos portáteis:
unidades eficientes para processamento de
dados e criptografia, MSc Thesis, Instituto
Superior Técnico , Sep. 2008.
André Brito, Feature Selection para Selecção
de Links, MSc Thesis, Instituto Superior
Técnico, Sep. 2008.
Gonçalo Marques, Fénix - Módulo Pedagógico,
MSc Thesis, Instituto Superior Técnico, Sep.
2008.
Rui Sampaio, Fusão de objectos XML, MSc
Thesis, Instituto Superior Técnico, Sep. 2008.
Elisabete Pereira, Girassol-E: Multi-objectivecontrol in solar and wind energies, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
António Farinha, integrationUTL - Sistema de
Integração e Consolidação de Informação na
UTL, MSc Thesis, Instituto Superior Técnico,
Sep 2008.
João Jesus, Isolamento de Aplicações
Empresariais, MSc Thesis, Instituto Superior
Técnico, Sep 2008.
Diana Pinto, Multimédia Toolkit, MSc Thesis,
Instituto Superior de Engenharia de Lisboa, Sep.
2008.
Rui Duarte, Reconfigurable Hardware for
Scientific Computing, MSc Thesis, Instituto
Superior Técnico, Sep. 2008.
Duarte Figueira, Segurança em RFIDs, MSc
Thesis, Instituto Superior Técnico, Sep. 2008.
Luis Vicente, Sistema de Monitorização por
RFID e Comunicações Móveis, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
Rui Ramalho, Sistema Embebido para
Aplicações Biométicas, MSc Thesis, Instituto
Superior Técnico, Sep. 2008.
86
Ricardo Malhado, Therapies for HIV-1 Infection
Based on Optimal Control, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
Rui Pascoal, Work Flow Academic, MSc Thesis,
Instituto Superior Técnico, Sep. 2008.
Keite Monteiro, Comunicação de Áudio e
Vídeo em Redes Móveis, MSc Thesis, Instituto
Superior Técnico, Jul. 2008.
António Lopes, I-Shadows: An Affective
Interactive Drama Experience, MSc Thesis,
Instituto Superior Técnico, Jul. 2008.
Jorge Cardoso, Mecanismos de Qualidade
de Serviço em Comunicações de Voz sobre
IP, MSc Thesis, Instituto Superior Técnico, Jul.
2008.
Tiago Guerreiro, Myographic Mobile
Accessibility for Tetraplegics, MSc Thesis,
Instituto Superior Técnico, Jul. 2008.
Nicolas Castro, Predictve Control of Depth
of Anaesthesia, MSc Thesis, Université de
Grenoble INP - ESISAR, Jul. 2008.
Nelson Costa, Qualidade de Serviço de
Telefonia sobre IP, MSc Thesis, Instituto
Superior Técnico, Jul. 2008.
José Portelo, Audio Events Detection, MSc
Thesis, Instituto Superior Técnico, Jun. 2008.
João Serras, Automated Retargetting of
Physical Layout, MSc Thesis, Instituto Superior
Técnico, Jun. 2008.
Paulo Pereira, Complete Distributed Garbage
Collection for NET Remoting, MSc Thesis,
Instituto Superior Técnico, Jun. 2008.
Filipe Santos, Determinação em tempo real da
posição e atitude de um veículo móvel aéreo
com múltiplos receptores GPS de baixo custo,
MSc Thesis, Instituto Superior Técnico, Jun.
2008.
Rudolfo Santos, Methodology for Low
Power Software Applied to Wireless Sensor
Networks, MSc Thesis, Instituto Superior
Técnico, Jun. 2008.
Ricardo Evangelista, Sistema de descoberta
de vulnerabilidades em redes, MSc Thesis,
Instituto Superior Técnico, Jun. 2008.
Nuno Pimenta, PhotoFinder 2 - Classificação e
Pesquisa de fotografias digitais, MSc Thesis,
Instituto Superior Técnico, May 2008.
Pedro Pereira, Algoritmos de Alocação de
Recursos para Redes Sem Fios em Malha,
MSc Thesis, Instituto Superior Técnico, May
2008.
João Pombinho, Architecting the Enterprise
with a Service Oriented Framework, MSc
Thesis, Instituto Superior Técnico, May 2008.
Nuno Sousa, Identificação das interacções de
serviços personalisados, MSc Thesis, Instituto
Superior Técnico, May 2008.
Ricardo Lapão, Informação e Consciência
Organizacional, MSc Thesis, Instituto Superior
Técnico, May 2008.
José Simão, Jano: Serviço de Localização com
Garantias de Privacidade, MSc Thesis, Instituto
Superior Técnico, May 2008.
Laura Simões Wise, Mapas Cognitivos
Baseados em Regras Difusas: Modelação do
Comportamento dos Pescadores da Frota de
Cerco Portuguesa, MSc Thesis, Universidade
Técnica Portuguesa, Instituto Superior de
Agronomia, May 2008.
Leonardo Varella-Cid, O papel das comunidades na aprendizagem organizacional, MSc
Thesis, Instituto Superior Técnico, May 2008.
Ricardo Cruz, I-Sounds: Emotion-based Music
Composition for Virtual Environments, MSc
Thesis, Instituto Superior Técnico, Apr. 2008.
Hugo Cordeiro, Reconhecimento do Orador,
MSc Thesis, Instituto Superior Técnico, Apr.
2008.
Paulo Figueiredo, Using Social Networks for IT
Portfolio Management, MSc Thesis, Instituto
Superior Técnico, Apr. 2008.
Luís Matias, Circuitos CMOS para Conversores
A/D de Tipo Paralelo com Tensão de
Alimentação Reduzida, MSc Thesis, Instituto
Superior Técnico, Mar. 2008.
Rui Duarte, Fractional Frequency Synthesizers
for RF CMOS Transceivers, MSc Thesis,
Instituto Superior Técnico, Mar. 2008.
Rui Aires, Implementacão da Gestão de
Incidentes em Pequenas Organizacões
Publicas, MSc Thesis, Instituto Superior
Técnico, Mar. 2008.
Bruno Araújo, Curvature-Dependent
Polygonization of Implicit Surfaces, MSc
Thesis, Instituto Superior Técnico, Feb. 2008.
Rodrigo Piedade, Dynamic modelling of metabolic networks, MSc Thesis, Instituto Superior
Técnico, Jan 2008.
Rute Félix, O Papel dos Metadados na
Implementação de uma GEstão Orientada
a Processos, MSc Thesis, Instituto Superior
Técnico, Jan. 2008.
Graduation Theses
José Paiva, Detecção da Direcção de Orador
realizado em DSP, Graduation Thesis, Oct.
2008.
João Pinto, Simulador de Sistema PLC em
MatLab/Simulink utilizando OFDM Adaptativo,
Graduation Thesis, Oct. 2008.
Hugo Ruivo, Adaptive H.264/AVC Motion Estimation Processor for Mobile and Battery Supplied Devices, Graduation Thesis, Mar. 2008.
87

Documentos relacionados