Otsing - TalTech teadusportaal

kuva

reasta

676

artikkel ajakirjas EST / artikkel ajakirjas ENG

PrefaceMatthes, Ralph; Uustalu, TarmoRAIRO - Theoretical Informatics and Applications2013 / p. 1-2 https://doi.org/10.1051/ita/2012026 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

677

artikkel kogumikus EST / artikkel kogumikus ENG

PrefaceIoannides, Marinos; Magnenat-Thalmann, Nadia; Fink, Eleanor; Žarnić, Roko; Yen, Alex-Yianing; Quak, EwaldDigital Heritage : Progress in Cultural Heritage: Documentation, Preservation,and Protection : 5th International Conference, EuroMed 2014, Limassol, Cyprus, November 3-8, 2014, Proceedings2014 / p. V-VII https://doi.org/10.1007/978-3-319-13695-0 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

678

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

679

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

680

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

681

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

682

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

683

artikkel ajakirjas EST / artikkel ajakirjas ENG

Process-aware security monitoring in industrial control systems: A systematic review and future directionsUr Rehman, Muaan; Bahşi, 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

684

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

685

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

686

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

687

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

688

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

689

artikkel ajakirjas EST / artikkel ajakirjas ENG

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

690

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

691

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

692

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

693

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

694

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

695

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

696

artikkel kogumikus EST / artikkel kogumikus ENG

Quotienting the delay monad by weak bisimilarityChapman, James; Uustalu, Tarmo; Veltri, NiccolòTheoretical 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

artikkel kogumikus EST / artikkel kogumikus ENG

697

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

698

artikkel kogumikus EST / artikkel kogumikus ENG

Quotients and atoms of reversible languagesTamm, HellisFormal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II2020 / p. 443-455 https://doi.org/10.1007/978-3-030-54997-8_28 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

699

artikkel kogumikus EST / artikkel kogumikus ENG

Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probeFukuda, Shinji; Tuhtan, Jeffrey Andrew; Fuentes-Pérez, Juan Francisco; Schletterer, Martin; Kruusmaa, MaarjaIntelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II2016 / P. 297-307 : ill https://doi.org/10.1007/978-3-319-43518-3_29 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

700

artikkel ajakirjas EST / artikkel ajakirjas ENG

Random walks of oriented particles on fractalsHaber, René; Prehl, Janett; Hoffmann, Karl Heinz; Herrmann, HeikoJournal of physics A : mathematical and theoretical2014 / p. 1-14 : ill https://doi.org/10.1088/1751-8113/47/15/155001 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Mathematics (kategooria)

teaviku laadid

võtmesõna 15