In order to minimize total execution time of parallel algorithms for coarse-grained parallel computers or networks of workstations, the costs of local computation and communication costs must be balanced. In some cases minimizing the total number of global communication operations may not be the best way to achieve this. There have been several recent papers dealing with parallel algorithms of ...

Accurate studies of the production and decays of beauty and charm hadrons are exploiting a unique laboratory for testing the Standard Model in the fermion sector, for studying QCD in the non-perturbative regime and for searching for New Physics through virtual processes. The first two items are the main subjects of this paper while the latter is discussed in [ 1]. In the Standard Model, weak in...

We discuss tenn rewriting in conjunction with sprfn, a Prolog-based theorem prover. Two techniques for theorem proving that utilize tenn rewriting are presented. We demonstrate their effectiveness by exhibiting the results of our experiments in proving some theorems of von Neumann-Bemays-Godel set theory. Some outstanding problems associated with tenn rewriting are also addressed.

In this paper we describe the IBM Audio-Indexing System and present some experimental results on the performance of the system on an audio indexing task.

The phenomenon of neutrino oscillation has been firmly established: neutrinos change their flavour in their path from their source to observers. This paper is dedicated to the description of experimental results in the oscillation field, of their present understanding and of possible future developments in the experimental neutrino oscillation physics.

New experimental results on the production of φ and f ′ 2 (1525) mesons in the annihilation of stopped antiprotons are discussed. The explanation of these facts in the framework of the polarized strangeness model is considered.

We consider a wireless ad hoc network with single antenna nodes under a two-hop relay traffic pattern. Some of the nodes in the network form source/destination pairs, while the other nodes serve as amplify and forward relays. The relay gains are assigned such, that the interference between different source/destination links is nulled (multiuser zero forcing relaying; MU-ZFR). This essentially r...

This handout reviews recent experimental results concerning the prevalence of embedded scalar implicatures. The focus is on Geurts and Pouscoulous 2009 (henceforth GP09), which argues that these implicatures are marginal at best, and Chemla and Spector 2011 (CS11), which argues that they are robust. I also include brief summaries of the three commentaries on GP09 that appeared in 2010 in Semant...

Cells in the nervous system (NS) are exposed to a strong and constant production of reactive oxygen and nitrogen species (RS) because of their highly demanding metabolism. This oxidative load is tightly regulated to sustainable limits by an effective array of antioxidant proteins and compounds. However, physiological aging and a number of genetic and environmentally-induced degenerative disease...