Temporal Logics of Repeating Values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this article, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics that suggests such a restricted use of the freeze operator. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets by proposing a symbolic representation of models. This is a quite surprising result in view of the expressive power of the logic since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier. The article also contains developments about the relationships between temporal logics with the freeze operator and counter automata as well as reductions into first-order logics over data words.

Estimating reflectivity values from wind turbines for analyzing the potential impact on weather radar services

Locate full-text(opens in a new window)|View at Publisher| Export | Download | More... Atmospheric Measurement Techniques Volume 8, Issue 5, 27 May 2015, Pages 2183-2193 Estimating reflectivity values from wind turbines for analyzing the potential impact on weather radar services (Article) Angulo, I.a, Grande, O.a, Jenn, D.b, Guerra, D.a, De La Vega, D.a a University of the Basque Country (UPV/EHU), Bilbao, Spain b Naval Postgraduate School, Monterey, United States View references (28) Abstract The World Meteorological Organization (WMO) has repeatedly expressed concern over the increasing number of impact cases of wind turbine farms on weather radars. Current signal processing techniques to mitigate wind turbine clutter (WTC) are scarce, so the most practical approach to this issue is the assessment of the potential interference from a wind farm before it is installed. To do so, and in order to obtain a WTC reflectivity model, it is crucial to estimate the radar cross section (RCS) of the wind turbines to be built, which represents the power percentage of the radar signal that is backscattered to the radar receiver.

For the proposed model, a representative scenario has been chosen in which both the weather radar and the wind farm are placed on clear areas; i.e., wind turbines are supposed to be illuminated only by the lowest elevation angles of the radar beam.

This paper first characterizes the RCS of wind turbines in the weather radar frequency bands by means of computer simulations based on the physical optics theory and then proposes a simplified model to estimate wind turbine RCS values. This model is of great help in the evaluation of the potential impact of a certain wind farm on the weather radar operation.

alpha-decay half-lives and Q(alpha) values of superheavy nuclei

The alpha-decay half-lives of recently synthesized superheavy nuclei (SHN) are investigated by employing a unified fission model (UFM) where a new method to calculate the assault frequency of alpha emission is used. The excellent agreement with the experimental data indicates the UFM is a useful tool to investigate these alpha decays. It is found that the alpha-decay half-lives become more and more insensitive to the Q(alpha) values as the atomic number increases on the whole, which is favorable for us to predict the half-lives of SHN. In addition, a formula is proposed to compute the Q(alpha) values for the nuclei with Z >= 92 and N >= 140 with a good accuracy, according to which the long-lived SHN should be neutron rich. Several weeks ago, two isotopes of a new element with atomic number Z = 117 were synthesized and their alpha-decay chains have been observed. The Q(alpha) formula is found to work well for these nuclei, confirming its predictive power. The experimental half-lives are well reproduced by employing the UFM with the experimental Q(alpha) values. This fact that the experimental half-lives are compatible with experimental Q(alpha) values supports the synthesis of a new element 117 and the experimental measurements to a certain extent.

An ethnographic interpretation of the work environment within a creative culture in the advertising sector.

