Struktuur

Asutuse üldandmed

74000323
Tarkvarateaduse instituut
Department of Software Science
avalik-õiguslik juriidiline isik
Jaan Penjam

Kontakt

  • Leitud 116 kirjet
PerenimiEesnimiAsutusedCV
AbenHillarTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
AlumäeTanelTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
AntoiKerstiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
AstapovSergeiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
AstrovaIrinaTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
Birkedal NielsenRikkeTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
BranovetsJelenaTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
BuldasAhtoCybernetica AS
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut
EST / ENG
CapobiancoSilvioTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
Delpeche-EllmannNicoleTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
DraheimDirkTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
EessaarErkiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
EhalaJohannesTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
ErapSametTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
ErnitsJuhan-PeepTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
HaavHele-MaiTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
HallingEvelinTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST
HarfMaitTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
HennoJaakTallinna Tehnikaülikool
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut
EST / ENG
IrveJaagupTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST
JeltschWolfgangTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
JÄRVPRIITTallinna Ülikool
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituut
KaldaJaanTallinna Tehnikaülikool, TTÜ Küberneetika Instituut
Tallinna Tehnikaülikool, Loodusteaduskond, Küberneetika instituut
EST / ENG
KaldaMariTallinna Tehnikaülikool, TTÜ Küberneetika InstituutEST / ENG
KaldmäeArvoTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEST / ENG
  • Leitud 210 kirjet
ProgrammNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusRahastamine kokku
MUULep13121"ELIKO Competence Centre EU30017, alamprojekt 2.2: Testigeneraatori REACTIVE kompositsioonilise laienduse elluviimine01.03.201330.06.2013Juhan-Peep ErnitsTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool9 980,00 EUR
SFSF_0322519As030322519As03 ja 0322519Cs03 ei moodusta ühisteemat01.01.200331.12.2007Jaan JannoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut
MUUVEU5382CENTRE Estonia - Eesti Cybercrime Centre of Excellence for Training, Research&Education01.01.201231.12.2014Indrek JakobsonTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut632 580,00 EUR
MUULN05B: Praamiliikluse hüdrodünaamilistes mõjudest Parretti jõe alamjooksul08.08.201229.08.2012Tarmo SoomereTallinna Tehnikaülikool, TTÜ Küberneetika Instituut800,00 EUR
MUUG4860 (ETF4860)Agendid ja nende käitumine reaalses maailmas01.01.200131.12.2004Leo MõtusTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool29 846,74 EUR
MUUG4721 (ETF4721)Agent-orienteeritud programmeerimine keeruliste inimene-masin süsteemide modelleerimiseks ja rakendamiseks01.01.200131.12.2003Jaak TepandiTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Teadmussüsteemide õppetool13 773,86 EUR
ETFETF7520Algebraline automaatide teooria01.01.200831.12.2011Hellis TammTallinna Tehnikaülikool, TTÜ Küberneetika Instituut43 111,63 EUR
MUUG4707 (ETF4707)Algebralised meetodid mittelineaarsetes juhtimissüsteemides01.01.200131.12.2004Ülle KottaTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut17 703,53 EUR
MUUVEU16062Allveerobootika lahendused naftareostuse leviku jälgimiseks01.01.201731.12.2018Juhan-Peep ErnitsTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, Üldinformaatika õppetool38 805,69 EUR
SFSF0322519As03Analüütilised ja numbrilised meetodid modelleerimises01.01.200331.12.2007Jaan JannoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut205 559,03 EUR
MUULO16Andmeaitade (teiseste andmekogude) loomise põhimõtete väljatöötamine31.10.201219.04.2013Vahur KotkasTallinna Tehnikaülikool, TTÜ Küberneetika Instituut28 332,50 EUR
MUULO13 (4.2-3111-0142-001)Andmevahetuskihi X-tee versiooni 5.0 teenuste loomise automatiseerimine21.03.201120.12.2011Pavel GrigorenkoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut14 000,00 EUR
ETFETF8787Arvutialgebra meetodid juhtimissüsteemides01.01.201131.12.2014Maris TõnsoTallinna Tehnikaülikool, TTÜ Küberneetika Instituut40 800,00 EUR
TKEXCSArvutiteaduse tippkeskus - EXCS07.07.200831.08.2015Tarmo UustaluTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut4 244 372,58 EUR
EKTEKT17Audiovisuaalse kõnesünteesi prototüüp01.01.201131.12.2014Einar MeisterTallinna Tehnikaülikool, TTÜ Küberneetika Instituut135 000,00 EUR
MUUIKT29 (3.2.1201.13-0029)Coinduction for semantics, analysis and verification of communicating and concurrent reactive software01.03.201330.11.2015Tarmo UustaluTallinna Tehnikaülikool, TTÜ Küberneetika Instituut526 194,00 EUR
ETFETF7035Deformatsioonilained mikrostuktuursetes tahkistes — multimastaapsed mudelid01.01.200731.12.2010Andrus SalupereTallinna Tehnikaülikool, TTÜ Küberneetika Instituut44 043,82 EUR
MUULN11 (3.5-2/51)e-Aabits24.05.201130.09.2011Dan BogdanovTallinna Tehnikaülikool, TTÜ Küberneetika Instituut15 680,00 EUR
MUUVERT15027E-valitsemine 2.0 praktikas01.09.201431.08.2016Ingrid PappelTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Tarkvaratehnika õppetool31 590,00 EUR
MUUG5038 (ETF5038)Eesti Arvutiteaduse Talvekool 200201.01.200231.12.2002Jaan PenjamTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut3 834,70 EUR
MUUNE02 (MTKD-CT-2004-013909)Eesti ja Norra teaduskeskuste koostõõ matemaatika ja selle rakenduste alal CENS-CMA01.05.200530.04.2009Jüri EngelbrechtTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut873 570,10 EUR
MUUEKRKEesti Keeleressursside Keskus01.01.201231.12.2015Einar MeisterTallinna Tehnikaülikool, TTÜ Küberneetika Instituut133 095,00 EUR
TKTAR16020Eesti-uuringute Tippkeskus01.01.201501.03.2023Einar MeisterTallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Foneetika ja kõnetehnoloogia laboratoorium124 382,72 EUR
MUUG4844 (ETF4844)Eestikeelse kõne-tekst tuvastussüsteemi loomine puuetega inimestele01.01.200131.12.2003Leo VõhanduTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Rehabilitatsioonitehnoloogia teaduslaboratoorium11 184,54 EUR
MUUOR02Eestikeelse kõnetuvastuse meetodid II01.06.200531.12.2005Einar MeisterTallinna Tehnikaülikool; Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut6 071,61 EUR
  • Leitud 5484 kirjet
