What is the object of the encapsulation of a process?

Several theories have been proposed to describe the transition from process to object in mathematical thinking. Yet, what is the nature of this ''object'' produced by the ''encapsulation'' of a process? Here, we outline the development of some of the theories (including Piaget, Dienes, Davis, Greeno, Dubinsky, Sfard, Gray, and Tall) and consider the nature of the mental objects (apparently) produced through encapsulation and their role in the wider development of mathematical thinking. Does the same developmental route occur in geometry as in arithmetic and algebra? Is the same development used in axiomatic mathematics? What is the role played by imagery

A General Framework for Sound and Complete Floyd-Hoare Logics

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of pre-orders and monotone relations. We give several examples of how our theory generalises usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (run-time analysis of while programs and stream circuits).Comment: 27 page

NGX-4010, a capsaicin 8% patch, for the treatment of painful HIV-associated distal sensory polyneuropathy: integrated analysis of two phase III, randomized, controlled trials

BACKGROUND HIV-associated distal sensory polyneuropathy (HIV-DSP) is the most frequently reported neurologic complication associated with HIV infection. NGX-4010 is a capsaicin 8% dermal patch with demonstrated efficacy in the treatment of HIV-DSP. Data from two phase III, double-blind studies were integrated to further analyze the efficacy and safety of NGX-4010 and explore the effect of demographic and baseline factors on NGX-4010 treatment in HIV-DSP. METHODS Data from two similarly designed studies in which patients with HIV-DSP received NGX-4010 or a low-concentration control patch (capsaicin 0.04% w/w) for 30 or 60 minutes were integrated. Efficacy assessments included the mean percent change from baseline in Numeric Pain Rating Scale (NPRS) scores to Weeks 2-12. Safety and tolerability assessments included adverse events (AEs) and pain during and after treatment. RESULTS Patients (n = 239) treated with NGX-4010 for 30 minutes demonstrated significantly (p = 0.0026) greater pain relief compared with controls (n = 100); the mean percent change in NPRS scores from baseline to Weeks 2-12 was -27.0% versus -15.7%, respectively. Patients who received a 60-minute application of NGX-4010 (n = 243) showed comparable pain reductions (-27.5%) to patients treated for 30 minutes, but this was not statistically superior to controls (n = 115). NGX-4010 was effective regardless of gender, baseline pain score, duration of HIV-DSP, or use of concomitant neuropathic pain medication, although NGX-4010 efficacy was greater in patients not receiving concomitant neuropathic pain medications. NGX-4010 was well tolerated; the most common AEs were application-site pain and erythema, and most AEs were mild to moderate. The transient increase in pain associated with NGX-4010 treatment decreased the day after treatment and returned to baseline by Day 2. CONCLUSIONS A single 30-minute application of NGX-4010 provides significant pain relief for at least 12 weeks in patients with HIV-DSP and is well tolerated. TRIAL REGISTRATION C107 = NCT00064623; C119 = NCT00321672

Molecular crystal approach for pi-conjugated polymers: from PPP Hamiltonian to Holstein model for polaron states

Starting from the $\pi$-electron Pariser-Parr-Pople (PPP) Hamiltonian which includes both strong electron-phonon and electron-electron interactions, we propose some strongly correlated wave functions of increasing quality for the ground state of conjugated polymers. These wavefunctions are built by combining different finite sets of local configurations extended at most over two nearest-neighbour monomers. With this picture, the doped case with one additional particle is expressed in terms of quasi-particle. Thus, the polaron formation problem goes back to the study of a Holstein like model.Comment: 27 pages, 6 eps figs, Revtex; enlarged version. Submitted to Journal of Physics: Condensed Matte

CX3CR1 Polymorphisms are associated with atopy but not asthma in German children

