Image processing, analysis, and machine vision / Milan Sonka, Vaclav Hlavac, Roger Boyle. [Stamford] : Cengage Learning, 2008
Artificial intelligence : A modern approach / Stuart J. Russell, Peter Norvig. Englewood Cliffs : Prentice-Hall, 1995
Parallel program design : A Foundation / K. Mani Chandy , Jayadev Misra. Reading : Addison-Wesley, 1988
Hughes et al. 2013. Computer Graphics Principles and Practice. > ISBN-13: > 978-0321399526. Addison-Wesley Professional. 3 edition (July 20, 2013)
The syllabi of the exam, which are published in advance, are based on the content of the profile subjects, but are not linked to them. List of recommended subjects:
Mathematical modeling and computer animation of physical processes; Formal software development methods; Discrete structures in informatics; Computational fuzzy logic, modeling and systems; Machine learning.
9.2.9 Syllabuses of state examinations of the master's study program
Applied Informatics
a
Applied informatics (conversion program)
State subject 2-AIN-991/15 Master's thesis defense
State subject 2-AIN-953/15 Methods of Applied Informatics
The student pulls one question at random.
2-AIN-185/00 Formal methods of software development - D. Gruska
1. Explain the principle of bisimulation and its use to verify the properties of programs.
2. Modal and temporal logics and their use for verification of program properties.
3. Process algebras, syntax, semantics, usage.
4. Time automata, principles, properties and uses.
5. Petri nets, types, properties and uses.
2-AIN-206/15 Mathematical Modeling and Computer Animation of Physical Processes - R. Ďurikovič
6. Animations of motion and orientation, nearest neighbor, linear interpolation, interpolation spline for motion animation, Cubic Bézier interpolation curve, C1 continuity of curve composition.
7. Quaternion and orientation, axis of rotation and angle, representation by quaternions, rotation in space by quaternions, inverse quaternion, composition of rotation of two quaternions, interpolation SLERP (Spherical Linear Interpolation), interpolation of two or more quaternions, Catmull-Rom interpolation.
8. Collision detection, necessary and sufficient condition when there are no two bodies in collision, dividing plane, broad phase (hierachical grid), mid phase (envelope hierarchy, Voronoi areas in collision, explain on the example of collision ball x capsule, decomposition of a body on convex parts), narrow phase (Minkowski space and proximity of convex bodies).
9. Numerical solution of differential equations, ODE first order separable, Equations of motion first order velocity, acceleration, Euler's method, MidPoint method, Runge-Kuta method, stability condition for time step selection.
10. Dynamics of rigid bodies, problem definition, position, center of gravity and orientation of a body, equation of motion (4 ODE), velocity, acceleration, angular velocity and angular acceleration, momentum matrix (inertia matrix) momentum matrix for a sphere, fixed block, displaced block.
2-INF-150/15 Machine learning - V. Boža, M. Šuppa, T. Vinař
11. Regression. Linear regression, solution using normal equations and gradient method, generalized linear regression, regularization.
12. Neural networks. Differences between logistic regression and simple perceptron. Hidden layers in neural networks. Convolutional neural networks. Back promotion method.
13. Support vector machines. Basic formulation, dual formulation. Kernel method.
14. Voting schemes. Bagging and boosting. Application to decision trees. Random forests.
15. Theory of machine learning. Mathematical model of machine learning. Deviation and variance. Holdout testing. PAC (probably approximately correct) learning, VC (Vapnik-Cervonenkis) dimension.
2-AIN-113/22 Computational fuzzy logic, modeling and systems - D. Guller
16. Residual unions - basic properties, triangular (co-) norms, residuals, continuity, manyvalued (MV), Goedel (G), product (P) algebras / varieties.
17. Fuzzy logics and computational formalisms (Lukasiewicz, Goedel, product), Davis – Putnam – Logemann – Loveland (DPLL) procedure, binary resolution, hyper-resolution.
18. Fuzzy sets, fuzzy numbers and arithmetic, discrete fuzzy sets, fuzzy set modifiers (hedges).
19. Fuzzy approximation models, fuzzy (F) transform, fuzzy cluster analysis.
20. Fuzzy inference, compositional rule of inference (CRI), fuzzy rules - Mamdani type, Sugeno-Takagi type, linguistic variable, Zadeh approach, fuzzification / defuzzification, fuzzy inference systems, fuzzy controllers (linear fuzzy proportional-integral-derivative (PID) and incremental control).
2-AIN-138/16 Discrete Structures in Informatics and Computer Graphics - T. Jajcayová
21. Groups, cyclic groups, modular arithmetic, primitive root, application to pseudorandom number generator, linear congruent generator.
22. One-way functions, discrete logarithm, application to Diffie-Helman key exchange protocol, use in crypto systems with public key.
23. Matrix algebra, modular matrices, applications, determinants, linear transformations.
24. Quaternions and their basic operations, Quaternion group, connections to linear transformations and rotations in three dimensions, comparing properties of the fields of Real, Complex, and Quaterion numbers.
25. Number theory, prime tests (also probabilistic), extended Euclidean algorithm - applications, fast modular exponentiation (even with complexities), small Fermat's theorem, Euler's theorem, applications to RSA crypto system.
Slovak, English
The syllabi of the exam, which are published in advance, are based on the content of the profile subjects, but are not linked to them. List of recommended subjects:
Mathematical modeling and computer animation of physical processes; Formal software development methods; Discrete structures in informatics; Computational fuzzy logic, modeling and systems; Machine learning.
https://dai.fmph.uniba.sk/w/State_examinations_for_Master_program_in_Applied_Informatics/en
0/100
The student consolidates the knowledge and skills acquired during the master's study and understands their interrelationships and the context in which they act.
Ako písať vysokoškolské a kvalifikačné práce : Ako písať seminárne práce, ročníkové práce, práce študentskej vedeckej a odbornej činnosti, diplomové práce, záverečné a atestačné práce, dizertácie / Dušan Katuščák. Bratislava : Stimul, 1998
http://dl.acm.org/dl.cfm?CFID=412417535&CFTOKEN=50913605
The result is a written diploma thesis defended before the state commission with the following structure
1. Problem specification and its analysis.
2. Overview of the issue.
3. Methodology of problem solving.
4. Project decisions.
5. Work plan and its control.
6. Specification of software work.
7. Computational experiments and their evaluation.
8. Defense of the diploma thesis text.
`
Writing, preparing a presentation and defending a thesis.
The diploma thesis is taken into account when evaluating the subject of the state examination
- submitted diploma thesis and the level of achieved results with emphasis on creativity and implementation results (based on the opinions of the project leader and the opponent),
- work on the project during its solution (based on the opinion of the project leader),
- presentation and defense of the diploma thesis,
- statements and opinions in a wider professional debate.
Interim evaluation: Written report - diploma thesis, which is assessed by the project leader and one opponent, its defense is a state exam. By enrolling in the subject of Diploma Thesis Defense, the student also registers for the state exam in the given academic year. If the student has not submitted the diploma thesis by the given deadline, the state examination is classified with the classification grade "FX".
Exam: State exam defense of diploma thesis
Slovak, English
Writing, preparing a presentation and defending a thesis.
The diploma thesis is taken into account when evaluating the subject of the state examination
- submitted diploma thesis and the level of achieved results with emphasis on creativity and implementation results (based on the opinions of the project leader and the opponent),
- work on the project during its solution (based on the opinion of the project leader),
- presentation and defense of the diploma thesis,
- statements and opinions in a wider professional debate.
https://dai.fmph.uniba.sk/w/How_to_Find_a_Thesis_Topic/sk
https://dai.fmph.uniba.sk/w/Submitting_Diploma_and_Bachelor_Theses/sk
0/100
The result is a written diploma thesis defended before the state commission.
1. Problem specification and its analysis.
2. Overview of the issue.
3. Methodology of problem solving.
4. Project decisions.
5. Work plan and its control.
6. Specification of software work.
7. Computational experiments and their evaluation.
8. Defense of the diploma thesis text.