Achieving completeness: from constructive set theory to large cardinals

This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. We develop them within a constructive reverse mathematical viewpoint, highlighting the metatheory used in each case and the strength of the corresponding completeness theorems. The classical part of the thesis focuses on infinitary intuitionistic propositional and predicate logic. We consider a propositional axiomatic system with a special distributivity rule that is enough to prove a completeness theorem, and we introduce weakly compact cardinals as the adequate metatheoretical assumption for this development. Finally, we return to the categorical formulation focusing this time on infinitary first-order intuitionistic logic. We propose a first-order system with a special rule, transfinite transitivity, that embodies both distributivity as well as a form of dependent choice, and study the extent to which completeness theorems can be established. We prove completeness using a weakly compact cardinal, and, like in the constructive part, we study disjunction-free fragments as well. The assumption of weak compactness is shown to be essential for the completeness theorems to hold.

Developing a scalable model of recombinant protein yield from Pichia pastoris:the influence of culture conditions, biomass and induction regime

Background The optimisation and scale-up of process conditions leading to high yields of recombinant proteins is an enduring bottleneck in the post-genomic sciences. Typical experiments rely on varying selected parameters through repeated rounds of trial-and-error optimisation. To rationalise this, several groups have recently adopted the 'design of experiments' (DoE) approach frequently used in industry. Studies have focused on parameters such as medium composition, nutrient feed rates and induction of expression in shake flasks or bioreactors, as well as oxygen transfer rates in micro-well plates. In this study we wanted to generate a predictive model that described small-scale screens and to test its scalability to bioreactors. Results Here we demonstrate how the use of a DoE approach in a multi-well mini-bioreactor permitted the rapid establishment of high yielding production phase conditions that could be transferred to a 7 L bioreactor. Using green fluorescent protein secreted from Pichia pastoris, we derived a predictive model of protein yield as a function of the three most commonly-varied process parameters: temperature, pH and the percentage of dissolved oxygen in the culture medium. Importantly, when yield was normalised to culture volume and density, the model was scalable from mL to L working volumes. By increasing pre-induction biomass accumulation, model-predicted yields were further improved. Yield improvement was most significant, however, on varying the fed-batch induction regime to minimise methanol accumulation so that the productivity of the culture increased throughout the whole induction period. These findings suggest the importance of matching the rate of protein production with the host metabolism. Conclusion We demonstrate how a rational, stepwise approach to recombinant protein production screens can reduce process development time.

Is ICT key to development?

Using panel data for 52 developed and developing countries over the period 1998-2006, this article examines the links between information and communication technology diffusion and human development. We conducted a panel regression analysis of the investments per capita in healthcare, education and information and communication technology against human development index scores. Using a quantile regression approach, our findings suggest that changes in healthcare, education and information and communication technology provision have a stronger impact on human development index scores for less developed than for highly developed countries. Furthermore, at lower levels of development education fosters development directly and also indirectly through their enhanced effects on ICT. At higher levels of development education has only an indirect effect on development through the return to ICT.

The cellular response to transglutaminase-cross-linked collagen

Collagen, type I, is a highly abundant natural protein material which has been cross-linked by a variety of methods including chemical agents, physical heating and UV irradiation with the aim of enhancing its physical characteristics such as mechanical strength, thermal stability, resistance to proteolytic breakdown, thus increasing its overall biocompatibility. However, in view of the toxicity of residual cross-linking agents, or impracticability at large scales, it would be more useful if the collagen could be cross-linked by a milder, efficient and more practical means by using enzymes as biological catalysts. We demonstrate that on treating native collagen type I (from bovine skin) with both tissue transglutaminase (TG2; tTG) and microbial transglutaminase (mTG; Streptoverticillium mobaraense) leads to an enhancement in cell attachment, spreading and proliferation of human osteoblasts (HOB) and human foreskin dermal fibroblasts (HFDF) when compared to culture on native collagen. The transglutaminase-treated collagen substrates also showed a greater resistance to cell-mediated endogenous protease degradation than the native collagen. In addition, the HOB cells were shown to differentiate at a faster rate than on native collagen when assessed by measurement of alkaline phosphatase activity and osteopontin expression. © 2005 Elsevier Ltd. All rights reserved.

Political radicalism in France:perspectives on a protean concept

This introductory article reflects on the new momentum that political radicalism has taken on in France. The ebb and flow of radical aspiration featured regularly in French politics under the Fourth and early Fifth Republics, before the failure of the "Socialist experiment" in the early 1980s brought about a paradigm shift. In the wake of this failure and with the "end of ideology" supposedly in sight, political leaders and parties tempered their appeals to radical solutions and conspired, not least through recurrent power-sharing, to vacate mainstream political discourse of much of its former radicalism. Since the presidential election of 2007, however, there has been a marked return to promises of radical change as the common currency of political discourse across the full left-right spectrum in France. This article introduces a special issue of French Politics, Culture & Society that brings together scholars from France, Britain, and Canada to discuss some of the meanings, expressions, and prospects of political radicalism in France today.

Culture and behaviour in the English National Health Service:overview of lessons from a large multimethod study

Background - Problems of quality and safety persist in health systems worldwide. We conducted a large research programme to examine culture and behaviour in the English National Health Service (NHS). Methods - Mixed-methods study involving collection and triangulation of data from multiple sources, including interviews, surveys, ethnographic case studies, board minutes and publicly available datasets. We narratively synthesised data across the studies to produce a holistic picture and in this paper present a highlevel summary. Results - We found an almost universal desire to provide the best quality of care. We identified many 'bright spots' of excellent caring and practice and high-quality innovation across the NHS, but also considerable inconsistency. Consistent achievement of high-quality care was challenged by unclear goals, overlapping priorities that distracted attention, and compliance-oriented bureaucratised management. The institutional and regulatory environment was populated by multiple external bodies serving different but overlapping functions. Some organisations found it difficult to obtain valid insights into the quality of the care they provided. Poor organisational and information systems sometimes left staff struggling to deliver care effectively and disempowered them from initiating improvement. Good staff support and management were also highly variable, though they were fundamental to culture and were directly related to patient experience, safety and quality of care. Conclusions - Our results highlight the importance of clear, challenging goals for high-quality care. Organisations need to put the patient at the centre of all they do, get smart intelligence, focus on improving organisational systems, and nurture caring cultures by ensuring that staff feel valued, respected, engaged and supported.

All-optical 42.6 Gbit/s NRZ to RZ format conversion by cross-phase modulation in single SOA

A 42.6 Gbit/s all-optical non-retum-to-zero (NRZ) to return-to-zero (RZ) format converter using a single SOA followed by an asymmetrical Mach-Zehnder interferometer is presented. The format converter generates a correctly-coded RZ signal with a controllable duty-cycle. It has the advantages of flexible input N RZ wavelength, preserved input polarity, negative bit error rate power penalty and low switching pulse energy (15fJ).

Simultaneous multiple channel all-optical NRZ to CSRZ and RZ to CSRZ format conversion using an SOA-NOLM

The optical conversion bandwidth for an all-optical modulation format converter, based on a semiconductor laser amplifier in a nonlinear optical loop mirror (SOA-NOLM), is investigated. 4 Â 10 Gbit/s channels are all- optically converted between both non-return-to-zero (NRZ) and return-to-zero (RZ) format to carrier- suppressed return-to-zero (CSRZ). WDM transmission of the converted signals over a 194 km fibre span is then demonstrated. The receiver sensitivity for the converted four wavelengths is measured and compared after transmission.

Simultaneous multiple channel all-optical NRZ to CSRZ and RZ to CSRZ format conversion using an SOA-NOLM

The optical conversion bandwidth for an all-optical modulation format converter, based on a semiconductor laser amplifier in a nonlinear optical loop mirror (SOA-NOLM), is investigated. 4 Â 10 Gbit/s channels are all- optically converted between both non-return-to-zero (NRZ) and return-to-zero (RZ) format to carrier- suppressed return-to-zero (CSRZ). WDM transmission of the converted signals over a 194 km fibre span is then demonstrated. The receiver sensitivity for the converted four wavelengths is measured and compared after transmission.

