Searching - TalTech Research Portal

display

sort

51

book article EST / book article ENG

Bing-CF-IDF+ : a semantics-driven news recommender systemBrocken, Emma; Hartveld, Aron; Koning, Emma de; Hogenboom, Frederik; Frasincar, Flavius; Robal, TarmoAdvanced Information Systems Engineering 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings2019 / p. 32-47 https://doi.org/10.1007/978-3-030-21290-2_3 Conference proceeding at Scopus Article at Scopus Conference proceeding at WOS Article at WOS

book article EST / book article ENG

52

book article EST / book article ENG

Bing-CSF-IDF+: a semantics-driven recommender system for newsHuijsduijnen, Lies Hooft van; Hoogmoed, Thom; Keulers, Geertje; Langendoen, Edmar; Langendoen, Sanne; Vos, Tim; Hogenboom, Frederik; Frasincar, Flavius; Robal, TarmoNew trends in databases and information systems : ADBIS 2020 short papers, Lyon, France, August 25–27, 2020 : proceedings2020 / p. 143−153 https://doi.org/10.1007/978-3-030-54623-6_13 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

53

book article EST / book article ENG

Black-box separations and their adaptability to the non-uniform modelBuldas, Ahto; Niitsoo, MargusInformation security and privacy : 18th Australasian Conference, ACISP 2013, Brisbane, Australia, July 1-3, 2013 : proceedings2013 / p. 152-167 https://doi.org/10.1007/978-3-642-39059-3_11 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

54

book article EST / book article ENG

Block library driven translation validation for dataflow models in safety critical systemsDieumegard, Arnaud; Toom, Andres; Pantel, MarcCritical Systems : Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings2016 / p. 117-132 : ill https://doi.org/10.1007/978-3-319-45943-1_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

55

book article EST / book article ENG

Blockchain technology for enabling transparent and traceable government collaboration in public project processes of developing economiesAbodei, Ebizimoh; Norta, Alexander; Azogu, Irene; Udokwu, Chibuzor; Draheim, DirkDigital Transformation for a Sustainable Society in the 21st Century18th IFIP WG 6.11 : Conference on e-Business, e-Services, and e-Society, I3E 2019Trondheim, Norway, September 18–20, 2019 : proceedings2019 / p. 464–475 https://doi.org/10.1007/978-3-030-29374-1_38 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

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

57

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

58

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

59

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

60

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

61

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

62

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

63

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

64

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

65

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

66

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

67

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

68

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

69

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

70

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

71

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

72

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

73

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

74

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

75

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

Arvutiteadus. Üldine arvutiteadus (category)

types of item

subject term 2