Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Jaime Arias Almeida

Jaime Arias Almeida

himito
1 Stars

Decks

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

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