Simultaneous multiple channel all-optical NRZ to CSRZ and RZ to CSRZ format conversion using an SOA-NOLM

The optical conversion bandwidth for an all-optical modulation format converter, based on a semiconductor laser amplifier in a nonlinear optical loop mirror (SOA-NOLM), is investigated. 4×10 Gbit/s channels are all-optically converted between both non-return-to-zero (NRZ) and return-to-zero (RZ) format to carrier-suppressed return-to-zero (CSRZ). WDM transmission of the converted signals over a 194 km fibre span is then demonstrated. The receiver sensitivity for the converted four wavelengths is measured and compared after transmission. © 2014 Elsevier B.V. All rights reserved.

Optimally-designed single fiber Bragg grating filter scheme for RZ-OOK/DPSK/DQPSK to NRZ-OOK/DPSK/DQPSK format conversion

We investigate return-to-zero (RZ) to non-return-to-zero (NRZ) format conversion by means of the linear time-invariant system theory. It is shown that the problem of converting random RZ stream to NRZ stream can be reduced to constructing an appropriate transfer function for the linear filter. This approach is then used to propose novel optimally-designed single fiber Bragg grating (FBG) filter scheme for RZ-OOK/DPSK/DQPSK to NRZ-OOK/DPSK/DQPSK format conversion. The spectral response of the FBG is designed according to the optical spectra of the algebraic difference between isolated NRZ and RZ pulses, and the filter order is optimized for the maximum Q-factor of the output NRZ signals. Experimental results as well as simulations show that such an optimallydesigned FBG can successfully perform RZ-OOK/DPSK/DQPSK to NRZOOK/ DPSK/DQPSK format conversion.

Agitation conditions for the culture and detachment of hMSCs from microcarriers in multiple bioreactor platforms

In our recent work in different bioreactors up to 2.5L in scale, we have successfully cultured hMSCs using the minimum agitator speed required for complete microcarrier suspension, N JS. In addition, we also reported a scaleable protocol for the detachment from microcarriers in spinner flasks of hMSCs from two donors. The essence of the protocol is the use of a short period of intense agitation in the presence of enzymes such that the cells are detached; but once detachment is achieved, the cells are smaller than the Kolmogorov scale of turbulence and hence not damaged. Here, the same approach has been effective for culture at N JS and detachment in-situ in 15mL ambr™ bioreactors, 100mL spinner flasks and 250mL Dasgip bioreactors. In these experiments, cells from four different donors were used along with two types of microcarrier with and without surface coatings (two types), four different enzymes and three different growth media (with and without serum), a total of 22 different combinations. In all cases after detachment, the cells were shown to retain their desired quality attributes and were able to proliferate. This agitation strategy with respect to culture and harvest therefore offers a sound basis for a wide range of scales of operation.

Counting on use of technology to enhance learning

In global policy documents, the language of Technology-Enhanced Learning (TEL) now firmly structures a perception of educational technology which ‘subsumes’ terms like Networked Learning and e-Learning. Embedded in these three words though is a deterministic, economic assumption that technology has now enhanced learning, and will continue to do so. In a market-driven, capitalist society this is a ‘trouble free’, economically focused discourse which suggests there is no need for further debate about what the use of technology achieves in learning. Yet this raises a problem too: if technology achieves goals for human beings, then in education we are now simply counting on ‘use of technology’ to enhance learning. This closes the door on a necessary and ongoing critical pedagogical conversation that reminds us it is people that design learning, not technology. Furthermore, such discourse provides a vehicle for those with either strong hierarchical, or neoliberal agendas to make simplified claims politically, in the name of technology. This chapter is a reflection on our use of language in the educational technology community through a corpus-based Critical Discourse Analysis (CDA). In analytical examples that are ‘loaded’ with economic expectation, we can notice how the policy discourse of TEL narrows conversational space for learning so that people may struggle to recognise their own subjective being in this language. Through the lens of Lieras’s externality, desubjectivisation and closure (Lieras, 1996) we might examine possible effects of this discourse and seek a more emancipatory approach. A return to discussing Networked Learning is suggested, as a first step towards a more multi-directional conversation than TEL, that acknowledges the interrelatedness of technology, language and learning in people’s practice. Secondly, a reconsideration of how we write policy for educational technology is recommended, with a critical focus on how people learn, rather than on what technology is assumed to enhance.

