Searching - TalTech Research Portal

display

sort

676

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, NielsMathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings2022 / p. 198-221 : ill https://doi.org/10.1007/978-3-031-16912-0_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

677

journal article EST / journal article ENG

Strictly convex corners scatterPäivärinta, Lassi Juhani; Salo, Mikko; Vesalainen, Esa V.Revista matematica iberoamericana2017 / p. 1369-1396 https://doi.org/10.4171/rmi/975 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

678

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

679

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

680

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

681

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

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

682

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

683

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

684

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

Seotud publikatsioonid 1

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

685

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

686

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

687

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

688

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

689

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

690

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

691

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

692

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

693

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

694

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

695

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

Seotud publikatsioonid 1

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

696

journal article EST / journal article ENG

Zonal modeling of air distribution impact on the long-range airborne transmission risk of SARS-CoV-2Aganovic, Amar; Cao, Guangyu; Kurnitski, Jarek; Melikov, Arsen Kriko; Wargocki, PawelApplied mathematical modelling2022 / p. 800-821 https://doi.org/10.1016/j.apm.2022.08.027 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

697

journal article EST / journal article ENG

Techno-economic analysis and energy forecasting study of domestic and commercial photovoltaic system installations in EstoniaShabbir, Noman; Kütt, Lauri; Raja, Hadi Ashraf; Jawad, Muhammad; Allik, Alo; Husev, OleksandrEnergy2022 / art. 124156 https://doi.org/10.1016/j.energy.2022.124156 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Residential energy management system to support increased renewable penetration = Taastuvenergiaallikate kasutustihedust toetav energiahaldussüsteem

698

book article EST / book article ENG

Temporal multi-view contracts for efficient test modelsGuin, Jishu; Vain, Jüri; Tsiopoulos, Leonidas; Valdek, GertDigital Business and Intelligent Systems : 15th International Baltic Conference, Baltic DB&IS 2022, Riga, Latvia, July 4-6, 2022 : proceedings2022 / p. 136–151 https://doi.org/10.1007/978-3-031-09850-5_10 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

699

book article EST / book article ENG

Testing generic strong accessibility of nonlinear control systems via polynomial (quadratic) immersionCarravetta, Francesco; Sarafrazi, Mohammad Amin; Bartosiewicz, Zbigniew; Kotta, Ülle61st IEEE Conference on Decision and Control, CDC 2022, Cancun, 6 December - 9 December 2022, proceedings2022 / p. 1841-1846 https://doi.org/10.1109/CDC51059.2022.9992952 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

700

book article EST / book article ENG

Testing the applicability of digital decision support on a nationwide EHRMetsallik, Janek; Ross, PeeterDigital Economy. Emerging Technologies and Business Innovation : 6th International Conference on Digital Economy, ICDEc 2021, Tallinn, Estonia, July 15–17, 2021 : proceedings2021 / p. 134−146 https://doi.org/10.1007/978-3-030-92909-1_9 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

Mathematics (category)

types of item

keyword 10