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