𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Expressing combinatory reduction systems derivations in the rewriting calculus

✍ Scribed by Clara Bertolissi; Horatiu Cirstea; Claude Kirchner

Publisher
Springer
Year
2006
Tongue
English
Weight
755 KB
Volume
19
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The application of matrix differential c
The application of matrix differential calculus for the derivation of simplified expressions in approximate non-linear filtering algorithms
✍ C. Bohn; H. Unbehauen πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 119 KB

It is shown how matrix di!erential calculus can be used to obtain simpli"ed expressions for higher-order terms that appear in standard approximate non-linear "ltering algorithms such as the "rst-order bias-corrected "lter, the truncated second-order "lter, and the modi"ed Gaussian second-order "lter

Some Reductive Transformations in the Fu
Some Reductive Transformations in the Furazano[3,4-d]pyridazine System. β€” Formation of 1,2-Dipyridazinyldiazene Derivatives
✍ Lange, Jerzy ;Karolak-Wojciechowska, Janina ;Tondys, Hanna πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 514 KB

## Abstract Hydrogenation of 4,7‐diarylfurazano[3,4‐__d__]pyridazine 1‐oxides 1 on palladized carbon or platinum oxide yielded 4,5‐diamino‐3,6‐diarylpyridazines 2 and __trans__‐1,2‐bis(5‐amino‐3,6‐diaryl‐pyridazin‐4‐yl)diazene 1‐oxides 3, readily converted by stannous chloride into __trans__‐1,2‐bi

Correlation between reduction of metasta
Correlation between reduction of metastasis in the MDA-MB-435 model system and increased expression of the Kai-1 protein
✍ Karen K. Phillips; Alicia E. White; Deana J. Hicks; Danny R. Welch; J. Carl Barr πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 317 KB πŸ‘ 1 views

Using microcell-mediated transfer of a normal chromosome 11 into the highly metastatic MDA-MB-435 human breast carcinoma cell line, we previously showed that human chromosome 11 contains a metastasissuppressor gene for breast cancer. A known metastasis-suppressor gene, kai-1, and a related family me