A static cost analysis for a higher-order language

We develop a static complexity analysis for a higher-order functional language with structural list recursion. The complexity of an expression is a pair consisting of a cost and a potential. The former is defined to be the size of the expression's evaluation derivation in a standard big-step operational semantics. The latter is a measure of the "future" cost of using the value of that expression. A translation function tr maps target expressions to complexities. Our main result is the following Soundness Theorem: If t is a term in the target language, then the cost component of tr(t) is an upper bound on the cost of evaluating t. The proof of the Soundness Theorem is formalized in Coq, providing certified upper bounds on the cost of any expression in the target language.Comment: Final versio

A dedicated photometric system for the detection of Wolf-Rayet stars

We present here tests of a five-filter photometric system aimed at WR classification. In addition to the well-known easy separation between the WN and WC spectral types, these tests indicate interesting potentialities in the discrimination of subgroups among the WN and the WC which look well related to the classical subtypes. The proposed combinations of filters (or derived ones) bear enough discriminating power to satisfy some evolutionary studies in crowded fields where spectroscopic follow-up is not possible.Comment: 10 pages, 7 figures, uses l-aa.sty and psfig for figure inclusion. Also available at http://vela.astro.ulg.ac.be/preprint/P10 Accepted for publication in Astronomy & Astrophysics Supp

Should I make or should I buy? Innovation strategies and governance structures in the Italian food sector

This paper analyses the “make or buy” decision of food firms applied to innovation strategy using 389 Italian food firms data from the Unicredit 2007 database. We develop a set of hypothesis from three theoretical perspectives such as transaction cost economics, strategic management and resource-based view. Our paper aims at highlight whether or not different firm’s features can be linked to the decision to make or buy. We found out that these two decisions are positively interlinked. Moreover we also found out that it is difficult to indicate a clear-cut behaviour for the Italian food firms if we refer to making or buying decisions. We discuss these results and use them to bring some interesting outcomes to discuss managerial implications and/or policy interventions in this highly strategic domain

Labeling Fruits and Vegetables for Sale in Ohio

PDF pages:

Ternary cluster decay within the liquid drop model