Purpose and rationale The purpose of the exploratory research is to provide a deeper understanding of how the work environment enhances or constrains organisational creativity (creativity and innovation) within the context of the advertising sector. The argument for the proposed research is that the contemporary literature is dominated by quantitative research instruments to measure the climate and work environment across many different sectors. The most influential theory within the extant literature is the componential theory of organisational creativity and innovation and is used as an analytical guide (Amabile, 1997; Figure 8) to conduct an ethnographic study within a creative advertising agency based in Scotland. The theory suggests that creative people (skills, expertise and task motivation) are influenced by the work environment in which they operate. This includes challenging work (+), work group supports (+), supervisory encouragement (+), freedom (+), sufficient resources (+), workload pressures (+ or -), organisational encouragement (+) and organisational impediments (-) which is argued enhances (+) or constrains (-) both creativity and innovation. An interpretive research design is conducted to confirm, challenge or extend the componential theory of organisational creativity and innovation (Amabile, 1997; Figure 8) and contribute to knowledge as well as practice. Design/methodology/approach The scholarly activity conducted within the context of the creative industries and advertising sector is in its infancy and research from the alternative paradigm using qualitative methods is limited which may provide new guidelines for this industry sector. As such, an ethnographic case study research design is a suitable methodology to provide a deeper understanding of the subject area and is consistent with a constructivist ontology and an interpretive epistemology. This ontological position is conducive to the researcher’s axiology and values in that meaning is not discovered as an objective truth but socially constructed from multiple realties from social actors. As such, ethnography is the study of people in naturally occurring settings and the creative advertising agency involved in the research is an appropriate purposive sample within an industry that is renowned for its creativity and innovation. Qualitative methods such as participant observation (field notes, meetings, rituals, social events and tracking a client brief), material artefacts (documents, websites, annual reports, emails, scrapbooks and photographic evidence) and focused interviews (informal and formal conversations, six taped and transcribed interviews and use of Survey Monkey) are used to provide a written account of the agency’s work environment. The analytical process of interpreting the ethnographic text is supported by thematic analysis (selective, axial and open coding) through the use of manual analysis and NVivo9 software Findings The findings highlight a complex interaction between the people within the agency and the enhancers and constraints of the work environment in which they operate. This involves the creative work environment (Amabile, 1997; Figure 8) as well as the physical work environment (Cain, 2012; Dul and Ceylan, 2011; Dul et al. 2011) and that of social control and power (Foucault, 1977; Gahan et al. 2007; Knights and Willmott, 2007). As such, the overarching themes to emerge from the data on how the work environment enhances or constrains organisational creativity include creative people (skills, expertise and task motivation), creative process (creative work environment and physical work environment) and creative power (working hours, value of creativity, self-fulfilment and surveillance). Therefore, the findings confirm that creative people interact and are influenced by aspects of the creative work environment outlined by Amabile (1997; Figure 8). However, the results also challenge and extend the theory to include that of the physical work environment and creative power. Originality/value/implications Methodologically, there is no other interpretive research that uses an ethnographic case study approach within the context of the advertising sector to explore and provide a deeper understanding of the subject area. As such, the contribution to knowledge in the form of a new interpretive framework (Figure 16) challenges and extends the existing body of knowledge (Amabile, 1997; Figure 8). Moreover, the contribution to practice includes a flexible set of industry guidelines (Appendix 13) that may be transferrable to other organisational settings.

Society, theatre and Social Work: beauty will save us

Three different worlds, sometimes concentric and often intersecting —society, theatre and the art of performance— and social work. Diverse worlds that live, reflect and self-reflect and interact, and can also afford an opportunity for meeting, misunderstanding and confrontation, and above all offer the possibility of profound change.This article considers the experience of a theatre company that has spent more than three years moving at the limits of these three universes. To these three worlds can be added an infinite number of words that fill them with meaning and significance: territory, meeting, diversity and search. An artistic experience that has chosen to focus on creating scenarios for debate and to examine the difficulties, the human contradictions and the constant and inexhaustible confrontation with human experience. At the heart of this theatrical activity is all of this, seeking the balance between narration, meeting, investigation and the artistic dimension. This meeting between society, theatre and social work also contains the search for sustainability of this cultural business, in an Italy that has been destroyed by a crisis that is not merely economic, but also of values and, above all, of role models. The guiding theme, though not always made explicit, is always present and essential: the search for beauty.

The census and women's work in Rangoon, 1872–1931

The colonial census was a bureaucratic device which provided an essential abstraction from social reality, a ‘statistical fix’ designed to map individual social groups in space. This paper considers the contradictions associated with colonial knowledge systems as reflected in the census grafted onto Burmese society in the nineteenth and early twentieth centuries. It attempts to chart the general adoption and adaptation, in the Burmese context, of a classificatory scheme which categorised labour as either productive or unproductive. Colonialism introduced new attitudes towards work and labour which reinforced patriarchal values which contrasted with more egalitarian Burmese socio-economic systems. The paper suggests that a simple classification of women workers as either productive or unproductive in the Burmese census between 1872 and 1931 resulted in the devaluation of their status as workers. This devaluation was a function of both real economic transformation taking place in the empire and changes in census classification, reflecting a gendering of occupations that undermined the cultural norms of Burmese society. The material result was that women became statistically less visible as economically productive workers. Such ascriptions of value to women workers were largely informed by moral considerations originating in England.

