paulosalem
Doctor of Computer Science (University of São Paulo / Université Paris-Sud). Sr. Data & Applied Scientist at Microsoft. Independent researcher.
@microsoftSão Paulo, SP, Brazil
Pinned Repositories
covid19-analytics
Analysis of the COVID19 outbreak in Brazil mainly through epidemic and hospitalization models, by the Health Analytics and Prospera consulting business units of Funcional Heatlh Tech.
ALEVOS
ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.
awesome-coronavirus
🦠Useful projects and resources for COVID-19 (2019 novel Coronavirus)
banking-behavior-analytics
Consumer banking behavior examples from the PKDD'99 Discovery Challenge dataset.
behaviorist_agent_architecture
The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.
FGS
Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this is what you need.
gpt3-poc-tutorial-with-braindump
A demo application to support my tutorial on building applications with GPT-3.
time-blender
A programmatic and compositional time series generator.
verum
VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.
paulosalem's Repositories
paulosalem/gpt3-poc-tutorial-with-braindump
A demo application to support my tutorial on building applications with GPT-3.
paulosalem/verum
VErifiable RUby Machines - A Finite-State Machines library for Ruby with formal verification capabilities.
paulosalem/time-blender
A programmatic and compositional time series generator.
paulosalem/banking-behavior-analytics
Consumer banking behavior examples from the PKDD'99 Discovery Challenge dataset.
paulosalem/behaviorist_agent_architecture
The Behaviorist Agent Architecture's sources and executables. This is a library used as part of my doctoral thesis.
paulosalem/FGS
Formally Guided Simulator's (FGS) sources and executables. This is the overall proof-of-concept software that goes along with my doctoral thesis. If you wish to run the examples given there, this is what you need.
paulosalem/ALEVOS
ALgebraic Engine for Verification Of Simulations' sources and executables. Actually, it is a pi-calculus simulation library, used as part of my doctoral thesis.
paulosalem/awesome-coronavirus
🦠Useful projects and resources for COVID-19 (2019 novel Coronavirus)
paulosalem/behaviorist_agent_architecture_component
The wrapper needed to make the Behaviorist Agent Architecture library available to FGS. Used as part of my doctoral thesis.
paulosalem/covid19-analytics
Analysis of the COVID19 outbreak in Brazil mainly through epidemic and hospitalization models, by the Health Analytics and Prospera consulting business units of Funcional Heatlh Tech.
paulosalem/jQuery-Timepicker-Addon
Adds a timepicker to jQueryUI Datepicker
paulosalem/open_field_flow
An open-source particle system simulator in which particles flow through and interact with a vector field.
paulosalem/Prompt-Engineering-Guide
:octopus: Guides, papers, and resources for prompt engineering
paulosalem/quantcon2018
paulosalem/snakes
SNAKES is the Net Algebra Kit for Editors and Simulators