Some applications of logic to feasibility in higher types

While it is commonly accepted that computability on a Turing machine in polynomial time represents a correct formalization of the notion of a feasibly computable function, there is no similar agreement on how to extend this notion on functionals, that is, what functionals should be considered feasible. One possible paradigm was introduced by Mehlhorn, who extended Cobham's definition of feasible functions to type 2 functionals. Subsequently, this class of functionals (with inessential changes of the definition) was studied by Townsend who calls this class POLY, and by Kapron and Cook who call the same class basic feasible functionals. Kapron and Cook gave an oracle Turing machine model characterisation of this class. In this article, we demonstrate that the class of basic feasible functionals has recursion theoretic properties which naturally generalise the corresponding properties of the class of feasible functions, thus giving further evidence that the notion of feasibility of functionals mentioned above is correctly chosen. We also improve the Kapron and Cook result on machine representation.Our proofs are based on essential applications of logic. We introduce a weak fragment of second order arithmetic with second order variables ranging over functions from NN which suitably characterises basic feasible functionals, and show that it is a useful tool for investigating the properties of basic feasible functionals. In particular, we provide an example how one can extract feasible programs from mathematical proofs that use nonfeasible functions.

Safety-restraint use rate as function of law enforcement and other factors : preliminary analysis

Persistent use of safety restraints prevents deaths and reduces the severity and number of injuries resulting from motor vehicle crashes. However, safety-restraint use rates in the United States have been below those of other nations with safety-restraint enforcement laws. With a better understanding of the relationship between safety-restraint law enforcement and safety-restraint use, programs can be implemented to decrease the number of deaths and injuries resulting from motor vehicle crashes. Does safety-restraint use increase as enforcement increases? Do motorists increase their safety-restraint use in response to the general presence of law enforcement or to targeted law enforcement efforts? Does a relationship between enforcement and restraint use exist at the countywide level? A logistic regression model was estimated by using county-level safety-restraint use data and traffic citation statistics collected in 13 counties within the state of Florida in 1997. The model results suggest that safety-restraint use is positively correlated with enforcement intensity, is negatively correlated with safety-restraint enforcement coverage (in lanemiles of enforcement coverage), and is greater in urban than rural areas. The quantification of these relationships may assist Florida and other law enforcement agencies in raising safety-restraint use rates by allocating limited funds more efficiently either by allocating additional time for enforcement activities of the existing force or by increasing enforcement staff. In addition, the research supports a commonsense notion that enforcement activities do result in behavioral response.

Macular function in tilted disc syndrome

Tilted disc syndrome can cause visual field defects due to an optic disc anomaly. Recent electrophysiological findings demonstrate reduced central outer retinal function with ophthalmoscopically normal maculae. We measured macular sensitivity with the microperimeter and performed psychophysical assessment of mesopic rod and cone luminance temporal sensitivity (critical fusion frequency)in a 52-year-old male patient with tilted disc syndrome and ophthalmoscopically normal maculae. We found a marked reduction of sensitivity in the central 20 degrees and reduced rod- and cone-mediated mesopic visual function. Our findings extend previous electrophysiological data that suggest an outer retinal involvement of cone pathways and present a case with rod and cone impairment mediated via the magnocellular pathway in uncomplicated tilted disc syndrome.

Changing pedagogic codes in a class of landscape architects learning 'ecologically sustainable development'

Professional discourse in education has been the focus of research conducted mostly with teachers and professional practitioners but the work of students in the built environment has largely been ignored. This article presents an analysis of students’ visual discourse in the final professional year of a landscape architecture course in Brisbane, Australia. The study has a multi-method design and includes drawings, interviews and documentary materials, but focuses on the drawings in this paper. Using the theory of Bernstein, the analysis considers student representations as interrelations between professional identity and discretionary space for legitimate knowledge formation in landscape planning. It shows a shift in how students persuade the teacher of their expanding views of this field. The discussion of this shift centres on the professional knowledge that students choose rather than need to learn. It points to the differences within a class that a teacher must address in curriculum design in a contemporary professional course.

Prevalence of upper-body symptoms following breast cancer and its relationship with upper-body function and lymphoedema

