La propension des gestionnaires envers les évaluations participatives

Davantage d’évaluations de projets internationaux dans les pays en développement se réalisent pour informer les décisions sur la base de données probantes. L’utilisation des résultats d’évaluation est remise en cause et pour y remédier des évaluations participatives qui incluent à certaines étapes du processus évaluatif des acteurs non évaluateurs sont proposées. Parmi celles-ci, les évaluations participatives pratiques visent principalement à améliorer l’utilisation du processus et des résultats des évaluations. Ces évaluations participatives pratiques seraient obstruées par des attitudes individuelles négatives, ou résistance individuelle au changement, et favorisées par des attitudes individuelles positives, ou propension. Cette thèse propose d’étudier la propension individuelle des gestionnaires envers les évaluations participatives pratiques d’intervention (EPP), les éléments influençant cette propension, et de caractériser des niveaux de propension des individus envers les EPP. Tout d’abord une revue de littérature a proposé une définition multidimensionnelle de la propension envers les EPP comme étant une attitude favorable envers la pratique des EPP qui se décline à chaque étape d’une évaluation sous les volets affectif et cognitif. Les dimensions identifiées théoriquement étaient : apprentissage, travail en groupe, emploi de méthodes systématiques, usage de l’esprit critique. Ces dimensions ont servi de cadre pour la partie empirique de la thèse. Une étude de cas multiples avec les gestionnaires d’une institution de santé en Haïti a été menée pour contextualiser la propension et identifier les éléments d’influence. Les données ont été recueillies à l’aide d’entrevues semi-structurées et de sources documentaires. L’analyse des données concernant l’apprentissage a révélé une prédominance des formes d’apprentissage par l’action et par l’observation. Le travail en groupe se retrouve ancré dans la pratique des gestionnaires administratifs et des gestionnaires cliniques. Les méthodes systématiques se reflètent principalement dans la consultation de plusieurs acteurs ayant de l’intérêt pour la problématique immédiate à solutionner plutôt que par l’outillage méthodologique. L’emploi de méthodes systématiques prend généralement la forme de consultation élargie d’avis pour régler une situation ou prend la forme de tentative de validation des informations reçues. L’esprit critique se déclenche sous stimulation lorsque l’image individuelle, professionnelle, corporative ou organisationnelle est touchée ou lors de suggestions jugées constructives. En plus de contextualiser quatre composantes de la propension individuelle envers les EPP, les gestionnaires se sont positionnés par rapport à la propension de leurs collègues sur la base de la réactivité, plus ou moins réactif vis-à-vis des composantes de la propension individuelle. Ainsi, la propension étudiée empiriquement a laissé émerger deux axes : un axe formalisation et un axe réactivité. L’axe formalisation reprend la contextualisation des quatre composantes de la propension individuelle envers les EPP, soit la forme d’expression des composantes. L’axe réactivité reprend le niveau d’activité déployé dans chaque composante de la propension individuelle, de réactif à plus proactif. De plus, des profils d’individus ayant différents niveaux de propension envers les EPP ont été développés. Des influences favorables et défavorables au niveau de propension envers les EPP ont été identifiées. L’originalité de cette thèse tient dans le fait de se positionner dans un courant récent de réflexion autour de la résistance aux changements et aux évaluations avec un regard positif et d’avoir défini théoriquement et appliqué empiriquement le concept pluridimensionnel de propension individuelle aux EPP. Des profils de niveau de propension individuelle aux EPP et les éléments d’influence favorables et défavorables associés peuvent servir d’outil de diagnostic aux types d’évaluation possibles, servir d’ajustement à la mise en place d’évaluations selon les interlocuteurs, permettre le suivi des changements de niveaux de propension pendant une EPP et servir de sources d’informations pour ajuster les plans d’évaluations participatives.

À l’écoute du soignant : relation de soins et considérations éthiques dans la pratique des soins psychiatriques communautaires

