Searching - TalTech Research Portal

display

sort

751

book article EST / book article ENG

PrefaceJallouli, Rim; Tobji, Mohamed Anis Bach; Mcheick, Hamid; Piho, GunnarDigital Economy. Emerging Technologies and Business Innovation : 6th International Conference on Digital Economy, ICDEc 2021, Tallinn, Estonia, July 15–17, 2021 : proceedings2021 / p. v–vi https://link.springer.com/content/pdf/bfm:978-3-030-92909-1/1 Collection metrics at Scopus Article at Scopus

book article EST / book article ENG

752

book article EST / book article ENG

PrefaceAttiogbe, Christian; Ben Yahia, SadokModel and Data Engineering : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 / p. v-vi https://doi.org/10.1007/978-3-030-78428-7 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

753

book article EST / book article ENG

PrefaceRobal, Tarmo; Haav, Hele-Mai; Penjam, Jaan; Matulevičius, RaimundasDatabases and Information Systems : 14th International Baltic Conference, DB&IS 2020, Tallinn, Estonia, June 16-19, 2020 : Proceedings2020 / p. v-vi https://doi.org/10.1007/978-3-030-57672-1 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG

754

book article EST / book article ENG

PrefacePietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, LeonieDiagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. v - vi https://doi.org/10.1007/978-3-030-54249-8 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

755

book article EST / book article ENG

PrefaceFischer, Bernd; Uustalu, TarmoTheoretical Aspects of Computing - ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings2018 / p. V-VI https://link.springer.com/content/pdf/bfm%3A978-3-030-02508-3%2F1.pdf https://www.ester.ee/record=b5174218*est https://doi.org/10.1007/978-3-030-02508-3 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

756

journal article EST / journal article ENG

Preface of the special issue on advances in data-driven engineeringBen Yahia, Sadok; Attiogbé, ChristianInternational Journal of General Systems2023 / p. 203-205 https://doi.org/10.1080/03081079.2023.2204251 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

757

journal article EST / journal article ENG

Pregnancy associated breast cancer gene expressions : new insights on their regulation based on rare correlated patternsBouasker, Souad; Inoubli, Wissem; Ben Yahia, Sadok; Diallo, GayoIEEE/ACM transactions on computational biology and bioinformatics2021 / p. 1035−1048 https://doi.org/10.1109/TCBB.2020.3015236 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

758

journal article EST / journal article ENG

Premature failure of an additively manufactured materialWang, Zhi; Xie, Meishen; Li, Yuanyuan; Zhang, Weiwen; Yang, Chao; Kollo, Lauri; Eckert, Jürgen; Prashanth, Konda GokuldossNpg Asia materials2020 / art. 30, 10 p. : ill https://doi.org/10.1038/s41427-020-0212-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

759

book article EST / book article ENG

The present and future of large-scale systems modeling and engineeringDraheim, DirkFuture Data and Security Engineering : Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016 : proceedings2016 / p. 355-370 : ill https://doi.org/10.1007/978-3-319-48057-2_25 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

760

book article EST / book article ENG

Preventing data-security breaches and patient-safety risks in cross-blockchain e-healthcare systemsKormiltsõn, Aleksandr; Norta, Alex; Nisar, Sanam; Dwivedi, VimalManagement of Digital EcoSystems : 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5–7, 2023, Revised Selected Papers2024 / p. 41-54 https://doi.org/10.1007/978-3-031-51643-6_4 Conference proceedings at scopus Article at Scopus Article at WOS

book article EST / book article ENG

761

journal article EST / journal article ENG

Process-aware security monitoring in industrial control systems: A systematic review and future directionsRehman, Muaan Ur; Bahsi, HayretdinInternational journal of critical infrastructure protection2024 / art. 100719, 19 p. : ill https://doi.org/10.1016/j.ijcip.2024.100719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

762

journal article EST / journal article ENG

Profunctor optics: a categorical updateClarke, Bryce James; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioCompositionality2024 / 39 p. : ill https://doi.org/10.32408/compositionality-6-1 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

763

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

764

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

765

journal article EST / journal article ENG

Propagation of bankruptcy risk over scale-free economic networksAndria, Joseph; di Tollo, Giacomo; Kalda, JaanEntropy2022 / art. 1713 https://doi.org/10.3390/e24121713 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

766

journal article EST / journal article ENG

The prospects of strategic imagination in explaining international security challengesMölder, HolgerQuality & Quantity : International Journal of Methodology2023 / p. 55-76 https://doi.org/10.1007/s11135-022-01386-w Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

767

journal article EST / journal article ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, Niels Frits WillemJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

768

book article EST / book article ENG

A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithmNorta, Alexander; Dai, Patrick; Mahi, Neil; Earls, JordanBusiness Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers2019 / p. 368-380 https://doi.org/10.1007/978-3-030-04849-5_33 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

769

book article EST / book article ENG

Purely functional incremental computingFirsov, Denis; Jeltsch, WolfgangProgramming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings2016 / p. 62-77 : ill https://doi.org/10.1007/978-3-319-45279-1_5 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

770

journal article EST / journal article ENG

Quadratic/linear rational spline histopolationHallik, Helle; Oja, PeeterBIT numerical mathematics2017 / p. 629-648 : ill https://doi.org/10.1007/s10543-017-0645-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

771

journal article EST / journal article ENG

A qualitative control approach to reduce energy costs of hybrid energy systems : utilizing energy price and weather dataTaebnia, Mehdi; Heikkilä, Marko; Kurnitski, JarekEnergies2020 / art. 1401, 17 p. : ill https://doi.org/10.3390/en13061401 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

772

journal article EST / journal article ENG

Quartic polynomial approximation for fluctuations of separation of trajectories in chaos and correlation dimensionFouxon, Itzhak; Ainsaar, Siim; Kalda, JaanJournal of Statistical Mechanics : Theory and Experiment2019 / art. 083211, 26 p https://doi.org/10.1088/1742-5468/ab3458 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

773

journal article EST / journal article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloMathematical structures in computer science2019 / p. 67-92 https://doi.org/10.1017/s0960129517000184 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

774

book article EST / book article ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccoloTheoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings2015 / p. 110 - 125 https://doi.org/10.1007/978-3-319-25150-9_8 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

775

journal article EST / journal article ENG

Quotients and atoms of reversible languagesTamm, HellisTheoretical Computer Science2022 / p. 33-45 https://doi.org/10.1016/j.tcs.2022.02.023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Mathematics (category)

types of item

keyword 15