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 identiﬁcation 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: email@example.com
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: firstname.lastname@example.org
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…
Feature Selection for Supervised Learning
Mário Figueiredo, Instituto de Telecomunicações (IT) – Abstract: It has recently been shown that feature selection in supervised learning can be embedded in the learning algorithm by using sparsity-promoting priors/penalties that encourage the coefficient estimates to be either significantly large or exactly zero. In the…
40 Years of Science and Knowledge: The ability to create new technology-based companies
The second session to celebrate INESC 40th years will take place on October 8, at 5 p.m., at Calouste Gulbenkian Foundation (Auditorium II).
This session will be transmitted live.
17:00 Opening session
Leonel Sousa (INESC Lisboa/IST)
17:10 Keynote speech
Carlos Moedas (Fundação Calouste Gulbenkian)
17:30 Panel I: The first wave: networks and services
José Alves Marques (LINK/IST)
João Nuno Bento (Novabase)
Pedro Ramalho Carlos (Shilling Founders Fund)
Luís Alveirinho (Altice)
Moderator: Isabel Trancoso (INESC-ID/IST)
18:15 Panel II: The second wave: software and artificial intelligence
Vasco Pedro (Unbabel)
Ana Teresa Freitas (HeartGenetics)
Jaime Jorge (Codacy)
João Paulo Neto (Voice Interaction)
Moderator: Joaquim Sérvulo Rodrigues (Armilar)
19:00 Four decades creating value
Arlindo Oliveira (INESC/IST)
José Tribolet (INESC)
António Costa, Prime Minister (to confirm)
[Registration will be open soon]
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 will take place between the 24th and 28th of October at Alfândega Porto Congress Centre, in Porto.
ICST 2020 aims to supply a common forum for researchers, scientists, engineers and practitioners all over the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.
Energy Virtual Experience – EVEx 2020
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from October 26 to 30.
“Energy Virtual Experience” will provide 4 different interactive experiences: EVEx Talks, EVEx MasterClass, EVEx Academy, and EVEx Expo/Busines. These four experiences will be centered on “Ibero-American post-pandemic energy transition”.
Looking to stimulate interdisciplinary studies and innovative solutions in energy area, call for papers and projects will be launched soon.
INESC-ID researcher and IST Professor, Rui Castro, is member of the scientific committee of EVEx 2020.
|More information will be coming soon|