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