Searching - TalTech Research Portal

display

sort

1651

journal article EST / journal article ENG

Stateful runners of effectful computationsUustalu, TarmoElectronic notes in theoretical computer science2015 / p. 403-421 https://doi.org/10.1016/j.entcs.2015.12.024 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

1652

book article EST / book article ENG

Static Shading Optimization for Glare Control and DaylightDe Luca, Francesco; Sepulveda Luque, Abel; Varjas, ToivoProceedings of the 39th eCAADe Conference - Towards a new, configurable architecture : University of Novi Sad, Novi Sad, Serbia, 8-10 September 2021. Vol. 22021 / p. 419-428 https://doi.org/10.52842/conf.ecaade.2021.2.419 https://papers.cumincad.org/cgi-bin/works/paper/ecaade2021_230 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

1653

journal article EST / journal article ENG

Static state feedback linearization of nonlinear control systems on homogeneous time scalesBartosiewicz, Zbigniew; Kotta, Ülle; Tõnso, Maris; Wyrwas, MałgorzataMathematics of control, signals, and systems2015 / p. 523-550 https://doi.org/10.1007/s00498-015-0150-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1654

book article EST / book article ENG

Stenmap : framework for evaluating cybersecurity-related skills based on computer simulationsMäses, Sten; Randmann, Liina; Maennel, Olaf Manuel; Lorenz, BirgyLearning and Collaboration Technologies : Learning and Teaching : 5th International Conference : LCT 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : Proceedings, Part II2018 / p. 492-504 https://doi.org/10.1007/978-3-319-91152-6_38 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

1655

book article EST / book article ENG

Stimulating the uptake of AI in public administrations : overview and comparison of AI strategies of european member statesNoordt, Colin Pascal van; Medaglia, Rony; Misuraca, GianlucaEGOV-CeDEM-ePart-* 2020 : Ongoing Research, Practitioners, Posters, Workshops, and Projects at EGOV-CeDEM-ePart 20202020 / p. 269-277 https://ceur-ws.org/Vol-2797/paper26.pdf Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

1656

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

1657

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

1658

book article EST / book article ENG

Streams of approximations, equivalence of recursive effectful programsVeltri, Niccolo; Voorneveld, Niels Frits WillemMathematics 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

1659

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

1660

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

1661

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

1662

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

1663

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

1664

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

1665

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

1666

journal article EST / journal article ENG

A structure-preserved control approach for dynamic load-altering attacks in power systemsNosrati, Komeil; Tepljakov, Aleksei; Petlenkov, Eduard; Ginzburg-Ganz, Elinor; Levron, Yoash; Belikov, JuriIEEE Transactions on Smart Grid2025 / 17 p. : ill https://doi.org/10.1109/TSG.2025.3647155 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

1667

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

1668

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

1669

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

1670

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

1671

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

1672

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

1673

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

1674

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

1675

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

Computer Science (category)

types of item

keyword 155

subject term 6

TalTech department 3

author 1