Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Jaime Arias Almeida

himito
1 Stars

Decks

Journée Respire - CI/CD at LIPN
himito
0
5
Software Heritage key infrastructure for Open Science and Software Science
himito
0
13
CosyVerif: The Path to Formalisms Cohabitation
himito
0
31
Towards a Rewriting Logic Semantics for Interactive Scores
himito
0
33
ICFEM2022
himito
0
95
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
100
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
79
Continuous Integration & Deployment
himito
1
96
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
280
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
89
Github in practice
himito
1
130
Creating Static Sites with Pelican
himito
0
290
Factor Oracle for Machine Improvisation
himito
0
320
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
210

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade