59 lines
No EOL
928 B
TeX
59 lines
No EOL
928 B
TeX
\DeclareAcronym{sl}{
|
|
short = SL,
|
|
long = Subjective Logic
|
|
}
|
|
|
|
\DeclareAcronym{3vsl}{
|
|
short = 3VSL,
|
|
long = Three-Valued Subjective Logic
|
|
}
|
|
|
|
\DeclareAcronym{dst}{
|
|
short = DST,
|
|
long = Dempster-Shafer Theory
|
|
}
|
|
|
|
\DeclareAcronym{bpdf}{
|
|
short = Beta PDF,
|
|
long = Beta Probability Density Function
|
|
}
|
|
|
|
\DeclareAcronym{dpdf}{
|
|
short = Dirichlet PDF,
|
|
long = Dirichlet Probability Density Function
|
|
}
|
|
|
|
\DeclareAcronym{stl}{
|
|
short = STL,
|
|
long = Signal Temporal Logic
|
|
}
|
|
|
|
\DeclareAcronym{cpss}{
|
|
short = CPSs,
|
|
long = Cyber-Physical Systems
|
|
}
|
|
|
|
\DeclareAcronym{scs}{
|
|
short = SCS,
|
|
long = Safety Critical Systems
|
|
}
|
|
|
|
\DeclareAcronym{cpu}{
|
|
short = CPU,
|
|
long = Central Processing Unit
|
|
}
|
|
|
|
\DeclareAcronym{mad}{
|
|
short = MAD,
|
|
long = Machine Activity Detector
|
|
}
|
|
|
|
\DeclareAcronym{iot}{
|
|
short = IoT,
|
|
long = the Internet of Things
|
|
}
|
|
|
|
\DeclareAcronym{tca}{
|
|
short = TCA,
|
|
long = Trust Calibration Actions
|
|
} |