Pulse-height defect due to electron interaction in dead layers of Ge/Li/ gamma-ray detectors

Study shows the pulse-height degradation of gamma ray spectra in germanium/lithium detectors to be due to electron interaction in the dead layers that exist in all semiconductor detectors. A pulse shape discrimination technique identifies and eliminates these defective pulses

Modal Interface Automata

De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for specifying interfaces of system components. However, neither IA nor IOMTS consider conjunction that is needed in practice when a component shall satisfy multiple interfaces, while Larsen's MTS-conjunction is not closed and Bene\v{s} et al.'s conjunction on disjunctive MTS does not treat internal transitions. In addition, IOMTS-parallel composition exhibits a compositionality defect. This article defines conjunction (and also disjunction) on IA and disjunctive MTS and proves the operators to be 'correct', i.e., the greatest lower bounds (least upper bounds) wrt. IA- and resp. MTS-refinement. As its main contribution, a novel interface theory called Modal Interface Automata (MIA) is introduced: MIA is a rich subset of IOMTS featuring explicit output-must-transitions while input-transitions are always allowed implicitly, is equipped with compositional parallel, conjunction and disjunction operators, and allows a simpler embedding of IA than Nyman's. Thus, it fixes the shortcomings of related work, without restricting designers to deterministic interfaces as Raclet et al.'s modal interface theory does.Comment: 28 page

Online Bin Covering: Expectations vs. Guarantees

Bin covering is a dual version of classic bin packing. Thus, the goal is to cover as many bins as possible, where covering a bin means packing items of total size at least one in the bin. For online bin covering, competitive analysis fails to distinguish between most algorithms of interest; all "reasonable" algorithms have a competitive ratio of 1/2. Thus, in order to get a better understanding of the combinatorial difficulties in solving this problem, we turn to other performance measures, namely relative worst order, random order, and max/max analysis, as well as analyzing input with restricted or uniformly distributed item sizes. In this way, our study also supplements the ongoing systematic studies of the relative strengths of various performance measures. Two classic algorithms for online bin packing that have natural dual versions are Harmonic and Next-Fit. Even though the algorithms are quite different in nature, the dual versions are not separated by competitive analysis. We make the case that when guarantees are needed, even under restricted input sequences, dual Harmonic is preferable. In addition, we establish quite robust theoretical results showing that if items come from a uniform distribution or even if just the ordering of items is uniformly random, then dual Next-Fit is the right choice.Comment: IMADA-preprint-c

Constraining star cluster disruption mechanisms

Star clusters are found in all sorts of environments and their formation and evolution is inextricably linked to the star formation process. Their eventual destruction can result from a number of factors at different times, but the process can be investigated as a whole through the study of the cluster age distribution. Observations of populous cluster samples reveal a distribution following a power law of index approximately -1. In this work we use M33 as a test case to examine the age distribution of an archetypal cluster population and show that it is in fact the evolving shape of the mass detection limit that defines this trend. That is to say, any magnitude-limited sample will appear to follow a dN/dt=1/t, while cutting the sample according to mass gives rise to a composite structure, perhaps implying a dependence of the cluster disruption process on mass. In the context of this framework, we examine different models of cluster disruption from both theoretical and observational standpoints.Comment: To appear in the proceedings of IAU Symposium 266: "Star Clusters: Basic Galactic Building Blocks Throughout Time And Space", eds. R. de Grijs and J. Lepin

Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and relies on efficient model checking algorithms; the behavioural approach exploits various equivalence or refinement checking methods, provided the specifications are given in the same formalism as implementations. In this paper we provide translations between the logical formalism of Hennessy-Milner logic with greatest fixed points and the behavioural formalism of disjunctive modal transition systems. We also introduce a new operation of quotient for the above equivalent formalisms, which is adjoint to structural composition and allows synthesis of missing specifications from partial implementations. This is a substantial generalisation of the quotient for deterministic modal transition systems defined in earlier papers

Investigation on the influence of nematophagous fungi as feed additive on nematode infection risk of sheep and goats on pasture

Gastrointestinal nematodes in small ruminants cause high economic losses. Thus on most farms anthelmintic treatment is required. In response to increasing problems with anthelmintic resistance, biological control, for example the use of nematophagous fungi, has received significant attention. The aim of this study was to investigate the effect of Duddingtonia flagrans orally applied to small ruminants on natural infection with gastrointestinal nematodes in a field study in Northern Germany. 20 goats and 20 sheep were fed daily for 3 months with 5x105 spores of D. flagrans per kg bodyweight. Differences in body weight, faecal egg count and larval development in faeces and on pasture in comparison with same-sized control groups were analysed. After 3 months the control goats showed significantly higher mean faecal egg count than the fungus-fed group. No significant difference was found between the two sheep groups. The maximum in larval reduction in faeces was 81.3 % in the sheep groups and 67.9 % in the goat groups (not significant). At the end of the study the body weight gain in the fungus-treated groups was 1.7 kg higher in goats and 0.7 kg higher in sheep than in the control groups (not significant). Regarding the first-year-grazing goats only, the bodyweights revealed significant differences (p<0.05). No statistically significant differences were observed in pasture larval counts. In the study presented here, no clear effect of fungus could be observed. A modified feeding regimen, perhaps with permanent release boluses or feed blocks, may improve the efficacy. Furthermore, it seems that climatic conditions during the study period could have influenced the results and displayed how sensitive the fungus application may be on such parameters

Greybody Factors and Charges in Kerr/CFT

We compute greybody factors for near extreme Kerr black holes in D=4 and D=5. In D=4 we include four charges so that our solutions can be continuously deformed to the BPS limit. In D=5 we include two independent angular momenta so Left-Right symmetry is incorporated. We discuss the CFT interpretation of our emission amplitudes, including the overall frequency dependence and the dependence on all black hole parameters. We find that all additional parameters can be incorporated Kerr/CFT, with central charge independent of U(1) charges.Comment: 27 pages. v2: typos fixed, references adde

Spectroscopic Constraints on the Form of the Stellar Cluster Mass Function

This contribution addresses the question of whether the initial cluster mass function (ICMF) has a fundamental limit (or truncation) at high masses. The shape of the ICMF at high masses can be studied using the most massive young (<10 Myr) clusters, however this has proven difficult due to low-number statistics. In this contribution we use an alternative method based on the luminosities of the brightest clusters, combined with their ages. If a truncation is present, a generic prediction (nearly independent of the cluster disruption law adopted) is that the median age of bright clusters should be younger than that of fainter clusters. In the case of an non-truncated ICMF, the median age should be independent of cluster luminosity. Here, we present optical spectroscopy of twelve young stellar clusters in the face-on spiral galaxy NGC 2997. The spectra are used to estimate the age of each cluster, and the brightness of the clusters is taken from the literature. The observations are compared with the model expectations of Larsen (2009) for various ICMF forms and both mass dependent and mass independent cluster disruption. While there exists some degeneracy between the truncation mass and the amount of mass independent disruption, the observations favour a truncated ICMF. For low or modest amounts of mass independent disruption, a truncation mass of 5-6*10^5 Msun is estimated, consistent with previous determinations. Additionally, we investigate possible truncations in the ICMF in the spiral galaxy M83, the interacting Antennae galaxies, and the collection of spiral and dwarf galaxies present in Larsen (2009) based on photometric catalogues taken from the literature, and find that all catalogues are consistent with having a (environmentally dependent) truncation in the cluster mass functions.Comment: 6 pages, 5 figures, in press, A&A Research Note

High resolution Ge/Li/ spectrometer reduces rate-dependent distortions at high counting rates

Modified spectrometer system with a low-noise preamplifier reduces rate-dependent distortions at high counting rates, 25,000 counts per second. Pole-zero cancellation minimizes pulse undershoots due to multiple time constants, baseline restoration improves resolution and prevents spectral shifts