Results 31 to 40 of about 37,049 (259)
Rewriting Strategies and Strategic Rewrite Programs [PDF]
, 2015 This survey aims at providing unified definitions of strategies, strategic rewriting and strategic programs. It gives examples of main constructs and languages used to write strategies. It also explores some properties of strategic rewriting and operational semantics of strategic programs. Current research topics are identified.
openaire +2 more sources
Advanced Robotics Research, EarlyView.A codesign multiobjective optimization framework was developed to enhance the morphology and controller of a snake‐like robot driven by artificial muscles. It improved planar locomotion, agility, and power efficiency. The approach optimized link geometry and controller gains, revealing that shorter muscles near joints and longer linkages maximize ...
Ayla Valles, Mahdi Haghshenas‐Jaryani
wiley +1 more source
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems [PDF]
, 2009 Higher-order rewrite systems (HRSs) and simply-typed term rewriting systems (STRSs) are computational models of functional programs. We recently proposed an extremely powerful method, the static dependency pair method, which is based on the notion of ...
SAKAI, Masahiko +3 more
core
A Perspective on the Applications of Triphasic Gas Storage in Electrochemical Systems
Advanced Science, EarlyView.Gas storage in microporous materials positioned locally at an electrode or electrocatalyst surface enhances electrochemical processes. Abstract Microporous materials store gases under dry conditions (e.g., hydrogen or oxygen via physisorption), but in some cases microporous materials also show triphasic (e.g., in a solid|gas|liquid system) gas storage ...
Zhongkai Li +9 more
wiley +1 more source
Transforming Cycle Rewriting into String Rewriting.
, 2015 RTA 2015 : 26th International Conference on Rewriting Techniques and Applications, June 29-July 1, 2015, Warsaw ...
David Sabel, Hans Zantema
openaire +5 more sources
Solid Harmonic Wavelet Bispectrum for Image Analysis
Advanced Science, EarlyView.The Solid Harmonic Wavelet Bispectrum (SHWB), a rotation‐ and translation‐invariant descriptor that captures higher‐order (phase) correlations in signals, is introduced. Combining wavelet scattering, bispectral analysis, and group theory, SHWB achieves interpretable, data‐efficient representations and demonstrates competitive performance across texture,
Alex Brown +3 more
wiley +1 more source
Advanced Science, EarlyView.Bone cancer pain and depression share a common origin: astrocytic A2‐to‐A1 transition in the posterior piriform cortex. This phenotypic shift disrupts the ATP–adenosine–A2AR–norepinephrine axis, simultaneously driving nociceptive and affective dysfunction.
Jiang‐Ping Liu +14 more
wiley +1 more source
On Term-Graph Rewrite Strategies
, 2008 We tackle the problem of cyclic term-graph rewriting. We first revisit the classical algorithmic approach to term-graph rewriting by providing a definition of rewrite rules of the form lhs→rhs where the left-hand sides are term-graphs and the right-hand ...
Echahed, Rachid
core +1 more source
Lazy Rewriting and Context-Sensitive Rewriting
Electronic Notes in Theoretical Computer Science, 2002 AbstractLazy rewriting (LR) is intended to improve the termination behavior of TRSs. This is attempted by restricting reductions for selected arguments of functions. Similarly, context-sensitive rewriting (CSR) forbids any reduction on those arguments. We show that LR and CSR coincide under certain conditions.
openaire +1 more source
Journal of the American Chemical Society, 2009 We describe microarraying of carbohydrates for protein screening using either disulfide bridge or Schiff base imine immobilization chemistries on plasmachemical deposited functional nanolayers. The commonly observed issue of nonspecific background binding of proteins is overcome by spotting carbohydrates through a protein-resistant overlayer yielding ...
Harris, L G +4 more
openaire +3 more sources