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 (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
1397
Look more..
(1/1)
Export
export all inquiry results
(1000*)
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
976
book article EST
/
book article ENG
Proof theory of skew non-commutative MILL
Uustalu, Tarmo
;
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
2022
/
p. 118-135
https://doi.org/10.4204/EPTCS.358.9
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
977
journal article EST
/
journal article ENG
A proof-theoretic study of bi-intuitionistic propositional sequent calculus
Pinto, Luis
;
Uustalu, Tarmo
Journal of logic and computation
2018
/
p. 165-202
https://doi.org/10.1093/logcom/exx044
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
978
journal article EST
/
journal article ENG
Propagation of bankruptcy risk over scale-free economic networks
Andria, Joseph
;
di Tollo, Giacomo
;
Kalda, Jaan
Entropy
2022
/
art. 1713
https://doi.org/10.3390/e24121713
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
979
journal article EST
/
journal article ENG
ProSe direct discovery : experimental characterization and context-aware heuristic approach to extend public safety networks lifetime
Masood, Ali
;
Alam, Muhammad Mahtab
;
Le Moullec, Yannick
;
Reggiani, Luca
;
Scazzoli, Davide
;
Magarini, Maurizio
;
Ahmad, Rizwan
IEEE Access
2021
/
p. 130055 −130071
https://doi.org/10.1109/ACCESS.2021.3112751
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Implementation and demonstration of a device-to-device communication system for emergency and critical scenarios = Seadmetevahelise sidesüsteemi rakendamine ja demonstreerimine hädaolukorra ja kriitiliste juhtumite jaoks
980
book article EST
/
book article ENG
The prospect of inclusive pedagogy in efficiency-centric governance paradigm : business and entrepreneurship teachers’ perspectives
Niine, Tarvo
;
Küttim, Merle
;
Semm, Kristin
Learning in the Age of Digital and Green Transition : Proceedings of the 25th International Conference on Interactive Collaborative Learning (ICL2022), Volume 2
2023
/
p. 684-694
https://doi.org/10.1007/978-3-031-26190-9_72
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
981
book article EST
/
book article ENG
Prospective research topics towards preserving electronic health records in decentralised content-addressable storage networks
Klementi, Toomas
;
Kankainen, Kristian Juha Ismo
;
Piho, Gunnar
;
Ross, Peeter
HEDA 2022 : The International Health Data Workshop HEDA 2022
2022
/
code 184051
https://ceur-ws.org/Vol-3264/HEDA22_paper_7.pdf
Conference Proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
982
book article EST
/
book article ENG
Public acceptance of advanced identity documents
Kalvet, Tarmo
;
Tiits, Marek
;
Laas-Mikko, Katrin
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 429-432
https://doi.org/10.1145/3209415.3209456
Conference proceedings at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
983
journal article EST
/
journal article ENG
A public dataset for synchronous motor electrical faults diagnosis with CNN and LSTM reference classifiers
Sun, Zhenglong
;
Machlev, Ram
;
Wang, Qianchao
;
Belikov, Juri
;
Levron, Yoash
;
Baimel, Dmitry
Energy and AI
2023
/
art. 100274, 17 p
https://doi.org/10.1016/j.egyai.2023.100274
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
984
book article EST
/
book article ENG
A public, blockchain-based distributed smart-contract platform enabling mobile lite wallets using a proof-of-stake consensus algorithm
Norta, Alexander
;
Dai, Patrick
;
Mahi, Neil
;
Earls, Jordan
Business Information Systems Workshops : BIS 2018 : International Workshops, Berlin, Germany, July 18–20, 2018 : Revised Papers
2019
/
p. 368-380
https://doi.org/10.1007/978-3-030-04849-5_33
Conference proceeding at Scopus
Article at Scopus
Article at WOS
book article EST
/
book article ENG
985
book article EST
/
book article ENG
Purely functional incremental computing
Firsov, Denis
;
Jeltsch, Wolfgang
Programming Languages : 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings
2016
/
p. 62-77 : ill
https://doi.org/10.1007/978-3-319-45279-1_5
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
986
journal article EST
/
journal article ENG
PV-battery assisted three-level T-Type inverter for AC residential nanogrid realized with small-scale HIL units
Gutierrez-Escalona, Javier
;
Roncero-Clemente, Carlos
;
Gonzalez-Romera, Eva
;
Milanes-Montero, Maria Isabel
;
Husev, Oleksandr
;
Romero-Cadaval, Enrique
IEEE Access
2023
/
p. 48007 - 48021
https://doi.org/10.1109/ACCESS.2023.3276235
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
987
journal article EST
/
journal article ENG
Q-Learning based joint energy-spectral efficiency optimization in multi-hop device-to-device communication
Khan, Muhidul Islam
;
Reggiani, Luca
;
Alam, Muhammad Mahtab
;
Le Moullec, Yannick
;
Sharma, Navuday
;
Yaacoub, Elias
;
Magarini, Maurizio
Sensors
2020
/
art. 6692, 23 p.: ill
https://doi.org/10.3390/s20226692
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
988
journal article EST
/
journal article ENG
A QoS optimization approach in cognitive body area networks for healthcare applications
Ahmed, Tauseef
;
Le Moullec, Yannick
Sensors
2017
/
art. 780, p. 1-23 : ill
https://doi.org/10.3390/s17040780
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
989
journal article EST
/
journal article ENG
QoT assessment of the optical spectrum as a service in disaggregated network scenarios
Kaeval, Kaida
;
Fehenberger, Tobias
;
Zou, Jim
;
Jansen, Sander Lars
;
Grobe, Klaus
;
Griesser, Helmut
;
Elbers, Jörg-Peter
;
Tikas, Marko
;
Jervan, Gert
Journal of Optical Communications and Networking
2021
/
art. 9436771, p. E1-E12
https://doi.org/10.1364/JOCN.423530
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Optical spectrum services in Open Disaggregated Transport Networks = Optilise spektri teenused avatud lainepikkustihendus võrkudes
990
journal article EST
/
journal article ENG
Quadratic/linear rational spline histopolation
Hallik, Helle
;
Oja, Peeter
BIT numerical mathematics
2017
/
p. 629-648 : ill
https://doi.org/10.1007/s10543-017-0645-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
991
journal article EST
/
journal article ENG
Quantification of hydrodynamic model sea level bias utilizing deep learning and synergistic integration of data sources
Jahanmard, Vahidreza
;
Hordoir, Robinson
;
Delpeche-Ellmann, Nicole Camille
;
Ellmann, Artu
Ocean modelling
2023
/
art. 102286 : ill., map
https://doi.org/10.1016/j.ocemod.2023.102286
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Developments towards deriving realistic dynamic topography by synergizing high-resolution geoid with sea level data = Merepinna realistliku dünaamilise topograafia saavutamine täppisgeoidi ja meretaseme andmestike kooskasutamisel
992
journal article EST
/
journal article ENG
Quasi-Z source T-type power converter for PV based commercial and industrial nanogrids with active functions strategy
Barrero-Gonzalez, Fermin
;
Roncero-Clemente, Carlos
;
Milanes-Montero, Maria Isabel
;
Gonzalez-Romera, Eva
;
Romero-Cadaval, Enrique
;
Husev, Oleksandr
Electronics
2020
/
art. 1233, 18 p. : ill
https://doi.org/10.3390/electronics9081233
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
993
journal article EST
/
journal article ENG
Query learning-based scheme for pertinent resource lookup in Mobile P2P network
Yeferny, Taoufik
;
Hamad, Sofian
;
Ben Yahia, Sadok
IEEE Access
2019
/
art. 6287639, p. 49059-49068
https://doi.org/10.1109/ACCESS.2019.2910117
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
994
journal article EST
/
journal article ENG
Quotienting the delay monad by weak bisimilarity
Chapman, James
;
Uustalu, Tarmo
;
Veltri, Niccolo
Mathematical structures in computer science
2019
/
p. 67-92
https://doi.org/10.1017/s0960129517000184
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
995
journal article EST
/
journal article ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Theoretical Computer Science
2022
/
p. 33-45
https://doi.org/10.1016/j.tcs.2022.02.023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
996
book article EST
/
book article ENG
Quotients and atoms of reversible languages
Tamm, Hellis
Formal Methods : FM 2019 International Workshops, Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II
2020
/
p. 443-455
https://doi.org/10.1007/978-3-030-54997-8_28
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
997
journal article EST
/
journal article ENG
Radio resource management in NB-IoT systems : empowered by interference prediction and flexible duplexing
Malik, Hassan
;
Alam, Muhammad Mahtab
;
Pervaiz, Haris
;
Moullec, Yannick Le
;
Al-Dulaimi, Anwer
;
Pärand, Sven
;
Reggiani, Luca
IEEE Network
2020
/
Art. nr. 8839971
https://doi.org/10.1109/MNET.001.1900087
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
998
journal article EST
/
journal article ENG
Radio resource management scheme in NB-IoT systems
Malik, Hassan
;
Pervaiz, Haris
;
Alam, Muhammad Mahtab
;
Le Moullec, Yannick
;
Kuusik, Alar
;
Imran, Muhammad Ali
IEEE Access
2018
/
p. 15051-15064 : ill
https://doi.org/10.1109/ACCESS.2018.2812299
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
999
book article EST
/
book article ENG
Random forests hydrodynamic flow classification in a vertical slot fishway using a bioinspired artificial lateral line probe
Fukuda, Shinji
;
Tuhtan, Jeffrey Andrew
;
Fuentes-Pérez, Juan Francisco
;
Schletterer, Martin
;
Kruusmaa, Maarja
Intelligent Robotics and Applications : 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016 : proceedings. Part II
2016
/
P. 297-307 : ill
https://doi.org/10.1007/978-3-319-43518-3_29
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
book article EST
/
book article ENG
1000
journal article EST
/
journal article ENG
Ransomware attack as Hardware Trojan : a feasibility and demonstration study
Almeida, Felipe
;
Imran, Malik
;
Raik, Jaan
;
Pagliarini, Samuel Nascimento
IEEE Access
2022
/
p. 44827-44839
https://doi.org/10.1109/ACCESS.2022.3168991
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1397, displaying
976 - 1000
previous
36
37
38
39
40
41
42
43
44
45
next
subject term
1
1.
arvutiteadus
×
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