Integrating runtime assertions with dynamic types: Structuring a derivation from an incomputable specification

An inherent incomputability in the specification of a functional language extension that combines assertions with dynamic type checking is isolated in an explicit derivation from mathematical specifications. The combination of types and assertions (into "dynamic assertion-types" - DATs) is a significant issue since, because the two are congruent means for program correctness, benefit arises from their better integration in contrast to the harm resulting from their unnecessary separation. However, projecting the "set membership" view of assertion-checking into dynamic types results in some incomputable combinations. Refinement of the specification of DAT checking into an implementation by rigorous application of mathematical identities becomes feasible through the addition of a "best-approximate" pseudo-equality that isolates the incomputable component of the specification. This formal treatment leads to an improved, more maintainable outcome with further development potential.

QUALIDADE DE VIDA E ESTRATÉGIAS DE ENFRENTAMENTO DE MULHERES COM E SEM LINFEDEMA APÓS CÂNCER DE MAMA

O linfedema no membro superior é uma complicação inerente ao tratamento de câncer de mama. Caracterizado pelo aumento do volume do membro, leva às limitações físicas e funcionais, e impacto negativo no âmbito psicológico e social. O objetivo deste estudo foi investigar a qualidade de vida e seus domínios, as estratégias de enfrentamento frente ao câncer de mama, e a correlação entre essas variáveis. Este estudo foi realizado em um centro de saúde dedicado às mulheres, por quatro meses. Os instrumentos de avaliação foram: questionário de caracterização geral e específico do câncer de mama, perimetria dos membros superiores; questionários de qualidade de vida da Organização Européia de Pesquisa e Tratamento do Câncer, EORTC QLQ-30 e BR-23; e Inventário de Estratégias de Coping. Foram entrevistadas 82 mulheres, idade média de 57,4 anos (DV12,3), submetidas a tratamento cirúrgico de mama unilateral e esvaziamento axilar, sem metástase. O linfedema apresentou-se em 39,03% (32) e parece não interferir muito na qualidade de vida das mulheres pós-câncer de mama, sendo a função social a mais prejudicada. Sintomas relacionados à quimioterapia e a mama incomodam as mulheres de ambos grupos, porém os sintomas relacionados aos braços foram estatisticamente maiores nas portadoras de linfedema. As estratégias mais utilizadas pelas entrevistadas para enfrentar o câncer foram a reavaliação, resolução de problemas, fuga, suporte social e autocontrole, somente o autocontrole foi estatisticamente maior nas mulheres com linfedema. As estratégias de resolução de problemas, autocontrole e baixo suporte social podem ter colaborado para o desencadeamento do linfedema. Conclui-se que o uso de estratégias ativas e positivas para enfrentar o câncer de mama parece resultar na boa adaptação psicossocial

Transnational environmental policy:reconstructing ozone

Transnational Environmental Policy analyses a surprising success story in the field of international environmental policy making: the threat to the ozone layer posed by industrial chemicals, and how it has been averted. The book also raises the more general question about the problem-solving capacities of industrialised countries and the world society as a whole. Reiner Grundmann investigates the regulations which have been put in place at an international level, and how the process evolved over twenty years in the US and Germany.

Approaching questions in forensic authorship analysis

This chapter demonstrates diversity in the activity of authorship and the corresponding diversity of forensic authorship analysis questions and techniques. Authorship is discussed in terms of Love’s (2002) multifunctional description of precursory, executive, declarative and revisionary authorship activities and the implications of this distinction for forensic problem solving. Four different authorship questions are considered. These are ‘How was the text produced?’, ‘How many people wrote the text?’, ‘What kind of person wrote the text?’ and ‘What is the relationship of a queried text with comparison texts?’ Different approaches to forensic authorship analysis are discussed in terms of their appropriateness to answering different authorship questions. The conclusion drawn is that no one technique will ever be appropriate to all problems.

Clustering strategies for object databases

When object databases arrived on the scene some ten years ago, they provided database capabilities for previously neglected, complex applications, such as CAD, but were burdened with one inherent teething problem, poor performance. Physical database design is one tool that can provide performance improvements and it is the general area of concern for this thesis. Clustering is one fruitful design technique which can provide improvements in performance. However, clustering in object databases has not been explored in depth and so has not been truly exploited. Further, clustering, although a physical concern, can be determined from the logical model. The object model is richer than previous models, notably the relational model, and so it is anticipated that the opportunities with respect to clustering are greater. This thesis provides a thorough analysis of object clustering strategies with a view to highlighting any links between the object logical and physical model and improving performance. This is achieved by considering all possible types of object logical model construct and the implementation of those constructs in terms of theoretical clusterings strategies to produce actual clustering arrangements. This analysis results in a greater understanding of object clustering strategies, aiding designers in the development process and providing some valuable rules of thumb to support the design process.

A cybernetic methodology to study and design human activities

This thesis offers a methodology to study and design effective communication mechanisms in human activities. The methodology is focused in the management of complexity. It is argued that complexity is not something objective that can be worked out analytically, but something subjective that depends on the viewpoint. Also it is argued that while certain social contexts may inhibit, others may enhance the viewpoint's capabilities to deal with complexity. Certain organisation structures are more likely than others to allow individuals to release their potentials. Thus, the relevance of studying and designing effective organisations. The first part of the thesis offers a `cybernetic methodology' for problem solving in human activities, the second offers a `method' to study and design organisations. The cybernetics methodology discussed in this work is rooted in second order cybernetics, or the cybernetics of the observing systems (Von Foester 1979, Maturana and Varela 1980). Its main tenet is that the known properties of the real world reside in the individual and not in the world itself. This view, which puts emphasis in a, by nature, one sided and unilateral appreciation of reality, triggers the need for dialogue and conversations to construct it. The `method' to study and design organisations, it based on Beer's Viable System Model (Beer 1979, 1981, 1985). This model permits us to assess how successful is an organisation in coping with its environmental complexity, and, moreover, permits us to establish how to make more effective the responses to this complexity. These features of the model are of great significance in a world where complexity is perceived to be growing at an unthinkable pace. But, `seeing' these features of the model assumes an effective appreciation of organisational complexity; hence the need for the methodological discussions offered by the first part of the thesis.

Disciplinary talk:a systemic functional exploration of university seminar discussions

Despite the growth of spoken academic corpora in recent years, relatively little is known about the language of seminar discussions in higher education. This thesis compares seminar discussions across three disciplinary areas. The aim of this thesis is to uncover the functions and patterns of talk used in different disciplinary discussions and to highlight language on a macro and micro level that would be useful for materials design and teaching purposes. A framework for identifying and analysing genres in spoken language based on Hallidayan Systemic Functional Linguistics (SFL) is used. Stretches of talk sharing a similar purpose and predictable functional staging, termed Discussion Macro Genres (DMGs) are identified. Language is compared across DMGs and across disciplines through use of corpus techniques in conjunction with SFL genre theory. Data for the study comprises just over 180,000 tokens and is drawn from the British Academic Spoken English corpus (BASE), recorded at two universities in the UK. The discipline areas investigated are Arts and Humanities, Social Sciences and Physical Sciences. Findings from this study make theoretical, empirical and methodological contributions to the field of spoken EAP. The empirical findings are firstly, that the majority of the seminar discussion can be assigned to one of the three main DMG in the corpus: Responding, Debating and Problem Solving. Secondly, it characterises each discipline area according to two DMGs. Thirdly, the majority of the discussion is non-oppositional in nature, suggesting that ‘debate’ is not the only form of discussion that students need to be prepared for. Finally, while some characteristics of the discussion are tied to the DMG and common across disciplines, others are discipline specific. On a theoretical level, this study shows that an SFL genre model for investigating spoken discourse can be successfully extended to investigate longer stretches of discourse than have previously been identified. The methodological contribution is to demonstrate how corpus techniques can be combined with SFL genre theory to investigate extended stretches of spoken discussion. The thesis will be of value to those working in the field of teaching spoken EAP/ ESAP as well as to materials developers.

A method for systematic artifact selection decision making

Artifact selection decisions typically involve the selection of one from a number of possible/candidate options (decision alternatives). In order to support such decisions, it is important to identify and recognize relevant key issues of problem solving and decision making (Albers, 1996; Harris, 1998a, 1998b; Jacobs & Holten, 1995; Loch & Conger, 1996; Rumble, 1991; Sauter, 1999; Simon, 1986). Sauter classifies four problem solving/decision making styles: (1) left-brain style, (2) right-brain style, (3) accommodating, and (4) integrated (Sauter, 1999). The left-brain style employs analytical and quantitative techniques and relies on rational and logical reasoning. In an effort to achieve predictability and minimize uncertainty, problems are explicitly defined, solution methods are determined, orderly information searches are conducted, and analysis is increasingly refined. Left-brain style decision making works best when it is possible to predict/control, measure, and quantify all relevant variables, and when information is complete. In direct contrast, right-brain style decision making is based on intuitive techniques—it places more emphasis on feelings than facts. Accommodating decision makers use their non-dominant style when they realize that it will work best in a given situation. Lastly, integrated style decision makers are able to combine the left- and right-brain styles—they use analytical processes to filter information and intuition to contend with uncertainty and complexity.

Filling knowledge gaps:knowledge sharing across inter-firm boundaries and occupational communities

This paper explores the micro-level processes of interaction across organisational boundaries and occupational communities. Based on a retrospective processual analysis, this study shows that in filling knowledge gaps, organisations put in place a series of knowledge mechanisms, which lead them to socially interact with their alliance partners. Both the deployment of existing knowledge and the creation of new knowledge are based on processes of interaction, which derive from the interplay between alliance actors. It is suggested that through both social interaction and the use of boundary objects, individuals are able to communicate, engage in problem-solving activities and share their ideas to fill knowledge gaps.

Exploring supply chain related graduate programmes in the UK:a view on their structure, content and approaches

Research in skill requirements needed by supply chain/logistics (SCL) managers has been published since the early nineties, however, research on what is really taught (e.g. curriculum, learning philosophies) by universities is scant. This paper's aim is to fill in this gap by analysing SCL graduate teaching in the UK. Data from 50 SCL MSc programmes were collected from 43 universities. Findings indicate that there seems to be a gap emerging between industry's needs and the content of the programmes being offered. This gap concerns employability, problem based learning, international business and the acquisition of softer interpersonal and problem solving skills.

New measures of job control, cognitive demand and production responsibility

Recent research has highlighted several job characteristics salient to employee well-being and behavior for which there are no adequate generally applicable measures. These include timing and method control, monitoring and problem-solving demand, and production responsibility. In this article, an attempt to develop measures of these constructs provided encouraging results. Confirmatory factor analyses applied to data from 2 samples of shop-floor employees showed a consistent fit to a common 5-factor measurement model. Scales corresponding to each of the dimensions showed satisfactory internal and test–retest reliabilities. As expected, the scales also discriminated between employees in different jobs and employees working with contrasting technologies.

KnoFuss:a comprehensive architecture for knowledge fusion

We propose a knowledge fusion architecture KnoFuss based on the application of problem-solving methods technology, which allows methods for subtasks of the fusion process to be combined and the best methods to be selected, depending on the domain and task at hand.

A method for systematic artifact selection decision making

Artifact selection decisions typically involve the selection of one from a number of possible/candidate options (decision alternatives). In order to support such decisions, it is important to identify and recognize relevant key issues of problem solving and decision making (Albers, 1996; Harris, 1998a, 1998b; Jacobs & Holten, 1995; Loch & Conger, 1996; Rumble, 1991; Sauter, 1999; Simon, 1986). Sauter classifies four problem solving/decision making styles: (1) left-brain style, (2) right-brain style, (3) accommodating, and (4) integrated (Sauter, 1999). The left-brain style employs analytical and quantitative techniques and relies on rational and logical reasoning. In an effort to achieve predictability and minimize uncertainty, problems are explicitly defined, solution methods are determined, orderly information searches are conducted, and analysis is increasingly refined. Left-brain style decision making works best when it is possible to predict/control, measure, and quantify all relevant variables, and when information is complete. In direct contrast, right-brain style decision making is based on intuitive techniques—it places more emphasis on feelings than facts. Accommodating decision makers use their non-dominant style when they realize that it will work best in a given situation. Lastly, integrated style decision makers are able to combine the left- and right-brain styles—they use analytical processes to filter information and intuition to contend with uncertainty and complexity.