QuASeR -- Quantum Accelerated De Novo DNA Sequence Reconstruction

In this article, we present QuASeR, a reference-free DNA sequence reconstruction implementation via de novo assembly on both gate-based and quantum annealing platforms. Each one of the four steps of the implementation (TSP, QUBO, Hamiltonians and QAOA) is explained with simple proof-of-concept examples to target both the genomics research community and quantum application developers in a self-contained manner. The details of the implementation are discussed for the various layers of the quantum full-stack accelerator design. We also highlight the limitations of current classical simulation and available quantum hardware systems. The implementation is open-source and can be found on https://github.com/prince-ph0en1x/QuASeR.Comment: 24 page

Activitat cerebral i cognició: una connexió entre la termodinàmica i la teoria de la informació

El cervell pot ser conceptuat com un sistema termodinàmic i com un processador de la informació; conseqüentment, l'activitat cerebral pot ser modelada en termes termodinàmics i l'activitat cognitiva mitjançant la teoria de la informació. L'objectiu ha estat plantejar una estructura formal que permeti el lligam entre ambdós sistemes (activitat neuronal i cognicions) a partir de les connexions teòriques entre la termodinàmica i la teoria de la informació, disciplines on el concepte d'entropia és clau. El marc teòric proposat obriria les portes a una millor comprensió de la connexió entre mesures termodinàmiques de l'activitat neuronal amb l'activitat cognitiva i la seva corresponent càrrega informativa.The brain can be conceptualized as a thermodynamic system and as an information processor. Consequently, brain activity can be modelled in terms of thermodynamics and cognitive activity in information theoretic terms. The authors proposed a new formal structure that allows to link between both systems (neural and cognitive) from the theoretical connections between thermodynamics and information theory. This leverages the concept of entropy which is key in both disciplines. The theoretical framework proposed would open the doors to a better understanding of the connection between thermodynamic measurements of neural activity and cognitive informational load.El cerebro puede ser conceptuado como un sistema termodinámico y como un procesador de la información; consecuentemente, la actividad cerebral puede ser modelada en términos termodinámicos y la actividad cognitiva mediante la teoría de la información. El objetivo ha sido plantear una estructura formal que permita el vínculo entre ambos sistemas (actividad neuronal y cogniciones) a partir de las conexiones teóricas entre la termodinámica y la teoría de la información, disciplinas donde el concepto de entropía es clave. El marco teórico propuesto abriría las puertas a una mejor comprensión de la conexión entre las medidas termodinámicas de la actividad cerebral con la actividad cognitiva y su correspondiente carga informativa

Automating defects simulation and fault modeling for SRAMs

The continues improvement in manufacturing process density for very deep sub micron technologies constantly leads to new classes of defects in memory devices. Exploring the effect of fabrication defects in future technologies, and identifying new classes of realistic functional fault models with their corresponding test sequences, is a time consuming task up to now mainly performed by hand. This paper proposes a new approach to automate this procedure. The proposed method exploits the capabilities of evolutionary algorithms to automatically identify faulty behaviors into defective memories and to define the corresponding fault models and relevant test sequences. Target defects are modeled at the electrical level in order to optimize the results to the specific technology and memory architecture

A geometric view of cryptographic equation solving

This paper considers the geometric properties of the Relinearisation algorithm and of the XL algorithm used in cryptology for equation solving. We give a formal description of each algorithm in terms of projective geometry, making particular use of the Veronese variety. We establish the fundamental geometrical connection between the two algorithms and show how both algorithms can be viewed as being equivalent to the problem of finding a matrix of low rank in the linear span of a collection of matrices, a problem sometimes known as the MinRank problem. Furthermore, we generalise the XL algorithm to a geometrically invariant algorithm, which we term the GeometricXL algorithm. The GeometricXL algorithm is a technique which can solve certain equation systems that are not easily soluble by the XL algorithm or by Groebner basis methods

Sejarah kota Samarinda

Pengertian "sejarah kota" dalam hal ini ialah sejarah pertumbuhan dan perkembangan kota-kota besar di Indonesia ditinjau dari segi politik, ekonomi dan sosial-budaya pada periode tertentu (1950 - 1979). Dengan tersusunnya "sejarah kota" tiap-tiap daerah di wilayah Indonesia, diharapkan masyarakat luas akan memperoleh bahan-bahan informasi mengenai pertumbuhan dan perkembangan suatu kota. Adanya informasi yang disajikan kepada masyarakat dalam bentuk tulisan sejarah akan membuka kemungkinan tercapainya suasana dinamis serta dapat memancing partisipasi masyarakat dalam usaha-usaha pembangunan

Sejarah perlawanan terhadap imperialisme dan kolonialisme di Kalimantan Timur

Buku ini berisi tentang sejarah perlawanan terhadap imperialisme dan kolonialisme di Kalimantan Timur. Walaupun sejak tahun 1817 antara Sultan Banjarmasin dan Belanda telah ada perjanjian yang antara lain menyebutkan bahwa wilayah Pasir, Kutai, Berau diserahkan pada Belanda, perjanjian itu hanyalah merupakan tanda formal bahwa pemerintah Hindia Belanda berkuasa atas wilayah Kalimantan Selatan, sampai ke Kalimantan Timur

Ideal de belleza femenino en los medios de comunicación y alteraciones de la conducta alimentaria. Influencia y posibles soluciones

La investigación ha mostrado que la exposición constante a mensajes e imágenes relacionadas con el ideal de belleza femenino, el control del peso y la figura corporal transmitidos por los medios de comunicación, es un factor de riesgo bien establecido para el desarrollo de insatisfacción corporal, las preocupaciones por el peso, el inicio de conductas no saludables de control del peso y los trastornos de la conducta alimentaria en mujeres. En esta comunicación se presentarán los resultados de una revisión en la que se revisan los principales datos que avalan el papel de los medios de comunicación como factor de riesgo del desarrollo de alteraciones alimentarias en mujeres, así como los procesos implicados en esta influencia. Se presentará el enfoque preventivo de estos problemas basado en la alfabetización en medios de comunicación, así como las principales iniciativas nacionales e internacionales en el ámbito de la salud pública desarrolladas recientemente para reducir el impacto de estas influencias mediáticas

Trumfos ferms

2 còpiesConte publicat a De teves a meves (p. 157)Mecanoscrit en el mateix full de: Ars poètic

BrainFrame: A node-level heterogeneous accelerator platform for neuron simulations

Objective: The advent of High-Performance Computing (HPC) in recent years has led to its increasing use in brain study through computational models. The scale and complexity of such models are constantly increasing, leading to challenging computational requirements. Even though modern HPC platforms can often deal with such challenges, the vast diversity of the modeling field does not permit for a single acceleration (or homogeneous) platform to effectively address the complete array of modeling requirements. Approach: In this paper we propose and build BrainFrame, a heterogeneous acceleration platform, incorporating three distinct acceleration technologies, a Dataflow Engine, a Xeon Phi and a GP-GPU. The PyNN framework is also integrated into the platform. As a challenging proof of concept, we analyze the performance of BrainFrame on different instances of a state-of-the-art neuron model, modeling the Inferior- Olivary Nucleus using a biophysically-meaningful, extended Hodgkin-Huxley representation. The model instances take into account not only the neuronal- network dimensions but also different network-connectivity circumstances that can drastically change application workload characteristics. Main results: The synthetic approach of three HPC technologies demonstrated that BrainFrame is better able to cope with the modeling diversity encountered. Our performance analysis shows clearly that the model directly affect performance and all three technologies are required to cope with all the model use cases.Comment: 16 pages, 18 figures, 5 table