Elegance of language may not be in the power all us, but simplicity and straightforwardness are. ~ Henry Alford These words are on a plaque podium where my institution’s library staff meet monthly (in-person virtually) for University Rochester’s River Campus Libraries all-staff meeting. For past 11 years, I have looked at this quotation many times during others’ presentations own. As next Colle...

A nonparametric clustering technique incorporating the concept of similarity based on the sharing of near neighbors is presented. In addition to being an essentially paraliel approach, the computational elegance of the method is such that the scheme is applicable to a wide class of practical problems involving large sample size and high dimensionality. No attempt is made to show how a priori pr...

This paper describes a proof of the Church-Rosser theorem within the Higher Order Logic (HOL) theorem prover. This follows the proof by Tait/Martin-Lof, preserving the elegance of the classic presentation by Barendregt. We model the lambda calculus with a name-carrying syntax, as in practical languages. The proof is simpli ed by forming a quotient of the name-carrying syntax by the -equivalenc...

We present an extremely simple and effective signal processing solution to the acoustic echo control problem. The approach is based on the concept of synchronous statistical adaptation of an acoustic echo canceler and a postfilter for residual echo suppression. The required convergence state of the echo canceler is estimated by a new statistical element of our system. Double talk detection is n...

The discovery of a continuous murmur at an unusual site over the praecordium presents an interesting diagnostic problem. Abnormalities of the coronary circulation are among the possible causes for such a finding, but they are rare. In this report we describe three patients with coronary arterio-venous fistulae and draw attention to the ease and elegance of the diagnosis of this condition by ret...

We introduce a new technique for constructing a finite state deterministic automaton from a regular expression, based on the idea of marking a suitable set of positions inside the expression, intuitively representing the possible points reached after the processing of an initial prefix of the input string. Pointed regular expressions join the elegance and the symbolic appealingness of Brzozowsk...

We take a critical look at security models that are often used to give “provable security” guarantees. We pay particular attention to digital signatures, symmetric-key encryption, and leakage resilience. We find that there has been a surprising amount of uncertainty about what the “right” definitions might be. Even when definitions have an appealing logical elegance and nicely reflect certain n...

In “Love and Math” the author intertwines his personal experiences as a student of mathematics research mathematician with an exposition modern mathematics, focusing on its elegance beauty. Much is said in previous reviews (e.g., Grosholz, 2015) this New York Times bestseller winner Euler Book Prize from Mathematical Association America. All praise for fascinating narratives which he reveals jo...

In the last two lectures we have seen that the relative entropy between a prediction density and an equilibrium density is a natural measure of the predictability of a statistical system. Furthermore in Lecture 5 we have seen that in a continuous Markov random process governed by the Fokker Planck equation (FPE), the relative entropy between an arbitrary density and the equilibrium density decl...

one of the subjects that researchers are agreed on is hafez acquaintance to music and sing. extensive studies have been conducted on musical terms in hafez works; there are some words in his poems that are surrounded by a musical halo, however theirlexical meanings are still considered through the context of the poems, but nobody can get a profound understanding out of hafez’s artistic elegance...