Mathematical Structures in Computer Science / Volume 21 / Issue 05 / October 2011, pp 943 996 DOI: 10.1017/S0960129511000260, Published online: 19 May 2011 Link to this article: http://journals.cambridge.org/abstract_S0960129511000260 How to cite this article: XIAOJUAN CAI and YUXI FU (2011). The λ-calculus in the π-calculus. Mathematical Structures in Computer Science, 21, pp 943-996 doi:10.10...

4 Raffaella Tonini, Teresa Ferraro, Marisol Sampedro-Castañeda, Anna Cavaccini, Martin 5 Stocker, Christopher D. Richards and Paola Pedarzani* 6 7 Research Department of Neuroscience, Physiology and Pharmacology, University College London, 8 London, UK. 9 Department of Neuroscience and Brain Technologies, Istituto Italiano di Tecnologia, Genova, Italy. 10 11 *To whom correspondence should be ad...

Progressive Pruning (PP) is used in the Monte-Carlo go playing program Indigo. For each candidate move, PP launches random games starting with this move. PP gathers statistics on moves, and it prunes moves statistically inferior to the best one [5]. This papers yields two new pruning techniques: Miai Pruning (MP) and Set Pruning (SP). In MP the second move of the random games is selected at ran...

1 NAKAGAWA, s., and SAITO,T.: ‘An RC OTA hysteresis chaos generator’, IEEE Trans. Circuits Syst. I, 1996, CAS-43, (12), pp. 10 19-1 02 1 2 STORACE, M., PARODI, M., and ROBATTO, D.: ‘A hysteresis-based chaotic circuit: dynamics and applications’, Int. J. Circuit Theory Appl., 1999, 27, (6), pp. 527-542 ELWAKIL, A s . , and KENNEDY, M.P.: ‘Systematic realization of a class of hysteresis chaotic o...

Fowler et al., "Planar Superlattice Structure'', IBM Technical Disclosure Bulletin, vol. 12, No. 12, May 1970, pp. 2237-2237a. . Heiblum, "Ballistic Electrons and Holes Observed m a Semiconductor," Optics News, Oct. 1988, pp. 13-16. Gaylord et al., "Semiconductor Superlattice Electron Wave Interference Filters", Appl. Phys. Lett., 53(21), Nov. 21, 1988, pp. 2047-2049. Thielen, "Design of Multil...

Pemetrexed and platinum (PP) combination chemotherapy is the current standard first-line therapy for treatment of malignant mesothelioma (MM). However, a useful predictive biomarker for PP therapy is yet to be found. Here, we performed targeted exome sequencing to profile somatic mutations and copy number variations in 12 MM patients treated with PP therapy. We identified 187 somatic mutations ...

[1] V. Radeka, 'Fast decimal counting with binary-decimal logic," IEEE Trans. on Nuclear Science, vol. NS-1 1, pp. 296-301, January 1965. [2] H. Stopper, "Ermittlung des Codes und der logischen Schaltung einer Zahlerdekade," Telefunken Ztg., vol. 33, pp. 13-19, March 1960. 13] Z. Tarczy-Hornoch, "Five-binary counting technique makes faster decimal counting units, Electronic Design, vol. 9, pp. ...

Articles in Press Volumes 1141 1148 (2007) Volumes 1131 1140 (2006 2007) Volume 1140, Issues 1-2 pp. 1-238 (26 January 2007) Volume 1139, Issue 2 pp. 157-310 (19 January 2007) Volume 1139, Issue 1 pp. 1-156 (12 January 2007) Volume 1138, Issues 1-2 pp. 1-310 (5 January 2007) Volume 1137, Issue 2 pp. 127-264 (29 December 2006) Volume 1137, Issue 1 pp. 1-126 (22 December 2006) Volume 1136, Issue ...

Articles in Press Volumes 1141 1148 (2007) Volumes 1131 1140 (2006 2007) Volume 1140, Issues 1-2 pp. 1-238 (26 January 2007) Volume 1139, Issue 2 pp. 157-310 (19 January 2007) Volume 1139, Issue 1 pp. 1-156 (12 January 2007) Volume 1138, Issues 1-2 pp. 1-310 (5 January 2007) Volume 1137, Issue 2 pp. 127-264 (29 December 2006) Volume 1137, Issue 1 pp. 1-126 (22 December 2006) Volume 1136, Issue ...