Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché

Representation Theorems in Computer Science - Özçep, Özgür Lütfü

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

154,79 €

Produit Neuf

Ou 38,70 € /mois

Livraison : 3,99 €
Livré entre le 22 et le 28 juillet

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Nos autres offres

163,44 €

Produit Neuf

Ou 40,86 € /mois

En savoir plus
- Livraison à 0,01 €
- Livré entre le 23 juillet et le 4 août
Voir les modes de livraison
RiaChristie

PRO

4,9/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030257873_dbm

Voir le détail de l'annonce

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

Terminer ma commande

Gratuit et sans engagement

Félicitations !

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

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché - Livre Informatique

Note : 0 0 avis sur Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

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

Produits similaires

Présentation Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché
- Livre Informatique

Livre Informatique - Özçep, Özgür Lütfü - 01/08/2020 - Broché - Langue : Anglais

Auteur(s) : Özçep, Özgür Lütfü

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/08/2020

Format : Moyen, de 350g à 1kg

Nombre de pages : 204

Expédition : 318

Dimensions : 23.5 x 15.5 x 1.2

ISBN : 9783030257873

Résumé :

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an understanding of all models of a specification in order to exclude possible unintended models, demonstrating the general methodology with representation theorems for applications in qualitative spatial reasoning, data stream processing, and belief revision.

For qualitative spatial reasoning, it develops a model of spatial relatedness that captures the scaling context with hierarchical partitions of a spatial domain, and axiomatically characterizes the resulting relations. It also shows that various important properties of stream processing, such as prefix-determinedness or various factorization properties can be axiomatized, and that the axioms are fulfilled by natural classes of stream functions. The third example is belief revision, which is concerned with the revision of knowledge bases under new, potentially incompatible information. In this context, the book considers a subclass of revision operators, namely the class of reinterpretation operators, and characterizes them axiomatically. A characteristic property of reinterpretation operators is that of dissolving potential inconsistencies by reinterpreting symbols of the knowledge base.

Intended for researchers in theoretical computer science or one of the above application domains, the book presents results that demonstrate the use of representation theorems for the design and evaluation of formal specifications, and provide the basis for future application-development kits that support application designers with automatically built representations.

...

Biographie:
??zg?r L. ?z?ep is a researcher and lecturer (Privatdozent) at the University of L?beck. His research as well as his teaching covers foundational aspects of computer science with a focus on logical and mathematical modelling for AI related domains and problems. He has published in the areas of belief revision, description logics, ontologies, qualitative spatial reasoning, and stream processing....

Sommaire:
1 Introduction.- 2 Preliminaries.- 3 Representing Spatial Relatedness.- 4 Scalable Spatio-Thematic Query Answering.- 5 Representation Theorems for Stream Processing.- 6 High-Level Declarative Stream Processing.- 7 Representation for Belief Revision.- 8 Conclusion.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Representation Theorems in Computer Science - Özçep, Özgür Lütfü

Avis sur Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché - Livre Informatique

Présentation Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché - Livre Informatique

Présentation Representation Theorems In Computer Science de Özçep, Özgür Lütfü Format Broché
- Livre Informatique