Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
et:education_students [2014/10/02 14:03] Juri Belikov |
et:education_students [2015/11/03 16:19] Vadim |
||
---|---|---|---|
Rida 6: | Rida 6: | ||
**Sergei Avanessov**, PhD candidate, (sup) **Ülo Nurges**, Ennu Rüstern, //Robustne adaptiivne väljundregulaator//, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | **Sergei Avanessov**, PhD candidate, (sup) **Ülo Nurges**, Ennu Rüstern, //Robustne adaptiivne väljundregulaator//, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | ||
- | |||
- | **Aleksei Tepljakov**, PhD candidate, (sup) Eduard Petlenkov, **Juri Belikov**, //Murrulistel tuletistel põhinev keeruliste dünaamiliste süsteemide identifitseerimine ja juhtimine//, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | ||
**Aivo Anier**, PhD candidate, (sup) **Jüri Vain**, //Liikumise tuvastus läbi abstraktse interpretatsiooni//, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | **Aivo Anier**, PhD candidate, (sup) **Jüri Vain**, //Liikumise tuvastus läbi abstraktse interpretatsiooni//, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | ||
Rida 29: | Rida 27: | ||
<div classes #edu_head>KAITSTUD</div> | <div classes #edu_head>KAITSTUD</div> | ||
+ | **Aleksei Tepljakov**, PhD, 2015, (sup) Eduard Petlenkov, **Juri Belikov**, //Murrulistel tuletistel põhinev dünaamiliste süsteemide identifitseerimine ja juhtimine//, Automaatikainstituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | ||
+ | |||
**Vadim Kaparin**, PhD, 2013, (sup) **Ülle Kotta**, //Mittelineaarsete olekuvõrrandite olekutaastaja kujule teisendamine//, Küberneetika Instituut, Tallinna Tehnikaülikool | **Vadim Kaparin**, PhD, 2013, (sup) **Ülle Kotta**, //Mittelineaarsete olekuvõrrandite olekutaastaja kujule teisendamine//, Küberneetika Instituut, Tallinna Tehnikaülikool | ||
Rida 40: | Rida 40: | ||
**Juhan-Peep Ernits**, PhD, 2007, (sup) **Jüri Vain**, //Two State Space Reduction Techniques for Explicit State Model Checking//, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | **Juhan-Peep Ernits**, PhD, 2007, (sup) **Jüri Vain**, //Two State Space Reduction Techniques for Explicit State Model Checking//, Arvutiteaduse instituut, Infotehnoloogia teaduskond, Tallinna Tehnikaülikool | ||
- |