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

A map is outerplanar if all its vertices lie in the outer face. We enumerate various classes of rooted outerplanar maps with respect to the number of edges and vertices. The proofs involve several bijections with lattice ...

L'estudi dels subgrups del grup lliure es pot dur a terme utilitzant la teoria desenvolupada per Stallings, que dóna una representació gràfica que codifica les propietats algebraiques d'aquests subgrups en forma d'autòmats ...

The project goal is to count and detect instances in an image using deep learning. We target the regime where object detectors need to work reliably in scenarios with crowding, overlapping or instances with a small size. ...