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...

Following the recent trend of adapting the AGM (Alchourrón and Makinson 1985) framework to propositional Horn logic, Delgrande and Peppas (Delgrande and Peppas 2011) give a model theoretic account for revision in the Horn logic setting. The current paper complements their work by studying the model theoretic approach for contraction. A model based Horn contraction is constructed and shown to gi...

Automatic program verification and symbolic model checking tools interface with theorem proving technologies that check satisfiability of formulas. A theme pursued in the past years by the authors of this paper has been to encode symbolic model problems directly as Horn clauses and develop dedicated solvers for Horn clauses. Our solvers are called Duality, HSF, SeaHorn, and μZ and we have devot...

Near-Horn Prolog is a logic programming language which extends Prolog to handle non-Horn clauses. It was designed with the goal of minimizing the performance loss for programs with very few non-Horn clauses, while preserving the Prolog format. In this paper, we present a version of near-Horn Prolog that provides a stronger proof system than used by previous near-Horn procedures, and takes advan...