PublikatsioonKlassifikaatorFail
Pinto, Luís; Uustalu, Tarmo (2017). A proof-theoretic study of bi-intuitionistic propositional sequent calculus. Journal of Logic and Computation, ? [ilmumas].1.1.
Rosquist, T.; Havlik, D.; Meriste, M. (2017). A reference decision model of first responders’ decision-making. International Journal of Emergency Management, in press [ilmumas].1.1.
Riid, A.; Preden, J.-S. (2017). Design of fuzzy rule-based classifiers through granulation and consolidation. Journal of Artificial Intelligence and Soft Computing Research, 7 (2), 137−147, 10.1515/jaiscr-2017-0010.1.1.
Anier, A.; Vain, J.; Tsiopoulos, L. (2017). DTRON: A tool for distributed model-based testing of time critical applications. Proceedings of the Estonian Academy of Sciences, 66 (1), 75−88, 10.3176/proc.2017.1.08.1.1.
Haripriya, n.; Paneerselvam, Kavitha; Srinivasan, Seshadhri; Belikov, Juri (2017). Evolutionary optimization based fractional order controller for Web Transport Systems in process industries. International Journal of Advanced Intelligence Paradigms, xx [_isbeingpublished].1.1.
Delpeche-Ellmann, Nicole; Mingelaitė, Toma; Soomere, Tarmo (2017). Examining Lagrangian surface transport during a coastal upwelling in the Gulf of Finland, Baltic Sea. Journal of Marine Systems, xx [ilmumas].1.1.
Kaldmäe, Arvo; Kotta, Ülle; Shumsky, Alexey; Zhirabok, Alexey (2017). Feedback linearization of possibly non-smooth systems. Proceedings of the Estonian Academy of Sciences, 66 (2), 109−123, 10.3176/proc.2017.2.01 [ilmumas].1.1.
Uustalu, Tarmo; Veltri, Niccolò (2017). Finiteness and rational sequences, constructively. Journal of Functional Programming, ? [ilmumas].1.1.
Chapman, J.; Uustalu, T.; Veltri, N. (2017). Formalizing restriction categories. Journal of Formalized Reasoning, 10 (1), 1−36, 10.6092/issn.1972-5787/6237.1.1.
Mullari, T.; Kotta, Ü.; Bartosiewicz, Z.; Pawluszewicz, E.; Moog, C. H. (2017). Forward and backward shifts of vector fields: toward the dual algebraic framework. IEEE Transactions on Automatic Control, xx−xx [ilmumas].1.1.
Belikov, Juri; Kaldmäe, Arvo; Kaparin, Vadim; Kotta, Ülle; Shumsky, Alexey; Tõnso, Maris; Zhirabok, Alexey (2017). Functions' algebra in nonlinear control: computational aspects and software. Proceedings of the Estonian Academy of Sciences, 66 (1), 89−107, 10.3176/proc.2017.1.06.1.1.
Belikov, Juri; Kaldmäe, Arvo; Kotta, Ülle (2017). Global linearization approach for nonlinear control systems: a brief tutorial overview. Proceedings of the Estonian Academy of Sciences, x [ilmumas].1.1.
Astapov, S.; Berdnikova, J.; Ehala, J.; Kaugerand, J.; Preden, J.-S. (2017). Gunshot acoustic event identification and shooter localization in a WSN of asynchronous multichannel acoustic ground sensors. Multidimensional Systems and Signal Processing, 28, in press, 10.1007/s11045-017-0479-7 [ilmumas].1.1.
Kaldmäe, A.; Kotta, Ü. (2017). Input-output decoupling of discrete-time nonlinear systems by dynamic measurement feedback. European Journal of Control, 34, 31−38, 10.1016/j.ejcon.2016.12.004.1.1.
Martínez-Córcoles, M.; Stephanou, K. (2017). Linking active transactional leadership and safety performance in military operations. Safety Science, 96, 93−101, 10.1016/j.ssci.2017.03.013.1.1.
Karro, Niina; Sepp, Mervi; Jugai, Svetlana; Laasmaa, Martin; Vendelin, Marko; Birkedal, Rikke (2017). Metabolic compartmentation in rainbow trout cardiomyocytes: coupling of hexokinase but not creatine kinase to mitochondrial respiration. Journal of Comparative Physiology B : Biochemical, Systems, and Environmental Physiology, 1−14 [ilmumas].1.1.
Levron, Yoash; Belikov, Juri (2017). Modeling power networks using dynamic phasors in the dq0 reference frame. Electric Power Systems Research, 144, 233−242, 10.1016/j.epsr.2016.11.024.1.1.
Kurimo, Mikko; Enarvi, Seppo; Tilk, Ottokar; Varjokallio, Matti; Mansikkaniemi, André; Alumäe, Tanel (2017). Modeling under-resourced languages for speech recognition. Language Resources and Evaluation, 1−27 [_isbeingpublished].1.1.
Soomere, Tarmo; Männikus, Rain; Pindsoo, Katri; Kudryavtseva, Nadezhda; Eelsalu, Maris (2017). Modification of closure depths by synchronisation of severe seas and high water levels. Geo-Marine Letters, 37 (1), 35−46.1.1.
Tamm, Kert; Peets, Tanel; Engelbrecht, Jüri; Kartofelev, Dmitri (2017). Negative group velocity in solids. Wave Motion, x [ilmumas].1.1.
Kaparin, Vadim; Kotta, Ülle (2017). On differentiation of a composite function with a generalized vector argument on homogeneous time scales. Proceedings of the Estonian Academy of Sciences, x [ilmumas].1.1.
Engelbrecht, Jüri; Tamm, Kert; Peets, Tanel (2017). On solutions of Boussinesq-type equation with displacement-dependent nonlinearities: the case of biomembranes. Philosophical Magazine, 97 (12), 967−987, 10.1080/14786435.2017.1283070.1.1.
Peets, Tanel; Tamm, Kert; Engelbrecht, Jüri (2017). On the role of nonlinearities in the Boussinesq-type wave equations. Wave Motion, in press [_isbeingpublished].1.1.
Kurkina, Oxana; Rouvinskaya, Ekaterina; Talipova, Tatiana; Soomere, Tarmo (2017). Propagation regimes and populations of internal waves in the Mediterranean Sea basin. Estuarine, coastal and shelf science, 185, 44−54.1.1.
Kotta,Ülle; Tõnso,Maris (2017). Realisation of linear time-varying systems. International Journal of Control, x [ilmumas].1.1.
  • Leitud 628 kirjet
