Advanced Modules - FUB

Subsections

Advanced Module - Language and Communication Technologies

Keywords: grammar formalisms, computer lexicography, information retrieval, mathematical methods and logic, linguistics

The module was designed with input from industry professionals to give students a solid foundation in language and communication technologies so that they will be able to grow and change along with this rapidly developing and exciting discipline. Students will gain knowledge of fundamental techniques in speech and language processing and their application in domains such as semantic web, digital libraries, question answering, dialogue systems, machine translation and information retrieval. In particular, this module provides extended knowledge of the modern formal language and grammar theories and the methodology and techniques of language description, as well as the ability to implement them in Computational Linguistics.

Structure:

Course: Computational Linguistics
ID: BZ-
Authors: Raffaella Bernardi
ECTS: 4
Classification:  
Description: This course presents a graduate-level introduction to natural language processing, the primary concern of which is the study of human language use from a computational perspective. The principal objectives of the course are to provide students with a broad overview of the field, and prepare them for further study computational linguistics. No previous knowledge of linguistic theory and linguistic applications is assumed. The syllabus includes: Ambiguity, History of the field, Phonology, Morphology, Syntax, Semantics, Pragmatics, Formal Languages and Finte State Autonoma, Formal Grammars, Parsing, NLP and Logic.


Course: Introduction to linguistics
ID: BZ-
Authors: Daniela Veronesi
ECTS: 4
Classification:  
Description: The course provides a general introduction to linguistics and to the different levels of linguistic analysis and aims at giving students a theoretical background for further work in computational applications. Students are introduced to the core areas of general linguistics such as phonetics and phonology, morphology, syntax and semantics. Textual and pragmatic aspects will also be addressed. Particular attention will be given to links between aspects of general linguistics and CL work. Lectures will be integrated by exercise sessions, wich will give students the opportunity to apply theoretical notions to specific aspects of languages and communicative events by analysing and working with spoken and written texts in English, Italian and/or German.


Course: Digital Libraries
ID: BZ-
Authors: Vittorio Di Tomaso
ECTS: 4
Classification:  
Description: The course 'Digital Libraries' is aimed to students who wish to handle real-world issues of building, using and maintaining large volumes of information in digital libraries. Students will learn the fundamentals of modern information retrieval, with a particular focus on how this emerging technology complements traditional information finding skills of the librarian or archivist. The syllabus includes: Managing DL collections (Text encodings: (SGML, Unicode, XML), Text analysis for searching and classification); Fundamentals of information retrieval (Document indexing, TF*IDF, Boolean retrieval model, Vector space model, Algebraic models); Classification (Traditional classification schemes, metadata types, Dublin core, Warwick framework); DL policy, interoperability and access rights; Bibliometrics and its applications; User interfaces for querying and displaying documents; Evaluation; Collaborative filtering, Recommender systems, Reputation schilling, Authorship attribution, Plagiarism detection.


Course: Human Computer Interaction
ID: BZ-
Authors: Andrea Molinari
ECTS: 4
Classification:  
Description: The course wants to stress the importance of good interfaces and the relationship of interface design to effective human interaction with computers. The course is concerned with design, implementation, and evaluation of software interfaces. On completion of the course, the participant will have theoretical knowledge and practical experiences in the fundamental aspects of designing, implementing and evaluating software interfaces. Theoretical class lectures will be augmented by case studies of interface successes and failures. The course will also introduce the participant to novel interfaces that go beyond what we normally see in today's graphical user interfaces. An important part of the course will be devoted to the study and commenting of ACM and IEEE papers taken from latest HCI conferences.