User perspective on palliative care services: experiences of middle-aged partners bereaved through cancer known to social work services in Northern Ireland

This qualitative research study explores experiences of partners bereaved through cancer, who were resident in an urban area of Northern Ireland and who had been service users of the social work services. Data were collected in 2004 from 10 individuals who participated in semi-structured interviews. Emergent themes were identified using thematic content analysis and findings analysed under four categories: cancer journey; impact of bereavement; process of adjustment and change; and experience of support services. Opportunities to facilitate communication were not always maximised, often resulting in poor bereavement outcomes. Although hospices undertook bereavement risk assessment, participants were unaware of its use and queried its accuracy without service user involvement. The most cited informal support was family and friends, although such help was time-limited. Service user feedback regarding social workers was generally positive; however, there was a lack of knowledge about their role in palliative care. Post-bereavement adjustment was influenced by the quality of social networks, the responsibilities of lone parenthood, and challenges to life values and core beliefs. A framework for palliative care social work has been recommended based on research findings.

Comments and Additional Work on “High-Pressure Volumetric Properties of Imidazolium-Based Ionic Liquids: Effect of the Anion”

This works follows a publication of our group in J. Chem. Eng. Data2007, 52, 2204–2211 presenting high temperature and pressure density data for five imidazolium-based ionic liquids. At this period, very few ionic liquid density data were available in the literature, especially at high pressure, and the uncertainty of published results was calculated with respect to the literature data available for three of the five ionic liquids studied. Since 2007, the ionic liquid density databank has largely increased. In this work, a comparison of our published data in J. Chem. Eng. Data2007, 52, 2204–2211, with more than 1800 high pressure data coming from the literature up to December 2011 is presented to assess the uncertainty of our published values. The claimed uncertainty is close to 0.31 % for all IL density data sets except in the case of the [C1C2Im][EtSO4], where the uncertainty is up to 1.1 %. Reported data in J. Chem. Eng. Data2007, 52, 2204–2211, for this particular ionic liquid cannot be used as a reference. For this ionic liquid, new density measurements of the same sample batch have been remeasured by using the same experimental technique, and new experimental data presented herein are clearly higher than our previous published results. A 1H NMR analysis of the sample has confirmed hydrolysis of the ethylsulfate anion to ethanol and hydrogenate anion which explains the differences observed between our density data and the literature.

‘Making it real’: evaluating the impact of service user and carer involvement in social work education

Service user and carer involvement (SUCI) in social work education in England is required by the profession’s regulator, the Health and Care Professions Council. However, a recent study of 83 HEIs in England reported that despite considerable progress in SUCI, there is no evidence that the learning derived from it is being transferred to social work practice. In this article we describe a study that examines the question: ‘What impact does SUCI have on the skills, knowledge and values of student social workers at the point of qualification and beyond?’ Students at universities in England and Northern Ireland completed online questionnaires and participated in focus groups, spanning a period immediately pre-qualification and between six to nine months post-qualification. From our findings, we identify four categories that influence the impact of service user involvement on students’ learning: student factors; service user and carer factors; programme factors; and practice factors; each comprises of a number of sub-categories. We propose that the model developed can be used by social work educators, service user and carer contributors and practitioners to maximise the impact of SUCI. We argue that our findings also have implications for employment-based learning routes and post-qualifying education.

Comparing Social Work Students' Perceptions of Risk Using Online Discussion Fora: Lessons Learned from a European Pilot Project

Comparisons of international child welfare systems have identified two basic orientations to practice; a ‘child protection’ orientation and a ‘child welfare’ orientation, which are founded upon fundamentally different values and assumptions regarding the family, the origins of child care problems, and the proper role of the state in relation to the family. This paper describes a project which sought to compare how undergraduate social work students from three European Universities perceive risk in referrals about the welfare of children and to explore the impact of different cultural, ideological and educational contexts on the way in which risk is constructed by students. Students from Northern Ireland, Germany and Poland examined three vignettes via ten online discussion fora each of which provided a narrative summary of their discussion. The paper presents some findings from the analysis of the qualitative data emerging from the student discussions and draws out the lessons learned in terms of how the project was designed and implemented using online discussion fora.

