Parameters for Twisted Representations

The study of Hermitian forms on a real reductive group $G$ gives rise, in the unequal rank case, to a new class of Kazhdan-Lusztig-Vogan polynomials. These are associated with an outer automorphism $\delta$ of $G$, and are related to representations of the extended group $$. These polynomials were defined geometrically by Lusztig and Vogan in "Quasisplit Hecke Algebras and Symmetric Spaces", Duke Math. J. 163 (2014), 983--1034. In order to use their results to compute the polynomials, one needs to describe explicitly the extension of representations to the extended group. This paper analyzes these extensions, and thereby gives a complete algorithm for computing the polynomials. This algorithm is being implemented in the Atlas of Lie Groups and Representations software

An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Algebraic methods in the theory of generalized Harish-Chandra modules

This paper is a review of results on generalized Harish-Chandra modules in the framework of cohomological induction. The main results, obtained during the last 10 years, concern the structure of the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules, where $\mathfrak{g}$ is a semisimple Lie algebra and $\mathfrak{k}$ is an arbitrary algebraic reductive in $\mathfrak{g}$ subalgebra. These results lead to a classification of simple $(\mathfrak{g},\mathfrak{k})-$modules of finite type with generic minimal $\mathfrak{k}-$types, which we state. We establish a new result about the Fernando-Kac subalgebra of a fundamental series module. In addition, we pay special attention to the case when $\mathfrak{k}$ is an eligible $r-$subalgebra (see the definition in section 4) in which we prove stronger versions of our main results. If $\mathfrak{k}$ is eligible, the fundamental series of $(\mathfrak{g},\mathfrak{k})-$modules yields a natural algebraic generalization of Harish-Chandra's discrete series modules.Comment: Keywords : generalized Harish-Chandra module, (g,k)-module of finite type, minimal k-type, Fernando-Kac subalgebra, eligible subalgebra; Pages no. : 13; Bibliography : 21 item

The size and polydispersity of silica nanoparticles under simulated hot spring conditions

The nucleation and growth of silica nanoparticles in supersaturated geothermal waters was simulated using a flow-through geothermal simulator system. The effect of silica concentration ([SiO2]), ionic strength (IS), temperature (T) and organic additives on the size and polydispersity of the forming silica nanoparticles was quantified. A decrease in temperature (58 to 33°C) and the addition of glucose restricted particle growth to sizes <20 nm, while varying [SiO2] or ISdid not affect the size (30-35 nm) and polydispersity (±9 nm) observed at 58°C. Conversely, the addition of xanthan gum induced the development of thin films that enhanced silica aggregation

The Optimum Distance at which to Determine the Size of a Giant Air Shower

To determine the size of an extensive air shower it is not necessary to have knowledge of the function that describes the fall-off of signal size from the shower core (the lateral distribution function). In this paper an analysis with a simple Monte Carlo model is used to show that an optimum ground parameter can be identified for each individual shower. At this optimal core distance, $r_\mathrm{opt}$, the fluctuations in the expected signal, $S(r_\mathrm{opt})$, due to a lack of knowledge of the lateral distribution function are minimised. Furthermore it is shown that the optimum ground parameter is determined primarily by the array geometry, with little dependence on the energy or zenith angle of the shower or choice of lateral distribution function. For an array such as the Pierre Auger Southern Observatory, with detectors separated by 1500 m in a triangular configuration, the optimum distance at which to measure this characteristic signal is close to 1000 m

Photovoltaic system test facility electromagnetic interference measurements

Field strength measurements on a single row of panels indicates that the operational mode of the array as configured presents no radiated EMI problems. Only one relatively significant frequency band near 200 kHz showed any degree of intensity (9 muV/m including a background level of 5 muV/m). The level was measured very near the array (at 20 ft distance) while Federal Communications Commission (FCC) regulations limit spurious emissions to 15 muV/m at 1,000 ft. No field strength readings could be obtained even at 35 ft distant

Linear and nonlinear response of a rectangular plate subjected to lateral and inplane sonic boom disturbances

Transient response of rectangular window pane exposed to sonic boom disturbance using linear and nonlinear theorie

Guidelines Towards Better Participation of Older Adults in Software Development Processes using a new SPIRAL Method and Participatory Approach

This paper presents a new method of engaging older participants in the process of application and IT solutions development for older adults for emerging IT and tech startups. A new method called SPIRAL (Support for Participant Involvement in Rapid and Agile software development Labs) is proposed which adds both sustainability and flexibility to the development process with older adults. This method is based on the participatory approach and user empowerment of older adults with the aid of a bootstrapped Living Lab concept and it goes beyond well established user-centered and empathic design. SPIRAL provides strategies for direct involvement of older participants in the software development processes from the very early stage to support the agile approach with rapid prototyping, in particular in new and emerging startup environments with limited capabilities, including time, team and resources

Unitary Dual of GL_n at archimedean places and global Jacquet-Langlands correspondence

In [7], results about the global Jacquet-Langlands correspondence, (weak and strong) multiplicity-one theorems and the classification of automorphic representations for inner forms of the general linear group over a number field are established, under the condition that the local inner forms are split at archimedean places. In this paper, we extend the main local results of [7] to archimedean places so that this assumption can be removed. Along the way, we collect several results about the unitary dual of general linear groups over \bbR, \bbC or \bbH of independent interest