Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

Can K-12 students learn how to program with just two hours?Umbleja, KadriLearning Technology for Education in Cloud : The Changing Face of Education : 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016 : proceedings2016 / p. 250-264 : ill https://doi.org/10.1007/978-3-319-42147-6_21 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

152

book article EST / book article ENG

A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

153

book article EST / book article ENG

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

154

book article EST / book article ENG

Capacity building in government : towards developing a standard for a functional specialist in AI for public servicesLabanava, Alena; Dreyling III, Richard Michael; Mortati, Marzia; Liiv, Innar; Pappel, IngridFuture Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings2022 / p. 503-516 https://doi.org/10.1007/978-981-19-8069-5_34 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

155

book article EST / book article ENG

Carroll diagrams : design and manipulationMoktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 32-35 : ill https://doi.org/10.1007/978-3-319-91376-6_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

156

book article EST / book article ENG

A case for modern build automation for intelligent systemsGrunewald, Alexander; Lange, Moritz; Tran, Kim Chi; Astrova, IrinaIntelligent Systems and Applications : proceedings of the 2022 Intelligent Systems Conference (IntelliSys). Volume 12023 / p. 789-799 https://doi.org/10.1007/978-3-031-16072-1_56 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

157

book article EST / book article ENG

Case study in experiential learning - from chaos to order: sensemaking with the interactive timeline tool in architecture and civil engineering studiesNutt, Nele; Salmistu, Sirle; Meitl, Cassi; Karu, KatrinEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 1300-1311 https://doi.org/10.1007/978-3-030-68198-2_8 Article collection metrics at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

158

book article EST / book article ENG

A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical DeviceBende, Philipp; Vovk, Olga; Caraveo, David; Pechmann, Ludwig; Leucker, MartinHEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 20222022 / p. 1-13 https://ceur-ws.org/Vol-3264/HEDA22_paper_3.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

159

book article EST / book article ENG

A case study on data protection for a cloud- and AI-based homecare medical deviceBende, Philipp; Vovk, Olga; Caraveo, David; Pechmann, Ludwig; Leucker, MartinTransactions on Petri Nets and Other Models of Concurrency XVII2024 / p. 138 - 161 https://doi.org/10.1007/978-3-662-68191-6_6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

160

book article EST / book article ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

161

book article EST / book article ENG

Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

162

book article EST / book article ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

163

journal article EST / journal article ENG

Cellular, extracellular and extracellular vesicular miRNA profiles of pre-ovulatory follicles indicate signaling disturbances in polycystic ovariesRooda, Ilmatar; Hasan, Mohammed Mehedi; Roos, Kristine; Viil, Janeli; Smolander, Olli-Pekka; Velthut-Meikas, AgneInternational journal of molecular sciences2020 / art. 9550, 23 p. : ill https://doi.org/10.3390/ijms21249550 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Complexity of human ovarian folliculogenesis : molecular markers of ovarian-based infertility and the impact of endocrine-disrupting chemicals = Inimese munasarja follikulogeneesi keerukus : munasarjapõhise viljatuse molekulaarsed markerid ja endokriinsüsteemi mõjutavate kemikaalide toime

164

book article EST / book article ENG

Certified Foata normalization for generalized tracesMaarand, Hendrik; Uustalu, TarmoNASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings2018 / p. 299-314 https://doi.org/10.1007/978-3-319-77935-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

165

journal article EST / journal article ENG

Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

166

book article EST / book article ENG

Certified parsing of regular languagesFirsov, Denis; Uustalu, TarmoCertified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings2013 / p. 98 - 113 https://doi.org/10.1007/978-3-319-03545-1_7 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

167

journal article EST / journal article ENG

Challenges and perspectives in control of ionic polymer-metal composite (IPMC) actuators : a surveyAabloo, Alvo; Belikov, Juri; Kaparin, Vadim; Kotta, ÜlleIEEE Access2021 / art. 9133056, p. 121059-121073 https://doi.org/10.1109/ACCESS.2020.3007020 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

168

journal article EST / journal article ENG

Challenges and perspectives of nature-based wastewater treatment and reuse in rural areas of Central and Eastern EuropeIstenič, Darja; Bodík, Igor; Merisaar, Maret; Gajewska, Magdalena; Šereš, Michal; Griessler Bulc, TjašaSustainability (Switzerland)2023 / art. 8145 https://doi.org/10.3390/su15108145 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

169

journal article EST / journal article ENG

Challenges and strategies for bio-based and biodegradable plastic waste management in EuropeStasiškienė, Žaneta; Barbir, Jelena; Draudvilienė, Lina; Chong, Zhi Kai; Kuchta, Kerstin; Voronova, Viktoria; Leal Filho, WalterSustainability (Switzerland)2022 / art. 16476 https://doi.org/10.3390/su142416476 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

170

journal article EST / journal article ENG

Challenges of active learning in a view of integrated engineering educationVodovozov, Valery; Raud, Zoja; Petlenkov, EduardEducation Sciences2021 / art. 43 https://doi.org/10.3390/educsci11020043 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

171

journal article EST / journal article ENG

Challenges of applying e-learning in the libyan higher education systemGhawail, Entisar Alhadi Al; Ben Yahia, Sadok; Alrshah, Mohamed A.International journal of advanced trends in computer science and engineering2019 / p. 38-43 : ill https://doi.org/10.30534/ijatcse/2019/0681.42019 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

172

book article EST / book article ENG

Challenges of teaching programming in StackOverflow eraPöial, JaanusEducating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 12021 / p. 703-710 https://doi.org/10.1007/978-3-030-68198-2_65 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

173

journal article EST / journal article ENG

A chameleon algorithm for solving economic dispatch problem in microgrid systemZahraoui, Younes; Alhamrouni, Ibrahim; Mekhilef, Saad; Korõtko, Tarmo; Jusoh, Awang; Sutikno, ToleBulletin of electrical engineering and informatics2023 / p. 1982-1992 : ill https://doi.org/10.11591/eei.v12i4.4700 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

174

book article EST / book article ENG

Changes in EEG measures of a recipient of the mRNA COVID-19 vaccine - a case studyUudeberg, Tuuli; Hinrikus, Hiie; Päeske, Laura; Lass, Jaanus; Bachmann, Maie2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)2022 / p. 3702-3705 https://doi.org/10.1109/EMBC48229.2022.9871524 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

175

journal article EST / journal article ENG

Channel characterization at 2.4 GHz for aerial base stationSharma, Navuday; Magarini, Maurizio; Reggiani, Luca; Alam, Muhammad MahtabProcedia computer science2019 / p. 1092-1099 https://doi.org/10.1016/j.procs.2019.04.155 Conference proceeding at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

Arvutiteadus (category)

types of item

subject term 1