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
82
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
77
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
46
Continuous Integration & Deployment
himito
1
73
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
180
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
69
Github in practice
himito
1
99
Creating Static Sites with Pelican
himito
0
230
Factor Oracle for Machine Improvisation
himito
0
260
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
59
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
150
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
150
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
himito
1
86
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
150
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade