We present a fault simulator for synchronous sequential circuits that combines the eeciency of three-valued logic simulation with the exactness of a symbolic approach. The simulator is hybrid in the sense that three diierent modes of operation-three-valued, symbolic and mixed-are supported. We demonstrate how an automatic switching between the modes depending on the computational resources and ...

 Coronavirus disease (COVID) has had a growing outbreak around the world. China reported COVID-19 infection for the first time in December 2019. Symptoms of this disease often include respiratory symptoms, but gastrointestinal symptoms (nausea, vomiting, and diarrhea) were also reported in COVID-19 infection. Coronavirus transmits through direct droplets, contact, or fomites. However, other mod...

gp(X) = {x1 x2 2 . . . x n n | xi ∈ X, i = ±1} Définition 1.1. Soit X un ensemble. Un produit (ou suite) w = x1 x2 2 . . . x n n , | xi ∈ X, i = ±1 s’appelle un X–mot (ou mot) de longueur n. Si on considère les xi comme des éléments du groupe G, ce mot a une valeur g dans G, et nous écrivons x1 x2 2 . . . x n n =G g (certains écrivent w). Définition 1.2. On dit que le X–mot w = x1 x2 2 . . . x ...

In recent years, most effective multi-object tracking (MOT) methods are based on the tracking-by-detection framework. Existing performance evaluations of MOT methods usually separate the target association step from the object detection step by using the same object detection results for comparisons. In this work, we perform a comprehensive quantitative study on the effect of object detection a...

Middle-mode RNA synthesis in T4-infected cells takes place before replication of phage DNA commences. What distinguishes it from early-mode RNA synthesis is that initiation of middle RNA depends on T4-coded proteins, in particular on the mot gene product. mot protein is localized in a DNA-protein complex which forms during the first few minutes of infection. All of the cell's mot protein is bou...

Résumé : Une substitution est un morphisme de monöıdes libres : chaque lettre a pour image un mot, et l’image d’un mot est la concaténation des images de ses lettres. Cet article introduit une généralisation de la notion de substitution, où l’image d’une lettre n’est plus un mot mais un motif, c’est-à-dire un “mot à trous”, l’image d’un mot étant obtenue en raccordant les motifs correspondant à...