Empathetic Practice: Reflective Reading Journals in the CEGEP Classroom

Abstract: In order to observe whether or not students appreciate the opportunity to learn affectively, this research was designed as an exploratory project aimed at identifying the ways in which reflective reading journals enabled students to respond empathetically to works of literary fiction. To understand the relationship between the act of reading and the experience of empathy, several questions were asked. The main question was: In what ways do reflective reading journals encourage students to read and understand works of fiction empathetically? Related concerns were taken into consideration: How do students describe their experience of empathy in response to the literary techniques such as plot and characterization? Students were also expected to consider the ways in which their thoughts on writing reflective reading journals underscored the need to forge empathetic awareness of the variety of opinions, experiences, and perspectives expressed in the works of fiction.||Résumé: Dans le but d'observer si les étudiants apprécient ou non la possibilité d'apprendre affectivement, cette recherche a été conçue comme un projet exploratoire visant à identifier les moyens que les journaux de lecture de réflexion ont permis aux étudiants de répondre avec empathie aux oeuvres de fiction littéraire. Pour comprendre la relation entre l'acte de lecture et l'expérience de l'empathie, plusieurs questions ont été posées. La question principale était la suivante: de quelles façons les journaux de lecture de réflexion encouragent les étudiants à lire et comprendre des oeuvres de fiction avec empathie? Des préoccupations du même ordre ont été prises en considération: Comment les étudiants décrivent-ils leur expérience de l'empathie en réponse aux techniques littéraires telles que l'intrigue et la caractérisation? Les étudiants doivent aussi examiner les façons dont leurs idées sur la rédaction de journaux de lecture de réflexion ont mis en évidence la nécessité de forger la prise de conscience empathique de la diversité d'opinions, d'expériences et de perspectives exprimée dans les oeuvres de fiction.

Exploring value propositions and service innovation : a service-dominant logic study

This paper presents an eight-firm study, conducted from the service-dominant logic perspective, which makes a contribution regarding knowledge of the anatomy of value propositions and service innovation. The paper suggests that value propositions are configurations of several different practices and resources. The paper finds that ten common practices, organized in three main aggregates, constitute and fulfill value propositions: i.e. provision practices, representational practices, and management and organizational practices. Moreover, the paper suggests that service innovation can be equated with the creation of new value propositions by means of developing existing or creating new practices and/or resources, or by means of integrating practices and resources in new ways. It identifies four types of service innovation (adaptation, resource-based innovation, practice-based innovation, and combinative innovation) and three types of service innovation processes (practice-based, resource-based, and combinative). The key managerial insight provided by the paper is that service innovation must be conducted and value propositions must be evaluated from the perspective of the customers’ value creation, the service that the customer experiences. Successful service innovation is not only contingent on having the right resources, established methods and practices for integrating these resources into attractive value propositions are also needed.

Advances in Deontic Logic [Review]

Abstract not available

Fuzzy Logic Foundations and Industrial Applications (ed. D. Ruan), Springer US, 1996, ISBN: 978-0-7923-9774-8 [Book review]

Abstract not available

Aparências da forma e forma do espaço: análise da configuração espacial de residências unifamiliares dos anos 1970 em João Pessoa PB

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures

A tableau system for Quasi-hybrid logic

Hybrid logic is a valuable tool for specifying relational structures, at the same time that allows defining accessibility relations between states, it provides a way to nominate and make mention to what happens at each specific state. However, due to the many sources nowadays available, we may need to deal with contradictory information. This is the reason why we came with the idea of Quasi-hybrid logic, which is a paraconsistent version of hybrid logic capable of dealing with inconsistencies in the information, written as hybrid formulas. In [5] we have already developed a semantics for this paraconsistent logic. In this paper we go a step forward, namely we study its proof-theoretical aspects. We present a complete tableau system for Quasi-hybrid logic, by combining both tableaux for Quasi-classical and Hybrid logics.

Rule-based and Resource-bounded: A New Look at Epistemic Logic

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Improving DPA and DFA resistance of circuits using asynchronous logic

International audience

RoMEO Studies 8: self-archiving: the logic behind the colour-coding used in the Copyright Knowledge Bank

Purpose – The purpose of this research is to show how the self-archiving of journal papers is a major step towards providing open access to research. However, copyright transfer agreements (CTAs) that are signed by an author prior to publication often indicate whether, and in what form, self-archiving is allowed. The SHERPA/RoMEO database enables easy access to publishers' policies in this area and uses a colour-coding scheme to classify publishers according to their self-archiving status. The database is currently being redeveloped and renamed the Copyright Knowledge Bank. However, it will still assign a colour to individual publishers indicating whether pre-prints can be self-archived (yellow), post-prints can be self-archived (blue), both pre-print and post-print can be archived (green) or neither (white). The nature of CTAs means that these decisions are rarely as straightforward as they may seem, and this paper describes the thinking and considerations that were used in assigning these colours in the light of the underlying principles and definitions of open access. Approach – Detailed analysis of a large number of CTAs led to the development of controlled vocabulary of terms which was carefully analysed to determine how these terms equate to the definition and “spirit” of open access. Findings – The paper reports on how conditions outlined by publishers in their CTAs, such as how or where a paper can be self-archived, affect the assignment of a self-archiving colour to the publisher. Value – The colour assignment is widely used by authors and repository administrators in determining whether academic papers can be self-archived. This paper provides a starting-point for further discussion and development of publisher classification in the open access environment.

Data structures for SIMD logic simulation

Due to the growth of design size and complexity, design verification is an important aspect of the Logic Circuit development process. The purpose of verification is to validate that the design meets the system requirements and specification. This is done by either functional or formal verification. The most popular approach to functional verification is the use of simulation based techniques. Using models to replicate the behaviour of an actual system is called simulation. In this thesis, a software/data structure architecture without explicit locks is proposed to accelerate logic gate circuit simulation. We call thus system ZSIM. The ZSIM software architecture simulator targets low cost SIMD multi-core machines. Its performance is evaluated on the Intel Xeon Phi and 2 other machines (Intel Xeon and AMD Opteron). The aim of these experiments is to: • Verify that the data structure used allows SIMD acceleration, particularly on machines with gather instructions ( section 5.3.1). • Verify that, on sufficiently large circuits, substantial gains could be made from multicore parallelism ( section 5.3.2 ). • Show that a simulator using this approach out-performs an existing commercial simulator on a standard workstation ( section 5.3.3 ). • Show that the performance on a cheap Xeon Phi card is competitive with results reported elsewhere on much more expensive super-computers ( section 5.3.5 ). To evaluate the ZSIM, two types of test circuits were used: 1. Circuits from the IWLS benchmark suit [1] which allow direct comparison with other published studies of parallel simulators.2. Circuits generated by a parametrised circuit synthesizer. The synthesizer used an algorithm that has been shown to generate circuits that are statistically representative of real logic circuits. The synthesizer allowed testing of a range of very large circuits, larger than the ones for which it was possible to obtain open source files. The experimental results show that with SIMD acceleration and multicore, ZSIM gained a peak parallelisation factor of 300 on Intel Xeon Phi and 11 on Intel Xeon. With only SIMD enabled, ZSIM achieved a maximum parallelistion gain of 10 on Intel Xeon Phi and 4 on Intel Xeon. Furthermore, it was shown that this software architecture simulator running on a SIMD machine is much faster than, and can handle much bigger circuits than a widely used commercial simulator (Xilinx) running on a workstation. The performance achieved by ZSIM was also compared with similar pre-existing work on logic simulation targeting GPUs and supercomputers. It was shown that ZSIM simulator running on a Xeon Phi machine gives comparable simulation performance to the IBM Blue Gene supercomputer at very much lower cost. The experimental results have shown that the Xeon Phi is competitive with simulation on GPUs and allows the handling of much larger circuits than have been reported for GPU simulation. When targeting Xeon Phi architecture, the automatic cache management of the Xeon Phi, handles and manages the on-chip local store without any explicit mention of the local store being made in the architecture of the simulator itself. However, targeting GPUs, explicit cache management in program increases the complexity of the software architecture. Furthermore, one of the strongest points of the ZSIM simulator is its portability. Note that the same code was tested on both AMD and Xeon Phi machines. The same architecture that efficiently performs on Xeon Phi, was ported into a 64 core NUMA AMD Opteron. To conclude, the two main achievements are restated as following: The primary achievement of this work was proving that the ZSIM architecture was faster than previously published logic simulators on low cost platforms. The secondary achievement was the development of a synthetic testing suite that went beyond the scale range that was previously publicly available, based on prior work that showed the synthesis technique is valid.