Processing and Transmission of Information

Contains reports on three research projects.Lincoln Laboratory (Purchase Order DDL-B187)United States Department of the ArmyUnited States Department of the NavyUnited States Department of the Air Force (Contract AF19(122)-458

Directed figure codes are decidable

Automata, Logic and Semantic

Embedding a θ\theta-invariant code into a complete one

Let A be a finite or countable alphabet and let $\theta$ be a literal (anti-)automorphism onto A * (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under $\theta$ ($\theta$-invariant for short) that is, languages L such that $\theta$ (L) is a subset of L.We establish an extension of the famous defect theorem. With regards to the so-called notion of completeness, we provide a series of examples of finite complete $\theta$-invariant codes. Moreover, we establish a formula which allows to embed any non-complete $\theta$-invariant code into a complete one. As a consequence, in the family of the so-called thin $\theta$--invariant codes, maximality and completeness are two equivalent notions.Comment: arXiv admin note: text overlap with arXiv:1705.0556

Discrete noiseless coding

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1957.Includes bibliographical references (leaves 68-69).by Richard S. Marcus.M.S

Presentations for subsemigroups of groups

This thesis studies subsemigroups of groups from three perspectives: automatic structures, ordinary semigroup presentations, and Malcev presentaions. [A Malcev presentation is a presentation of a special type for a semigroup that can be embedded into a group. A group-embeddable semigroup is Malcev coherent if all of its finitely generated subsemigroups admit finite Malcev presentations.] The theory of synchronous and asynchronous automatic structures for semigroups is expounded, particularly for group-embeddable semigroups. In particular, automatic semigroups embeddable into groups are shown to inherit many of the pleasant geometric properties of automatic groups. It is proved that group- embeddable automatic semigroups admit finite Malcev presentations, and such presentations can be found effectively. An algorithm is exhibited to test whether an automatic semigroup is a free semigroup. Cancellativity of automatic semigroups is proved to be undecidable. Study is made of several classes of groups: virtually free groups; groups that satisfy semigroup laws (in particular [virtually] nilpotent and [virtually] abelian groups); polycyclic groups; free and direct products of certain groups; and one-relator groups. For each of these classes, the question of Malcev coherence is considered, together with the problems of whether finitely generated subsemigroups are finitely presented or automatic. This study yields closure and containment results regarding the class of Malcev coherent groups. The property of having a finite Malcev presentation is shown to be preserved under finite Rees index extensions and subsemigroups. Other concepts of index are also studied

Micro and Macro-Evolutionary Studies in Non-Model Species: a Transcriptomic Perspective in Teleosts

246 p.Los recursos genómicos y las herramientas bioinformáticas son muy escasas en especies no modelo. ElRNA-Seq puede ser una herramienta efectiva para generar tales recursos genómicos con el objetivo derevelar la variación genética y funciones necesarias en estudios micro- y macro-evolutivos.La primera sección de esta Tesis aborda la presencia o ausencia de los filogrupos Este y Oeste de dospoblaciones cultivadas de Tinca tinca en Europa Central. Nuestro estudio respalda la hipótesis de que losindividuos analizados resultan ser un mosaico genómico de ambos filogrupos, y que las diferencias entrelas dos razas se deben a la composición inicial de los filogrupos en el momento de su fundación.La segunda sección de esta Tesis describe EXFI, un método que utiliza algoritmos de última generaciónpara dividir tránscritos en exones.La tercera sección muestra un método de muestreo optimizado para la caracterización de tránscritos.Apliqué la estrategia multi-tejido para obtener muestras, secuenciar y ensamblar el transcriptoma másexhaustivo de la sardina europea.En la última sección, estudié las relaciones evolutivas dentro de los Clupeiformes. Recopilé un granconjunto de transcriptomas de doce especies, construí su árbol filogenético, y descubrí grupos de genesbajo selección positiva. La principal conclusión es que la evolución ha moldeado la maquinaria molecularde los Clupeiformes hacia un almacenamiento y transporte de lípidos mejorado