Searching - TalTech Research Portal

display

sort

851

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

852

journal article EST / journal article ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

853

journal article EST / journal article ENG

Structural vector autoregressions with smooth transition in variancesLütkepohl, Helmut; Netšunajev, AlekseiJournal of economic dynamics and control2017 / p. 43-57 : ill https://doi.org/10.1016/j.jedc.2017.09.001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

854

book article EST / book article ENG

The structure of concurrent process historiesNester, Chad MitchellCoordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings2021 / p. 209−224 https://doi.org/10.1007/978-3-030-78142-2_13 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

855

journal article EST / journal article ENG

Structured development of implementations for divide-and-conquer specificationsBortin, MaksymScience of computer programming2024 / art. 103011, 15 p. : ill https://doi.org/10.1016/j.scico.2023.103011 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

856

book article EST / book article ENG

Student’s behavior in free learning environment and formal education systemKukk, VelloLearning technology for education in Cloud : MOOC and Big Data : third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014 : proceedings2014 / p. 187-194 https://doi.org/10.1007/978-3-319-10671-7_19 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

857

journal article EST / journal article ENG

Study of bearing currents in induction machine : diagnostic possibilities, fault detection, and predictionKudelina, Karolina; Raja, Hadi Ashraf; Naseer, Muhammad Usman; Autsou, Siarhei; Asad, Bilal; Vaimann, Toomas; Kallaste, AntsElectrical engineering2024 / 14 p. : ill https://doi.org/10.1007/s00202-024-02411-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Artificial intelligence driven approaches for fault prognostics of electrical machines using vibration spectrum analysis = Tehisintellektil põhinevad lähenemisviisid elektrimasinate rikete prognoosimiseks vibratsioonispektri analüüsi abil

858

book article EST / book article ENG

A study on immediate automatic usability evaluation of web application user interfacesMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and Information Systems : 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016 : proceedings2016 / p. 257-271 : ill https://doi.org/10.1007/978-3-319-40180-5_18 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

859

journal article EST / journal article ENG

Studying upwelling phases in the Kazakhstan part of the Caspian seaRakisheva, Zaure Bayanovna; Delpeche-Ellmann, Nicole Camille; Sakhayeva, AigerimInternational journal of mathematics and physics2020 / p. 45−50 : ill https://doi.org/10.26577/ijmph.2020.v11.i1.06 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

860

book article EST / book article ENG

Success and success factors of the Estonian E-Residency from the state and entrepreneur perspectiveSallam, Mohammed Saber H. A.; Lips, Silvia; Draheim, DirkElectronic Governance and Open Society: Challenges in Eurasia : 8th International Conference, EGOSE 2021, Saint Petersburg, Russia, November 24-25, 2021 : proceedings2022 / p. 291-304 https://doi.org/10.1007/978-3-031-04238-6_22 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik

861

book article EST / book article ENG

Success in eVoting - success in eDemocracy? The Estonian paradoxToots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesElectronic Participation : 8th IFIP WG 8.5 International Conference, ePart 2016, Guimaraes, Portugal, September 5-8, 2016 : proceedings2016 / p. 55-66 : ill https://doi.org/10.1007/978-3-319-45074-2_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

862

journal article EST / journal article ENG

Summer thermal comfort : compliance assessment and overheating prevention in new apartment buildings in EstoniaSimson, Raimo; Kurnitski, Jarek; Maivel, MikkJournal of building performance simulation2017 / p. 378-391 : ill https://doi.org/10.1080/19401493.2016.1248488 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

863

journal article EST / journal article ENG

The supplement of the diagnostic tool for assessment the implemented performance management systems : theoretical approachKadak, TarmoInternational journal of mathematics and computers in simulation2013 / p. 187-197 : ill https://www.researchgate.net/publication/292833919_The_supplement_of_the_diagnostic_tool_for_assessment_the_implemented_performance_management_systems_Theoretical_approach Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

864

journal article EST / journal article ENG

Supramolecular Chirogenesis in bis-porphyrin: crystallographic structure and CD spectra for a complex with a chiral guanidine derivativeOsadchuk, Irina; Konrad, Nele; Truong, Khai-Nghi; Rissanen, Kari; Clot, Eric; Aav, Riina; Kananovich, Dzmitry; Borovkov, VictorSymmetry2021 / 14 p. : ill https://doi.org/10.3390/sym13020275 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

865

journal article EST / journal article ENG

Surjective cellular automata far from the Garden of EdenCapobianco, Silvio; Guillon, Pierre; Kari, JarkkoDiscrete mathematics and theoretical computer science2013 / p. 41-60 : ill https://www.researchgate.net/publication/264932675_Surjective_cellular_automata_far_from_the_Garden_of_Eden https://doi.org/10.46298/dmtcs.618 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

866

journal article EST / journal article ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

867

journal article EST / journal article ENG

A survey on artificial intelligence approaches in supporting frontline workers and decision makers for the COVID-19 pandemicRasheed, Jawad; Jamil, Akhtar; Draheim, DirkChaos, solitons & fractals2020 / art. 110337, 17 p https://doi.org/10.1016/j.chaos.2020.110337 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

868

journal article EST / journal article ENG

Sustainable rural electrification : harnessing a cosmolocal windTroullaki, Katerina; Rozakis, Stelios; Latoufis, Kostas; Giotitsas, Christos; Priavolou, Christina; Freire, FaustoEnergies2022 / art. 4659 https://doi.org/10.3390/en15134659 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

869

book article EST / book article ENG

Sweedler theory of monadsMcDermott, Dylan; Rivas, Exequiel; Uustalu, TarmoFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings2022 / p. 428-448 https://doi.org/10.1007/978-3-030-99253-8_22 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

870

book article EST / book article ENG

Synthesis of implementations for divide-and-conquer specificationsBortin, MaksymFormal Methods: Foundations and Applications: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, proceedings2022 / p. 73-88 https://doi.org/10.1007/978-3-031-22476-8_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

871

book article EST / book article ENG

Systematic digital signing in Estonian e-Government processes : influencing factors, technologies, change managementPappel, Ingrid; Pappel, Ingmar; Tepandi, Jaak; Draheim, DirkTransactions on large-scale data- and knowledge-centered systems XXXVI : special issue on data and security engineering2017 / p. 31-51 : ill https://doi.org/10.1007/978-3-662-56266-6_2 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

872

book article EST / book article ENG

Systematic literature review of methods for maintaining data integrityKask, Marten; Piho, Gunnar; Ross, PeeterAdvances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. 259–268 https://doi.org/10.1007/978-3-030-87657-9_20 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

873

journal article EST / journal article ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141, 39 p. : ill https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

874

book article EST / book article ENG

Systematic support for full knowledge management lifecycle by advanced semantic annotation across information system boundariesPattanaik, Vishwajeet; Norta, Alexander; Felderer, Michael; Draheim, DirkInformation Systems in the Big Data Era : CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings2018 / p. 66−73 https://doi.org/10.1007/978-3-319-92901-9_7 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Robust Web annotations in support of knowledge co-creation = Töökindlad veebiannotatsioonid teadmiste ühisloome toetamiseks

875

journal article EST / journal article ENG

ZnO thin films co-doped with III-valence metals and halogens: theory and experimentColibaba, G. V.; Rusnac, D.; Fedorov, V.; Koltsov, Mykhailo; Volobujeva, Olga; Grzibovskis, Raitis; Vembris, Aivars; Spalatu, NicolaePhysica scripta2024 / art. 105967 https://doi.org/10.1088/1402-4896/ad74ab Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Matemaatika (category)

types of item

subject term 44

TalTech department 4

author 3