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. Software (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
233
Vaata veel..
(3/215)
Ekspordi
ekspordi kõik päringu tulemused
(233)
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
Achieving of Magnus effect with Agros Suite
Lukin, Aleksandr
;
Demidova, Galina
;
Rassõlkin, Anton
Periodica polytechnica electrical engineering and computer science
2021
/
p. 131-137 : ill
https://doi.org/10.3311/PPee.17743
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
3
artikkel kogumikus EST
/
artikkel kogumikus ENG
Addressing scalability issues in semantics-driven recommender systems
Bendouch, Mounir M.
;
Frasincar, Flavius
;
Robal, Tarmo
WI-IAT '21: IEEE/WIC/ACM International Conference on Web Intelligence
2021
/
p. 56-63
https://doi.org/10.1145/3486622.3493963
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
4
artikkel kogumikus EST
/
artikkel kogumikus ENG
Administrative burden reduction over time : literature review, trends and gap analysis
Meyerhoff Nielsen, Morten
;
Goncalves Veiga, Linda
;
Carvalho, Nuno Ramos
;
Barbosa, Luis Soares
ICEGOV '17 : proceedings of the 10th International Conference on Theory and Practice of Electronic Governance : New Delhi AA, India, March 7-9, 2017
2017
/
p. 140-148
https://doi.org/10.1145/3047273.3047334
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
5
artikkel kogumikus EST
/
artikkel kogumikus ENG
Analysis of keyword spotting performance across IARPA Babel languages
Hartmann, William
;
Karakos, Damianos
;
Hsiao, Roger
;
Zhang, Le
;
Alumäe, Tanel
;
Tsakalidis, Stavros
;
Schwartz, Richard
2017 IEEE International Conference on Acoustics, Speech, and Signal Processing : proceedings : March 5-9, 2017, Hilton New Orleans Riverside, New Orleans, Louisiana, USA
2017
/
p. 5765-5769 : ill
https://doi.org/10.1109/ICASSP.2017.7953261
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
6
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Anomaly detection, classification and identification Tool (ADCIT)
Asefi, Sajjad
;
Mitrovic, Mile
;
Cetenovic, Dragan
;
Levi, Victor
;
Gryazina, Elena
;
Terzija, Vladimir
Software impacts
2023
/
art. 100465, 3 p. : ill
https://doi.org/10.1016/j.simpa.2023.100465
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
Anti-money laundering powered by graph machine learning: 'Show me your friends and I will tell you who you are'
Astrova, Irina
Intelligent decision technologies
2023
/
p. 243-261
https://doi.org/10.3233/IDT-220193
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
Audiovisual emotion recognition in wild
Avots, Egils
;
Sapinski, Tomasz
;
Bachmann, Maie
;
Kaminska, Dorota
Machine Vision and Applications
2019
/
p. 975–985 : ill
https://doi.org/10.1007/s00138-018-0960-9
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
Augmented reality based on Apollo lunar imagery : searching for stars and adding virtual objects
Pustõnski, Vladislav-Venjamin
Presence : virtual and augmented reality
2022
/
p. 203-227
https://doi.org/10.1162/pres_a_00393
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
An automated method for mining high-quality assertion sets
Heidari Iman, Mohammad Reza
;
Raik, Jaan
;
Jenihhin, Maksim
;
Jervan, Gert
;
Ghasempouri, Tara
Microprocessors and microsystems
2023
/
art. 104773
https://doi.org/10.1016/j.micpro.2023.104773
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
11
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Automatic calibration toolbox for SWMM5
Vassiljev, Anatoli
;
Suits, Kristjan
;
Kaur, Katrin
;
Kändler, Nils
;
Truu, Murel
;
Annus, Ivar
Advances in engineering software
2023
/
art. 103528
https://doi.org/10.1016/j.advengsoft.2023.103528
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
Backstepping-based output feedback boundary control for coupled fractional reaction-diffusion systems
Zhuang, Bo
;
Cui, Bao-Tong
;
Lou, Xu-Yang
;
Chen, Juan
Zidonghua Xuebao/Acta Automatica Sinica
2022
/
p. 2729 - 2743
https://doi.org/10.16383/j.aas.c190389
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
13
artikkel kogumikus EST
/
artikkel kogumikus ENG
Bicategories of automata, automata in bicategories
Boccali, Guido
;
Laretto, Andrea
;
Loregian, Fosco
;
Luneia, Stefano
6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 2023
2023
/
p. 1-19
https://doi.org/10.4204/EPTCS.397.1
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
14
artikkel kogumikus EST
/
artikkel kogumikus ENG
Big data analytics in association rule mining : a systematic literature review
Shahin, Mahtab
;
Arakkal Peious, Sijo
;
Sharma, Rahul
;
Kaushik, Minakshi
;
Ben Yahia, Sadok
;
Shah, Syed Attique
;
Draheim, Dirk
BDET 2021: 2021 the 3rd International Conference on Big Data Engineering and Technology (BDET) : proceedings
2021
/
p. 40-49
https://doi.org/10.1145/3474944.3474951
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Efficient and effective association rule mining on big data and cloud technology : a multifaceted analysis = Tõhus ja efektiivne assotsiatsioonireeglite kaevandamine suurandmetel ja pilvetehnoloogial : mitmekülgne analüüs
15
artikkel kogumikus EST
/
artikkel kogumikus ENG
Boolean automata and atoms of regular languages
Tamm, Hellis
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia : proceedings
2021
/
art. 86, p. 86:1–86:13
https://doi.org/10.4230/LIPIcs.MFCS.2021.86
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
16
artikkel kogumikus EST
/
artikkel kogumikus ENG
Bringing innovation towards efficient policy-making in ICT-enabled service provision for senior citizens
Liutkevicius, Merilin
;
Gelashvili, Teona
;
Pappel, Ingrid
Proceedings of the 14th International Conference on Theory and Practice of Electronic Governance (ICEGOV 2021), 6 - 8 October 2021, Athens, Greece
2022
/
p. 97-103
https://doi.org/10.1145/3494193.3494207
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
17
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Building global societies on collective intelligence : challenges and opportunities
Suran, Shweta
;
Pattanaik, Vishwajeet
;
Kurvers, Ralf
;
Hallin, Carina Antonia
;
De Liddo, Anna
;
Krimmer, Robert Johannes
;
Draheim, Dirk
Digital government : research and practice
2022
/
art. 31, p. 1-6
https://doi.org/10.1145/3568169
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
18
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A cache-based approach toward improved scheduling in fog computing
Khan, Osama Amir
;
Malik, Saif Ur Rehman
;
Baig, Faizan M.
;
Islam, Saif Ul
;
Pervaiz, Haris
;
Malik, Hassan
;
Ahmed, Syed Hassan
Software - Practice and Experience
2021
/
p. 2360 - 2372
https://doi.org/10.1002/spe.2824
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
19
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Calculation of probabilistic testability measures for digital circuits with Structurally Synthesized BDDs
Jürimägi, Lembit
;
Ubar, Raimund-Johannes
;
Jenihhin, Maksim
;
Raik, Jaan
Microprocessors and microsystems
2020
/
art. 103117, 12 p
https://doi.org/10.1016/j.micpro.2020.103117
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
20
artikkel kogumikus EST
/
artikkel kogumikus ENG
Canonical gradings of monads
Breuvart, Flavien
;
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
2023
/
p. 1-21
https://doi.org/10.4204/eptcs.380.1
https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
21
artikkel kogumikus EST
/
artikkel kogumikus ENG
A Categorical semantics for bounded Petri Nets
Genovese, Fabrizio
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 2021
2021
/
15 p
https://doi.org/10.48550/arXiv.2101.09100
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
22
artikkel kogumikus EST
/
artikkel kogumikus ENG
A categorical semantics for hierarchical Petri Nets
Genovese, Fabrizio
;
Herold, Jelle
;
Loregian, Fosco
;
Palombi, Daniele
Proceedings Twelfth International Workshop on Graph Computational Models, Online, 22nd June 2021
2021
/
p. 51−68
https://doi.org/10.48550/arXiv.2102.00096
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
23
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Certified normalization of generalized traces
Maarand, Hendrik
;
Uustalu, Tarmo
Innovations in Systems and Software Engineering
2019
/
p. 253–265
https://doi.org/10.1007/s11334-019-00347-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
24
artikkel kogumikus EST
/
artikkel kogumikus ENG
Citizen-oriented digital transformation in the public sector
Mergel, Ines
;
Kattel, Rainer
;
Lember, Veiko
;
McBride, Keegan David Braun
dg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 2018
2018
/
art. 122, 3 p
https://doi.org/10.1145/3209281.3209294
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
25
artikkel kogumikus EST
/
artikkel kogumikus ENG
Citizens' readiness for proactive public services : a case study from Azerbaijan
Khasmammadli, Gasim
;
Erlenheim, Regina
ICEGOV '22 : proceedings of the 15th International Conference on Theory and Practice of Electronic Governance
2022
/
p. 408-415 : ill
https://doi.org/10.1145/3560107.3560170
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 233, kuvan
1 - 25
eelmine
1
2
3
4
5
6
7
8
9
10
järgmine
võtmesõna
208
1.
computer software
2.
computer science
3.
computer science basics
4.
computer science education
5.
logic in computer science
6.
advanced programming and software
7.
agent software architecture
8.
agent-oriented software engineering
9.
Agile software engineering
10.
AI based CAD software
11.
analysis software
12.
Anonymization software
13.
bernese software
14.
business software
15.
CFD (computational fluid dynamics) software
16.
client-vendor relationship in software development
17.
communicating hardware/software systems
18.
communicating software/hardware systems
19.
COMSOL software
20.
educational software
21.
embedded software
22.
energy simulation software
23.
free software
24.
GIS software
25.
hardware/software co-design
26.
interoperability and evolution of healthcare models and software systems
27.
invasive software
28.
large software projects
29.
learning software agents
30.
model-based software development
31.
ontology driven software development
32.
ontology-based software engineering
33.
open source software
34.
optimization software
35.
plagiarism software
36.
public domain software
37.
RETScreen software
38.
self learning software
39.
sensor software
40.
simulation software "Delphin"
41.
simulations with software
42.
social software
43.
software
44.
software architecture
45.
software based self-test
46.
software companies
47.
software complexity
48.
software containers
49.
software defined networking
50.
software defined networking (SDN)
51.
software defined networks (SDN)
52.
software defined radio
53.
software design
54.
software development
55.
software development concepts
56.
software engineering
57.
software engineering education
58.
Software engineering methodology evaluation
59.
software engineering practises
60.
software factory
61.
software for measurements
62.
software implementation
63.
software level TMR
64.
software modeling
65.
software outsourcing
66.
Software packages
67.
software project management
68.
software qualification
69.
software quality
70.
software sector
71.
software testing
72.
software/hardware partitioning
73.
software/hardware systems
74.
software-based self-test
75.
software-based self-test (SBST)
76.
software-defined network
77.
software-defined networking
78.
software-defined networking (SDN)
79.
software-in-the-loop (SIL) testing
80.
SOLIDWORKS software
81.
SysML modeling software
82.
system-to-software integrity
83.
triptych software engineering
84.
computer
85.
computer aided design
86.
computer aided diagnosis
87.
computer aided diagnostics
88.
computer aided instruction
89.
computer aided manufacturing
90.
computer aided testing
91.
computer algebra
92.
computer algebra system
93.
computer and education
94.
computer anxiety
95.
computer architecture
96.
computer assisted language learning
97.
computer based learning
98.
computer circuits
99.
computer control
100.
computer education
101.
computer engineering
102.
computer engineerng
103.
computer game
104.
computer graphics
105.
computer hardware
106.
computer integrated manufacturing
107.
computer network management
108.
computer network operations
109.
computer networks
110.
computer pipelines
111.
computer programming
112.
computer programs
113.
computer security
114.
computer simulation
115.
computer simulation environments
116.
computer simulations
117.
computer softwaregraph theory
118.
computer systems
119.
Computer systems organization
120.
computer terminals
121.
computer vision
122.
computer workers
123.
computer-aided anthropometry
124.
computer-aided architectural design (CAAD)
125.
computer‐aided assessment
126.
computer-aided design
127.
computer-aided detection
128.
computer‐aided detection
129.
computer-aided diagnosis
130.
computer-aided drawing (CAD)
131.
computer-aided engineering
132.
computer-aided teaching
133.
Computer-Aided Tuning
134.
computer-aided tuning (CAT)
135.
computer-assisted language learning (CALL)
136.
computer-oriented technologies
137.
computer-supported decision-making
138.
computer-use
139.
control engineering computer applications
140.
distributed computer systems
141.
education in computer engineering
142.
fifth generation computer
143.
gateways (computer networks)
144.
high-performance computer systems
145.
human computer interaction
146.
human computer interaction (HCI)
147.
human-computer interaction
148.
Human-Computer Interaction (HCI)
149.
human-computer trust
150.
interactive computer graphics
151.
laptop computer
152.
single board computer
153.
single-board computer
154.
structure computer analysis
155.
ubiquitous computer technology
156.
Web and computer-based learning
157.
applied science
158.
chemistry and philosophy of science
159.
citizen science
160.
citizen science hub
161.
classical exact science
162.
computational social science
163.
data science
164.
data-science
165.
design science
166.
design science research
167.
design-science
168.
energy science and technology
169.
engineering pedagogy science
170.
environmental science
171.
ethics of science
172.
exact science
173.
food science
174.
materials science
175.
NATO. Science for Peace and Security Program
176.
non-classical exact science
177.
philosophy of science
178.
physics and philosophy of science
179.
planetary science
180.
political science
181.
popular science literature
182.
post normal science
183.
post-normal science
184.
Q science
185.
science
186.
science advisors
187.
science and arts
188.
science and technology libraries
189.
science and technology parks
190.
science fiction
191.
science gateway
192.
science integration
193.
science mapping
194.
science policy
195.
science technology innovation
196.
Science, Technology and Innovation Policy
197.
science-based industries
198.
science-driven models
199.
science-policy-society interface
200.
Social Science
201.
social science methodology
202.
sustainability science
203.
transdisciplinary science
204.
Web of Science
205.
World Academy of Art and Science (WAAS)
206.
ȹ-science
207.
φ-science
208.
ϕ-science
märksõna
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
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
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