The relationship between highly-cited papers and the frequency of citations to other papers within-issue among three top information science journals

Scientometrics - This study investigates a potential relationship between highly-cited scholarly papers and the number of citations received by other papers with which they share a journal issue....     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

IsK and KvLQT1: mutation in either of the two subunits of the slow component of the delayed rectifier potassium channel can cause Jervell and Lange-Nielsen syndrome

The Jervell and Lange-Nielsen syndrome (JLNS) comprises profound congenital sensorineural deafness associated with syncopal episodes. These are caused by ventricular arrhythmias secondary to abnormal repolarisation, manifested by a prolonged QT interval on the electrocardiogram. Recently, in families with JLNS, Neyroud et al. reported homozygosity for a single mutation in KVLQT1 , a gene which has previously been shown to be mutated in families with dominantly inherited isolated long QT syndrome [Neyroud et al . (1997) Nature Genet ., 15, 186-189]. We have analysed a group of families with JLNS and shown that the majority are consistent with mutation at this locus: five families of differing ethnic backgrounds were homozygous by descent for markers close to the KVLQT1 gene and a further three families from the same geographical region were shown to be homozygous for a common haplotype and to have the same homozygous mutation of the KVLQT1 gene. However, analysis of a single small consanguineous family excluded linkage to the KVLQT1 gene, establishing genetic heterogeneity in JLNS. The affected children in this family were homozygous by descent for markers on chromosome 21, in a region containing the gene IsK . This codes for a transmembrane protein known to associate with KVLQT1 to form the slow component of the delayed rectifier potassium channel. Sequencing of the affected boys showed a homozygous mutation, demonstrating that mutation in the IsK gene may be a rare cause of JLNS and that an indistinguishable phenotype can arise from mutations in either of the two interacting molecules.     

A general and flexible method of problem definition in structural optimization systems

This paper describes the implementation of a general and flexible method of formulating problems of mathematical programming in structural optimization systems. The method enables the formulation and solution of problems involving scalar, integral, min/max, max/min and possibly non-differentiable user defined functions in any conceivable mix. The mathematical formulation is based on the bound formulation, and the implementation specific details involve a parser capable of interpreting and performing symbolic differentiation of the user defined functions.     

News: Hunting, fishing, environmental groups join in natural resource alliance

Society.     

五步创造有效的规划

<正> 对一个团队和组织来说,创造一个有效的规划是最具挑战性的任务之一。规划在这里不是指几个简单的句子,而是一种对未来状态的彻底的清晰认识,它包括对价值观、步骤、结构、技术、工作角色和环境的明确认识。但问题是:需要采取什么样的步骤才能为自己的组织创造一个有效和可行的规划呢?本文介绍的模块提供了一些基本的步骤,它们能大大提高创造一个有效的规划的可能性。     

CompactPCI系统管理

~~CompactPCI系统管理@Jeff Munch$凌华科技!技术长暨国际PICMG 3.0委员会主席