Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
Arvutiteadus (category)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TalTech subject term
TalTech department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1888
Look more..
(1/1)
Export
export all inquiry results
(1000*)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
176
journal article EST
/
journal article ENG
Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDs
Jürimägi, Lembit
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Raik, Jaan
Microprocessors and microsystems
2020
/
art. 103117, 12 p
https://doi.org/10.1016/j.micpro.2020.103117
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
177
book article EST
/
book article 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
book article EST
/
book article ENG
178
book article EST
/
book article 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
book article EST
/
book article ENG
179
book article EST
/
book article 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
book article EST
/
book article ENG
180
book article EST
/
book article ENG
Can K-12 students learn how to program with just two hours?
Umbleja, Kadri
Learning Technology for Education in Cloud : The Changing Face of Education : 5th International Workshop, LTEC 2016, Hagen, Germany, July 25-28, 2016 : proceedings
2016
/
p. 250-264 : ill
https://doi.org/10.1007/978-3-319-42147-6_21
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
181
book article EST
/
book article 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
book article EST
/
book article ENG
Related publications
1
Monoidal context theory = Monoidiliste kontekstide teooria
182
book article EST
/
book article 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
book article EST
/
book article ENG
183
book article EST
/
book article ENG
Capacity building in government : towards developing a standard for a functional specialist in AI for public services
Labanava, Alena
;
Dreyling III, 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
book article EST
/
book article ENG
184
book article EST
/
book article 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
book article EST
/
book article ENG
185
book article EST
/
book article 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
book article EST
/
book article ENG
186
book article EST
/
book article 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
book article EST
/
book article ENG
187
book article EST
/
book article 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
book article EST
/
book article ENG
188
book article EST
/
book article 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
Transactions on Petri Nets and Other Models of Concurrency XVII
2024
/
p. 138 - 161
https://doi.org/10.1007/978-3-662-68191-6_6
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
189
book article EST
/
book article ENG
Case study: Collaborative learning in higher education - Insights from the Big 5 Personality Traits (OCEAN Model) and problem-based learning
Raamets, Jane
Futureproofing Engineering Education for Global Responsibility : Proceedings of the 27th International Conference on Interactive Collaborative Learning (ICL 2024) ; vol. 1
2025
/
p. 104-109
https://doi.org/10.1007/978-3-031-85652-5_11
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
190
book article EST
/
book article 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
book article EST
/
book article ENG
191
book article EST
/
book article ENG
Categorical semantics for functional reactive programming with temporal recursion and corecursion
Jeltsch, Wolfgang
Proceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 2014
2014
/
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
192
book article EST
/
book article 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
book article EST
/
book article ENG
193
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Complexity of human ovarian folliculogenesis : molecular markers of ovarian-based infertility and the impact of endocrine-disrupting chemicals = Inimese munasarja follikulogeneesi keerukus : munasarjapõhise viljatuse molekulaarsed markerid ja endokriinsüsteemi mõjutavate kemikaalide toime
194
book article EST
/
book article 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
book article EST
/
book article ENG
195
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
196
book article EST
/
book article ENG
Certified parsing of regular languages
Firsov, Denis
;
Uustalu, Tarmo
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
2013
/
p. 98 - 113
https://doi.org/10.1007/978-3-319-03545-1_7
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
197
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
198
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
199
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
200
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Number of records 1888, displaying
176 - 200
previous
4
5
6
7
8
9
10
11
12
13
next
subject term
1
1.
arvutiteadus
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT