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
Arvutiteadus. Arvutusteooria ja matemaatika (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
35
Look more..
(3/51)
Export
export all inquiry results
(35)
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
Abstract categorical semantics for resourceful functional reactive programming
Jeltsch, Wolfgang
Journal of logical and algebraic methods in programming
2016
/
p. 1177-1200 : ill
https://doi.org/10.1016/j.jlamp.2016.07.001
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
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
3
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
4
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
5
journal article EST
/
journal article ENG
Computing sorted subsets for data processing in communicating software/hardware control systems
Sklyarov, Valery
;
Skliarova, Iouliia
;
Rjabov, Artjom
;
Sudnitsõn, Aleksander
International journal of computers communications & control
2016
/
p. 126-141 : ill
https://doi.org/10.15837/ijccc.2016.1.1442
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
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
7
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
8
journal article EST
/
journal article ENG
A divertimento on MonadPlus and nondeterminism
Uustalu, Tarmo
Journal of logical and algebraic methods in programming
2016
/
p. 1086-1094 : ill
https://doi.org/10.1016/j.jlamp.2016.06.004
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
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
10
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
11
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
12
journal article EST
/
journal article ENG
Guest editors' foreword
Uustalu, Tarmo
;
Vain, Jüri
Journal of logical and algebraic methods in programming
2016
/
p. 1109
https://doi.org/10.1016/j.jlamp.2016.10.004
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
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
14
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
15
journal article EST
/
journal article ENG
High-performance information processing in distributed computing systems
Sklyarov, Valery
;
Rjabov, Artjom
;
Skliarova, Iouliia
;
Sudnitsõn, Aleksander
International journal of innovative computing, information and control
2016
/
p. 139-160 : ill
https://www.researchgate.net/publication/297047447_High-performance_information_processing_in_distributed_computing_systems
Journal metrics at Scopus
Article at Scopus
journal article EST
/
journal article ENG
16
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
;
Kormiltsõn, Aleksandr
;
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
17
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
18
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
19
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
20
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
21
journal article EST
/
journal article ENG
Modelling anisotropy in non-oriented electrical steel sheet using vector Jiles-Atherton model
Upadhaya, Brijesh
;
Martin, Floran
;
Rasilo, Paavo
;
Handgruber, Paul
;
Belahcen, Anouar
;
Arkkio, Antero
COMPEL : The international journal for computation and mathematics in electrical and electronic engineering
2017
/
p. 764-773 : ill
https://doi.org/10.1108/COMPEL-09-2016-0399
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
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
23
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
24
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
25
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
Number of records 35, displaying
1 - 25
previous
1
2
next
subject term
44
1.
arvutiteadus
2.
bifurkatsioon (matemaatika)
3.
determinandid (matemaatika)
4.
diskreetne matemaatika
5.
Eesti Matemaatika Selts
6.
fuktsioonid (matemaatika)
7.
funktsioonid (matemaatika)
8.
harmooniline analüüs (matemaatika)
9.
hulgateooria (matemaatika)
10.
hüperboolid (matemaatika)
11.
intuitsionism (matemaatika)
12.
isomorfismid (matemaatika)
13.
juhukõnd (matemaatika)
14.
kategooriad (matemaatika)
15.
kongruentsid (matemaatika)
16.
konstruktiivne matemaatika
17.
korpused (matemaatika)
18.
kuju (matemaatika)
19.
kujutused (matemaatika)
20.
kõrgem matemaatika
21.
maatriksid (matemaatika)
22.
matemaatika
23.
moodulid (matemaatika)
24.
omaväärtused (matemaatika)
25.
paraboolid (matemaatika)
26.
pidevus (matemaatika)
27.
pii (matemaatika)
28.
piirväärtused (matemaatika)
29.
poolrühmad (matemaatika)
30.
puud (matemaatika)
31.
read (matemaatika)
32.
ringid (matemaatika)
33.
rühmad (matemaatika)
34.
seosed (matemaatika)
35.
Tallinna Tehnikaülikool. Matemaatika-loodusteaduskond
36.
tasand (matemaatika)
37.
tuletised (matemaatika)
38.
valemid (matemaatika)
39.
võred (matemaatika)
40.
väljad (matemaatika)
41.
väljateooria (matemaatika)
42.
Eesti NSV Teaduste Akadeemia. Füüsika- Matemaatika- ja Tehnikateaduste Osakond
43.
Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Nõukog
44.
Eesti NSV Teaduste Akadeemia. Füüsika-Matemaatika- ja Tehnikateaduste Osakond
TTÜ department
4
1.
matemaatika ja mehaanika kateeder
2.
matemaatika ja teoreetilise mehaanika kateeder
3.
matemaatika kateeder
4.
matemaatika-loodusteaduskond
author
3
1.
Tartu Riiklik Ülikool, Matemaatika- ja Füüsikakool
2.
Tallinna Polütehniline Instituut, matemaatika kateeder
3.
Tallinna Polütehniline Instituut, vastuvõtukomisjon, matemaatika kateeder
×
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