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
machine-checked proofs (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..
(2/101)
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 ajakirjas EST
/
artikkel ajakirjas ENG
SSProve : a foundational framework for modular cryptographic proofs in Coq
Haselwarter, Philipp G.
;
Rivas, Exequiel
;
Van Muylder, Antoine
;
Winterhalter, Théo
;
Abate, Carmine
;
Sidorenco, Nikolaj
;
Hriţcu, Cǎtǎlin
;
Maillard, Kenji
;
Spitters, Bas
ACM Transactions on Programming Languages and Systems
2023
/
art. 15
https://doi.org/10.1145/3594735
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
100
1.
machine-checked proofs
2.
machine-to-machine communications
3.
a coherent theory of proofs
4.
calculational proofs
5.
game-based proofs
6.
state-separating proofs
7.
Zero-knowledge proofs
8.
AC machine
9.
adversarial machine learning
10.
adversarial machine-learning
11.
Algorithmic State Machine - ASM
12.
automatic machine learning (autoML)
13.
axial flux machine
14.
axial flux switched reluctance machine
15.
bearingless machine
16.
brushless machine
17.
coordinate measurring machine
18.
data analytics and machine learning
19.
electric machine
20.
electric machine analysis computing
21.
electric machine control
22.
electrical machine
23.
electrical machine cooling
24.
electrical machine design
25.
explainable machine learning
26.
finite state machine
27.
Finite State Machine - FSM
28.
graph machine learning
29.
hierarchical finite state machine
30.
high-frequency machine modeling
31.
human machine interaction
32.
human machine systems
33.
human-machine interaction
34.
human-machine interactions
35.
human-machine interface
36.
human-machine system
37.
induction machine
38.
interior permanent magnet machine
39.
interior permanent-magnet synchronous machine (IPMSM)
40.
interpretable machine learning
41.
logic machine
42.
low-resource machine translation
43.
machine bearings
44.
machine condition monitoring
45.
machine control
46.
machine design
47.
machine elements
48.
machine error
49.
machine housing
50.
machine learning
51.
machine learning (ML)
52.
machine learning algorithms
53.
machine learning approach
54.
Machine Learning Explainable model
55.
machine learning for environmental applications
56.
machine learning models
57.
machine learning systems
58.
machine tools
59.
machine translation
60.
machine vector control
61.
machine windings
62.
machine vision
63.
machine-learning
64.
machine-learning predictive model
65.
machine-translation
66.
man-machine systems
67.
massive machine type communication (mMTC)
68.
massive machine-type communication (mMTC)
69.
massive machine-type communication devices (mMTC)
70.
massive machine-type communications (mMTC)
71.
massive Machine-Type connections (mMTC)
72.
multi-class support vector machine (m-SVM)
73.
multi-machine
74.
multi-machine industrial power plant
75.
multi-machine power system
76.
multi-stream interaction machine
77.
neural machine translation
78.
outer-rotor machine
79.
Parkinson’s disease machine learning
80.
permanent magnet (PM) synchronous machine
81.
permanent magnet flux-switching machine
82.
permanent magnet machine
83.
permanent magnet synchronous machine (PMSM)
84.
reluctance machine
85.
robust machine learning
86.
sewing machine operator
87.
small data machine learning
88.
spoke-type PM machine
89.
state machine
90.
supervised machine learning
91.
support vector machine
92.
surface permanent magnet machine (SPM)
93.
switched reluctance machine
94.
switched reluctance machine (SRM)
95.
synchronous machine
96.
TBM (tunnel boring machine)
97.
totally enclosed fan-cooled machine
98.
universal friction machine
99.
unsupervised machine learning
100.
virtual synchronous machine
autor
1
1.
ELIXIR Machine Learning Focus Group
×
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