Wakefield acceleration in dielectric loaded structures is discussed in this paper. We present a description of the dielectric wakefield accelerator concept, comparing some features of the collinear and the two beam accelerator configurations. The Argonne Wakefield Accelerator Facility (AWA) is discussed in detail, including major upgrades that are presently taking place. The basic features and ...

In this working note we describe our submission to the FIRE2017 IRMiDiS track. We participated in both sub-tasks, the first of which was directed at identifying the need or availability of specific resources and the second at matching tweets expressing the need for a resource with tweets mentioning their availability. Our linguistically motivated approach using pattern matching of word n-grams ...

In December 1907, Minkowski expressed the Maxwell equations in the very beautiful and compact 4dimensional form: lor f = −s, lor F ∗ = 0. Here ‘lor’, an abbreviation of Lorentz, represents the 4dimensional differential operator. We study Minkowski’s derivation and show how these equations generalize to their modern premetric form in the framework of tensor and exterior calculus. After mentionin...

In this paper, we enrich imperative programming with a form of dependent types. We start with explaining some motivations for this enrichment and mentioning some major obstacles that need to be overcome. We then present the design of a source level dependently typed imperative programming language Xanadu, forming both static and dynamic semantics and then establishing the type soundness theorem...

Although many various models have been improved in order to form human features of Acute Respiratory Distress Syndrome (ARDS) in animals, there is no single animal model that satisfactorily exhibits all of the histopathological components of human ARDS. Therefore, when choosing an ARDS animal model, it is important to consider the ARDS key property to be tested as a study hypothesis and choose ...

Zadeh in 1965 introduce the concept of a fuzzy set which now have a wide range of applications in various fields of Engineering Sciences, Computer Science and Management Sciences. It is worth mentioning here that for applications of fuzzy sets mostly associative algebraic structures are used such as in 2003, Mordeson, Malik and Kuroki have discovered the applications of fuzzy semigroups in fuzz...

Since the end of 1989, ECN renewed its interest in incineration of transuranium elements and fission products. With respect to the transmutation of minor actinides ECN was requested by the clutch government to start a study of a scenario based upon thermal reactors and to work on incineration by means of new fast reactor designs. There are also plans for a study on the possible use of accelerat...

Overview This contribution gives a short introduction to arrow logic We start by explaining the basic idea underlying arrow logic and the motivation for studying it sections and We discuss some elementary duality theory between arrow logic and the algebraic theory of binary relations section In the sections and we give a brief survey of the theory that has been developed on the semantics de nab...

When describing images, humans tend not to talk about the obvious, but rather mention what they find interesting. We argue that abnormalities and deviations from typicalities are among the most important components that form what is worth mentioning. In this paper we introduce the abnormality detection as a recognition problem and show how to model typicalities and, consequently, meaningful dev...

The prevailing narrative over the decades within much of postgraduate training is to just ‘get on with it’ and to lace problems with maxims like ‘publish or perish’ – which according to a quick search on PubMed has 91 articles explicitly mentioning it – the oldest back in 1962! Such thinking is unlikely to lead to the innovative solutions required for the problems presented by the ‘perfect stor...