Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
comparison-based (keyword)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
1
Look more..
(1/342)
Export
export all inquiry results
(1)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
book article EST
/
book article 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
book article EST
/
book article ENG
Number of records 1, displaying
1 - 1
keyword
342
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.
Cu-based alloy
105.
Cu-based alloys
106.
customer-based brand equity
107.
cylindrical Ti6Al4V-based lattice implants
108.
data-based computational psychiatry
109.
drone-based traffic monitoring
110.
droplet-based technology
111.
ecosystem-based management
112.
end-to-end model-based system
113.
Energy-based evaluation
114.
environmentally friendly wood-based panels
115.
event-based control
116.
evidence based policy
117.
evidence-based decision making
118.
evidence-based decision-making
119.
evidence-based medicine
120.
evidence-based personalized medicine
121.
Faith-based governance models
122.
feature based machining
123.
feature-based machining
124.
Fe-based alloy
125.
Fe-based amorphous alloy
126.
Fe-based hardfacing
127.
Fenton-based treatment
128.
fetch-based models
129.
finite cycle-based model predictive control
130.
finitely based
131.
flatness-based control
132.
flow-based modelling
133.
flying inductor based inverter
134.
FPGA based lab kit
135.
FPGA based test
136.
FPGA-based development boards
137.
FPGA-based prototyping
138.
fragment-based QSAR
139.
game based learning
140.
game-based learning
141.
game-based proofs
142.
GaN-based converters
143.
GaN-based dc–dc converter
144.
gelatin-based phantom
145.
graph-based algorithms
146.
graph-based ranking
147.
graphene-based aerogel
148.
GraphSAGE (Graph Based Neural Network)
149.
health-based ventilation
150.
Human-brand based marketing
151.
HW Accelerators based on Channels Vulnerability
152.
ICT-based service solutions for senior citizens
153.
image-based
154.
image-based crack detection
155.
infection risk-based ventilation
156.
information model-based urban planning
157.
institution-based view
158.
interest-based
159.
interleukin-based therapy
160.
internet-based cognitive behavioural theraphy
161.
Internet-based voting
162.
ionic-liquid-based surfactants
163.
IoT-based monitoring
164.
iron-chromium-based binder
165.
isogeny-based cryptography
166.
Kalman-filter based maximum power point tracking (KF-MPPT)
167.
knowledge based economy
168.
knowledge based manufacturing
169.
knowledge based systems
170.
knowledge-based design
171.
knowledge-based economy
172.
knowledge-based manufacturing
173.
knowledge-based system
174.
knowledge-based systems
175.
laser-based additive manufacturing
176.
Laser-based powder bed fusion
177.
lattice-based cryptography
178.
layout-based effects
179.
lime-based plasters
180.
linear Delta robots neural network based model
181.
location-based social networks
182.
logic-based distributed routing
183.
LUT-based obfuscation
184.
manganese dioxide based filter material
185.
map-based localization
186.
market-based coordination
187.
market-based innovation
188.
market-based subsidy
189.
Me)(C,N)-FeCr-based cermets
190.
metallic-based material
191.
Mg–Ag-based alloy
192.
microbiome-based solutions
193.
model based
194.
model based testing
195.
model-based control
196.
model-based development
197.
Model-Based Engineering (MBE)
198.
model-based mutation testing
199.
model-based navigation
200.
model-based patterns
201.
model-based software development
202.
Model-Based Systems Engineering (MBSE)
203.
model-based testing
204.
model-based verification
205.
modified winding function‐based model
206.
multiagent-based microscopic traffic assignment model (MMTAM)
207.
nature-based composite
208.
nature-based solutions
209.
nature-based solutions (NBSs)
210.
NB-IoT-based edge-ofthings
211.
NetFlow based network monitoring
212.
Ni-based alloy
213.
Ni-based catalyst
214.
Ni-based superalloy
215.
nickel-based superalloys
216.
nikel-based self-fluxing alloy
217.
non-market-based stringency
218.
NPC-based inverter
219.
ontology-based modeling
220.
ontology-based modelling
221.
ontology-based software engineering
222.
open source-based innovation
223.
partial power based on buck-boost resonance converter
224.
partial power based on isolated Z - Source converter(PPZSC)
225.
passivity based control
226.
passivity-based control (PBC)
227.
Peptide based transfection systems
228.
performance-based design
229.
physically based fire
230.
physically based fires
231.
physics-based compressive sensing
232.
physics-based modeling
233.
place-based policy
234.
plant-based
235.
Plant-based alternatives
236.
plant-based beverage
237.
plant-based food
238.
plant-based foods
239.
plant-based meat analogues
240.
plant-based NADES
241.
plant-based protein
242.
policy-based routing security
243.
pollen-based reconstructions
244.
population-based study
245.
power based control
246.
power-to-gas based storage system
247.
price based control
248.
price based control of industrial processes
249.
priority-based charging and discharging
250.
priority-based-offloading
251.
problem-based learning
252.
Problem-based learning (PBL)
253.
project-based learning
254.
qZS-based DC/DC converter
255.
query-based search
256.
rapeseed oil-based wood preservatives
257.
reconfigurable-based obfuscation
258.
regression based model
259.
renewable-based hybrid system
260.
research-based education
261.
resource-based view
262.
ripple-based control
263.
risk-based laws
264.
risk-based management
265.
room unit based ventilation
266.
room-based ventilation
267.
room-based ventilation units
268.
rtioco-based timed test sequences
269.
rule-based
270.
rule-based algorithm
271.
rule-based classification
272.
rule-based control
273.
rule-based non-linear optimization
274.
rule-based reasoning
275.
rules-based systems
276.
sampling based motion planning
277.
SAT-based attack
278.
saturation based proving
279.
scan-based stress
280.
scenario-based experiment
281.
science-based industries
282.
SDN-based IoT management frameworks
283.
series partial power converter (S-PPC) based on the push-pull
284.
session-based recommendation
285.
simulation based static optimization
286.
simulation based TMY
287.
simulationbased decision support
288.
simulation-based verification
289.
Simultaneous model-based optimization
290.
software based self-test
291.
software-based self-test
292.
software-based self-test (SBST)
293.
solution based synthesis
294.
solution‐based deposition
295.
space-based solar power
296.
spectrum-based fault localization
297.
standards-based classfication system
298.
status-based participation
299.
steel-based hardfacing
300.
subscription based interactions
301.
surrogate-based approach
302.
zirconia-based ceramics
303.
ZrC Based Ceramics
304.
ZrC-based composites
305.
task based learning
306.
template based sql generation
307.
text-based robots
308.
textile-based triboelectric nanogenerators (T-TENGs)
309.
Ti(C,N)-Fe-based cermets
310.
Ti(C,N)–Fe-based cermets
311.
Ti(CN)-Fe-based cermets
312.
TiB-based composite
313.
TiC- 430 L fss-based cermets
314.
TiC based cermets
315.
TiC-based cermet
316.
TiC-based cermets
317.
TiC-Fe-based cermets
318.
time-driven activity-based costing
319.
time-driven activity-based costing, TDABC
320.
titanium carbide-based cermets
321.
transformer-based models
322.
transformer-based neural network
323.
Tree-based methods
324.
User-based study
325.
value-based design
326.
water-based cleaning approaches
327.
water-based paint wastewater
328.
WC/Cr3C2-based cermet coating
329.
WC-based composites
330.
Web and computer-based learning
331.
web-based applications
332.
web-based medical record
333.
web-based record access
334.
web-based teaching
335.
web-based training
336.
web-based user interface
337.
weight-based collection
338.
weighted score-based ranking
339.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
340.
voice-based robots
341.
work-based learning
342.
work-based project
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT