The article discusses a two-stage method of minimizing Boolean functions for designing digital combinational circuits. At the first stage, search simple conjuncterms is carried out by bitwise division set initial conjuncterms. this way tautology does not appear, low-rank are found without intermediate gluing. second minimal performed chain coverage table In cyclic part, fragments found, which q...

We investigate the vibrational density of states (vDOS) in harmonic approximation of a binary mixture of colloidal patchy particles with two and three patches for different relative compositions x(2). At low temperature, this system forms a thermo-reversible gel, i.e., a fully bonded network of chains of two-patches particles, in which the branching points are provided by three-patches particle...

Recently, we have identified the Al-alkenyl species iBuAl(oct-7-en-1-yl)2 (Al-1) as a promising long-chain branching (LCB) promoter in ethylene polymerization catalyzed by rac-{EBTHI}ZrCl2-based systems, proposing incorporation of its alkenyl moiety into growing polyethylene (PE) chain crucial step for LCB formation. The success process was attributed to high copolymerization ability selected c...

A model of homogeneous explosions with competing branching and recombination processes due to Kapila is analyzed by singular perturbation methods. In this model, the concentration of radicals is very low during a long induction period that ends with a rapid radical-growth stage in which all the reactants are consumed as the radicals reach their peak concentrations. The sudden jump in radical co...

Task modeling and task planning are very important in robotic systems especially for large-scale nondeterministic problems. Two widely studied models (the classical planning model and the Markov Decision Process (MDP) model) are inapplicable to such problems due to either inherently assumed determinism or dimensional explosion. An amalgamation of these two results in a new model which is propos...

The paper identifies several new properties of the lattice induced by the subsumption relation over first-order clauses and derives implications of these for learnability. In particular, it is shown that the length of subsumption chains of function free clauses with bounded size can be exponential in the size. This suggests that simple algorithmic approaches that rely on repeating minimal subsu...

The chemical-gas dynamic mechanisms behind the instability and failure of a onedimensional pulsating detonation wave driven by a three-step chain-branching reaction are revealed by direct numerical simulation. Two types of pulsating instability observed experimentally are explained. The first involves regular oscillations of the detonation front, where the instability is driven by low-frequency...

Discharge streamers in experiments branch frequently. Arrayás [Phys. Rev. Lett. 88, 174502 (2002)] presented simulations of branching streamers and interpreted them as physical branching events. The numerical results were criticized by Kulikovsky [Phys. Rev. Lett. 89, 229401 (2002)]. Using an adaptive grid algorithm, we here present numerical experiments on the effect of grid resolution on stre...