Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information. For example, the N-indexed type of vectors refines lists by their lengths. Other data types may be refined in similar ways, but programmers must produce ...

We describe some recent refinements of the techniques of threshold resummation, with emphasis on the usefulness of dimensional regularization when applied to nonabelian exponentiation. Threshold resummation is now under theoretical control for DIS and electroweak annihilation cross sections all the way to the fourth tower of logarithms and up to corrections suppressed by powers of the threshold...

Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally where each feature is an increment in program functionality. Existing works focus on object-oriented representations such as Java or C++ artifacts. For this paradigm to be brought to the Web, refinement should be realised for XML representations. This paper elabora...

Early diagnosis of cancer can significantly improve treatment and survival outcomes. Imaging tissue biopsy are the gold standard diagnostic approaches but costly, invasive, often unable to detect early-stage tumors. The past decade has marked an acceleration in discovery development liquid tests for aiding detection various types tumor markers non-tissue samples, such as blood. Liquid include c...

There is far less study of the refining effect of super gravity fields on solidification structures of metals than of the effects of electrical currents, magnetic and ultrasonic fields. Moreover, the refining mechanisms of super gravity are far from clear. This study applied a super gravity field to Al-Cu alloys to investigate its effect on refining their structures and the mechanism of interac...

Earlier studies have shown that plate gaps are sometimes unequal in two-zoned low consistency refiners and that unequal gaps render unevenly refined pulp. It is also known that optimisation of plate gap in low consistency refining leads to improved energy efficiency. In this work, trials were made in mill scale in a modern TMP line equipped with a prototype 72 inch TwinFlo low consistency refin...

The aim of this study was to investigate the influence of long fibre concentration on loadability and pulp properties during LC refining of mechanical pulp. Long fibre concentration was adjusted to three different levels by screen fractionation of the pulp. The three pulps were refined in a single disc pilot scale LC refiner at similar process conditions. Increased long fibre concentration supp...

Since a high toxicity of cyanide which use as a reagent in the gold processing plant, thiosulfate has been recognized as a environmental friendly reagent for leaching of gold from ore. After gold leaching process it's important for recovery of gold from solution using adsorption or extraction methods, One of these methods is activated carbon.The loading of gold from industrial thiosulfate solut...

however, the conventional gold recovery process is cyanidation, due to the recent environmental laws; researchers are looking for alternative methods for the recovery of gold. furthermore, the copper anode slime is one of the most important secondary sources of gold (about 1200 ppm). so, the main objective of the current work is gold separation from copper anode slime as a rich secondary source...