We define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This ...

Counter-drone technology by using artificial intelligence (AI) is an emerging technology and it is rapidly developing. Considering the recent advances in AI, counter-drone systems with AI can be very accurate and efficient ...

This work claims the use of the mixture of Primene®JMT-Versatic 10 [HJMT+·Versatic-] IL diluted in Kerosene as an extractant for cobalt/nickel separation from sulphate media by solvent extraction technique, its application ...

Gradient-based turbulence models generally assume that the buoyancy flux ceases to introduce heat into the surface layer of the atmospheric boundary layer in temporal consonance with the gradient of the local virtual ...

Side Channel Analysis (SCA) is composed of a bunch of techniques employed to extract secret information from hardware operations through statistical analyses of execution data. For instance, the secret key of a crypto-algorithmic ...

We present several results on the determination of the number and distribution of limit cycles or centers for planar systems of differential equations. In most cases, the study of a recurrence is one of the key points of ...

We present a unified framework to asymptotically count the number of sets, with a given cardinality, free of certain configurations. This is done by combining the hypergraph containers methodology joint with arithmetic ...

The problem of counting all H-colorings of a graph G of n vertices is considered. While the problem is, in general #P-complete, we give linear time algorithms that solve the main variants of this problem when the input ...

We study the counting versions of several variants of the H-coloring problem. The complexity of the H-coloring problem is described by a dichotomy theorem that classifies the problem according to the the topology of H ...