Narrow your search

Library

KBR (2)

ULB (2)

ULiège (2)

AP (1)

EhB (1)

KDG (1)

KU Leuven (1)

UCLouvain (1)

UGent (1)

UNamur (1)

More...

Resource type

book (6)

digital (1)


Language

English (5)

French (2)


Year
From To Submit

2022 (2)

2013 (1)

2012 (2)

1993 (1)

1992 (1)

Listing 1 - 7 of 7
Sort by

Book
Manuel d'analyse cognitive des émotions : théorie et applications
Author:
ISBN: 9782100834365 2100834363 Year: 2022 Publisher: Malakoff: Dunod,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Fruit d’une longue expérience de l’auteur, cet ouvrage présente l’Analyse Cognitive des Émotions (ACE), méthode pour analyser et comprendre les émotions puis éventuellement modifier les représentations « négatives » d’une scène émotionnelle. L’ACE est avant tout une méthode originale, simple et pratique : originale car basée sur des nouveaux modèles tout en étant compatible avec la psychologie scientifique ; simple car compréhensible et applicable par tous ; pratique car la lecture attentive de ce manuel, couplée aux exercices proposés, permettra d’en acquérir les bases nécessaires à son utilisation. Rédigé dans un langage clair et pédagogique, ce livre est un véritable outil pour devenir de plus en plus réaliste (sur soi-même et sur les autres), réguler les émotions (les siennes et celles des autres) et donc accroitre sa santé psychologique.


Book
Manuel d'analyse cognitive des émotions : Théorie et applications
Author:
ISBN: 2100840169 Year: 2022 Publisher: Malakoff : Dunod Editeur,

Loading...
Export citation

Choose an application

Bookmark

Abstract

« Fruit d'une longue expérience de l'auteur, cet ouvrage présente l'Analyse Cognitive des Émotions (ACE), méthode pour analyser et comprendre les émotions puis éventuellement modifier les représentations « négatives » d'une scène émotionnelle. L'ACE est avant tout une méthode originale, simple et pratique : originale car basée sur des nouveaux modèles tout en étant compatible avec la psychologie scientifique ; simple car compréhensible et applicable par tous ; pratique car la lecture attentive de ce manuel, couplée aux exercices proposés, permettra d'en acquérir les bases nécessaires à son utilisation. Rédigé dans un langage clair et pédagogique, ce livre est un véritable outil pour devenir de plus en plus réaliste (sur soi-même et sur les autres), réguler les émotions (les siennes et celles des autres) et donc accroître sa santé psychologique. »--Quatrième de couverture.

STACS 92 : 9th Annual Symposium on theoretical aspects of computer science, Cachan, France, February 13-15, 1992 : proceedings
Authors: ---
ISBN: 3540552103 0387552103 3540467750 Year: 1992 Volume: vol 577 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.

STACS 93 : 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993 : proceedings
Authors: --- ---
ISBN: 3540565035 0387565035 3540475745 Year: 1993 Volume: 665 Publisher: Berlin New York Springer-Verlag

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.


Digital
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Authors: --- ---
ISBN: 9783642335129 Year: 2012 Publisher: Berlin, Heidelberg Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Reachability Problems : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
Authors: --- --- ---
ISBN: 9783642335129 Year: 2012 Publisher: Berlin Heidelberg Springer Berlin Heidelberg Imprint Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.


Book
Systems and software verification : model-checking techniques and tools
Authors: --- --- --- ---
ISBN: 9783642074783 3642074782 Year: 2013 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Listing 1 - 7 of 7
Sort by