Towards a more effective and efficient governance and regulation of nanomaterials

The uncertainty regarding the effects and risks of nanomaterials on human health and the environment, and how they should be tested and assessed in the context of current regulations, is clearly holding back the full exploitation of the innovative potential of nanomaterials. To reduce this uncertainty, the European Union funded NANoREG and ProSafe projects (jointly referred to as N1P) have made a critical evaluation of methods to test and assess these risks in the context of the current registration, evaluation, authorisation and restriction of chemicals (REACH) regulation. Where essential methods were lacking, new ones have been developed. For several existing methods, adjustments have been proposed. Possible improvements to the REACH regulation have also been identified in these projects. The results of N1P have been translated into recommendations for (European) policy makers and regulators. Part of them have a “no regret” character, meaning that the proposed actions can be considered as necessary, feasible, effective and cost efficient. The recommended measures proposed for data quality and data management will create a more solid information basis for risk assessment of nanomaterials. When implemented, the recommendations regarding REACH will improve the application of REACH in both a legal and scientific sense. In practical terms however, the application of REACH will remain complex, time-consuming and costly. Besides that, adapting and specifying the information requirements and test methods in REACH for nanomaterials that are now on the market, will not solve the regulatory hurdles for next generation (nano) materials. To better align the dynamic character of developing new materials and the static character of regulations, it is recommended to explore possibilities of a more future proof approach for securing the safety of new (nano) materials.     

A Case Study on Compiler Optimizations for the Intel® CoreTM 2 Duo Processor

The complexity of modern processors poses increasingly more difficult challenges to software optimization. Modern optimizing compilers have become essential tools for leveraging the power of recent processors by means of high-level optimizations to exploit multi-core platforms and single-instruction-multiple-data (SIMD) instructions, as well as advanced code generation to deal with microarchitectural performance aspects. Using the Intel^® Core^TM 2 Duo processor and Intel Fortran/C++ compiler as a case study, this paper gives a detailed account of the sort of optimizations required to obtain high performance on modern processors.     

Label-free Raman monitoring of extracellular matrix formation in three-dimensional polymeric scaffolds

Monitoring extracellular matrix (ECM) components is one of the key methods used to determine tissue quality in three-dimensional scaffolds for regenerative medicine and clinical purposes. Raman spectroscopy can be used for non-invasive sensing of cellular and ECM biochemistry. We have investigated the use of conventional (confocal and semiconfocal) Raman microspectroscopy and fibre-optic Raman spectroscopy for in vitro monitoring of ECM formation in three-dimensional poly(ethylene oxide terephthalate)–poly(butylene terephthalate) (PEOT/PBT) scaffolds. Chondrocyte-seeded PEOT/PBT scaffolds were analysed for ECM formation by Raman microspectroscopy, biochemical analysis, histology and scanning electron microscopy. ECM deposition in these scaffolds was successfully detected by biochemical and histological analysis and by label-free non-destructive Raman microspectroscopy. In the spectra collected by the conventional Raman set-ups, the Raman bands at 937 and at 1062 cm⁻¹ which, respectively, correspond to collagen and sulfated glycosaminoglycans could be used as Raman markers for ECM formation in scaffolds. Collagen synthesis was found to be different in single chondrocyte-seeded scaffolds when compared with microaggregate-seeded samples. Normalized band-area ratios for collagen content of single cell-seeded samples gradually decreased during a 21-day culture period, whereas collagen content of the microaggregate-seeded samples significantly increased during this period. Moreover, a fibre-optic Raman set-up allowed for the collection of Raman spectra from multiple pores inside scaffolds in parallel. These fibre-optic measurements could give a representative average of the ECM Raman signal present in tissue-engineered constructs. Results in this study provide proof-of-principle that Raman microspectroscopy is a promising non-invasive tool to monitor ECM production and remodelling in three-dimensional porous cartilage tissue-engineered constructs.     

Statistical Methodological Issues in Handling of Fatty Acid Data: Percentage or Concentration,Imputation and Indices

Basic aspects in the handling of fatty acid-data have remained largely underexposed. Of these, we aimed to address three statistical methodological issues, by quantitatively exemplifying their imminent confounding impact on analytical outcomes: (1) presenting results as relative percentages or absolute concentrations, (2) handling of missing/non-detectable values, and (3) using structural indices for data-reduction. Therefore, we reanalyzed an example dataset containing erythrocyte fatty acid-concentrations of 137 recurrently depressed patients and 73 controls. First, correlations between data presented as percentages and concentrations varied for different fatty acids, depending on their correlation with the total fatty acid-concentration. Second, multiple imputation of non-detects resulted in differences in significance compared to zero-substitution or omission of non-detects. Third, patients’ chain length-, unsaturation-, and peroxidation-indices were significantly lower compared to controls, which corresponded with patterns interpreted from individual fatty acid tests. In conclusion, results from our example dataset show that statistical methodological choices can have a significant influence on outcomes of fatty acid analysis, which emphasizes the relevance of: (1) hypothesis-based fatty acid-presentation (percentages or concentrations), (2) multiple imputation, preventing bias introduced by non-detects; and (3) the possibility of using (structural) indices, to delineate fatty acid-patterns thereby preventing multiple testing.     

Automating the dependency pair method

Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area in the past few years. The dependency pair method of Arts and Giesl is one of the most popular such methods. However, there are several obstacles that hamper its automation. In this paper we present new ideas to overcome these obstacles. We provide ample numerical data supporting our ideas.     

Prevalence and distribution of mastitis pathogens in subclinically infected dairy cows in Flanders, Belgium

The main objective was to determine the prevalence of intramammary infections (IMI) in dairy cows in Flanders, Belgium. Data were obtained from quarter milk samples of dairy herds subjected to a mandatory yearly screening of all lactating cows. A total of 178,668 quarter milk samples were collected at 1087 cross-sectional dairy herd screenings performed in three consecutive years. Of the dairy cows, 40% had at least one culture-positive quarter. More than 50% of all IMI were caused by non-aureus staphylococci. Streptococcus agalactiae is almost eradicated in Flanders, whereas Staphylococcus aureus was isolated from 18% of the culture-positive quarters. In addition, the distribution of mastitis pathogens in quarter milk samples from selected dairy cows with an elevated somatic cell count (SCC) is described. From 6390 cows with a geometric mean composite SCC 250,000 cells/ml, nearly 65% had at least one culture-positive quarter. The majority of the IMI were caused by non-aureus staphylococci (41.1%), whereas Staph. aureus and aesculin-positive cocci were found in respectively 25% and 18% of the culture-positive milk samples. We conclude that more efforts are needed in the prevention and control of subclinical mastitis in Flanders. Non-aureus staphylococci are the predominant cause of IMI, warranting more research regarding the epidemiology and pathogenicity of those species.     

Dynamic Model of Basic Oxygen Steelmaking Process Based on Multizone Reaction Kinetics: Modeling of Decarburization

In a previous study by the authors (Rout et al. in Metall Mater Trans B 49:537–557, 2018), a dynamic model for the BOF, employing the concept of multizone kinetics was developed. In the current study, the kinetics of decarburization reaction is investigated. The jet impact and slag–metal emulsion zones were identified to be primary zones for carbon oxidation. The dynamic parameters in the rate equation of decarburization such as residence time of metal drops in the emulsion, interfacial area evolution, initial size, and the effects of surface-active oxides have been included in the kinetic rate equation of the metal droplet. A modified mass-transfer coefficient based on the ideal Langmuir adsorption equilibrium has been proposed to take into account the surface blockage effects of SiO₂ and P₂O₅ in slag on the decarburization kinetics of a metal droplet in the emulsion. Further, a size distribution function has been included in the rate equation to evaluate the effect of droplet size on reaction kinetics. The mathematical simulation indicates that decarburization of the droplet in the emulsion is a strong function of the initial size and residence time. A modified droplet generation rate proposed previously by the authors has been used to estimate the total decarburization rate by slag–metal emulsion. The model’s prediction shows that about 76 pct of total carbon is removed by reactions in the emulsion, and the remaining is removed by reactions at the jet impact zone. The predicted bath carbon by the model has been found to be in good agreement with the industrially measured data.     

Making Drawings Talk: Pictures in Minds and Machines

Interactions between human minds and machine systems will be discussed, drawing on experience of CAD and focusing on modes of expression. Free forms of text and drawings pose deep questions when interpretations have to be “meaningful” to different knowledge representations - especially in loosely defined application fields. What should we expect from technology?     

Approximations for Strategies and Termination

The theorem of Huet and Lévy stating that for orthogonal rewrite systems (i) every reducible term contains a needed redex and (ii) repeated contraction of needed redexes results in a normal form if the term under consideration has a normal form, forms the basis of all results on optimal normalizing strategies for orthogonal rewrite systems. However, needed redexes are not computable in general.

In the paper we illustrate, based on the framework introduced in [6], how the use of approximations and their associated tree automata results allows one to obtain decidable conditions in a simple and elegant way.

We further show how the very same ideas can be used to improve [18] the dependency pair method of Arts and Giesl [1] for proving termination of rewrite systems automatically. More precisely, we show how approximations and tree automata techniques provide a better estimation of the dependency graph. This graph determines the ordering constraints that have to be solved in order to conclude termination. Furthermore, we present a new estimation of the dependency graph that does not rely on computationally expensive tree automata techniques.