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
39 Decks
0 Following
0 Followers
1 Stars
Decks
Language
All Languages
한국인
Deutsch
English
Español
Français
Italiano
Português
Pусский
Svenska
Tiếng Việt
中文 (simplified)
中文 (traditional)
日本語
ICFEM2022
himito
0
85
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
78
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
47
Continuous Integration & Deployment
himito
1
79
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
190
Git: A Distributed Revision Control System
himito
1
120
Hunting Moby Dick: An Introduction to Docker
himito
0
120
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of Hemodynamic Response Function
himito
0
160
A tree-based Operational Semantics for Interactive Multimedia Scores
himito
0
71
Github in practice
himito
1
100
Creating Static Sites with Pelican
himito
0
240
Factor Oracle for Machine Improvisation
himito
0
260
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
61
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
160
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
150
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
himito
1
89
Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice
himito
0
140
Foundations for Reliable and Flexible Interactive Multimedia Scores
himito
0
160
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade