A surface energy-based mechanism for expansion in cement systems susceptible to Delayed Ettringite Formation (DEF) is proposed. The volume change behavior of nanoporous materials filled with impregnants and exposed to water vapor (considered analogous to the DEF situation) is described. The relevance of expansion due to Bangham swelling and dissolution phenomena is explained. The role of microc...

This paper describes the synthesis of a new typeof nanowires, potassium tetracyanoplatinate sesquihydrate Krogmann salt or K(def )TCP. Seed-mediated electrocrystallization nucleates and confines the K(def )TCP crystals into nanowires. Our data show that the width of K(def )TCP scales proportionally with the diameter of the seed, which is consistent with the nanoconfinement effect of the seed. K...

Delayed Ettringite Formation (DEF) and Alkali-Aggregate Reaction (AAR) are both endogenous swelling processes that can affect concrete. They lead to a decrease of the mechanical properties, cracking and unexpected deformations and thus induce severe concerns in terms of structural integrity for affected structures. This paper describes an experimental investigation concerning the mechanical eff...

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...

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...

Background: Dosimetry is a fundamental part of the radiation processing industry. Aqueous inorganic dosimeters have been used for gamma radiation dosimetry such as standard ferrous sulfate dosimeter. The purpose of this study was to investigate the effect of gamma radiation on the diethyl fumarate DEF in dimethyl sulfoxide DMSO solution and its possible use in chemical dosimetry. Materials and ...

In [1] we present an extension of Prime Event Structures by a mechanism to express dynamicity in the causal relation. More precisely we add the possibility that the occurrence of an event can add or remove causal dependencies between events and analyse the expressive power of the resulting Event Structures w.r.t. to some well-known Event Structures from the literature. This technical report con...