An account of the author's experience in Iraq, presents photographs and commentary that convey the terror and exhilaration of photojournalism in an age of embedded reporting.

Anti-selection occurs when information asymmetry exists between insurers and applicants. When an applicant knows they are at high risk of loss, but the insurer does not, the applicant may try to use this knowledge differential to secure insurance at a lower premium that does not match risk.

We prove a finite model theorem and infinitary completeness result for the propositional -calculus. The construction establishes a link between finite model theorems for propositional program logics and the theory of well-quasi-orders.

BackgroundThe Mental Capacity Act was enacted in 2007 in England and Wales, but the assessment of mental capacity still remains an area of professional concern. Doctors’ compliance with legal and professional standards is inconsistent, but the reasons for poor compliance are not well understood. This preliminary study investigates doctors’ experiences of and attitudes toward mental capacity assessment.MethodsThis is a descriptive, cross-sectional study where a two-domain, study-specific structured questionnaire was developed, piloted and digitally disseminated to doctors at differing career stages employed (...) in a large, multi-site National Health Service Trust in London over 4 months in 2018. Descriptive statistics and frequency tables adjusted for missing data were generated and secondary analysis was conducted.ResultsParticipants were predominantly UK trained, female and between the ages of 30 and 44 years. Less than half of the participants reported receiving formal MCAx training. Only one-third of the participants self-rated themselves as very competent or extremely competent. Self-reported MCA confidence was significantly affected by career stage with Consultants with over 10 years of experience reporting lowest confidence.ConclusionsThis study describes significant variation in practice by doctors and low self-confidence in the practice of MCAx. These results raise concerns that MCAx continues to be inconsistently performed by doctors despite appropriate awareness of the law and professional guidance on best practice. (shrink)

In spite of laws in many states regulating the nutritional content of foods and the availability of “junk food” and soda, a 2001 Surgeon General’s Report indicated that 15% to 20% of the nation’s children are overweight or obese. In areas that are predominately Hispanic and African American, the numbers rise to between 40% and 50%. Although there are continuing efforts to educate the adult population, many school systems and public health jurisdictions have had little impact on the rising numbers (...) of overweight and obese children. This session described the process of initiating a student-based, student driven approach to obesity, junk food, and diabetes and disease prevention.A need existed for a grassroots approach at the student level to raise awareness of increasing obesity rates and diabetes and other related diseases in the adolescent population. (shrink)

In spite of laws in many states regulating the nutritional content of foods and the availability of “junk food” and soda, a 2001 Surgeon General’s Report indicated that 15% to 20% of the nation’s children are overweight or obese. In areas that are predominately Hispanic and African American, the numbers rise to between 40% and 50%. Although there are continuing efforts to educate the adult population, many school systems and public health jurisdictions have had little impact on the rising numbers (...) of overweight and obese children. This session described the process of initiating a student-based, student driven approach to obesity, junk food, and diabetes and disease prevention.A need existed for a grassroots approach at the student level to raise awareness of increasing obesity rates and diabetes and other related diseases in the adolescent population. (shrink)

It is shown that over any countable first-order structure, IND programs with dictionaries accept exactly the Π 1 1 relations. This extends a result of Harel and Kozen 118) relating IND and Π 1 1 over countable structures with some coding power, and provides a computational analog of a result of Barwise et al. 108) relating the Π 1 1 relations on a countable structure to a certain family of inductively definable relations on the hereditarily finite sets over that structure.

Did the Carthaginian cavalry general Maharbal really urge Hannibal to march on Rome after Cannae, and then comment bitterly Vincere sets, Hannibal; victoria uti nescis, when his leader refused? There are two main objections: Maharbal may not have been there, and anyway Cannae was too far away to justify such a march. The whole story has been seen as one of those well-known Roman historiographical inventions. But there may well be more to the story than that, illuminating both Hannibalic history (...) and some Roman historiographical techniques. (shrink)

Many of the haemopoietic cell growth factors have now been purified to homogeneity and their structural genes cloned. Methods are also now available for obtaining pure populations of haemopoietic cells. The use of such cells, in combination with pure growth factors, has provided intriguing information about the biological activities and mode of action of the factors in faciliating survival, proliferation and differentiation of the haemopoietic cells.

There is a considerable literature about causation. A great many investigators constantly employ the notion of causation in some form. But with the exception of a very few items, these investigators will find little of use in this literature.

In free and open source software (FOSS), computer code is made freely accessible and can be modified by anyone. It is a creative domain with many unique features; the FOSS mode of creativity has also influenced many aspects of contemporary cultural production. In this article we identify a number of fundamental but unresolved general issues in the study of creativity, then examine the potential for the study of FOSS to inform these topics. Archival studies of the genesis of FOSS projects, (...) coupled with laboratory studies detailing the psychological processes involved in software creation, can provide converging evidence on the nature of creativity in software design. Such a research program has broad implications both for theories of creativity and for real-world innovation in software and other forms of digital cultural production. (shrink)

