Per anno
Per anno
16 pubblicazioni con IRIS ID / 2017
- Towards the Web of Augmented Things
- Programming the Interaction Space Effectively with ReSpecTX
- Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
- Agent-based Modelling in Multicellular Systems Biology
- Mashing Up the Physical and Augmented Reality: The Web of Augmented Things Idea
- Formal Validation of Neural Networks as Timed Automata
- Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Context Reasoning and Prediction in Smart Environments: the Home Manager case
- State-of-the-Art and Trends in Nature-inspired Coordination Models
- Spiking Neural Networks as Timed Automata
- Logic Programming as a Service (LPaaS): Intelligence for the IoT
- A Personal Medical Digital Assistant Agent for Supporting Human Operators in Emergency Scenarios
- Aggregate plans for multiagent systems
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing
- Agent-based Modelling for the Self-Management of Chronic Diseases: An Exploratory Study