SimGrid MC is a stateless model checker for distributed systems that is part of the SimGrid Simulation Framework. It verifies implementations of distributed algorithms, written in C and using any of several communication APIs provided by the simulator. Because the model checker is fully integrated in the simulator that programmers use to validate their implementations, they gain powerful verifi...

Using Sphinx tt, a new MC simulation program for transverse polarized nucleon–nucleon scattering based on Pythia 5.6, we calculate the transverse double spin asymmetry ATT in the Drell-Yan process. If one assumes (quite arbitrarily) that the transversity parton distribution δq(x,Q2) equals the helicity distribution ∆q(x,Q2) at some low Q0 scale, the resulting asymmetry is of order 1%. In this c...

We present a Monte Carlo (MC) study of W and Z0 production of longitudinally polarized proton collisions at a center of mass (CMS) energy of 500GeV. All results were obtained with the SPHINX MC code. We consider two different types of polarized parton distributions with large and small gluon polarization. Various spin asymmetries are found to be sensitive to the shape of the polarized gluon dis...

Lattice Monte Carlo (MC) simulations provide an efficient method for exploring the structure and phase behavior of block polymer melts. However, the results of such simulations may differ from the equilibrium behavior of a hypothetical infinite system as a consequence of the finite size of the simulation box. Standard finite-size scaling techniques cannot be employed to remove the effects of a ...

Differential Evolution Markov Chain (DE-MC) is an adaptive MCMC algorithm, in which multiple chains are run in parallel. Standard DE-MC requires at least N = 2d chains to be run in parallel, where d is the dimensionality of the posterior. This paper extends DE-MC with a snooker updater and shows by simulation and real examples that DEMC can work for d up to 50–100 with fewer parallel chains (e....

Recently, multi-carrier code division multiple access (MC-CDMA) has been attracting much attention for the next generation mobile communication systems. The insertion of the guard interval (GI) is necessary to avoid the inter-block interference (IBI), resulting in the transmission efficiency loss. In this paper, an overlap frequency-domain equalization (overlap FDE) technique, which requires no...

High Peak to Average Power Ratio (PAPR) of the transmitted signal is a serious problem in multicarrier modulation systems. In this paper a new technique for reduction in PAPR of the Multicarrier Code Division Multiple Access (MC CDMA) signals based on combining the Discrete Transform either Discrete Cosine Transform (DCT) or multi-resolution Discrete Wavelet Transform (DWT) with companding is p...

This work is aimed at investigating the use of Multi Carrier CDMA (MC-CDMA) techniques in variable bitrate transmission over low-earth-orbit (LEO) satellite channels by means of realistic simulations. It is known by literature that MC-CDMA techniques are much more resilient with respect to multi-user interference effects in multipath fading channels than single-carrier DS/CDMA ones. Moreover, M...

nanostructures have considerably higher surface areas than their bulk counterparts; thereforesurfaces often play important, sometimes even dominant, roles in the nanostructure properties. thenanocrystalline and nanotubes have low band gaps and high carrier mobility, thus offeringappealing potential as absorption gas. interaction between methanol molecules and carbonnanotube is investigated usin...