Results 71 to 80 of about 623,637 (299)
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 In the dependency pair framework for proving termination of rewriting systems, polynomial interpretations are used to transform dependency chains into bounded decreasing sequences of integers, and they play an important role for the success of proving ...
Tomohiro Sasano +3 more
doaj +1 more source
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates [PDF]
Mathematical Structures in Computer Science, 2011 Termination is an important property of programs, and is notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting. Over the years, many methods and tools have
F. Blanqui, A. Koprowski
semanticscholar +1 more source
Advanced Functional Materials, EarlyView.A sequence‐encoded supramolecular construct containing two accessible toeholds is developed herein for enabling multiple editing operations. By introducing specific input strands, it is possible to selectively erase or rewrite digital content through parallel or series toehold‐mediated strand displacement (PTMSD or STMSD).
Jakub Ossowski +3 more
wiley +1 more source
Photoswitching Conduction in Framework Materials
Advanced Functional Materials, EarlyView.This mini‐review summarizes recent advances in state‐of‐the‐art proton and electron conduction in framework materials that can be remotely and reversibly switched on and off by light. It discusses the various photoswitching conduction mechanisms and the strategies employed to enhance photoswitched conductivity.
Helmy Pacheco Hernandez +4 more
wiley +1 more source
Argument filterings and usable rules in higher-order rewrite systems [PDF]
, 2010 The static dependency pair method is a method for proving the termination of higher-order rewrite systems a la Nipkow. It combines the dependency pair method introduced for first-order rewrite systems with the notion of strong computability introduced ...
Blanqui, Frédéric +2 more
core +8 more sources
Electroactive Liquid Crystal Elastomers as Soft Actuators
Advanced Functional Materials, EarlyView.Electroactive liquid crystal elastomers (eLCEs) can be actuated via electromechanical, electrochemical, or electrothermal effects. a) Electromechanical effects include Maxwell stress, electrostriction, and the electroclinic effect. b) Electrochemical effects arise from electrode redox reactions.
Yakui Deng, Min‐Hui Li
wiley +1 more source
Typed lambda-terms in categorical attributed graph transformation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 This paper deals with model transformation based on attributed graph rewriting. Our contribution investigates a single pushout approach for applying the rewrite rules.
Bertrand Boisvert +2 more
doaj +1 more source
Advanced Functional Materials, EarlyView.In situ monitoring of bulk photoalignment reveals how molecular weight, azobenzene content, cooling rate, and thickness govern ordering in main‐chain liquid crystalline polymers. Optimized copolymers exceed conventional thickness limits, maintaining stable alignment up to 130 µm with high energy efficiency and reversible optical patterning.
Jaechul Ju +3 more
wiley +1 more source
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters [PDF]
, 2005 A rewrite logic semantic definitional framework for programming languages is introduced, called K, together with partially automated translations of K language definitions into rewriting logic and into C.
Hills, Mark +2 more
core
Robust and Reversible Thermofluorescence in Solvent‐Free Thermoplastic Polyurethane Composites
Advanced Functional Materials, EarlyView.Thermofluorescent polymer composites with high‐contrast optical outputs are prepared by solvent‐free blending of indenoquinacridone dye into a thermoplastic polyurethane matrix. The temperature‐dependent fluorescence originates from aggregation–dissociation of the dye molecules, regulated by competing hydrogen bonds from the polymer matrix.
Guanghua Yu +8 more
wiley +1 more source