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 304
Look more.. (2/96)
Export

export all inquiry results (304)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
26

book article EST / book article ENG

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
27

book article EST / book article ENG

Categorical semantics for functional reactive programming with temporal recursion and corecursionJeltsch, WolfgangProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 127-142 : ill https://doi.org/10.4204/EPTCS.153.9 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
28

book article EST / book article ENG

A categorical semantics for hierarchical Petri NetsGenovese, Fabrizio; Herold, Jelle; Loregian, Fosco; Palombi, DanieleProceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 20212021 / p. 51−68 https://doi.org/10.48550/arXiv.2102.00096 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
29

journal article EST / journal article ENG

Certified normalization of generalized tracesMaarand, Hendrik; Uustalu, TarmoInnovations in Systems and Software Engineering2019 / p. 253–265 https://doi.org/10.1007/s11334-019-00347-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
30

book article EST / book article ENG

Citizen-oriented digital transformation in the public sectorMergel, Ines; Kattel, Rainer; Lember, Veiko; McBride, Keegan David Braundg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 122, 3 p https://doi.org/10.1145/3209281.3209294 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
31

book article EST / book article ENG

Citizens' readiness for proactive public services : a case study from AzerbaijanKhasmammadli, Gasim; Erlenheim, ReginaICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance2022 / p. 408-415 : ill https://doi.org/10.1145/3560107.3560170 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
32

book article EST / book article ENG

Clearing the existing fog over the smart sustainable city concept: highlighting the importance of governanceSchuch de Azambuja, Luiza; Pereira, Gabriela Viale; Krimmer, Robert JohannesProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 628–637 https://doi.org/10.1145/3428502.3428595 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- Exploring the journey towards smarter sustainable cities : capacity development for evolving governance practices = Teel targemate jätkusuutlike linnade poole : arenevate valitsemisstruktuuride suutlikkuse kasvatamine
33

book article EST / book article ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
34

book article EST / book article ENG

Coinductive big-step semantics for concurrencyUustalu, TarmoProceedings 5th Workshop on : Programming Language Approaches to Concurrency and Communication-cEntric Software, Rome, Italy, 23rd March 20132013 / p. 63-78 https://doi.org/10.4204/EPTCS.137.6 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
35

book article EST / book article ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 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
36

book article EST / book article ENG

A combined method for error and complexity reduction in fuzzy rule-based classificationRiid, Andri; Preden, Jürgo-SörenIEEE International Conference on Fuzzy Systems : August 2-5, 2015, Istanbul, Turkey2015 / [6] p. : ill https://doi.org/10.1109/FUZZ-IEEE.2015.7337806 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
37

book article EST / book article ENG

Commercial property tokenizing with smart contractsNorta, Alexander; Fernandez, Chad; Hickmott, Stefan2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings2018 / p. 4801-4808 https://doi.org/10.1109/IJCNN.2018.8489534 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
38

book article EST / book article ENG

CommunityCare : tackling mental health issues with the help of communitySuran, Shweta; Pattanaik, Vishwajeet; Draheim, DirkiiWAS2020 : The 22st International Conference on Information Integration and Web-based Applications & Services, November 30 - December 2, 2020, Chiang Mai, Thailand : [Proceedings]2020 / art. 3429114, p. 377-382 https://doi.org/10.1145/3428757.3429114 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Related publications 1
- A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
39

journal article EST / journal article ENG

Comparing security levels of postal and Internet votingVakarjuk, Jelizaveta; Snetkov, Nikita; Willemson, JanInformation Security Journal2024 https://doi.org/10.1080/19393555.2024.2410332 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
40

book article EST / book article ENG

Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
41

book article EST / book article ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)2021 / art. 30, p. 30:1–30:24 : ill https://doi.org/10.4230/LIPIcs.CSL.2021.30 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- Monoidal width = Monoidiline laius
42

book article EST / book article ENG

Computational intelligence approach for estimation of vehicle insurancere risk levelVassiljeva, Kristina; Tepljakov, Aleksei; Petlenkov, Eduard; Netšajev, Eduard2017 International Joint Conference on Neural Networks (IJCNN 2017) : Anchorage, Alaska, USA, 14-19 May 20172017 / p. 4073-4078 : ill https://doi.org/10.1109/IJCNN.2017.7966370 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
43

book article EST / book article ENG

Conceptual challenges of researching Artificial Intelligence in public administrationsNoordt, Colin Pascal van23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings2022 / p. 183-190 https://doi.org/10.1145/3543434.3543441 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
44

book article EST / book article ENG

Conflict-resolution lifecycles for governed decentralized autonomous organization collaborationNorta, Alexander; Othman, Anis Ben; Taveter, KuldarEGOSE '15 : proceedings of the 2015 2nd International Conference on Electronic Governance and Open Society : Challenges in Eurasia : November 24-25, 2015, St.Petersburg, Russian Federation2015 / p. 244-257 : ill https://doi.org/10.1145/2846012.2846052 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
45

book article EST / book article ENG

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus

book article EST / book article ENG
46

journal article EST / journal article ENG

Contrastive Learning for Lane Detection via cross-similarityZoljodi, Ali; Abadijou, Sadegh; Alibeigi, Mina; Daneshtalab, MasoudPattern Recognition Letters2024 / p. 175-183 : ill https://doi.org/10.1016/j.patrec.2024.08.007 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
47

book article EST / book article ENG

Contributing to a digital single market for Europe: barriers and drivers of an EU-wide once-only principleKalvet, Tarmo; Toots, Maarja; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 45, 8 p https://doi.org/10.1145/3209281.3209344 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
48

journal article EST / journal article ENG

A coordinated strategy for multi-machine power system stabilityGhasemi-Marzbali, Ali; Ahmadiahangar, RoyaApplied Soft Computing2021 / art. 07742, 16 p. : ill https://doi.org/10.1016/j.asoc.2021.107742 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG
49

book article EST / book article ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
50

journal article EST / journal article ENG

Create your own MUSE : a method for updating security level evaluation instrumentsSeeba, Mari; Affia, Abasi-amefon Obot; Mäses, Sten; Matulevičius, RaimundasComputer Standards and Interface2024 / art. 103776 https://doi.org/10.1016/j.csi.2023.103776 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Number of records 304, displaying 26 - 50

previous
1
2
3
4
5
6
7
8
9
10
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