Longitudinal ternary and binary fission barriers of $^{36}$Ar, $^{56}$Ni and $^{252}$Cf nuclei have been determined within a rotational liquid drop model taking into account the nuclear proximity energy. For the light nuclei the heights of the ternary fission barriers become competitive with the binary ones at high angular momenta since the maximum lies at an outer position and has a much higher moment of inertia.Comment: Talk presented at the 9th International Conference on Clustering Aspects of Nuclear Structure and Dynamics (CLUSTERS'07

Microbial load monitor

A card configuration which combines the functions of identification, enumeration and antibiotic sensitivity into one card was developed. An instrument package was designed around the card to integrate the card filling, incubation reading, computation and decision making process into one compact unit. Support equipment was also designed to prepare the expandable material used in the MLM

Effects of increasing the farm produced content in organic feeds on pig performances

In three experimental facilities (Exp.1, 2 and 3), two organic diets, one complex including processed feedstuffs as wheat bran and heat-treated soya beans (control), the other simplified and containing over 80 % of cereal and pulses (CP), were compared for growing-finishing pigs. The base components of the CP diets were moist maize grain, wheat and faba beans in Exp.1, triticale plus coloured-flowered peas in Exp.2, and triticale, oats, white-flowered peas and faba beans in Exp.3. The diets were formulated with similar energetic values and a lysine content (0.70 g ileal digestible lysine /MJ NE) 20 % lower than the conventional mean requirement for growing pigs. However, the CP diet had a lysine proportion 30% lower than requirement in Exp.1 and did not achieve the ideal protein pattern in Exp. 2 and 3. Diets were given in all experiments from 35 to 115 kg according to a feeding plan. Respectively 96, 100 and 80 pigs were used in Exp.1, 2 and 3 and were blocked in straw bedded pens of 4, 25 and 40. In Exp.1, pigs receiving the control diet had a lower average feed intake than those offered the CP diet (p0.05), 760 and 719 in Exp.2 (p=0.04) and 684 and 677 in Exp.3 (p>0.05). The feed conversion rate (g/g) was high and reached respectively 3.28 and 3.41 in Exp.1 (p=0.01), 3.2 and 3.,4 in Exp.2, 3.3 and 3.4 in Exp.3. The lean meat rate did not differ significantly in Exp.1, 2 and 3, for pigs given control and CP diets. The study underlines that with a moderate growth objective, an organic feed with a low energetic and protein concentration can yield a satisfying lean meat rate. In spite of a tendency for lower performances, especially concerning the feed conversion rate, a simplified diet based on cereal and pulses can be used, taking into account its economical interest for organic pig production

Responses of fruit flies (Tephritidae: Dacinae) to novel male attractants in north Queensland, Australia, and improved lures for some pest species

Male fruit fly attractants, cue-lure and methyl eugenol (ME), have been successfully used for the last 50 years in the monitoring and control of Dacini fruit flies (Bactrocera and Dacus species). However, over 50% of Dacini are non-responsive to either lure, including some pest species. A new lure, zingerone, has been found to weakly attract cue- and ME-responsive species in Malaysia. In Australia it attracted a weakly cue-responsive minor pest Bactrocera jarvisi (Tryon) and three non-responsive' species. Similar compounds were tested in Queensland and attracted cue- and ME-responsive species and two non-responsive' species. In this study, 14 novel compounds, including raspberry ketone formate (RKF) (Melolure) and zingerone, were field tested in comparison with cue-lure and ME at 17 sites in north Queensland. The most attractive novel lures were isoeugenol, methyl-isoeugenol, dihydroeugenol and zingerone. Several non-responsive' species responded to the new lures: Bactrocera halfordiae (Tryon), a species of some market access concern, was most attracted to isoeugenol; B.barringtoniae (Tryon), B.bidentata (May) and B.murrayi (Perkins) responded to isoeugenol, methyl-isoeugenol and dihydroeugenol; two new species of Dacus responded to zingerone. Bactrocera kraussi (Hardy), a cue-responsive minor pest in north Queensland, was significantly more attracted to isoeugenol than cue-lure. The cue-responsive D.absonifacies (May) and D.secamoneaeDrew were significantly more attracted to zingerone than cue-lure. Bactrocera yorkensisDrew & Hancock, a ME-responsive species was significantly more attracted to isoeugenol, methyl-isoeugenol and dihydroeugenol than ME. The preferential response to RKF or cue-lure was species specific. Six species were significantly more attracted to RKF, including the pests B.tryoni (Froggatt), B.frauenfeldi (Schiner) and minor pest B.bryoniae (Tryon); eight species were significantly more attracted to cue-lure including the pest B.neohumeralis (Hardy). These findings have significance in the search for optimal male lures for pest species elsewhere in the world

Responses of fruit flies (Tephritidae: Dacinae) to novel male attractants in north Queensland, Australia, and improved lures for some pest species

Male fruit fly attractants, cue-lure and methyl eugenol (ME), have been successfully used for the last 50 years in the monitoring and control of Dacini fruit flies (Bactrocera and Dacus species). However, over 50% of Dacini are non-responsive to either lure, including some pest species. A new lure, zingerone, has been found to weakly attract cue- and ME-responsive species in Malaysia. In Australia it attracted a weakly cue-responsive minor pest Bactrocera jarvisi (Tryon) and three non-responsive' species. Similar compounds were tested in Queensland and attracted cue- and ME-responsive species and two non-responsive' species. In this study, 14 novel compounds, including raspberry ketone formate (RKF) (Melolure) and zingerone, were field tested in comparison with cue-lure and ME at 17 sites in north Queensland. The most attractive novel lures were isoeugenol, methyl-isoeugenol, dihydroeugenol and zingerone. Several non-responsive' species responded to the new lures: Bactrocera halfordiae (Tryon), a species of some market access concern, was most attracted to isoeugenol; B.barringtoniae (Tryon), B.bidentata (May) and B.murrayi (Perkins) responded to isoeugenol, methyl-isoeugenol and dihydroeugenol; two new species of Dacus responded to zingerone. Bactrocera kraussi (Hardy), a cue-responsive minor pest in north Queensland, was significantly more attracted to isoeugenol than cue-lure. The cue-responsive D.absonifacies (May) and D.secamoneaeDrew were significantly more attracted to zingerone than cue-lure. Bactrocera yorkensisDrew & Hancock, a ME-responsive species was significantly more attracted to isoeugenol, methyl-isoeugenol and dihydroeugenol than ME. The preferential response to RKF or cue-lure was species specific. Six species were significantly more attracted to RKF, including the pests B.tryoni (Froggatt), B.frauenfeldi (Schiner) and minor pest B.bryoniae (Tryon); eight species were significantly more attracted to cue-lure including the pest B.neohumeralis (Hardy). These findings have significance in the search for optimal male lures for pest species elsewhere in the world