Structures in Real Theory Application: A Study in Feasible Epistemology

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done

The Basic Polynomial Algebra Subprograms

International audienceThe Basic Polynomial Algebra Subprograms (BPAS) provides arithmetic operations (multiplication, division, root isolation, etc.) for univariate and multivariate polynomials over common types of coefficients (prime fields, complex rational numbers, rational functions, etc.). The code is mainly written in CilkPlus [10] targeting multicore processors. The current distribution focuses on dense polynomials and the sparse case is work in progress. A strong emphasis is put on adaptive algorithms as the library aims at supporting a wide variety of situations in terms of problem sizes and available computing resources. The BPAS library is publicly available in source at www.bpaslib.org

Non-Conjugated Small Molecule FRET for Differentiating Monomers from Higher Molecular Weight Amyloid Beta Species

Background: Systematic differentiation of amyloid (Aβ) species could be important for diagnosis of Alzheimer's disease (AD). In spite of significant progress, controversies remain regarding which species are the primary contributors to the AD pathology, and which species could be used as the best biomarkers for its diagnosis. These controversies are partially caused by the lack of reliable methods to differentiate the complicated subtypes of Aβ species. Particularly, differentiation of Aβ monomers from toxic higher molecular weight species (HrMW) would be beneficial for drug screening, diagnosis, and molecular mechanism studies. However, fast and cheap methods for these specific aims are still lacking. Principal Findings: We demonstrated the feasibility of a non-conjugated FRET (Förster resonance energy transfer) technique that utilized amyloid beta (Aβ) species as intrinsic platforms for the FRET pair assembly. Mixing two structurally similar curcumin derivatives that served as the small molecule FRET pair with Aβ40 aggregates resulted in a FRET signal, while no signal was detected when using Aβ40 monomer solution. Lastly, this FRET technique enabled us to quantify the concentrations of Aβ monomers and high molecular weight species in solution. Significance: We believe that this FRET technique could potentially be used as a tool for screening for inhibitors of Aβ aggregation. We also suggest that this concept could be generalized to other misfolded proteins/peptides implicated in various pathologies including amyloid in diabetes, prion in bovine spongiform encephalopathy, tau protein in AD, and α-synuclein in Parkinson disease.National Institute on Aging (K25AG036760

Hepatitis B Vaccine Antibody Response and the Risk of Clinical AIDS or Death

Whether seroresponse to a vaccine such as hepatitis B virus (HBV) vaccine can provide a measure of the functional immune status of HIV-infected persons is unknown.This study evaluated the relationship between HBV vaccine seroresponses and progression to clinical AIDS or death. (HR 3.40; 95% CI, 1.39–8.32).

Interferon-Alpha Administration Enhances CD8+ T Cell Activation in HIV Infection

Type I interferons play important roles in innate immune defense. In HIV infection, type I interferons may delay disease progression by inhibiting viral replication while at the same time accelerating disease progression by contributing to chronic immune activation.To investigate the effects of type I interferons in HIV-infection, we obtained cryopreserved peripheral blood mononuclear cell samples from 10 subjects who participated in AIDS Clinical Trials Group Study 5192, a trial investigating the activity of systemic administration of IFNα for twelve weeks to patients with untreated HIV infection. Using flow cytometry, we examined changes in cell cycle status and expression of activation antigens by circulating T cells and their maturation subsets before, during and after IFNα treatment.The proportion of CD38+HLA-DR+CD8+ T cells increased from a mean of 11.7% at baseline to 24.1% after twelve weeks of interferon treatment (p = 0.006). These frequencies dropped to an average of 20.1% six weeks after the end of treatment. In contrast to CD8+ T cells, the frequencies of activated CD4+ T cells did not change with administration of type I interferon (mean percentage of CD38+DR+ cells = 2.62% at baseline and 2.17% after 12 weeks of interferon therapy). As plasma HIV levels fell with interferon therapy, this was correlated with a "paradoxical" increase in CD8+ T cell activation (p<0.001).Administration of type I interferon increased expression of the activation markers CD38 and HLA DR on CD8+ T cells but not on CD4+ T cells of HIV+ persons. These observations suggest that type I interferons may contribute to the high levels of CD8+ T cell activation that occur during HIV infection