Several types of types in programming languages

Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of "type" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will argue is that there are three different characters at play in programming languages, all of them now called types: the technical concept used in language design to guide implementation; the general abstraction mechanism used as a modelling tool; the classifying tool inherited from mathematical logic. We will suggest three possible dates ad quem for their presence in the programming language literature, suggesting that the emergence of the concept of type in computer science is relatively independent from the logical tradition, until the Curry-Howard isomorphism will make an explicit bridge between them.Comment: History and Philosophy of Computing, HAPOC 2015. To appear in LNC

Foot pain and foot health in an educated population of adults: results from the Glasgow Caledonian University Alumni Foot Health Survey

Abstract Background Foot pain is common amongst the general population and impacts negatively on physical function and quality of life. Associations between personal health characteristics, lifestyle/behaviour factors and foot pain have been studied; however, the role of wider determinants of health on foot pain have received relatively little attention. Objectives of this study are i) to describe foot pain and foot health characteristics in an educated population of adults; ii) to explore associations between moderate-to-severe foot pain and a variety of factors including gender, age, medical conditions/co-morbidity/multi-morbidity, key indicators of general health, foot pathologies, and social determinants of health; and iii) to evaluate associations between moderate-to-severe foot pain and foot function, foot health and health-related quality-of-life. Methods Between February and March 2018, Glasgow Caledonian University Alumni with a working email address were invited to participate in the cross-sectional electronic survey (anonymously) by email via the Glasgow Caledonian University Alumni Office. The survey was constructed using the REDCap secure web online survey application and sought information on presence/absence of moderate-to-severe foot pain, patient characteristics (age, body mass index, socioeconomic status, occupation class, comorbidities, and foot pathologies). Prevalence data were expressed as absolute frequencies and percentages. Multivariate logistic and linear regressions were undertaken to identify associations 1) between independent variables and moderate-to-severe foot pain, and 2) between moderate-to-severe foot pain and foot function, foot health and health-related quality of life. Results Of 50,228 invitations distributed, there were 7707 unique views and 593 valid completions (median age [inter-quartile range] 42 [31–52], 67.3% female) of the survey (7.7% response rate). The sample was comprised predominantly of white Scottish/British (89.4%) working age adults (95%), the majority of whom were overweight or obese (57.9%), and in either full-time or part-time employment (82.5%) as professionals (72.5%). Over two-thirds (68.5%) of the sample were classified in the highest 6 deciles (most affluent) of social deprivation. Moderate-to-severe foot pain affected 236/593 respondents (39.8%). High body mass index, presence of bunions, back pain, rheumatoid arthritis, hip pain and lower occupation class were included in the final multivariate model and all were significantly and independently associated with moderate-to-severe foot pain (p < 0.05), except for rheumatoid arthritis (p = 0.057). Moderate-to-severe foot pain was significantly and independently associated lower foot function, foot health and health-related quality of life scores following adjustment for age, gender and body mass index (p < 0.05). Conclusions Moderate-to-severe foot pain was highly prevalent in a university-educated population and was independently associated with female gender, high body mass index, bunions, back pain, hip pain and lower occupational class. Presence of moderate-to-severe foot pain was associated with worse scores for foot function, foot health and health-related quality-of-life. Education attainment does not appear to be protective against moderate-to-severe foot pain

Vehicle sideslip estimation for four-wheel-steering vehicles using a particle filter

The availability of the most relevant vehicle states is crucial for the development of advanced vehicle control systems and driver assistance systems. Specifically the vehicle sideslip angle plays a key role, yet this state is unpractical to measure and still not straightforward to estimate. This paper investigates a particle filter approach to estimate the chassis sideslip angle of road vehicles. The filter relies on a physical model of the vehicle and on measurements available from cheap and widespread sensors including inertial measurement unit and steering wheel angle sensor(s). The approach is validated using experimental data collected with the research platform RoboMobil (RoMo), a by-wire electric vehicle with wheel-individual traction and steering actuators. Results show that the performance of the proposed particle filter is satisfactory, and indicate directions for further improvement

An evaluation of seasonal variations in footwear worn by adults with inflammatory arthritis: a cross-sectional observational study using a web-based survey

Background: Foot problems are common in adults with inflammatory arthritis and therapeutic footwear can be effective in managing arthritic foot problems. Accessing appropriate footwear has been identified as a major barrier, resulting in poor adherence to treatment plans involving footwear. Indeed, previous New Zealand based studies found that many people with rheumatoid arthritis and gout wore inappropriate footwear. However, these studies were conducted in a single teaching hospital during the New Zealand summer therefore the findings may not be representative of footwear styles worn elsewhere in New Zealand, or reflect the potential influence of seasonal climate changes. The aim of the study was to evaluate seasonal variations in footwear habits of people with inflammatory arthritic conditions in New Zealand. Methods: A cross-sectional study design using a web-based survey. The survey questions were designed to elicit demographic and clinical information, features of importance when choosing footwear and seasonal footwear habits, including questions related to the provision of therapeutic footwear/orthoses and footwear experiences. Results: One-hundred and ninety-seven participants responded who were predominantly women of European descent, aged between 46–65 years old, from the North Island of New Zealand. The majority of participants identified with having either rheumatoid arthritis (35%) and/or osteoarthritis (57%) and 68% reported established disease (>5 years duration). 18% of participants had been issued with therapeutic footwear. Walking and athletic shoes were the most frequently reported footwear type worn regardless of the time of year. In the summer, 42% reported wearing sandals most often. Comfort, fit and support were reported most frequently as the footwear features of greatest importance. Many participants reported difficulties with footwear (63%), getting hot feet in the summer (63%) and the need for a sandal which could accommodate a supportive insole (73%). Conclusions: Athletic and walking shoes were the most popular style of footwear reported regardless of seasonal variation. During the summer season people with inflammatory arthritis may wear sandals more frequently in order to accommodate disease-related foot deformity. Healthcare professionals and researchers should consider seasonal variation when recommending appropriate footwear, or conducting footwear studies in people with inflammatory arthritis, to reduce non-adherence to prescribed footwear

Nonlinear thermoelectric response of quantum dots: renormalized dual fermions out of equilibrium

The thermoelectric transport properties of nanostructured devices continue to attract attention from theorists and experimentalist alike as the spatial confinement allows for a controlled approach to transport properties of correlated matter. Most of the existing work, however, focuses on thermoelectric transport in the linear regime despite the fact that the nonlinear conductance of correlated quantum dots has been studied in some detail throughout the last decade. Here, we review our recent work on the effect of particle-hole asymmetry on the nonlinear transport properties in the vicinity of the strong coupling limit of Kondo-correlated quantum dots and extend the underlying method, a renormalized superperturbation theory on the Keldysh contour, to the thermal conductance in the nonlinear regime. We determine the charge, energy, and heat current through the nanostructure and study the nonlinear transport coefficients, the entropy production, and the fate of the Wiedemann-Franz law in the non-thermal steady-state. Our approach is based on a renormalized perturbation theory in terms of dual fermions around the particle-hole symmetric strong-coupling limit.Comment: chapter contributed to 'New Materials for Thermoelectric Applications: Theory and Experiment' Springer Series: NATO Science for Peace and Security Series - B: Physics and Biophysics, Veljko Zlatic (Editor), Alex Hewson (Editor). ISBN: 978-9400749863 (2012

A mathematical and computational review of Hartree-Fock SCF methods in Quantum Chemistry

We present here a review of the fundamental topics of Hartree-Fock theory in Quantum Chemistry. From the molecular Hamiltonian, using and discussing the Born-Oppenheimer approximation, we arrive to the Hartree and Hartree-Fock equations for the electronic problem. Special emphasis is placed in the most relevant mathematical aspects of the theoretical derivation of the final equations, as well as in the results regarding the existence and uniqueness of their solutions. All Hartree-Fock versions with different spin restrictions are systematically extracted from the general case, thus providing a unifying framework. Then, the discretization of the one-electron orbitals space is reviewed and the Roothaan-Hall formalism introduced. This leads to a exposition of the basic underlying concepts related to the construction and selection of Gaussian basis sets, focusing in algorithmic efficiency issues. Finally, we close the review with a section in which the most relevant modern developments (specially those related to the design of linear-scaling methods) are commented and linked to the issues discussed. The whole work is intentionally introductory and rather self-contained, so that it may be useful for non experts that aim to use quantum chemical methods in interdisciplinary applications. Moreover, much material that is found scattered in the literature has been put together here to facilitate comprehension and to serve as a handy reference.Comment: 64 pages, 3 figures, tMPH2e.cls style file, doublesp, mathbbol and subeqn package

Analytic philosophy for biomedical research: the imperative of applying yesterday's timeless messages to today's impasses

The mantra that "the best way to predict the future is to invent it" (attributed to the computer scientist Alan Kay) exemplifies some of the expectations from the technical and innovative sides of biomedical research at present. However, for technical advancements to make real impacts both on patient health and genuine scientific understanding, quite a number of lingering challenges facing the entire spectrum from protein biology all the way to randomized controlled trials should start to be overcome. The proposal in this chapter is that philosophy is essential in this process. By reviewing select examples from the history of science and philosophy, disciplines which were indistinguishable until the mid-nineteenth century, I argue that progress toward the many impasses in biomedicine can be achieved by emphasizing theoretical work (in the true sense of the word 'theory') as a vital foundation for experimental biology. Furthermore, a philosophical biology program that could provide a framework for theoretical investigations is outlined

Search for High Mass Photon Pairs in p-pbar --> gamma-gamma-jet-jet Events at sqrt(s)=1.8 TeV

A search has been carried out for events in the channel p-barp --> gamma gamma jet jet. Such a signature can characterize the production of a non-standard Higgs boson together with a W or Z boson. We refer to this non-standard Higgs, having standard model couplings to vector bosons but no coupling to fermions, as a "bosonic Higgs." With the requirement of two high transverse energy photons and two jets, the diphoton mass (m(gamma gamma)) distribution is consistent with expected background. A 90(95)% C.L. upper limit on the cross section as a function of mass is calculated, ranging from 0.60(0.80) pb for m(gamma gamma) = 65 GeV/c^2 to 0.26(0.34) pb for m(gamma gamma) = 150 GeV/c^2, corresponding to a 95% C.L. lower limit on the mass of a bosonic Higgs of 78.5 GeV/c^2.Comment: 9 pages, 3 figures. Replacement has new H->gamma gamma branching ratios and corresponding new mass limit

Search For Heavy Pointlike Dirac Monopoles

We have searched for central production of a pair of photons with high transverse energies in $p\bar p$ collisions at $\sqrt{s} = 1.8$ TeV using $70 pb^{-1}$ of data collected with the D\O detector at the Fermilab Tevatron in 1994--1996. If they exist, virtual heavy pointlike Dirac monopoles could rescatter pairs of nearly real photons into this final state via a box diagram. We observe no excess of events above background, and set lower 95% C.L. limits of $610, 870, or 1580 GeV/c^2$ on the mass of a spin 0, 1/2, or 1 Dirac monopole.Comment: 12 pages, 4 figure

Ratio of the Isolated Photon Cross Sections at \sqrt{s} = 630 and 1800 GeV

The inclusive cross section for production of isolated photons has been measured in \pbarp collisions at $\sqrt{s} = 630$ GeV with the \D0 detector at the Fermilab Tevatron Collider. The photons span a transverse energy ($E_T$) range from 7-49 GeV and have pseudorapidity $|\eta| < 2.5$. This measurement is combined with to previous \D0 result at $\sqrt{s} = 1800$ GeV to form a ratio of the cross sections. Comparison of next-to-leading order QCD with the measured cross section at 630 GeV and ratio of cross sections show satisfactory agreement in most of the $E_T$ range.Comment: 7 pages. Published in Phys. Rev. Lett. 87, 251805, (2001