Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
Arvutiteadus (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1149
Vaata veel..
(1/1)
Ekspordi
ekspordi kõik päringu tulemused
(1000*)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
101
artikkel kogumikus EST
/
artikkel kogumikus ENG
Calculational proofs in relational graphical linear algebra
Paixao, Joao
;
Sobocinski, Pawel Maria
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
2020
/
p. 83-100
https://doi.org/10.1007/978-3-030-63882-5_6
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
102
artikkel kogumikus EST
/
artikkel kogumikus ENG
CALL-technolgy based approach to control acquisition of foreign language skills
Nymm, Voldemar
;
Piotrowska, Xenia
;
Nõmm, Sven
;
Ronzhin, Andrey
Proceedings of the III International Conference on Language Engineering and Applied Linguistics (PRLEAL-2019), Saint Petersburg, Russia, November 27, 2019
2020
/
art. 157532, p. 200-210
http://ceur-ws.org/Vol-2552/Paper16.pdf
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
103
artikkel kogumikus EST
/
artikkel kogumikus ENG
Can I have a Mooc2Go, please? On the viability of mobile vs. stationary learning
Zhao, Yue
;
Robal, Tarmo
;
Lofi, Christoph
;
Hauff, Claudia
Lifelong Technology-Enhanced Learning : 13th European Conference on Technology Enhanced Learning : EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings
2018
/
p. 101-115 : ill
https://doi.org/10.1007/978-3-319-98572-5_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
104
artikkel kogumikus EST
/
artikkel kogumikus ENG
A canonical algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
2021
/
p. 63-81
https://doi.org/10.1007/978-3-030-90636-8_4
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
105
artikkel kogumikus EST
/
artikkel kogumikus ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
106
artikkel kogumikus EST
/
artikkel kogumikus ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling, Richard Michael
;
Mortati, Marzia
;
Liiv, Innar
;
Pappel, Ingrid
Future Data and Security Engineering : Big Data, Security and Privacy, Smart City and Industry 4.0 Applications : 9th International Conference, FDSE 2022, Ho Chi Minh City, Vietnam, November 23-25, 2022 : proceedings
2022
/
p. 503-516
https://doi.org/10.1007/978-981-19-8069-5_34
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
107
artikkel kogumikus EST
/
artikkel kogumikus ENG
Carroll diagrams : design and manipulation
Moktefi, Amirouche
Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings
2018
/
p. 32-35 : ill
https://doi.org/10.1007/978-3-319-91376-6_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
108
artikkel kogumikus EST
/
artikkel kogumikus ENG
A case for modern build automation for intelligent systems
Grunewald, Alexander
;
Lange, Moritz
;
Tran, Kim Chi
;
Astrova, Irina
Intelligent Systems and Applications : proceedings of the 2022 Intelligent Systems Conference (IntelliSys). Volume 1
2023
/
p. 789-799
https://doi.org/10.1007/978-3-031-16072-1_56
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
109
artikkel kogumikus EST
/
artikkel kogumikus ENG
Case study in experiential learning - from chaos to order: sensemaking with the interactive timeline tool in architecture and civil engineering studies
Nutt, Nele
;
Salmistu, Sirle
;
Meitl, Cassi
;
Karu, Katrin
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 1300-1311
https://doi.org/10.1007/978-3-030-68198-2_8
Article collection metrics at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
110
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
Bende, Philipp
;
Vovk, Olga
;
Caraveo, David
;
Pechmann, Ludwig
;
Leucker, Martin
HEDA 2022 : Proceedings of the International Health Data Workshop, co-located with 10th International Conference on Petrinets, Petri Nets 2022
2022
/
p. 1-13
https://ceur-ws.org/Vol-3264/HEDA22_paper_3.pdf
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
111
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
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
112
artikkel kogumikus EST
/
artikkel kogumikus ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
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
113
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Cellular, extracellular and extracellular vesicular miRNA profiles of pre-ovulatory follicles indicate signaling disturbances in polycystic ovaries
Rooda, Ilmatar
;
Hasan, Mohammed Mehedi
;
Roos, Kristine
;
Viil, Janeli
;
Smolander, Olli-Pekka
;
Velthut-Meikas, Agne
International journal of molecular sciences
2020
/
art. 9550, 23 p. : ill
https://doi.org/10.3390/ijms21249550
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
114
artikkel kogumikus EST
/
artikkel kogumikus ENG
Certified Foata normalization for generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
NASA Formal Methods Symposium : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings
2018
/
p. 299-314
https://doi.org/10.1007/978-3-319-77935-5_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
115
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
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
116
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges and perspectives in control of ionic polymer-metal composite (IPMC) actuators : a survey
Aabloo, Alvo
;
Belikov, Juri
;
Kaparin, Vadim
;
Kotta, Ülle
IEEE Access
2021
/
art. 9133056, p. 121059-121073
https://doi.org/10.1109/ACCESS.2020.3007020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
117
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges and perspectives of nature-based wastewater treatment and reuse in rural areas of Central and Eastern Europe
Istenič, Darja
;
Bodík, Igor
;
Merisaar, Maret
;
Gajewska, Magdalena
;
Šereš, Michal
;
Griessler Bulc, Tjaša
Sustainability (Switzerland)
2023
/
art. 8145
https://doi.org/10.3390/su15108145
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
118
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges and strategies for bio-based and biodegradable plastic waste management in Europe
Stasiškienė, Žaneta
;
Barbir, Jelena
;
Draudvilienė, Lina
;
Chong, Zhi Kai
;
Kuchta, Kerstin
;
Voronova, Viktoria
;
Leal Filho, Walter
Sustainability (Switzerland)
2022
/
art. 16476
https://doi.org/10.3390/su142416476
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
119
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges of active learning in a view of integrated engineering education
Vodovozov, Valery
;
Raud, Zoja
;
Petlenkov, Eduard
Education Sciences
2021
/
art. 43
https://doi.org/10.3390/educsci11020043
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
120
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Challenges of applying e-learning in the libyan higher education system
Ghawail, Entisar Alhadi Al
;
Ben Yahia, Sadok
;
Alrshah, Mohamed A.
International journal of advanced trends in computer science and engineering
2019
/
p. 38-43 : ill
https://doi.org/10.30534/ijatcse/2019/0681.42019
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
121
artikkel kogumikus EST
/
artikkel kogumikus ENG
Challenges of teaching programming in StackOverflow era
Pöial, Jaanus
Educating Engineers for Future Industrial Revolutions : Proceedings of the 23rd International Conference on Interactive Collaborative Learning (ICL2020). Volume 1
2021
/
p. 703-710
https://doi.org/10.1007/978-3-030-68198-2_65
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
122
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A chameleon algorithm for solving economic dispatch problem in microgrid system
Zahraoui, Younes
;
Alhamrouni, Ibrahim
;
Mekhilef, Saad
;
Korõtko, Tarmo
;
Jusoh, Awang
;
Sutikno, Tole
Bulletin of electrical engineering and informatics
2023
/
p. 1982-1992
https://doi.org/10.11591/eei.v12i4.4700
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
123
artikkel kogumikus EST
/
artikkel kogumikus ENG
Changes in EEG measures of a recipient of the mRNA COVID-19 vaccine - a case study
Uudeberg, Tuuli
;
Hinrikus, Hiie
;
Päeske, Laura
;
Lass, Jaanus
;
Bachmann, Maie
2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)
2022
/
p. 3702-3705
https://doi.org/10.1109/EMBC48229.2022.9871524
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
124
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Channel characterization at 2.4 GHz for aerial base station
Sharma, Navuday
;
Magarini, Maurizio
;
Reggiani, Luca
;
Alam, Muhammad Mahtab
Procedia computer science
2019
/
p. 1092-1099
https://doi.org/10.1016/j.procs.2019.04.155
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
125
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Characterization of Amenable Groups by Besicovitch Pseudodistances
Capobianco, Silvio
;
Guillon, Pierre
Cellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings
2020
/
p. 99-110
https://doi.org/10.1007/978-3-030-61588-8_8
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1149, kuvan
101 - 125
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
märksõna
1
1.
arvutiteadus
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT