Otsing - TalTech teadusportaal

kuva

reasta

26

artikkel kogumikus

CNC machining of halftone and lithophane images into wood-based panelsKiiman, Karmo; Luga, Üllar; Kers, JaanProceedings of the 12th Meeting of the Northern European Network for Wood Science and Engineering (WSE) : Wood Science and Engineering - a Key Factor on the Transition to Bioeconomy : September 12-13, 2016, Riga, Latvia2016 / p. 74-79 : ill http://www.kki.lv/dokumenti/WSE2016.pdf

artikkel kogumikus

27

artikkel kogumikus

CNC machining of halftone and lithophane images into wood-based panels [Online resource]Kiiman, Karmo; Luga, Üllar; Poltimäe, Triinu; Kers, JaanTartu Ülikooli ASTRA projekt PER ASPERA : Funktsionaalsed materjalid ja tehnoloogiad : [7-8 märtsil 2018, Tallinn : teesid] GSFMT Scientific Conference 2018 : Tallinn, March 7-8, 2018 : abstracts2018 / p. 1 http://fmtdk.ut.ee/teesid-2018/

artikkel kogumikus

28

artikkel ajakirjas

Coherence via focusing for symmetric skew monoidal and symmetric skew closed categoriesVeltri, NiccoloJournal of logic and computation2024 / art. exae059, 26 p https://doi.org/10.1093/logcom/exae059

artikkel ajakirjas

29

artikkel ajakirjas EST / artikkel ajakirjas ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

30

artikkel kogumikus

Combining JSON-LD with first order logicTammet, Tanel; Sutcliffe, GeoffProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 20212021 / p. 256 - 261 https://doi.org/10.1109/ICSC50631.2021.00051 Article at Scopus Article at WOS

artikkel kogumikus

31

artikkel kogumikus

Compilation of heterogeneous models : motivations and challengesBordin, Matteo; Näks, Tõnu; Toom, Andres; Pantel, MarcERTS2 2012 : Embedded Real Time Software and Systems : [1st - 3rd February 2012, Toulouse, France : proceedings]2012 / [10 p.] https://www.adacore.com/papers/compilation-of-heterogeneous-models-motivations-and-challenges1

artikkel kogumikus

32

dissertatsioon

Comprehensive abstraction of VHDL RTL cores to ESL SystemC = Register-siirde taseme VHDL kirjelduste kompleksne abstraheerimine süsteemitaseme SystemC mudeliteksAbrar, Syed Saif2016 http://www.ester.ee/record=b4564850*est

dissertatsioon

33

artikkel ajakirjas

Conceptual design framework supported by dimensional analysis and System Modelling LanguageChristophe, Francois; Sell, Raivo; Coatanea, EricEstonian journal of engineering2008 / 4, p. 303-316 : ill https://www.semanticscholar.org/paper/Conceptual-design-framework-supported-by-analysis-Christophe-Sell/31bd3a8baf71159f4eb573fec39283598988310e

artikkel ajakirjas

34

artikkel kogumikus

Constraint-based test scenario description languageVain, Jüri; Halling, EvelinBEC 2012 : 2012 13th Biennial Baltic Electronics Conference : proceedings of the 13th Biennial Baltic Electronics Conference : October 3-5, 2012, Tallinn, Estonia2012 / p. 89-92 : ill

artikkel kogumikus

35

artikkel ajakirjas EST / artikkel ajakirjas ENG

Correction to: Implementation and evaluation of the DAOM framework and support tool for designing blockchain decentralized applications (International Journal of Information Technology, (2021), 13, 6, (2245-2263), 10.1007/s41870-021-00816-6)Udokwu, Chibuzor; Brandtner, Patrick; Norta, Alexander; Kormiltsõn, Aleksandr; Matulevičius, RaimundasInternational Journal of Information Technology (Singapore)2022 https://doi.org/10.1007/s41870-022-01026-4 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

36

artikkel kogumikus

Data exchange between product model and engineering applicationsKiolein, Indrek; Saks, AloProceedings of the Second National DAAAM Conference in Estonia : Science'961997 / p. 45-50: ill

artikkel kogumikus

37

artikkel kogumikus

Designing a contractual choreography language for automating cross-organizational business collaborationNorta, Alexander; Ma, Lixin; Duan, Yucong2014 IEEE Tenth World Congress on Services : SERVICES 2014 : 27 June-2 July 2014, Anchorage, Alaska : proceedings2014 / p. 338-345 : ill

artikkel kogumikus

38

artikkel kogumikus

Determining a device crossover point in CPU/GPU systems for streaming applicationsKanur, Sudeep; Lund, Wictor; Tsiopoulos, Leonidas; Lilius, Johan2015 IEEE Global Conference on Signal and Information Processing : GlobalSIP 2015 : Orlando, FL, USA, December 14-16, 20152015 / p. 1417-1421 : ill http://dx.doi.org/10.1109/GlobalSIP.2015.7418432

artikkel kogumikus

39

raamat

DIAMS-2 keel : metoodiline juhend1985

raamat

40

artikkel kogumikus

The early π-calculus in ticked cubical type theoryVeltri, Niccolo; Vezzosi, Andrea31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 77-80 https://doi.org/10.23658/taltech.nwpt/2019

artikkel kogumikus

41

artikkel ajalehes

Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma [Võrguväljaanne]am.ee2022 Eestlaste korraldatud tippkonverents PyCon tõi kokku sajad it-spetsialistid üle maailma

artikkel ajalehes

42

artikkel kogumikus

En garde! Unguarded iteration for reversible computation in the delay monadKaarsgaard, Robin; Veltri, NiccoloMathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings2019 / p. 366-384 https://doi.org/10.1007/978-3-030-33636-3_13

artikkel kogumikus

43

artikkel kogumikus EST / artikkel kogumikus ENG

Energy-efficient multi-fragment Markov model guided online model-based testing for MPSoCVain, Jüri; Tsiopoulos, Leonidas; Kharchenko, Vyacheslav; Apneet Kaur; Jenihhin, Maksim; Raik, Jaan; Nõmm, SvenGreen IT Engineering: Social, Business and Industrial Applications2019 / p. 273-297 https://doi.org/10.1007/978-3-030-00253-4_12 Article collection at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

44

artikkel kogumikus EST / artikkel kogumikus ENG

Enhancing bandgap depth in locally resonant metastructures via notch-filtered piezoelectric actuationAlimohammadi, Hossein; Vassiljeva, Kristina; HosseinNia, S. Hassan; Petlenkov, Eduard2024 IEEE International Conference on Industrial Technology (ICIT)2024 https://doi.org/10.1109/ICIT58233.2024.10540976 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

45

artikkel ajakirjas

Enhancing forensic-tool security with Rust : Development of a string extraction utilityGetreu, Jens; Maennel, Olaf ManuelJournal of Digital Forensics, Security and Law2019 / art. 4, p. 46-58 : ill https://doi.org/10.15394/jdfsl.2019.1607

artikkel ajakirjas

46

raamat

Excel ja VBALuczkowski, Teodor2009 http://www.ester.ee/record=b2462056*est

raamat

47

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

48

artikkel kogumikus

Formal specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, Marc7th European Congress Embedded Real-Time Software and Systems, ERTS2 2014 : 5-7 February 2014, Toulouse, France : proceedings2014 / [10] p. : ill

artikkel kogumikus

49

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, January 20202020 / p. 270–283 https://doi.org/10.1145/3372885.3373814

artikkel kogumikus

50

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

programmeerimiskeeled (märksõna)

teaviku laadid

märksõna 1