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...

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...

Oil refining is an inevitable step in production of edible and industrial oil. Bleaching is the most important process among the refining processes. Bleaching adsorption is the most common method and clay is the most widely used adsorbent in this method. Disposal of bleaching clay, as a waste from re-refining plants, makes many environmental problems and economic losses. In the current study, t...

The rate of environmental degradation is an increasing trend globally and most especially in many developing nations where it has food production implications. This deterioration quality mostly attributed to population growth, urbanization, industrialization, unsustainable agricultural practices. Niger Delta region Nigeria the oil gas province Nigeria. activities illegal crude refiners, theft, ...

Due to the annual increasing volumes of oil and petroleum products extraction refining, probability ecosystem pollution with heavy hydrocarbons is increasing. At present, it biological methods soil purification that are most promising from both an ecological economic point view. The main mining regions characterized by a hot climate high salinity soil. It known effectiveness use destructive mic...

The Yodhawewa archaeometallurgical site was the latest discovery in Sri Lanka 2018. This study aimed to trace archaeological and geochemical relationship by analyzing soil slags of dating back c. first eighth centuries AD. analysis mainly based on X-ray fluorescence (XRF) method. chemistry resulted some clues special metal processing zones excavation-1 area. cultural layers that area (profiles ...