Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

Arvutiteadus. Tarkvara (category)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 233
Look more.. (2/91)
Export

export all inquiry results (233)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
151

book article EST / book article ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
152

journal article EST / journal article ENG

Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
153

book article EST / book article ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
154

journal article EST / journal article ENG

Optimal control of automatic manipulator for elimination of galvanic line load oscillationAutsou, Siarhei; Rassõlkin, Anton; Vaimann, Toomas; Demidova, Galina; Saroka, Viktor; Karpovich, Dzmitry; Kallaste, AntsPeriodica polytechnica electrical engineering and computer science2021 / 15 p. : ill https://doi.org/10.3311/PPee.15893 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG
155

journal article EST / journal article ENG

Optimization of pump efficiencies with different pumps characteristics working in parallel modeKoor, Margus; Vassiljev, Anatoli; Koppel, TiitAdvances in engineering software2016 / p. 69-76 : ill https://doi.org/10.1016/j.advengsoft.2015.10.010 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
156

journal article EST / journal article ENG

Optimized vibro-acoustic design of suspended glass panelsAiello, Robert; Auriemma, FabioStructural and multidisciplinary optimization2018 / p. 2253–2268 : ill https://doi.org/10.1007/s00158-018-2014-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
157

book article EST / book article ENG

Overcoming challenges in the silver economy by connecting services in the Silver Hub : the tool to provide the basis for the innovative solutionsKangilaski, Taivo; Butt, Sidra Azmat; Pappel, Ingrid; Kangilaski, ErikProceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece2021 / p. 231-237 : ill https://doi.org/10.1145/3494193.3494225 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- A Digital collaborative platform to facilitate innovative solutions for the silver economy = Digitaalne koostööplatvorm hõlbustamaks uuenduslikke lahendusi hõbemajanduses
158

journal article EST / journal article ENG

Parkinson's disease diagnostics based on the analysis of digital sentence writing testNetšunajev, Aleksei; Nõmm, Sven; Toomela, Aaro; Medijainen, Kadri; Taba, PilleVietnam journal of computer science2021 / p. 493-512 https://doi.org/10.1142/S2196888821500238 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
159

book article EST / book article ENG

Partiality and container monadsUustalu, Tarmo; Veltri, Niccolo23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, 29 May - 1 June 2017 : abstracts2017 / p. 99-100 https://types2017.elte.hu/proc.pdf#page=107 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
160

journal article EST / journal article ENG

Physics based compressive sensing to enable digital twins of additive manufacturing processesLu, Yanglong; Ševtšenko, Eduard; Wang, YanJournal of computing and information science in engineering2021 / 031009, 30 p https://doi.org/10.1115/1.4050377 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
161

book article EST / book article ENG

Piloting smart city solutions in very small, small and medium-sized municipalities. The Estonian case studySarv, Lill; Soe, Ralf-MartinICEGOV '22 : Proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 475-482 https://doi.org/10.1145/3560107.3560179 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
162

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
163

book article EST / book article ENG

Policy and legal environment analysis for e-Government services migration to the public cloudKotka, Taavi; Kask, Laura; Raudsepp, Karoliina; Storch, Tyson; Radloff, Rebecca; Liiv, InnarICEGOV '15-16 : proceedings of the 9th International Conference on Theory and Practice of Electronic Governance : Montevideo, Uruguay, March 1-3, 20162016 / p. 103-108 : ill https://doi.org/10.1145/2910019.2910056 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
164

book article EST / book article ENG

A pragmatic methodology for blind hardware trojan insertion in finalized layoutsHepp, Alexander; Perez, Tiago Diadami; Pagliarini, Samuel Nascimento; Sigl, GeorgICCAD '22: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design2022 / art. 69, p. 1-9 : ill https://doi.org/10.1145/3508352.3549452 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Security-aware physical synthesis of integrated circuits = Integraallülituste turvateadlik füüsiline süntees
165

journal article EST / journal article ENG

Predicting fuel properties using chemometrics : a review and an extension to temperature dependent physical properties by using infrared spectroscopy to predict densityBaird, Zachariah Steven; Oja, VahurChemometrics and intelligent laboratory systems2016 / p. 41-47 : ill https://doi.org/10.1016/j.chemolab.2016.08.004 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
166

book article EST / book article ENG

A privacy-protecting data-exchange wallet with ownership- and monetization capabilitiesNorta, Alexander; Hawthorne, Daniel; Engel, Serafin L.2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4121-4128 : ill https://doi.org/10.1109/IJCNN.2018.8489551 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
167

book article EST / book article ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
168

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
169

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
170

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
171

book article EST / book article ENG

Public acceptance of advanced identity documentsKalvet, Tarmo; Tiits, Marek; Laas-Mikko, KatrinICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 429-432 https://doi.org/10.1145/3209415.3209456 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
172

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
173

journal article EST / journal article ENG

Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexingMalik, Hassan; Alam, Muhammad Mahtab; Pervaiz, Haris; Moullec, Yannick Le; Al-Dulaimi, Anwer; Pärand, Sven; Reggiani, LucaIEEE Network2020 / Art. nr. 8839971 https://doi.org/10.1109/MNET.001.1900087 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
174

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
175

book article EST / book article ENG

Real-time localization and visualization of a sound source for virtual reality applicationKöse, Ahmet; Tepljakov, Aleksei; Astapov, Sergei2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 20172017 / p 219-224 : ill https://doi.org/10.23919/SOFTCOM.2017.8115577 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

Number of records 233, displaying 151 - 175

previous
1
2
3
4
5
6
7
8
9
10
next

1. tarkvara

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu