interpretation: Domains and surroundings. Abstract interpretation is a general theory for specifying and designing approximate semantics of program languages [10]. Approximation can be equivalently formulated either in terms of Galois connections or closure operators [11]. An upper closure operator ρ : C → C on a poset C (uco(C ) for short), representing concrete objects, is monotone, idempoten...

Let F be a function. We say that F is uncurrying if and only if the conditions (Def. 1) are satisfied. (Def. 1)(i) For every set x such that x ∈ domF holds x is a function yielding function, and (ii) for every function f such that f ∈ domF holds F (f) = uncurry f. We say that F is currying if and only if the conditions (Def. 2) are satisfied. (Def. 2)(i) For every set x such that x ∈ domF holds...

Antithrombin, a plasma glycoprotein serpin, requires conformational activation by heparin to induce an anticoagulant effect, which is mediated through accelerated factor Xa inhibition. Heparin, a highly charged polymer and an allosteric activator of the serpin, is associated with major adverse effects. To design better, but radically different activators of antithrombin from heparin, we utilize...

This work proposes a method for the evaluation of the effectiveness of adopting dynamic spectral management (DSM) algorithms in different DSL scenarios. In the last years several DSM algorithms emerged in the literature but their comparison has been typically conducted within few scenarios and considering specific operating points. This work proposes the adoption of the DSM effectiveness factor...

The notion of extriangulated category was introduced by Nakaoka and Palu giving a simultaneous generalization exact categories triangulated categories. Our first aim is to provide an extension Auslander's formula: for some $\mathcal{C}$, there exists localization sequence $\operatorname{def}\mathcal{C} \to \mod\mathcal{C} \operatorname{lex}\mathcal{C}$, where $\operatorname{lex}\mathcal{C}$ den...