AD Belegundu… - 2011 - books.google.com OPTIMIZATION CONCEPTS AND APPLICATIONS IN ENGINEERING Second Edition It is vitally important to meet or exceed previous quality and reliability standards while at the same time reducing resource consumption. This textbook addresses this critical imperative ... Cited by 353 - Related articles - All 5 versions
…, D Muna, H Murayama, AD Myers… - The Astronomical …, 2011 - iopscience.iop.org DANIEL J. EISENSTEIN1,2, DAVID H. WEINBERG3,4, ERIC AGOL5, HIROAkI AIHARA6, CARLOS ALLENDE PRIETO7,8, SCOTT F. ANDERSON5, JAMES A. ARNS9, ´ERIC AUBOURG10,11, STEPHEN BAILEY12, EDUARDO BALBINOT13,14, ROBERT BARkHOUSER15, ...
AD Clouston, JR Jonsson… - … for Study of Liver …, 2011 - espace.library.uq.edu.au Clouston, AD, Jonsson, JR, Shorthouse, C., Mori, T., Prins, J., Macdonald, G. and Powell, EE (2000). Weight reduction in patients with chronic hepatitis improves liver histology and biochemistry. In: , Hepatology: Abstracts of the American Association for Study of Liver ... Cited by 4 - Related articles - Cached - All 4 versions
[PDF] from psu.edu…, K Bhargavan, C Fournet, AD Gordon… - ACM Transactions on …, 2011 - portal.acm.org 1. INTRODUCTION The goal of this work is to verify the security of implementation code by typing. Here we are concerned particularly with authentication and authorization properties. We develop an extended typechecker for code written in F# (a variant of ML) [Syme et al. ... Cited by 93 - Related articles - All 29 versions