Course: Intelligent Interfaces
ID: BZ-
Authors: Massimo Zancanaro, Fabio Pianesi
ECTS: 4
Classification:  
Description: Multimodal Intelligent Interfaces represent an emerging interdisciplinary research direction, involving spoken language understanding, natural language understanding, image processing, computer vision, pattern recognition, experimental psychology, and others. These technologies aim at efficient, convenient and natural interaction and communication between computers and human users, thus reaching the ultimate goal of enabling users to interact with computers using everyday skills. The course intends to provide an overview of the issues in design and evaluation of Multimodal Intelligent Interfaces with particular emphasis on the life-cycle. The program will cover the topics of multimodal, tangible and conversational interfaces with special emphasis on the need of informed design and evaluation. Topics are covered from a broad multidisciplinary perspective, with an emphasis on real-world users and usage contexts. In addition to weekly classroom lectures, guest lectures, and discussion, this class includes a hands-on practicum component in which students participate in state-of-the-art research and interface design to complete a team project.


Course: Text Processing
ID: BZ-
Authors: Bernardo Magnini
ECTS: 4
Classification:  
Description: Understanding the content expressed by written texts is one the more challenging topic in Artificial Intelligence as well as a crucial area of technological development in Information Access. The course will provide basic notions in Text Processing according to both data-driven and knowledge-based methodologies and technologies. Students will be introduced to text processing technologies, from morpho-syntactic analysis to content extraction. Implemented tools and application scenarios will serve as exemplification of concrete use of fundamental techniques. The course will review basic methods and technological achievements in text processing and content extraction from texts. State of art approaches in Part of Speech Tagging, Shallow Parsing, Terminology Recognition, Named Entities Recognition and Word Sense Disambiguation will be addressed in depth.


Advanced Module - Information Systems

Keywords: Foundations of databases, advanced database applications, digital libraries, distributed information systems

This module aims to provide students with a detailed theoretical and practical knowledge of how advanced database management systems (DBMS) are implemented, how efficient applications are designed and implemented to work on DBMS, and how DBMS may be linked to form distributed database systems.

Structure:

Course: Digital Libraries
ID: BZ-
Authors: Vittorio Di Tomaso
ECTS: 4
Classification:  
Description: The course 'Digital Libraries' is aimed to students who wish to handle real-world issues of building, using and maintaining large volumes of information in digital libraries. Students will learn the fundamentals of modern information retrieval, with a particular focus on how this emerging technology complements traditional information finding skills of the librarian or archivist. The syllabus includes: Managing DL collections (Text encodings: (SGML, Unicode, XML), Text analysis for searching and classification); Fundamentals of information retrieval (Document indexing, TF*IDF, Boolean retrieval model, Vector space model, Algebraic models); Classification (Traditional classification schemes, metadata types, Dublin core, Warwick framework); DL policy, interoperability and access rights; Bibliometrics and its applications; User interfaces for querying and displaying documents; Evaluation; Collaborative filtering, Recommender systems, Reputation schilling, Authorship attribution, Plagiarism detection.


Course: XML and Semistructured Databases
ID: BZ-
Authors: Andrea Calì
ECTS: 4
Classification:  
Description: The objective of the XML and Semistructured Databases course is to provide students with both theoretical and practical knowledge about semistructured data. In particular, the XML language is introduced, together with a family of XML-based formalisms that are used to query and manipulate XML documents. Specifically, the course will cover expressive power of XML languages and computational complexity of tasks related to XML data, in particular XML parsing and containment of queries. Since the focus is for a data-oriented use of XML, the course will also cover techniques for storing XML data in traditional relational databases. As for practical aspects, during this course the students will learn to develop an application that queries and manipulates XML data.


Course: Foundations of Databases
ID: BZ-
Authors: Werner Nutt
ECTS: 4
Classification:  
Description: The aim of the course is to deepen the knowledge of students about the formal concepts underlying database systems. Semantic aspects such as containment and equivalence of queries, modeling incomplete information, information integration and expressive power of query languages will be considered as well as computational aspects such as evaluation, optimization, and rewriting of queries as well as the computational complexity of selected query languages. The syllabus includes: Relational query languages, relational calculus; Conjunctive queries, equivalence and containment of conjunctive queries, query processing and optimization; Datalog and recursion, datalog evaluation; Incomplete information, possible and certain answers; Information integration, query rewriting.


