Error Correcting Coding for a Non-symmetric Ternary Channel

Ternary channels can be used to model the behavior of some memory devices, where information is stored in three different levels. In this paper, error correcting coding for a ternary channel where some of the error transitions are not allowed, is considered. The resulting channel is non-symmetric, therefore classical linear codes are not optimal for this channel. We define the maximum-likelihood (ML) decoding rule for ternary codes over this channel and show that it is complex to compute, since it depends on the channel error probability. A simpler alternative decoding rule which depends only on code properties, called \da-decoding, is then proposed. It is shown that \da-decoding and ML decoding are equivalent, i.e., \da-decoding is optimal, under certain conditions. Assuming \da-decoding, we characterize the error correcting capabilities of ternary codes over the non-symmetric ternary channel. We also derive an upper bound and a constructive lower bound on the size of codes, given the code length and the minimum distance. The results arising from the constructive lower bound are then compared, for short sizes, to optimal codes (in terms of code size) found by a clique-based search. It is shown that the proposed construction method gives good codes, and that in some cases the codes are optimal.Comment: Submitted to IEEE Transactions on Information Theory. Part of this work was presented at the Information Theory and Applications Workshop 200

Using Short Synchronous WOM Codes to Make WOM Codes Decodable

In the framework of write-once memory (WOM) codes, it is important to distinguish between codes that can be decoded directly and those that require that the decoder knows the current generation to successfully decode the state of the memory. A widely used approach to construct WOM codes is to design first nondecodable codes that approach the boundaries of the capacity region, and then make them decodable by appending additional cells that store the current generation, at an expense of a rate loss. In this paper, we propose an alternative method to make nondecodable WOM codes decodable by appending cells that also store some additional data. The key idea is to append to the original (nondecodable) code a short synchronous WOM code and write generations of the original code and of the synchronous code simultaneously. We consider both the binary and the nonbinary case. Furthermore, we propose a construction of synchronous WOM codes, which are then used to make nondecodable codes decodable. For short-to-moderate block lengths, the proposed method significantly reduces the rate loss as compared to the standard method.Comment: To appear in IEEE Transactions on Communications. The material in this paper was presented in part at the 2012 IEEE International Symposium on Information Theory, Cambridge, MA, July 201

Automated Polyhedral Abstraction Proving

We propose an automated procedure to prove polyhedral abstractions for Petri nets. Polyhedral abstraction is a new type of state-space equivalence based on the use of linear integer constraints. Our approach relies on an encoding into a set of SMT formulas whose satisfaction implies that the equivalence holds. The difficulty, in this context, arises from the fact that we need to handle infinite-state systems. For completeness, we exploit a connection with a class of Petri nets that have Presburger-definable reachability sets. We have implemented our procedure, and we illustrate its use on several examples

¿Tiene sentido limitar la coautoría científica? No existe inflación de autores en Ciencias Sociales y Educación en España

This paper analyses the evolution of co-authorship in Spain in the Social Sciences for the period from 2000 to 2013. The goal is to explore to what extent limitations on the number of co-authors established by Spanish national evaluation agencies are justified. The analysis of 11,681 papers authored by researchers affiliated to Spanish institutions in 20 subject categories from the social sciences reveals that there is no inflation in the number of authors, team size is similar to that found in foreign papers from similar areas and the number of authors is dependent on international and institutional collaboration. With the exception of the areas of Anthropology and Special Education, the average number of authors by paper is never higher than four. However, the papers receiving more citations are those with a higher number of authors. Overall, our results suggest that there is no justification on limiting the number of co-authors in publications, acknowledging that the criteria employed by Spanish evaluation agencies is to prevent honorary authors. Such limitation endangers institutional and international collaboration, and consequently, can have a potentially damaging impact in research.Este trabajo analiza la evolución de la coautoría en España en Ciencias Sociales para el periodo 2000-2013. El objetivo es explorar hasta qué punto están justificadas las limitaciones en número de autores que establecen las distintas agencias de evaluación españolas. El análisis de 11681 trabajos españoles de investigación en 20 categorías temáticas de las ciencias sociales revela que no hay inflación en el número de autores, que el tamaño de los equipos es homologable al de los trabajos internacionales en las mismas áreas y que el número de firmantes depende de la colaboración institucional y del nivel de internacionalización de los equipos. A excepción de los trabajos en Antropología y en Educación especial, el número de autores no es superior a cuatro. Sin embargo, son los trabajos con mayor número de autores los que obtienen un impacto mayor. El estudio evolutivo muestra una tendencia muy importante al alza en el tamaño de los equipos. En conjunto, estos resultados sugieren que carece de utilidad la limitación administrativa del número de firmantes que, con independencia de su eficacia en combatir la autoría honoraria, puede ir en perjuicio de la colaboración, la internacionalización y el posterior impacto de los trabajos

Stable frequency response to varying stimulus intensity in a model of the rat olfactory bulb

In the rat olfactory bulb (OB), fast oscillations of the local field potential (LFP) are observed during the respiratory cycle. Gamma-range oscillations (60Hz) occurat the end of inspiration, followed by beta-range oscillations (15-20Hz) during exhalation. These oscillations are highly stereotyped, and their frequencies are stable under various conditions. Here we investigate the effect of stimulus intensity on activity in the OB. Using a double canulation protocol, we show that, although the frequency of the LFP oscillation does depend on the respiratory cycle, it is relatively independent from the intensity of odorant stimulation. In contrast, we found that the individual firing rate of mitral OB cells changes greatly with the intensity of the stimulation. Using a computer model of the OB, where fast oscillations are generated by the interplay between excitatory mitral/tufted cells, and inhibitory granule cells, we found that the difference between individual and population responses can be explained by the role of sub-threshold oscillations in the MCs. Sub-threshold oscillations of the MCs stabilize the frequency of the population oscillation, and allow their firing rate to vary without affecting the population frequency

