Searching - TalTech Research Portal

display

sort

51

book article EST / book article ENG

Blockchain technology: Intrinsic technological and socio-economic barriers: FDSE'2020 KeynoteBuldas, Ahto; Draheim, Dirk; Nagumo, Takehiko; Vedešin, AntonFuture Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 7th International Conference, FDSE 2020, Quy Nhon, Vietnam, November 25–27, 2020 : proceedings2020 / p. 3-27 https://doi.org/10.1007/978-3-030-63924-2_1 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

52

book article EST / book article ENG

A blockchain-assisted hash-based signature schemeBuldas, Ahto; Laanoja, Risto; Truu, AhtoSecure IT Systems : 23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28–30, 2018 : proceedings2018 / p. 138–153 : ill https://doi.org/10.1007/978-3-030-03638-6_9 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

53

book article EST / book article ENG

The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 225-238 : ill https://doi.org/10.1007/978-3-030-54249-8_18 Conference proceedings at Scopus Article at Scopus Article at WOS Conference proceedings at WOS

book article EST / book article ENG

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

54

journal article EST / journal article ENG

Boundary Mittag-Leffler stabilization of coupled time fractional order reaction–advection–diffusion systems with non-constant coefficientsChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Chen, YangQuan; Zhuang, BoSystems & control letters2021 / art. 104875 https://doi.org/10.1016/j.sysconle.2021.104875 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

55

book article EST / book article ENG

Bounded pre-image awareness and the security of hash-tree keyless signaturesBuldas, Ahto; Laanoja, Risto; Laud, Peeter; Truu, AhtoProvable security : 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014 : proceedings2014 / p. 130-145 : ill https://doi.org/10.1007/978-3-319-12475-9_10 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

56

book article EST / book article ENG

Bringing service design thinking into the public sector to create proactive and user-friendly public servicesSirendi, Regina; Taveter, KuldarHCI in Business, Government, and Organizations : Information Systems : third International Conference, HCIBGO 2016 held as part of HCI International 2016, Toronto, Canada, July 17-22, 2016 : proceedings. Part II2016 / p. 221-230 : ill https://doi.org/10.1007/978-3-319-39399-5_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

57

book article EST / book article ENG

Building smart city governance competencies : the CAP4CITY training modulesTemple, Lucy; Pereira, Gabriela Viale; Schuch de Azambuja, LuizaOngoing Research, Practitioners, Posters, Workshops, and Projects of the International Conference EGOV-CeDEM-ePart 20222022 / code 193901 https://ceur-ws.org/Vol-3399/paper26.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

58

journal article EST / journal article ENG

Business archetypes and archetype patterns from the HL7 RIM and openEHR RM perspectives : towards interoperability and evolution of healthcare models and software systemsPiho, Gunnar; Tepandi, Jaak; Thompson, Douglas; Woerner, Andreas; Parman, MarkoProcedia computer science2015 / p. 553-560 : ill https://doi.org/10.1016/j.procs.2015.08.384 Conference Proceedings at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

59

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

60

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

61

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

62

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

63

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

64

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

65

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

66

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

67

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

68

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

69

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

70

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

71

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

72

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

73

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

74

book article EST / book article ENG

A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

75

book article EST / book article ENG

Classification of cross-sections for vascular skeleton extraction using convolutional neural networksLidayová, Kristína; Gupta, Anindya; Frimmel, Hans; Sintorn, Ida-Maria; Bengtsson, Ewert; Smedby, ÖrjanMedical Image : Understanding and Analysis, 21st Annual Conference, MIUA 2017 Edinburgh, UK, July 11–13, 2017 : Proceedings2017 / p. 182-194 https://doi.org/10.1007/978-3-319-60964-5_16 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2