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
44 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)
日本語
Deterministic Finite Automata
himito
0
0
Journée Respire - CI/CD at LIPN
himito
0
7
Software Heritage key infrastructure for Open Science and Software Science
himito
0
18
CosyVerif: The Path to Formalisms Cohabitation
himito
0
37
Towards a Rewriting Logic Semantics for Interactive Scores
himito
0
39
ICFEM2022
himito
0
96
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
110
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
84
Continuous Integration & Deployment
himito
1
100
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
300
Git: A Distributed Revision Control System
himito
1
160
Hunting Moby Dick: An Introduction to Docker
himito
0
130
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of Hemodynamic Response Function
himito
0
220
A tree-based Operational Semantics for Interactive Multimedia Scores
himito
0
95
Github in practice
himito
1
130
Creating Static Sites with Pelican
himito
0
290
Factor Oracle for Machine Improvisation
himito
0
330
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
69
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade