165 research outputs found
Replication Data for: LAWS IN CONFLICT: Legacies of War, Gender, and Legal Pluralism in Chechnya
No full textHow do legacies of conflict affect choices between state and nonstate legal institutions? This article studies this question in Chechnya, where state law coexists with Sharia and customary law. The author focuses on the effect of conflict-induced disruption of gender hierarchies, because nonstate legal orders are explicitly discriminatory against women. The author finds that women in Chechnya are more likely to rely on state law than men and that this gender gap in legal preferences and behavior is especially large in more-victimized communities. The author infers from this that the conflict created the conditions for women in Chechnya to pursue their interests through state law—albeit not without resistance. Women’s legal mobilization has generated a backlash from the Chechen government, which has attempted to reinstate a patriarchal order. The article concludes that such conflict may induce legal mobilization among the weak and that gender might become a central cleavage during state-building processes in postconflict environments
Replication Data for: LAWS IN CONFLICT: Legacies of War, Gender, and Legal Pluralism in Chechnya
No full textHow do legacies of conflict affect choices between state and nonstate legal institutions? This article studies this question in Chechnya, where state law coexists with Sharia and customary law. The author focuses on the effect of conflict-induced disruption of gender hierarchies, because nonstate legal orders are explicitly discriminatory against women. The author finds that women in Chechnya are more likely to rely on state law than men and that this gender gap in legal preferences and behavior is especially large in more-victimized communities. The author infers from this that the conflict created the conditions for women in Chechnya to pursue their interests through state law—albeit not without resistance. Women’s legal mobilization has generated a backlash from the Chechen government, which has attempted to reinstate a patriarchal order. The article concludes that such conflict may induce legal mobilization among the weak and that gender might become a central cleavage during state-building processes in postconflict environments
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 textElectron emission from H-terminated diamond enhanced by polypyrrole grafting
No full textElectron emission plays an important role in diverse applications, from cold cathodes to chemical processes (solvated electrons, water purification), energy generation (thermionic or dye-sensitized solar cells), and even cancer treatment. Here we show that by surface treatment using electrochemically grown polypyrrole the secondary-electron emission and photoelectron emission from boron-doped diamond is enhanced even above the intensity of electron emission from the hydrogen-terminated surface with negative electron affinity. This enhancement is stable in air for at least one month and it persists also in vacuum after thermal annealing. Scanning electron microscopy, Kelvin probe force microscopy, total photoelectron yield spectroscopy as well as surface mapping by Auger and secondary ion mass spectroscopies are used to characterize and correlate the surface electronic and chemical properties. A model of the electron emission enhancement is provided. (C) 2020 Elsevier Ltd. All rights reserved.Theworkhasbeensupportedby the projects CAAS(CZ.02.1.01/0.0/0.0/16_019/0000778), CEITEC Nanothorn (CZ.02.1.01/0.0/0.0/16_013/0001728) and Solid21 (CZ.02.1.01/0.0/0.0/16_019/0000760). We acknowledge also CzechNanoLab Research Infrastructure supported by MEYS CR (LM2018110). Kind support from JSPS is gratefully appreciated (BR, DT).Ukraintsev, E (corresponding author), Czech Tech Univ, Fac Elect Engn, Tech 2, Prague 6 16627, Czech Republic.
[email protected]
- …
