The World Without Music

In a world without music, what kind of music will we make and what will we teach our children? Imagine there's no music, then imagine what you want music to be

External Memory Algorithms for Factoring Sparse Matrices

We consider the factorization of sparse symmetric matrices in the context of a two-layer storage system: disk/core. When the core is sufficiently large the factorization can be performed in-core. In this case we must read the input, compute, and write the output, in this sequence. On the other hand, when the core is not large enough, the factorization becomes out-of-core, which means that data movement and computation must be interleaved. We identify two major out-of-core factorization scenarios: read-once/write-once (R1/W1) and read-many/write-many (RM/WM). The former requires minimum traffic, exactly as much as the in-core factorization: reading the input and writing the output. More traffic is required for the latter. We investigate three issues: the size of the core that determines the boundary between the two out-of-core scenarios, the in-core data structure reorganizations required by the R1/W1 factorization and the traffic required by the RM/WM factorization. We use three common factorization algorithms: left-looking, right-looking and multifrontal. In the R1/W1 scenario, our results indicate that for problems with good separators, such as those coming from the discretization of partial differential equations, ordered with nested dissection, right-looking and multifrontal factorization perform slightly better than left-looking factorization. There are, however, applications for which multifrontal is a bad choice, requiring too much temporary storage. On the other hand, right-looking factorization should be avoided in the RM/WM scenario. Left-looking is a good choice, but only if data is blocked along one dimension. Multifrontal performs well for both one and two dimensional blocks as long as not too much storage is required. We also explore a framework for a software implementation. We have implemented an in-core solver that relies on some object-oriented constructs. Most of the code is written in C++, except for some kernels written in Fortran 77. We intend to add out-of-core functionality to the code and data movement is a major concern. Implicit data movement represents the easy way, but, as some of our experiments show, good performance can be achieved only with explicit data movement. This complicates the code and we expect a substantial effort in order to implement an efficient out-of-core solver

The gamma-ray telescope Gamma-1

French and Soviet specialists have designed and built the gamma-ray telescope GAMMA-1 to detect cosmic gamma rays above 50 MeV. The sensitive area of the detector is 1400 sq cm, energy resolution is 30% at 300 MeV, and angular resolution 1.2 deg at 300 MeV (and less than 20' arc when a coded aperture mask is used). Results on calibration of the qualification model and Monte-Carlo calculations are presented

STAT4 deficiency reduces the development of atherosclerosis in mice

Atherosclerosis is a chronic inflammatory process that leads to plaque formation in large and medium sized vessels. T helper 1 (Th1) cells constitute the majority of plaque infiltrating pro-atherogenic T cells and are induced via IFNγ-dependent activation of T-box (Tbet) and/or IL-12-dependent activation of signal transducer and activator of transcription 4 (STAT4). We thus aimed to define a role for STAT4 in atherosclerosis. STAT4-deficiency resulted in a ∼71% reduction (p < 0.001) in plaque burden in Stat4(-/-)Apoe(-/-) vs Apoe(-/-) mice fed chow diet and significantly attenuated atherosclerosis (∼31%, p < 0.01) in western diet fed Stat4(-/-)Apoe(-/-) mice. Surprisingly, reduced atherogenesis in Stat4(-/-)Apoe(-/-) mice was not due to attenuated IFNγ production in vivo by Th1 cells, suggesting an at least partially IFNγ-independent pro-atherogenic role of STAT4. STAT4 is expressed in T cells, but also detected in macrophages (MΦs). Stat4(-/-)Apoe(-/-)in vitro differentiated M1 or M2 MΦs had reduced cytokine production compare to Apoe(-/-) M1 and M2 MΦs that was accompanied by reduced induction of CD69, I-A(b), and CD86 in response to LPS stimulation. Stat4(-/-)Apoe(-/-) MΦs expressed attenuated levels of CCR2 and demonstrated reduced migration toward CCL2 in a transwell assay. Importantly, the percentage of aortic CD11b(+)F4/80(+)Ly6C(hi) MΦs was reduced in Stat4(-/-)Apoe(-/-) vs Apoe(-/-) mice. Thus, this study identifies for the first time a pro-atherogenic role of STAT4 that is at least partially independent of Th1 cell-derived IFNγ, and primarily involving the modulation of MΦ responses

STAT4 deficiency reduces obesity-induced insulin resistance and adipose tissue inflammation

Signal transducer and activator of transcription (STAT) 4 is one of the seven members of the STAT family. STAT4 has a prominent role in mediating interleukin-12-induced T-helper cell type 1 lineage differentiation. T cells are key players in the maintenance of adipose tissue (AT) inflammation. The role of STAT4 in obesity and AT inflammation is unknown. We sought to determine the role of STAT4 in AT inflammation in obesity-induced insulin resistance. We studied STAT4-null mice on the C57Bl6/J background. We have found that STAT4(-/-)C57Bl6/J mice develop high-fat diet-induced obesity (DIO) similar to wild-type controls, but that they have significantly improved insulin sensitivity and better glucose tolerance. Using flow cytometry and real-time PCR, we show that STAT4(-/-) mice with DIO produce significantly reduced numbers of inflammatory cytokines and chemokines in adipocytes, have reduced numbers of CD8(+) cells, and display increased alternative (M2) macrophage polarization. CD8(+) cells, but not CD4(+) cells, from STAT4(-/-) mice displayed reduced in vitro migration. Also, we found that adipocyte inflammation is reduced and insulin signaling is improved in STAT4(-/-) mice with DIO. We have identified STAT4 as a key contributor to insulin resistance and AT inflammation in DIO. Targeting STAT4 activation could be a novel approach to reducing AT inflammation and insulin resistance in obesity

Intro to Quantum Harmony: Chords in Superposition

Correlations between quantum theory and music theory - specifically between principles of quantum computing and musical harmony - can lead to new understandings and new methodologies for music theorists and composers. The quantum principle of superposition is shown to be closely related to different interpretations of musical meaning. Superposition is implemented directly in the authors' simulations of quantum computing, as applied in the decision-making processes of computer-generated music composition

Steering hyper-giants' traffic at scale

Large content providers, known as hyper-giants, are responsible for sending the majority of the content traffic to consumers. These hyper-giants operate highly distributed infrastructures to cope with the ever-increasing demand for online content. To achieve 40 commercial-grade performance of Web applications, enhanced end-user experience, improved reliability, and scaled network capacity, hyper-giants are increasingly interconnecting with eyeball networks at multiple locations. This poses new challenges for both (1) the eyeball networks having to perform complex inbound traffic engineering, and (2) hyper-giants having to map end-user requests to appropriate servers. We report on our multi-year experience in designing, building, rolling-out, and operating the first-ever large scale system, the Flow Director, which enables automated cooperation between one of the largest eyeball networks and a leading hyper-giant. We use empirical data collected at the eyeball network to evaluate its impact over two years of operation. We find very high compliance of the hyper-giant to the Flow Director’s recommendations, resulting in (1) close to optimal user-server mapping, and (2) 15% reduction of the hyper-giant’s traffic overhead on the ISP’s long-haul links, i.e., benefits for both parties and end-users alike.EC/H2020/679158/EU/Resolving the Tussle in the Internet: Mapping, Architecture, and Policy Making/ResolutioNe