Personnaliser

OK

Informations importantes : Arrêt du Club R (13 août) et Cessation d'Activité (30 septembre)

En savoir plus.

From Data to Models and Back -

Note : 0

0 avis
  • Soyez le premier à donner un avis

87,85 €

Produit Neuf

  • Ou 21,96 € /mois

    • Livraison : 3,99 €
    • Livré entre le 21 et le 27 août
    Voir les modes de livraison

    M_plus_L

    PRO Vendeur favori

    4,8/5 sur + de 1 000 ventes

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur From Data To Models And Back Format Broché  - Livre Informatique

        Note : 0 0 avis sur From Data To Models And Back Format Broché  - Livre Informatique

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation From Data To Models And Back Format Broché

         - Livre Informatique

        Livre Informatique - 01/10/2022 - Broché - Langue : Anglais

        . .

      • Editeur : Springer International Publishing Ag
      • Langue : Anglais
      • Parution : 01/10/2022
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 204
      • Expédition : 318
      • Dimensions : 23.5 x 15.5 x 1.2
      • ISBN : 303116010X



      • Résumé :

        This book constitutes the refereed proceedings of the 10th International Symposium From Data Models and Back, DataMod 2021, which was held virtually during December 6-7, 2021, as a satellite event of SEFM 2021.
        The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 12 submissions. They were organized in topical sections as follows: Model veri?cation; data mining and processing related approaches; and other approaches.

        Biographie:
        .

        Sommaire:
        ?Invited Talks.- MultiVeStA: Statistical Analysis of Economic Agent-Based Models by

        Statistical Model Checking.- 10 Years of DataMod: the Synergy of Data-driven and Model-based
        Approaches.- Model Veri?cation.- Analysis and veri?cation of robustness properties in Becker-D?ring model.- A Secure User-Centred Healthcare System: Design and Veri?cation.- Model-based Security Assessment on the Design of a Patient-centric Data Sharing Platform.- Model Checking Video Streams using VoxLogicA on GPU.- Data Mining and Processing Related Approaches.- Privacy Risk and Data Utility Assessment on Network Data.- Detecting Anxiety Trends Using Wearable Sensor Data in Real-world Situations.- Other Approaches.- Combining quantitative data with logic-based speci?cations for parameter inference.- Learning Program Input Grammars with Help from Abstract Syntax Trees.- Spatio-temporal model checking for 3D individual-based biofilm simulations.- A Web-based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science.

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com