Struktuur

Asutuse üldandmed

Teoreetilise informaatika õppetool
Chair of Theoretical Computer Science
31.12.2015
avalik-õiguslik juriidiline isik

Kontakt

Eesti Vabariik
Tartu
J. Liivi 2-305
(+372) 737 5473
  • Leitud 76 kirjet
PublikatsioonAutoridAastaVäljaande pealkiriKlassifikaatorFailAsutused
BROJA-2PID: A robust estimator for bivariate partial information decompositionMakkeh, Abdullah; Theis, Dirk Oliver; Vicente, Raul2018Entropy1.1.Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Comparison of IP and CNF Models for Control of Automated Valet Parking SystemsTheis, Dirk Oliver; Makkeh, Abdullah2018Springer Proceedings in Mathematics & Statistics3.1.Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Optimizing Bivariate Partial Information DecompositionMakkeh, Abdullah; Theis, Dirk Oliver20183.3.Tartu Ülikool, Loodus- ja täppisteaduste valdkond, arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Conceptualizing a Pedagogical CAS for Algebraic Manipulation of Expressions Prank, Rein; Lepp, Marina2016Learning Environments: Emerging Theories, Applications and Future Directions3.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
What Should We Add to Syntax-oriented Generation of Random Expressions to Meet Pedagogical Needs? Prank, Rein2016Proceedings of the 8th International Conference on Computer Supported Education3.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
INTERACTIVE ENVIRONMENT FOR EXERCISES IN GRAPH THEORYPrank, R., Pärn, H., Siim, J.2015EDULEARN15 Proceedings3.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Refined Upper Bounds on Stopping Redundancy of Binary Linear CodesYakimenka, Y.; Skachek, V.20153.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Conceptualizing a Pedagogical CAS for Algebraic Manipulation of ExpressionPrank, R.; Lepp, M.2014Proceedings TIME 20143.4.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Pattern Matching for Superpositional Graphs and Separable PermutationsTombak, Mati; Loorits, Neeme; Peder, Ahti; Vohandu, Leo20135.2.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A family of rules for parameter choice in Tikhonov regularization of ill-posed problems with inexact noise levelHämarik, Uno; Palm, Reimo; Raus, Toomas2012Journal of Computational and Applied Mathematics1.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Matemaatika Instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Majandusteaduskond, Rahvamajanduse instituut, Majanduse modelleerimise õppetool
Automated Correction of Design Errors by Edge Redirection on High-Level Decision DiagramsKarputkin, A.; Ubar, R.; Tombak, M.; Raik, J.201213th International Symposium on Quality Electronic Design (ISQED), 20123.1.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut
Permutations and BijectionsVõhandu, L.; Peder, A.; Tombak, M.2012Information Modelling and Knowledge Bases XXIII3.1.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Pattern Matching for Superpositional GraphsLoorits, N.20126.7.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool
Comparison of parameter choices in regularization algorithms in case of different information about noise levelHämarik, U.; Palm, R.; Raus, T.2011Calcolo1.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Matemaatika Instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Majandusteaduskond, Rahvamajanduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Majandusteaduskond, Rahvamajanduse instituut, Majanduse modelleerimise õppetool
Linear algorithms for recognizing and parsing superpositional graphsPeder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R.2011Facta Universitatis (Niš)1.2.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut
What toolbox is necessary for building exercise environments for algebraic transformationsPrank, R.2011The Electronic Journal of Mathematics and Technology1.2.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Finding the description of structure by counting method: a case studyPeder, A.; Tombak, M.2011SOFSEM 2011: Theory and Practice of Computer Science3.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Tarkvarasüsteemide õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Interactive Presentation Abstract: Automated Correction of Design Errors by Edge Redirection on High-Level Decision DiagramsKarputkin, A.; Ubar, R.; Tombak, M.; Raik, J.2011Conference Proceedings3.1.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool ;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Probabilistic Equivalence Checking Based on High-Level Decision DiagramsKarputkin, Anton; Ubar, Raimund; Tombak, Mati; Raik, Jaan20113.1.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool ;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and TestingPrank, R.; Anton, M.2011Lecture Notes in Computer Science3.1.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond
Linear algorithms for testing and parsing superpositional graphs Peder, Ahti; Nestra, Härmel; Raik, Jaan; Tombak, Mati; Ubar, Raimund2011Facta Universitatis: Series Electronics and Energetics3.2.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool ;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Analysing the Solution Files of T-­algebra to Improve the Support for StudentsPrank, R.2011The 10th International Conference on Technology in Mathematics Teaching3.4.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Improving Email ManagementTamme, Tõnu; Norbisrath, Ulrich; Singer, Georg; Vainikko, Eero20113.4.Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Hajussüsteemide õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Linear algorithms for testing superpositional graphsPeder, A.; Nestra, H.; Raik, J.; Tombak, M.; Ubar, R.2011Proceedings Reed-Muller 2011 Workshop3.4.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut, Arvutisüsteemide diagnostika ja verifitseerimise õppetool ;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Tarkvarasüsteemide õppetool;
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutitehnika instituut
Where the Theorems are Coming FromTombak, Mati2011Series Electronic publications of CIITLab, Univ. Niš6.2.Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool;
Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool