Moratorium est finie

Contraction en logique propositionnelle finie

The AGM model for the revision and contraction of beliefs sets provides sets of postulates for each of the two cases. In the context of finite propositional logic, Katsuno and Mendelzon printed out some sets of postulates for the revision of belief bases which correspond to the postulates AGM revision of beliefs sets. In this paper, we present postulates for the contraction of propositional bel...

Harmful moratorium on stem cell research.

EST-PAGE - managing and analyzing EST data

UNLABELLED EST-PAGE provides a bioinformatics solution for expressed sequence tags (EST) data entry, database management, GenBank submission, process control and data retrieval from a unified web interface that can be easily customized and adapted by groups working on diverse EST sequencing projects. AVAILABILITY The system and source code are available upon request from the authors. SUPPLE...

Proposed Moratorium on Changes to Network Protocol

Bill Crowther’s RFC No. 67 raised a much more fundamental issue than the question of marking. Any change to presently established protocol is going to involve changes in the hardware/software development efforts that have, in some instances, been going on for over 6 months. In the case of Multics, this effort has yielded programs either complete or in the advanced debugging stages. This is no d...

Familles de graphes de présentation finie, propriétés et applications