Les confidences d'un Grand Maître
Guy Piau
Etre initié c'est acquérir un état toujours plus élevé de sérénité et de tolérance. L'initiation n'est ni une révélation ni une transmission opérée lors d'une cérémonie soumise à un rite de passage. Les cérémonies que l'ordre maçonnique expose ne confèrent pas l"initiation, elles en ouvrent la voie. L'auteur témoigne dans ce livre de son parcours dans l'ordre maçonnique du rite écossais ancien et accepté.
-
Prix
27,36 €
-
Date d'expédition estimée
Dans 5 jours
Quantity discounts:
| Quantité | Remise | Price per book |
|---|---|---|
| 25+ | 1% | 27,09 € |
| 50+ | 2% | 26,81 € |
| 100+ | 3% | 26,54 € |
| 250+ | 5% | 25,99 € |
-
Je suis un directeur d'hôpital retraité, ancien Grand Maître de la Grande Loge de France. J'ai écrit de nombreux ouvrages, notamment un roman Lavaldingue (éditions Baudelaire), un recueil de poèmes, La Vraie image et le miroir. J'ai aussi publié les Confidences d'un Grand Maître et en 2014, l'Oeuvre au Rouge (chez P.G de Roux à Paris).
Voir le profil de Guy Piau Voir les autres livres de Guy Piau -
Nous proposons dans ce livre une nouvelle méthode de vérification des propriétés stationnaires dans les systèmes à large échelle et nous appliquons cette mélthode sur la vérification des propriétés de dependabilité dans les systèmes informatiques à large échelle. Nous proposons d’utiliser la simulation parfaite et les méthodes statistiques pour effectuer le model checking probabiliste, afin de vérifier les propriétés stationnaires des systèmes informatiques à large échelle et analyser ainsi leur sureté de fonctionnement. La simulation parfaite avec le couplage dans le passé est reconnue efficace et précise pour calculer la distribution stationnaire. Nous proposons dans ce livre de nouveaux algorithmes de model checking qui reposent sur les méthodes statistiques et sur la simulation parfaite. On applique cette méthode de model checking sur différents études de cas issues de quelques ” benchmarks ” connues. Nous étudions l’efficacité et la scalabilité de nos algorithmes proposés. Nous comparons ainsi la performance des différents méthodes statistiques existantes en les intégrant dans notre méthode de vérification. Ensuite nous comparons les résultats obtenus à l’aide de cette méthode avec d’autres approches existantes de model checking numérique et statistique. Nous avons démontré théloriquement et expérimentalement, que notre méthode est plus efficace que les autres approches existantes en termes de temps de vérification nécessaire pour les modèles à large échelle et qu’elle résiste mieux aux effets d’échelle, est aussi plus scalable et ne souffre pas de limitations mémoire.
-
Nombre de pages 546 Langue french Type Livre imprimé en niveaux de gris Format A4 Papier Papier standard Couverture Couverture souple Reliure Dos carré collé Lamination Aucun ISBN 978-2-8083-0611-9 -
Le Livre en Papier, c'est aussi :
-
Paiements par carte
Le Livre en Papier vous permet de payer vos commandes par Bancontact, Visa et MasterCard, mais aussi par virement bancaire.
-
Livraison internationale
Le Livre en Papier expédie vos commandes où que vous soyez via les services Bpost.
-
Publication gratuite de vos livres !
Le Livre en Papier vous permet de publier un livre gratuitement, sans surprise ni frais cachés. Cliquez ici pour plus d'informations.
-
Paiements par carte
Vous aimerez aussi
