Compositional bisimulation metric reasoning with Probabilistic Process Calculi

We study which standard operators of probabilistic process calculi allow for compositional reasoning with respect to bisimulation metric semantics. We argue that uniform continuity (generalizing the earlier proposed property of non-expansiveness) captures the essential nature of compositional reasoning and allows now also to reason compositionally about recursive processes. We characterize the distance between probabilistic processes composed by standard process algebra operators. Combining these results, we demonstrate how compositional reasoning about systems specified by continuous process algebra operators allows for metric assume-guarantee like performance validation

DCT Implementation on GPU

There has been a great progress in the field of graphics processors. Since, there is no rise in the speed of the normal CPU processors; Designers are coming up with multi-core, parallel processors. Because of their popularity in parallel processing, GPUs are becoming more and more attractive for many applications. With the increasing demand in utilizing GPUs, there is a great need to develop operating systems that handle the GPU to full capacity. GPUs offer a very efficient environment for many image processing applications. This thesis explores the processing power of GPUs for digital image compression using Discrete cosine transform

Primordial RNA Replication and Applications in PCR Technology

The emergence of self-replication and information transmission in life's origin remains unexplained despite extensive research on the topic. A hypothesis explaining the transition from a simple organic world to a complex RNA world is offered here based on physical factors in hydrothermal vent systems. An interdisciplinary approach is taken using techniques from thermodynamics, fluid dynamics, oceanography, statistical mechanics, and stochastic processes to examine nucleic acid dynamics and kinetics in a hydrothermal vent from first principles. Analyses are carried out using both analytic and computational methods and confirm the plausibility of a reaction involving the PCR-like assembly of ribonucleotides. The proposal is put into perspective with established theories on the origin of life and more generally the onset of order and information transmission in prebiotic systems. A biomimicry application of this hypothetical process to PCR technology is suggested and its viability is evaluated in a rigorous logical analysis. Optimal temperature curves begin to be established using Monte Carlo simulation, variational calculus, and Fourier analysis. The converse argument is also made but qualitatively, asserting that the success of such a modification to PCR would in turn reconfirm the biological theory.Comment: 20 pages, 7 figure

Fractals in the Nervous System: conceptual Implications for Theoretical Neuroscience

This essay is presented with two principal objectives in mind: first, to document the prevalence of fractals at all levels of the nervous system, giving credence to the notion of their functional relevance; and second, to draw attention to the as yet still unresolved issues of the detailed relationships among power law scaling, self-similarity, and self-organized criticality. As regards criticality, I will document that it has become a pivotal reference point in Neurodynamics. Furthermore, I will emphasize the not yet fully appreciated significance of allometric control processes. For dynamic fractals, I will assemble reasons for attributing to them the capacity to adapt task execution to contextual changes across a range of scales. The final Section consists of general reflections on the implications of the reviewed data, and identifies what appear to be issues of fundamental importance for future research in the rapidly evolving topic of this review