Dissolution of cellulose is an important but difficult step in biofuel production from lignocellulosic materials. Steam and supercritical carbon dioxide (SC-CO2) explosion are two effective methods for dissolution of some lignocellulosic materials. Loading and explosion are the major processes of these methods. Studies of these processes were performed using grand canonical Monte Carlo and mole...

Motivated by recent models involving off-centre ignition of type Ia supernova explosions, we undertake three-dimensional time-dependent radiation transport simulations to investigate the range of bolometric light curve properties that could be observed from supernovae in which there is a lop-sided distribution of the products from nuclear burning. We consider both a grid of artificial toy model...

What happens when machines become more intelligent than humans? One view is that this event will be followed by an explosion to ever-greater levels of intelligence, as each generation of machines creates more intelligent machines in turn. This intelligence explosion is now often known as the “singularity”. The basic argument here was set out by the statistician I. J. Good in his 1965 article “S...

The information explosion has led to problems and possibilities in many areas of society, including that of law enforcement. In comparing individual criminal investigations on similarity, we seize one of the opportunities of the information surplus to determine what crimes may or may not have been committed by the same group of individuals. For this purpose we introduce a new distance measure t...

Behavior of blast wave in underwater explosion is of interest to metal forming community and ship designers. Underwater detonation is, also a potential hazard to the water intakes or a plant spent fuel pool. In this paper, some techniques for calculating free-field blast parameters such as pressure and impulse in underwater explosion and prediction of bubble pulsation parameters are presented a...

Model checking complex systems always suffers from the state explosion problem. Over the last 10 years there has been lots of researches on how to mitigate the state explosion problem. As a result, many techniques have been emerged such as absiraction, compositional reasoning, and exploiting symmetry. In line with these efforts, this paper proposes stepwise model checking which exploits hierarc...