Filter by: Subject

Voici les éléments 1-5 de 5

Contrôle d'accès, Automate observateur, UACML, E-UACML, Fiacre, OBP/CDL, Méthodes formelles, Model-checking (1)
Indexation d’images, indexation de vidéos, extraction de caractéristiques, réduction de dimensionnalité, Big Data, Deep Learning (1)
Linear difference equations, linear differential-difference equations,Key words: Linear difference equations, linear differential-difference equations, meromorphic solution, order, type, lower order, lower type, iterated order, iterated type meromorphic solution, order, type, lower order, lower type, iterated order, iterated type (1)
Patrons de propriétés, Spécification des propriétés temporelles, Automates observateurs, Preuve de théorème, Validation des transformations, Navires autonom (1)
Systèmes bidimensionnelles, Systèmes hybrides, Systèmes fractionnaires, Stabilité asymptotique, Discrétisation, Positivité (1)

Chercher dans le dépôt