a computational proof of complexity of some restricted counting problems

South Central University

A hardware proof of concept of a sailing robot for ocean observation

M J Neal, A hardware proof of concept of a sailing robot for ocean observation, IEEE Journal of Oceanic Engineering, 2006 accepted for publication RAE2008

A New Version of Toom's Proof

There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is simplified exposition of their proof.

Proof: otra vuelta de tuerca

En marzo de 2006 han coincidido en nuestras pantallas los estrenos de un largometraje y de una serie televisiva donde las Matemáticas tienen un papel estelar. Se trata de La verdad oculta (singular traducción del título original Proof) y de la serie Numb3rs. En ambos casos hay un alto nivel de producción, con directores y actores famosos, y con una puesta en escena y un montaje cuidados; pero divergen en su enfoque de las matemáticas en relación con el bienestar humano.

[Book review] Psicologia Della Prova [Psychology of Proof]

Review of: Psicologia Della Prova [Psychology of Proof] edited by C. Cabras, Giuffré, Milano. 1996.

Zinc polycarboxylate dental cement for the controlled release of an active organic substance: proof of concept

The potential of employing zinc polycarboxylate dental cement as a controlled release material has been studied. Benzalkonium chloride was used as the active ingredient, and incorporated at concentrations of 1, 2 and 3% by mass within the cement. At these levels, there was no observable effect on the speed of setting. Release was followed using an ion-selective electrode to determine changes in chloride ion concentration with time. This technique showed that the additive was released when the cured cement was placed in water, with release occurring by a diffusion mechanism for the first 3 h, but continuing beyond that for up to 1 week. Diffusion coefficients were in the range 5.62 × 10(−6) cm(2) s(−1) (for 1% concentration) to 10.90 × 10(−6) cm(2) s(−1) (for 3% concentration). Up to 3% of the total loading of benzalkonium chloride was released from the zinc polycarboxylate after a week, which is similar to that found in previous studies with glass-ionomer cement. It is concluded that zinc polycarboxylate cement is capable of acting as a useful material for the controlled release of active organic compounds.

Proof of polar ejection from the close-binary core of the planetary nebula Abell 63

We present the first detailed kinematical analysis of the planetary nebula Abell 63, which is known to contain the eclipsing close-binary nucleus UU Sge. Abell 63 provides an important test case in investigating the role of close-binary central stars on the evolution of planetary nebulae. Longslit observations were obtained using the Manchester echelle spectrometer combined with the 2.1-m San Pedro Martir Telescope. The spectra reveal that the central bright rim of Abell 63 has a tube-like structure. A deep image shows collimated lobes extending from the nebula, which are shown to be high-velocity outflows. The kinematic ages of the nebular rim and the extended lobes are calculated to be 8400 +/- 500 and 12900 +/- 2800 yr, respectively, which suggests that the lobes were formed at an earlier stage than the nebular rim. This is consistent with expectations that disc-generated jets form immediately after the common envelope phase. A morphological-kinematical model of the central nebula is presented and the best-fitting model is found to have the same inclination as the orbital plane of the central binary system; this is the first proof that a close-binary system directly affects the shaping of its nebula. A Hubble-type flow is well-established in the morphological-kinematical modelling of the observed line profiles and imagery. Two possible formation models for the elongated lobes of Abell 63 are considered, (i) a low-density, pressure-driven jet excavates a cavity in the remnant asymptotic giant branch (AGB) envelope; (ii) high-density bullets form the lobes in a single ballistic ejection event.

An exploratory study of Principal Investigator roles in UK University Proof-of-Concept processes: an Absorptive capacity perspective

The increasing emphasis on academic entrepreneurship, technology transfer and research commercialisation within UK universities is predicated on basic research being developed by academics into commercial entities such as university spin-off companies or licensing arrangements. However, this process is fraught with challenges and risks, given the degree of uncertainty regarding future returns. In an attempt to minimise such risks, the Proof-of-Concept (PoC) process has been developed within University Science Park Incubators (USIs) to test the technological, business and market potential of embryonic technology. The key or the pivotal stakeholder within the PoC is the Principal Investigator (PI), who is usually the lead academic responsible for the embryonic technology. Within the current literature, there appears to be a lack of research pertaining to the role of the PI in the PoC process. Moreover, Absorptive Capacity (ACAP) has emerged within the literature as a theoretical framework or lens for exploring the development and application of new knowledge and technology, where the USI is the organisation considered in the current study. Therefore, the aim of this paper is to explore the role and influence of the PI in the PoC process within a USI setting using an ACAP perspective. The research involved a multiple case analysis of PoC applications within a UK university USI. The results demonstrate the role of the PI in developing practices and routines within the PoC process. These practices and processes were initially tacit and informal in nature but became more explicit and formal over time so that knowledge was retained within the USI after the PIs had completed the PoC process. © 2010 The Authors. R&D Management © 2010 Blackwell Publishing Ltd.