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
Liitotsing
Valitud kirjed
0
comparison-based (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
1
Vaata veel..
(1/246)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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 kogumikus EST
/
artikkel kogumikus ENG
Unsatisfiability of comparison-based non-malleability for commitments
Firsov, Denis
;
Laur, Sven
;
Zhuchko, Ekaterina
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 188–194
https://doi.org/10.1007/978-3-031-17715-6_13
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
246
1.
comparison-based
2.
comparison
3.
cross-country comparison
4.
genome comparison
5.
international comparison
6.
performance evaluation and comparison
7.
qualitative comparison analysis
8.
reciprocal comparison matrices
9.
table comparison
10.
accelerator-based architecture
11.
Active chitosan-based film
12.
activity based modelling
13.
activity-based cost estimating
14.
activity-based costing
15.
Activity-based demand generation
16.
Adaptive network-based fuzzy inference system (ANFIS)
17.
address-based sorting
18.
agent-based model
19.
agent-based modeling
20.
agent-based models
21.
AI based CAD software
22.
AI-based worker management
23.
Al based hard PVD coating
24.
al-based alloy
25.
Al-based alloys
26.
Al-based composite
27.
Al-based composites
28.
algorithm-based decision
29.
aluminum based composite
30.
app-based mobile financial services
31.
archetypes and archetype patterns based development
32.
area‐based composite correlations method
33.
assertion-based verification
34.
beam-based feedback
35.
Bi and Fe-based barium titanate
36.
Bio-Based
37.
bio-based and biodegradable plastics market
38.
Bio-based film-forming solution
39.
bio-based materials
40.
bio‐based materials
41.
biogeography based optimization
42.
bioimpedance based sensing
43.
bioimpedance-based sensing
44.
bisection based optimal power allocation
45.
block-based merge
46.
borrower-based policy measures
47.
carbon based materials
48.
carbon-based materials
49.
chitosan-based film
50.
chromium carbide-based cermets
51.
clay-based ceramics
52.
climate based daylight modelling
53.
climate-based simulations
54.
cloud- and AI-based system
55.
cloud-based cyber-physical systems (C2PS)
56.
commons based peer production
57.
commons-based innovation
58.
commons-based peer production (CBPP)
59.
Community-based research
60.
competence based learning
61.
competence-based education
62.
competence-based learning
63.
competency based learning
64.
competency-based approach
65.
component-based design
66.
computer based learning
67.
consumption-based GHG accounting
68.
content-based recommender
69.
contract-based design
70.
copper-based wood preservatives
71.
Cr3C2-based cermet
72.
Cu-based alloy
73.
Cu-based alloys
74.
customer-based brand equity
75.
droplet-based technology
76.
ecosystem-based management
77.
environmentally friendly wood-based panels
78.
event-based control
79.
evidence-based decision making
80.
evidence-based decision-making
81.
feature based machining
82.
feature-based machining
83.
Fe-based alloy
84.
Fe-based amorphous alloy
85.
Fe-based hardfacing
86.
Fenton-based treatment
87.
finitely based
88.
flatness-based control
89.
flow-based modelling
90.
flying inductor based inverter
91.
FPGA based lab kit
92.
FPGA based test
93.
FPGA-based development boards
94.
FPGA-based prototyping
95.
fragment-based QSAR
96.
game based learning
97.
game-based learning
98.
gelatin-based phantom
99.
graph-based algorithms
100.
graph-based ranking
101.
graphene-based aerogel
102.
GraphSAGE (Graph Based Neural Network)
103.
health-based ventilation
104.
Human-brand based marketing
105.
ICT-based service solutions for senior citizens
106.
image-based
107.
infection risk-based ventilation
108.
institution-based view
109.
internet-based cognitive behavioural theraphy
110.
Internet-based voting
111.
ionic-liquid-based surfactants
112.
IoT-based monitoring
113.
Kalman-filter based maximum power point tracking (KF-MPPT)
114.
knowledge based economy
115.
knowledge based manufacturing
116.
knowledge-based design
117.
knowledge-based economy
118.
knowledge-based manufacturing
119.
knowledge-based system
120.
laser-based additive manufacturing
121.
Laser-based powder bed fusion
122.
lattice-based cryptography
123.
layout-based effects
124.
lime-based plasters
125.
location-based social networks
126.
logic-based distributed routing
127.
LUT-based obfuscation
128.
manganese dioxide based filter material
129.
map-based localization
130.
market-based coordination
131.
market-based innovation
132.
market-based subsidy
133.
Mg–Ag-based alloy
134.
microbiome-based solutions
135.
model based testing
136.
model-based control
137.
model-based development
138.
Model-Based Engineering (MBE)
139.
model-based mutation testing
140.
model-based patterns
141.
model-based software development
142.
Model-Based Systems Engineering (MBSE)
143.
model-based testing
144.
model-based verification
145.
modified winding function‐based model
146.
multiagent-based microscopic traffic assignment model (MMTAM)
147.
NB-IoT-based edge-ofthings
148.
NetFlow based network monitoring
149.
Ni-based alloy
150.
Ni-based catalyst
151.
Ni-based superalloy
152.
nickel-based superalloys
153.
nikel-based self-fluxing alloy
154.
non-market-based stringency
155.
NPC-based inverter
156.
ontology-based software engineering
157.
open source-based innovation
158.
partial power based on buck-boost resonance converter
159.
partial power based on isolated Z - Source converter(PPZSC)
160.
passivity-based control (PBC)
161.
performance-based design
162.
physically based fire
163.
physically based fires
164.
physics-based compressive sensing
165.
place-based policy
166.
plant-based
167.
plant-based beverage
168.
plant-based foods
169.
plant-based meat analogues
170.
plant-based NADES
171.
plant-based protein
172.
policy-based routing security
173.
pollen-based reconstructions
174.
population-based study
175.
power based control
176.
power-to-gas based storage system
177.
price based control
178.
price based control of industrial processes
179.
priority-based charging and discharging
180.
priority-based-offloading
181.
problem-based learning
182.
Problem-based learning (PBL)
183.
project-based learning
184.
qZS-based DC/DC converter
185.
query-based search
186.
rapeseed oil-based wood preservatives
187.
regression based model
188.
research-based education
189.
ripple-based control
190.
room unit based ventilation
191.
room-based ventilation
192.
room-based ventilation units
193.
rtioco-based timed test sequences
194.
rule-based algorithm
195.
rule-based classification
196.
rule-based control
197.
rule-based reasoning
198.
rules-based systems
199.
sampling based motion planning
200.
SAT-based attack
201.
scan-based stress
202.
scenario-based experiment
203.
science-based industries
204.
SDN-based IoT management frameworks
205.
session-based recommendation
206.
simulation based static optimization
207.
simulation based TMY
208.
simulationbased decision support
209.
simulation-based verification
210.
Simultaneous model-based optimization
211.
software based self-test
212.
software-based self-test
213.
software-based self-test (SBST)
214.
solution based synthesis
215.
solution‐based deposition
216.
space-based solar power
217.
standards-based classfication system
218.
status-based participation
219.
steel-based hardfacing
220.
subscription based interactions
221.
zirconia-based ceramics
222.
ZrC Based Ceramics
223.
ZrC-based composites
224.
task based learning
225.
template based sql generation
226.
Ti(C,N)-Fe-based cermets
227.
Ti(C,N)–Fe-based cermets
228.
TiB-based composite
229.
TiC- 430 L fss-based cermets
230.
TiC based cermets
231.
TiC-based cermet
232.
TiC-based cermets
233.
time-driven activity-based costing
234.
time-driven activity-based costing, TDABC
235.
titanium carbide-based cermets
236.
User-based study
237.
water-based cleaning approaches
238.
water-based paint wastewater
239.
Web and computer-based learning
240.
web-based applications
241.
web-based teaching
242.
web-based training
243.
weight-based collection
244.
weighted score-based ranking
245.
work-based learning
246.
work-based project
×
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