Constructing Fully Complete Models of Multiplicative Linear Logic

The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan double glueing construction produces such categories, either with or without units, when applied to any of a large family of degenerate models. This process explains as special cases a number of such models from the literature. In order to achieve this result, we develop a tensor calculus for compact closed categories with finite biproducts. We show how the combinatorial properties required for a fully complete model are obtained by this glueing construction adding to the structure already available from the original category.Comment: 72 pages. An extended abstract of this work appeared in the proceedings of LICS 201

How impact fees and local planning regulation can influence deployment of telecoms infrastructure

This paper examines how local government planning regulations and charges affect the deployment of telecommunications infrastructure. We explore the economic rationale for local government regulation of such infrastructure, which we suggest should be based on managing negative externalities. Using data from Ireland, we find that the observed geographical pattern of impact fees is inconsistent with the economic rationale for them. A simple econometric model of the number of telecoms masts in each country also suggests that the level of impact fees is negatively associated with mast deployment. This paper also examines other regulatory factors that affect the provision of new infrastructure. We find wide regional variation in these regulations but are unableto quantify their impact on infrastructure provision. Such regulatory complexity places extra compliance burdens on private operators, which may in turn distort the level and regional pattern of network investment. We suggest further regional harmonisation of development policy towards telecoms infrastructure to avoid exacerbating regional disparities in rollout of services. --Land use regulation,telecommunications infrastructure investment,impact fees

Comet thermal modeling

The past year was one of tremendous activity because of the appearance of Halley's Comet. Observations of the comet were collected from a number of sources and compared with the detailed predictions of the comet thermal modeling program. Spacecraft observations of key physical parameters for cometary nucleus were incorporated into the thermal model and new cases run. These results have led to a much better understanding of physical processes on the nucleus and have pointed the way for further improvements to the modeling program. A model for the large-scale structure of cometary nuclei was proposed in which comets were envisioned as loosely bound agglomerations of smaller icy planetesimals, essentially a rubble pile of primordial dirty snowballs. In addition, a study of the physical history of comets was begun, concentrating on processes during formation and in the Oort cloud which would alter the volatile and nonvolatile materials in cometary nuclei from their pristine state before formation

Land Grant Application- Paul, Hugh (Warrensburg, NY)

Land grant application submitted to the Maine Land Office for Hugh Paul for service in the Revolutionary War.https://digitalmaine.com/revolutionary_war_mass/1263/thumbnail.jp

Lactobacillus ruminis strains cluster according to their mammalian gut source

peer-reviewedBackground Lactobacillus ruminis is a motile Lactobacillus that is autochthonous to the human gut, and which may also be isolated from other mammals. Detailed characterization of L. ruminis has previously been restricted to strains of human and bovine origin. We therefore sought to expand our bio-bank of strains to identify and characterise isolates of porcine and equine origin by comparative genomics. Results We isolated five strains from the faeces of horses and two strains from pigs, and compared their motility, biochemistry and genetic relatedness to six human isolates and three bovine isolates including the type strain 27780T. Multilocus sequence typing analysis based on concatenated sequence data for six individual loci separated the 16 L. ruminis strains into three clades concordant with human, bovine or porcine, and equine sources. Sequencing the genomes of four additional strains of human, bovine, equine and porcine origin revealed a high level of genome synteny, independent of the source animal. Analysis of carbohydrate utilization, stress survival and technological robustness in a combined panel of sixteen L. ruminis isolates identified strains with optimal survival characteristics suitable for future investigation as candidate probiotics. Under laboratory conditions, six human isolates of L. ruminis tested were aflagellate and non-motile, whereas all 10 strains of bovine, equine and porcine origin were motile. Interestingly the equine and porcine strains were hyper-flagellated compared to bovine isolates, and this hyper-flagellate phenotype correlated with the ability to swarm on solid medium containing up to 1.8% agar. Analysis by RNA sequencing and qRT-PCR identified genes for the biosynthesis of flagella, genes for carbohydrate metabolism and genes of unknown function that were differentially expressed in swarming cells of an equine isolate of L. ruminis. Conclusions We suggest that Lactobacillus ruminis isolates have potential to be used in the functional food industry. We have also identified a MLST scheme able to distinguish between strains of L. ruminis of different origin. Genes for non-digestible oligosaccharide metabolism were identified with a putative role in swarming behaviour.This work was supported by a Principal Investigator Award (07/IN.1/B1780) from Science Foundation Ireland to P.W. O’Toole

Re-examining and re-conceptualising enterprise search and discovery capability: towards a model for the factors and generative mechanisms for search task outcomes.

Many organizations are trying to re-create the Google experience, to find and exploit their own corporate information. However, there is evidence that finding information in the workplace using search engine technology has remained difficult, with socio-technical elements largely neglected in the literature. Explication of the factors and generative mechanisms (ultimate causes) to effective search task outcomes (user satisfaction, search task performance and serendipitous encountering) may provide a first step in making improvements. A transdisciplinary (holistic) lens was applied to Enterprise Search and Discovery capability, combining critical realism and activity theory with complexity theories to one of the worlds largest corporations. Data collection included an in-situ exploratory search experiment with 26 participants, focus groups with 53 participants and interviews with 87 business professionals. Thousands of user feedback comments and search transactions were analysed. Transferability of findings was assessed through interviews with eight industry informants and ten organizations from a range of industries. A wide range of informational needs were identified for search filters, including a need to be intrigued. Search term word co-occurrence algorithms facilitated serendipity to a greater extent than existing methods deployed in the organization surveyed. No association was found between user satisfaction (or self assessed search expertise) with search task performance and overall performance was poor, although most participants had been satisfied with their performance. Eighteen factors were identified that influence search task outcomes ranging from user and task factors, informational and technological artefacts, through to a wide range of organizational norms. Modality Theory (Cybersearch culture, Simplicity and Loss Aversion bias) was developed to explain the study observations. This proposes that at all organizational levels there are tendencies for reductionist (unimodal) mind-sets towards search capability leading to fixes that fail. The factors and mechanisms were identified in other industry organizations suggesting some theory generalizability. This is the first socio-technical analysis of Enterprise Search and Discovery capability. The findings challenge existing orthodoxy, such as the criticality of search literacy (agency) which has been neglected in the practitioner literature in favour of structure. The resulting multifactorial causal model and strategic framework for improvement present opportunities to update existing academic models in the IR, LIS and IS literature, such as the DeLone and McLean model for information system success. There are encouraging signs that Modality Theory may enable a reconfiguration of organizational mind-sets that could transform search task outcomes and ultimately business performance

Craft Design and Technology Conversion Course: Goldsmiths' College

The one year CDT conversion course, first introduced by Goldsmiths' College has now been running there for seven years, generally taking between IS and 20 students each year. It is anticipated that students will teach in both Middle schools and in the first three years of Secondary schools. With further in-service training and Departmental help they should become teachers of CDT at all levels. The course is structured to equip teachers with the basic skills needed for the teaching of Design activities to pupils with an emphasis placed on an understanding of working with wood, metal and plastics from an Integrated Design approach. It may be appreciated that a one year course must be of an intensive nature and a sample first term's timetable illustrates this

Creating sparks: comparing search results using discriminatory search term word co-occurrence to facilitate serendipity in the enterprise.

Categories or tags that appear in faceted search interfaces which are representative of an information item, rarely convey unexpected or non-obvious associated concepts buried within search results. No prior research has been identified which assesses the usefulness of discriminative search term word co-occurrence to generate facets to act as catalysts to facilitate insightful and serendipitous encounters during exploratory search. In this study, 53 scientists from two organisations interacted with semi-interactive stimuli, 74% expressing a large/moderate desire to use such techniques within their workplace. Preferences were shown for certain algorithms and colour coding. Insightful and serendipitous encounters were identified. These techniques appear to offer a significant improvement over existing approaches used within the study organisations, providing further evidence that insightful and serendipitous encounters can be facilitated in the search user interface. This research has implications for organisational learning, knowledge discovery and exploratory search interface design

Analysis of the hippocampal proteome in ME7 prion disease reveals a predominant astrocytic signature and highlights the brain-restricted production of clusterin in chronic neurodegeneration

Prion diseases are characterized by accumulation of misfolded protein, gliosis, synaptic dysfunction, and ultimately neuronal loss. This sequence, mirroring key features of Alzheimer disease, is modeled well in ME7 prion disease. We used iTRAQ(TM)/mass spectrometry to compare the hippocampal proteome in control and late-stage ME7 animals. The observed changes associated with reactive glia highlighted some specific proteins that dominate the proteome in late-stage disease. Four of the up-regulated proteins (GFAP, high affinity glutamate transporter (EAAT-2), apo-J (Clusterin), and peroxiredoxin-6) are selectively expressed in astrocytes, but astrocyte proliferation does not contribute to their up-regulation. The known functional role of these proteins suggests this response acts against protein misfolding, excitotoxicity, and neurotoxic reactive oxygen species. A recent convergence of genome-wide association studies and the peripheral measurement of circulating levels of acute phase proteins have focused attention on Clusterin as a modifier of late-stage Alzheimer disease and a biomarker for advanced neurodegeneration. Since ME7 animals allow independent measurement of acute phase proteins in the brain and circulation, we extended our investigation to address whether changes in the brain proteome are detectable in blood. We found no difference in the circulating levels of Clusterin in late-stage prion disease when animals will show behavioral decline, accumulation of misfolded protein, and dramatic synaptic and neuronal loss. This does not preclude an important role of Clusterin in late-stage disease, but it cautions against the assumption that brain levels provide a surrogate peripheral measure for the progression of brain degeneration