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

Jaime Arias Almeida

himito
1 Stars

Decks

Software Heritage key infrastructure for Open Science and Software Science
himito
0
5
CosyVerif: The Path to Formalisms Cohabitation
himito
0
24
Towards a Rewriting Logic Semantics for Interactive Scores
himito
0
24
ICFEM2022
himito
0
89
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space Representation
himito
0
98
25 Years - AVISPA: Specification and Verification of Interactive Multimedia Systems
himito
0
68
Continuous Integration & Deployment
himito
1
90
Hunting Moby Dick: An introduction to Docker at LIPN
himito
1
250
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
82
Github in practice
himito
1
130
Creating Static Sites with Pelican
himito
0
280
Factor Oracle for Machine Improvisation
himito
0
310
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
64
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
210
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
himito
0
180

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