Otsing - TalTech teadusportaal

kuva

reasta

776

artikkel kogumikus EST / artikkel kogumikus ENG

Regex decision procedures in extended RE#Varatalu, Ian Erik; Veanes, Margus; Zhuchko, Ekaterina; Ernits, Juhan-PeepComputer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23–25, 2025, Proceedings, Part III2025 / p. 106-129 : ill https://link.springer.com/chapter/10.1007/978-3-031-98682-6_7 https://doi.org/10.1007/978-3-031-98682-6_7 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

777

artikkel ajakirjas EST / artikkel ajakirjas ENG

Regions of exponential stability in coefficient space for linear systems on nonuniform discrete domainsBelikov, Juri; Kaparin, VadimJournal of difference equations and applications2017 / p. 878-892 : ill https://doi.org/10.1080/10236198.2017.1304931 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

778

artikkel ajakirjas EST / artikkel ajakirjas ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

779

artikkel ajakirjas EST / artikkel ajakirjas ENG

Reinforcement learning model-based and model-free paradigms for optimal control problems in power systems: comprehensive review and future directionsGinzburg-Ganz, Elinor; Segev, Itay; Balabanov, Alexander; Segev, Elior; Kaully Naveh, Sivan; Machlev, Ram; Belikov, Juri; Katzir, Liran; Keren, Sarah; Levron, YoashEnergies2024 / art. 5307, 54 p. : ill https://doi.org/10.3390/en17215307 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

780

artikkel ajakirjas EST / artikkel ajakirjas ENG

Rejoinder : [A Bayesian multinomial regression model for palaeoclimate reconstruction with time uncertainty]Ilvonen, Liisa; Holmström, Lasse; Seppä, Heikki; Veski, SiimEnvironmetrics2016 / p. 434-438 : ill https://doi.org/10.1002/env.2409 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

781

artikkel ajakirjas EST / artikkel ajakirjas ENG

Relation between self-organization and wear mechanisms of diamond filmsPodgurski, Vitali; Bogatov, Andrei; Yashin, MaximEntropy2018 / art. 279, 16 p. : ill https://doi.org/10.3390/e20040279 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

782

artikkel kogumikus EST / artikkel kogumikus ENG

Relations between modules associated to input-output nonlinear equations with delays and their realizationsBartosiewicz, Zbigniew; Kaldmäe, Arvo; Kotta, Ülle; Wyrwas, Malgorzata62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, 13-15 December 20232023 / p. 644-650 https://doi.org/10.1109/CDC49753.2023.10383927 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

783

artikkel ajakirjas EST / artikkel ajakirjas ENG

Relationship analysis and optimisation of space layout to improve the energy performance of office buildingsDu, Tiantian; Turrin, Michela; Jansen, Sabine; Dobbelsteen, Andy van den; De Luca, FrancescoEnergies2022 / art. 1268 https://doi.org/10.3390/en15041268 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

784

artikkel ajakirjas EST / artikkel ajakirjas ENG

Relative monadicityArkor, Nathanael Amariah; McDermott, DylanJournal of algebra2025 / 36 p. : ill http://doi.org/10.1016/j.jalgebra.2024.08.040 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

785

artikkel ajakirjas EST / artikkel ajakirjas ENG

Relative monads formalisedAltenkirch, Thorsten; Chapman, James; Uustalu, TarmoJournal of formalized reasoning2014 / p. 1-43 https://doi.org/10.6092/issn.1972-5787/4389 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

786

artikkel ajakirjas EST / artikkel ajakirjas ENG

Renovation results of Finnish single-family renovation subsidies : oil boiler replacement with heat pumpsSankelo, Paula; Ahmed, Kaiser; Mikola, Alo; Kurnitski, JarekEnergies2022 / art. 7620 https://doi.org/10.3390/en15207620 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

787

artikkel kogumikus EST / artikkel kogumikus ENG

The representation of negative terms with Euler diagramsBhattacharjee, Reetu; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2023 / p. 43-58 https://doi.org/10.1007/978-3-030-94452-0_3 Article collection metrics at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

788

artikkel kogumikus EST / artikkel kogumikus ENG

Representing uncertainty with expanded ueberweg diagramsMoktefi, Amirouche; Bhattacharjee, Reetu; Lemanski, JensDiagrammatic Representation and Inference : 14th International Conference, Diagrams 2024, Münster, Germany, September 27 – October 1, 2024 : proceedings2024 / p. 207-214 https://doi.org/10.1007/978-3-031-71291-3_17 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

789

artikkel kogumikus EST / artikkel kogumikus ENG

Requirements for e-testing services in the afgREN cloud-based e-learning systemSaay, Salim; Laanpere, Mart; Norta, AlexanderTechnology Enhanced Assessment, 19th International Conference, TEA 2016, Tallinn Estonia, October 5–6, 2016 : revised selected papers2017 / p. 133-147 https://doi.org/10.1007/978-3-319-57744-9_12 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

790

artikkel kogumikus EST / artikkel kogumikus ENG

Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1