منابع مشابه
Modules de type ni sur un anneau principal
Le but de ce texte est de donner une d emonstration du th eor eme de structure concernant les modules de type ni sur un anneau principal. La preuve pr esent ee ici est th eorique ; il en existe d'autres plus algorithmiques (parfois limit ees aux anneaux euclidiens, cas qui englobe tout de même l'essentiel pour votre programme, a savoir Zet k[t]), utilisant les op erations el ementaires sur les ...
متن کاملUn nouvel algorithme de consistance locale sur les nombres flottants
Solving constraints over floating-point numbers is a critical issue in numerous applications notably in program verification. Capabilities of filtering algorithms over the floating-point numbers have been so far limited to 2b-consistency and its derivatives. Though safe, such filtering techniques suffer from the well known pathological problems of local consistencies, e.g., inability to efficie...
متن کاملSur un nouvel invariant des graphes et un critère de planarité
Un graphe lini est dit planaire si on peut le dessiner dans le plan saris que les a&es se recoupent. Un probleme bien nature1 et rtsolu par Kuratowski [KI] est de trouver une caracterisation des graphes planaires. On pourra ausi a ce sujet consulter les monographies [BE, WE, TE] . 11 se trouve que les mtthodes developpees dans nos articles precedents [C-C, [CV,], G ig4] permettent d’exhiber un ...
متن کاملStrangulation de la verge par un anneau chez l’enfant
We report an unprecedented case of an 8-year old child with no particular pathological history presenting, accompanied by his parents, to the Pediatric Emergency Department with strangulation of the penis occurring 5 days earlier. The patient, curiously, had introduced his penis into a ring. The child had hidden the facts for fear and shame with the hope of being able to extract it alone. Given...
متن کاملLearnPos : un nouvel outil pour l'apprentissage interactif de positionnement
The analysis of 2D structured documents often requires localizing data inside of a document during the recognition process. In this paper we present LearnPos a new generic tool, independent of any document recognition system. LearnPos models and evaluates positioning from a learning set of documents. Thanks to LearnPos, the user is helped to define the physical structure of the document. LearnP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Astronomische Nachrichten
سال: 1908
ISSN: 0004-6337,1521-3994
DOI: 10.1002/asna.19081791506