Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
programmeerimine (subject term)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
303
Look more..
(1/5)
Export
export all inquiry results
(303)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
51
journal article
Exact and stable least squares solution to the linear programming problem
Übi, Evald
Central European journal of mathematics
2005
/
2, [14] p
https://eudml.org/doc/268717
journal article
52
book article
Experimenting with graded monads: certified grading-based program transformations
Talvik, Tõnn
;
Uustalu, Tarmo
24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts
2018
/
p. 82-83
https://types2018.projj.eu/book-of-abstracts/
book article
53
journal article EST
/
journal article ENG
FastStereoNet : A fast neural architecture search for improving the inference of disparity estimation on resource-limited platforms
Loni, Mohammad
;
Zoljodi, Ali
;
Majd, Amin
;
Ahn, Byung Hoon
;
Daneshtalab, Masoud
;
Sjödin, Mikael
;
Esmaeilzadeh, Hadi
IEEE Transactions on Systems, Man, and Cybernetics : Systems
2022
/
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
journal article EST
/
journal article ENG
54
book article
Force-based feedback for haptic device of mobile assembly robot
Lukin, Aleksandr
;
Demidova, Galina
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Roozbahani, Hamid
2020 27th International Workshop on Electric Drives: MPEI Department of Electric Drives 90th Anniversary (IWED), Moscow, Russia, January 27-30, 2020
2020
/
5 p. : ill
https://doi.org/10.1109/IWED48848.2020.9069581
book article
55
journal article
Foreword
Vain, Jüri
;
Uustalu, Tarmo
Proceedings of the Estonian Academy of Sciences. Physics. Mathematics
2003
/
4, p. 334
https://artiklid.elnet.ee/record=b1014450*est
journal article
56
book article
Formalizing 𝜋-calculus in guarded cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
CPP 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 2020
2020
/
p. 270-283
https://doi.org/10.1145/3372885.3373814
book article
57
journal article
Formalizing restriction categories
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Journal of formalized reasoning
2017
/
p. 1-36
https://doi.org/10.6092/issn.1972-5787/6237
journal article
58
book
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
Vain, Jüri
;
Uustalu, Tarmo
2002
https://www.ester.ee/record=b1710210*est
book
59
journal article
Game programming course - creative design and development
Henno, Jaak
;
Jaakkola, Hannu
International journal of emerging technologies in learning (iJET)
2008
/
MIPRO2008, p. 14-17
journal article
60
book article
Game programming course - creative design and development
Henno, Jaak
;
Jaakkola, Hannu
MIPRO 2008 : 31th International Convention on Information and Communication Technology, Electronics and Microelectronics : May 26-30, Opatija, Croatia : proceedings. IV
2008
/
p. 86-88
https://www.researchgate.net/publication/26584724_Game_Programming_Course_-_Creative_Design_and_Development
book article
61
book
Game programming coursebook
Henno, Jaak
2011
http://www.ester.ee/record=b2777189*est
book
62
book article
Generating situation awareness in cyber-physical systems : creation and exchange of situational information
Preden, Jürgo-Sören
CODES '14 : proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis
2014
/
[3] p. : ill
book article
63
journal article
Golbaghi, F. K.; Eslahchi, M. R.; Rezghi, M. Image denoising by a novel variable-order total fractional variation model : [review]
Henno, Jaak
Zentralblatt MATH
2021
/
1 p
https://zbmath.org/?q=an%3A1472.94006
journal article
64
journal article
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
p. 1109
http://dx.doi.org/10.1016/j.jlamp.2016.10.004
journal article
65
book article
Hardware close programming for freshmen
Kruus, Helena
;
Brik, Marina
;
Kruus, Margus
;
Ruberg, Priit
;
Viies, Vladimir
;
Ellervee, Peeter
10th European Workshop on Microelectronics Education : EWME 2014 : May 14-16, 2014, Tallinn, Estonia
2014
/
p. 93-96 : ill
book article
66
newspaper article
Haridussektoris suureneb digiväsimus
Lorenz, Birgy
Õpetajate Leht
2024
/
lk. 2
Haridussektoris suureneb digiväsimus
newspaper article
67
book article
High-level specification of games
Henno, Jaak
Towards Intelligent Engineering and Information Technology
2009
/
p. 307-322
https://link.springer.com/chapter/10.1007/978-3-642-03737-5_22
book article
68
journal article
Hiidarvude teguriteks lahutamisest
Võhandu, Leo
Arvutustehnika ja Andmetöötlus : A&A
1989
/
lk. 30-33
https://www.ester.ee/record=b1071940*est
journal article
69
book article
IMMizer : an innovative cost-effective method for minimizing assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jervan, Gert
;
Ghasempouri, Tara
2022 25th Euromicro Conference on Digital System Design (DSD) : Maspalomas, Spain 2022 : proceedings
2022
/
p. 671 - 678
https://doi.org/10.1109/DSD57027.2022.00095
Article at Scopus
Article at WOS
book article
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
book article
Implementation of the robot arm in the interactive learning environment
Jaanus, Martin
;
Udal, Andres
;
Kukk, Vello
;
Umbleja, Kadri
2014 International Conference on Signals and Electronic Systems (ICSES) : Poznań, Poland, 11-13 September 2014
2014
/
[4] p. : ill
book article
71
journal article
In silico machine learning methods in drug development
Dobchev, Dimitar Atanasov
;
Pillai, Girinath Gopinathan
;
Karelson, Mati
Current topics in medicinal chemistry
2014
/
p. 1913-1922
journal article
72
book
Infotehnoloogia. Sõnastik. Osa 7, Programmeerimine
Hanson, Vello
;
Tavast, Arvi
;
Kalja, Ahto
;
Võhandu, Leo
2002
https://www.ester.ee/record=b1620201*est
book
73
journal article
Insener-tehniliste ülesannete programmeerimise süsteemidest
Tiidemann, Tiit
Tehnika ja Tootmine
1987
/
lk. 17-19
https://www.ester.ee/record=b1073047*est
journal article
74
journal article
In-system programming of non-volatile memories on microprocessor-centric boards
Tšertov, Anton
;
Devadze, Sergei
;
Jutman, Artur
;
Jasnetski, Artjom
International journal of microelectronics and computer science
2014
/
p. 25-34 : ill
journal article
75
book article
Interaction morphisms [extended abstract]
Katsumata, Shin-ya
;
Uustalu, Tarmo
CoALP-Ty'16 : pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types : November 28-29, 2016, Edinburgh, UK
2016
/
p. 7-8
https://arxiv.org/pdf/1612.03032.pdf
book article
Number of records 303, displaying
51 - 75
previous
1
2
3
4
5
6
7
8
9
10
next
subject term
5
1.
aspektorienteeritud programmeerimine
2.
geneetiline programmeerimine
3.
loogiline programmeerimine
4.
objektorienteeritud programmeerimine
5.
programmeerimine
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT