State-of-the-art first-order automated theorem proving systems have reached considerable strength over recent years. However, in many areas of mathematics they are still a long way from reliably proving theorems that would be considered relatively simple by humans. For example, when reasoning about sets, relations, or functions, first-order systems still exhibit serious weaknesses. While it has...

The concept of generalized order statistics (GOSs) was introduced as a unified approach to a variety of models of ordered random variables. The purpose of this paper is to investigate condi- tions on the underlying distribution functions and the parameters on which GOSs are based, to establish Shaked-Shanthikumar multivari- ate dispersive ordering of GOSs from one sample and Khaledi-Kochar mu...

This paper presents two views of stepwise enhancement, one a pragmatic syntax-based approach and the other a semantic approach based on higher-order functions and relating to shape and polytypism. The approaches are outlined, and the perhaps surprisingly close relationship between the two described. By combining the advantages of both approaches, it is shown how more code in both functional and...

We propose a new image representation for texture categorization and facial analysis, relying on the use of higher-order local differential statistics as features. It has been recently shown that small local pixel pattern distributions can be highly discriminative while being extremely efficient to compute, which is in contrast to the models based on the global structure of images. Motivated by...

Abstract The wakes of a uniform and non-uniform porous disk exposed to two different turbulent flows are investigated experimentally. disks representative static wind turbine models found in literature. Six wake profiles were collected through hot-wire anemometry between three 30 diameters downstream the disks. Both one-point two-point statistics studied. results show that higher freestream tur...