Searching - TalTech Research Portal

display

sort

1526

journal article EST / journal article ENG

Strategies for sustainable and circular management of phosphorus in the Baltic Sea region : The holistic approach of the InPhos projectSmol, Marzena; Preisner, Michal; Bianchini, Augusto; Voronova, Viktoria; Pachel, KarinSustainability2020 / 21 p. : ill https://doi.org/10.3390/su12062567 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1527

journal article EST / journal article ENG

Stream clustering guided supervised learning for classifying NIDS alertsVaarandi, Risto; Guerra Manzanares, AlejandroFuture generation computer systems2024 / p. 231-244 : ill https://doi.org/10.1016/j.future.2024.01.032 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1528

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

1529

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1530

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

1531

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

1532

book article EST / book article ENG

String diagrammatic electrical circuit theoryBoisseau, Guillaume; Sobocinski, Pawel MariaarXiv.org2022 / p. 178-191 : ill https://doi.org/10.4204/EPTCS.372.13 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2021.13 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1533

book article EST / book article ENG

String diagrammatic trace theoryEarnshaw, Matthew David; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

1534

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

1535

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

1536

book article EST / book article ENG

Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1537

book article EST / book article ENG

Student behavior changes in Estonia revealed by e-learning technologyUdal, Andres; Kukk, Vello; Jaanus, Martin; Umbleja, Kadri; Piho, GunnarDigital Turn in Schools - Research, Policy, Practice : proceedings of ICEM 2018 Conference2019 / p. 83-90 https://doi.org/10.1007/978-981-13-7361-9_6 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1538

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

1539

journal article EST / journal article ENG

A study into elevator passenger in-cabin behaviour on a smart-elevator platformRobal, Tarmo; Basov, Kevin; Reinsalu, Uljana; Leier, MairoBaltic Journal of Modern Computing2022 / p. 665-688 : ill https://doi.org/10.22364/bjmc.2022.10.4.05 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1540

book article EST / book article ENG

Study of electrode locations for joint acquisition of impedance- and electro-cardiography signalsMetshein, Margus; Gautier, Antoine; Larras, Benoit; Frappe, Antoine; John, Deepu; Cardiff, Barry; Annus, Paul; Land, Raul; Märtens, Olev2021 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC) Oct 31 - Nov 4, 2021 : virtual conference2021 / p. 7264-7267 : ill https://doi.org/10.1109/EMBC46164.2021.9629504 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1541

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

1542

book article EST / book article ENG

A study on user click behaviour for WIS user interface improvementsMarenkov, Jevgeni; Robal, Tarmo; Kalja, AhtoDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 173-186 : ill https://doi.org/10.3233/978-1-61499-458-9-173 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

1543

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

1544

journal article EST / journal article ENG

Subchronic oral and inhalation toxicities : a challenging attempt for modeling and predictionDobchev, Dimitar A.; Tulp, Indrek; Karelson, Gunnar; Tamm, Tarmo; Tämm, Kaido; Karelson, MatiMolecular informatics2013 / p. 793-801 : ill https://doi.org/10.1002/minf.201300033 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1545

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

1546

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

1547

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

1548

journal article EST / journal article ENG

Super twisting sliding mode control strategy for input series output parallel convertersGuler, Naki; Bayhan, Sertac; Fesli, Ugur; Blinov, Andrei; Vinnikov, DmitriIEEE Access2023 / p. 107394-107403 https://doi.org/10.1109/ACCESS.2023.3320178 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1549

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

1550

journal article EST / journal article ENG

Supply chain and ICT issues of Estonia: survey findingsKiisler, Ain; Solakivi, Tomi; Hilmola, Olli-Pekka KristianProcedia computer science2020 / p. 828-837 https://doi.org/10.1016/j.procs.2020.09.078 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

Computer Science (category)

types of item

keyword 148

subject term 6

TalTech department 3

author 1