Searching - TalTech Research Portal

display

sort

201

book article EST / book article ENG

Partiality and container monadsUustalu, Tarmo; Veltri, NiccoloProgramming Languages and Systems : 15th Asian Symposium, APLAS 2017,Suzhou, China, November 27–29, 2017 : proceedings2017 / p. 406-425 : ill https://doi.org/10.1007/978-3-319-71237-6_20 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

202

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

203

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

204

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

205

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

206

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

207

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

208

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

209

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

210

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

Related publications 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

211

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

212

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

213

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

214

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

215

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

216

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

217

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

218

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

219

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

220

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

221

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

book article EST / book article ENG

222

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

223

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

224

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

225

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

Matemaatika. Teoreetiline arvutiteadus (category)

types of item

subject term 7