Técnicas, Algoritmos e Simuladores Dedicados ao Diagnóstico e à Simulação Eficiente de Faltas em Circuitos Analógicos e Mistos
José António Soares Augusto Carlos Beltran Almeida, Inesc-ID – Abstract: J. Soares Augusto Universidade de Lisboa, Faculdade de Ciências, Departamento de Física Inesc-ID Lisboa apresenta o Seminário. Este seminário constará de 3 partes: Na primeira são apresentadas técnicas de simulação eficiente de faltas em circuitos…
Shortest Path Search Algorithms with Heuristic and Bidirectional Searches
Marcelo Johann, Universidade Federal do Rio Grande do Sul – Abstract: Algoritmos de pesquisa por caminhos são estudados desde a antiguidade, mas desenvolveram-se formalmente sobre o modelo de matemático de Grafo principalmente no século passado. O algoritmo de Dijkstra apresentado em 1959 faz uma pesquisa…
Creative Discovery in Lexical Ontologies
Nuno Seco, University College Dublin – Abstract: Compound terms play a surprisingly key role in the organization of lexical ontologies. However, their inclusion forces one to address the issues of completeness and consistency that naturally arise from this organizational role. In this paper we show…
Gene Function Prediction by Mining Bioimedical Literature
Pooja Jain, Faculdade de Ciências de Universidade de Lisboa – Abstract: This seminar will discuss the application of text mining to automate the identification of the function of large sets of genes from the biomedical literature. An approach will be presented to obtain this knowledge…
Modeling and Simulation of Time Domain Faults in Digital Systems
João Paulo Cacho Teixeira, Inesc-ID – Abstract: The purpose of this seminar is to present and discuss novel modeling and fault simulation techniques for two types of dynamic faults in digital systems: transient power supply voltage drops and transient delays in logic elements or signals…
COMPARATIVE GENOMICS OF Staphylococcus aureus AND THE EVOLUTION OF VIRULENCE AND DRUG RESISTANCE
Matthew Holden, Sanger Institute – Abstract: Conferência, de entrada livre, realizada no âmbito do Curso de Pós-graduação em Microbiologia Molecular: explorando a Bioinformática Date: 2004-Sep-09 Time: 14:00:00 Room: Anfiteatro do Complexo Interdisciplinar For more information: aml@inesc-id.pt
SEQUENCING AND ANALYSIS OF PATHOGEN GENOMES AT THE SANGER INSTITUTE
Matthew Holden, Sanger Institute – Abstract: Conferência, de entrada livre, realizada no âmbito do Curso de Pós-graduação em Microbiologia Molecular: explorando a Bioinformática Date: 2004-Sep-08 Time: 14:00:00 Room: Anfiteatro do Complexo Interdisciplinar For more information: aml@inesc-id.pt
Intelligent tools for the Semantic Web based on qualitative modelling – A new type of query: concept@location in time
Ubbo Visser, University of Bremen – Center for Computing Technologies – Abstract: The number of web sites has increased drastically over the past few years. Currently, billions of web pages supplying information to users. Modern technology (e.g. multiagent systems) seem to be able to support…
Estimating the Conformational Energy of Biological Macromolecules
Joaquim Mendes, European Molecular Biology Laboratory (EMBL) – Abstract: The conformational energy of a molecule in solution consists of two components: the intramolecular potential energy of the molecule and the solvation free energy of the molecule, the latter describing its interaction with the solvent. Although…
Secure Computing: Tamper Evident and Tamper Resistant Processing
Marten van Dijk, MIT Computer Science and Artificial Intelligence Laboratory – Abstract: Usually security protects the computer owner from attack, but sometimes the computer owner is the potential "enemy". For example, in digital rights management the owner of a computer platform is motivated to break…
Upcoming Events
Mathematics, Physics & Machine Learning Seminar Series (Online)

The Mathematics, Physics & Machine Learning seminar series has started on October 2020 and runs until March 2021.
The seminars aim to bring together mathematicians and physicists interested in machine learning (ML) with ML and AI experts interested in mathematics and physics, with the goal of introducing innovative Mathematics and Physics-inspired techniques in Machine Learning and, reciprocally, applying Machine Learning to problems in Mathematics and Physics.
Attendance is free but registration is required.
More information is available here.
International European Conference on Parallel and Distributed Computing

The 27th International European Conference on Parallel and Distributed Computing (Euro-Par 2021) will take from August 30 to September 3 2021 in Lisbon.
Euro-Par is the prime European conference covering all aspects of parallel and distributed processing, ranging from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-fledged applications, from architecture, compiler, language and interface design and implementation, to tools, support infrastructures, and application performance aspects.
The 2021 edition of Euro-Par will be organized as a collaboration between INESC-ID and Instituto Superior Técnico (IST).
Important Dates:
– Abstract Submission: February 5, 2021
– Paper Submission Deadline: February 12, 2021
– Author Notification: April 30, 2021
– Camera-Ready Papers: June 6, 2021
More information is available here.