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
Otsing
Valitud kirjed
0
Computer science. Computational theory and mathematics (kategooria)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
31
Vaata veel..
(2/17)
Ekspordi
ekspordi kõik päringu tulemused
(31)
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
1
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
4
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
5
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
6
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
7
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
8
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
9
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
10
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
11
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
12
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
13
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
14
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
15
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
16
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
17
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas 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
18
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
19
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
20
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
21
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
22
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
23
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
24
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
25
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 31, kuvan
1 - 25
eelmine
1
2
järgmine
võtmesõna
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
märksõna
1
1.
Estonian Summer School on Computer and Systems Science, 2023
×
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