Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel kogumikus

Experimenting with graded monads: certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/

artikkel kogumikus

52

artikkel ajakirjas EST / artikkel ajakirjas ENG

FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platformsLoni, Mohammad; Zoljodi, Ali; Majd, Amin; Ahn, Byung Hoon; Daneshtalab, Masoud; Sjödin, Mikael; Esmaeilzadeh, HadiIEEE Transactions on Systems, Man, and Cybernetics : Systems2022 / p. 5222-5234 : ill https://doi.org/10.1109/TSMC.2021.3123136 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

53

artikkel kogumikus

Force-based feedback for haptic device of mobile assembly robotLukin, Aleksandr; Demidova, Galina; Rassõlkin, Anton; Vaimann, Toomas; Roozbahani, Hamid2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 20202020 / 5 p. : ill https://doi.org/10.1109/IWED48848.2020.9069581

artikkel kogumikus

54

artikkel ajakirjas

ForewordVain, Jüri; Uustalu, TarmoProceedings of the Estonian Academy of Sciences. Physics. Mathematics2003 / 4, p. 334 https://artiklid.elnet.ee/record=b1014450*est

artikkel ajakirjas

55

artikkel kogumikus

Formalizing 𝜋-calculus in guarded cubical AgdaVeltri, Niccolo; Vezzosi, AndreaCPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020, New Orleans 20 January 2020 through 21 January 20202020 / p. 270-283 https://doi.org/10.1145/3372885.3373814

artikkel kogumikus

56

artikkel ajakirjas EST / artikkel ajakirjas ENG

Formalizing restriction categoriesChapman, James; Uustalu, Tarmo; Veltri, NiccoloJournal of formalized reasoning2017 / p. 1-36 https://doi.org/10.6092/issn.1972-5787/6237 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

57

raamat

14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstractsVain, Jüri; Uustalu, Tarmo2002 https://www.ester.ee/record=b1710210*est

raamat

58

artikkel kogumikus

A game programming courseHenno, Jaak; Jaakkola, Hannu; Linna, PetriMIPRO 2011 : 34th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 23-27, 2011, Opatija, Croatia : proceedings2011 / p. 1156-1159 : ill

artikkel kogumikus

59

artikkel kogumikus

Game programming course - creative design and developmentHenno, Jaak; Jaakkola, HannuMIPRO 2008 : 31th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 26-30, Opatija, Croatia : proceedings. IV2008 / p. 86-88 https://www.researchgate.net/publication/26584724_Game_Programming_Course_-_Creative_Design_and_Development

artikkel kogumikus

60

artikkel ajakirjas

Game programming course - creative design and developmentHenno, Jaak; Jaakkola, HannuInternational journal of emerging technologies in learning (iJET)2008 / MIPRO2008, p. 14-17

artikkel ajakirjas

61

raamat

Game programming coursebookHenno, Jaak2011 http://www.ester.ee/record=b2777189*est

raamat

62

artikkel kogumikus

Generating situation awareness in cyber-physical systems : creation and exchange of situational informationPreden, Jürgo-SörenCODES '14 : proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis2014 / [3] p. : ill

artikkel kogumikus

63

artikkel ajakirjas

Golbaghi, F. K.; Eslahchi, M. R.; Rezghi, M. Image denoising by a novel variable-order total fractional variation model : [review]Henno, JaakZentralblatt MATH2021 / 1 p https://zbmath.org/?q=an%3A1472.94006

artikkel ajakirjas

64

artikkel ajakirjas EST / artikkel ajakirjas ENG

Guest editors' forewordUustalu, Tarmo; Vain, JüriJournal of logical and algebraic methods in programming2016 / p. 1109 https://doi.org/10.1016/j.jlamp.2016.10.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

65

artikkel kogumikus

Hardware close programming for freshmenKruus, Helena; Brik, Marina; Kruus, Margus; Ruberg, Priit; Viies, Vladimir; Ellervee, Peeter10th European Workshop on Microelectronics Education : EWME 2014 : May 14-16, 2014, Tallinn, Estonia2014 / p. 93-96 : ill

artikkel kogumikus

66

artikkel ajalehes

Haridussektoris suureneb digiväsimusLorenz, BirgyÕpetajate Leht2024 / lk. 2 Haridussektoris suureneb digiväsimus

artikkel ajalehes

67

artikkel kogumikus

High-level specification of gamesHenno, JaakTowards Intelligent Engineering and Information Technology2009 / p. 307-322 https://link.springer.com/chapter/10.1007/978-3-642-03737-5_22

artikkel kogumikus

68

artikkel ajakirjas

Hiidarvude teguriteks lahutamisestVõhandu, LeoArvutustehnika ja Andmetöötlus : A&A1989 / lk. 30-33 https://www.ester.ee/record=b1071940*est

artikkel ajakirjas

69

artikkel kogumikus

IMMizer : an innovative cost-effective method for minimizing assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jervan, Gert; Ghasempouri, Tara2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings2022 / p. 671 - 678 https://doi.org/10.1109/DSD57027.2022.00095 Article at Scopus Article at WOS

artikkel kogumikus

Seotud publikatsioonid 1

Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

70

artikkel kogumikus

Implementation of the robot arm in the interactive learning environmentJaanus, Martin; Udal, Andres; Kukk, Vello; Umbleja, Kadri2014 International Conference on Signals and Electronic Systems (ICSES) : Poznań, Poland, 11-13 September 20142014 / [4] p. : ill

artikkel kogumikus

71

artikkel ajakirjas

In silico machine learning methods in drug developmentDobchev, Dimitar Atanasov; Pillai, Girinath Gopinathan; Karelson, MatiCurrent topics in medicinal chemistry2014 / p. 1913-1922

artikkel ajakirjas

72

raamat

Infotehnoloogia. Sõnastik. Osa 7, ProgrammeerimineHanson, Vello; Tavast, Arvi; Kalja, Ahto; Võhandu, Leo2002 https://www.ester.ee/record=b1620201*est

raamat

73

artikkel ajakirjas

Insener-tehniliste ülesannete programmeerimise süsteemidestTiidemann, TiitTehnika ja Tootmine1987 / lk. 17-19 https://www.ester.ee/record=b1073047*est

artikkel ajakirjas

74

artikkel ajakirjas

In-system programming of non-volatile memories on microprocessor-centric boardsTšertov, Anton; Devadze, Sergei; Jutman, Artur; Jasnetski, ArtjomInternational journal of microelectronics and computer science2014 / p. 25-34 : ill

artikkel ajakirjas

75

artikkel kogumikus

Interaction morphisms [extended abstract]Katsumata, Shin-ya; Uustalu, TarmoCoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK2016 / p. 7-8 https://arxiv.org/pdf/1612.03032.pdf

artikkel kogumikus

programmeerimine (märksõna)

teaviku laadid

märksõna 5