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

Jaime Arias Almeida

himito
1 Stars

Decks

CosyVerif: The Path to Formalisms Cohabitation
himito
0
20
Towards a Rewriting Logic Semantics for Interactive Scores
himito
0
19
ICFEM2022
himito
0
89
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
97
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
64
Continuous Integration & Deployment
himito
1
86
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
230
Git: A Distributed Revision Control System
himito
1
130
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
200
A tree-based Operational Semantics for Interactive Multimedia Scores
himito
0
78
Github in practice
himito
1
120
Creating Static Sites with Pelican
himito
0
270
Factor Oracle for Machine Improvisation
himito
0
300
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
63
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
190
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
170
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
himito
1
95

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