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
Liitotsing
Valitud kirjed
0
comparison-based (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/339)
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
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
×
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