Conflict-Tolerant Features

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.

On the complexity of finding stopping set size in Tanner Graphs

The problem of determining whether a Tanner graph for a linear block code has a stopping set of a given size is shown to be NT-complete.

Do wordnets also improve human performance on NLP tasks?

FinnWordNet is a wordnet for Finnish that complies with the format of the Princeton WordNet (PWN) (Fellbaum, 1998). It was built by translating the PrincetonWordNet 3.0 synsets into Finnish by human translators. It is open source and contains 117000 synsets. The Finnish translations were inserted into the PWN structure resulting in a bilingual lexical database. In natural language processing (NLP), wordnets have been used for infusing computers with semantic knowledge assuming that humans already have a sufficient amount of this knowledge. In this paper we present a case study of using wordnets as an electronic dictionary. We tested whether native Finnish speakers benefit from using a wordnet while completing English sentence completion tasks. We found that using either an English wordnet or a bilingual English Finnish wordnet significantly improves performance in the task. This should be taken into account when setting standards and comparing human and computer performance on these tasks.

FinnWordNet - WordNet på finska via översättning

FinnWordNet is a WordNet for Finnish that conforms to the framework given in Fellbaum (1998) and Vossen (ed.) (1998). FinnWordNet is open source and currently contains 117,000 synsets. A classic WordNet consists of synsets, or sets of partial synonyms whose shared meaning is described and exemplified by a gloss, a common part of speech and a hyperonym. Synsets in a WordNet are arranged in hierarchical partial orderings according to semantic relations like hyponymy/hyperonymy. Together the gloss, part of speech and hyperonym fix the meaning of a word and constrain the possible translations of a word in a given synset. The Finnish group has opted for translating Princeton WordNet 3.0 synsets wholesale into Finnish by professional translators, because the translation process can be controlled with regard to quality, coverage, cost and speed of translation. The project was financed by FIN-CLARIN at the University of Helsinki. According to our preliminary evaluation, the translation process was diligent and the quality is on a par with the original Princeton WordNet.

T. E. Harris and branching processes

T. E. Harris was a pioneer par excellence in many fields of probability theory. In this paper, we give a brief survey of the many fundamental contributions of Harris to the theory of branching processes, starting with his doctoral work at Princeton in the late forties and culminating in his fundamental book ``The Theory of Branching Processes,'' published in 1963.

The single ring theorem

We study the empirical measure LA of the eigenvalues of nonnormal square matrices of the form A(n) = U(n)T(n)V(n), with U(n), V(n) independent Haar distributed on the unitary group and T(n) diagonal. We show that when the empirical measure of the eigenyalues of T(n) converges, and T(n) satisfies some technical conditions, L(An) converges towards a rotationally invariant measure mu on the complex plane whose support is a single ring. In particular, we provide a complete proof of the Feinberg-Zee single ring theorem [6]. We also consider the case where U(n), V(n) are independently Haar distributed on the orthogonal group.

Optimal forwarding in delay tolerant networks with multiple destinations

We study the trade-off between delivery delay and energy consumption in a delay tolerant network in which a message (or a file) has to be delivered to each of several destinations by epidemic relaying. In addition to the destinations, there are several other nodes in the network that can assist in relaying the message. We first assume that, at every instant, all the nodes know the number of relays carrying the packet and the number of destinations that have received the packet. We formulate the problem as a controlled continuous time Markov chain and derive the optimal closed loop control (i.e., forwarding policy). However, in practice, the intermittent connectivity in the network implies that the nodes may not have the required perfect knowledge of the system state. To address this issue, we obtain an ODE (i.e., fluid) approximation for the optimally controlled Markov chain. This fluid approximation also yields an asymptotically optimal open loop policy. Finally, we evaluate the performance of the deterministic policy over finite networks. Numerical results show that this policy performs close to the optimal closed loop policy.

Optimization Algorithms on Matrix Manifolds

This book shows how to exploit the special structure of such problems to develop efficient numerical algorithms.

Recent research results on deep level defects in semi-insulating InP - Application to improve material quality

An apparent defect suppression effect has been observed in InP through an investigation of deep level defects in different semi-insulating (SI) InP materials. Quality improvement of SI-InP based on the defect suppression mechanism is presented.

Investigations on oxide-free InGaAlAs waveguides grown by narrow stripe selective MOVPE

Oxide-free InGaAlAs waveguides have been grown on the InP substrates patterned with pairs of SiO2 mask stripes using narrow stripe selective MOVPE. The mask stripe width is varied from 0 to 40 pm, while the window region width between a pair of mask stripes is fixed at 1.5, 2.5 and 3.5 mu m, respectively. Smooth surface s and flat interfaces are obtained in the selectively grown InQaAlAs waveguides. There exhibit strong dependences of the thickness enhancement ratio and the photoluminescence (PL) spectrum on the mask stripe width and the window region width for the InGaAlAs wavegwdes. A large PL peak wavelength shift of 79 nm and a PL full width of at half maximum (FWHM) of less than 64 meV are obtained simultaneously. Some possible interpretations for our investigations are presented by considering both the migration effect from a masked region (MMR) and the lateral vapor diffusion effect (LVD).

三氧杂环己烷的电化学特性

直接氧化一些有机小分子(如甲醇[1~9]和乙醇[10~14]等)的直接氧化燃料电池作为一种对环境友好的能源越来越引起人们的关注.三氧杂环己烷作为一种可再生的能源,可以从地球上存在的大量天然气中得到,来源广泛,价格低廉.三氧杂环己烷反应的基本结构如Scheme 1所示,相对乙醇而言,三氧杂环己烷不存在任何碳碳键,反应更易进行.目前广泛研究的直接氧化燃料电池均采用液体甲醇和S chem e 1 S tru ctu re of tr ioxane乙醇等作燃料,液体燃料的存储运输存在一定的安全隐患,一旦泄漏发生危险,后果非常严重,而三氧杂环己烷作为一种固体,可以有效地避免上述问题的发生,利于安全的储存和运输.Narayanan等[13]研究了三氧杂环己烷在Pt,Pt-Sn和Pt-Ru电极上的电化学行为及其在燃料电池中的应用.本文研究了三氧杂环己烷在不同浓度、不同温度和不同酸度时于光滑铂电极上的电化学行为,初步分析了三氧杂环己烷的反应机理.1实验部分1.1试剂与仪器采用Potentiostat/GalvanostatModel 273A恒电位仪(美国Princeton Applied Research公司),在传统的三...