It is well-known that many environment-based abstract machines can be seen as strategies in lambda calculi with explicit substitutions (ES). Recently, graphical syntaxes and linear logic led to the linear substitution calculus (LSC), a new approach to ES that is halfway between big-step calculi and traditional calculi with ES. This paper studies the relationship between the LSC and environment-...

In this paper, we describe a new fully automatic theorem prover called Poit́ın which makes use of a novel transformation algorithm called distillation to prove input conjectures. The input conjectures are defined in a functional language and are transformed using the distillation algorithm. The result of this transformation can be easily inspected to see whether the original conjecture is true. ...

Motivation and Objectives Scientific workflows management systems, (e.g., (Missier et al., 2010; Ludaesher et al., 2006; Goeck et al. 2011)) are increasingly used to specify and manage bioinformatics experiments. An experiment is then represented by a workflow in which a large number of bioinformatics tasks are linked to each other. A workflow specification is a framework for the execution of w...

whiskey • manufacture, an unchecked flowering of linked agricultural nd distilling growth displaying small holdings, small pots and minuscule government interference. The Scottish experience ran from around 1600 to 1784, the American from 1802 to 1862. In each case, one household in six possessed rudiments for disfilling; annual per capita spirits consumption exceeded three proof gallons [Caldw...

Whisk(e)y is a major global distilled spirit beverage. Whiskies are produced from cereal starches that are saccharified, fermented and distilled prior to spirit maturation. The strain of Saccharomyces cerevisiae employed in whisky fermentations is crucially important not only in terms of ethanol yields, but also for production of minor yeast metabolites which collectively contribute to developm...

Recent progress in contrastive learning has revolutionized unsupervised representation learning. Concretely, multiple views (augmentations) from the same image are encouraged to map close embeddings, while different images pulled apart.In this paper, through visualizing and diagnosing classification errors, we observe that current models ineffective at localizing foreground object, limiting the...