Towards Human-Like Domain-Aware Multimodal Dialogues Agents
The Impact of Formal Verification in Security Software
Soft Machines with Integrated Soft Sensors, Batteries, and Actuators
Signal Based Computing
Provably safe autonomous guidance and control for in-orbit assembly
Natural Language Understanding for Task Assistants
Narrative-Inspired AI for Musical Composition: Emotion and Structure Conditioning
Leveraging Structural and Visual information to improve Web Retrieval
Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
