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/345)
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
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
×
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