Web Results

Abstract rewriting system

en.wikipedia.org/wiki/Abstract_rewriting_system

In mathematical logic and theoretical computer science, an abstract rewriting system is a ... Consequently, some authors define the reduction relation → as the indexed union of some relations;...

4 The Redex Reference - Racket Documentation

docs.racket-lang.org/redex/The_Redex_Reference.html

Alternatively, use the redex/reduction-semantics and redex/pict libraries, which provide only non-GUI ..... Recognized specially within reduction-relation.

Mindfulness-based stress reduction in relation to quality of ... - NCBI

www.ncbi.nlm.nih.gov/pubmed/14749092

Mindfulness-based stress reduction in relation to quality of life, mood, symptoms of stress and levels of cortisol, dehydroepiandrosterone sulfate (DHEAS) and ...

Mindfulness-based stress reduction in relation to quality of ... - NCBI

www.ncbi.nlm.nih.gov/pubmed/12883107

Mindfulness-based stress reduction in relation to quality of life, mood, symptoms of stress, and immune parameters in breast and prostate cancer outpatients.

Reduction as an A Posteriori Relation - Philsci-Archive

philsci-archive.pitt.edu/12099/

May 19, 2016 ... Reduction between theories in physics is often approached as an a priori relation in the sense that reduction is often taken to depend only on a ...

OXIDATION AND REDUCTION RELATIONS BETWEEN ...

www.jbc.org/content/91/2/569.full.pdf

pound is primarily a process of oxidation and reduction. All ... relation- ships which must always hold true. If the fermentation is anaerobic, oxidation of one ...

Bacterial ability in AsIII oxidation and AsV reduction: Relation to ...

www.sciencedirect.com/science/article/pii/S004565351401474X

The relationship between bacterial ability in arsenic transformation, siderophore production, and P uptake was investigated using six arsenic-resistant bacteria.

A directed relation graph method for mechanism reduction

www.sciencedirect.com/science/article/pii/S0082078404001973

Mar 1, 2005 ... A systematic approach for mechanism reduction was developed and demonstrated. The approach consists of the generation of skeletal ...

Hybrid approaches to attribute reduction based on indiscernibility ...

www.sciencedirect.com/science/article/pii/S0888613X10001088

Finally, hybrid approaches to attribute reduction based on indiscernibility and discernibil- ity relation are proposed with time complexity no more than max(O(jCj  ...

Microbial cyanide production in the rhizosphere in relation to potato ...

www.sciencedirect.com/science/article/pii/003807178790037X

0; uptake by in- Role of cyanide in yield reduction 453 tact roots was measured polarographically with a Yellow Springs Instruments model 53 0; monitor ...

More Info

3. Reduction relations - RISC

www.risc.jku.at

frame of binary relations on arbitrary sets, so-called reduction relations (compare G. ... reduction relation −→ is recursive, i.e. for given x, y ∈ M we can decide ...

Reduction Relations - Formalized Mathematics

fm.mizar.org

The completion of a reduction relation R is a complete reduction rela- tion equivalent to R such that convertible elements have the same normal forms.

Mortality reduction in relation to implantable cardioverter defibrillator ...

www.ncbi.nlm.nih.gov

Aug 18, 2014 ... Mortality reduction in relation to implantable cardioverter defibrillator programming in the Multicenter Automatic Defibrillator Implantation ...