* refinement type

In mathematical logic and type theory, the λ-cube is a framework for exploring the axes of refinement in Coquand's calculus of constructions, starting from the simply typed lambda calculus as the vertex of a cube placed at the origin, and the calculus of constructions ( higher order dependently-typed polymorphic lambda calculus ) as its diametrically opposite vertex.

What is said to be occurring as the result of continual practice is a type of internal alchemy, that is a refinement and transmutation of the " Three Treasures " or San Bao ( 三寳 ), in Chinese.

In his earlier pictures he dealt much with historical incidents, but in his later work he occupied himself chiefly with a particular type of dainty sentiment, treated with much charm, refinement and executive skill.

After further refinement, the Potter Press printing Company in New York produced a press in 1903.

The use of the printing press ( aiding the diffusion of works by ancient Latin and Greek authors ; the printing press was introduced in 1470 in Paris, and in 1473 in Lyon ), the development of humanism and Neoplatonism, and the discovery ( through the wars in Italy and through Henry II ’ s marriage with Catherine de ' Medici ) of the cultivated refinement of the Italian courts ( Baldassare Castiglione ’ s book The Courtier was also particularly important in this respect ) would profoundly modify the French literary landscape and the mental outlook ( or “ mentalité ”) of the period.

" Jaguar engineers were involved from the very beginning of the V6 diesel programme within the main project team of Ford Motor Company and PSA Peugeot-Citroen to help define the base engine specification and technologies necessary to deliver the high standards of power, refinement and drivability expected of a Jaguar ," says the joint press release.

We were struck by the notable absence of banana skins and beer cans, but just so that we wouldn't go overboard on Greek refinement, perfection was side-stepped by a couple of braying portable radios.

A refinement of this technique has been described by Drs. Zworykin and Farrar and Mr. Berkely of the Medical Electronics Center of the Rockefeller Institute.

Agathon is portrayed by Plato as a handsome young man, well dressed, of polished manners, courted by the fashion, wealth and wisdom of Athens, and dispensing hospitality with ease and refinement.

A DHCP client can select, manipulate and overwrite parameters provided by a DHCP server .< ref > In Unix-like systems this client-level refinement typically takes place according to the values in a configuration file.

Programs can express fine-grained control over dynamism, admitting programs that occupy a continuum between dynamic and static programming and supporting evolutionary development ( allowing for rapid prototyping followed by incremental refinement and optimization ).

* ~ is finer than ≈ if the partition created by ~ is a refinement of the partition created by ≈.

Bessel came to the attention of a major figure of German astronomy at the time, Heinrich Wilhelm Olbers, by producing a refinement on the orbital calculations for Halley's Comet.

As a further refinement, each frame can designate one index as a " transparent background color ": any pixel assigned this index takes on the color of the pixel in the same position from the background, which may have been determined by a previous frame of animation.

The city also supports many other industries, shipbuilding, including high-speed catamaran factories such as the world renowned Incat and ore refinement zinc smelters operated by Nyrstar, large breweries such as Cascade manufactures many different beers exported nationally with its premium and boutique beers being found in Europe, as well as smaller breweries around the city.

" The term was invented by Sir John Lubbock in 1865 as a refinement of the three-age system.

Further refinement can be brought by weighting changes in one direction higher than changes in another ; for instance, the presence of thoracic wings almost guarantees placement among the pterygote insects, although because wings are often lost secondarily, there is no evidence that they have been gained more than once.

This change was almost certainly due to the trend toward the louder " Rock " sounds of the 1970s, despite the earlier models being credited by Pete Townshend as being key to the development of " the Marshall sound " and his refinement of electric guitar feedback techniques

His refinement of taxonomy was culminated subsequent to the development of the binomial nomenclature which is in use by contemporary ichthyologists.

Although physical modelling was not a new concept in acoustics and synthesis, having been implemented using finite difference approximations of the wave equation by Hiller and Ruiz in 1971, it was not until the development of the Karplus-Strong algorithm, the subsequent refinement and generalization of the algorithm into the extremely efficient digital waveguide synthesis by Julius O. Smith III and others, and the increase in DSP power in the late 1980s that commercial implementations became feasible.

A refinement variously credited to either James C. Crow or Jason S. Amburgey was the sour mash process, by which each new fermentation is conditioned with some amount of spent mash ( the wet solids strained from a previous batch of fermented mash, which still contain live yeast ).

The palace was initially designed by the architect Antonio da Sangallo the Younger, received further architectural refinement from Michelangelo, and was completed by Giacomo della Porta.

Even Ravel ’ s most difficult pieces, however, are marked by elegance and refinement.

Further refinement produced the plunge router, invented by ELU ( now part of DeWalt ) in Germany in the late 1940s.

Qigong-like exercises have historically been practiced by Buddhist monks, Daoist martial artists, and Confucian scholars as a means of spiritual, moral, and physical refinement.

The guqin has been played since ancient times, and has traditionally been favored by scholars and literati as an instrument of great subtlety and refinement.

Astrometric or radial velocity measurements have not yet detected companions around Tau Ceti, but given current search refinement, this only excludes substellar companions such as large brown dwarfs.

There has also been a qualitative shift in the Personnel in the armed services, with expert instruction being brought in from around the world, refinement of local military training institutions and the increase in standards across the armed forces.

Extensive sugar cane fields are found throughout the district and value-adding operations, such as the milling and refinement of sugar, and its packaging and distribution, are located around the city.

It allows for incremental releases of the product, or incremental refinement through each time around the spiral.

Throughout history, Arabian horses spread around the world by both war and trade, used to improve other breeds by adding speed, refinement, endurance, and strong bone.

* Sensory refinement — from birth to around four years old

At around the time when Sun Microsystems announced WebNFS, Microsoft launched an initiative in 1996 to rename SMB to Common Internet File System ( CIFS ), and added more features, including support for symbolic links, hard links, larger file sizes, and an initial attempt at supporting direct connections over TCP port 445 without requiring NetBIOS as a transport ( a largely experimental effort that required further refinement ).

Colburn connects growing concerns of sexual intimacy between the races to what occurred in Rosewood: " Southern culture had been constructed around a set of mores and values which places white women at its center and in which the purity of their conduct and their manners represented the refinement of that culture.

One of the four inscriptions around the main entrance to the Baths of Diocletian reads, translated from Latin, “ Our Lords Diocletian and Maximian, the elder and invincible Augsti, fathers of the Emperors and Caesars, our lords Constantius and Maximian and Severus and Maximin, noblest Caesars, dedicated to their beloved Romans these auspicious Baths of Diocletian, which the divine Maximin on his return from Africa ordered to be built and consecrated in the name of his brother Diocletian, having purchased the premises required for so huge and remarkable work and furnishing them with the most sumptuous refinement .” The baths take up 120, 000 square metres of the district, which is about the same size as the Baths of Caracalla.

The market expanded slowly for a time, but starting around the mid-1990s various advances in materials science and refinement of the existing systems led to rapidly improving performance and an equally rapid reduction in cost.

Further refinement of agriculture and technology led to a more sedentary and stable lifestyle for the Ancestral Pueblo starting around 500 CE.

Arnold made another watch for the King around 1768, which was a gold and enamel pair cased watch with a movement that had every refinement, including minute repetition and centre seconds motion.

For 1957, Lister redesigned the car around a D-Jag inline six, with an aerodynamic aluminium body, the most refinement in a Lister yet, and performance, finally, sufficient to beat the Astons ; it was tested by racing journalist John Bolster to a 0-100 mph ( 0 – 160 km / h ) of 11. 2 seconds.

Presenting materials – some times shocking and provocative, he manages to generate and educate a very competent audience – open for unconventional perception of forms, sensitive for the beauty and the refinement around us.