Struktuur

Asutuse üldandmed

Arvutiteaduse instituut
Institute of Computer Science
avalik-õiguslik juriidiline isik

Kontakt

Eesti Vabariik
Tartu
J. Liivi 2
50409
(+372) 737 5445
(+372) 737 5468
  • Leitud 81 kirjet
ProgrammNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusRahastamine kokku
MUUMMTAT10098RACSI: Artefakti-keskse teenuse koostalitus01.06.201031.05.2013Marlon DumasTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut316 400,00 EUR
MUULMTAT13089Alamprojektide 1.2 (Biomedical Data Integration and Mining), 2.2 (Smart Services), 2.3 (Software Development Productivity) ja 2.4 (Dynamic Methods) juhtimine ja nõustamine01.01.201330.06.2013Jaak ViloTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut46 158,00 EUR
MUUSMTAT13100 (13-03-01-15)ATI LEGO-labori uus tase (EV3)26.08.201315.10.2013Anne VillemsTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut3 300,00 EUR
MUUMMTAT_2013Automaatne süntaksianalüüs ja mitmesõnalised keelendid08.03.201307.03.2017Kadri MuischnekTartu Ülikool, Loodus- ja täppisteaduste valdkond, Arvutiteaduse instituut; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut0,00 EUR
MUUSMTAT14167 (7-3.2/89-14)Co-design for Cost Efficient Parallel and High Performance Computing01.11.201431.12.2014Benson Kibugi MuiteTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut1 540,00 EUR
MUULMTATComparison and evaluation of fitness for purpose of various biometric technologies18.09.201131.12.2012Ulrich NorbisrathTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut16 000,00 EUR
MUUMMTAT11181RDASISH - Sotsiaal-ja humanitaarteaduste andmeteenuste taristu01.01.201231.12.2014Kadri ViderTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut90 681,00 EUR
MUUSMTAT14150 (7-3.2/78-14)Doktorant Alisa Pankova osalemine konverentsil ProvSec 2014 Hong Kongis07.10.201412.10.2014Margus NiitsooTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut1 209,88 EUR
MUUSMTAT13202 (13-03-01-51)Doktorant Briti Debi õppetöö ülikoolis Indian Institute of Science02.12.201312.04.2014Satish Narayana SriramaTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut732,00 EUR
MUUSMTAT13174 (13-03-01-49)Doktorant Dmitri Danilovi osalemine konverentsil "ACM International Conference on Information and Knowledge Management (CIKM 2013)"27.10.201302.11.2013Eero VainikkoTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut2 224,36 EUR
MUUSMTAT14089Doktorant Dmytro Fishmani osalemine Sitsiilias toimuvas suvekoolis First International Synthetic and Systems Biology Summer School (SSBSS 2014)14.06.201420.06.2014Jaak ViloTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut1 279,64 EUR
MUUSMTAT14120Doktorant Kaveh Khoshkhah osalemine Saksamaal Saarbrückenis toimuval üritusel "15th Max Planck advanced course on the foundation of computer science"10.08.201415.08.2014Dirk Oliver Jim TheisTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut514,50 EUR
MUUSMTAT13127 (13-03-01-33)Doktorant Kristjan Kripsi osalemine rahvusvahelisel üritusel13th International School on Foundations of Security Analysis and Design (FOSAD)01.09.201307.09.2013Sven LaurTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut998,20 EUR
MUUSMTAT13162 (13030144)Doktorant Ljubov Feklistova osalemine konverentsil "26th Nordic Seminar on Computational Mechanics"22.10.201326.10.2013Helle HeinTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut602,78 EUR
MUUSMTAT14188 (7-3.2/98-14)Doktorant Mozhgan Pourmoradnasseri osalemine Prantsusmaal Bordeaux'is toimuval konverentsil "Bordeaux Graph Workshop"18.11.201423.11.2014Dirk Oliver Jim TheisTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut895,30 EUR
MUUSMTAT13128 (13-03-01-34)Doktorant Rafik Chaabouni osalemine rahvusvahelisel konverentsil "2013 International Confrerence of the Biometrics Special Interest Group"04.09.201307.09.2013Helger LipmaaTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut869,40 EUR
MUUSMTAT13109 (13-03-01-29)Doktorant Riivo Talviste osalemine konverentsil Applied Cryptography and Network Security (ACNS 2013)24.06.201329.06.2013Sven LaurTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut1 621,26 EUR
MUUMMTAT15042REE-IT - Eesti Edinburghi teaduse tippkeskus - digitaalne võrgustunud majandus01.06.201531.05.2016Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut; Tartu Ülikool, Loodus- ja täppisteaduste valdkond, Arvutiteaduse instituut170 000,00 EUR
MUUSMTAT07106/3Eesti Arvuti- ja Süsteemiteaduste suvekool ESSCaSS'2010 korraldamine.01.05.201031.10.2010Jaak ViloTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut6 391,16 EUR
MUUSMTAT07123/3EITSA eraldis: Arvutite ost, arvutivõrkude infrastruktuur, IKT-eriala õppekirjandus01.01.201031.12.2010Tiit RoosmaaTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut54 493,05 EUR
MUUMMTAT15103RELIXIR-EXCELERATE - Fast-track ELIXIR implementation and drive early user exploitation across the life-sciences01.09.201531.08.2019Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut; Tartu Ülikool, Loodus- ja täppisteaduste valdkond, Arvutiteaduse instituut550 003,00 EUR
MUUMMTAT12238Euroopa Meditsiinilise Informatsiooni Raamistik01.01.201331.12.2017Jaak ViloTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut; Tartu Ülikool, Loodus- ja täppisteaduste valdkond, Arvutiteaduse instituut333 835,00 EUR
MUUSMTAT09153Funktsionaalse programmeerimise õpik16.10.200930.01.2010Härmel NestraTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut2 236,91 EUR
MUUSMTAT09152IKT erialade tugevdamine: Formaalsete keelte teooria26.10.200915.12.2009Varmo VeneTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut990,63 EUR
MUUMMTAT15045Improvement of IT-Security in Enterprises based on Process Analysis and Risk Patterns05.01.201515.12.2015Raimundas MatuleviciusTartu Ülikool; Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut4 741,00 EUR
  • Leitud 1591 kirjet
PublikatsioonKlassifikaatorFail
Liyanage, Mohan; Chang, Chii; Srirama, Satish Narayana (2017). Lightweight Mobile Web Service Provisioning for the Internet of Things Mediation. International Journal of UbiComp, 8 (1), 17−34.<a href='10.5121/iju.2017.8101' target='_blank'>iju.2017.8101</a>.1.2.
Hallin, Johan; Martens, Kaspar; Young, Alexander; Zackrisson, Martin; Salinas, Francisco; Parts, Leopold; Warringer, Jonas; Liti, Gianni (2017). Powerful decomposition of complex traits in a diploid model using Phased Outbred Lines. bioRxiv, 1 (1), 1−16.<a href='http://dx.doi.org/10.1101/042176' target='_blank'>10.1101/042176</a> [ilmumas].1.2.
Pedaste, Margus; Kori, Külli; Tõnisson, Eno; Palts, Tauno; Altin, Heilo; Rantsus, Ramon (2017). What Happens to IT Education: Estonian Case with Some Recommendations for International Discussion. International Journal of Information and Education Technology, 7 (3), 204−211 [ilmumas].1.2.
Pourmoradnasseri, Mozhgan; Theis, Dirk Oliver (2017). Nondeterministic Communication Complexity of random Boolean functions. Lecture Notes in Computer Science, 1−12 [ilmumas].3.1.
Pourmoradnasseri, Mozhgan; Theis, Dirk Oliver (2017). The (minimum) rank of typical fooling-set matrices. Lecture Notes in Computer Science, 1−10.<a href='http://dx.doi.org/x' target='_blank'>x</a> [ilmumas].3.1.
Pourmoradnasseri, Mozhgan; Theis, Dirk Oliver Jim; Makkeh, Abdullah (2017). The Graph of the Pedigree Polytope is Asymptotically Almost Complete. Lecture Notes in Computer Science, 1−12 [ilmumas].3.1.
Sflomos, G.; Dormoy, V.; Metsalu, T.; Jeitziner, R.; Battista, L.; Scabia, V.; Raffoul, W.; Delaloye, JF.; Treboux, A.; Fiche, M.; Vilo, J.; Ayyanan, A.; Brisken, C. (2016). A Preclinical Model for ERα-Positive Breast Cancer Points to the Epithelial Microenvironment as Determinant of Luminal Phenotype and Hormone Response. Cancer Cell, 29 (3), 407−422.<a href='http://dx.doi.org/10.1016/j.ccell.2016.02.002' target='_blank'>10.1016/j.ccell.2016.02.002</a>.1.1.
Nagaj, Daniel; Sattath, Or; Brodutch, Aharon; Unruh, Dominique (2016). An adaptive attack on Wiesner&#39;s quantum money. Quantum Information &amp; Computation, 16 (11&amp;12), 1048−1070.1.1.
Liu, Guoxia ; Ma, Hongmei; Xie, Hongyan ; Xuan, Ning; Guo,Xia ; Fan,Zhongxue; Rajashekar,Balaji; Arnaud, Philippe; Offmann,Bernard ; Picimbon, Jean-François. (2016). Biotype Characterization, Developmental Profiling, Insecticide Response and Binding Property of Bemisia tabaci Chemosensory Proteins: Role of CSP in Insect Defense. PLoS One, 11 (5), e0154706.<a href='http://dx.doi.org/10.1371/journal.pone.0154706' target='_blank'>10.1371/journal.pone.0154706</a>.1.1.
Vukobratovic, D.; Jakovetic, D.; Skachek, V.; Bajovic, D.; Sejdinovic, D.; Karabulut Kurt G.; Hollanti, C.; Fischer, I. (2016). CONDENSE: A Reconfigurable Knowledge Acquisition Architecture for Future 5G IoT. IEEE Access, 4, 3360−3378.<a href='http://dx.doi.org/10.1109/ACCESS.2016.2585468' target='_blank'>10.1109/ACCESS.2016.2585468</a>.1.1.
Jaanuska, L.; Hein, H. (2016). Crack Identification in Beams Using Haar Wavelets and Machine Learning Methods. International Journal of Mechanics, 10, 281−287.1.1.
Milani, Fredrik; Dumas, Marlon, Matulevičius, Raimundas, Ahmed, Naved, Kasela, Silva (2016). Criteria and Heuristics for Business Process Model Decomposition: Review and Comparative Evaluation. Business &amp; Information Systems Engineering, 58 (1), 7−17.<a href='http://dx.doi.org/10.1007/s12599-015-0413-1' target='_blank'>10.1007/s12599-015-0413-1</a>.1.1.
Kelli, Aleksei; Vider, Kadri; Pisuke, Heiki; Lindén, Krister (2016). Digitaalsete keeleressursside loomist ja kasutamist määrav õiguslik raamistik Eestis ja selle ühildumine CLARIN-i infrastruktuuriga. Eesti Rakenduslingvistika Ühingu aastaraamat, 12, 81−98.1.1.
Bin Chen, Dushantha Nalin Kumara Jayakody Arachchilage , Mark F. Flanagan (2016). Distributed Low-Density Lattice Codes. IEEE Communications Letters, 20 (1), 77−80.<a href='http://dx.doi.org/10.1109/LCOMM.2015.2497679' target='_blank'>10.1109/LCOMM.2015.2497679</a>.1.1.
Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan (2016). Efficient discovery of Target-Branched Declare constraints. Information Systems, 258−283.1.1.
Reimand Jüri; Arak Tambet; Adler Priit; Kolberg Liis; Reisberg Sulev; Peterson Hedi; Vilo Jaak (2016). g:Profiler-a web server for functional interpretation of gene lists (2016 update). Nucleic Acids Research, gkw199.<a href='http://dx.doi.org/10.1093/nar/gkw199' target='_blank'>10.1093/nar/gkw199</a>.1.1.
Pfahl, Dietmar; Kuhrmann, Marco; Bendraou, Reda; Turner, Richard (2016). ICSSP 2015–Special Issue Introduction. Journal of Software: Evolution and Process, 28 (9), 716−721.<a href='http://dx.doi.org/10.1002/smr.1786' target='_blank'>10.1002/smr.1786</a>.1.1.
Immink, K.A.S.; Skachek, V. (2016). Minimum Pearson Distance Detection Using Mass-Centered Codewords in the Presence of Unknown Varying Offset. IEEE Journal on Selected Areas in Communications, 34 (9), 2510−2517.<a href='http://dx.doi.org/10.1109/JSAC.2016.2603618' target='_blank'>10.1109/JSAC.2016.2603618</a>.1.1.
Chang, Chii; Srirama, Satish Narayana; Buyya, Rajkumar (2016). Mobile Cloud Business Process Management System for the Internet of Things: A Survey. ACM Computing Surveys, 49 (4), 70:1−70:42.1.1.
Milani, F.; Dumas, M.; Ahmed, N.; Matulevičius, R. (2016). Modelling families of business process variants: A decomposition driven method. Information Systems, 56, 55−72.<a href='http://dx.doi.org/10.1016/j.is.2015.09.003' target='_blank'>10.1016/j.is.2015.09.003</a>.1.1.
Pulaj, Jonad; Raymond, Annie; Theis, Dirk Oliver (2016). New Conjectures for Union-Closed Families. Electronic Journal of Combinatorics, 23 (3), 1−19.1.1.
Tamme, K.; Oselin, K.; Kipper, K.; Tasa, T.; Metsvaht, T.; Karjagin, J; Herodes, K.; Kern, H.; Starkopf J. (2016). Pharmacokinetics and pharmacodynamics of piperacillin/tazobactam during high volume haemodiafiltration in patients with septic shock. Acta Anaesthesiologica Scandinavica, 60 (2), 230−240.<a href='http://dx.doi.org/10.1111/aas.12629' target='_blank'>10.1111/aas.12629</a>.1.1.
Smith, Justin D; Suresh, Sundari; Schlecht, Ulrich; Wu, Manhong; Wagih, Omar; Peltz, Gary; Davis, Ronald W; Steinmetz, Lars M; Parts, Leopold; Onge, Robert P St (2016). Quantitative CRISPR interference screens in yeast identify chemical-genetic interactions and new rules for guide RNA design. Genome Biology, 17 (1), 1−16.<a href='http://dx.doi.org/10.1186/s13059-016-0900-9' target='_blank'>10.1186/s13059-016-0900-9</a>.1.1.
Gelo Noel M. Tabia (2016). Recursive multiport schemes for implementing quantum algorithms with photonic integrated circuits. Physical Review A, 93, 012323.<a href='http://dx.doi.org/10.1103/PhysRevA.93.012323' target='_blank'>10.1103/PhysRevA.93.012323</a>.1.1.
Kolde, R; Märtens, K; Lokk, K; Laur, S; Vilo, J (2016). seqlm: an MDL based method for identifying differentially methylated regions in high density methylation array data. Bioinformatics, btw304.<a href='http://dx.doi.org/10.1093/bioinformatics/btw304' target='_blank'>10.1093/bioinformatics/btw304</a>.1.1.
  • Leitud 221 kirjet
PealkiriJuhendatavKraadJuhendajaKaitsmise staatusKaitsmise aastaAsutus
Automatic Personalized Playlist GenerationmagistrikraadKonstantin TretjakovKaitstud2011Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Fault Tolerant Distributed Computing Framework for Scientific Algorithms - magistrikraadPelle Jakovits; Satish Narayana SriramaKaitstud2014Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Lightweight BPMN Execution EngineVințeler, OctavianmagistrikraadLuciano Garcia BanuelosKaitstud2016Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Reducing Scientific Computing Problems to MapReduce - magistrikraadSatish Narayana SriramaKaitstud2010Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Feasibility Analysis of Secure Multiparty Computation Deployments - magistrikraadDan Bogdanov; Sven Laur; Tuomas AuraKaitstud2012Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Framework for Asynchronous Dialogue Systems: Concepts, Issues and Design Aspects - doktorikraadMare Koit; Päivi Kristiina JokinenKaitstud2011Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Framework for Collaborative Content Mashup with Pervasive ServicesmagistrikraadSatish Narayana Srirama; Chii ChangKaitstud2015Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Framework for Energy-efficient Mobile Cloud Offloading - magistrikraadSatish Narayana Srirama; Chii ChangKaitstud2015Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Framework for Verifying Scalability and Performance of Cloud Based Web Applications - magistrikraadSatish Narayana SriramaKaitstud2012Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Secure Multi-Party Computation Protocol Suite Inspired by Shamir’s Secret Sharing Scheme - magistrikraadDan Bogdanov; Sven Laur; Stig Frode MjølsnesKaitstud2014Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A Tool for the Formal Analysis of Symmetric Primitives - magistrikraadSven LaurKaitstud2012Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
A User Friendly and Secure OpenID Solution for Smart Phone PlatformsmagistrikraadPeeter Laud; Tuomas AuraKaitstud2010Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Abstract Machine for a Comonadic Dataflow Language - magistrikraadVarmo VeneKaitstud2012Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut, Teoreetilise informaatika õppetool
Accurate diagnosis of cross-browser compatibility issues via machine learning - magistrikraadTõnis Saar; Marlon DumasKaitstud2013Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Actively secure multiparty computation - doktorikraadDan Bogdanov; Sven LaurJuhendamiselTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Actively Secure Two-Party Computation: Efficient Beaver Triple Generation - magistrikraadDan Bogdanov; Sven LaurKaitstud2013Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Adaptive Interactive Learning: a Novel Approach to Training Brain-Computer Interface Systems - magistrikraadKonstantin TretjakovKaitstud2013Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Addressing Devices in Mobile Networks - magistrikraadSatish Narayana SriramaKaitstud2014Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Ajaakendega transpordiülesande lahendamine - magistrikraad (teaduskraad)Jan VillemsonKaitstud2005Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Ajaväljendite tuvastamine eestikeelses tekstis - magistrikraadMargus TreumuthKaitstud2010Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Algorithms for mobile positioning data processing - doktorikraadEero VainikkoJuhendamiselTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
An analysis framework for an imperative privacy-preserving programming language - magistrikraadDan BogdanovKaitstud2010Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
An Empirical Comparison of Approaches for Security Requirements ElicitationmagistrikraadRaimundas MatuleviciusKaitstud2015Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
An Experience Report of Eliciting Security Requirements from Business ProcessesmagistrikraadRaimundas MatuleviciusKaitstud2014Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
An Optimized Implementation of a Succinct Non-Interactive Zero-Knowledge Argument System-, HendrimagistrikraadHelger Lipmaa; Danilo GligoroskiKaitstud2013Tartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
  • Leitud 2 kirjet
AutoridPealkiriAsutus
Jaak Vilog:ProfilerTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut
Jaak Vilo; Raivo Kolde; Priit Adler; Meelis Kull; Jüri Reimand; Hedi PetersonMEM - Multi-Experiment-Matrix Gene expression search database and toolsTartu Ülikool, Matemaatika-informaatikateaduskond, Arvutiteaduse instituut