New insights on phylogeography and distribution of painted frogs (Discoglossus) in northern Africa and the Iberian Peninsula

Painted frogs (Discoglossus) contain five to six species of Western Palearctic anurans that are mainly distributed in allopatry. We here provide the first comprehensive assessment of the phylogeography of the Moroccan species D. scovazzi and geographically characterize its contact zone with D. pictus in Eastern Morocco. Discoglossus scovazzi shows, in general, a weak phylogeographic structure across Morocco on the basis of mitochondrial DNA sequences of the cytochrome b gene, with only populations centered in the Atlas Mountains characterized by the presence of slightly divergent haplotypes. In eastern Morocco, all populations east of the Moulouya River were clearly assignable to D. pictus. This species was also found along the Mediterranean coast west of the Moulouya, in the cities of Nador and Melilla, suggesting that not the river itself but the wide arid valley extending along much of the river (except close to the estuary) acts as a possible distributional barrier to these frogs. No sympatry of D. scovazzi with D. pictus was observed, and all specimens were concordantly assigned to either species by DNA sequences of cytochrome b and of the nuclear marker RAG1. Species distribution models of the two taxa show largely overlapping areas of suitable habitat, and the two species’ niches are significantly more similar than would be expected given the underlying environmental differences between the regions in which they occur. Comparative data are also presented from the southern Iberian contact zone of D. galganoi galganoi and D. g. jeanneae. These taxa showed less clear-cut distributional borders, extensively shared RAG1 haplotypes, and had instances of sympatric occurrence on the basis of cytochrome b haplotypes, in agreement with the hypothesis of a yet incomplete speciation. In this wide contact zone area we found mitochondrial sequences containing double peaks in electropherograms, suggesting nuclear pseudogenes or (less likely) heteroplasmy, possibly related to the ongoing admixture among the lineagesPeer reviewe

The role of parasites in the invasion success of the exotic brine shrimp Artemia Franciscana in the Meditarranean region

Trabajo presentado en el Symposium for European Freshwater Science, celebardo en Girona del 27 de junio al 1 de julio de 2011.Biological invasions are main threats to biodiversity at global scale and increasing numbers of studies suggest that parasites may have a role. However, the mechanism through which parasites may influence the outcome of the invasion is poorly understood. Here we provide evidence supporting the role of parasites as potential agents mediating the competitive exclusion of Mediterranean brine shrimps Artemia (A. parthenogenetica and A. salina) by the exotic American A. franciscana, using different native and invasive populations from South Spain and South France. Our results revealed high rates of infection by cestodes in native brine shrimps, sometimes with extreme prevalences of up to 100%. In contrast, A. franciscana populations showed very low diversity, prevalence and burden of cestodes. The effect of parasites in native populations was multiple, ranging from reproduction and survival, to life history traits, microhabitat selection and diet. Infection strongly reduced host fitness by both, reducing fecundity (parasite castration) and indirectly increasing predation by birds final hosts as revealed by prey choice experiments. We found evidence that high rate of parasitism (particularly the castrating parasite Flamingolepis liguloides, the most prevalent cestode in natives but nearly absent in the exotic Artemia), indirectly affected the life-history strategy of non infected individuals, inducing for example earlier maturation. Moreover cestodes influenced spatial (vertical and horizontal) distribution of the host, altering the diet as revealed by isotopic analysis. Contrasting with the strong impact of parasites in native populations, we have never observed any pathology (castration, behavioural alteration, etc) associated with infection in the exotic species. Overall, the results of this study suggest that the large impact of cestode on the native, but not the invading species, is likely to confer a decisive competitive advantage to the invader, contributing to explain the demographic success of A. franciscana in the Mediterranean region.Peer reviewe

Transapical mitral valve implantation for treatment of symptomatic mitral valve disease: a real-world multicentre experience.

AIMS Transcatheter mitral valve implantation (TMVI) is a new treatment option for patients with symptomatic mitral valve (MV) disease. Real-world data have not yet been reported. This study aimed to assess procedural and 30-day outcomes of TMVI in a real-world patient cohort. METHOD AND RESULTS All consecutive patients undergoing implantation of a transapically delivered self-expanding valve at 26 European centres from January 2020 to April 2021 were included in this retrospective observational registry. Among 108 surgical high-risk patients included (43% female, mean age 75 ± 7 years, mean STS-PROM 7.2 ± 5.3%), 25% was treated for an off-label indication (e.g. previous MV intervention or surgery, mitral stenosis, mitral annular calcification). Patients were highly symptomatic (New York Heart Association [NYHA] functional class III/IV in 86%) and mitral regurgitation (MR) was graded 3+/4+ in 95% (38% primary, 37% secondary, and 25% mixed aetiology). Technical success rate was 96%, and MR reduction to ≤1+ was achieved in all patients with successful implantation. There were two procedural deaths and 30-day all-cause mortality was 12%. At early clinical follow-up, MR reduction was sustained and there were significant reductions of pulmonary pressure (systolic pulmonary artery pressure 52 vs. 42 mmHg, p < 0.001), and tricuspid regurgitation severity (p = 0.013). Heart failure symptoms improved significantly (73% in NYHA class I/II, p < 0.001). Procedural success rate according to MVARC criteria was 80% and was not different in patients treated for an off-label indication (74% vs. 81% for off- vs. on-label, p = 0.41). CONCLUSION In a real-world patient population, TMVI has a high technical and procedural success rate with efficient and durable MR reduction and symptomatic improvement