Devising a strategy to make system mimic behaviors from another is problem that naturally arises in many areas of Computer Science. In this work, we interpret the context intelligent agents, perspective ltlf , formalism commonly used AI for expressing finite-trace properties. Our model consists two separated dynamic domains, DA and DB, an LTLf specification formalizes notion mimicking by mappin...

Adaptive closed-loop control is used to optimize the lift-to-drag ratio of post-stall separated flow over a NACA 0025 airfoil using multiple amplitudemodulated (AM) or burst-modulated (BM), zero-net-mass-flux (ZNMF) actuators that cover the central 33% span of the airfoil. A simplex optimization approach uses the lift and drag measured by a strain-gauge balance for feedback and searches for the...

A set A ⊆ {1, 2, . . . , n} is said to be k-separated if, when considered on the circle, any two elements of A are separated by a gap of size at least k. We prove a conjecture due to Holroyd and Johnson [3],[4] that an analogue of the Erdős-Ko-Rado theorem holds for k-separated sets. In particular the result holds for the vertex-critical subgraph of the Kneser graph identified by Schrijver [7],...

Interest is arising in the possible use of higher plants as the source of naturally occurring antibiotic substances. The use of higher plants in the treatment of disease is as old as the art of healing itself. Isaiah of Biblical times suggested that a plaster of figs be placed on boils as a treatment of this form of infection. Hyssop and cedarwood were used in the cleansing of lepers. The Orien...