Searching - TalTech Research Portal

display

sort

176

journal article EST / journal article ENG

Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDsJürimägi, Lembit; Ubar, Raimund-Johannes; Jenihhin, Maksim; Raik, JaanMicroprocessors and microsystems2020 / art. 103117, 12 p https://doi.org/10.1016/j.micpro.2020.103117 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

177

book article EST / book article ENG

Calculational proofs in relational graphical linear algebraPaixao, Joao; Sobocinski, Pawel MariaFormal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings2020 / p. 83-100 https://doi.org/10.1007/978-3-030-63882-5_6 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

178

book article EST / book article ENG

CALL-technolgy based approach to control acquisition of foreign language skillsNymm, Voldemar; Piotrowska, Xenia; Nõmm, Sven; Ronzhin, AndreyProceedings of the III International Conference on Language Engineering and Applied Linguistics (PRLEAL-2019), Saint Petersburg, Russia, November 27, 20192020 / art. 157532, p. 200-210 http://ceur-ws.org/Vol-2552/Paper16.pdf Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

179

book article EST / book article ENG

Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learningZhao, Yue; Robal, Tarmo; Lofi, Christoph; Hauff, ClaudiaLifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings2018 / p. 101-115 : ill https://doi.org/10.1007/978-3-319-98572-5_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

180

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

181

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

182

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

183

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

184

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

185

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

186

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

187

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

188

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

189

book article EST / book article ENG

Case study: Collaborative learning in higher education - Insights from the Big 5 Personality Traits (OCEAN Model) and problem-based learningRaamets, JaneFutureproofing Engineering Education for Global Responsibility : Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL 2024) ; vol. 12025 / p. 104-109 https://doi.org/10.1007/978-3-031-85652-5_11 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

190

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

191

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

192

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

193

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

194

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

195

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

196

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

197

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

198

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

199

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

200

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

Computer Science (category)

types of item

keyword 152

subject term 6

TalTech department 3

author 1