Course: Data Warehousing and Data Mining
ID: BZ-
Authors: Michael H. Boehlen and Arturas Mazeika
ECTS: 8
Classification:  
Description: Enable students to understand and implement classical algorithms in data mining and data warehousing. The syllabus includes: Visual data mining; Statistical primer: parameter estimation, quality metrics of parameter estimation, hypothesis testing, Bayes theorem, histograms, scatter plots, regression, Classification algorithms, Clustering algorithms, Association rules, Web mining, Spatial mining, Temporal mining, Data Warehousing, OLAP, The multi-dimensional join, Data integration, Data quality.


Course: Distributed Databases
ID: BZ-
Authors: Thomas B. Hodel
ECTS: 4
Classification:  
Description: The objective of the Distributed Databases course will cover the theory of distributed databases and the use of distributed databases in business. Lab-based seminars have the objective to design and implement concepts of a distributed database management system. The syllabus includes: Distributed DBMS Architecture; Distributed Database Design; Transaction Management; Distributed Concurrency Control; Distributed DBMS Reliability; Parallel Database Systems; Current Issues.


Course: Temporal and Spatial Databases
ID: BZ-
Authors: Johann Gamper
ECTS: 4
Classification:  
Description: New course, syllabus to be defined yet


Advanced Module - Formal Methods for Artificial Intelligence

Keywords: Knowledge Representation, advanced logic systems, foundations of databases

This module combines the study of advanced formal techniques for knowledge representation and reasoning, with their application to the semantic web field. This module is concerned with techniques for the declarative representation of knowledge and inference methods based on formalized knowledge. Introduced are standard representation formalisms for various kinds of knowledge (like temporal, dynamic, categorical, or grammatical knowledge). The mathematical properties of the formalisms are discussed. Calculi for inferring knowledge are given and analyzed. Principles for designing and building knowledge-based systems are introduced, and applications of knowledge representation and reasoning techniques to artificial intelligences are covered. The successful completion of this module enables students to understand and create knowledge representation formalisms, to analyze, design, and use algorithms for drawing inferences from formal knowledge, and to build and apply knowledge-based systems.

Structure:

Course: Knowledge Bases and Databases
ID: BZ-
Authors: Enrico Franconi
ECTS: 4
Classification:  
Description: This course will offer few advanced topics about the application of knowledge representation technologies to database problems: this includes: information access mediated by ontologies; Data integration systems, Consistent query answering, Semantics Driven Support for Query Formulation.


Course: Non-classical Logics
ID: BZ-
Authors: Rosella Gennari
ECTS: 4
Classification:  
Description: Modal logic is usually viewed as the logic of 'necessity' in philosophy, and of 'provability' in mathematics. But computer science has advocated another view: that of modal languages as compact yet expressive languages for describing relational structures. In fact relational structures - hence modal logic - lie at the core of computer science areas such as computational linguistics, planning and (concurrent) program verification. This course will present the basics of modal logic, emphasizing its semantic and computational properties. The syllabus includes: Basic concepts: relational structures, in particular transition systems and trees; modal languages; semantics of modal logics; proof systems for modal logics; Models and satisfiability:basic model construction techniques; simulations and bisimulations; the standard translation; Frames and validity; Soundness and completeness of the basic modal logic; Decidability of the basic modal logic.


Course: Semantic Web technologies
ID: BZ-
Authors: Jos de Bruijn
ECTS: 4
Classification:  
Description: The course will present the cutting-edge technologies from the semantic web vision: the RDF data model; the SPARQL query language; the OWL web ontology language; Semantic Web Services; F-Logic for the semantic web; RuleML. A laboratory will be held with, among other things, Jena.


