96 research outputs found
Modeling State Transitions with Automata
No full textModels based on various types of automata are ubiquitous in modern science. These models allow reasoning about deep theoretical questions and provide a basis for the development of efficient algorithms to solve related computational problems. This work discusses several types of automata used in such models, including cellular automata and mandatory results automata.
The first part of this work is dedicated to cellular automata. These automata form an important class of discrete dynamical systems widely used to model physical, biological, and chemical processes. Here we discuss a way to study the dynamics of one-dimensional cellular automata through the theory of two-dimensional picture languages. The connection between cellular automata and picture languages stems from the fact that the set of all space-time diagrams of a cellular automaton defines a picture language. We will discuss a hierarchy of cellular automata based on the complexity of the picture languages that they define. In addition to this, we present a characterization of cellular automata that can be described by finite-state transducers.
The second part of this work presents a theory of runtime enforcement based on mech- anism models called Mandatory Results Automata (MRAs). MRAs can monitor and trans- form security-relevant actions and their results. Because previous work could not model general security monitors transforming results, MRAs capture realistic behaviors outside the scope of previous models. MRAs also have a simple but realistic operational seman- tics that makes it straightforward to define concrete MRAs. Moreover, the definitions of policies and enforcement with MRAs are significantly simpler and more expressive than those of previous models. Putting all these features together, we argue that MRAs make good general models of (synchronous) runtime mechanisms, upon which a theory of run- time enforcement can be based. We develop some enforceability theory by characterizing the policies deterministic and nondeterministic MRAs enforce
Transducer dynamics
No full textTransducers are finite state automata with an output. In this thesis, we attempt to classify sequences that can be constructed by iteratively applying a transducer to a given word. We begin exploring this problem by considering sequences of words that can be produced by iterative application of a transducer to a given input word, i.e., identifying sequences of words of the form w, t(w), t²(w), . . . We call such sequences transducer recognizable. Also we introduce the notion of recognition of a sequence in context , which captures the possibility of concatenating prefix and suffix words to each word in the sequence, so a given sequence of words becomes transducer recognizable. It turns out that all finite and periodic sequences of words of equal length are transducer recognizable. We also show how to construct a deterministic transducer with the least number of states recognizing a given sequence. To each transducer t we associate a two-dimensional language L²(t) consisting of blocks of symbols in the following way. The first row, w, of each block is in the input language of t, the second row is a word that t outputs on input w. Inductively, every subsequent row is a word outputted by the transducer when its preceding row is read as an input. We show a relationship of the entropy values of these two-dimensional languages to the entropy values of the one-dimensional languages that appear as input languages for finite state transducers
Repeat catalogs for TRGT
No full textThis dataset contains various repeat catalogs for the Tandem Repeat Genotyping Tool (TRGT):
pathogenic_repeats.hg38.bed contains annotations of 56 known pathogenic repeats.
polymorphic_repeats.hg38.bed contains 171,146 polymorphic repeats. The original version of this catalog was made for short reads and is distributed under CC BY-SA 4.0 license.
adotto_repeats.hg38.bed contains 937,122 repeats originally released by the Genome in a Bottle tandem repeat benchmarking project 10.5281/zenodo.7226352.
adotto_hprc.tdb.tar is a TRGTdb file containing alleles of repeats from the adotto_repeats.hg38.bed catalog across 100 HPRC samples.
Please consider citing TRGT preprint if you are using these data
TRGT-0.4.0 and TRGT-denovo-0.1.0
No full text<p>Supporting material for: A phenome-wide association study of methylated GC-rich repeats identifies a GCC repeat expansion in <em>AFF3</em> as a significant cause of intellectual disability (https://www.medrxiv.org/content/10.1101/2023.05.03.23289461v2)</p>
<p>The source code of TRGT-0.4.0 (https://github.com/PacificBiosciences/trgt) and TRGT-denovo-0.1.0 (https://github.com/PacificBiosciences/trgt-denovo) used for tandem repeat genotyping and <em>de novo</em> calling in PacBio HiFi sequencing data.</p>
Using beta-binomial regression for high-precision differential methylation analysis in multifactor whole-genome bisulfite sequencing experiments
No full textЕкспертна оцінка щодо організації процесу фізичного виховання в навчальних заклади системи загальної середньої освіти
No full textPerehinets, M. Expert Evaluation of the Organization of Physical Education in Educational Institutions Within the General Secondary Education System / M. Perehinets, L. Dolzhenko // Фізичне виховання, спорт і культура здоров’я у сучасному суспільстві : збірник наукових праць Східноєвропейського національного університету імені Лесі Українки. № 1(37). ─ Луцьк : Східноєвропейський НУ імені Лесі Українки, 2017. ─ С. 30–35.The current relevance of the research is due to a decrease and sometimes lack of motivation in students, especially high school age, to exercise so as the time limit for extracurricular forms of organization of physical education. The goal of the study was to determine the opinions of teachers of physical culture, on the organization of physical education in educational institutions of secondary education. The results of the research paper present data obtained from the survey author Physical Education teachers working in various schools of secondary education in Ivano–Frankivsk, on the organization of physical education in school. The research found that 21,2 % of teachers still do not take into account the views of students in choosing the variant modules. Identified guidance to teachers introduced new variant modules of the program of physical education. Described list of diseases that are ill students and other features of the educational process with physical training. The findings obtained in the study provide an opportunity to «look through the eyes of teachers» in the process of physical education in schools of general secondary education, recommendations for improving curriculum. The material can serve as methodical teacher to develop planning documents for schoolboy of all ages. The actual survey allows luggage improve teacher of physical culture in school
Modeling Runtime Enforcement with Mandatory Results . . .
No full textThis paper presents a theory of runtime enforcement based on mechanism models called MRAs (Mandatory Results Automata). MRAs can monitor and transform security-relevant actions and their results. The operational semantics of MRAs is simple and enables straightforward definitions of concrete MRAs. Moreover, the definitions of policies and enforcement with MRAs are simple and expressive. Putting all of these features together, we argue that MRAs make good general models of runtime mechanisms, upon which a theory of runtime enforcement can be based. We develop some enforceability theory by characterizing the policies deterministic and nondeterministic MRAs can and cannot enforce
Siberian Cadet Corps Graduate E.A. Kalachev – an Artist of the Soviet Era
No full textThe article follows the fate of Eugene (Yevgeny) Kalachev, a Siberian Cadet Corps graduate and Cossack regular officer of the Russian Imperial army, a creative person, teacher, professor of pictorial art of the Soviet era. Siberian Cossack E. A. Kalachev graduated the Siberian Cadet Corps (1905) and the Nikolaevsky Cavalry School (1907). Having served three years in the Third Siberian Cossack Regiment in the rank of sotnik, he left military service (1911) and thus drastically changed his life. After leaving Omsk for good, he went to St. Petersburg and enrolled at the Higher Art School of Painting, Sculpture, and Architecture of the Imperial Academy of Arts. He studied in the workshop of Nikolai Semenovich Samokish. His later life was that of an artist and a teacher. In Soviet era, he was a member of the Association of Artists of Revolutionary Russia of the State Academy of Artistic Sciences and participated in the All-Union Agricultural Exhibition. In his later years E. A. Kalachev was teaching at the faculty of arts of the All-Union State Institute of Cinematography. The article is based on published and unpublished sources. Of most interest are biographical documents from the fonds of the Historical Archive of the Omsk Region and correspondence preserved in the family archive of the author. The following three letters are of particular interest to historians: (1) letter from a Russo-Japanese War participant, sub-yesaul Vasily Epifanovich Dolzhenko to cadet E. A. Kalachev (1904); (2) letter from junker of the Nicholaevsky Cavalry School E. A. Kalachev to captain V. E. Dolzhenko (1906); and (3) letter from professor of pictorial art E. A. Kalachev to Maria Evgenievna Dolzhenko, widow of V. E. Dolzhenko (1956). The article may be of interest to art historians, researchers writing biographies of the Russia Cadet Corps graduates, and historians following the life of Russian officers on the eve of the Russian Revolution of 1917.</jats:p
- …
