List partitions

By definition, apartition of a list is a division of that list into nonempty contiguous segments. Many programming and operations research problems can be specified in terms of list partitions, and we present a hierarchy of theorems for deriving programs from such specifications. Throughout, reasoning is conducted in an equational style using the calculus for program synthesis developed by Bird and Meertens.Supported by a BP research studentship.     

Cutting edge control by monitoring the tapping torque of new and resharpened tapping tools in Inconel 718

In aerospace industry, tapping is the prime choice for hole threading in jet aero-engine turbine components. Taps are not usually resharpened, unlike other     

Cochannel and adjacent channel interference in actual terrestrial TV scenarios - part II: MATV systems laboratory tests

For pt.I, see Sanchez, M.G. et al., ibid., p.111-15. The results of an extensive study on analog PAL signals interfered with by digital DVB-T signals are presented. The study covers a theoretical evaluation of the interference problems, field and laboratory measurements and a national survey among TV installation companies. Field measurements are reported in part I. These measurements explain the origin of cochannel and some of the adjacent channel interference problems. However, interference was reported in areas where the field measurements showed that the protection ratios for PAL signals interfered with by DVB-T adjacent channel signals were met. As these reports came from multistorey buildings with master antenna TV (MATV) installations, the study was extended to analyze the role of these installations in the interference problems. Part of the interference problems are due to the MATV system amplifiers which are unable to cope with adjacent channel DVB-T signals. The nonlinear amplifiers give rise to intermodulation problems. The ITU-R recommendations (see ITU-R BT.1368, 2000) recognize that such nonlinear amplifiers could be a source of problems and that higher protection ratios may be needed, but no value is given for the increase. Our laboratory tests of commercial amplifiers found that an increase in the protection ratios of between 12 to 16 dB is needed to avoid a significant degradation of the PAL TV signal in the amplifiers. It has also been found that most of the interference situations are not due to the interfering signal being a DVB-T format, but that any significant signal amplitude in the passband of the filter causes interference. Therefore, MATV system distribution needs planning factors associated with the distribution of any signals near the main signal. The results are presented of a survey conducted among companies who install communal telecommunication infrastructures in Spain.     

Adsorption von Elektrolyten an Kartoffelstärke. Wärmeentwicklung,Sedimentvolumen, Kontraktion

Adsorption of Electrolytes on Potato Starch. Heat Development, Swelling and Contraction. On addition of electrolyte solutions to moist potato starch an adsorption takes place, accompanied by the development of heat and by swelling. In alkali salts both phenomena proceed rapidly, usually within a few minutes, and reversible. In potassium salts the evolution of heat depends on the anion (in the sequence of the lyotropic series: rhodanid strongly adsorbed with high thermal effect, sulphate weakly adsorbed with hardly any effect). The amount of swelling on the contrary is hardly different in this case, and the amount of contraction is the same. In this respect there is a contrast with earlier research on the adsorption of water in air-dry starch in which heat development and contraction proved to be proportional. Calcium hydroxyde is adsorbed in much higher quantities than those of the monovalent cations and this adsorption takes a much longer time (up to 50 minutes). The adsorption of hydroxyl ions from monovalent hydroxydes is augmented by the addition of neutral salts. The practical combination NaOH-Na₂SO₄ is studied.     

A cluster-DEE-based strategy to empower protein design

The Medical and Pharmaceutical industries have shown high interest in the precise engineering of protein hormones and enzymes that perform existing functions under a wide range of conditions. Proteins are responsible for the execution of different functions in the cell: catalysis in chemical reactions, transport and storage, regulation and recognition control. Computational Protein Design (CPD) investigates the relationship between 3-D structures of proteins and amino acid sequences and looks for all sequences that will fold into such 3-D structure. Many computational methods and algorithms have been proposed over the last years, but the problem still remains a challenge for Mathematicians, Computer Scientists, Bioinformaticians and Structural Biologists. In this article we present a new method for the protein design problem. Clustering techniques and a Dead-End-Elimination algorithm are combined with a SAT problem representation of the CPD problem in order to design the amino acid sequences. The obtained results illustrate the accuracy of the proposed method, suggesting that integrated Artificial Intelligence techniques are useful tools to solve such an intricate problem.     

Arbitrary real-order cost functions for signals and systems

This work focuses on a new type of cost function based on fractional operators. To do so, the concept of definite integral is extended to arbitrary real-order. Some properties of this new fractional-order definite integral are studied and a fractional-order Barrow's rule is proposed. It is illustrated by an example (the design of an IIR filter) how this new kind of cost function can be a valuable tool in problems where optimal design methods are involved.     

Evaluating expectations about negative emotional states of aggressive boys using Bayesian model selection.

Researchers often have expectations about the research outcomes in regard to inequality constraints between, e.g., group means. Consider the example of researchers who investigated the effects of inducing a negative emotional state in aggressive boys. It was expected that highly aggressive boys would, on average, score higher on aggressive responses toward other peers than moderately aggressive boys, who would in turn score higher than nonaggressive boys. In most cases, null hypothesis testing is used to evaluate such hypotheses. We show, however, that hypotheses formulated using inequality constraints between the group means are generally not evaluated properly. The wrong hypotheses are tested, i.e.. the null hypothesis that group means are equal. In this article, we propose an innovative solution to these above-mentioned issues using Bayesian model selection, which we illustrate using a case study. (PsycINFO Database Record (c) 2010 APA, all rights reserved)