Throughout this paper the integer l is defined by (1.3). Saad and Schulz [6, Proposition 2] show that when A is nonsingular and m ≥ l, the solution xm of the minimization problem (1.2) solves the linear system (1.1). The GMRES method is often implemented by first computing an orthogonal basis {vj} min{m,l} j=1 of the Krylov subspace Km(A, r0) by Arnoldi’s method; see Saad [7] or Saad and Schult...

We present a logical framework to represent and reason about stochastic optimization problems based on probability answer set programming [Saad and Pontelli, 2006; Saad, 2006; Saad, 2007a]. This is established by allowing probability optimization aggregates, e.g., minimum and maximum in the language of probability answer set programming to allow minimization or maximization of some desired crit...

Saeed Shokri1*, Masoud Hemadi2 and Robert John Aitken3 1Anatomy Department, School of Medicine, Zanjan University of Medical Sciences, Zanjan, 2Fertility and Infertility Research Center, Imam Khomeini Hospital, Faculty of Medicine, Ahvaz Jundishapur University of Medical Sciences, Ahvaz, 3ARC Centre of Excellence in Biotechnology and Development, Discipline of Biological Sciences, University of...

An annotated list of 39 species in 25 genera and seven subfamilies of the pygmy grasshoppers (Orthoptera: Tetrididae) from Thailand is given; from these 18 species are recorded from this country for the first time. Five new species are described: Cotysoides gaponi sp. nov. (subfamily Metrodorinae), Eucriotettix anisyutkini sp. nov., Gavialidium bufocrocodil sp. nov., Scelimena bellula sp. nov. ...

PAPAGEI (Parametric-Algorithmic Patchbay-Accompanist Generating Events by Improvisation) is an automatic accompaniment system based on the algorithmic music composition methods of Clarence Barlow and implemented by Salman Bakht. This paper describes the system design and implementation of PAPAGEI. Next, compositional and performance details are described for two pieces that use the PAPAGEI syst...

Responses of soil-inhabiting mesostigmatid mites to deforestation and disturbance in oak (Quercus brontii) forests southwestern Iran | Ali Bagheri-Kordeshami, Jahangir Khajehali, Farshid Nourbakhsh, Masoud Mortazavi Ardestani Agricultural Journals

I am a systems researcher in the field of computer networking. I propose efficient algorithms (approximation, greedy, distributed, scheduling), define abstractions (hide complexities, are general, expose tradeoffs) and develop systems (fast, distributed, at switches and end-hosts) to solve realworld networking problems. In particular, I am interested in designing and implementing systems for op...