Searching - TalTech Research Portal

display

sort

1

journal article

A divertimento on MonadPlus and nondeterminismUustalu, TarmoJournal of logical and algebraic methods in programming2016 / p. 1086-1094 : ill http://dx.doi.org/10.1016/j.jlamp.2016.06.004

journal article

2

book article

A finite feedback linearization algorithm for nonlinear control systemsKaldmäe, ArvoProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 53-56

book article

3

journal article

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / p. 1-32 http://dx.doi.org/10.2168/LMCS-11(1:1)2015

journal article

4

book article

A method for description and optimization the structure of multi-level selection procedureRiismaa, TiitProceedings of the 2nd International Conerence Optimization and Analysis of Structures : Tartu, Estonia, August 25-27, 20132013 / p. 135-140 : ill

book article

5

journal article

A new approach to edge stress measurement in tempered glass panelsAben, Hillar; Lochegnies, Dominique; Chen, Y.; Anton, Johan; Paemurru, Mart; Õis, MarellaExperimental mechanics2015 / p. 483-486 : ill http://dx.doi.org/10.1007/s11340-014-9950-7

journal article

6

journal article

A new method for tempering stress measurement in glass panelsAben, Hillar; Anton, Johan; Paemurru, Mart; Õis, MarellaEstonian journal of engineering2013 / p. 292-297 : ill

journal article

7

journal article

A polynomial approach to a nonlinear model matching problemBelikov, Juri; Halas, Miroslav; Kotta, Ülle; Moog, ClaudeProceedings of the Estonian Academy of Sciences2016 / p. 330-344 : ill http://dx.doi.org/10.3176/proc.2016.4.02

journal article

8

book article

A study on effective knowledge reuse in multi-platform web applications user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoPICMET '15 : proceedings : Management of the Technology Age2015 / p. 1351-1361 : ill http://dx.doi.org/10.1109/PICMET.2015.7273083

book article

9

book article

A study on effective knowledge reuse in multi-platform web applications user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoPICMET '15 Conference : Management of the Technology Age : August 2-6, 2015, Portland, Oregon, USA : conference bulletin2015 / p. 68

book article

10

journal article

A typical wave wake from high-speed vessels : its group structure and run-upDidenkulova, Irina; Rodin, ArtemNonlinear processes in geophysics2013 / p. 179-188 : ill

journal article

11

newspaper article

Aastalõpumõtteid teadusestEngelbrecht, JüriSirp2015 / lk. 23-24

newspaper article

12

book article

About theory, measurements and simulations of short fiber reinforced concreteHerrmann, HeikoGeneral Assembly of the Marie Curie Alumni Association : 4 to 5 March 2016, Venice, Italy : book of abstracts2016 / p. 30 : ill https://www.mariecuriealumni.eu/sites/default/files/mcaa_book_of_abstracts_april_2016.pdf

book article

13

journal article

Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill http://dx.doi.org/10.1016/j.jlamp.2016.07.001

journal article

14

book article

Abstract handling of information and knowledgeTõugu, EnnInformation modelling and knowledge bases XXVII2016 / p. 129-136 http://dx.doi.org/10.3233/978-1-61499-611-8-129

book article

15

book article

Academia ajaülesed väärtused muutuval teadusmaastikulSoomere, Tarmo58. Kreutzwaldi päevade teaduslik konverents "Eesti perekond : traditsioon ja fiktsioon" : teesid : 16.-17. detsember 2014, Tartu2014 / lk. 3-4

book article

16

book article

Academy in brief : how have 75 years passed in the Estonian Academy of Sciences?Engelbrecht, JüriEstonian Academy of Sciences year book = Annales Academiae Scientiarum Estonicae 20132014 / p. 203-204

book article

17

journal article

Accessibility conditions of MIMO nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Kotta, Ülle; Tõnso, Maris; Wyrwas, MałgorzataMathematical control and related fields2016 / p. 217-250 http://dx.doi.org/10.3934/mcrf.2016002

journal article

18

journal article

Accommodation to defects in the discrete dynamic systemsZhirabok, Alexey N.; Kotta, Ülle; Shumsky, A. E.Automation and remote control2014 / p. 997-1009 : ill

journal article

19

book article

Acessibility conditions for discrete time nonlinear multiinput multioutput systemsKotta, Ülle; Tõnso, Maris5th Junior European Meeting on Control & Information Technology : September 20-22, 2006, Tallinn, Estonia : book of abstracts2006 / p. 25

book article

20

book article

Acyclic attribute evaluation in a dependently typed settingFirsov, Denis; Uustalu, TarmoProceedings of the 27th Nordic Workshop on Programming Theory (NWPT 2015)2016 / p. 124-126 : ill http://icetcs.ru.is/nwpt2015/NWPT15Proceedings.pdf

book article

21

book article

Adaptive output feedback linearization for a class of NN-based ANARX modelsPetlenkov, Eduard; Nõmm, Sven; Kotta, Ülle5th Junior European Meeting on Control & Information Technology : September 20-22, 2006, Tallinn, Estonia : book of abstracts2006 / p. 10

book article

22

journal article

Adjoint polynomial formulas for nonlinear state-space realizationBelikov, Juri; Kotta, Ülle; Tõnso, MarisIEEE transactions on automatic control2014 / p. 256-261

journal article

23

dissertation

Advanced design of nonlinear discrete-time and delayed systems = Diskreetsete ja hilistumistega mittelineaarsete juhtimissüsteemide sünteesKaldmäe, Arvo2016 https://digi.lib.ttu.ee/i/?5215

dissertation

24

book

Advances in Databases and Information Systems : proceedings of the 9th East-European Conference, ADBIS 2005 : Tallinn, September 12-15, 20052005 https://www.ester.ee/record=b2068111*est

book

25

journal article

Agent-based software designOja, Margus; Tamm, Boris, inform.; Taveter, KuldarProceedings of the Estonian Academy of Sciences. Engineering2001 / p. 5-21 https://www.ester.ee/record=b1072102*est https://artiklid.elnet.ee/record=b1006233*est

journal article

TTÜ Küberneetika Instituut (TTÜ department)

types of item

subject term 9

TTÜ department 7