Proteomics in the Light of Integral Value Transformations

In this paper, Proteomics have been studied in the light of Integral Value Transformations (IVTs) which was introduced by Sk. S. Hassan et al in 2010. For case study, a Human olfactory receptor OR1D2 protein sequence has been taken and then different IVTs have been used to evolve OR1D2 into some other proteomic like sequences. It has been observed that some of the generated sequences have been mapped to another olfactory receptor in Human or in some other species. Also it has been corroborated through fractal dimension that some of the fundamental protein properties have been nearly intact, even after the mapping. This study will help to comprehend the proteomic evolutionary network with the help of IVTs

A Mathematician Weighs in on the Evolution Debate

There are a variety of reasons underlying the lack of public acceptance for the theory of evolution in the United States. An overlooked cause is related to problems with the mathematics curriculum in the K-12 setting. In this essay, we examine this relationship and propose changes to the mathematics curriculum that could improve mathematical thinking while also providing a basis for understanding theories, like evolution, that are poorly understood

Cognitive adaptation in asexual and sexual wasps living in contrasted environments.

Differences in learning and memory dynamics between populations are suspected to result from differences in ecological constraints such as resource distribution. The two reproductive modes (strains) of the parasitoid wasp Venturia canescens share the same geographical areas but live in contrasting habitats: arrhenotokous wasps live in the wild (generally orchards), whereas thelytokous ones live mostly in stored-products buildings (e.g. granaries). This species thus represents a relevant biological model for understanding the relationship between the ecological constraints faced by a species and its memory and learning ability. We showed that after having laid eggs in presence of both a synthetic odour and natural olfactory cues of their host, arrhenotokous wasps exhibited a change in their behavioural response towards the synthetic odour that was at least as pronounced as in thelytokous ones even though they were faster in their decision-making process. This is consistent with better learning skills in arrhenotokous wasps. The corresponding memory trace persisted in both strains for at least 51 h. We compare and discuss the learning and memory ablities of both strains as a function of their costs and benefits in their preferential habitats

Decidability and Universality in Symbolic Dynamical Systems

Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of universality that applies to arbitrary discrete time symbolic dynamical systems. Universality of a system is defined as undecidability of a model-checking problem. For Turing machines, counter machines and tag systems, our definition coincides with the classical one. It yields, however, a new definition for cellular automata and subshifts. Our definition is robust with respect to initial condition, which is a desirable feature for physical realizability. We derive necessary conditions for undecidability and universality. For instance, a universal system must have a sensitive point and a proper subsystem. We conjecture that universal systems have infinite number of subsystems. We also discuss the thesis according to which computation should occur at the `edge of chaos' and we exhibit a universal chaotic system.Comment: 23 pages; a shorter version is submitted to conference MCU 2004 v2: minor orthographic changes v3: section 5.2 (collatz functions) mathematically improved v4: orthographic corrections, one reference added v5:27 pages. Important modifications. The formalism is strengthened: temporal logic replaced by finite automata. New results. Submitte

Automated Deduction – CADE 28

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions