Results 1 to 10 of about 23,943 (237)
When Patients Rewrite the Textbooks [PDF]
Journal of Orthopaedic Case ReportsJeff Walter RajaduraiOR, Ashok Shyam
doaj +2 more sources
Fééries, 2023 Our comparative study focuses on the confrontation of the Grimm Brother’s prose version and Anne Sexton’s poetic rewriting which both respects the classic outline of this tale.
Bochra Charnay, Thierry Charnay
doaj +1 more source
Neutral Rewrite Mutation Operator for Genetic Programming applied to Boolean Domain Problems
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 The effect of semantically neutral tree rewrites is analyzed in the context of genetic programming applied to Boolean domain problems. Different setups of the proposed Neutral Rewrite Operator are studied from the perspective of improving performance.
Dmytro Vitel +2 more
doaj +1 more source
Theory and Practice of Second Language Acquisition, 2021 The present mixed-method study examined the foci and effects of peer and machine feedback on the revisions of Chinese university EFL learners’ English argumentative essays.
Meihua Liu
doaj +1 more source
Sociologica, 2022 Revision is essential to social science. I argue that revision serves multiple purposes, each essential in a different way. I discuss five critical junctures over the course of my career during which each of the purposes became clear.
Mario L. Small
doaj +1 more source
Complexity Analysis of Precedence Terminating Infinite Graph Rewrite Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The general form of safe recursion (or ramified recurrence) can be expressed by an infinite graph rewrite system including unfolding graph rewrite rules introduced by Dal Lago, Martini and Zorzi, in which the size of every normal form by innermost ...
Naohi Eguchi
doaj +1 more source
Making the stabilizer ZX-calculus complete for scalars [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The ZX-calculus is a graphical language for quantum processes with built-in rewrite rules. The rewrite rules allow equalities to be derived entirely graphically, leading to the question of completeness: can any equality that is derivable using matrices ...
Miriam Backens
doaj +1 more source
A partial evaluation methodology for optimizing rewrite theories incrementally
MethodsX, 2022 Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as nondeterministic systems by means of the
María Alpuente +4 more
doaj +1 more source
Pattern graph rewrite systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger introduced string graphs, which are a combinatoric representations of string
Aleks Kissinger +2 more
doaj +1 more source
Decreasing Diagrams for Confluence and Commutation [PDF]
Logical Methods in Computer Science, 2020 Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence.
Jörg Endrullis +2 more
doaj +1 more source