Un phénomène de résistance au traitement pharmacologique chez les personnes souffrant de maladies psychiatriques graves et persistantes comme la schizophrénie, tel que révélé par la pratique des soins psychiatriques communautaires de première ligne, sert de point de départ pour poser une distinction fondamentale entre les notions de traitement et de soins. Conséquemment, la question du consentement selon qu’il est attribué au traitement ou aux soins suggère des formes de consentement distinctes susceptible d’affecter la façon de faire face à des problèmes particuliers sur le plan de l’éthique. L’analyse conceptuelle d’un certain modèle d’interventions psychiatriques de crise, qui regroupe des travailleurs de la santé et des policiers au sein d’une même équipe de travail, permet de circonscrire des catégories de problèmes éthiques qui conduiront éventuellement à la formalisation d’une approche de résolution de problème. Trois façons d’approcher un problème d’éthique clinique sont proposées sous la forme d’enjeux, de dilemmes, puis de défis éthiques. L’intervention de crise y est catégorisée selon quatre niveaux d’intensité de crise, donnant lieu à une appréciation subjective par le soignant de la capacité de la personne soignée d’établir et de maintenir une relation de soins en situation de crise. Des parallèles entre les soins psychiatriques et les soins palliatifs permettent d’approfondir la question de la souffrance en lien avec la douleur et de distinguer à nouveau les notions de soins et de traitement. La relation de soins est présentée comme une occasion de normaliser les rapports entre soignants et soignés, de valoriser un état de souffrance à l’origine de la rencontre de soins, tout en mettant à profit la dimension relationnelle d’une condition qui appelle à être non pas traitée mais soignée. Ces considérations permettent de dégager une responsabilité nouvelle pour le soignant : celle de se faire le gardien de la relation de soins. Une transition du primum non nocere au primum non excludere : d’abord ne pas exclure est suggérée comme une maxime pour guider la relation de soins vers un consentement aux soins plus authentique.

What is ambiguity?

The concept of Ambiguity designates those situations where the information available to the decision maker is insufficient to form a probabilistic view of the world. Thus, it has provided the motivation for departing from the Subjective Expected Utility (SEU) paradigm. Yet, the formalization of the concept is missing. This is a grave omission as it leaves non-expected utility models hanging on a shaky ground. In particular, it leaves unanswered basic questions such as: (1) Does Ambiguity exist?; (2) If so, which situations should be labeled as "ambiguous"?; (3) Why should one depart from Subjective Expected Utility (SEU) in the presence of Ambiguity?; and (4) If so, what kind of behavior should emerge in the presence of Ambiguity? The present paper fills these gaps. Specifically, it identifies those information structures that are incompatible with SEU theory, and shows that their mathematical properties are the formal counterpart of the intuitive idea of insufficient information. These are used to give a formal definition of Ambiguity and, consequently, to distinguish between ambiguous and unambiguous situations. Finally, the paper shows that behavior not conforming to SEU theory must emerge in correspondence of insufficient information and identifies the class of non-EU models that emerge in the face of Ambiguity. The paper also proposes a new comparative definition of Ambiguity, and discusses its relation with some of the existing literature.

Conceptual information systems discussed through an IT-security tool

Conceptual Information Systems are based on a formalization of the concept of "concept" as it is discussed in traditional philosophical logic. This formalization supports a human-centered approach to the development of Information Systems. We discuss this approach by means of an implemented Conceptual Information System for supporting IT security management in companies and organizations.

Instant Storyboarding

This thesis aims at empowering software customers with a tool to build software tests them selves, based on a gradual refinement of natural language scenarios into executable visual test models. The process is divided in five steps: 1. First, a natural language parser is used to extract a graph of grammatical relations from the textual scenario descriptions. 2. The resulting graph is transformed into an informal story pattern by interpreting structurization rules based on Fujaba Story Diagrams. 3. While the informal story pattern can already be used by humans the diagram still lacks technical details, especially type information. To add them, a recommender based framework uses web sites and other resources to generate formalization rules. 4. As a preparation for the code generation the classes derived for formal story patterns are aligned across all story steps, substituting a class diagram. 5. Finally, a headless version of Fujaba is used to generate an executable JUnit test. The graph transformations used in the browser application are specified in a textual domain specific language and visualized as story pattern. Last but not least, only the heavyweight parsing (step 1) and code generation (step 5) are executed on the server side. All graph transformation steps (2, 3 and 4) are executed in the browser by an interpreter written in JavaScript/GWT. This result paves the way for online collaboration between global teams of software customers, IT business analysts and software developers.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

A Theory of Quantitative Inference Applied to a Mechanical Design Compiler

This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. Unlike programs for designing single components or systems, the program provides the designer with a high level "language" in which to compose new designs. It then performs some of the detailed design process. The process of "compilation" is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions. This allows the design compilation without the exhaustive enumeration of alternatives.

The Logical Problem of Language Change

This paper considers the problem of language change. Linguists must explain not only how languages are learned but also how and why they have evolved along certain trajectories and not others. While the language learning problem has focused on the behavior of individuals and how they acquire a particular grammar from a class of grammars ${cal G}$, here we consider a population of such learners and investigate the emergent, global population characteristics of linguistic communities over several generations. We argue that language change follows logically from specific assumptions about grammatical theories and learning paradigms. In particular, we are able to transform parameterized theories and memoryless acquisition algorithms into grammatical dynamical systems, whose evolution depicts a population's evolving linguistic composition. We investigate the linguistic and computational consequences of this model, showing that the formalization allows one to ask questions about diachronic that one otherwise could not ask, such as the effect of varying initial conditions on the resulting diachronic trajectories. From a more programmatic perspective, we give an example of how the dynamical system model for language change can serve as a way to distinguish among alternative grammatical theories, introducing a formal diachronic adequacy criterion for linguistic theories.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Dissolution of Dynamic Electronic Institutions, a first approach: Relevant factors and causes

In the context of the digital business ecosystems, small organizations cooperate between them in order to achieve common goals or offer new services for expanding their markets. There are different approaches for these cooperation models such as virtual enterprises, virtual organizations or dynamic electronic institutions which in their lifecycle have in common a dissolution phase. However this phase has not been studied deeply in the current literature and it lacks formalization. In this paper a first approach for achieving and managing the dissolution phase is proposed, as well as a CBR process in order to support it in a multi-agent system

Perdurabilidad empresarial caso grupo empresarial Oikos S.A.

En Colombia se puede ver un alto número de creación de medianas y pequeñas empresas, pero un alto porcentaje de éstas no logran perdurar en el tiempo y cierran, mostrando así un grado significativo de morbilidad de las empresas colombianas. Según el Global Entrepreneurship Monitor – GEM , el 10,52% de las empresas que nacen en Colombia no son perdurables, por esta razón el estudio de la perdurabilidad de empresas del país ayuda a identificar cuáles son los componentes claves que han tenido durante sus años de vida y de igual forma cómo estos han ayudado a que perduren, logrando así ayudar a la correcta constitución de PYMES y a su vez se traduzca en la disminución de las tasas de desempleo que tiene el país. El Grupo de Investigación de Perdurabilidad de la Universidad del Rosario, ha identificado los siguientes trece componentes: Identidad Organizacional, Formalización para el Gobierno, Cohesión Social para la Acción, Reconocimiento por el Entorno y el Sector, diferenciación, Dinámica Social de los Empleados, Factores que aportan a la Eficiencia, Consolidación, Gestión Integral, Conocimiento de Entorno y Mercado, Eficiencia en Procesos y Gestión Financiera. Con la información recolectada y las encuestas realizadas, se obtuvo información de los empleados del Grupo Empresarial Oikos S.A., para determinar cuáles componentes se encontraban en la empresa y cuáles tenían mayor relevancia, corroborando de este modo si estos trece componentes contribuyen a la medición de la perdurabilidad empresarial.

Desconocimiento de la propiedad colectiva en Colombia: a la luz del Sistema Interamericano de Derechos Humanos

La jurisprudencia de la Corte Interamericana de Derechos Humanos de los últimos años, ha establecido una serie de criterios y medidas que configurarían un catálogo de disposiciones que deben emprender los Estados para garantizar la real protección del derecho de propiedad de las comunidades indígenas y tribales. Dichas medidas deben ser implementadas en los procesos de formalización y titularización de las tierras ancestrales ocupadas, en la delimitación y demarcación del terreno, en la restitución de porciones de tierra pérdida, en la estipulación de criterios para el otorgamiento de tierras alternativas; y en los estudios que tiendan a establecer políticas públicas para la satisfacción de las necesidades de las comunidades relativas a la producción y posesión de la tierra como mecanismo idóneo para el mantenimiento de condiciones de vida digna. La regulación colombiana para las tierras de las comunidades indígenas y las comunidades afrocolombianas presenta aspectos divergentes: las primeras poseen una reglamentación destinada a la ampliación, reestructuración y saneamiento de los resguardos indígenas, y las segundas están regidas bajo un estatuto general de la propiedad colectiva y adjudicación de baldíos. En los dos sistemas, los procedimientos son complejos, tardíos, confusos, requieren de sofisticados prerrequisitos, y ante todo su estructura está basada bajo criterios de una sociedad no indígena y no tribal. Adicionalmente, el compendio normativo en materia de titulación, delimitación y demarcación de tierras de comunidades afrocolombianas antes enunciado, presenta diversas lagunas normativas que se acentúan con la carencia de actualización de dicha regulación a las condiciones actuales si se tiene en cuenta que no ha existido modificación a la misma en los últimos 19 años, y que hacen necesario aplicar analógicamente las disposiciones del Código Civil en materia de propiedad individual a efectos de dar respuesta a los supuestos de hecho no contemplados.