Otsing - TalTech teadusportaal

kuva

reasta

76

artikkel ajakirjas EST / artikkel ajakirjas ENG

Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; Weide, Niels van derMathematical Structures in Computer Science2022 https://doi.org/10.1017/S0960129522000032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

77

artikkel ajakirjas EST / artikkel ajakirjas ENG

Bidirectional twisted single-stage single-phase buck-boost DC-AC converterHusev, Oleksandr; Matiushkin, Oleksandr; Roncero-Clemente, Carlos; Vinnikov, Dmitri; Chopyk, VasiliyEnergies2019 / art. 3505, 14 p. : ill https://doi.org/10.3390/en12183505 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Photovoltaic string converter with universal compatibility with AC and DC microgrids = Alalis- ja vahelduvvoolu mikrovõrkudega ühilduv universaalne muundur päikese-elektrijaamadele

78

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

79

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

80

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

81

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

82

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

83

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

84

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

85

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

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

86

artikkel ajakirjas EST / artikkel ajakirjas ENG

The borderlines of invisibility and visibility in Calderón's inverse problemAstala, Kari; Lassas, Matti; Päivärinta, LassiAnalysis and PDE2016 / p. 43 - 98 https://doi.org/10.2140/apde.2016.9.43 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

87

artikkel ajakirjas EST / artikkel ajakirjas ENG

Boundary state and output feedbacks for underactuated systems of coupled time-fractional PDEs with different space-dependent diffusivityChen, Juan; Tepljakov, Aleksei; Petlenkov, Eduard; Zhuang, BoInternational journal of systems science2020 / p. 2922-2942 https://doi.org/10.1080/00207721.2020.1803442 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

88

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

89

artikkel ajakirjas EST / artikkel ajakirjas ENG

The breaking of symmetry leads to chirality in cucurbituril-type hostsAav, Riina; Mishra, Kamini AtindrakumarSymmetry2018 / 26 p. : ill https://doi.org/10.3390/sym10040098 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

90

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

91

artikkel ajakirjas EST / artikkel ajakirjas ENG

B-spline based finite element method in one-dimensional discontinuous elastic wave propagationKolman, Radek; Okrouhlik, M.; Berezovski, Arkadi; Gabriel, Dusan; Kopačka, J.; Plešek, J.Applied mathematical modelling2017 / p. 382-395 : ill https://doi.org/10.1016/j.apm.2017.01.077 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

92

artikkel kogumikus EST / artikkel kogumikus ENG

Business intelligence and analytics: On-demand ETL over document storesSouibgui, Manel; Atigui, Faten; Ben Yahia, Sadok; Si-Said Cherfi, SamiraResearch Challenges in Information Science : 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23-25, 2020 : Proceedings2020 / p. 556-561 https://doi.org/10.1007/978-3-030-50316-1_38 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

93

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

94

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

95

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

96

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

97

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

98

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

99

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

100

artikkel ajakirjas EST / artikkel ajakirjas ENG

Catalytic effect of oil shale ash on CO2 gasification of leached wheat straw and reed charsLink, Siim; Tran, Khanh-Quang; Bach, Quang-Vu; Yrjas, Patrik; Rosin, ArgoEnergy2018 / p. 906-913 https://doi.org/10.1016/j.energy.2018.04.013 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Mathematics (kategooria)

teaviku laadid

võtmesõna 14