‘Running with the Fox and Hunting with the Hounds’: Social Work Tutors' Experiences of Managing Failing Social Work Students in Practice Learning Settings

The paper explores the issues raised by social work students failing in practice learning settings from the perspective of university tutors, by drawing on existing literature in this area from social work and nursing, as well as findings from a small‐scale empirical qualitative study. The qualitative study was influenced by practitioner‐researcher and practice‐near paradigms; and is based on interviews with twelve social work tutors in England. The findings reveal that tutors are able to articulate the important tasks and functions of their roles when issues of failing students in practice learning settings arise, although the process can be challenging. The challenges include: supporting practice educator and student, concerns about other tutors’ practices, the difficulties in promoting appropriate professional standards and values within higher education contexts and frustrations with practice educators and placements. Only a third of the respondents (four) however, articulated their gate keeping roles and responsibilities although this was not without its difficulties. Given the current reforms in social work education in England at this present time, with greater emphasis on threshold standards at entry level, and at key stages throughout the programme of study, the research is timely in terms of the critical consideration of the tutor role and challenges inherent in promoting appropriate standards.

Managing the transition to work: the role of the planning network in British town planning education

The development of town planning education in the United Kingdom can be traced back over at least sixty years and has always enjoyed a close relationship with practitioners, employers and the professional body, the Royal Town Planning Institute (RTPI). In order to ensure an intake of sufficient quality to a growing profession, the Institute offered its own exams until the 1980s and then initiated the current system of accrediting both undergraduate and postgraduate programmes of study. This system of accreditation emphasises the importance of relevant knowledge, skills and values as well as core and specialised studies. The vocational nature of town planning requires that graduates have the breadth of understanding as well as the practical skills in order to practice effectively. Thus accredited courses have over time developed strong links with employers and practitioners. Rapid developments in the scope and range of planning, and the skills needed to work in it, have reflected changes in public policy and growing number of agencies concerned with the built environment. The system of regular quinquennial visits to accredit courses has helped ensure that this acceptance of change has become part of the culture of planning schools.

Proposta de modelo para obtenção do Work Index das rochas

Este trabalho pretende estabelecer uma relação entre o Work Index e algumas propriedades das rochas. Através da pesquisa bibliográfica foram identificadas varias propriedades com possível influência no valor do Work Index, das quais foram seleccionadas a massa volúmica aparente, a resistência à carga pontual, a composição química, a composição mineralógica e a abrasividade. Adicionalmente a porosidade aberta e resistência à compressão também foram analisadas. Assim foram analisadas 10 amostras de rocha, quatro de granitos, uma de quartzodiorito, uma de ardósia, uma de serpentinito, uma de calcário, uma de mármore e uma de sienito nefelínico, sobre as quais já eram conhecidos os valores de cinco das propriedades referidas previamente, tendo sido determinados os valores das ainda desconhecidas, resistência à carga pontual e a abrasividade que está representada através do resultado do ensaio capon. Devido à dificuldade de execução do ensaio de determinação do Work Index de Bond foram recolhidos dados bibliográficos de valores do Work Index para as amostras de rocha seleccionadas e adoptado o valor médio para cada uma. Os dados obtidos foram tratados estatisticamente através do método de análise de componentes principais assim como através de regressões lineares simples e múltiplas. A análise de componentes principais permitiu identificar várias propriedades da rocha com possível influência sobre o Work Index de entre as analisadas. Foi possível estabelecer uma relação entre o Work Index e quatro das propriedades seleccionadas, designadamente a porosidade aberta, a resistência à compressão, a resistência à carga pontual e a abrasividade.

Work ethic and the legacies of political regimes

This article studies the cross-country differences in work ethic and claims that different political regimes transmitted different work ethics that still persist today. Using the World Values Survey and starting our political regime analysis in 1900, we find that Democratic regimes promote more effectively work relevance and competitiveness than Autocratic and Anocratic regimes, and that the political regime history of the country is more important than the present level of democracy. Moreover, we prove that this differences were transmitted through generations by parents, who optimally choose what work ethic to transmit taking into account their own values.

A promoção do capital psicológico,work engagement e saúde mental de trabalhadores

Dissertação de Mestrado em Políticas de Desenvolvimento de Recursos Humanos