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
Searching
My bookmarks
0
Computer science. Computational theory and mathematics (category)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
28
Look more..
(2/17)
Export
export all inquiry results
(28)
Save TXT fail
Save PDF 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
1
journal article EST
/
journal article ENG
Analyzing meta-heuristic algorithms for task scheduling in a fog-based IoT application
Rahbari, Dadmehr
Algorithms
2022
/
art. 397
https://doi.org/10.3390/a15110397
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
journal article EST
/
journal article ENG
Artificial lateral line for aquatic habitat modelling: An example for Lefua echigonia
Garcia-Vega, Ana
;
Fuentes-Perez, Juan Francisco
;
Fukuda, Shinji
;
Kruusmaa, Maarja
;
Sanz-Ronda, Francisco Javier
;
Tuhtan, Jeffrey Andrew
Ecological Informatics
2021
/
art. 101388
https://doi.org/10.1016/j.ecoinf.2021.101388
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
3
journal article EST
/
journal article ENG
Bialgebraic foundations for the operational semantics of string diagrams
Bonchi, Filippo
;
Piedeleu, Robin
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Information and computation
2021
/
art. 104767, 22 p
https://doi.org/10.1016/j.ic.2021.104767
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
4
journal article EST
/
journal article ENG
Correction to: Implementation and evaluation of the DAOM framework and support tool for designing blockchain decentralized applications (International Journal of Information Technology, (2021), 13, 6, (2245-2263), 10.1007/s41870-021-00816-6)
Udokwu, Chibuzor
;
Brandtner, Patrick
;
Norta, Alexander
;
Kormiltsõn, Aleksandr
;
Matulevičius, Raimundas
International Journal of Information Technology (Singapore)
2022
https://doi.org/10.1007/s41870-022-01026-4
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
5
journal article EST
/
journal article ENG
Design concept and microarchitecture of network-on-chip with best-effort and guaranteed-throughput services
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, informationand control
2019
/
p. 305–319 : ill
https://doi.org/10.24507/ijicic.15.01.305
http://www.ijicic.net/
http://www.ijicic.net/servlet/Download?contentID=CONT5b67c7cbc23142feade914ceeabbdf4d
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
6
journal article EST
/
journal article ENG
Environmentally adaptive fish or no-fish classification for river video fish counters using high-performance desktop and embedded hardware
Soom, Jürgen
;
Pattanaik, Vishwajeet
;
Leier, Mairo
;
Tuhtan, Jeffrey Andrew
Ecological Informatics
2022
/
art. 101817, 14 p. : ill
https://doi.org/10.1016/j.ecoinf.2022.101817
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
7
journal article EST
/
journal article ENG
Formalizing CCS and π-calculus in Guarded Cubical Agda
Veltri, Niccolo
;
Vezzosi, Andrea
Journal of logical and algebraic methods in programming
2023
/
art. 100846
https://doi.org/10.1016/j.jlamp.2022.100846
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
8
journal article EST
/
journal article ENG
Genome-scale metabolic modeling reveals metabolic trade-offs associated with lipid production in Rhodotorula toruloides
Reķena, Alina
;
Pinheiro, Marina J.
;
Bonturi, Nemailla
;
Belouah, Isma
;
Tammekivi, Eliise
;
Herodes, Koit
;
Kerkhoven, Eduard J.
;
Lahtvee, Petri-Jaan
PLoS computational biology
2023
/
art. e1011009
https://doi.org/10.1371/journal.pcbi.1011009
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
9
journal article EST
/
journal article ENG
Hardware-in-the-Loop test of an open loop fuzzy control method for decoupled electro-hydraulic antilock braking system
Aksjonov, Andrei
;
Ricciardi, Vincenzo
;
Augsburg, Klaus
;
Vodovozov, Valery
;
Petlenkov, Eduard
IEEE transactions on fuzzy systems
2020
/
p. 965-975: ill
https://doi.org/10.1109/TFUZZ.2020.2965868
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
10
journal article EST
/
journal article ENG
High-level axioms for graphical linear algebra
Paixao, Joao
;
Rufino, Lucas
;
Sobocinski, Pawel Maria
Science of computer programming
2022
/
art. 102791 ; 26 p
https://doi.org/10.1016/j.scico.2022.102791
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
11
journal article EST
/
journal article ENG
Implementation and evaluation of the DAOM framework and tool support for designing blockchain decentralized applications
Udokwu, Chibuzor
;
Brandtner, Patrick
;
Norta, Alexander
;
Kormiltsyn, Alexandr
;
Matulevičius, Raimundas
International journal of law and information technology
2021
/
p. 2245−2263 : ill
https://doi.org/10.1007/s41870-021-00816-6
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
12
journal article EST
/
journal article ENG
IOCBIO Kinetics : an open-source software solution for analysis of data traces
Vendelin, Marko
;
Laasmaa, Martin
;
Kalda, Mari
;
Branovets, Jelena
;
Karro, Niina
;
Barsunova, Karina
;
Birkedal Nielsen, Rikke
PLoS computational biology
2020
/
art. e1008475
https://doi.org/10.1371/journal.pcbi.1008475
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
13
journal article EST
/
journal article ENG
Large-scale commonsense knowledge for default logic reasoning
Järv, Priit
;
Tammet, Tanel
;
Verrev, Martin
;
Draheim, Dirk
SN Computer Science
2023
/
art. 550
https://doi.org/10.1007/s42979-023-01963-2
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
14
journal article EST
/
journal article ENG
Leveraging the first line of defense : a study on the evolution and usage of android security permissions for enhanced android malware detection
Guerra Manzanares, Alejandro
;
Luckner, Marcin
;
Bahsi, Hayretdin
Journal of Computer Virology and Hacking Techniques
2022
/
32 p. : ill
https://doi.org/10.1007/s11416-022-00432-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Machine learning-based detection and characterization of evolving threats in mobile and IoT Systems = Masinõppepõhine arenevate ohtude tuvastamine ning kirjeldamine mobiilseadmete ja värkvõrkude jaoks
15
book article EST
/
book article ENG
Machine learning techniques for wireless-powered ambient backscatter communications : enabling intelligent iot networks in 6g era
Jameel, Furqan
;
Sharma, Navuday
;
Khan, Muhammad Awais
;
Khan, Imran
;
Alam, Muhammad Mahtab
;
Alam, Muhammad Mahtab
;
Mavromoustakis, Constandinos X.
Internet of Things
/
2020
https://doi.org/10.1007/978-3-030-44907-0_8
Article collection metrics at Scopus
Article at Scopus
book article EST
/
book article ENG
16
journal article EST
/
journal article ENG
Multi-loop model reference proportional integral derivative controls: design and performance evaluations
Alagoz, Baris Baykant
;
Tepljakov, Aleksei
;
Petlenkov, Eduard
;
Yeroglu, Celaleddin
Algorithms
2020
/
26 p. : ill
https://doi.org/10.3390/a13020038
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
17
journal article EST
/
journal article ENG
A NARX model reference adaptive control scheme: Improved disturbance rejection fractional-order PID control of an experimental magnetic levitation system
Alimohammadi, Hossein
;
Alagoz, Baris Baykant
;
Tepljakov, Aleksei
;
Vassiljeva, Kristina
;
Petlenkov, Eduard
Algorithms
2020
/
p. 1-27
https://doi.org/10.3390/a13080201
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
18
journal article EST
/
journal article ENG
Network-on-Chip with equality-of-service : a local fair runtime arbitration method for global fair bandwidth share
Samman, Faizal
;
Hollstein, Thomas
International journal of innovative computing, information and control
2019
/
p. 1821−1834
http://www.ijicic.net/servlet/Download?contentID=CONT34590d01977b424ea4f1cdfbb4c8c264
https://doi.org/10.24507/ijicic.15.05.1821
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
19
journal article EST
/
journal article ENG
A novel imbalanced data classification approach for suicidal ideation detection on social media
Ben Hassine, Mohamed Ali
;
Abdellatif, Safa
;
Ben Yahia, Sadok
Computing
2022
/
p. 741-765 : ill
https://doi.org/10.1007/s00607-021-00984-0
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
20
journal article EST
/
journal article ENG
An open 3D CFD model for the investigation of flow environments experienced by freshwater fish
Khan, Ali Hassan
;
Hussmann, Karla Ruiz
;
Powalla, Dennis
;
Hoerner, Stefan
;
Kruusmaa, Maarja
;
Tuhtan, Jeffrey Andrew
Ecological Informatics
2022
/
art. 101652, 12 p. : ill
https://doi.org/10.1016/j.ecoinf.2022.101652
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
21
journal article EST
/
journal article ENG
Operational semantics with semicommutations
Maarand, Hendrik
;
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2021
/
art. 100677, 27 p
https://doi.org/10.1016/j.jlamp.2021.100677
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
22
journal article EST
/
journal article ENG
Parkinson's disease diagnostics based on the analysis of digital sentence writing test
Netšunajev, Aleksei
;
Nõmm, Sven
;
Toomela, Aaro
;
Medijainen, Kadri
;
Taba, Pille
Vietnam journal of computer science
2021
/
p. 493-512
https://doi.org/10.1142/S2196888821500238
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
23
journal article EST
/
journal article ENG
Pavement defect segmentation in orthoframes with a pipeline of three convolutional neural networks
Lõuk, Roland
;
Riid, Andri
;
Pihlak, Rene
;
Tepljakov, Aleksei
Algorithms
2020
/
art. 198, 27 p. : ill
https://doi.org/10.3390/a13080198
Journal metrics at scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
24
journal article EST
/
journal article ENG
Plotkin's call-by-value λ-calculus as a modal calculus
Espírito Santo, José
;
Pinto, Luis
;
Uustalu, Tarmo
Journal of Logical and Algebraic Methods in Programming
2022
/
art. 100775, 17 p
https://doi.org/10.1016/j.jlamp.2022.100775
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
25
journal article EST
/
journal article ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
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
Number of records 28, displaying
1 - 25
previous
1
2
next
keyword
16
1.
computational mathematics
2.
computational social science
3.
computer softwaregraph theory
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
Cognitive Mathematics
9.
foundations of mathematics
10.
Husserl and Peirce and the goals of mathematics
11.
mathematics
12.
mathematics and computing
13.
mathematics students learning habits
14.
matrix (mathematics)
15.
philosophy of mathematics
16.
univalent mathematics
subject term
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT