The 8Li Calibration Source for the Sudbury Neutrino Obervatory

A calibration source employing 8Li (t_1/2 = 0.838s) has been developed for use with the Sudbury Neutrino Observatory (SNO). This source creates a spectrum of beta particles with an energy range similar to that of the SNO 8B solar neutrino signal. The source is used to test the SNO detector's energy response, position reconstruction and data reduction algorithms. The 8Li isotope is created using a deuterium-tritium neutron generator in conjunction with a 11B target, and is carried to a decay chamber using a gas/aerosol transport system. The decay chamber detects prompt alpha particles by gas scintillation in coincidence with the beta particles which exit through a thin stainless steel wall. A description is given of the production, transport, and tagging techniques along with a discussion of the performance and application of the source.Comment: 11 pages plus 9 figures, Sumbitted to Nuclear Instruments and Methods

A semantical approach to equilibria and rationality

Game theoretic equilibria are mathematical expressions of rationality. Rational agents are used to model not only humans and their software representatives, but also organisms, populations, species and genes, interacting with each other and with the environment. Rational behaviors are achieved not only through conscious reasoning, but also through spontaneous stabilization at equilibrium points. Formal theories of rationality are usually guided by informal intuitions, which are acquired by observing some concrete economic, biological, or network processes. Treating such processes as instances of computation, we reconstruct and refine some basic notions of equilibrium and rationality from the some basic structures of computation. It is, of course, well known that equilibria arise as fixed points; the point is that semantics of computation of fixed points seems to be providing novel methods, algebraic and coalgebraic, for reasoning about them.Comment: 18 pages; Proceedings of CALCO 200

A computational analysis of lower bounds for big bucket production planning problems

In this paper, we analyze a variety of approaches to obtain lower bounds for multi-level production planning problems with big bucket capacities, i.e., problems in which multiple items compete for the same resources. We give an extensive survey of both known and new methods, and also establish relationships between some of these methods that, to our knowledge, have not been presented before. As will be highlighted, understanding the substructures of difficult problems provide crucial insights on why these problems are hard to solve, and this is addressed by a thorough analysis in the paper. We conclude with computational results on a variety of widely used test sets, and a discussion of future research

Assessment of pollen rewards by foraging bees

This is the author accepted manuscript. The final version is available from Wiley via the DOI in this record.The removal of pollen by flower-visiting insects is costly to plants, not only in terms of production, but also via lost reproductive potential. Modern angiosperms have evolved various reward strategies to limit these costs, yet many plant species still offer pollen as a sole or major reward for pollinating insects. 2. The benefits plants gain by offering pollen as a reward for pollinating are defined by the behaviour of their pollinators, some of which feed on the pollen at the flower, while others collect pollen to provision offspring. 3. We explore how pollen impacts on the behaviour and foraging decisions of pollen-collecting bees, drawing comparisons with what is known for nectar rewards. This question is of particular interest since foraging bees typically do not ingest pollen during collection, meaning the sensory pathways involved in evaluating this resource are not immediately obvious. 4. Previous research focussed on whether foraging bees can determine the quality of pollen sources offered by different plant species, and attempted to infer the mechanisms underpinning such evaluations, mainly through observations of collection preferences in the field 5. More recent experimental research has started to focus on if pollen itself can mediate the detection of, and learning about, pollen sources and associated floral cues. 6. We review advancements in the understanding of how bees forage for pollen and respond to variation in pollen quality, and discuss future directions for studying how this ancestral floral food reward shapes the behaviour of pollinating insects

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Assessment of Biosignals for Managing a Virtual Keyboard

In this paper we propose an assessment of biosignals for handling an application based on virtual keyboard and automatic scanning. The aim of this work is to measure the effect of using such application, through different interfaces based on electromyography and electrooculography, on cardiac and electrodermal activities. Five people without disabilities have been tested. Each subject wrote twice the same text using an electromyography interface in first test and electrooculography in the second one. Each test was divided into four parts: instruction, initial relax, writing and final relax. The results of the tests show important differences in the electrocardiogram and electrodermal activity among the parts of tests.Junta de Andalucía p08-TIC-363

Rochechouart 2017-Drilling Campaign: First Results

No abstract available

Volatile and glycosidically bound composition of Loureiro and Alvarinho wines

Composition of Loureiro and Alvarinho wines from the Vinhos Verdes region, respecting free volatile compounds as well as glycosidically bound aroma precursors, was exhaustively determined by GC-MS after adsorption on XAD-2 resin. On the whole, were identified and quantified 120 volatile compounds in the free fraction and 77 glycosidically bound compounds, belonging to C6-compounds, alcohols, fatty acids ethyl esters, esters of organic acids, acetates, monoterpenic alcohols, monoterpenic oxides and diols, C13-norisoprenoids, volatile phenols, volatile fatty acids and carbonyl compounds. Globally, the wines of the two cultivars present similar composition on volatiles. However, respecting varietal compounds, Loureiro wines are richer than Alvarinho ones with regard to C6-compounds and monoterpenic compounds, occurring the opposite for volatile phenols. It was also demonstrate that wines of both varieties may benefit the aroma reserve, present as glycoconjugates, as it is susceptible of being technologically explored. Linalool, Ho-trienol, α-terpineol, contributing with fruity and floral notes, and β-damascenone mostly for Alvarinho, confering tropical fruit notes, are the varietal compounds which may particularly influence the aroma of these wines. Respecting fermentative compounds, Alvarinho is also particularly rich in fatty acids ethyl esters related to lipid metabolism and acetates of fusel alcohols, which can provide it a fruity character; Loureiro contains higher levels of esters of organic acids and 2-phenylethanol, conferring fruity and floral notes. Sensory analysis agree with chemical analyses showing a pronounced tree and tropical fruit character for Alvarinho wines while Loureiro wines present more intense citrus fruit notes.Centre of Biological Engineering of Universidade do Minho; Estação Vitivinícola Amândio Galhano (EVAG); Solar de Serrade; EVAG; Comissão de Viticultura da Região dos Vinhos Verdes

A radium assay technique using hydrous titanium oxide adsorbent for the Sudbury Neutrino Observatory

As photodisintegration of deuterons mimics the disintegration of deuterons by neutrinos, the accurate measurement of the radioactivity from thorium and uranium decay chains in the heavy water in the Sudbury Neutrino Observatory (SNO) is essential for the determination of the total solar neutrino flux. A radium assay technique of the required sensitivity is described that uses hydrous titanium oxide adsorbent on a filtration membrane together with a beta-alpha delayed coincidence counting system. For a 200 tonne assay the detection limit for 232Th is a concentration of 3 x 10^(-16) g Th/g water and for 238U of 3 x 10^(-16) g U/g water. Results of assays of both the heavy and light water carried out during the first two years of data collection of SNO are presented.Comment: 12 pages, 4 figure

The Mathematical Universe

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes and Godel incompleteness. I hypothesize that only computable and decidable (in Godel's sense) structures exist, which alleviates the cosmological measure problem and help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems.Comment: Replaced to match accepted Found. Phys. version, 31 pages, 5 figs; more details at http://space.mit.edu/home/tegmark/toe.htm