Otsing - TalTech teadusportaal

kuva

reasta

26

artikkel ajakirjas EST / artikkel ajakirjas ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

27

artikkel kogumikus

Data science-based techniques for modelling and diagnostics of battery cells based on end-of-life criteriaZequera, Rolando Antonio Gilbert; Rassõlkin, Anton; Vaimann, Toomas; Kallaste, Ants2023 International Conference on Electrical Drives and Power Electronics (EDPE)2023 / 6 p https://doi.org/10.1109/EDPE58625.2023.10274007

artikkel kogumikus

Seotud publikatsioonid 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

artikkel kogumikus EST / artikkel kogumikus ENG

Detecting Simpson’s paradox : a machine learning perspectiveSharma, Rahul; Garayev, Huseyn; Kaushik, Minakshi; Arakkal Peious, Sijo; Tiwari, Prauag; Draheim, DirkDatabase and Expert Systems Applications : 33rd International Conference, DEXA 2022, Vienna, Austria, August 22-24, 2022 : proceedings. Part I2022 / 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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Uniﬁcation 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

raamat

Division Method And CircuitPatankar, Udayan Sunil; Koel, Ants; Patankar, Sunil; Flores, Miguel E.2022 https://www.wipo.int

raamat

Seotud publikatsioonid 1

Area efficient design and implementation of a novel divider circuit block = Uudne efektiivne jagamistehte riistvaraline realisatsioon

30

artikkel ajakirjas

Dmitri Vinnikov valiti tehnika- ja arvutiteaduste akadeemikuksMente et Manu2021 / lk. 7 https://www.ester.ee/record=b1242496*est

artikkel ajakirjas

31

artikkel ajakirjas EST / artikkel ajakirjas ENG

Education 4.0 in higher education and computer science : a systematic reviewRienties, Bart; Ferguson, Rebecca; Gonda, Dalibor; Hajdin, Goran; Herodotou, Christothea; Iniesto, Francisco; Llorens Garcia, Ariadna; Muccini, Henry; Sargent, Julia; Virkus, Sirje; Isidori, Maria VittoriaComputer Applications in Engineering Education2023 / p. 1339 - 1357 https://doi.org/10.1002/cae.22643 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

32

artikkel ajakirjas

Eesti arvutiteadus Viinistul : [TTÜ küberneetika instituudi korraldatud arvutiteaduse teooriapäevadest Viinistul ja programmeerimise konverentsist Tallinnas]Uustalu, TarmoIT ja Side2005 / 6, lk. 15

artikkel ajakirjas

33

artikkel ajalehes

Eesti vallutavad sajad arvutiteaduse tipudpostimees.ee2024 Eesti vallutavad sajad arvutiteaduse tipud Tallinnas tunnustati maailma parimaid arvutiteadlasi

artikkel ajalehes

34

raamat

Eleventh Estonian Winter School in Computer Science (EWSCS'06) : Park Hotel Palmse, Lahemaa, Estonia : March 5-10, 20062006 https://www.ester.ee/record=b2123434*est

raamat

35

raamat

11th International Workshop on Coalgebraic Methods in Computer Science : CMCS 2012 : Tallinn, Estonia, 31 March - 1 April 2012 : short contributions2012 https://www.ester.ee/record=b2769329*est

raamat

36

artikkel ajalehes

Esimene arvutiteaduse teooriapäevUustalu, TarmoUniversitas Tartuensis2002 / 8. nov., lk. 2

artikkel ajalehes

37

raamat

Estonian Centre of Excellence in ICT ResearchSaarmann, Tanel; Hanson, Martin2021 http://www.digar.ee/id/nlib-digar:634779 https://www.ester.ee/record=b5456158*est

raamat

38

raamat

Evaluation of research in ICT in Estonia 2009-20142015 https://www.ester.ee/record=b4469098*est

raamat

39

raamat

Fifteenth Estonian Winter School in Computer Science (EWSCS'10) : Park Hotel Palmse, Lahemaa, Estonia : February 28 - March 5, 20102010 https://www.ester.ee/record=b2562080*est

raamat

40

artikkel kogumikus

Finding the description of structure by counting method : a case studyPeder, Ahti; Tombak, MatiSOFSEM 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 : proceedings2011 / p. 455-466 : ill https://link.springer.com/chapter/10.1007/978-3-642-18381-2_38

artikkel kogumikus

41

raamat

Fourteenth Estonian Winter School in Computer Science (EWSCS'09) : Park Hotel Palmse, Lahemaa, Estonia : March 1-6, 20092009 https://www.ester.ee/record=b2470777*est

raamat

42

artikkel kogumikus EST / artikkel kogumikus ENG

From sensors to Dempster-Shafer theory and back : the axiom of ambiguous sensor correctness and its applicationsDraheim, Dirk; Tammet, TanelDatabase and Expert Systems Applications : 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020 : Proceedings, Part I2020 / 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

artikkel kogumikus EST / artikkel kogumikus ENG

43

artikkel kogumikus EST / artikkel kogumikus ENG

Functorial language games for question answeringFelice, Giovanni de; Di Lavore, Elena; Roman Garcia, Mario; Toumi, AlexisProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 311–321 https://doi.org/10.4204/EPTCS.333.21 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

44

artikkel kogumikus EST / artikkel kogumikus ENG

GKC: A reasoning system for large knowledge basesTammet, TanelAutomated Deduction – CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019 : proceedings2019 / 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

artikkel kogumikus EST / artikkel kogumikus ENG

45

artikkel kogumikus

HDL-s for students with different backgroundReinsalu, Uljana; Arhipov, Anton; Evartson, Teet; Ellervee, PeeterProceedings MSE 2007 : 2007 IEEE International Conference on Microelectronic Systems Education : 3-4 June 2007, San Diego, CA2007 / p. 69-70 https://ieeexplore.ieee.org/document/4231454

artikkel kogumikus

46

artikkel ajakirjas EST / artikkel ajakirjas ENG

A Hoare logic for the coinductive trace-based big-step semantics of WhileNakata, Keiko; Uustalu, TarmoLogical methods in computer science2015 / 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

47

artikkel ajakirjas

Holistic web-based Virtual Micro Controller Framework for research and educationSeiler, Sven; Sell, Raivo; Ptasik, Dennis; Bölter, MartinInternational journal of online engineering2012 / p. 58-64 https://online-journals.org/index.php/i-joe/article/view/2169

artikkel ajakirjas

48

artikkel kogumikus

Humanistic computer science dangerous?Tepandi, JaakGeneral 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, 19921992 / p. 1172-1180

artikkel kogumikus

49

artikkel kogumikus

Individual learning approach in the basic course of computer scienceMironova, Olga; Amitan, Irina; Vendelin, Jelena; Saar, MerikeAdvances in education research2013 / p. 40-45

artikkel kogumikus

50

raamat

InformaatikainstituutJürgenson, Rein, inform2012 http://www.ester.ee/record=b2896275*est

raamat

arvutiteadus (märksõna)

teaviku laadid

märksõna 1