The CPS transformation dates back to the early 1970’s, where it arose as a technique to represent the control flow of programs in λ-calculus based programming languages as λ-terms in the full (free β) λ-calculus. Toward the end of that decade and afterward, compiler writers found that terms in continuation passing style represented a good intermediate language between their corresponding direct...

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In particular, the language-containment problem, to which many verification problems are reduced, involves complementation. For automata on finite words, which correspond to safety properties, complementation involves determinization. The 2 blow-up that is caused by the subset constr...

the last chapter in the saga of rustam and his family, the fall of the house of sistanian heroes, and ravage of this territory by bahman, son of isfandiar, is an episode, which relates the mythic and heroic parts of iranian national saga to its historical part. this article has addressed the issue of origin, date and place of versification of bahmannameh, one of its variations which is the long...

Abstract Purpose As documented by multiple studies, the construction of artificial reservoirs influences fluvial processes. The hydrographic barrier causes a water regime change, and effects are evident in accumulation sediment reservoir as well intensification erosion process below dam due to lack sediments for transport river. Moreover, use lateral canals on additional transformations river s...

In this paper, we describe several genetic algorithm methods to deal with the spray parameter optimization problem, and compare them with the original heuristic method SAGA.

The epigenetic modulatory SAGA complex is involved in various developmental and stress responsive pathways in plants. Alternative transcripts of the SAGA complex's enzymatic subunit GCN5 have been identified in Brachypodium distachyon. These splice variants differ based on the presence and integrity of their conserved domain sequences: the histone acetyltransferase domain, responsible for catal...

Sus1 is a central component of the yeast gene gating machinery, the process by which actively transcribing genes such as GAL1 become associated with nuclear pore complexes. Sus1 is a component of both the SAGA transcriptional co-activator complex and the TREX-2 complex that binds to nuclear pore complexes. TREX-2 contains two Sus1 chains that have an articulated helical hairpin fold, enabling t...

CD52 is composed of a 12 amino acid peptide with N-linked glycans bound to the single potential glycosylation site at position 3, and a glycosylphosphatidylinositol-anchor attached at the C-terminus. Some glycoforms of this molecule expressed in the male reproductive tract are recognized by complement-dependent sperm-immobilizing antibodies in infertile patients making this antigen an important...

We present SAGA-ML, an active learning system for blackbox software testing. In our approach, labelled examples are obtained by sampling from the space of initial system states and user actions, and then running the blackbox to obtain the labels. This training set is then used to learn a model of the system’s behaviour. Once a model has been learned, it is used to determine where further sampli...