Characterizing specification languages which admit initial semantics

AbstractThe paper proposes an axiomatic approach to specification languages, and introduces notions of reducibility and equivalence as tools for their study and comparison. Algebraic specification languages are characterized up to equivalence. They are shown to be limited in expressive power by implicational languages

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

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

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

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

Detection of major histocompatibility complex class I-restricted, HIV-specific cytotoxic T lymphocytes in the blood of infected hemophiliacs

Major histocompatibility (MHC)-restricted, human immunodeficiency virus type one (HIV-1)-specific, cytotoxic T lymphocytes (CTLs) were detected in the peripheral blood mononuclear cells (PBMCs) of HIV-1-infected individuals. Using a system of autologous B and T lymphoblastoid cell lines infected with recombinant vaccinia vectors (VVs) expressing HIV-1 gene products, we were able to detect HIV-1-specific cytolytic responses in the PBMCs of 88% of HIV-1-seropositive hemophiliac patients in the absence of in vitro stimulation. These cytolytic responses were directed against both HIV-1 envelope and gag gene products. The responses were resistant to natural killer (NK) cell depletion and were inhibited by monoclonal antibodies (MoAbs) to the T cell receptor, CD8 surface antigens, and MHC class I antigens, suggesting a classical MHC class I restricted, virus-specific CTL response