Cascade is a program static analysis tool developed at New York University. Cascade takes as input a program and a control file. The control file specifies one or more assertions to be checked together with restrictions on program behaviors. The tool generates verification conditions for the specified assertions and checks them using an SMT solver which either produces a proof or gives a concre...

Possibly, the powerful radio quasar 3C273 will reveal its nature as an efficient proton accelerator up to energies of order 10 11 GeV in the near future. It is shown in this paper that the shock accelerated protons expected to be present in the quasar's plasma jet induce an unsaturated synchrotron cascade with electromagnetic radiation emerging in the X–ray and gamma ray range. While (including...

In fact, what we want to evaluate is how well a given clustering algorithm is able to capture interesting, meaningful and usable information. Meaningful information in that case correspond to a new knowledge that is interesting to use for some purpose. We also expect the algorithm to be able to capture such interesting information on various types of datasets. Based on these considerations, we ...

In recent years, supporting intellectual property right has gained more significance. Intellectual property rights could be considered as legal rights resulting from intellectual activities in industrial, scientific, literary and artistic fields. Today, many countries are seeking practical information about using intellectual property to improve economic growth. Intellectual property rights hav...

Fresh juices of colourful wild berries: cornelian cherry, blackthorn, white beam and elderberry are considered as valuable, highly nutritive beverages and characterized by the high level of vitamins and antioxidant capacity. The concentration process of these juices by membrane osmotic distillation was studied, where only water vapour is eliminated, while the heat sensitive, valuable compounds ...

Multiple sclerosis (MS) is a chronic inflammatory demyelinating disease of the central nervous system that inflammation, demyelination, oligodendrocyte loss, gliosis, axonal injury and neurodegeneration are the main histopathological hallmarks of the disease. Although MS was classically thought as a demyelinating disease, but axonal injury occurs commonly in acute inflammatory lesions. In MS mi...

Neural network ensembles are widely use for classification and regression problems as an alternative to the use of isolated networks. In many applications, ensembles has proven a performance above the performance of just one network. In this paper we present a new approach to neural network ensembles that we call “cascade ensembles”. The approach is based on two ideas: (i) the ensemble is creat...

Cascade Hashing is a new dynamic hashing scheme which is based on Spiral Storage. The purpose of this paper is first to give a unified exposition of Linear Hashing, Spiral Storage and other dynamic hashing schemes, and second to describe a new method for storing overflow records. The method stores the overflow records in the main file itself and clusters overflow records from each primary bucke...

The multifractal framework relates the scaling properties of turbulence to its local regularity properties through a statistical description as a collection of local singularities. The multifractal properties are moreover linked to the multiplicative cascade process that creates the peculiar properties of turbulence such as intermittency. A comprehensive estimation of the multifractal propertie...