As a student and collaborator of Louis Agassiz on the study of fishes, F. W. Putnam gave promise of becoming a leading ichthyologist with special interest in taxonomy generally and the Etheostomidae in particular. While he was noted briefly in these fields, contributed a number of minor papers, and aided in the posthumous publications of some of Agassiz's work on fishes, he neither reached his original goal nor completed his major projected works. For in 1874 he switched careers and was (...) appointed Curator of the Peabody Museum of American Archaeology and Ethnology at Harvard University, and is remembered today primarily as a founder of American archaeology rather than as a systematic ichthyologist. (shrink)

The hospital's clinical ethics committee sought to gauge health-care professionals’ level of knowledge and usage of the Mental Capacity Act 2005 within the hospital trust. The hospital's personnel were asked to complete a 10 part questionnaire relating to the basic contents of the Act. Four hundred questionnaires were distributed and 249 (62%) were returned completed and valid for analysis. A ‘pass-mark’ of 70% (7/10) was assumed; the results showed that 48% of respondents scored ≤50% (≤5/10), 74% of respondents scored <70% (...) (<7/10) and only 24% of respondents scored ≥70% (≥7/10). It was concluded that the Mental Capacity Act 2005 was not being effectively implemented within the Trust. Measures to increase the awareness and usage of the Act have subsequently been instigated. We believe that these measures will improve the awareness and knowledge of the Mental Capacity Act 2005 within the hospital Trust lead to its better utilization. (shrink)

We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests. The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. One can also use the system to reason about properties of simple imperative programs using schematic KAT. We explain how the system works and illustrate its use with some examples, including an extensive scheme equivalence proof.

Routledge (New Media and Cyberculture Series), July 2007.

I yield to no one in my admiration for and appreciation of what the scientists have accomplished in the last few centuries as well as back in the days of the Greeks. Nonetheless there are certain questions that perennially recur. One might readily say that scientists have not yet reached the proper answers, but judging from what they have already accomplished satisfactory answers will be forthcoming in the revolving years. That is too facile a reply. On some things we want (...) real answers now. To put off fairly adequate explanations until some future limbo is wholly unsatisfactory. (shrink)

Barry Lord and Gail Dexter Lord focus their two lifetimes of international experience working in the cultural sector on the challenging questions of why and how culture changes. The answer is a dynamic and fascinating discourse that sets aesthetic culture in its material, physical, social, and political context, illuminating the primary role of the artist and the essential role of patronage in supporting the artist, from our ancient origins to the knowledge economy culture of today.

Claims about the potential of free software to reform the production and distribution of software are routinely countered by skepticism that the free software community fails to engage the pragmatic and economic ‘realities’ of a software industry. We argue to the contrary that contemporary business and economic trends definitively demonstrate the financial viability of an economy based on free software. But the argument for free software derives its true normative weight from social justice considerations: the evaluation of the basis for (...) a software economy should be guided by consideration of the social and cultural states which are the ultimate goals of any economic arrangement. That is, the software economy should be evaluated in light of its ability to provide justice. We conclude with a discussion of possible avenues for reform. (shrink)

Our freedoms in cyberspace are those granted by code and the protocols it implements. When man and machine interact, co-exist, and intermingle, cyberspace comes to interpenetrate the real world fully. In this cyborg world, software retains its regulatory role, becoming a language of interaction with our extended cyborg selves. The mediation of our extended selves by closed software threatens individual autonomy. We define a notion of freedom for software that does justice to our conception of it as language, sketching the (...) outlines of a social and political philosophy for a cyborg world. In a cyberspace underwritten by free software, political structures become contingent and flexible: the polity can choose to change the extent and character of its participation. The rejection of opaque power is an old anarchist ideal: free software, by making power transparent, carries the potential to place substantive restrictions on the regulatory power of cyborg government. (shrink)

Free and open source software is taking an increasingly significant role in our software infrastructure. Yet many questions still exist about whether a software economy based on FOSS would be viable. We argue that contemporary trends definitively demonstrate this viability. Claiming that an economy must be evaluated as much by the ends it brings about as by its size or vigor, we draw on widely accepted notions of redistributive justice to show the ethical superiority of a software economy based on (...) FOSS. (shrink)

The “free” in “free software” refers to a cluster of four specific freedoms identified by the Free Software Definition. The first freedom, termed “Freedom Zero,” intends to protect the right of the user to deploy software in whatever fashion, towards whatever end, he or she sees fit. But software may be used to achieve ethically questionable ends. This highlights a tension in the provision of software freedoms: while the definition explicitly forbids direct restrictions on users’ freedoms, it does not address (...) other means by which software may indirectly restrict freedoms. In particular, ethically-inflected debate has featured prominently in the discussion of restrictions on digital rights management and privacy-violating code in version 3 of the GPL (GPLv3). The discussion of this proposed language revealed the spectrum of ethical positions and valuations held by members of the free software community. In our analysis, we will provide arguments for upholding Freedom Zero; we embed the problem of possible uses of software in the broader context of the uses of scientific knowledge, and go on to argue that the provision of Freedom Zero mitigates against too great a moral burden—of anticipating possible uses of software—being placed on the programmer and that, most importantly, it facilitates deliberative discourse in the free software community. (shrink)