Chemokines and their receptors are involved in many aspects of immunity. Chemokine CX3CL1, acting via its receptor CX3CR1, regulates monocyte migration and macrophage differentiation as well as T cell-dependent inflammation. Two common, nonsynonymous polymorphisms in CX3CR1 have previously been shown to alter the function of the CX3CL1/CX3CR1 pathway and were suggested to modify the risk for asthma. Using matrix-assisted laser desorption/ionization time-of-flight technology, we genotyped polymorphisms Val249Ile and Thr280Met in a cross-sectional population of German children from Munich (n = 1,159) and Dresden ( n = 1,940). For 249Ile an odds ratio of 0.77 (95% confidence interval 0.63-0.96; p = 0.017) and for 280Met an odds ratio of 0.71 ( 95% confidence interval 0.56-0.89; p = 0.004) were found with atopy in Dresden but not in Munich. Neither polymorphism was associated with asthma. Thus, amino acid changes in CX3CR1 may influence the development of atopy but not asthma in German children. Potentially, other factors such as environmental effects may modify the role of CX3CR1 polymorphisms. Copyright (c) 2007 S. Karger AG, Basel

Optimisation and validation of an integrated magnetic resonance imaging-only radiotherapy planning solution

Background and purpose: Magnetic resonance imaging (MRI)-only treatment planning is gaining in popularity in radiation oncology, with various methods available to generate a synthetic computed tomography (sCT) for this purpose. The aim of this study was to validate a sCT generation software for MRI-only radiotherapy planning of male and female pelvic cancers. The secondary aim of this study was to improve dose agreement by applying a derived relative electron and mass density (RED) curve to the sCT. Method and materials: Computed tomography (CT) and MRI scans of forty patients with pelvic neoplasms were used in the study. Treatment plans were copied from the CT scan to the sCT scan for dose comparison. Dose difference at reference point, 3D gamma comparison and dose volume histogram analysis was used to validate the dose impact of the sCT. The RED values were optimised to improve dose agreement by using a linear plot. Results: The average percentage dose difference at isocentre was 1.2% and the mean 3D gamma comparison with a criteria of 1%/1 mm was 84.0% ± 9.7%. The results indicate an inherent systematic difference in the dosimetry of the sCT plans, deriving from the tissue densities. With the adapted REDmod table, the average percentage dose difference was reduced to −0.1% and the mean 3D gamma analysis improved to 92.9% ± 5.7% at 1%/1 mm. Conclusions: CT generation software is a viable solution for MRI-only radiotherapy planning. The option makes it relatively easy for departments to implement a MRI-only planning workflow for cancers of male and female pelvic anatomy.</p

Planet Hunters. V. A Confirmed Jupiter-Size Planet in the Habitable Zone and 42 Planet Candidates from the Kepler Archive Data

We report the latest Planet Hunter results, including PH2 b, a Jupiter-size (R_PL = 10.12 \pm 0.56 R_E) planet orbiting in the habitable zone of a solar-type star. PH2 b was elevated from candidate status when a series of false positive tests yielded a 99.9% confidence level that transit events detected around the star KIC 12735740 had a planetary origin. Planet Hunter volunteers have also discovered 42 new planet candidates in the Kepler public archive data, of which 33 have at least three transits recorded. Most of these transit candidates have orbital periods longer than 100 days and 20 are potentially located in the habitable zones of their host stars. Nine candidates were detected with only two transit events and the prospective periods are longer than 400 days. The photometric models suggest that these objects have radii that range between Neptune to Jupiter. These detections nearly double the number of gas giant planet candidates orbiting at habitable zone distances. We conducted spectroscopic observations for nine of the brighter targets to improve the stellar parameters and we obtained adaptive optics imaging for four of the stars to search for blended background or foreground stars that could confuse our photometric modeling. We present an iterative analysis method to derive the stellar and planet properties and uncertainties by combining the available spectroscopic parameters, stellar evolution models, and transiting light curve parameters, weighted by the measurement errors. Planet Hunters is a citizen science project that crowd-sources the assessment of NASA Kepler light curves. The discovery of these 43 planet candidates demonstrates the success of citizen scientists at identifying planet candidates, even in longer period orbits with only two or three transit events.Comment: 35 pages, 11 figures, 6 tables, accepted and published on ApJ ApJ, 776, 1