In this paper, quantified Horn formulas with free variables (QHORN∗) are investigated. The main result is that any quantified Horn formula Φ of length |Φ| with free variables, |∀| universal quantifiers and an arbitrary number of existential quantifiers can be transformed into an equivalent formula of length O(|∀| · |Φ|) which contains only existential quantifiers. Moreover, it is shown that qua...

Land-use intensification and resulting habitat loss are put forward as the main causes of flower visitor decline. However, the impact of urbanization, the prime driver of land-use intensification in Europe, is poorly studied. In particular, our understanding of whether and how it affects the composition and functioning of flower visitor assemblages is scant, yet required to cope with increasing...

Horn antennas can result in good impedance matching between the waveguide and free space due to the gradual increase in the aperture size. In this paper, a novel plasmonic sectoral horn nanoantenna based on using lens in the aperture is proposed. It is investigated that in addition to improvement of the directivity, the reflection coefficient is also reduced using the proper lens structure. The...

APETALA2 (AP2) is best known for its role in the regulation of flower meristem and flower organ identity and development in Arabidopsis. We show here that AP2 also plays an important role in determining seed size, seed weight, and the accumulation of seed oil and protein. We demonstrate genetically that AP2 acts through the maternal sporophyte and endosperm genomes to control seed weight and se...