Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

Spreadsheet programs are probably the most successful example of end-user software development tools and are used for a variety of purposes. Like any type of software, they are prone to error, in particular as they are usually developed by non-programmers. While various techniques exist to support the developer in finding errors in procedural programs, the tool support for spreadsheet debugging is still limited. In this paper, we show how techniques from model-based diagnosis can be applied and extended for spreadsheet debugging by translating the relevant parts of a spreadsheet to a constraint satisfaction problem. We additionally propose both problem-specific and generalizable extensions to the classical diagnosis algorithms which help to detect potential problems in a spreadsheet based on user-provided test cases more efficiently. The proposed techniques were integrated into a modular framework for spreadsheet debugging and evaluated with respect to scalability based on a number of real-world and artificially created spreadsheets. An additional error detection exercise involving 24 subjects was performed to assess the general applicability of such advanced spreadsheet debugging techniques for end users.     

The relationship between the author byline and contribution lists: a comparison of three general medical journals

The author byline is an indispensable component of a scientific paper. Some journals have added contribution lists for each paper to provide detailed information of each author’s role. Many papers have explored, respectively, the byline and contribution lists. However, the relationship between the two remains unclear. We select three prominent general medical journals: Journal of the American Medical Association (JAMA), Annals of Internal Medicine (Annals), and PLOS Medicine (PLOS). We analyze the relationship between the author byline and contribution lists using four indexes. Four main findings emerged. First, the number, forms, and names of contribution lists significantly differed among the three journals, although they adopted the criteria of the International Committee of Medical Journal Editors. Second, a U-shaped relationship exists between the extent of contribution and author order: the participation levels in contribution lists were highest for first authors, followed by last and second authors, and then middle authors with the lowest levels. Third, regarding the consistency between author order in the contribution list and byline, every contribution category has a high consistency in JAMA and Annals, while PLOS shows a low consistency, in general. Fourth, the three journals have a similar distribution for the first authors in the contribution category; the first author in the byline contributes the highest proportion, followed by the middle and second authors, and then the last author with the lowest proportion. We also develop recommendations to modify academic and writing practice: implement structured cross-contribution lists, unify formats and standards of contribution lists, draft the author contribution criteria in the social sciences and humanities, and consider author contribution lists in scientific evaluation.     

Recovery and characterisation of coloured phenolic preparations from apple seeds

The aim of this study was to investigate whether complexly constituted phenolic extracts from apple seeds may be utilised for the recovery of natural coloured antioxidant preparations, which might serve as potential food or cosmetic ingredients.In a first step, the recovery of phenolic compounds was optimised by varying crucial extraction parameters. A single extraction step at 25 °C using an acetone–water mixture (60:40, v/v) and a solid-to-solvent ratio of 1:8 (w/v) for 1 h was found to be appropriate to achieve both high phenolic yields and antioxidant activities.In a second step, differently produced apple seed extracts and a phloridzin model solution were enzymatically treated by mushroom polyphenol oxidase to investigate the rate of pigment synthesis. Depending on the extraction procedure applied, synthesis rates, pigment yields and colour properties significantly differed. Compared to the phloridzin model solution, extracts recovered from the seeds showed comparable and even better results, thus indicating such preparations to be a promising alternative to synthetic yellow dyes.     

Structure of an <Emphasis Type="Italic">n</Emphasis>-heptane/toluene flame: Molecular beam mass spectrometry and computer simulation investigations

Molecular beam mass spectrometry was used to measure mole fraction profiles of the reactants, major reaction products and intermediates, including precursors of polycyclic aromatic hydrocarbons, in a premixed fuel-rich (equivalence ratio of 1.75) n-heptane/toluene/O₂/Ar flame stabilized on a flat burner at atmospheric pressure. The ratio of the liquid volumes in the n-heptane/toluene mixture was 7: 3. The chemical structure of the flame was modeled using a detailed mechanism of chemical reactions tested against experimental data of other authors on n-heptane/toluene flames and comprising the reactions of formation of polycyclic aromatic hydrocarbons. The mechanism was extended with cross-reactions involving derivatives of n-heptane and toluene. Overall, the new experimental data are in satisfactory agreement with the numerical simulation results; however, there are differences between the measured and calculated mole fraction profiles of some species. Analysis shows that in the n-heptane/toluene flame, the main reactions leading to the formation of low-aromatic compounds (benzene and phenyl) are reactions typical of the pure toluene flame.     

Understanding the binder chemistry,microstructure, and physical properties of volcanic ash phosphate geopolymer binder

This work aims to assess the influence of the chemical composition of the binder resulting from the reaction of phosphoric acid and volcanic ash on its final characteristics. Six initial compositions of volcanic ash phosphate geopolymer with molar ratios Fe/P of 0.27, 0.5, 0.54, 0.81, 1, and 1.5 were designed by adding various dosages of phosphoric acid to volcanic ash. The results show that the hardening time increases with the decrease of molar ratios Fe/P. An excess of phosphoric acid leads to an unstable binder that is partially destroyed with the aging of the binder. The volcanic ash phosphate geopolymer with molar ratios of Fe/P = 0.5–0.54 has the optimum compressive strength (49–53 MPa at 90 days), the lowest water absorption (8.8-9.5 wt.%) as well as porosity (18–19.6 vol.%). The main binder is a porous phase of ferro-silico-aluminophosphate. Secondary phases were also identified in some mixes including ferro-aluminophosphate and magnesium phosphate.     

Multicriteria optimization as enabler for Sustainable Ceramic Matrix Composites

Over the past 40 years, development of Ceramic Matrix Composites (CMCs) has focused mainly on the improvement of material performance and optimization of cost-efficient production routes. Recently, more fields of application have opened up for CMCs, in which environmental impacts are relevant. These impacts have barely been investigated so far but receive growing interest due to increasing awareness of the environmental consequences. Our innovative approach frames material properties in relation to environmental impacts (e.g., global warming potential in CO₂ emission) by varying process parameters to balance optimum performance against environmental considerations. First, the process of wet filament winding has been investigated up to the Carbon Fiber Reinforced Plastic (CFRP) state by changing both the curing and tempering temperatures. During the production of CFRP plates, mass and energy flows were tracked in each step. Three point-bending and interlaminar shear tests have been performed on the resulting samples to identify basic mechanical properties. The environmental impacts are determined by a cradle-to-gate Life Cycle Assessment (LCA), using the software SimaPro. The resulting tradeoffs between mechanical properties and environmental impacts show nonlinear behavior, thus revealing optimum points above which improved mechanical properties are associated with significantly higher CO₂ emissions.     

Imide‐containing ladder polyphenylsilsesquioxanes with high thermal stability and thermoplastic properties

This work reports for the first time the synthesis of ladder polyphenylsilsesquioxanes containing imide building blocks as parts of the main parallel chains. The ladder structure of the synthesized polymers was documented by means of small angle X‐ray scattering (SAXS) measurements. The obtained ladder polymers exhibit stability with respect to decomposition up to temperatures as high as 460°C; additionally, they have melting points far below their decomposition temperatures, which make them interesting candidate materials for thermoplastic processing. © 2013 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2014 , 131, 40085.     

From Isonitriles to Unsaturated NHC Complexes of Gold,Palladium and Platinum

In a modular template synthesis, unsaturated NHC complexes of gold, palladium and platinum were synthesized from simple metal salts, isonitriles and amines with acetal or ketal groups. Upon the addition of amines with tethered acetal or ketal moieties to the metal‐activated isonitrile, first nitrogen acyclic carbene (NAC) complexes are formed. These undergo ring closure and elimination to the unsaturated NHC complexes upon addition of acid. This simple strategy opens an attractive and fast approach to NHC complexes of gold, palladium and platinum. The modular approach allows a fast modification and is well‐suited for the synthesis of unsymetrically and symmetrically substituted unsaturated NHC complexes.

     

Investigations on High Amylose Corn Starch Films. Part 3: Stress Strain Behaviour

By autoclaving a watery high amylose corn starch suspension, homogenous and isotrope films were obtained with different processing parameters. The films were used for investigations on the stress strain behavior. A systematical dependence on the water content and the relationship between native lipids and the starch chains was observed. Especially for films obtained from defatted corn starch, a clear transition was obtained, depending on the water content, from a brittle behavior far below the glass transition temperature T_G with a very high Youngsmodulus to a ductile failure behavior above T_G. The results led to a microscopical model for the native high amylose corn starch films, which in addition outlines the very interesting possibility of controlling in detail changes of the macroscopic stress strain behavior through variations on a molecular scale.     

C/C-SiC component for metallic phase change materials

Thanks to their high energy density and thermal conductivity, metallic Phase Change Materials (mPCM) have shown great potential to improve the performance of thermal energy storage systems. However, the commercial application of mPCM is still limited due to their corrosion behavior with conventional container materials. This work first addresses on a fundamental level, whether carbon-based composite-ceramics are suitable for corrosion critical components in a thermal storage system. The compatibility between the mPCM AlSi₁₂ and the Liquid Silicon Infiltration (LSI)-based carbon fiber reinforced silicon carbide (C/C-SiC) composite is then investigated via contact angle measurements, microstructure analysis, and mechanical testing after exposure. The results reveal that the C/C-SiC composite maintains its mechanical properties and microstructure after exposure in the strongly corrosive mPCM. Based on these results, efforts were made to design and manufacture a container out of C/C-SiC for the housing of mPCM in vehicle application. The stability of the component filled with mPCM was proven nondestructively via computer tomography (CT). Successful thermal input- and output as well as thermal storage ability were demonstrated using a system calorimeter under conditions similar to the application. The investigated C/C-SiC composite has significant application potential as a structural material for thermal energy storage systems with mPCM.