Phenomena in the performance behaviour of high-performance computing (HPC) applications can stem from the HPC system itself, from the application’s code, but also from the simulation domain. In order to analyse the latter phenomena, we propose a system that visualizes profile-based performance data in its spatial context, i.e., on the geometry, in the simulation domain. It thus helps HPC expert...

An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use automated theorem provers, more recent technique known as equality saturation repurposes e-graphs to implement state-of-the-art, rewrite-driven compiler optimizations and program synthesizers. However, remain unspecialized this newer case. Equality wor...

Starting in the 1920s and into 1970s, Danish archaeologist Harald Ingholt (1896–1985) created a vast collection of sculpture, architecture, epigraphy from Palmyra, Syria (first to third centuries AD). His paper archive contains 2,347 so-called sheets, which include photographs, transcriptions inscriptions, stylistic observations dating, provenance information, bibliography. In 2012 was digitize...

In the 1970s and early 1980s, biochemical and neuropathological evidence emerged, implicating the degeneration of basal forebrain acetylcholinergic neurons in Alzheimer’s disease (AD) [1]. The ‘cholinergic hypothesis’ of AD held that cholinergic dysfunction causes cognitive decline and that dementia therefore might be mitigated by the augmentation of acetylcholine activity in brain. The logical...

(SK) Well I guess it is a slightly different answer for each of us, but essentially for all of us, it was through the Eurotra project. This was the MT project that was created by the European Commission in the late 1970s. The aim was to produce a high quality, fully automatic machine translation system for use by the EC. The EC had a serious translation problem because of the number of language...