In this paper, a new definition of fractional variable-order derivative is proposed, derived, and analyzed. It is based on a different numerical scheme of traditional Grunwald-Letnikow definition. In ...

Assertion based program verification is a well-known formal approach to (dis)prove correctness of algorithms associated to software systems. Assertions are input and output properties a correct ...

In Vejseli v. Duffy, stockholders of Ionic Digital challenged a board resolution implemented on the eve of a proxy battle that reduced the number of Ionic’s board seats. The stockholders alleged ...

We present a highly efficient method utilizing a CuBr/DTBP (di-tert-butyl peroxide) catalyst system for the synthesis of 1-amino-1,3-diene derivatives from propargylamines and activated methylene ...