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.
Energy Virtual Experience – EVEx 2020
Location
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from 23rd to 27th November 2020.
“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.
IST /INESC-ID Distinguished Lecture – An Ethical Crisis in Computing?
More Info
Computer scientists think often of “Ender’s Game” these days. In this award-winning 1985 science-fiction novel by Orson Scott Card, Ender is being trained at Battle School, an institution designed to make young children into military commanders against an unspecified enemy. Ender’s team engages in a series of computer-simulated battles, eventually destroying the enemy’s planet, only to learn then that the battles were very real and a real planet has been destroyed.
The benefits of computing seemed intuitive to us. We truly believe that computing yields tremendous societal benefits; for example, the life-saving potential of driverless cars is enormous! Like Ender, however, we realized recently that computing is not a game–it is real–and it brings with it not only societal benefits, but also significant societal costs, such as labor polarization, disinformation, and smart-phone addiction.
The real issue is how to deal with technology’s impact on society.
Technology is driving the future, but who is doing the steering?
Moshe Y. Vardi is University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the recipient of several awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award.
He is the author and co-author of over 650 papers, as well as two books. He is a fellow of several societies, and a member of several academies, including the US National Academy of Engineering and National Academy of Science.
He holds seven honorary doctorates. He is a Senior Editor of the Communications of the ACM, the premier publication in computing.