The dual fuel engines at part loads inevitably suffer from lower thermal efficiency and higher carbon monoxide and unburned fuel emission. This work is carried out to investigate combustion characteristics of a dual fuel (dieselgas) engine at part loads, using a single zone combustion model with detailed chemical kinetics for combustion of natural gas fuel. The authors developed software in ...

In this paper, we classify quadratic and cubic self-dual bent functions in eight variables with the help of computers. There are exactly four and 45 non-equivalent self-dual bent functions of degree two and three, respectively. This result is achieved by enumerating all eigenvectors with±1 entries of the Sylvester Hadamard matrix with an integer programming algorithm based on lattice basis redu...

0

Given a positive Boolean function f and a subset ∆ of its variables, we give a combinatorial condition characterizing the existence of a prime implicant D̂ of the Boolean dual fd of f , having the property that every variable in ∆ appears in D̂. We show that the recognition of this property is an NP-complete problem, suggesting an inherent computational difficulty of Boolean dualization, independ...

A urease-deficient derivative of Streptococcus salivarius 57.I was constructed by allelic exchange at the ureC locus. The wild-type strain was protected against acid killing through hydrolysis of physiologically relevant concentrations of urea, whereas the mutant was not. Also, S. salivarius could use urea as a source of nitrogen for growth exclusively through a urease-dependent pathway.

The main usage of supermodular functions is to cross out tight sets, that is to use only the following important property. The intersection and the union of two sets with a maximal function value also have maximal function value. But for this purpose we do not need the full strength of supermodularity, some weaker concept suffices. We introduce here a new property, the so called λsupermodularit...

We construct two families of binary quadratic bent functions in a combinatorial way. They are self-dual and anti-self-dual quadratic bent functions, respectively, which are not of the Maiorana-McFarland type, but affine equivalent to it.

We show that dimensional doubly dual hyperovals over F2 define bent functions. We also discuss some known and a few new examples of dimensional doubly dual hyperovals and study the associated bent functions.

The diverse transcriptional mechanisms governing cellular differentiation and development of mammalian tissue remains poorly understood. Here we report that TAF7L, a paralogue of TFIID subunit TAF7, is enriched in adipocytes and white fat tissue (WAT) in mouse. Depletion of TAF7L reduced adipocyte-specific gene expression, compromised adipocyte differentiation, and WAT development as well. Ecto...