Artificial Intelligence
-
Software Verification and Validation
4460 viewsRead more...Course Instructor: Lorina Negreanu Syllabus: Introduction: Software development. Software development methods and models. Extreme programming. Requirements analysis; user specifications; UML. Software testing. Testing techniques and methodologies. Software verification. Methods of software specification. The predictability of software development.
-
Neural Networks
3435 viewsRead more...Course Instructor: Syllabus: Connectionist paradigm. Rules and learning algorithms of neural networks with feed forward. Universal function approximators feed forward propagation multilayer networks....
-
Self-organizing systems
3842 viewsRead more...Course Instructor: Andrei Mogos Syllabus: An introduction to self-organizing systems. Bio-inspired self-organizing systems. Selforganizing systems used in economy. Ant Colony Optimization. The social...
-
Symbolic and statistical learning
5163 viewsRead more...Course Instructor: Traian Rebedea , Costin Gabriel Chiru Syllabus: Introductive elements of machine learning, statistics, information theory and decision theory. Linear models for regressions. Linear...
-
Natural language processing
4130 viewsRead more...Course Instructor: Stefan Trausan-Matu Syllabus: Introduction in Natural Language Processing. Phonetics and phonology. Finite state transducers, two level morphology, paradigmatic morphology, Stemmin...
-
Multi-agent systems
4367 viewsRead more...Course Instructor: Adina Magda Florea Syllabus: Agents and multi-agent systems. Architectures for cognitive and reactive agents. Communication languages and protocols for MAS. Coordination for solvin...
-
Data Mining
4815 viewsRead more...Course Instructor: Florin Radulescu Syllabus: Introduction in Data mining. Data preprocessing. Association Rules & Sequential Patterns. Supervised learning. Unsupervised learning – Clustering. Partia...
-
Type systems and functional programming
3899 viewsRead more...Course Instructor: Mihnea Muraru Syllabus: Functional programming. Untyped Lambda Calculus. Recursion and fixed-point combinators. Operational semantics as a language specification tool. Typed Lambda...
-
Knowledge Representation and Reasoning
4988 viewsRead more...Course Instructor: Adina Magda Florea Syllabus: Knowledge representation in a model. First order and higher order models. Nonmonotonic models. Temporal models. Logical models of higher order. Frame s...