We study fragments of first-order logic and of least fixed point logic that allow only unary negation: negation of formulas with at most one free variable.These logics generalize many interesting known formalisms, including modal logic and the $mu$-calculus, as well as conjunctive queries and SKIN HAIR monadic Datalog.We show that satisfiability an
The common feature matching algorithms for street view images are sensitive to the illumination changes in augmented reality (AR), this may cause low accuracy of matching between street view images.This paper proposes a novel illumination insensitive feature descriptor by integrating the center-symmetric local binary pattern (CS-LBP) into Support C
With the establishment and rapid development of the national carbon emission trading market, new energy system Rangemaster OPLHD100BL Opal 100CM Cooker Hood Black participates in the carbon emission trading market.Analysing the potentiality of virtual power plant trading in carbon emission trading market, this paper designs a two-stage joint tradin
I investigated the reproductive behavior of the poorly known leaf frog Phyllomedusa venusta.Courtship, LECITHIN amplexus, and nesting were observed during the rainy season in an ephemeral pool surrounded by forest.Based on the behavior of a single, amplectant pair, it seems likely that physical stimulation may play a role in courtship in this leaf