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

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 291
Look more.. (2/95)
Export

export all inquiry results (291)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
201

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
202

book article EST / book article ENG

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Román, Mario32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)2024 / art. 25, 19 p. ill https://doi.org/10.4230/LIPIcs.CSL.2024.25 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
203

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
Related publications 1
- Monoidal context theory = Monoidiliste kontekstide teooria
204

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
205

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
Related publications 1
- Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
206

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
207

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
208

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
209

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
210

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; Le Moullec, Yannick; 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
211

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
212

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
213

journal article EST / journal article ENG

Real-time demands and calibration of water distribution systemsVassiljev, Anatoli; Koor, Margus; Koppel, TiitAdvances in engineering software2015 / p. 108-113 : ill https://doi.org/10.1016/j.advengsoft.2015.06.012 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
214

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
215

book article EST / book article ENG

Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward inductionIqbal, Junaid; Truscan, Dragos; Vain, Jüri; Porres, IvanProceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / 10 pages : ill https://doi.org/10.1145/3123779.3123813 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
216

book article EST / book article ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- Languages of string diagrams = Nöördiagrammide keeled
217

journal article EST / journal article ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
Related publications 1
- Languages of string diagrams = Nöördiagrammide keeled
218

book article EST / book article ENG

Reordering derivatives of trace closures of regular languages [Online resource]Maarand, Hendrik; Uustalu, Tarmo30th International Conference on Concurrency Theory : (CONCUR 2019)2019 / art. 40 ; 40:1–40:16 https://doi.org/10.4230/LIPIcs.CONCUR.2019.40 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
219

journal article EST / journal article ENG

Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulatorMiller, Tim; Lu, Bin; Sterling, Leon; Beydoun, Ghassan; Taveter, KuldarIEEE transactions on software engineering2014 / p. 1007-1024 : ill https://doi.org/10.1109/TSE.2014.2339827 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
220

book article EST / book article ENG

Research gaps on public service deliveryLopes, Nuno Vasco; Sa Soares, Delfina; Meyerhoff Nielsen, Morten; Tavares, AntonioICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 20172017 / p. 465-474 : ill https://doi.org/10.1145/3047273.3047388 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
221

book article EST / book article ENG

Re-shaping the EU digital identity frameworkLips, Silvia; Vinogradova, Natalia; Krimmer, Robert Johannes; Draheim, Dirk23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 13-21 https://doi.org/10.1145/3543434.3543652 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
222

journal article EST / journal article ENG

A roadside unit deployment framework for enhancing transportation services in Maghrebian citiesChaabene, Seif Ben; Yeferny, Taoufik; Ben Yahia, SadokConcurrency and Computation: Practice and Experience2021 / art. e5611 https://doi.org/10.1002/cpe.5611 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

Robust training of vector quantized bottleneck modelsLancucki, Adrian; Chorowski, Jan; Sanchez, Guillaume; Marxer, Ricard; Chen, Nanxin; Dolfing, Hans J.G.A.; Khurana, Sameer; Alumäe, Tanel; Laurent, Antoine2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings2020 / art. 163566 : 7 p https://doi.org/10.1109/IJCNN48605.2020.9207145 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
224

book article EST / book article ENG

RoCo-NAS : robust and compact neural architecture searchGeraeinejad, Vahid; Sinaei, Sima; Modarressi, Mehdi; Daneshtalab, Masoud2021 International Joint Conference on Neural Networks (IJCNN) : proceedings2021 / 8 l https://doi.org/10.1109/IJCNN52387.2021.9534460 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
225

book article EST / book article ENG

The role of linked open statistical data in public service co-creationMcBride, Keegan David Braun; Matheus, Ricardo; Toots, Maarja; Kalvet, Tarmo; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 679-681 https://doi.org/10.1145/3209415.3209446 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Number of records 291, displaying 201 - 225

previous
3
4
5
6
7
8
9
10
11
12
next

1. tarkvara

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu