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
311
Vaata veel..
(3/251)
Ekspordi
ekspordi kõik päringu tulemused
(311)
Salvesta TXT 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
226
artikkel ajakirjas EST
/
artikkel ajakirjas 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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
227
artikkel kogumikus EST
/
artikkel kogumikus ENG
Real-time crack detection on concrete using non-destructive approaches based on Yolo series : Review
Bassir, David
;
Chang, Haochen
;
Majak, Jüri
Advances in Machinery, Materials Science and Engineering Application X : Proceedings of the 10th International Conference (MMSE 2024), Paris, France, 27–28 July 2024
2024
/
p. 820-826
https://doi.org/10.3233/ATDE240712
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
228
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Real-time demands and calibration of water distribution systems
Vassiljev, Anatoli
;
Koor, Margus
;
Koppel, Tiit
Advances in engineering software
2015
/
p. 108-113 : ill
https://doi.org/10.1016/j.advengsoft.2015.06.012
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
229
artikkel kogumikus EST
/
artikkel kogumikus 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
artikkel kogumikus EST
/
artikkel kogumikus ENG
230
artikkel kogumikus EST
/
artikkel kogumikus ENG
Reconstructing timed symbolic traces from rtioco-based timed test sequences using backward induction
Iqbal, Junaid
;
Truscan, Dragos
;
Vain, Jüri
;
Porres, Ivan
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems
2017
/
10 pages : ill
https://doi.org/10.1145/3123779.3123813
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
231
artikkel kogumikus EST
/
artikkel kogumikus ENG
Regular monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Leibniz International Proceedings in Informatics, LIPIcs
2022
/
p. 44:1-44:14
https://doi.org/10.4230/LIPIcs.MFCS.2022.44
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
232
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Regular planar monoidal languages
Earnshaw, Matthew David
;
Sobocinski, Pawel Maria
Journal of logical and algebraic methods in programming
2024
/
art. 100963, 20 p. : ill
https://doi.org/10.1016/j.jlamp.2024.100963
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Languages of string diagrams = Nöördiagrammide keeled
233
artikkel kogumikus EST
/
artikkel kogumikus ENG
Reordering derivatives of trace closures of regular languages [Online resource]
Maarand, Hendrik
;
Uustalu, Tarmo
30th International Conference on Concurrency Theory : (CONCUR 2019)
2019
/
art. 40 ; 40:1–40:16
https://doi.org/10.4230/LIPIcs.CONCUR.2019.40
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
234
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulator
Miller, Tim
;
Lu, Bin
;
Sterling, Leon
;
Beydoun, Ghassan
;
Taveter, Kuldar
IEEE transactions on software engineering
2014
/
p. 1007-1024 : ill
https://doi.org/10.1109/TSE.2014.2339827
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
235
artikkel kogumikus EST
/
artikkel kogumikus ENG
Research gaps on public service delivery
Lopes, Nuno Vasco
;
Sa Soares, Delfina
;
Meyerhoff Nielsen, Morten
;
Tavares, Antonio
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. 465-474 : ill
https://doi.org/10.1145/3047273.3047388
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
236
artikkel kogumikus EST
/
artikkel kogumikus ENG
Re-shaping the EU digital identity framework
Lips, Silvia
;
Vinogradova, Natalia
;
Krimmer, Robert Johannes
;
Draheim, Dirk
23rd Annual International Conference on Digital Government Research (DGO2022) : Intelligent Technologies, Governments and Citizens, June 15-17, 2022 : proceedings
2022
/
p. 13-21
https://doi.org/10.1145/3543434.3543652
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
A multifaceted assessment framework for electronic identity schemes = Elektrooniliste autentimisskeemide mitmetahuline hindamise raamistik
237
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A roadside unit deployment framework for enhancing transportation services in Maghrebian cities
Chaabene, Seif Ben
;
Yeferny, Taoufik
;
Ben Yahia, Sadok
Concurrency and Computation: Practice and Experience
2021
/
art. e5611
https://doi.org/10.1002/cpe.5611
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
238
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A robust mutual authentication scheme for health-focused connected intelligent objects
Hammami, Hamza
;
Ben Yahia, Sadok
;
Obaidat, Mohammad S.
Cluster Computing
2025
/
art. 63, 16 p
https://doi.org/10.1007/s10586-024-04700-3
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
239
artikkel kogumikus EST
/
artikkel kogumikus ENG
Robust training of vector quantized bottleneck models
Lancucki, Adrian
;
Chorowski, Jan
;
Sanchez, Guillaume
;
Marxer, Ricard
;
Chen, Nanxin
;
Dolfing, Hans J.G.A.
;
Khurana, Sameer
;
Alumäe, Tanel
;
Laurent, Antoine
2020 International Joint Conference onNeural Networks (IJCNN), 19-24 July 2020, Glasgow, UK : proceedings
2020
/
art. 163566 : 7 p
https://doi.org/10.1109/IJCNN48605.2020.9207145
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
240
artikkel kogumikus EST
/
artikkel kogumikus ENG
RoCo-NAS : robust and compact neural architecture search
Geraeinejad, Vahid
;
Sinaei, Sima
;
Modarressi, Mehdi
;
Daneshtalab, Masoud
2021 International Joint Conference on Neural Networks (IJCNN) : proceedings
2021
/
8 l
https://doi.org/10.1109/IJCNN52387.2021.9534460
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
241
artikkel kogumikus EST
/
artikkel kogumikus ENG
The role of linked open statistical data in public service co-creation
McBride, Keegan David Braun
;
Matheus, Ricardo
;
Toots, Maarja
;
Kalvet, Tarmo
;
Krimmer, Robert Johannes
ICEGOV2018 : proceedings of the 11th International Conference on Theory and Practice of Electronic Governance : 4 - 6 April 2018, Galway, Ireland
2018
/
p. 679-681
https://doi.org/10.1145/3209415.3209446
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
242
artikkel kogumikus EST
/
artikkel kogumikus ENG
Russian Federal remote E-voting scheme of 2021 - protocol description and analysis
Vakarjuk, Jelizaveta
;
Snetkov, Nikita
;
Willemson, Jan
EICC '22: Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference
2022
/
p. 29-35
https://doi.org/10.1145/3528580.3528586
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
243
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
SCARF : securing chips with a robust framework against fabrication-time hardware trojans
Eslami, Mohammad
;
Ghasempouri, Tara
;
Pagliarini, Samuel Nascimento
IEEE Transactions on Computers
2024
/
p. 2761-2775
https://doi.org/10.1109/TC.2024.3449082
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprint
244
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Securing verified IO programs against unverified code in F∗
Andrici, Cezar-Constantin
;
Ciobâca, Stefan
;
Hriţcu, Catalin
;
Martínez, Guido
;
Rivas, Exequiel
;
Tanter, Éric
;
Winterhalter, Théo
Proceedings of the ACM on programming languages
2024
/
art. 74, 34 p. : ill
https://doi.org/10.1145/3632916
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
245
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
A security-aware and LUT-based CAD flow for the physical synthesis of hASICs
Abideen, Zain Ul
;
Perez, Tiago Diadami
;
Martins, Mayler
;
Pagliarini, Samuel Nascimento
IEEE transactions on computer-aided design of integrated circuits and systems
2023
/
p. 3157-3170 : ill
https://doi.org/10.1109/TCAD.2023.3244879
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Leveraging FPGA Reconfigurability as an Obfuscation Asset = FPGA ümberkonfigureeritavuse rakendamine hägustamise vahendina
246
artikkel kogumikus EST
/
artikkel kogumikus ENG
Self-aware smart contracts with legal relevance
Norta, Alexander
2018 International Joint Conference on Neural Networks (IJCNN) : 2018 proceedings
2018
/
p. 4113-4120 : ill
https://doi.org/10.1109/IJCNN.2018.8489235
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
247
artikkel kogumikus EST
/
artikkel kogumikus ENG
Semi-Substructural Logics à la Lambek
Wan, Cheng-Syuan
Proceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)
2024
/
p. 195–213
https://doi.org/10.4204/EPTCS.415.18
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
248
artikkel kogumikus EST
/
artikkel kogumikus ENG
Semi-substructural logics with additives
Veltri, Niccolo
;
Wan, Cheng-Syuan
Proceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023
2024
/
p. 63-80
https://doi.org/10.4204/EPTCS.402.8
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria
249
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Serverless, FaaS and why organizations need them
Astrova, Irina
;
Koschel, Arne
;
Schaaf, Marc
;
Klassen, Samuel
;
Jdiya, Kerim
Intelligent decision technologies
2021
/
p. 825-838
https://doi.org/10.3233/IDT-210194
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
250
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sights, titles and tags: mining a worldwide photo database for sightseeing
Luberg, Ago
;
Pindis, Jakob
;
Tammet, Tanel
10th International Conference on Web Intelligence, Mining and Semantics (WIMS 2020) & 5th International Conference on Real-time Intelligent Systems (RTIS 2020) : 30 June - 3 July 2020, Biarritz, France : proceedings
2020
/
p. 149-158 : ill
https://doi.org/10.1145/3405962.3405987
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 311, kuvan
226 - 250
eelmine
4
5
6
7
8
9
10
11
12
13
järgmine
võtmesõna
244
1.
computer aided software engineering
2.
computer software
3.
Computer software and hardware
4.
computer science
5.
computer science basics
6.
computer science education
7.
logic in computer science
8.
advanced programming and software
9.
agent software architecture
10.
agent-oriented software engineering
11.
Agile software engineering
12.
AI based CAD software
13.
analysis software
14.
Anonymization software
15.
ARIS software
16.
Automated Synthesis of Software-based Self-test
17.
bernese software
18.
business software
19.
CFD (computational fluid dynamics) software
20.
client-vendor relationship in software development
21.
communicating hardware/software systems
22.
communicating software/hardware systems
23.
COMSOL software
24.
educational software
25.
embedded software
26.
energy simulation software
27.
free software
28.
GIS software
29.
hardware/software co-design
30.
hardware-software integration in robotics
31.
interoperability and evolution of healthcare models and software systems
32.
invasive software
33.
large software projects
34.
learning software agents
35.
model-based software development
36.
model-driven software engineering
37.
ontology driven software development
38.
ontology-based software engineering
39.
open source software
40.
optimization software
41.
plagiarism software
42.
public domain software
43.
RETScreen software
44.
self learning software
45.
sensor software
46.
simulation software "Delphin"
47.
simulations with software
48.
social software
49.
software
50.
software architecture
51.
software architecture improvement
52.
software based self-test
53.
software companies
54.
software complexity
55.
software containers
56.
software defined networking
57.
software defined networking (SDN)
58.
software defined networks (SDN)
59.
software defined radio
60.
software defined radio (SDR)
61.
software design
62.
software development
63.
software development concepts
64.
software documentation
65.
software engineering
66.
software engineering education
67.
Software engineering methodology evaluation
68.
software engineering practises
69.
software factory
70.
software for measurements
71.
software implementation
72.
software level TMR
73.
software modeling
74.
software outsourcing
75.
Software packages
76.
software project management
77.
software qualification
78.
software quality
79.
software quality attributes
80.
software quality characteristics
81.
software refactoring
82.
software sector
83.
software security
84.
software security level
85.
software security subcharacteristics
86.
software testing
87.
software tools for robot programming
88.
software/hardware partitioning
89.
software/hardware systems
90.
software-based self-test
91.
software-based self-test (SBST)
92.
software-defined network
93.
software-defined networking
94.
software-defined networking (SDN)
95.
software-in-the-loop (SIL) testing
96.
SOLIDWORKS software
97.
SysML modeling software
98.
system-to-software integrity
99.
triptych software engineering
100.
computer
101.
computer aided design
102.
computer aided diagnosis
103.
computer aided diagnostics
104.
computer aided instruction
105.
computer aided language translation
106.
computer aided manufacturing
107.
computer aided methods
108.
computer aided testing
109.
computer algebra
110.
computer algebra system
111.
computer and education
112.
computer anxiety
113.
computer architecture
114.
computer assisted language learning
115.
computer based learning
116.
computer circuits
117.
computer control
118.
Computer crime
119.
computer education
120.
computer engineering
121.
computer engineerng
122.
computer game
123.
computer graphics
124.
computer hardware
125.
computer integrated manufacturing
126.
computer network management
127.
computer network operations
128.
computer networks
129.
computer pipelines
130.
computer programming
131.
computer programming languages
132.
computer programs
133.
computer security
134.
computer simulation
135.
computer simulation environments
136.
computer simulations
137.
computer softwaregraph theory
138.
computer systems
139.
Computer systems organization
140.
computer terminals
141.
computer vision
142.
computer vision-based methods
143.
computer workers
144.
computer-aided anthropometry
145.
computer-aided architectural design (CAAD)
146.
computer‐aided assessment
147.
computer-aided design
148.
computer-aided design (CAD)
149.
computer-aided detection
150.
computer‐aided detection
151.
computer-aided diagnosis
152.
computer-aided drawing (CAD)
153.
computer-aided engineering
154.
computer-aided teaching
155.
Computer-Aided Tuning
156.
computer-aided tuning (CAT)
157.
computer-assisted language learning (CALL)
158.
computer-oriented technologies
159.
computer-supported decision-making
160.
computer-use
161.
computer-workers
162.
control engineering computer applications
163.
distributed computer systems
164.
education in computer engineering
165.
fifth generation computer
166.
gateways (computer networks)
167.
high-performance computer systems
168.
human computer interaction
169.
human computer interaction (HCI)
170.
human-computer interaction
171.
human–computer interaction
172.
Human-Computer Interaction (HCI)
173.
human-computer trust
174.
interactive computer graphics
175.
laptop computer
176.
single board computer
177.
single-board computer
178.
structure computer analysis
179.
ubiquitous computer technology
180.
Web and computer-based learning
181.
applied science
182.
big data science
183.
chemistry and philosophy of science
184.
citizen science
185.
citizen science hub
186.
classical exact science
187.
cognitive science
188.
computational social science
189.
data science
190.
data-science
191.
decision science
192.
design science
193.
design science research
194.
design-science
195.
energy science and technology
196.
engineering pedagogy science
197.
environmental science
198.
ethics of science
199.
exact science
200.
food science
201.
forensic science
202.
logic of science
203.
materials science
204.
NATO. Science for Peace and Security Program
205.
non-classical exact science
206.
philosophy of science
207.
physics and philosophy of science
208.
planetary science
209.
political science
210.
popular science literature
211.
post normal science
212.
post-normal science
213.
Q science
214.
science
215.
science advisors
216.
science and arts
217.
science and technology libraries
218.
science and technology parks
219.
Science Education
220.
science fiction
221.
science gateway
222.
science integration
223.
science mapping
224.
science policy
225.
science technology and innovation
226.
science technology innovation
227.
Science, Technology and Innovation Policy
228.
science-based industries
229.
science-driven models
230.
science-policy-society interface
231.
Security and political science
232.
security science and technology
233.
Social Science
234.
social science methodology
235.
sustainability science
236.
Thomson Reuters Web of Science
237.
transdisciplinary science
238.
values in science
239.
Web of Science
240.
wood science and technology
241.
World Academy of Art and Science (WAAS)
242.
ȹ-science
243.
φ-science
244.
ϕ-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