Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Jaime Arias Almeida
himito
0 Following
·
0 Followers
1 Stars
Decks
ICFEM2022
himito
0
46
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
53
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
22
Continuous Integration & Deployment
himito
1
60
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
120
Git: A Distributed Revision Control System
himito
1
100
Hunting Moby Dick: An Introduction to Docker
himito
0
110
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of Hemodynamic Response Function
himito
0
120
A tree-based Operational Semantics for Interactive Multimedia Scores
himito
0
57
Github in practice
himito
1
88
Creating Static Sites with Pelican
himito
0
190
Factor Oracle for Machine Improvisation
himito
0
210
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
53
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
110
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
120
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
himito
1
78
Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice
himito
0
94
Foundations for Reliable and Flexible Interactive Multimedia Scores
himito
0
110
Previous
1
2
3
Next
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade