Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction

We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether or not the sentence is true on the structure. We present a proof system for certifying the falsity of QCSP instances and develop its basic theory; for instance, we provide an algorithmic interpretation of its behavior. Our proof system places the established Q-resolution proof system in a broader context, and also allows us to derive QCSP tractability results.

The use of object oriented modelling and simulation tools in constraint satisfaction for embodiment design

The software package Dymola, which implements the new, vendor-independent standard modelling language Modelica, exemplifies the emerging generation of object-oriented modelling and simulation tools. This paper shows how, in addition to its simulation capabilities, it may be used as an embodiment design tool, to size automatically a design assembled from a library of generic parametric components. The example used is a miniature model aircraft diesel engine. To this end, the component classes contain extra algebraic equations calculating the overload factor (or its reciprocal, the safety factor) for all the different modes of failure, such as buckling or tensile yield. Thus the simulation results contain the maximum overload or minimum safety factor for each failure mode along with the critical instant and the device state at which it occurs. The Dymola "Initial Conditions Calculation" function, controlled by a simple software script, may then be used to perform automatic component sizing. Each component is minimised in mass, subject to a chosen safety factor against failure, over a given operating cycle. Whilst the example is in the realm of mechanical design, it must be emphasised that the approach is equally applicable to the electrical or mechatronic domains, indeed to any design problem requiring numerical constraint satisfaction.

A conceptual client-designer framework: Inspiring the development of inclusive design interactive techniques

The adoption of inclusive design approach into design practice is compatible to the needs of an ageing society. However, tools and methods that promote inclusivity during new product development are scarcely used in industry. This paper is part of a research project that investigates ways to accommodate inclusive design into the design process in industrial context. The present paper is based on the finds from the observations and interviews with industrial designers and interviews with stakeholders. The outcomes from the study supported a better understanding of the client-designer dynamic as well as the stages in the design process where information related to inclusive design could be introduced. The findings were essential to inspire the development of an inclusive design interactive technique to be used by clients and designers. © 2013 Springer-Verlag Berlin Heidelberg.

a new client-to-client password-authenticated key agreement protocol

Natl Univ Defen Technol, China & Nanyang Technol Univ, NUDT

Construct and content validity of the Greek version of the birth satisfaction scale (G-BSS).

Background: ‘Birth Satisfaction’ is a term that encompasses a woman’s evaluation of her birth experience. The term includes factors such as her appraisal of the quality of care she received, a personal assessment of how she coped, and her reconstructions of what happened on that particular day. Her accounts may be accurate or skewed, yet correspond with her reality of how events unfolded. Objective: To evaluate properties of an instrument designed to measure birth satisfaction in a Greek population of postnatal women. Study design: We assessed factor structure, internal consistency, divergent validity and known-groups discriminant validity of the 30-item Greek Birth Satisfaction Scale – Long Form (30-item G-BSS-LF) and its revised version the 10-item Greek-BSS-Revised (10-item-G-BSS-R), using survey data collected in Athens. Participants: A convenience sample of healthy Greek postnatal women (n = 162) aged 22–46 years who had delivered between 34 and 42 weeks’ gestation. Results: The 30-item-G-BSS-LF performed poorly in terms of factor structure. The short-form 10-item-G-BSS-R performed well in terms of measurement replication of the English equivalent version as a multidimensional instrument. The short-form 10-item-G-BSS-R comprises three subscales which measure distinct but correlated domains of: (1) quality of care provision (4 items), (2) women’s personal attributes (2 items), and (3) stress experienced during labour (4 items). Key conclusions: The 10-item-G-BSS-R is a valid and reliable multidimensional psychometric instrument for measuring birth satisfaction in Greek postnatal women.

Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences

J. Keppens and Q. Shen. Compositional model repositories via dynamic constraint satisfaction with order-of-magnitude preferences. Journal of Artificial Intelligence Research, 21:499-550, 2004.

Client-ship and Citizenship in Latin America

Taylor, L. (2004). Client-ship and Citizenship in Latin America. Bulletin of Latin American Research. 23(2), pp.213-227. RAE2008

‘It was almost like the opposite of what I needed’: a qualitative exploration of client experiences of unhelpful therapy

Background: The issue of unhelpful and harmful therapy outcome has received an increasing amount of attention within the research literature in recent years. However, little research exists on the client's perspective of what constitutes unhelpful therapy. Aim: The aim of this study was to explore clients’ experiences of unhelpful therapy. Method: Semi-structured interviews were carried out with ten therapists who, as clients, experienced unhelpful therapy. Interview transcripts were analysed using interpretative phenomenological analysis. Findings: Participants recounted therapy episodes characterised by an absence of negotiation, collaboration and care; pivotal moments when they knew that they would not return; and ongoing negative effects. Conclusions: The findings of this study have implications for training and strategies for supporting clients who have been harmed by therapy.

Qualidade nos serviços públicos

Dissertação de Mestrado apresentada à Universidade Fernando Pessoa como parte dos requisitos para obtenção do grau de Mestre em Ciências da Comunicação, especialização em Relações Públicas.