This investigation describes the prevalence of upper-body symptoms in a population-based sample of women with breast cancer (BC) and examines their relationships with upper-body function (UBF) and lymphoedema, as two clinically important sequelae. Australian women (n=287) with unilateral BC were assessed at three-monthly intervals, from six to 18 months post-surgery (PS). Participants reported the presence and intensity of upper-body symptoms on the treated side. Objective and self-reported UBF and lymphoedema (bioimpedance spectroscopy) were also assessed. Approximately 50% of women reported at least one moderate-to-extreme symptom at 6- and at 18-months PS. There was a significant relationship between symptoms and function (p<0.01), whereby perceived and objective function declined with increasing number of symptoms present. Those with lymphoedema were more likely to report multiple symptoms and presence of symptoms at baseline increased risk of lymphoedema (ORs>1.3, p=0.02). Although, presence of symptoms explained only 5.5% of the variation in the odds of lymphoedema. Upper-body symptoms are common and persistent following breast cancer and are associated with clinical ramifications, including reduced UBF and increased risk of developing lymphoedema. However, using the presence of symptoms as a diagnostic indicator of lymphoedema is limited.

Shifting interpretations of interiors and buildings: the impact of colour

The ability of a designer – for example, interior designer, architect, landscape architect, etc. – to design for a particular target group (user and/or clients) is potentially enhanced through more targeted studies relating colour in situ. The study outlined in this paper involved participant responses to five achromatic scenes of different built environments prior to viewing the same scenes in colour. Importantly, in this study the participants, who were young designers, came to realise that colour potentially holds the power to impact on the identity of an architectural form, an interior space and/or particular elements such as doorways, furniture settings, etc., as well as influence atmosphere. Prior to discussing the study, a selection of other research, which links colour to meaning and emotions, introduces how people understand and/or feel in relation to colour. For example, yellow is said to be connected to happiness; or red evokes feelings of anger. Secondly, the need for spatial designers to understand colour in context is raised. An overview of the study is then provided. It was found that the impact of colour includes a shift in perception of aspects such as its atmosphere and youthfulness. Through studio/class discussions it was also noted the predicted age of the place, the function, and in association, the potential users when colour was added (or deleted) were often challenged.

BLAST Atlas : a function based multiple genome browser

BLAST Atlas is a visual analysis system for comparative genomics that supports genome-wide gene characterisation, functional assignment and function-based browsing of one or more chromosomes. Inspired by applications such as the WorldWide Telescope, Bing Maps 3D and Google Earth, BLAST Atlas uses novel three-dimensional gene and function views that provide a highly interactive and intuitive way for scientists to navigate, query and compare gene annotations. The system can be used for gene identification and functional assignment or as a function-based multiple genome comparison tool which complements existing position based comparison and alignment viewers.

"I'm a designer, get me out of tech class!" : closing the gap between design and technology education

The following paper explores the use of collaborative pedagogical approaches to advance foundational architectural design education, by linking design process to sustainable technology principles. After a brief discussion on architectural design education, the mentioned collaborative approach is described. This approach facilitates students’ exchange of knowledge between two courses, despite no explicit/assessable requirement to do so. The result for the students is deeper learning and a design process that is enriched through collaboration with sustainable technology. The success of this approach has been measured through questionnaires, evaluation surveys, and a comparative assessment of students common to both courses. The paper focuses on the challenges and innovations in connecting architectural design and technology education, where students are encouraged to implement lessons learnt, thereby closing the gap that these courses have traditionally represented.

Positioning refugee students as intellectual class members

This chapter looks at the 'smart links' and 'smart paths' created by some English as a second language (ESL) teachers to enable refugee students with little, no or severely interrupted schooling to participate in class after re-settlement in the West. Data are drawn from an interview study conducted in an intensive English language school for adolescents and three mainstream high schools. Findings show how teachers who rejected deficit discourses enabled student participation in the intellectual work of the classroom. The Bourdieusian concept of capital is used to describe teacher competence for diverse classrooms in a world of student mobility and unequal educational access.

Optimisation of a class of transportation problems using genetic algorithms

This paper presents a Genetic Algorithms (GA) approach to search the optimized path for a class of transportation problems. The formulation of the problems for suitable application of GA will be discussed. Exchanging genetic information in the sense of neighborhoods will be introduced for generation reproduction. The performance of the GA will be evaluated by computer simulation. The proposed algorithm use simple coding with population size 1 converged in reasonable optimality within several minutes.

Autoethnography in vocational psychology : wearing your class on your sleeve

This paper addresses reflective practice in research and practice and takes the issue of consciousness of social class in vocational psychology as a working example. It is argued that the discipline’s appreciation of social class can be advanced through application of the qualitative research method autoethnography. Excerpts from an autoethnographic study are used to explore the method’s potential. This reflexive research method is presented as a potential vehicle to improve vocational psychologists’ own class consciousness, and to concomitantly enhance their capacity to grasp social class within their own spheres of research and practice. It is recommended that autoethnography be used for research, training, and professional development for vocational psychologists.