Logics of Finite Hankel Rank

We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures and their Hankel matrices. We show the connection between Hankel matrices and the Feferman-Vaught Theorem. The largest logic known to satisfy a Feferman-Vaught Theorem for product-like operations is CFOL, first order logic with modular counting quantifiers. For sum-like operations it is CMSOL, the corresponding monadic second order logic. We discuss whether there are maximal logics satisfying Feferman-Vaught Theorems for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th birthday. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23534-9_1

Incidence of ANCA-associated vasculitis in a UK mixed ethnicity population

Objectives: We aimed to estimate the incidence of ANCA-associated vasculitis in the UK and how this varied by ethnic group. Methods: We identified incident cases of ANCA-associated vasculitis between March 2007 and June 2013 in the Nottingham–Derby urban area from medical records using multiple sources. We derived the denominator population from the 2011 census, and we calculated incidence rate ratios using Poisson regression. Results: Overall, we identified 107 cases of ANCA-associated vasculitis, giving an incidence of 23.1 per million person-years (95% CI: 18.9, 27.9). The incidence among the white population was 25.8 per million person-years (95% CI: 21.0, 31.3) and among the black and minority ethnic (BME) population 8.4 per million person-years (95% CI: 3.1, 18.3). After adjustment for age and sex, the difference between ethnic groups was not statistically significant (incidence rate ratio 0.7, 95% CI: 0.3, 1.5, P = 0.3). Conclusion: Overall, the incidence of ANCA-associated vasculitis was similar to other epidemiological studies. Crude incidence rates were lower in the BME than in the white population, but this was partly explained by the older age profile among the white compared with BME population

Wave Number of Maximal Growth in Viscous Magnetic Fluids of Arbitrary Depth

An analytical method within the frame of linear stability theory is presented for the normal field instability in magnetic fluids. It allows to calculate the maximal growth rate and the corresponding wave number for any combination of thickness and viscosity of the fluid. Applying this method to magnetic fluids of finite depth, these results are quantitatively compared to the wave number of the transient pattern observed experimentally after a jump--like increase of the field. The wave number grows linearly with increasing induction where the theoretical and the experimental data agree well. Thereby a long-standing controversy about the behaviour of the wave number above the critical magnetic field is tackled.Comment: 19 pages, 15 figures, RevTex; revised version with a new figure and references added. submitted to Phys Rev

Parametrically Excited Surface Waves: Two-Frequency Forcing, Normal Form Symmetries, and Pattern Selection

Motivated by experimental observations of exotic standing wave patterns in the two-frequency Faraday experiment, we investigate the role of normal form symmetries in the pattern selection problem. With forcing frequency components in ratio m/n, where m and n are co-prime integers, there is the possibility that both harmonic and subharmonic waves may lose stability simultaneously, each with a different wavenumber. We focus on this situation and compare the case where the harmonic waves have a longer wavelength than the subharmonic waves with the case where the harmonic waves have a shorter wavelength. We show that in the former case a normal form transformation can be used to remove all quadratic terms from the amplitude equations governing the relevant resonant triad interactions. Thus the role of resonant triads in the pattern selection problem is greatly diminished in this situation. We verify our general results within the example of one-dimensional surface wave solutions of the Zhang-Vinals model of the two-frequency Faraday problem. In one-dimension, a 1:2 spatial resonance takes the place of a resonant triad in our investigation. We find that when the bifurcating modes are in this spatial resonance, it dramatically effects the bifurcation to subharmonic waves in the case of forcing frequencies are in ratio 1/2; this is consistent with the results of Zhang and Vinals. In sharp contrast, we find that when the forcing frequencies are in ratio 2/3, the bifurcation to (sub)harmonic waves is insensitive to the presence of another spatially-resonant bifurcating mode.Comment: 22 pages, 6 figures, late

Social Interactions vs Revisions, What is important for Promotion in Wikipedia?

In epistemic community, people are said to be selected on their knowledge contribution to the project (articles, codes, etc.) However, the socialization process is an important factor for inclusion, sustainability as a contributor, and promotion. Finally, what does matter to be promoted? being a good contributor? being a good animator? knowing the boss? We explore this question looking at the process of election for administrator in the English Wikipedia community. We modeled the candidates according to their revisions and/or social attributes. These attributes are used to construct a predictive model of promotion success, based on the candidates's past behavior, computed thanks to a random forest algorithm. Our model combining knowledge contribution variables and social networking variables successfully explain 78% of the results which is better than the former models. It also helps to refine the criterion for election. If the number of knowledge contributions is the most important element, social interactions come close second to explain the election. But being connected with the future peers (the admins) can make the difference between success and failure, making this epistemic community a very social community too

Why do we remember? The communicative function of episodic memory

Episodic memory has been analyzed in a number of different ways in both philosophy and psychology, and most controversy has centered on its self-referential, ‘autonoetic’ character. Here, we offer a comprehensive characterization of episodic memory in representational terms, and propose a novel functional account on this basis. We argue that episodic memory should be understood as a distinctive epistemic attitude taken towards an event simulation. On this view, episodic memory has a metarepresentational format and should not be equated with beliefs about the past. Instead, empirical findings suggest that the contents of human episodic memory are often constructed in the service of the explicit justification of such beliefs. Existing accounts of episodic memory function that have focused on explaining its constructive character through its role in ‘future-oriented mental time travel’ neither do justice to its capacity to ground veridical beliefs about the past nor to its representational format. We provide an account of the metarepresentational structure of episodic memory in terms of its role in communicative interaction. The generative nature of recollection allows us to represent and communicate the reasons for why we hold certain beliefs about the past. In this process, autonoesis corresponds to the capacity to determine when and how to assert epistemic authority in making claims about the past. A domain where such claims are indispensable are human social engagements. Such engagements commonly require the justification of entitlements and obligations, which is often possible only by explicit reference to specific past events

GazeR:A package for processing gaze position and pupil size data

Eye-tracking is widely used throughout the scientific community, from vision science and psycholinguistics, to marketing and human-computer interaction. Surprisingly, there is little consistency and transparency in preprocessing steps, making replicability difficult. To increase replicability and transparency, a package in R (a free and widely used statistical programming environment) called gazeR was created to read in and preprocess two types of data from the SR EyeLink eye tracker: gaze position and pupil size. For gaze position data, gazeR has functions for: reading in raw eye-tracking data, formatting it for analysis, converting from gaze coordinates to areas of interest, and binning and aggregating data. For data from pupillometry studies, the gazeR package has functions for: reading in and merging multiple raw pupil data files, removing observations with too much missing data, eliminating artifacts, blink identification and interpolation, subtractive baseline correction, and binning and aggregating data. The package is open-source and freely available for download and installation: https://github.com/dmirman/gazer. We provide ste

Reversible lymphomagenesis in conditionally c-MYC expressing mice

It is well documented that deregulation of MYC leads to tumor development, yet many aspects of this process are only partially understood. We have established a transgenic mouse model in which c-MYC is conditionally expressed in lymphoid cells using the tetracycline-regulated system of gene regulation. Mice with continuously expressed transgenic c-MYC died of invasive T- or B-cell lymphomas within 4 months. Lymphomas developing in transgenic mice were c-MYC dependent since doxycycline treatment led to tumor regression. Using transplantation of established tumor cell lines labeled with GFP, we followed the fate of neoplastic cells in recipients upon MYC inactivation. This approach allowed us to elucidate both apoptosis and differentiation as mechanisms of tumor elimination. Comparative genomic hybridization (CGH) and FISH analyses were performed in order to analyze possible chromosomal aberrations induced by c-MYC. We observed that overexpression of c-MYC is sufficient to induce recurrent patterns of genomic instability. The main observation was a gain of genomic material that corresponded to chromosome 15 in several T-cell tumors, which could be identified as trisomy

Novel insights into the aetiology of granulomatosis with polyangiitis—a case–control study using the Clinical Practice Research Datalink

Objectives We aimed to provide insights into the aetiology of granulomatosis with polyangiitis (GPA), by conducting a large case–control study using a general population-based, prospectively collected database of healthcare records. Methods We compared all incident cases of GPA in the Clinical Practice Research Datalink 1990–2014, with up to 10 age-, sex- and general practice-matched controls. We identified potential risk factors, recorded numbers of cases and controls exposed to each, and calculated odds ratios (ORs) using conditional logistic regression. Our main analysis excluded data recorded during 1 year before diagnosis, to prevent early symptoms being mistaken for risk factors. Results We identified 757 people with GPA and matched 7546 controls. People with GPA were five times more likely to have a previous diagnosis of bronchiectasis (OR = 5.1, 95% CI: 2.7, 9.4; P 5 years prior to diagnosis. People with GPA were two to three times more likely than controls to have previous diagnoses of autoimmune diseases or chronic renal impairment, and these effects also remained stable >5 years prior to diagnosis. People with GPA were more likely to have a diagnosis of pulmonary fibrosis (OR = 5.7, 95% CI: 1.7, 19.5; P = 0.01) and sinus infections (OR = 2.7, 95% CI: 1.8, 4.2; P < 0.0001) recorded in the 3 years before diagnosis, but not before this. We also found former smoking, some medications and higher socio-economic status significantly, but less strongly, associated. Conclusion We found novel long-term associations between GPA and pre-existing bronchiectasis and autoimmune diseases