TaC, HfC and their solid solutions are promising candidate materials for thermal protection structures in hypersonic vehicles because of their very high melting temperatures (>4000 K) among other properties. The melting temperatures of slightly hypostoichiometric TaC, HfC and three solid solution compositions (Ta1-xHfxC, with x = 0.8, 0.5 and 0.2) have long been identified as the highest known....

Two non-woven fixed-bed bioreactors (NFBR) based on different substrates (nitrite and nitrate) were constructed to study the environmental adaptability for temperature and organic matter of anammox-denitrifying system and nitrogen removal performance. The two reactors were successfully operated for 200 days. The average removal rates of nitrogen and COD of R2 were 81% and 93%, respectively. Bes...

Circulating blood monocytes were isolated from normal and hypercholesterolemic swine, and the monocyte lipid compositions and lipid biosynthesis profiles were assessed. The data indicate that monocytes freshly isolated from hyperlipemic swine have increased phospholipid and cholesterol contents and have increased biosynthetic capability for synthesizing phospholipids, triglycerides, and cholest...

Fischer-Tropsch(FT) reaction involves the hydrogenation of carbon monoxide to hydrocarbons typically by group VIII metals [1]. Cobalt is one of the first metals used as FT catalyst and is typically mixed with Mn to promote carbon monoxide conversion to more valuable higher (C5+) hydrocarbons and olefins. The properties of metal catalysts can be controlled by fine-tuning chemical composition, su...

A comparative study of different sequences of two metal precursors [trimethylaluminum (TMA) and Tris(isopropylcyclopentadienyl) lanthanum (La(iPrCp)3)] for atomic layer deposition (ALD) lanthanum aluminum oxide (LaxAlyO) films is carried out. The percentage compositions of C and N impurity of LaxAlyO films were investigated using in situ X-ray photoelectron spectroscopy (XPS). The effects of di...

This paper examines a dataset which is modeled well by the Poisson-Log Normal process and by this process mixed with Log Normal data, which are both turned into compositions. This generates compositional data that has zeros without any need for conditional models or assuming that there is missing or censored data that needs adjustment. It also enables us to model dependence on covariates and wi...

An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed-form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to...

We study the set Ak of integer sequences = ( 1; : : : ; k), de ned by 1 1 2 2 : : : k k 0; and show that the generating function is X 2Ak q j = k Y

Abstract: Automata with weights (multiplicities) in the so called (max,+) semiring constitute a class of timed automata. Their modeling power has been studied in Gaubert and Mairesse (1999): at least timed safe Petri nets can be modeled by means of (max,+) automata. In this contribution, we define compositions for (max,+) automata. The motivation is to be able to model a complex system by compo...

Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This paper presents a framework for modularizing crosscutting concerns in embedded and distributed software, and automating their composition at the modeling level, for simulation and validation purposes. The proposed approach ...