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