The KO(t)Bu-mediated annulation of acetonitrile with aldehyde was observed, in which the cleavage of four C(sp(3))-H bonds occurred and a total of eight new bonds were formed during the synthesis of substituted dihydropyridinones in the presence of peroxide. Furthermore, dihydropyridinones have been transformed into pyridinones using KO(t)Bu in DMSO.

Do the partial order and ortholattice operations of a quantum logic correspond to the logical implication and connectives of classical logic? Re-phrased, how far might a classical understanding of quantum mechanics be, in principle, possible? A celebrated result by Kochen and Specker answers the above question in the negative. However, this answer is just one among different possible ones, not ...

Motivated by problems of comparative genomics and paleogenomics, we introduce the Gapped Consecutive-Ones Property Problem (k,δ)-C1P: given a binary matrix M and two integers k and δ, can the columns of M be permuted such that each row contains at most k sequences of 1’s and no two consecutive sequences of 1’s are separated by a gap of more than δ 0’s. The classical C1P problem, which is known ...

We investigate the complexity of bit counting algorithms in different sets of instructions.

In this paper we address the problem of identifying what local properties the sub-components of a system have to satisfy in order to guarantee a (security) property on the behaviour of the whole system. We associate each action with a value. Hence, we end up with quantitative properties on them, which are specified through a modal logic equipped with a parametric algebraic structure (i.e., a c-...

A 0-1 matrix has the consecutive-ones property if its columns can be ordered so that the ones in every row are consecutive. It has the circular-ones property if its columns can be ordered so that, in every row, either the ones or the zeros are consecutive. PQ trees are used for representing all consecutive-ones orderings of the columns of a matrix that has the consecutive-ones property. We give...

A major goal of the 2006 NIEHS Strategic Plan encompasses the institute's desire to " recruit and train the next generation of environmental health scientists. " To begin to achieve that goal, the NIEHS has unveiled a new annual grants program called the Outstanding New Environmental Scientist (ONES) Award. The five-year grants are designed to identify, encourage, inspire, and support outstandi...

Many public goods are supported with both private and public funding. It is often argued that public funding, based on taxes, crowds out private philanthropic contributions. Agents respond to increases in taxes by decreasing their donations. However, the tax level depends on the political equilibrium arising from agents’ voting decisions. In this paper we analyze a variety of motivations for vo...

This talk describes a clean and unified way to enumerate all juxtaposition classes of the form “Av(abc) next to Av(xy)”, where abc is a permutation of length three and xy is a permutation of length two. The main tools are Dyck paths, decorated by sequences of points, and context free grammars, used afterwards to enumerate these decorated Dyck paths. Juxtapositions are a simple special case of p...

First-principles computations have been preformed to investigate the stability of one-dimensional (1D) crystalline nanowires, faceted nanotubes, and conventional single-walled nanotubes (SWNTs) with various sizes, as well as the two-dimensional infinitely single layers for several wurtzite materials. Regardless of the diameters, the SWNTs are more stable than sp(3)-dominated faceted nanotubes a...