Searching - TalTech Research Portal

display

sort

676

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

677

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

678

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

679

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

680

journal article EST / journal article 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

journal article EST / journal article ENG

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

681

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

682

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

683

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

684

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

685

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

686

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

687

book article EST / book article 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

book article EST / book article ENG

688

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

689

book article EST / book article 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

book article EST / book article ENG

690

book article EST / book article 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

book article EST / book article ENG

691

journal article EST / journal article 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

journal article EST / journal article ENG

692

journal article EST / journal article ENG

Realisation of energy performance targets of an old apartment building renovated to nZEBHamburg, Anti; Kuusk, Kalle; Mikola, Alo; Kalamees, TargoEnergy2020 / art. 116874, 10 p. : ill https://doi.org/10.1016/j.energy.2019.116874 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 1

Realisation of energy renovation targets of Estonian apartment buildings = Eesti korterelamute renoveerimisel energiatõhususe eesmärkide saavutamine

693

journal article EST / journal article ENG

Realization of nonlinear input-output equations in controller canonical formKaldmäe, Arvo; Kotta, ÜlleKybernetika2018 / p. 736-747 https://doi.org/10.14736/kyb-2018-4-0736 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

694

journal article EST / journal article ENG

Realization of nonlinear time-delay input–output equationsKaldmäe, Arvo; Kotta, Ülle; Tõnso, MarisIEEE Control Systems Letters2018 / p. 369-374 https://doi.org/10.1109/LCSYS.2018.2838456 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

695

book article EST / book article ENG

Real-time crack detection on concrete using non-destructive approaches based on Yolo series : ReviewBassir, David; Chang, Haochen; Majak, JüriAdvances in Machinery, Materials Science and Engineering Application X : Proceedings of the 10th International Conference (MMSE 2024), Paris, France, 27–28 July 20242024 / p. 820-826 https://doi.org/10.3233/ATDE240712 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

696

book article EST / book article ENG

Real-time gait anomaly detection using 1D-CNN and LSTMRostovski, Jakob; Ahmadilivani, Mohammad Hasan; Krivošei, Andrei; Kuusik, Alar; Alam, Muhammad MahtabDigital Health and Wireless Solutions : First Nordic Conference, NCDHWS 2024, Oulu, Finland, May 7–8, 2024 : Proceedings, Part II2024 / p. 260-278 https://doi.org/10.1007/978-3-031-59091-7_17 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Development of methods for real-time in-step anomaly detection in gait analysis = Reaalajaliste meetodite arendus sammusiseste kõrvalkallete tuvastamiseks kõnnianalüüsis

697

journal article EST / journal article ENG

Real-time multi-modal active vision for object detection on UAVs equipped with limited field of view LiDAR and cameraShi, Chuanbeibei; Lai, Ganghua; Yu, Yushu; Bellone, Mauro; Lippiello, VincezoIEEE Robotics and Automation Letters2023 / p. 6571 - 6578 https://doi.org/10.1109/LRA.2023.3309575 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

698

journal article EST / journal article ENG

Recent trends in additive manufacturing and topology optimization of reluctance machinesHussain, Shahid; Kallaste, Ants; Vaimann, ToomasEnergies2023 / art. 3840 https://doi.org/10.3390/en16093840 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

699

journal article EST / journal article ENG

Reconstruction of an order of derivative and a source term in a fractional diffusion equation from final measurementsJanno, Jaan; Kinash, NataliiaInverse problems2018 / art. 025007, 19 p. : ill https://doi.org/10.1088/1361-6420/aaa0f0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

700

journal article EST / journal article ENG

Reconstruction of an orthotropic thermal conductivity from non-local heat flux measurementsHuntul, M.J.; Hussein, M.S.; Lesnic, D.; Ivanchov, M.I.; Kinash, NataliiaInternational journal of Mathematical modelling and numerical optimisation2020 / p. 102-122 https://doi.org/10.1504/IJMMNO.2020.104327 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

Mathematics (category)

types of item

keyword 14