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 (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
1142
Look more..
(3/133)
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
801
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
802
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
803
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
804
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
805
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
806
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
807
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
808
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
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
809
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
810
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
811
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
812
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
813
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
814
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
815
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
816
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
817
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
818
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
819
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
820
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
821
journal article EST
/
journal article ENG
Rate-latency optimization for NB-IoT with adaptive resource unit configuration in uplink transmission
Elgarhy, Osama Mohamed Mostafa
;
Reggiani, Luca
;
Malik, Hassan
;
Alam, Muhammad Mahtab
;
Imran, Muhammad Ali
IEEE Systems Journal
2021
/
p. 265 - 276
https://doi.org/10.1109/JSYST.2020.2991073
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
822
journal article EST
/
journal article ENG
Readiness of small energy markets and electric power grids to global health crises: Lessons from the COVID-19 pandemic
Carmon, David
;
Navon, Aviad
;
Machlev, Ram
;
Belikov, Juri
;
Levron, Yoash
IEEE Access
2020
/
art. 9139437, p. 127234−127243
https://doi.org/10.1109/ACCESS.2020.3008929
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
823
journal article EST
/
journal article ENG
Realization of nonlinear input-output equations in controller canonical form
Kaldmäe, Arvo
;
Kotta, Ülle
Kybernetika
2018
/
p. 736-747
https://doi.org/10.14736/kyb-2018-4-0736
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
824
book article EST
/
book article ENG
Real-time localization and visualization of a sound source for virtual reality application
Köse, Ahmet
;
Tepljakov, Aleksei
;
Astapov, Sergei
2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) : Split, Croatia, September 21-23, 2017
2017
/
p 219-224 : ill
https://doi.org/10.23919/SOFTCOM.2017.8115577
Conference proceedings at Scopus
Article at Scopus
book article EST
/
book article ENG
825
journal article EST
/
journal article ENG
Real-time regulation of beam-based feedback : implementing an FPGA solution for a continuous wave linear accelerator
Maalberg, Andrei
;
Kuntzsch, Michael
;
Petlenkov, Eduard
Sensors
2022
/
art. 6236, 22 p. : ill
https://doi.org/10.3390/s22166236
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Improving beam-based regulation for continuous-wave linear accelerators with a disturbance model-based design = Pidevlaine lineaarsete kiirendite kiire põhise reguleerimise täiustamine häiringu mudelil põhineva sünteesi abil
Number of records 1142, displaying
801 - 825
previous
29
30
31
32
33
34
35
36
37
38
next
keyword
126
1.
computer science
2.
computer science basics
3.
computer science education
4.
logic in computer science
5.
computer
6.
computer aided design
7.
computer aided diagnosis
8.
computer aided diagnostics
9.
computer aided instruction
10.
computer aided manufacturing
11.
computer aided testing
12.
computer algebra
13.
computer algebra system
14.
computer and education
15.
computer anxiety
16.
computer architecture
17.
computer assisted language learning
18.
computer based learning
19.
computer circuits
20.
computer control
21.
computer education
22.
computer engineering
23.
computer engineerng
24.
computer game
25.
computer graphics
26.
computer hardware
27.
computer integrated manufacturing
28.
computer network management
29.
computer network operations
30.
computer networks
31.
computer pipelines
32.
computer programming
33.
computer programs
34.
computer security
35.
computer simulation
36.
computer simulation environments
37.
computer simulations
38.
computer software
39.
computer softwaregraph theory
40.
computer systems
41.
computer terminals
42.
computer vision
43.
computer workers
44.
computer-aided anthropometry
45.
computer-aided architectural design (CAAD)
46.
computer‐aided assessment
47.
computer-aided design
48.
computer-aided detection
49.
computer‐aided detection
50.
computer-aided diagnosis
51.
computer-aided drawing (CAD)
52.
computer-aided engineering
53.
computer-aided teaching
54.
Computer-Aided Tuning
55.
computer-aided tuning (CAT)
56.
computer-assisted language learning (CALL)
57.
computer-oriented technologies
58.
computer-supported decision-making
59.
computer-use
60.
control engineering computer applications
61.
distributed computer systems
62.
education in computer engineering
63.
fifth generation computer
64.
gateways (computer networks)
65.
high-performance computer systems
66.
human computer interaction
67.
human computer interaction (HCI)
68.
human-computer interaction
69.
Human-Computer Interaction (HCI)
70.
interactive computer graphics
71.
laptop computer
72.
single board computer
73.
single-board computer
74.
structure computer analysis
75.
ubiquitous computer technology
76.
Web and computer-based learning
77.
applied science
78.
chemistry and philosophy of science
79.
citizen science
80.
classical exact science
81.
computational social science
82.
data science
83.
data-science
84.
design science
85.
design science research
86.
design-science
87.
energy science and technology
88.
engineering pedagogy science
89.
environmental science
90.
ethics of science
91.
exact science
92.
food science
93.
materials science
94.
NATO. Science for Peace and Security Program
95.
non-classical exact science
96.
philosophy of science
97.
physics and philosophy of science
98.
planetary science
99.
political science
100.
popular science literature
101.
post normal science
102.
post-normal science
103.
Q science
104.
science
105.
science advisors
106.
science and arts
107.
science and technology libraries
108.
science and technology parks
109.
science fiction
110.
science gateway
111.
science integration
112.
science mapping
113.
science policy
114.
science technology innovation
115.
Science, Technology and Innovation Policy
116.
science-based industries
117.
science-policy-society interface
118.
Social Science
119.
social science methodology
120.
sustainability science
121.
transdisciplinary science
122.
Web of Science
123.
World Academy of Art and Science (WAAS)
124.
ȹ-science
125.
φ-science
126.
ϕ-science
subject term
6
1.
Estonian Summer School on Computer and Systems Science, 2023
2.
Baltic Computer Systems
3.
National Computer Security Incident Response Teams (N-CSIRTs)
4.
Norwegian University of Science and Technology
5.
The European Federation of Food Science and Technology (EFFoST)
6.
Web of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
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