This website was discontinued on 20/12/2022. Visit the new website at www.fct.pt.
PassCert: Exploring the Impact of Formal Verification on the Adoption of Password Security Software
João Ferreira
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Deep learning single cell specific networks for cross-disease gene prioritisation
Francisco Rodrigues Pinto
FCiências.ID - Associação para a Investigação e Desenvolvimento de Ciências (Fciências.ID)
Novel Haptic Teleoperation Interfaces for Improved Situation Awareness in Lunar Exploration Rovers
Rodrigo Ventura
Associação do Instituto Superior Técnico para a Investigação e o Desenvolvimento (IST-ID)
MIME: Making IMitation-learning Effortless again!
José Santos-Victor
Associação do Instituto Superior Técnico para a Investigação e o Desenvolvimento (IST-ID)
Decentralized Learning and Control for Networked Cyber-Physical Systems
Milos Stankovic
COFAC, Cooperativa de Formação e Animação Cultural, CRL (COFAC)
Beyond 5G wireless communications via free-space optics transmission: impact and mitigation of atmospheric turbulence
FERNANDO PEDRO PEREIRA GUIOMAR
Instituto de Telecomunicações (IT)
Rapid Prototyping of Policies with Service Design Tools
valentina Nisi
Agência Regional para o Desenvolvimento da Investigação Tecnologia e Inovação - Associação (ARDITI)
Digitalization, Automation and additive transitions on automotive - Impact on labour
Joana Serra da Luz Mendonça
Associação do Instituto Superior Técnico para a Investigação e o Desenvolvimento (IST-ID)
Tace: Privacy Broker for Enforcing Consent
Rolando Silva Martins
INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)
CRUAV: Cooperative Trajectory Planning for Real-Time Surveillance in UAV-assisted Intelligent Transportation Systems
Kai Li
Instituto Superior de Engenharia do Porto (ISEP/IPP)
Physics-based Interactive Audio Rendering for Immersive Environments
João Tiago Pinheiro Neto Jacob
Faculdade de Engenharia da Universidade do Porto (FE/UP)
Building TRUSTworthy blockCHAIN systems
Nuno Laranjeiro
Universidade de Coimbra (UC)
A Fog Computing System for Home-based CAncer patient REhabilitation
Maria de Fatima Fonseca Domingues
Instituto de Telecomunicações (IT)
IDOUBTIT: Domar a Desinformação nos Média Sociais
Mário Jorge Costa Gaspar da Silva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
SensorBuilding - Building as a Sensor: Occupant localization and tracking through floor vibration
Jorge Sá Silva
Universidade de Coimbra (UC)
Exploring the potential of AI-enhanced ultraportable ultrasound for screening disease in Africa
Miguel Coimbra
INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)
Compositional Amortized Resource-Bound Analysis
Pedro Baltazar Vasconcelos
Faculdade de Ciências da Universidade do Porto (FCUP/UP)
Collective Radicalization Understanding
Sebastião Augusto Rodrigues Figueiredo Pais
Universidade da Beira Interior (UBI)
SALSA - Sensing And Learning Social Activity for Wellbeing
Pedro Filipe Pereira Campos
Agência Regional para o Desenvolvimento da Investigação Tecnologia e Inovação - Associação (ARDITI)
SABER: Self-Aware Biostickers for Electrophysiological Recording and Health Classification
Mahmoud Tavakoli
Instituto de Sistemas e Robótica (ISR)
Type-Driven Synthesis of Session-based Concurrent Programs
Bernardo Parente Coutinho Fernandes Toninho
NOVA.ID.FCT - Associação para a Inovação e Desenvolvimento da FCT (NOVA.ID.FCT)
drug.dl: Deep Learning for Accelerating the path from Data to Medicine
Joel Arrais
Universidade de Coimbra (UC)
JustTypes - Automatic and Efficient Software Synthesis for Robotics Systems
Alcides Aguiar Fonseca
FCiências.ID - Associação para a Investigação e Desenvolvimento de Ciências (Fciências.ID)
Automatic generation of humor for social robots
Ana Paiva
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Towards Opportunistic Tech-enabled Eco Monitoring Systems
Diogo Nuno Crespo Ribeiro Cabral
Agência Regional para o Desenvolvimento da Investigação Tecnologia e Inovação - Associação (ARDITI)
Deep Compression: A New Paradigm for Image Coding
João Miguel Duarte Ascenso
Instituto de Telecomunicações (IT)
Fog-based non-Invasive System for Home monitoring of elders
Ayman Radwan
Instituto de Telecomunicações (IT)
Nonvolatile Memory Devices for Information Storage
Zhongchang Wang
Laboratório Ibérico Internacional de Nanotecnologias INL LIN (INL)
SecurityAware: Fine-grained approach to detect and patch vulnerabilities
Rui Abreu
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Privacy in speaker diarization: Detecting “who spoke when” privately
Isabel Maria Martins Trancoso
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Data-driven autonomous detection and treatment of downy and powdery mildew on grape vines
Nuno Carvalho
Universidade de Aveiro (UA)
RESilIent SecuriTy for collective AutoNomous sysTems
Marco Vieira
Universidade de Coimbra (UC)
Panoramix: Automatic finding and suggestion of vulnerability fixes
Pedro Adão
Instituto de Telecomunicações (IT)
Intelligent Beamforming Metasurfaces for Future Telecommunications
Stanislav Maslovskiy
Universidade de Aveiro (UA)
Feeling Safe City Strategy: Recommender system for improving urban perceived safety
CLÁUDIA ALEXANDRA MAGALHÃES SOARES
Associação do Instituto Superior Técnico para a Investigação e o Desenvolvimento (IST-ID)
Exploratory Quantum Photonics for Quantum Communications Networks
Paulo Sérgio de Brito André
Instituto de Telecomunicações (IT)
Synthesizing Network Accelerators using Programmable Switching Equipment
Luís David Figueiredo Mascarenhas Moreira Pedrosa
Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa (INESC-ID/INESC/IST/ULisboa)
Man-Drone Symbiosis: a proof-of-concept
João Paulo Cunha
INESC TEC - Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência (INESC TEC)