manuelcoppotelli / beamer-roma-theme
A spiffy theme for LaTex Beamer inspired by Rome
☆13Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for beamer-roma-theme
- Coronavirus time series aligned by number of cases, not date.☆22Updated 4 years ago
- Notebooks for course HLT☆13Updated last year
- Tile map of the Computer Science Department of Università di Pisa☆12Updated 3 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆14Updated 3 weeks ago
- GilBERTo: A pretrained language model based on RoBERTa for Italian☆73Updated 4 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated 7 months ago
- From LTLf/LDLf To Automata☆21Updated 4 years ago
- A library for generating automata from LTL and LDL formulas with finite-trace semantics.☆11Updated 2 years ago
- STRIPS benchmarks for classical planning☆13Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Updated 3 years ago
- 🎓Appunti - Corso di laurea in Informatica @ UniPi☆7Updated 4 years ago
- LaTeX beamer template for presentations at Sapienza University of Rome☆22Updated last year
- Notes of ICT Infrastructures course - University of Pisa (Italy)☆27Updated 3 years ago
- ☆28Updated 8 months ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated 2 weeks ago
- ☆76Updated this week
- Teaching material for the course of Deep Learning and Applied AI, 2nd semester 2020, Sapienza University of Rome☆32Updated 4 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆16Updated 2 months ago
- Notes of several master courses attended at sapienza engineering in computer science☆37Updated 3 years ago
- A tool for LDLf translation to DFA and for LDLf synthesis.☆23Updated last year
- template LaTeX per tesi di laurea in italiano ed inglese☆57Updated 2 years ago
- Engineering in Computer Science Master Degree Notes☆11Updated last year
- natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.☆50Updated 2 years ago
- Synthesizer of LTLf formula☆9Updated last year
- FOND solver based on SAT☆14Updated 2 years ago
- Notes from the Computational Mathematics course held by professor Antonio Frangioni and professor Federico Poloni at University of Pisa☆12Updated 3 years ago
- [Italian] Material for a theoretical practical machine learning crash course with TensorFlow 2.0☆74Updated 5 years ago
- Everything a Machine Learning Engineer needs to know, from statistics, probability theory, ML, DL and AI.☆23Updated 2 years ago
- Python package for Sentential Decision Diagrams (SDD)☆54Updated 3 weeks ago
- 🎓Collection of useful repositories☆140Updated last month