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