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