6,755 research outputs found

    The New Instantaneity: How Social Media are Helping us Privilege the (Politically) Correct over the True

    Get PDF
    The recent sacking of the eminent scientist Tim Hunt from one of the UK’s leading research institutions is only the latest in a series of cases where public individuals have been derided for comments made in jest on social media, with serious consequences for their professional and personal lives. This article discusses the case of Tim Hunt as an example of the extent to which the privileging of the correct over the true which has long pervaded media discourse is taken to the extreme by the instant-response culture of social media. It points to the emergence of a new form of instantaneity enabled by these networked forms of communication that serves to reinforce systemic inaction rather than the change widely associated with these technologies. It draws on philosophy and Critical Theory as useful conceptual frameworks for highlighting the ways in which Twitter & co. increasingly call us to action but crowd out thought, thereby passing over opportunities for real social change

    Parenteral nutrition in the intensive care unit: cautious use improves outcome.

    Get PDF
    Critical illness is characterised by nutritional and metabolic disorders, resulting in increased muscle catabolism, fat-free mass loss, and hyperglycaemia. The objective of the nutritional support is to limit fat-free mass loss, which has negative consequences on clinical outcome and recovery. Early enteral nutrition is recommended by current guidelines as the first choice feeding route in ICU patients. However, enteral nutrition alone is frequently associated with insufficient coverage of the energy requirements, and subsequently energy deficit is correlated to worsened clinical outcome. Controlled trials have demonstrated that, in case of failure or contraindications to full enteral nutrition, parenteral nutrition administration on top of insufficient enteral nutrition within the first four days after admission could improve the clinical outcome, and may attenuate fat-free mass loss. Parenteral nutrition is cautious if all-in-one solutions are used, glycaemia controlled, and overnutrition avoided. Conversely, the systematic use of parenteral nutrition in the ICU patients without clear indication is not recommended during the first 48 hours. Specific methods, such as thigh ultra-sound imaging, 3rd lumbar vertebra-targeted computerised tomography and bioimpedance electrical analysis, may be helpful in the future to monitor fat-free mass during the ICU stay. Clinical studies are warranted to demonstrate whether an optimal nutritional management during the ICU stay promotes muscle mass and function, the recovery after critical illness and reduces the overall costs

    Relatively Complete Counterexamples for Higher-Order Programs

    Full text link
    In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional language and contribute the first relatively complete method for constructing counterexamples for PCF programs. The method is relatively complete in the sense of Hoare logic; completeness is reduced to the completeness of a first-order solver over the base types of PCF. In practice, this means an SMT solver can be used for the effective, automated generation of higher-order counterexamples for a large class of programs. We achieve this result by employing a novel form of symbolic execution for higher-order programs. The remarkable aspect of this symbolic execution is that even though symbolic higher-order inputs and values are considered, the path condition remains a first-order formula. Our handling of symbolic function application enables the reconstruction of higher-order counterexamples from this first-order formula. After establishing our main theoretical results, we sketch how to apply the approach to untyped, higher-order, stateful languages with first-class contracts and show how counterexample generation can be used to detect contract violations in this setting. To validate our approach, we implement a tool generating counterexamples for erroneous modules written in Racket.Comment: In Proceedings of the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, Portland, Oregon, June 201

    Kinds of well-being: A conceptual framework that provides direction for caring

    Get PDF
    This article offers a conceptual framework by which different kinds and levels of well-being can be named, and as such, provides a foundation for a resource-oriented approach in situations of illness and vulnerability (rather than a deficit-oriented approach). Building on a previous paper that articulated the philosophical foundations of an existential theory of well-being (“Dwelling-mobility”), we show here how the theory can be further developed towards practice-relevant concerns. We introduce 18 kinds of well-being that are intertwined and inter-related, and consider how each emphasis can lead to the formulation of resources that have the potential to give rise to well-being as a felt experience. By focusing on a much wider range of well-being possibilities, practitioners may find new directions for care that are not just literal but also at an existential level

    Social media, protest cultures and political subjectivities of the Arab spring

    Get PDF
    This article draws on phenomenological perspectives to present a case against resisting the objectification of cultures of protest and dissent. The generative, self-organizing properties of protest cultures, especially as mobilized through social media, are frequently argued to elude both authoritarian political structures and academic discourse, leading to new political subjectivities or ‘imaginaries’. Stemming from a normative commitment not to over-determine such nascent subjectivities, this view has taken on a heightened resonance in relation to the recent popular uprisings in the Middle East and North Africa. The article argues that this view is based on an invalid assumption that authentic political subjectivities and cultures naturally emerge from an absence of constraint, whether political, journalistic or academic. The valorisation of amorphousness in protest cultures and social media enables affective and political projection, but overlooks politics in its institutional, professional and procedural forms

    Achieving equity through 'gender autonomy': the challenges for VET policy and practice

    Get PDF
    This paper is based on research carried out in an EU Fifth Framework project on 'Gender and Qualification'. The research partners from five European countries investigated the impact of gender segregation in European labour markets on vocational education and training, with particular regard to competences and qualifications. The research explored the part played by gender in the vocational education and training experiences of (i) young adults entering specific occupations in child care, electrical engineering and food preparation/service (ii) adults changing occupations