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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
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)
sõna
algab
täpne vaste
vabatekst
—
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)
sõna
algab
täpne vaste
vabatekst
—
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/357)
Ekspordi
ekspordi kõik päringu tulemused
(1)
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
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
357
1.
comparison-based
2.
comparison-based methodology
3.
annual comparison
4.
comparison
5.
comparison result
6.
cost comparison
7.
cross-country comparison
8.
cross-national comparison
9.
genome comparison
10.
international comparison
11.
model comparison
12.
performance evaluation and comparison
13.
policy comparison
14.
process comparison
15.
qualitative comparison analysis
16.
reciprocal comparison matrices
17.
table comparison
18.
accelerator-based architecture
19.
accrual-based credit risk model
20.
accrual-based ratios
21.
Active chitosan-based film
22.
activity based modelling
23.
activity-based budgeting
24.
activity-based cost estimating
25.
activity-based costing
26.
Activity-based demand generation
27.
Activity-based transport modeling
28.
Adaptive network-based fuzzy inference system (ANFIS)
29.
address-based sorting
30.
agent-based model
31.
agent-based modeling
32.
agent-based modeling (ABM)
33.
agent-based models
34.
AI based CAD software
35.
AI-based data curation
36.
AI-based fault detection
37.
AI-based worker management
38.
Al based hard PVD coating
39.
al-based alloy
40.
Al-based alloys
41.
Al-based composite
42.
Al-based composites
43.
algorithm-based decision
44.
aluminum based composite
45.
ANN-based mechanical property prediction
46.
app-based mobile financial services
47.
archetypes and archetype patterns based development
48.
area‐based composite correlations method
49.
arts based initiatives (ABIs)
50.
assertion-based verification
51.
attention-based view
52.
attribute-based encryption
53.
attribute-based tracing
54.
Automated Synthesis of Software-based Self-test
55.
beam-based feedback
56.
behaviour-based intrusion detection systems
57.
Bi and Fe-based barium titanate
58.
Bio-Based
59.
bio-based adhesive
60.
bio-based and biodegradable plastics market
61.
Bio-based film-forming solution
62.
bio-based materials
63.
bio‐based materials
64.
biogeography based optimization
65.
bioimpedance based sensing
66.
bioimpedance-based sensing
67.
bisection based optimal power allocation
68.
bitumen-based roofing materials
69.
block-based merge
70.
borrower-based policy measures
71.
capacitive-based isolated converters
72.
carbon based materials
73.
carbon-based materials
74.
cash-based analysis
75.
cash-based ratios
76.
CdTe-based flexible PV cells
77.
challenge-based learning
78.
Challenge-Based Learning (CBL)
79.
chitosan-based film
80.
Choice-Based Conjoint analysis
81.
chromium carbide-based cermets
82.
clay-based ceramics
83.
climate based daylight modelling
84.
climate-based simulations
85.
cloud- and AI-based system
86.
cloud-based cyber-physical systems (C2PS)
87.
cloud-based medical systems
88.
commons based peer production
89.
commons-based innovation
90.
commons-based peer production (CBPP)
91.
Community-based research
92.
competence based learning
93.
competence-based education
94.
competence-based learning
95.
competency based learning
96.
competency-based approach
97.
component-based design
98.
computer based learning
99.
computer vision-based methods
100.
consumption-based GHG accounting
101.
content-based recommender
102.
contract-based design
103.
copper-based wood preservatives
104.
cost-based competitiveness
105.
Cr3C2-based cermet
106.
CT-based surgical planning
107.
Cu-based alloy
108.
Cu-based alloys
109.
customer-based brand equity
110.
cylindrical Ti6Al4V-based lattice implants
111.
data-based computational psychiatry
112.
demand-based control
113.
drone-based traffic monitoring
114.
droplet-based technology
115.
ecosystem-based management
116.
end-to-end model-based system
117.
Energy-based evaluation
118.
environmentally friendly wood-based panels
119.
event-based control
120.
evidence based policy
121.
evidence-based decision making
122.
evidence-based decision-making
123.
evidence-based medicine
124.
evidence-based personalized medicine
125.
Faith-based governance models
126.
feature based machining
127.
feature-based machining
128.
Fe-based alloy
129.
Fe-based amorphous alloy
130.
Fe-based hardfacing
131.
Fenton-based treatment
132.
fetch-based models
133.
finite cycle-based model predictive control
134.
finitely based
135.
flatness-based control
136.
flow-based modelling
137.
flying inductor based inverter
138.
FPGA based lab kit
139.
FPGA based test
140.
FPGA-based development boards
141.
FPGA-based prototyping
142.
fragment-based QSAR
143.
game based learning
144.
game-based learning
145.
game-based proofs
146.
GaN-based converters
147.
GaN-based dc–dc converter
148.
gelatin-based phantom
149.
graph-based algorithms
150.
graph-based ranking
151.
graphene-based aerogel
152.
GraphSAGE (Graph Based Neural Network)
153.
health-based ventilation
154.
human-brand based marketing
155.
HW Accelerators based on Channels Vulnerability
156.
ICT-based service solutions for senior citizens
157.
image-based
158.
image-based crack detection
159.
infection risk-based ventilation
160.
information model-based urban planning
161.
institution-based view
162.
interest-based
163.
interleukin-based therapy
164.
internet-based cognitive behavioural theraphy
165.
Internet-based voting
166.
ionic-liquid-based surfactants
167.
IoT-based monitoring
168.
iron-chromium-based binder
169.
isogeny-based cryptography
170.
Kalman-filter based maximum power point tracking (KF-MPPT)
171.
knowledge based economy
172.
knowledge based manufacturing
173.
knowledge based systems
174.
knowledge-based design
175.
knowledge-based economy
176.
knowledge-based manufacturing
177.
knowledge-based system
178.
knowledge-based systems
179.
laser-based additive manufacturing
180.
Laser-based powder bed fusion
181.
lattice-based cryptography
182.
layout-based effects
183.
lignin-based catalyst
184.
lime-based plasters
185.
linear Delta robots neural network based model
186.
LLM-based template detection from security event logs
187.
location based services
188.
location-based social networks
189.
logic-based distributed routing
190.
LUT-based obfuscation
191.
manganese dioxide based filter material
192.
map-based localization
193.
market-based coordination
194.
market-based innovation
195.
market-based subsidy
196.
Me)(C,N)-FeCr-based cermets
197.
metallic-based material
198.
Mg–Ag-based alloy
199.
microbiome-based solutions
200.
model based
201.
model based testing
202.
model-based control
203.
model-based design
204.
model-based development
205.
Model-Based Engineering (MBE)
206.
model-based mutation testing
207.
model-based navigation
208.
model-based patterns
209.
model-based software development
210.
Model-Based Systems Engineering (MBSE)
211.
model-based testing
212.
model-based verification
213.
modified winding function‐based model
214.
multiagent-based microscopic traffic assignment model (MMTAM)
215.
nature-based composite
216.
nature-based solutions
217.
nature-based solutions (NBS)
218.
nature-based solutions (NBSs)
219.
NB-IoT-based edge-ofthings
220.
NetFlow based network monitoring
221.
Ni-based alloy
222.
Ni-based catalyst
223.
Ni-based superalloy
224.
nickel-based superalloys
225.
nikel-based self-fluxing alloy
226.
non-market-based stringency
227.
NPC-based inverter
228.
ontology-based modeling
229.
ontology-based modelling
230.
ontology-based software engineering
231.
open source-based innovation
232.
partial power based on buck-boost resonance converter
233.
partial power based on isolated Z - Source converter(PPZSC)
234.
passivity based control
235.
passivity-based control (PBC)
236.
Peptide based transfection systems
237.
performance-based design
238.
physically based fire
239.
physically based fires
240.
physics-based compressive sensing
241.
physics-based modeling
242.
place-based policy
243.
plant-based
244.
Plant-based alternatives
245.
plant-based beverage
246.
plant-based food
247.
plant-based foods
248.
plant-based meat analogues
249.
plant-based NADES
250.
plant-based protein
251.
plant-based texturized vegetable proteins
252.
policy-based routing security
253.
pollen-based reconstructions
254.
population-based study
255.
power based control
256.
power-to-gas based storage system
257.
price based control
258.
price based control of industrial processes
259.
priority-based charging and discharging
260.
priority-based-offloading
261.
problem-based learning
262.
Problem-based learning (PBL)
263.
project based learning
264.
project-based learning
265.
qZS-based DC/DC converter
266.
query-based search
267.
rapeseed oil-based wood preservatives
268.
reconfigurable-based obfuscation
269.
regression based model
270.
renewable-based hybrid system
271.
research-based education
272.
resource-based view
273.
ripple-based control
274.
risk-based laws
275.
risk-based management
276.
room unit based ventilation
277.
room-based ventilation
278.
room-based ventilation units
279.
rtioco-based timed test sequences
280.
rule-based
281.
rule-based algorithm
282.
rule-based classification
283.
rule-based control
284.
rule-based modeling
285.
rule-based non-linear optimization
286.
rule-based reasoning
287.
rule-based supervision
288.
rules-based systems
289.
sampling based motion planning
290.
SAT-based attack
291.
saturation based proving
292.
scan-based stress
293.
scenario-based experiment
294.
Scenario-Based Testing
295.
science-based industries
296.
SDN-based IoT management frameworks
297.
series partial power converter (S-PPC) based on the push-pull
298.
session-based recommendation
299.
simulation based static optimization
300.
simulation based TMY
301.
simulationbased decision support
302.
simulation-based verification
303.
Simultaneous model-based optimization
304.
software based self-test
305.
software-based self-test
306.
software-based self-test (SBST)
307.
solution based synthesis
308.
solution‐based deposition
309.
space-based solar power
310.
spectrum-based fault localization
311.
standards-based classfication system
312.
status-based participation
313.
steam turbine-based synchronous generator
314.
steel-based hardfacing
315.
subscription based interactions
316.
surrogate-based approach
317.
zirconia-based ceramics
318.
ZrC Based Ceramics
319.
ZrC-based composites
320.
task based learning
321.
template based sql generation
322.
text-based robots
323.
textile-based triboelectric nanogenerators (T-TENGs)
324.
Ti(C,N)-Fe-based cermets
325.
Ti(C,N)–Fe-based cermets
326.
Ti(CN)-Fe-based cermets
327.
TiB-based composite
328.
TiC- 430 L fss-based cermets
329.
TiC based cermets
330.
TiC-based cermet
331.
TiC-based cermets
332.
TiC-Fe-based cermets
333.
time-driven activity-based costing
334.
time-driven activity-based costing, TDABC
335.
titanium carbide-based cermets
336.
transformer-based models
337.
transformer-based neural network
338.
Tree-based methods
339.
User-based study
340.
value-based design
341.
water-based cleaning approaches
342.
water-based paint wastewater
343.
WC/Cr3C2-based cermet coating
344.
WC-based composites
345.
Web and computer-based learning
346.
web-based applications
347.
web-based medical record
348.
web-based record access
349.
web-based teaching
350.
web-based training
351.
web-based user interface
352.
weight-based collection
353.
weighted score-based ranking
354.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
355.
voice-based robots
356.
work-based learning
357.
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