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

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

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

Developing the evidence base for adult social care practice: The NIHR School for Social Care Research

In a foreword to 'Shaping the Future of Care Together', Prime Minister Gordon Brown says that a care and support system reflecting the needs of our times and meeting our rising aspirations is achievable, but 'only if we are prepared to rise to the challenge of radical reform'. A number of initiatives will be needed to meet the challenge of improving social care for the growing older population. Before the unveiling of the green paper, The National Institute for Health Research (NIHR) announced that it has provided 15m pounds over a five-year period to establish the NIHR School for Social Care Research. The School's primary aim is to conduct or commission research that will help to improve adult social care practice in England. The School is seeking ideas for research topics, outline proposals for new studies and expert advice in developing research methods

Lie series for celestial mechanics, accelerators, satellite stabilization and optimization

Lie series applications to celestial mechanics, accelerators, satellite orbits, and optimizatio

On elliptic factors in real endoscopic transfer I

This paper is concerned with the structure of packets of representations and some refinements that are helpful in endoscopic transfer for real groups. It includes results on the structure and transfer of packets of limits of discrete series representations. It also reinterprets the Adams-Johnson transfer of certain nontempered representations via spectral analogues of the Langlands-Shelstad factors, thereby providing structure and transfer compatible with the associated transfer of orbital integrals. The results come from two simple tools introduced here. The first concerns a family of splittings of the algebraic group G under consideration; such a splitting is based on a fundamental maximal torus of G rather than a maximally split maximal torus. The second concerns a family of Levi groups attached to the dual data of a Langlands or an Arthur parameter for the group G. The introduced splittings provide explicit realizations of these Levi groups. The tools also apply to maps on stable conjugacy classes associated with the transfer of orbital integrals. In particular, they allow for a simpler version of the definitions of Kottwitz-Shelstad for twisted endoscopic transfer in certain critical cases. The paper prepares for spectral factors in twisted endoscopic transfer that are compatible in a certain sense with the standard factors discussed here. This compatibility is needed for Arthur's global theory. The twisted factors themselves will be defined in a separate paper.Comment: 48 pages, to appear in Progress in Mathematics, Volume 312, Birkha\"user. Also renumbering to match that of submitted versio

Lessons from LIMK1 enzymology and their impact on inhibitor design

LIM domain kinase 1 (LIMK1) is a key regulator of actin dynamics. It is thereby a potential therapeutic target for the prevention of fragile X syndrome and amyotrophic lateral sclerosis. Herein, we use X-ray crystallography and activity assays to describe how LIMK1 accomplishes substrate specificity, to suggest a unique ‘rock-and-poke’ mechanism of catalysis and to explore the regulation of the kinase by activation loop phosphorylation. Based on these findings, a differential scanning fluorimetry assay and a RapidFire mass spectrometry activity assay were established, leading to the discovery and confirmation of a set of small-molecule LIMK1 inhibitors. Interestingly, several of the inhibitors were inactive towards the closely related isoform LIMK2. Finally, crystal structures of the LIMK1 kinase domain in complex with inhibitors (PF-477736 and staurosporine, respectively) are presented, providing insights into LIMK1 plasticity upon inhibitor binding