Education, earnings, and rates of return: The case of Taiwan

Educational planners and economists have long recognized the importance of education as a form of productive investment in both advanced countries and developing countries. In the case of Taiwan, along with impressive economic growth, there was an even faster rate of growth of the government's investment in education. This leads some to question whether education has any role in economic development. ^ The purpose of this study is to provide a broad overview of the role of education, in terms of private rates of return to education, in Taiwan. In the process, a variety of hypotheses about human capital theory are examined and an empirical study of Taiwan's earnings functions are tested to show that education can be an important instrument to increase private rate of return, even under conditions of scarcity of natural and physical resources. Data was collected using the Manpower Survey and Manpower Utilization Survey, conducted by the government. Research questions were analyzed using descriptive statistics, frequencies, and regression analysis. ^ Results indicated that the Manpower Development Plans have been the decisive influence in allowing Taiwan to develop its human resources and achieve success in meeting the needs of Taiwan's economy. The structure of age-earnings profiles showed a strong relationship between earnings and education, and the profiles that successively shift upward are associated with higher levels of education. In the cross-sectional results of the rate of return in 1997, each additional year of schooling leads to a 6.2% increase in income. As to the private rates of return to different levels of education, the results found that the private rates of return are 2.88%, 4.85% and 10.05% for primary, secondary and higher education respectively. In an intertemporal comparison for 1980, 1985, 1990 and 1997, the results showed no significant trend except the private rates of return for primary education have been falling from 3.9% to 2.88%. ^ On the basis of this study, for individual student or family in Taiwan, there is likely to be a strong demand for education, particularly at the higher level. Therefore, a well-developed higher educational level becomes essential and the content of curriculum in higher education becomes another crucial question facing planners in Taiwan if they are going to use education as a means to foster economic development. ^

A computer based approach to improve the dietary and physical activity patterns of a diverse group of adolescents

Diet and physical activity patterns have been implicated as major factors in the increasing prevalence of childhood and adolescent obesity. It is estimated that between 16 and 33 percent of children and adolescents in the United States are overweight (CDC, 2000). Moreover, the CDC estimates that less than 50% of adolescents are physically active on a regular basis (CDC, 2003). Interventions must be focused to modify these behaviors. Facilitating the understanding of proper nutrition and need for physical activity among adolescents is the first step in preventing overweight and obesity and delaying the development of chronic diseases later in life (Dwyer, 2000). The purpose of this study was to compare the outcomes of students receiving one of two forms of education (both emphasizing diet and physical activity), to determine whether a computer based intervention (CBI) program using an interactive, animated CD-ROM would elicit a greater behavior change in comparison to a traditional didactic intervention (TDI) program. A convenience sample of 254 high school students aged 14-19 participated in the 6-month program. A pre-test post-test design was used, with follow-up measures taken at three months post-intervention. ^ No change was noted in total fat, saturated fat, fruit/vegetables, or fiber intake for any of the groups. There was also no change in perceived self-efficacy or perceived social support. Results did, however, indicate an increase in nutrition knowledge for both intervention groups (p<0.001). In addition, the CBI group demonstrated more positive and sustained behavior changes throughout the course of the study. These changes included a decrease in BMI (ppre/post<0.001, ppost/follow-up<0.001), number of meals skipped (ppre/post<0.001), and soda consumption (ppre/post=0.003, ppost/follow-up=0.03) and an increase in nutrition knowledge (ppre/post<0.001, ppre/follow-up <0.001), physical activity (ppre/post<0.05, p pre/follow-up<0.01), frequency of label reading (ppre/follow-up <0.0l) and in dairy consumption (ppre/post=0.03). The TDI group did show positive gains in some areas post intervention, however a return to baseline behavior was shown at follow-up. Findings of this study suggest that compared to traditional didactic teaching, computer-based nutrition and health education has greater potential to elicit change in knowledge and behavior as well as promote maintenance of the behavior change over time. ^