Results 11 to 20 of about 37,049 (259)
, 2003 In this paper, we show how the problem of verifying liveness properties is related to termination of term rewrite systems (TRSs). We formalize liveness in the framework of rewriting and present a sound and complete transformation to transform particular liveness problems into TRSs.
Jürgen Giesl, Hans Zantema
openaire +4 more sources
Triangulation in Rewriting. [PDF]
, 2012 23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Vincent van Oostrom, Hans Zantema
openaire +5 more sources
An Improved Recursive Decomposition Ordering for Higher-Order Rewrite Systems [PDF]
, 1998 Simplification orderings, like the recursive path ordering and the improved recursive decomposition ordering, are widely used for proving the termination property of term rewriting systems.
IWAMI, Munehiro +2 more
core
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source
Rewrite WG Names to PY Names Automatically [in Chinese] [PDF]
, 2016 It needs to translate the present Chinese personal names, place names and other proper names into other languages in Pinyin style, and also, to rewrite names translated in other styles in the past to Pinyin in order to temporize the national language ...
Zhang, Xiaojun
core
, 2002 We propose a new class of rewrite systems that are conservative extensions of first-order conditional term rewrite systems together with time features such as clocks, signals, timed terms, timed atoms and timed rules.
Blanc, Jérémie, Echahed, Rachid
core +1 more source
Advanced Functional Materials, EarlyView.This paper presents a digital microfluidics‐based technique for transferring and reconfiguring soft nanomembranes. Laser‐machined nanothin membranes are picked up, transported, and aligned via tailored surface tension and the actuation of water droplets, enabling the development of flexible electronics, the integration of functional materials on 3D ...
Quang Anh Nguyen +15 more
wiley +1 more source
, 2011 “Rewrite” is a photographic project that utilizes the domesstic space as a stage for emotional projection of a traumatic memory. The work considers the relationship that exists between an individual and the rooms and objects within a home space in an ...
Lawyer, Jamie
core +1 more source
COFs on MOFs: Layer‐by‐Layer Synthesis of MOF@COF Nanoparticles with Synergistic Adsorption
Advanced Materials, EarlyView.A layer‐by‐layer strategy enables the growth of crystalline covalent organic framework (COF) shells on metal–organic framework nanoparticles, creating core–shell structures with tunable porosity. Ordered interstitial mesopores are formed during shell growth, which are connected with the COF's intrinsic micropores, thereby enhancing water sorption. This
Ana Guillem‐Navajas +11 more
wiley +1 more source
Computing with rewrite systems
, 1985 Term-rewriting systems, that is, sets of directed equations, provide a paradigm of computation with particularly simple syntax and semantics. Rewrite systems may be used for straightforward computation by simplifying terms.
Dershowitz, Nachum
core +1 more source