Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Arvutiteadus. Tarkvara (kategooria)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 279
Vaata veel.. (2/95)
Ekspordi

ekspordi kõik päringu tulemused (279)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
26

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
27

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
28

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
29

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
30

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
31

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
32

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 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

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
34

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
35

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal context theory = Monoidiliste kontekstide teooria
36

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
37

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- A generic framework for collective intelligence systems = Kollektiivse intelligentsuse süsteemide üldine raamistik
38

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
39

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
40

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Monoidal width = Monoidiline laius
41

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
42

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
Seotud publikatsioonid 1
- Public value creation with Artificial Intelligence technologies in public administration = Avaliku väärtuse loomine tehisintellekti tehnoloogiatega avalikus halduses
43

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
44

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
45

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
46

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG
47

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG
48

artikkel kogumikus EST / artikkel kogumikus ENG

Cross-border e-government services in Europe: expected benefits, barriers and drivers of the once-only principleKalvet, Tarmo; Toots, Maarja; Veenstra, Anne Fleur van; Krimmer, Robert JohannesICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland2018 / p. 59-68 https://doi.org/10.1145/3209415.3209458 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG
49

artikkel ajakirjas EST / artikkel ajakirjas ENG

The cyber-insurance market in NorwayBahsi, Hayretdin; Franke, Ulrik; Langfeldt Friberg, EvenInformation and computer security2020 / p. 54−67 https://doi.org/10.1108/ICS-01-2019-0012 Journal metrics at Scopud Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
50

artikkel ajakirjas EST / artikkel ajakirjas ENG

DASS: Differentiable architecture search for sparse neural networksMousavi, Hamid; Loni, Mohammad; Alibeigi, Mina; Daneshtalab, MasoudACM transactions on embedded computing systems2023 / art. 105, 21 p. : ill https://doi.org/10.1145/3609385 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Kirjeid leitud 279, kuvan 26 - 50

eelmine
1
2
3
4
5
6
7
8
9
10
järgmine

1. tarkvara

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu