The Haskell Refactorer, HaRe, and its API

We demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool for a complete (functional) programming language, and to show the API which HaRe provides for building source-level program transformations for Haskell. We comment on the challenges presented by the construction of this and similar tools for language frameworks and processors.     

Fair attribution of functional contribution in artificial and biological networks

This letter presents the multi-perturbation Shapley value analysis (MSA), an axiomatic, scalable, and rigorous method for deducing causal function localization from multiple perturbations data. The MSA, based on fundamental concepts from game theory, accurately quantifies the contributions of network elements and their interactions, overcoming several shortcomings of previous function localization approaches. Its successful operation is demonstrated in both the analysis of a neurophysiological model and of reversible deactivation data. The MSA has a wide range of potential applications, including the analysis of reversible deactivation experiments, neuronal laser ablations, and transcranial magnetic stimulation "virtual lesions," as well as in providing insight into the inner workings of computational models of neurophysiological systems.     

The shape of feature code: an analysis of twenty C-preprocessor-based systems

Feature annotations (e.g., code fragments guarded by #ifdef C-preprocessor directives) control code extensions related to features. Feature annotations have long been said to be undesirable. When maintaining features that control many annotations, there is a high risk of ripple effects. Also, excessive use of feature annotations leads to code clutter, hinder program comprehension and harden maintenance. To prevent such problems, developers should monitor the use of feature annotations, for example, by setting acceptable thresholds. Interestingly, little is known about how to extract thresholds in practice, and which values are representative for feature-related metrics. To address this issue, we analyze the statistical distribution of three feature-related metrics collected from a corpus of 20 well-known and long-lived C-preprocessor-based systems from different domains. We consider three metrics: scattering degree of feature constants, tangling degree of feature expressions, and nesting depth of preprocessor annotations. Our findings show that feature scattering is highly skewed; in 14 systems (70 %), the scattering distributions match a power law, making averages and standard deviations unreliable limits. Regarding tangling and nesting, the values tend to follow a uniform distribution; although outliers exist, they have little impact on the mean, suggesting that central statistics measures are reliable thresholds for tangling and nesting. Following our findings, we then propose thresholds from our benchmark data, as a basis for further investigations.     

Patent search and information in the nineties

A reflection is made on the ways and means in which patent search and information could, and may well have to, be conducted in the nineties. New ideas for international cooperation in the field of patent documentation, information and classification are outlined.     

移动和便携式电视系统的新纪元

在科技日新月异的今天,电视广播系统由模拟向数字的变迁已成为现实。预计在未来两年中,35％的电视将会以数字形式接收。除了家庭用的传统电视接收机外,消费者也期待便携式和移动电视接收机。移动电视接收的典型应用是车载电视,而便携式接收的典型应用是     

Polymeric thin films of controlled complex refractive index formedby the electrostatic self-assembled monolayer process

This letter reports a method, the electrostatic self-assembled monolayer process, for the synthesis of multilayer thin-film materials with controlled complex refractive index. By incorporating appropriate precursor molecules in each monolayer and organizing the physical order of the multiple monolayers through the material, it is possible to achieve designed complex refractive index properties. In this work, the real part of the refractive index of materials formed by this process was controlled from 1.424 to 1.615, and the imaginary part was controlled from 0.00001 to 0.035, both at a wavelength of 550 nm. To our knowledge, this is the first time that experimental measurements of self-assembled thin films are presented to demonstrate that this method is useful for the design and synthesis of thin films of controllable refractive index