Let F/E be a finite Galois extension of fields with abelian Galois group Γ. A self-dual normal basis for F/E is a normal basis with the additional property that TrF/E(g(x), h(x)) = δg,h for g, h ∈ Γ. Bayer-Fluckiger and Lenstra have shown that when char(E) 6= 2, then F admits a self-dual normal basis if and only if [F : E] is odd. If F/E is an extension of finite fields and char(E) = 2, then F ...

The domain of computation of an program 〈X , C,F ,R〉 is the constructor algebra T (C). A substitution σ is a mapping from variables to terms and a ground substitution is one which ranges over constructor terms of T (C). Observe that constructor terms are normal forms for the program. For each function symbol f ∈ F , the program 〈X , C,F ,R〉 computes a partial function JfK : T (C) → T (C) define...

This paper identifies several areas of database modeling and design that have been problematic for students and even are likely to confuse faculty. Major contributing factors are the lack of clarity and inaccuracies that persist in the presentation of some basic database concepts in textbooks. The paper analyzes the problems and discusses ways to minimize them. Specifically, the paper discusses...

Let T > 0, Ω ⊂ Rn (n ∈ N) be a given bounded domain, ∂Ω = Γ0 ∪ Γ1 (Γ1 = ∅) (where Γ0 is the interior boundary and Γ1 the outer boundary), Γ0 ∩ Γ1 =∅. For simplicity, we assume that Γ0,Γ1 ∈ C∞ and ω = ∅ is a given subdomain of Ω. Denote the characteristic function of ω by χω, and the unit outward normal vector of Ω by (n1, . . . ,nn). Put Q = Ω× (0,T), Qω = ω× (0,T), and Σ= ∂Ω× (0,T). Let ai j(x...

The 364 nm photoelectron spectra of the dehydrobenzoquinone (1•-) and benzoquinonide (2-) anions are reported. For 1•-, the unambiguous assignment of the origin peak yields an electron affinity (EA) of 1.859 ( 0.005 eV. Several vibrational modes of 1 are also reported. Another minor feature at higher electron binding energy is also observed in the spectrum of 1•-. This band does not contain any...

In this article we analyze the influence of a concrete moral emotion (i.e. moral guilt) on strategic decision making. We present a normal form Prisoner’s Dilemma with a moral component. We assume that agents evaluate the game’s outcomes with respect to their ideality degree (i.e. how much a given outcome conforms to the player’s moral values), based on two proposed notions on ethical preference...

This paper presents a study of a D-STATCOM (Distribution Static Compensator) used for mitigating voltage sag. The basic idea of the voltage sag mitigation, using a D-STATCOM is to dynamically inject a current of desired amplitude, frequency and phase into the grid line. The proposed method extracts the active and reactive parts of the positiveand negative-sequence component for generating refer...

We analyze the ergodic capacity and epsilon-outage capacity of coherent optical links through the turbulent atmosphere. We consider the effects of log-normal amplitude fluctuations and Gaussian phase fluctuations, in addition to local oscillator shot noise, for both passive receivers and those employing active modal compensation of wavefront phase distortion. We study the effect of various para...

In the present work the change in natural frequencies, damping and mode shapes of a prefabricated timber floor element have been investigated when it was integrated into a building structure. The timber floor element was first subjected to modal testing in laboratory with ungrounded and simply supported boundary conditions, and then in situ at different stages of building construction. The firs...

We show that a randomly chosen 3-CNF formula over n variables with clauses-tovariables ratio at least 4.4898 is asymptotically almost surely unsatisfiable. The previous best such bound, due to Dubois in 1999, was 4.506. The first such bound, independently discovered by many groups of researchers since 1983, was 5.19. Several decreasing values between 5.19 and 4.506 were published in the years b...