Nous donnons une preuve de la NP-complétude de SAT en se basant sur une caractérisation logique de la classe NP donnée par Fagin en 1974. Ensuite, nous illustrons une partie de la preuve en montrant comment deux problèmes bien connus, le problème de MAX STABLE et de 3-COLORATION peuvent s’exprimer sous forme conjonctive normale. Enfin, dans le même esprit, nous redémontrons la min NPOcomplétude...

Riassunto L’obiettivo di questo lavoro è quello di analizzare la dinamica della mortalità per causa utilizzando un nuovo, semplice ed efficace strumento: la rappresentazione della principale causa di morte per età e nel tempo. Attraverso queste particolari superfici di mortalità, viene rivisitata la transizione epidemiologica in Italia. Focalizzando l’attenzione sull’ultima fase della transizio...

Résumé: On obtient une nouvelle inégalité de concentration exponentielle pour la percolation de premier passage, valable pour une large classe de distributions des temps d’arêtes. Ceci améliore et étend un résultat de Benjamini, Kalai et Schramm [5] qui donnait une borne sur la variance pour des temps d’arêtes suivant une loi de Bernoulli. Notre approche se fonde sur des inégalités fonctionnell...

Humanidade e animalidade são conceitos construídos de forma a criar uma determinada compreensão do que é ser humano. Apesar o homem um animal contudo, único cozinha não faz apenas para sua espécie. Os humanos se alimentam animais outros animais, sejam os criação, engorda venda, aqueles eleitos estima. Neste trabalho, proponho reflexão partir da alimentação corporal, sendo esses fatores determin...