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
43 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)
日本語
Journée Respire - CI/CD at LIPN
himito
0
6
Software Heritage key infrastructure for Open Science and Software Science
himito
0
17
CosyVerif: The Path to Formalisms Cohabitation
himito
0
33
Towards a Rewriting Logic Semantics for Interactive Scores
himito
0
38
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
82
Continuous Integration & Deployment
himito
1
98
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
290
Git: A Distributed Revision Control System
himito
1
150
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
92
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
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
220
‹ Prev
Next ›
Speaker Deck Pro:
Add privacy options and schedule the publishing of your decks
Upgrade
himito