la lin~uistique al~brique par Solomon Marcus Une caract~ristique du d~veloppement r4cent de la linguistique alg4brique c'est l'existence de maintes th4ories parall~les, ayant pour objet une m~me r4alit~ linguistique ou des fairs assez semblables. Mais pour la plupart de ces th4ories on ne connalt pas les rapports exacts et on continue d'utiliser m~me des terminologies diff~rentes pour des notio...

We study the behavior of the electromagnetic field in a biological cell modelized by a medium surrounded by a thin layer and embedded in an ambient medium. We derive approximate transmission conditions in order to replace the membrane by these conditions on the boundary of the interior domain. Our approach is essentially geometric and based on a suitable change of variables in the thin layer. F...

The increasing popularity of SAT and BDD techniques in formal hardware verification and automated synthesis of logic circuits encourages the search for additional speedups. Since typical SAT and BDD algorithms are exponential in the worst-case, the structure of realworld instances is a natural source of improvements. While SAT and BDD techniques are often presented as mutually exclusive alterna...

The increasing popularity of SAT and BDD techniques in formal hardware verification and automated synthesis of logic circuits encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponential in the worst-case, the structure of real-world instances is a natural source of improvements. While SAT and BDD techniques are often presented as mutually exclusive alter...