Semisimple types for p -adic classical groups

a

The prevalence of Type 2 diabetes and its associated health problems in a community-dwelling elderly population.

AIMS: Prevalence estimates of Type 2 diabetes and its associated health problems in elderly populations are rare, especially in the very elderly. METHODS: A sample of 15 095 community-dwelling older people aged > or = 75 years were assessed. Type 2 diabetes and associated health problems were identified using self-reporting, general practitioner records, drug histories, and blood and urine measurements. RESULTS: There were 1177 people identified as having Type 2 diabetes mellitus, giving an overall prevalence of 7.8% (95% confidence interval 7.1, 8.5), 9.4% (8.4, 10.5) for men and 6.8% (6.1, 7.6) for women. The age, sex and smoking adjusted odds ratios for various health problems, comparing people with and without diabetes were: low vision 1.6 (1.3, 1.9), proteinuria 1.7 (1.4, 2.1), chronic kidney disease stage 4 or 5 1.5 (1.0, 2.1), angina 1.3 (1.1, 1.6), myocardial infarction 1.5 (1.2, 1.8), cerebrovascular event 2.0 (1.8, 2.1) and foot ulceration 1.7 (1.2, 2.4). CONCLUSIONS: The prevalence of Type 2 diabetes is not high in community-dwelling older people, but diabetes was a contributory factor to a number of health problems

Distributional Sentence Entailment Using Density Matrices

Categorical compositional distributional model of Coecke et al. (2010) suggests a way to combine grammatical composition of the formal, type logical models with the corpus based, empirical word representations of distributional semantics. This paper contributes to the project by expanding the model to also capture entailment relations. This is achieved by extending the representations of words from points in meaning space to density operators, which are probability distributions on the subspaces of the space. A symmetric measure of similarity and an asymmetric measure of entailment is defined, where lexical entailment is measured using von Neumann entropy, the quantum variant of Kullback-Leibler divergence. Lexical entailment, combined with the composition map on word representations, provides a method to obtain entailment relations on the level of sentences. Truth theoretic and corpus-based examples are provided.Comment: 11 page

A case study of argumentation at undergraduate level in history

This article examines two essays by undergraduate students in the first year of study in History at a university in the UK. It also draws on documentary evidence from the department in question and interviews with the students themselves to paint a picture of the way argumentation operates at this level. While no firm conclusions can be drawn, the evidence suggests a department with a high degree of awareness of the importance of argument and argumentation in studying History; and students who are aware and articulate about the problem facing them in constructing essays in the discipline. Suggestions are made about induction into the epistemological and argumentative demands of undergraduate study

The 1996 research assessment exercise : the library and information management panel

Reports on the 1996 Research Assessment Exercise (RAE), the fourth such exercise aimed at providing funding councils of UK universities (including former polytechnics) with the necessary data to rate the quality of UK academic research for predetermined units of assessment in order to fund research selectively. Previous RAEs were conducted in 1986, 1989, and 1992 (for a report of the 1992 RAE see JOLIS 26 (3) Sep 94, 141-7 (LISA ref. 9409765)). Reports generally on the work of the Library and Information Management Panel in agreeing criteria specific to their assessment task, particularly the five principal modes of publication: research monographs; articles in scholarly periodicals; refereed conference papers; published research reports; and book chapters. Discusses the methodology used by the Panel, research submissions received and the overall results

Motion Deblurring in the Wild

The task of image deblurring is a very ill-posed problem as both the image and the blur are unknown. Moreover, when pictures are taken in the wild, this task becomes even more challenging due to the blur varying spatially and the occlusions between the object. Due to the complexity of the general image model we propose a novel convolutional network architecture which directly generates the sharp image.This network is built in three stages, and exploits the benefits of pyramid schemes often used in blind deconvolution. One of the main difficulties in training such a network is to design a suitable dataset. While useful data can be obtained by synthetically blurring a collection of images, more realistic data must be collected in the wild. To obtain such data we use a high frame rate video camera and keep one frame as the sharp image and frame average as the corresponding blurred image. We show that this realistic dataset is key in achieving state-of-the-art performance and dealing with occlusions

