Most identity-based identification (IBI) schemes proposed in recent literature are built using pairing operations. This decreases efficiency due to the high operation costs of pairings. Furthermore, most of these IBI schemes are proven to be secure against impersonation under active and concurrent attacks using interactive assumptions such as the one-more RSA inversion assumption or the one-mor...

To compute the number of models of a 2-CF (conjunction of clauses with two literals at most), the well-known problem as #2-SAT, is a classical #P-complete problem. We show here an extensive class of instances of 2CF’s where to compute the number of models can be done

In vivo bioluminescence imaging is a powerful tool for assessing tumor burden and quantifying therapeutic response in xenograft models. However, this technique exhibits significant variability as a consequence of differences in substrate administration, as well as the tumor size, type, and location. Here, we present a novel pharmacokinetic (PK) approach that utilizes bioluminescence image data....

The use of lacZ from Thermoanaerobacterium thermosulfurigenes (encoding beta-galactosidase) and lucB from Photinus pyralis (encoding luciferase) as reporter genes in Clostridium acetobutylicum was analyzed with promoters of genes required for solventogenesis and acidogenesis. Both systems proved to be well suited and allowed the detection of differences in promoter strength at least up to 100-f...