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
arvutiteadus (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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
121
Look more..
(1/1)
Export
export all inquiry results
(121)
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
26
journal article EST
/
journal article ENG
Constructing higher inductive types as groupoid quotients
Veltri, Niccolo
;
Weide, Niels van der
Logical methods in computer science
2021
/
p. 8:1−8:42
https://doi.org/10.23638/LMCS-17(2:8)2021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
27
book article
Data science-based techniques for modelling and diagnostics of battery cells based on end-of-life criteria
Zequera, Rolando Antonio Gilbert
;
Rassõlkin, Anton
;
Vaimann, Toomas
;
Kallaste, Ants
2023 International Conference on Electrical Drives and Power Electronics (EDPE)
2023
/
6 p
https://doi.org/10.1109/EDPE58625.2023.10274007
book article
Related publications
1
Artificial Intelligence-Based Predictive Analytics for Battery Energy Storage Systems in Electric Vehicle Applications = Tehisintellektil põhinev ennustav andmeanalüüs akupõhiste energiasalvestussüsteemide jaoks elektrisõidukites
28
book article EST
/
book article ENG
Detecting Simpson’s paradox : a machine learning perspective
Sharma, Rahul
;
Garayev, Huseyn
;
Kaushik, Minakshi
;
Arakkal Peious, Sijo
;
Tiwari, Prauag
;
Draheim, Dirk
Database and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings. Part I
2022
/
p. 323-335 : ill
https://doi.org/10.1007/978-3-031-12423-5_25
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
Related publications
1
Unification of decision support techniques : mitigating statistical paradoxes for enabling trustworthy decision making = Otsuste toetamise tehnikate ühtlustamine : statistiliste paradokside mõju maandamine usaldusväärsete otsuste tegemise võimaldamiseks
29
book
Division Method And Circuit
Patankar, Udayan Sunil
;
Koel, Ants
;
Patankar, Sunil
;
Flores, Miguel E.
2022
https://www.wipo.int
book
Related publications
1
Area efficient design and implementation of a novel divider circuit block = Uudne efektiivne jagamistehte riistvaraline realisatsioon
30
journal article
Dmitri Vinnikov valiti tehnika- ja arvutiteaduste akadeemikuks
Mente et Manu
2021
/
lk. 7
https://www.ester.ee/record=b1242496*est
journal article
31
journal article EST
/
journal article ENG
Education 4.0 in higher education and computer science : a systematic review
Rienties, Bart
;
Ferguson, Rebecca
;
Gonda, Dalibor
;
Hajdin, Goran
;
Herodotou, Christothea
;
Iniesto, Francisco
;
Llorens Garcia, Ariadna
;
Muccini, Henry
;
Sargent, Julia
;
Virkus, Sirje
;
Isidori, Maria Vittoria
Computer Applications in Engineering Education
2023
/
p. 1339 - 1357
https://doi.org/10.1002/cae.22643
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
32
journal article
Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]
Uustalu, Tarmo
IT ja Side
2005
/
6, lk. 15
journal article
33
newspaper article
Eesti vallutavad sajad arvutiteaduse tipud
postimees.ee
2024
Eesti vallutavad sajad arvutiteaduse tipud
Tallinnas tunnustati maailma parimaid arvutiteadlasi
newspaper article
34
book
Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 2006
2006
https://www.ester.ee/record=b2123434*est
book
35
book
11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions
2012
https://www.ester.ee/record=b2769329*est
book
36
newspaper article
Esimene arvutiteaduse teooriapäev
Uustalu, Tarmo
Universitas Tartuensis
2002
/
8. nov., lk. 2
newspaper article
37
book
Estonian Centre of Excellence in ICT Research
Saarmann, Tanel
;
Hanson, Martin
2021
http://www.digar.ee/id/nlib-digar:634779
https://www.ester.ee/record=b5456158*est
book
38
book
Evaluation of research in ICT in Estonia 2009-2014
2015
https://www.ester.ee/record=b4469098*est
book
39
book
Fifteenth Estonian Winter School in Computer Science (EWSCS'10) : Park Hotel Palmse, Lahemaa, Estonia : February 28 - March 5, 2010
2010
https://www.ester.ee/record=b2562080*est
book
40
book article
Finding the description of structure by counting method : a case study
Peder, Ahti
;
Tombak, Mati
SOFSEM 2011 : Theory and Practice of Computer Science : 37th Conference on Current Trends in Theory and Practice of Computer Science : Nový Smokovec, Slovakia, January 22-28, 2011 : proceedings
2011
/
p. 455-466 : ill
https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38
book article
41
book
Fourteenth Estonian Winter School in Computer Science (EWSCS'09) : Park Hotel Palmse, Lahemaa, Estonia : March 1-6, 2009
2009
https://www.ester.ee/record=b2470777*est
book
42
book article EST
/
book article ENG
From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applications
Draheim, Dirk
;
Tammet, Tanel
Database and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I
2020
/
p. 3-19
https://doi.org/10.1007/978-3-030-59003-1_1
Conference proceedings at Scopus
Article at Scopus
Conference proceedings at WOS
Article at WOS
book article EST
/
book article ENG
43
book article EST
/
book article ENG
Functorial language games for question answering
Felice, Giovanni de
;
Di Lavore, Elena
;
Roman Garcia, Mario
;
Toumi, Alexis
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
2021
/
p. 311–321
https://doi.org/10.4204/EPTCS.333.21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
44
book article EST
/
book article ENG
GKC: A reasoning system for large knowledge bases
Tammet, Tanel
Automated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings
2019
/
p. 538-549
https://doi.org/10.1007/978-3-030-29436-6_32
Conference proceeding at Scopus
Article at Scopus
Conference proceeding at WOS
Article at WOS
book article EST
/
book article ENG
45
book article
HDL-s for students with different background
Reinsalu, Uljana
;
Arhipov, Anton
;
Evartson, Teet
;
Ellervee, Peeter
Proceedings MSE 2007 : 2007 IEEE International Conference on Microelectronic Systems Education : 3-4 June 2007, San Diego, CA
2007
/
p. 69-70
https://ieeexplore.ieee.org/document/4231454
book article
46
journal article EST
/
journal article ENG
A Hoare logic for the coinductive trace-based big-step semantics of While
Nakata, Keiko
;
Uustalu, Tarmo
Logical methods in computer science
2015
/
p. 1-32
https://doi.org/10.2168/LMCS-11(1:1)2015
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
47
journal article
Holistic web-based Virtual Micro Controller Framework for research and education
Seiler, Sven
;
Sell, Raivo
;
Ptasik, Dennis
;
Bölter, Martin
International journal of online engineering
2012
/
p. 58-64
https://online-journals.org/index.php/i-joe/article/view/2169
journal article
48
book article
Humanistic computer science dangerous?
Tepandi, Jaak
General systems approaches to alternative economics and values : proceedings of the 36th annual meeting of the International Society for the System Sciences, Denver, Colorado, USA, July 12-17, 1992
1992
/
p. 1172-1180
book article
49
book article
Individual learning approach in the basic course of computer science
Mironova, Olga
;
Amitan, Irina
;
Vendelin, Jelena
;
Saar, Merike
Advances in education research
2013
/
p. 40-45
book article
50
book
Informaatikainstituut
Jürgenson, Rein, inform
2012
http://www.ester.ee/record=b2896275*est
book
Number of records 121, displaying
26 - 50
previous
1
2
3
4
5
next
subject term
1
1.
arvutiteadus
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT