Results 11 to 20 of about 333,009 (323)
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper is an extended abstract of an analysis of term rewriting where the terms in the rewrite rules as well as the term to be rewritten are compressed by a singleton tree grammar (STG).
Manfred Schmidt-Schauss
doaj +4 more sources
Modularity of Convergence and Strong Convergence in Infinitary Rewriting [PDF]
Logical Methods in Computer Science, 2010 Properties of Term Rewriting Systems are called modular iff they are preserved under (and reflected by) disjoint union, i.e. when combining two Term Rewriting Systems with disjoint signatures.
Stefan Michael Kahrs
doaj +5 more sources
Cell, 2012 The eukaryotic genome is packaged into a highly ordered chromatin structure, with specific domains regulating the transcription patterns of local genes. Hathaway et al. now present a breakthrough technique in the artificial induction of chromatin marks and use this experimental model to test the properties of an induced heterochromatic domain.
Carone, Benjamin R., Rando, Oliver J.
openaire +2 more sources
Termination of Cycle Rewriting by Transformation and Matrix Interpretation [PDF]
Logical Methods in Computer Science, 2017 We present techniques to prove termination of cycle rewriting, that is, string rewriting on cycles, which are strings in which the start and end are connected.
David Sabel, Hans Zantema
doaj +1 more source
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 A proof tableau of Hoare logic is an annotated program with pre- and post-conditions, which corresponds to an inference tree of Hoare logic. In this paper, we show that a proof tableau for partial correctness can be transformed into an inference sequence
Shinnosuke Mizutani, Naoki Nishida
doaj +1 more source
Rewrite, rewrite, rewrite, rewrite, rewrite...
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, 1989 The theory of term rewriting systems has important applications in abstract data type specifications and functional programming languages. We begin here a study of properties of systems that are not necessarily terminating, but allow for infinite derivations that have a limit.
N. Dershowitz, S. Kaplan
openaire +2 more sources
Rewrite, rewrite, rewrite, rewrite, rewrite, …
Theoretical Computer Science, 1991 We study properties of rewrite systems that are not necessarily terminating, but allow instead for transfinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of infinitary theories.
Dershowitz, Nachum +2 more
openaire +1 more source
RNA-Editing with Combined Insertion and Deletion Preserves Regularity [PDF]
Scientific Annals of Computer Science, 2013 We consider two elementary forms of string rewriting called guided insertion/deletion and guided rewriting. The original strings are modified depending on the match with a given set of auxiliary strings, called guides. Guided insertion/deletion considers
E.P. de Vink, H. Zantema, D. Bošnački
doaj +1 more source
Controlling Rewriting by Rewriting
Electronic Notes in Theoretical Computer Science, 1996 AbstractIn this paper, we investigate the idea of controlling rewriting by strategies and we develop a strategy language whose operational semantics is also based on rewriting. This language is described in ELAN, a language based on computational systems that are simply rewriting theories controlled by strategies.
Borovanský, Peter +2 more
openaire +1 more source
The Effect of Operating Temperature on the Response Time of Optically Driven Liquid Crystal Displays
Crystals, 2020 Optically driven liquid crystal displays (ODLCDs) realizes their display function by tuning the easy axis of liquid crystal (LC) molecules under polarized blue light, which has been utilized in some optical devices due to its advantages of ultra-low ...
Vladimir Chigrinov +4 more
doaj +1 more source