Marco Tinacci's repositories
Financial-Neural-Networks
Project for Neural Networks course at the University of Florence. We have used neural networks for financial forecasting.
image-clustering
Parallelization and distribution techniques are employed with openMP and MPI to divide images in clusters by similarity
PMango-Diagrams
This is a module of output functions for Gantt, task network and work breakdown structure diagrams in the application PMango.
Event-Oriented-Language
Project for "Languages, Interpreters and Compilers" course at the University of Florence. It uses xText on Eclipse to build a compiler from my personal Event Oriented Language (EOL) to C++.
hearthstone-framework
Framework in Java of basic concepts used in Hearthstone to model cards, players, hero powers and so on.
predictive-crowds
The anonymity protocol CROWDS extended with online control and analyzed from many point of views, one for each formulation of the parametric model.
Fantaservlet
Project for Distributed Systems and Computer Networks. It uses java servlets to provide a fantasy football service.
pomdp-jresp
JResp is a Java environment implementation of the SCEL language. In this repository an extension of jResp is implemented to model partially observable models and policies synthesis currently computed employing the tool pomdp-solve.
small-world
A digital conversion of the popular board game Small World
SwarmRobotics
Bachelor's thesis in computer science. SEAL is a language developed in Xtext and Java that model probabilistic and nondeterministic behaviors of adaptive agents. SEAL is compiled in the Prism model checker language to compute strategies that maximize probabilities of goal formulas.