Solving the first nonmonotonic, longer-than-three instance of a classic enumeration problem, we obtain the generating function H(x) of all 1342-avoiding permutations of length n as well as an exact formula for their number Sn(1342). While achieving this, we bijectively prove that the number of indecomposable 1342avoiding permutations of length n equals that of labeled plane trees of a certain t...

ANALYSIS UNDER VENUS ATMOSPHERIC PRESSURE. S.M. Clegg 1 , S.K. Sharma 2 , A.K. Misra 2 , M.D. Dyar 3 , N. Dallmann 1 , R.C. Wiens 1 , D.T. Vaniman 1 , E. A. Speicher 3 , S.E. Smrekar 4 , A. Wang 5 , S. Maurice 6 , and L. Esposito 7 . 1 Los Alamos National Laboratory, P.O. Box 1663 MS J565, Los Alamos, NM 87545, [email protected], 2 Hawaii Institute of Geophysics and Planetology, University of Haw...

Primary cultures of mixed neuron and Schwann cells prepared from dorsal root ganglia (DRG) are extensively used as a model to study myelination. These dissociated DRG cultures have the particular advantage of bypassing the difficulty in purifying mouse Schwann cells, which is often required when using mutant mice. However, the drawback of this experimental system is that it yields low amounts o...

Using a variational formulation, we derive the Kirkwood superposition approximation for systems at equilibrium in the thermodynamic limit. We define the entropy of the triplet correlation function and show that the Kirkwood closure brings the entropy to its maximal value. This approach leads to a different interpretation for the Kirkwood closure relation, usually explained by probabilistic cons...

The present work proposes a collocation spectral method for solving the three-dimensional Navier-Stokes equations using cylindrical coordinates. The whole diameter −R ≤ r ≤ R is discretized with an even number of radial Gauss-Lobatto collocation points and an angular shift is introduced in the Fourier transform that avoid pole and parity conditions usually required. The method keeps the spectra...

Ontology rule editing, testing, debugging and validation are still handcrafted and painful tasks. Nowadays, there is a lack of tools that take these tasks into consideration in order to ease the work of the developer. This paper is devoted to explain how we have come to a new tool, ORE (Ontology Rule Editor), which significantly eases these tasks. It rests on a Semantic Web framework together w...

There is a widely held perception that fundamental tax reform would reduce the level of criminal and other “underground” economic activity. The popular argument relies on the idea that replacing the income tax with a sales tax would implicitly tax the return to criminal activity, whereas the return to crime is effectively untaxed by an income tax. This paper finds instead that the impact of tax...

User simulation has become an important trend of research in the field of spoken dialog systems because collecting and annotating real man-machine interactions with users is often expensive and time consuming. Yet, such data are generally required for designing and assessing efficient dialog systems. The general problem of user simulation is thus to produce as many as necessary natural, various...

Adders are the most fundamental arithmetic circuits that are used in processors and play key role in VLSI circuits. Power consumption and speed of these circuits are important quality factors for high performance integrated processing circuits. Floating-point operators, integer multipliers, and modular adders need large adders. On the other hand, Field programmable gate arrays (FPGAs) due to th...