Case Studies in Data-Driven Verification of Dynamical Systems

To apply the shape invariant model approach to approximate functional data from a dynamic simulator, firstly we have to modify the parameters estimation procedure for large number

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

Using the proposed method, a tenant can check the integrity of the data stored in the cloud, and a provider can check the correctness of SLO violation claims without relying on

This paper deals with an analytical and computation strategy, based on the adjoint vari- able approach and boundary integral equation (BIE) formulations, for evaluating void or

Our analysis of the previous section demonstrate that, in a scientific hypothesis generation context, crowdsourcing should be thought as an iterative activity where

F λ -madogram to fit spatial max-mixture models, which combine max-stable and inverted max- mixture processes into a single family, in order to capture both asymptotic dependence

 The  selection  of  a   limited  number  of  relevant  combinations  of  nonmanuals,  in  the  context  of  pauses  and  palm-up  signs,  proves  to  simplify

Data-driven scene graphs merge a description of the user interface behavior as a data-flow program with a description of its graphics content as a hierarchical structure of vector