Searching - TalTech Research Portal

display

sort

176

journal article EST / journal article ENG

Pavement defect segmentation in orthoframes with a pipeline of three convolutional neural networksLõuk, Roland; Riid, Andri; Pihlak, Rene; Tepljakov, AlekseiAlgorithms2020 / art. 198, 27 p. : ill https://doi.org/10.3390/a13080198 Journal metrics at scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

177

book article EST / book article ENG

Peirce’s diagrammatic solutions to ‘Peirce’s Puzzle’Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 246–250 : ill https://doi.org/10.1007/978-3-030-86062-2_23 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

178

book article EST / book article ENG

Peirce's complex diagramsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic Representation and Inference : 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022 : Proceedings2022 / p. 347-355 https://doi.org/10.1007/978-3-031-15146-0_30 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

179

book article EST / book article ENG

Peirce's inclusion diagrams, with application to syllogismsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 530-533 https://doi.org/10.1007/978-3-030-54249-8_50 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

180

book article EST / book article ENG

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

181

journal article EST / journal article ENG

Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

182

journal article EST / journal article ENG

Positive-energy D-bar method for acoustic tomography : a computational studyde Hoop, M. V.; Lassas, Matti; Santacesaria, M.; Siltanen, Samuli; Tamminen, Janne Pertti OlaviInverse problems2016 / art, 025003, p. 1-35 : ill https://doi.org/10.1088/0266-5611/32/2/025003 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

183

journal article EST / journal article ENG

Post-surjectivity and balancedness of cellular automata over groupsCapobianco, Silvio; Kari, Jarkko; Taati, SiamakDiscrete mathematics and theoretical computer science2017 / art. 3918, p. 1-16 : ill https://doi.org/10.23638/DMTCS-19-3-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

184

book article EST / book article ENG

Predicting psychiatric diseases using autoAI : a performance analysis based on health insurance billing dataBertl, Markus; Ross, Peeter; Draheim, DirkDatabase and Expert Systems Applications : 32nd International Conference, DEXA 2021, Virtual Event, September 27-30, 2021 : proceedings. Part I2021 / p. 104-111 https://doi.org/10.1007/978-3-030-86472-9_9 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Systematic AI support for psychiatry : a framework on how to implement decision support systems = Tehisintellekti süstemaatiline kasutamine psühhiaatrias : otsustustoe rakendamist toetav raamistik

185

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

186

book article EST / book article ENG

PrefaceKrimmer, Robert; Volkamer, MelanieElectronic Voting : 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings2020 / p. v https://link.springer.com/content/pdf/bfm:978-3-030-60347-2/1?pdf=chapter%20toc Conference Proceedings metrics at Scopus Article at Scopus

book article EST / book article ENG

187

book article EST / book article ENG

PrefaceKrimmer, Robert; Prentza, Andriana; Mamrot, SzymonThe once-only principle : The TOOP project2021 / 1 p https://link.springer.com/book/10.1007/978-3-030-79851-2 Article collection metrics at Scopus Article at Scopus Article collection metrics at WOS

book article EST / book article ENG

188

book article EST / book article ENG

PrefaceKupferman, Orna; Sobocinski, Pawel MariaFoundations of Software Science and Computation Structures, 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferenceson Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings2023 / p. vii https://doi.org/10.1007/978-3-031-30829-1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

189

book article EST / book article ENG

PrefaceChapman, Peter; Stapleton, Gem; Moktefi, Amirouche; Chapman, Peter; Stapleton, Gem; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018 Edinburgh, UK, June 18–22, 2018 Proceedings2018 / p. V - VI https://link.springer.com/content/pdf/bfm:978-3-319-91376-6/1?pdf=chapter%20toc Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

190

book article EST / book article ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Beckert, Bernhard; Küsters, Ralf; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings2019 / p. v https://link.springer.com/book/10.1007/978-3-030-30625-0 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

191

book article EST / book article ENG

PrefaceKrimmer, Robert Johannes; Volkamer, Melanie; Cortier, Véronique; Goré, Rajeev; Hapsara, Manik; Serdült, Uwe; Duenas Cid, DavidElectronic Voting : Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings2018 / p. i-iv https://link.springer.com/book/10.1007/978-3-030-00419-4 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

192

book article EST / book article ENG

PrefaceKrimmer, Robert; Volkamer, Melanie; Barrat, Jordi; Benaloh, Josh; Goodman, Nicole; Teague, VanessaElectronic Voting : First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings2017 / 1 p https://link.springer.com/book/10.1007/978-3-319-52240-1 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

193

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

194

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

195

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

196

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

197

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

198

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

199

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

200

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

Mathematics. Theoretical computer science (category)

types of item

keyword 19

subject term 1