As part of a project on automatic generation of proofs involving both logic and computation, we have automated the production of some proofs involving epsilon-delta arguments. These proofs involve two or three quantifiers on the logical side, and on the computational side, they involve algebra, trigonometry, and some calculus. At the border of logic and computation, they involve several types o...

INTRODUCTION In 1956, when I began doing theoretical physics, the study of elementary particles was like a patchwork quilt. Electrodynamics, weak interactions, and strong interactions were clearly separate disciplines, separately taught and separately studied. There was no coherent theory that described them all. Developments such as the observation of parity violation, the successes of quantum...

Most question answering systems use symbolic or text information. We present a dataset for a task that requires understanding descriptions of visual themes and their layout: identifying paintings from their descriptions. We annotate paintings with contour data, align regions with entity mentions from an ontology, and associate image regions with text spans from descriptions. A simple embedding-...

At first glance, cancer and ageing would seem to be unlikely bedfellows. Yet the origins for this improbable union can actually be traced back to a sequence of tragic— and some say unethical—events that unfolded more than half a century ago. Here we review the series of key observations that has led to a complex but growing convergence between our understanding of the biology of ageing and the ...

In the Middle Ages superbly crafted and precious artworks were used to glorify God as well as to attract more money through gifts and donations to institutions like monasteries and cathedrals. Wealthy individuals like kings, lords and bishops also amassed art objects in order to display their power. But it is only with Jean, Duc de Berry (1340±1416) that we can see the frenzy of accumulation, a...

L iu Sung-nien was a court painter from Ch'ien-t'ang (modern Hangchow). He painted figures and landscapes and was honored by Emperor Ning-tsung during the Sung Dynasty (960–1279), a prosperous and culturally rich period of Chinese history. The arts (silk tapestries, embroideries, calligraphy, lacquer, porcelain, pottery) explored the complexities of the physical and spiritual world, and paintin...

It is an honour and a privilege to have been invited to give the closing address for your twelfth annual national conference on “Weaving the new tapestry for oncology nurses: Our future is now.” I am sure each of us has a mental picture of a tapestry. I think of the many beautiful tapestries, truly works of art, in museums around the world, tapestries of heavy cloth woven with rich, varicolored...

Modem science prides itself in being concerned only with the rational and the useful; it mistrusts the uncontrolled imagination and is disdainful of the fairy tales in which our ancestors rejoiced. This haughty attitude, however, is of recent date. In its youth, science expressed itself in art and poetry and knew the intoxication of magic. Only after it had reached adulthood and had to pay the ...

Sonia Delaunay (1885–1979) was a key figure in the Parisian avant-garde, whose vivid and colourful work spanned painting, fashion and design. In 2015, Tate Modern in London presented the first UK retrospective to assess the breadth of her vibrant artistic career, from her early figurative painting in the 1900s to the energetic abstract work of the 1960s. The exhibition offered a radical reasses...

In environmental terms, the 19th century was the age of arsenic. The uses of this element are almost too numerous to mention—embalming, cosmetics, glass and gunshot manufacture, pyrotechnics, taxidermy, weed and rodent control, and particularly in medicine, both by prescription and self-medication. Arsenic was characterized as a ‘‘therapeutic mule’’. For centuries, it was used for murder being ...