Pinned Repositories
arch
bsn
Self-adaptive body sensor network vital signs simulation
lepton
libbsn
Library that supports the implementation of a Body Sensor Network (BSN)
mappingCTSEproperties
How to check control properties in source code? We map control properties into traditional software engineering properties in an attempt to solve the challenge.
markov-sensors
This repository documents the replication package of the work entitled Self-Organized Mapping for environmental non-determinism simulation at WEKA
resilient_robotics
Contains a digital version of a poster on Resilient Robotics. How it summarizes and tells a story about architecting, verifying, validating and adapting robotics software.
sa-bsn
Body Sensor Network (SA-BSN): A Self-Adaptive System Exemplar in the Healthcare Domain
SEAMS18
Repo for versioning experimental Body Sensor Network (BSN) prototype on OpenDaVINCI, UPPAAL timed automata model and experimental data.
ros-rvft.github.io
This repository collects guidelines that can help developers and QA teams when developing, verifying or testing their ROS-based robots in the field.
rdinizcal's Repositories
rdinizcal/bsn
Self-adaptive body sensor network vital signs simulation
rdinizcal/sa-bsn
Body Sensor Network (SA-BSN): A Self-Adaptive System Exemplar in the Healthcare Domain
rdinizcal/SEAMS18
Repo for versioning experimental Body Sensor Network (BSN) prototype on OpenDaVINCI, UPPAAL timed automata model and experimental data.
rdinizcal/lepton
rdinizcal/libbsn
Library that supports the implementation of a Body Sensor Network (BSN)
rdinizcal/arch
rdinizcal/bee_detection
Repo for versioning the solution for the WASP AS1 object detection assignment.
rdinizcal/furhat
WASP AS 2 Furhat assignment
rdinizcal/mappingCTSEproperties
How to check control properties in source code? We map control properties into traditional software engineering properties in an attempt to solve the challenge.
rdinizcal/markov-sensors
This repository documents the replication package of the work entitled Self-Organized Mapping for environmental non-determinism simulation at WEKA
rdinizcal/mhs-scala
rdinizcal/resilient_robotics
Contains a digital version of a poster on Resilient Robotics. How it summarizes and tells a story about architecting, verifying, validating and adapting robotics software.
rdinizcal/abb_wrapper
rdinizcal/activity_recognition
Repo for versioning the solution for the WASP AS1 activity recognition assignment.
rdinizcal/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
rdinizcal/bsn_Seams2019
Repo for versioning experimental Body Sensor Network (BSN) prototype in OpenDaVINCI and experimental data for SEAMS 2019.
rdinizcal/bsn_server
Servidor em Node.js para a BSN
rdinizcal/bsn_server_api
This api serves as intermediate between bsn and bsn server
rdinizcal/CPA-022017
Trabalho final da disciplina de controle para automação da Universidade de Brasília (02/2017)
rdinizcal/ct4bsn-replication_package
Replication Package for Applying Combinatorial Testing for the Body Sensor Network: An Experience Report
rdinizcal/dblp-pub
A scraper that downloads search results from DBLP.
rdinizcal/home-assistant_core
:house_with_garden: Open source home automation that puts local control and privacy first.
rdinizcal/master_thesis_eval
A repository containing the bsn code implemented upon the ROS middleware, its dependencies and the experimental data collected through the executions for the master thesis case study and evaluation chapter
rdinizcal/mde2020
rdinizcal/mycpplib
Personal data structure library to practice cpp development through TDD paradigm
rdinizcal/q_learning_demo
This is the code for "How to use Q Learning in Video Games Easily" by Siraj Raval on Youtube
rdinizcal/rclviz
Researcher Collaboration Visualizer is an open-source Python code that visualizes collaborations between researchers, using Google Scholar and geopy to generate a KML file with author locations and connections.
rdinizcal/ros-rvft.github.io
This repository collects guidelines that can help developers and QA teams when developing, verifying or testing their ROS-based robots in the field.
rdinizcal/ROS_Scheduler
EDF message scheduler module for Robot Operating System (ROS)
rdinizcal/wman