Course: Computational Linguistics
ID: BZ-
Authors: Raffaella Bernardi
ECTS: 4
Classification:  
Description: This course presents a graduate-level introduction to natural language processing, the primary concern of which is the study of human language use from a computational perspective. The principal objectives of the course are to provide students with a broad overview of the field, and prepare them for further study computational linguistics. No previous knowledge of linguistic theory and linguistic applications is assumed. The syllabus includes: Ambiguity, History of the field, Phonology, Morphology, Syntax, Semantics, Pragmatics, Formal Languages and Finte State Autonoma, Formal Grammars, Parsing, NLP and Logic.


Course: XML and Semistructured Databases
ID: BZ-
Authors: Andrea Calì
ECTS: 4
Classification:  
Description: The objective of the XML and Semistructured Databases course is to provide students with both theoretical and practical knowledge about semistructured data. In particular, the XML language is introduced, together with a family of XML-based formalisms that are used to query and manipulate XML documents. Specifically, the course will cover expressive power of XML languages and computational complexity of tasks related to XML data, in particular XML parsing and containment of queries. Since the focus is for a data-oriented use of XML, the course will also cover techniques for storing XML data in traditional relational databases. As for practical aspects, during this course the students will learn to develop an application that queries and manipulates XML data.


Course: Knowledge Representation
ID: BZ-
Authors: Enrico Franconi
ECTS: 4
Classification:  
Description: The aim of the course is to provide students with an understanding of the formal foundations of classical logic-based knowledge representation languages, and with an overview of the reasoning methods for them. Most of the course will focus on description Logics and on ontology languages. Other formalisms will be introduced, such as modal logics, temporal logics and epistemic logics. The syllabus includes: A review of computational logic; Knowledge Representation; Structural description logics; Propositional description logics; Knowledge bases; Modal logics; Logics and databases.


Course: Foundations of Databases
ID: BZ-
Authors: Werner Nutt
ECTS: 4
Classification:  
Description: The aim of the course is to deepen the knowledge of students about the formal concepts underlying database systems. Semantic aspects such as containment and equivalence of queries, modeling incomplete information, information integration and expressive power of query languages will be considered as well as computational aspects such as evaluation, optimization, and rewriting of queries as well as the computational complexity of selected query languages. The syllabus includes: Relational query languages, relational calculus; Conjunctive queries, equivalence and containment of conjunctive queries, query processing and optimization; Datalog and recursion, datalog evaluation; Incomplete information, possible and certain answers; Information integration, query rewriting.


Course: Advanced Statistics
ID: BZ-
Authors: Mario Fedrizzi
ECTS: 4
Classification:  
Description: Enable students to understand the basic inference techniques and their applications in the management of quality. The syllabus includes: Inferences based on samples: Chebyshev's rule, the central limit theorem, estimation with confidence intervals, the t-statistic, one-sided and two-sided tests about a population mean; Comparing two population means and determining the sample size, testing the assumption of equal population variances, comparing two population proportions and determining the sample size, Multinomial experiments and contingency table analysis; Nonparametric methods: the sign test for small samples and for continuous measurements, the Wilcoxon test, tests for comparing medians; Simple linear regression: the least square approach, the coefficients of correlation and determination, using the model for prediction. Quality, processes and systems. Statistical control and control charts, charts for monitoring the mean and the variation.


Course: Advanced Algorithms
ID: BZ-
Authors: J. Nievergelt
ECTS: 4
Classification:  
Description: The discipline of algorithm design, analysis and implementation is vast, covering many different application areas, types of objects to be processed, requirements, design and analysis techniques. This course surveys the broad field of algorithm design and analysis, emphasizing basic concepts, techniques, and examples. The syllabus includes: Introduction and overview. Computational geometry. Graph algorithms and network optimization. Algorithm analysis techniques. Numerical algorithms. Linear programming. Approximation algorithms. Randomized algorithms. Online algorithms and competitive analysis.