Matrix factorizations for quantum complete intersections

We introduce twisted matrix factorizations for quantum complete intersections of codimension two. For such an algebra, we show that in a given dimension, almost all the indecomposable modules with bounded minimal projective resolutions correspond to such matrix factorizations.Comment: 13 page

Heat shock factor 1 regulates lifespan as distinct from disease onset in prion disease

Prion diseases are fatal, transmissible, neurodegenerative diseases caused by the misfolding of the prion protein (PrP). At present, the molecular pathways underlying prion-mediated neurotoxicity are largely unknown. We hypothesized that the transcriptional regulator of the stress response, heat shock factor 1 (HSF1), would play an important role in prion disease. Uninoculated HSF1 knockout (KO) mice used in our study do not show signs of neurodegeneration as assessed by survival, motor performance, or histopathology. When inoculated with Rocky Mountain Laboratory (RML) prions HSF1 KO mice had a dramatically shortened lifespan, succumbing to disease ≈20% faster than controls. Surprisingly, both the onset of home-cage behavioral symptoms and pathological alterations occurred at a similar time in HSF1 KO and control mice. The accumulation of proteinase K (PK)-resistant PrP also occurred with similar kinetics and prion infectivity accrued at an equal or slower rate. Thus, HSF1 provides an important protective function that is specifically manifest after the onset of behavioral symptoms of prion disease

Video monitoring of Sparidae temporal rhythms: three-year study by OBSEA cabled observatory

The abundance and composition of fish assemblages varies at different temporal scales as a product of diel and annual rhythms. In this study, we used a video-wired observatory (OBSEA, www.obsea.es) to monitor annual rhythms in a coastal fish assemblage with a 3-year data set (2012-2014). The photographs were acquired at 30 min frequency. Five species of the family Sparidae were studied (i.e. Dentex dentex, Diplodus sargus, Diplodus vulgaris, Diplodus annularis and Diplodus puntazzo) together with water temperature and daylength. The results of the annual rhythmicity analysis indicated that most of the peaks of abundance occured in the autumn months. Results suggest differentially temporal use of the reproductive or trophic niche.Peer ReviewedPostprint (published version

Acceptability with general orderings

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but we apply these orderings directly to the logic program and not to the term-rewrite system obtained through some transformation. We define some variants of acceptability, based on general orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants. The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple orderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together. {\bf Keywords:} termination analysis, acceptability, orderings.Comment: To appear in "Computational Logic: From Logic Programming into the Future

Automated Image Analysis for the Detection of Benthic Crustaceans and Bacterial Mat Coverage Using the VENUS Undersea Cabled Network

The development and deployment of sensors for undersea cabled observatories is presently biased toward the measurement of habitat variables, while sensor technologies for biological community characterization through species identification and individual counting are less common. The VENUS cabled multisensory network (Vancouver Island, Canada) deploys seafloor camera systems at several sites. Our objective in this study was to implement new automated image analysis protocols for the recognition and counting of benthic decapods (i.e., the galatheid squat lobster, Munida quadrispina), as well as for the evaluation of changes in bacterial mat coverage (i.e., Beggiatoa spp.), using a camera deployed in Saanich Inlet (103 m depth). For the counting of Munida we remotely acquired 100 digital photos at hourly intervals from 2 to 6 December 2009. In the case of bacterial mat coverage estimation, images were taken from 2 to 8 December 2009 at the same time frequency. The automated image analysis protocols for both study cases were created in MatLab 7.1. Automation for Munida counting incorporated the combination of both filtering and background correction (Median- and Top-Hat Filters) with Euclidean Distances (ED) on Red-Green-Blue (RGB) channels. The Scale-Invariant Feature Transform (SIFT) features and Fourier Descriptors (FD) of tracked objects were then extracted. Animal classifications were carried out with the tools of morphometric multivariate statistic (i.e., Partial Least Square Discriminant Analysis; PLSDA) on Mean RGB (RGBv) value for each object and Fourier Descriptors (RGBv+FD) matrices plus SIFT and ED. The SIFT approach returned the better results. Higher percentages of images were correctly classified and lower misclassification errors (an animal is present but not detected) occurred. In contrast, RGBv+FD and ED resulted in a high incidence of records being generated for non-present animals. Bacterial mat coverage was estimated in terms of Percent Coverage and Fractal Dimension. A constant Region of Interest (ROI) was defined and background extraction by a Gaussian Blurring Filter was performed. Image subtraction within ROI was followed by the sum of the RGB channels matrices. Percent Coverage was calculated on the resulting image. Fractal Dimension was estimated using the box-counting method. The images were then resized to a dimension in pixels equal to a power of 2, allowing subdivision into sub-multiple quadrants. In comparisons of manual and automated Percent Coverage and Fractal Dimension estimates, the former showed an overestimation tendency for both parameters. The primary limitations on the automatic analysis of benthic images were habitat variations in sediment texture and water column turbidity. The application of filters for background corrections is a required preliminary step for the efficient recognition of animals and bacterial mat patches

Integrity of H1 helix in prion protein revealed by molecular dynamic simulations to be especially vulnerable to changes in the relative orientation of H1 and its S1 flank

In the template-assistance model, normal prion protein (PrPC), the pathogenic cause of prion diseases such as Creutzfeldt-Jakob (CJD) in human, Bovine Spongiform Encephalopathy (BSE) in cow, and scrapie in sheep, converts to infectious prion (PrPSc) through an autocatalytic process triggered by a transient interaction between PrPC and PrPSc. Conventional studies suggest the S1-H1-S2 region in PrPC to be the template of S1-S2 $\beta$-sheet in PrPSc, and the conformational conversion of PrPC into PrPSc may involve an unfolding of H1 in PrPC and its refolding into the $\beta$-sheet in PrPSc. Here we conduct a series of simulation experiments to test the idea of transient interaction of the template-assistance model. We find that the integrity of H1 in PrPC is vulnerable to a transient interaction that alters the native dihedral angles at residue Asn$^{143}$, which connects the S1 flank to H1, but not to interactions that alter the internal structure of the S1 flank, nor to those that alter the relative orientation between H1 and the S2 flank.Comment: A major revision on statistical analysis method has been made. The paper now has 23 pages, 11 figures. This work was presented at 2006 APS March meeting session K29.0004 at Baltimore, MD, USA 3/13-17, 2006. This paper has been accepted for pubcliation in European Biophysical Journal on Feb 2, 200

Changes in high-intensity precipitation on the northern Apennines (Italy) as revealed by multidisciplinary data over the last 9000 years

Several record-breaking precipitation events have struck the mountainous area of the Emilia-Romagna region (northern Apennines, Italy) over the last 10 years. As a consequence, severe geomorphological processes such as debris avalanches and debris flows, shallow landslides, and overbank flooding have affected the territory, causing severe damage to human-made structures. The unusual intensity of these phenomena prompted an investigation into their frequency in the past, beyond instrumental time. In the quest for an understanding of whether these phenomena are unprecedented in the region, peat bog and lake deposits were analyzed to infer the frequency of extreme precipitation events that may have occurred in the past. We present the results of a dedicated field campaign performed in summer 2017 at Lake Moo in the northern Apennines, a 0.15 km2peat bog located at an altitude of 1130ma.s.l. During the extreme precipitation event of 13-14 September 2015, several debris flows generated by small streams affected the Lake Moo plain. In such a small drainage basin (<2 km2), high-density floods can be triggered only by high-intensity precipitation events. The sedimentary succession (ca. 13m thick) was studied through the drilling of two cores and one trench. The sequence, characterized by clusters of coarse-grained alluvial deposits interbedded with organic-rich silty clays and peat layers, was analyzed by combining sedimentological, pollen, microanthracological and pedological data with radiocarbon dating (AMS 14C) in an innovative multidisciplinary approach for this area. Original data acquired during the field campaign were also correlated with other specific paleoclimatic proxies available in the literature for the northern Apennines area. We discover that the increase in extreme paleoflooding, associated with coarse-grained deposits similar to the ones observed recently, correlates well with the warm phases of the Holocene Thermal Maximum and with the ongoing warming trend observed that started at the beginning of the last century

Repetitive Immunization Enhances the Susceptibility of Mice to Peripherally Administered Prions

The susceptibility of humans and animals to prion infections is determined by the virulence of the infectious agent, by genetic modifiers, and by hitherto unknown host and environmental risk factors. While little is known about the latter two, the activation state of the immune system was surmised to influence prion susceptibility. Here we administered prions to mice that were repeatedly immunized by two initial injections of CpG oligodeoxynucleotides followed by repeated injections of bovine serum albumin/alum. Immunization greatly reduced the required dosage of peripherally administered prion inoculum necessary to induce scrapie in 50% of mice. No difference in susceptibility was observed following intracerebral prion challenge. Due to its profound impact onto scrapie susceptibility, the host immune status may determine disease penetrance after low-dose prion exposure, including those that may give rise to iatrogenic and variant Creutzfeldt-Jakob disease

The Comprehensive Native Interactome of a Fully Functional Tagged Prion Protein

The enumeration of the interaction partners of the cellular prion protein, PrPC, may help clarifying its elusive molecular function. Here we added a carboxy proximal myc epitope tag to PrPC. When expressed in transgenic mice, PrPmyc carried a GPI anchor, was targeted to lipid rafts, and was glycosylated similarly to PrPC. PrPmyc antagonized the toxicity of truncated PrP, restored prion infectibility of PrPC-deficient mice, and was physically incorporated into PrPSc aggregates, indicating that it possessed all functional characteristics of genuine PrPC. We then immunopurified myc epitope-containing protein complexes from PrPmyc transgenic mouse brains. Gentle differential elution with epitope-mimetic decapeptides, or a scrambled version thereof, yielded 96 specifically released proteins. Quantitative mass spectrometry with isotope-coded tags identified seven proteins which co-eluted equimolarly with PrPC and may represent component of a multiprotein complex. Selected PrPC interactors were validated using independent methods. Several of these proteins appear to exert functions in axomyelinic maintenance