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