PealkiriJuhendatavKraadJuhendajaKaitsmise staatusKaitsmise aastaAsutus
An integrated active cyber defense development model: Technical, organizational and legal aspects of nationwide offensive security countermeasuresEmin CaliskandoktorikraadRain Ottis; Risto VaarandiJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
Sustainable Sarbanes-Oxley IT compliance in business companyAnastassija DengubmagistrikraadPaul LeisKaitstud2008Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
Veebi- ja andmebaasipõhise metamodelleerimise vahendi üleviimine andmebaasi trigeritel põhinevaks süsteemiksAndro PõllustemagistrikraadErki EessaarKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Infosüsteemide õppetool
"KEGLER" mobiilrakenduse arendus.Artjom SinkinmagistrikraadJekaterina TšukrejevaKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Tarkvaratehnika õppetool
A Comparative Analysis of Cybersecurity Guidelines and Standards for Nuclear Power PlantsEve N. HuntermagistrikraadRain Ottis; Harry KantolaKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut, TTÜ Küberkriminalistika ja küberjulgeoleku keskus
A Comparative Analysis of Open-Source Intrusion Detection SystemsPihelgas, MaunomagistrikraadRisto VaarandiKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Deceptive Methodology Towards Early Detection of Advanced Cyber ThreatsFarar, Alexandria ElainemagistrikraadHayretdin BahsiKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A finer module system for ABSTodurov, Elmo; Elmo TodurovmagistrikraadKeiko NakataKaitstud2012Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut
A framework for design and implementation of visual languagesSaabas, Andomagistrikraad (teaduskraad)Enn TõuguKaitstud2004Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut
A Multi-Perspective Methodology for Agent-Oriented Business Modelling and SimulationTaveter, KuldardoktorikraadBoris Tamm; Gerd WagnerKaitstud2004Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
A nonblocking network communication framework for ScalaSaar, AndrimagistrikraadTarmo UustaluKaitstud2009Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Novel Music Matching Service: Combining an expert system with community intelligence to match classical and popular musicLeili DžäfärovamagistrikraadInnar Liiv; Paul GibsonKaitstud2013Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
A Practical Approach for Raising APT Awareness Among IT StaffHeliand DemamagistrikraadRain OttisKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A reference Architecture for a National e-Learning InfrastructureSaay, Mohammad SalimdoktorikraadAlexander NortaJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Tarkvaratehnika õppetool
A Social Media Honeypot Method To Detect SpearphishingMarzelas, PanagiotismagistrikraadOlaf Manuel MaennelKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Study of Client Honeypots and Applying Them to Social Networking SitesFaris AloulmagistrikraadRisto VaarandiKaitstud2013Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A Symbolic Approach to Model-based Online TestingKääramees, MarkodoktorikraadJüri Vain; Michael Reichhardt HansenKaitstud2012Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
A System of Testpatterns to Check and Validate the Semantic Hierarchies of WordNet-type DictionariesLohk, Ahti; Ahti LohkdoktorikraadLeo VõhanduKaitstud2015Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
A systematic approach to define the requirements of and engineer the ontology for performing a semantically sound data-set merger for personal-centric healthcare systemsKormiltsõn, AleksandrdoktorikraadAlexander NortaJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Tarkvaratehnika õppetool
A Systematic Approach to Offensive Volunteer Cyber MilitiaOttis, RaindoktorikraadAhto Buldas; Peeter LorentsKaitstud2011Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
Acculturation Process Visualization Using Dynamic GraphsVadim LandamagistrikraadInnar LiivKaitstud2014Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut, Informaatika aluste õppetool
Acquiring and sharing situation awareness based on visual informationTomson, TimodoktorikraadJürgo-Sören Preden; Leo MõtusJuhendamiselTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Proaktiivtehnoloogiate teaduslaboratoorium
Adapteeruv testimine kutsesobivuse hindamiselCarol Viikmaa magistrikraadJaak TepandiKaitstud2007Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Informaatikainstituut
Adaptive Deep Neural Networks for Speech Recognition and Keyword SearchUllah, AsaddoktorikraadTanel AlumäeJuhendamiselTallinna Tehnikaülikool, TTÜ Küberneetika Instituut, Foneetika ja kõnetehnoloogia laboratoorium
Addressing Insider Threat Vectors in an Information SocietyJesse Deboise Wojtkowiak IImagistrikraad (teaduskraad)Alexander Norta; Mauno PihelgasKaitstud2016Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Arvutiteaduse instituut
  • Leitud 1 kirjet
NimetusAsutusVastutav isik
Eesti keele SpeechDat andmebaasTallinna Tehnikaülikool, Infotehnoloogia teaduskond, Tarkvarateaduse instituutEinar Meister