ConSUS: A light-weight program conditioner

Program conditioning consists of identifying and removing a set of statements which cannot be executed when a condition of interest holds at some point in a program. It has been applied to problems in maintenance, testing, re-use and re-engineering. All current approaches to program conditioning rely upon both symbolic execution and reasoning about symbolic predicates. The reasoning can be performed by a ‘heavy duty’ theorem prover but this may impose unrealistic performance constraints. This paper reports on a lightweight approach to theorem proving using the FermaT Simplify decision procedure. This is used as a component to ConSUS, a program conditioning system for the Wide Spectrum Language WSL. The paper describes the symbolic execution algorithm used by ConSUS, which prunes as it conditions. The paper also provides empirical evidence that conditioning produces a significant reduction in program size and, although exponential in the worst case, the conditioning system has low degree polynomial behaviour in many cases, thereby making it scalable to unit level applications of program conditioning

Оценивание климатической и сезонной составляющих экстремальных температур воздуха на примере вековых наблюдений в Киеве

Осуществлен гармонический анализ сезонных аномалий температуры воздуха с 1901 по 2009 гг. Выделена низкочастотная климатическая и высокочастотная сезонная составляющие аномалий температуры воздуха, оценена их спектральная энергия. Идентифицированы законы статистических распределений циклических трендов климатической и сезонной составляющих. Установлено, что в первой половине прошлого столетия энергия сезонной составляющей превосходила энергию климатической составляющей на 164%, а к концу — только на 70%. Снижение обусловлено ослаблением энергии сезонной составляющей и увеличением энергии климатической составляющей, которые уравняются через (35 ± 5) лет. Вследствие выявленных процессов, вклад сезонной составляющей в экстремально низкие аномалии температуры воздуха в десятки раз превышал вклад климатической составляющей. Сезонная составляющая преобладала на 80–90% в экстремально высоких аномалиях температуры воздуха и аномалиях температуры воздуха, которые были значительно ниже нормы.Здiйснено гармонiчний аналiз сезонних аномалiй температури повiтря з 1901 по 2009 рр. Видiлено низькочастотну клiматичну i високочастотну сезонну складовi аномалiй температури повiтря, оцiнено їх спектральну енергiю. Iдентифiковано закони статистичних розподiлiв циклiчних трендiв клiматичної i сезонної складових. Встановлено, що в першiй половинi минулого столiття енергiя сезонної складової перевищувала енергiю клiматичної складової на 164%, а пiд кiнець — тiльки на 70%. Зниження обумовлено ослабленням енергiї сезонної складової i збiльшенням енергiї клiматичної складової, якi зрiвняються через (35±5) рокiв. Внаслiдок виявлених процесiв, вклад сезонної складової в екстремальнi низькi аномалiї температури повiтря в десятки раз перевищував вклад клiматичної складової. Сезонна складова переважала на 80–90% в екстремальних високих аномалiях температури повiтря та в аномалiях температури повiтря, якi були значно нижче норми.The harmonic analysis of seasonal anomalies of the air temperature is carried out from 1901 till 2009. A low-frequency climatic constituent and a high-frequency seasonal constituent of anomalies of the air temperature are distinguished. Their spectral energy is appraised. The laws of statistical distributions of the cyclic trends of climatic and seasonal constituents are identified. It is found that, in the first half of the last century, the seasonal constituent energy exceeded the energy of the climatic constituent by 164% and only by 70% to the end of the century. A decline is caused by a weakening of the seasonal constituent energy and an increase of the climatic constituent energy, which will be equal in (35±5) yr. Because of the revealed processes, the contribution of the seasonal constituent to extremely small anomalies of the air temperature was by several tens of times more than that of the climatic constituent. The seasonal constituent prevailed by 80–90 % in extremely high anomalies of the air temperature and in temperatures anomalies that were considerably below than the norm