2025·26·04 Transformers + Time series = amazing things
2025·26·04 What is AI jailbreaking?
2025·26·04 Can we see under the hook of deep models?
2025·20·03 Synthesis Problem
2025·01·03 Tamarin
2025·26·02 Symbolic MC and Bounded MC
2025·20·02 Model Checking
2025·15·02 Computational Tree Logic (CTL)
2025·14·02 Linear Temporal Logic
2025·12·02 Learning Automata
2025·11·02 Weak S1S
2025·10·02 Secondo teorema di Büchi
2025·09·02 Monadic Second Order theory of One's Successor
2025·08·02 Automi a stati finiti su parole infinite
2025·05·02 Fair Transition System
2025·03·02 Myhill-Nerode Theorem
2025·03·02 Automi a stati finiti su parole finite
2025·10·01 Problemi NP-completi
2025·10·01 Appartenenza a NP per certificato
2025·09·01 Cook-Levin Theorem
2025·07·01 Completezza e Riduzioni tra classi di complessità
2025·06·01 Relazione tra Classi di Complessità 5 - Savitch Theorem
2025·06·01 Relazione tra Classi di Complessità 4 - Reachability Method
2025·06·01 Relazione tra Classi di Complessità 3 - Gap Theorem
2025·06·01 Relazione tra Classi di Complessità 2 - Hierarchy Theorem
2025·03·01 Relazione tra Classi di Complessità 1 - Proper Functions, Precise MdT, Complement Class
2025·03·01 Turing Machines 3 - Non-deterministic Turing Machines
2025·02·01 Turing Machines 2 - Deterministic Turing Machines, Complexity, Speed-up Theorem
2025·02·01 Turing Machines 1 - Uniform vs Logarithmic cost criterium
2025·01·01 Information Theory - Lecture 6 - Kolmogorov Complexity vs Shannon Entropy
2024·26·12 Information Theory - Lecture 4
2024·26·12 Information Theory - Lecture 3
2024·26·12 Information Theory - Lecture 2
2024·26·12 Information Theory - Lecture 5 - Kolmogorov Complexity 1965
2024·25·12 Information Theory - Lecture 1
2024·05·11 RECSYS Lecture 12 - Structural Recommender Systems
2024·05·11 Internet-of-Things: ethical considerations
2024·03·11 RECSYS Lecture 11 - Learning-to-Rank
2024·01·11 RECSYS Lecture 10 - Transformers
2024·30·10 RECSYS Lecture 9 - Neural Networks for Recommender systems
2024·28·10 RECSYS Lecture 8 - Evaluation of recommender systems
2024·26·10 RECSYS Lecture 7 - Multi-armed bandit
2024·24·10 RECSYS Lecture 6 - Hybrid Recommender Systems
2024·22·10 RECSYS Lecture 5 - Knowledge-based recommender systems
2024·20·10 RECSYS Lecture 4 - Content-based filtering
2024·08·10 RECSYS Lecture 3 - Model-based Collective Filtering
2024·07·10 Bayes Theorem
2024·06·10 RECSYS Lecture 2 - Neighborhood-based collaborative filtering
2024·04·10 Introduction to Recommender Systems
older posts
newer posts