Ce travail concerne la Differentiation Automatique (DA) de codes. La DA transforme un programme calculant une fonction mathematique en un nouveau programme calculant ses derivees, gagnant ainsi un temps de developpement consequent. L'usage de la DA se repand en Calcul Scientifique, mais souffre encore de quelques problemes.<br>Cette these propose des elements de solution a deux de ces problemes. Le premier probleme est la non-differentiabilite des programmes reels, pour certaines entrees.<br>Les outils de DA negligent souvent ce probleme, alors que les utilisateurs ont besoin d'une grande confiance dans ces derivees avant de les utiliser, par exemple dans des boucles d'optimisation. Quelle que soit son origine reelle, cette non-differentiabilite se traduit dans la structure de controle des programmes. Plutot que d'etudier des extensions de la notion de derivee, nous preferons ici caracteriser le domaine autour des entrees courantes pour lequel le controle reste constant et la differentiabilite est conservee. Nous proposons plusieurs approches et evaluons leurs complexites. Nous etudions formellement une construction du domaine entier, mais sa complexite limite son application. Alternativement, nous proposons une methode directionnelle moins couteuse, que nous avons implementee et validee sur plusieurs exemples. Le second probleme est l'efficacite du mode inverse de la DA, qui produit des codes 'adjoints' calculant des gradients. Ces codes utilisent les valeurs intermediaires du programme initial dans l'ordre inverse, ce qui necessite une combinaison de sauvegarde et de recalcul de ces valeurs. Une tactique fondamentale, nommee 'ckeckpointing', economise de la memoire au prix de la reexecution de segments de code. Dans notre travail, nous formalisons les analyses de flot de donnees necessaires a la differentiation inverse, y compris dans le cas du checkpointing. A partir de cette formalisation, nous proposons deux avancees aux strategies de la DA inverse. D'une part ces analyses nous fournissent des ensembles de valeurs a sauvegarder, que nous pouvons prouver minimaux.<br>D'autre part nous en tirons des indications sur les meilleurs segments de code candidats au checkpointing. Pour experimenter ces choix, nous etendons les analyses et l'algorithme de differentiation inverse de notre outil de DA. Nous montrons les benefices que l'on peut attendre sur des codes reels.

La détection et l'extraction automatique de régions d'intérêt à l'intérieur d'une image est une étape primordiale pour la compréhension des images. Une multitude d'études dédiées à ce problème ont été proposées durant les dix dernières années. Des algorithmes efficaces et robustes ont été développés pour diverses applications. Cependant, la plupart d'entre eux introduisent des heuristiques propres au type d'image considéré.<br />La variété des caractéristiques possibles définissant une région d'intérêt est le principal facteur limitant leur généralisation. Ces critères région peuvent être le niveau de gris, la couleur, la texture, la forme des objets, etc...<br />Dans cette thèse, nous proposons une formulation générale qui permet d'introduire chacune de ces caractéristiques. Plus précisément, nous considérons l'intensité de l'image, la couleur, la texture, le mouvement et enfin, la connaissance a priori sur la forme des objets à extraire. Dans cette optique, nous obtenons un critère probabiliste à partir d'une formulation Bayésienne du problème de la segmentation d'images. Ensuite, une formulation variationnelle équivalente est introduite et la segmentation la plus probable est finalement obtenue par des techniques d'évolutions de fronts. La représentation par ensembles de niveaux est naturellement introduite pour décrire ces évolutions, tandis que les statistiques régions sont estimées en parallèle. Ce cadre de travail permet de traiter naturellement des images scalaires et vectorielles mais des caractéristiques plus complexes sont considérées par la suite. La texture, le mouvement ainsi que l'a priori sur la forme sont traités successivement. Finalement, nous présentons une extention de notre approche aux images de diffusion à résonance magnétique où des champs de densité de probabilité 3D doivent être considérés.

<p>The semantic web is a vision of the Internets future, there machines and humans can understand the same information. To make this possible, documents have to be provided with metadata in a general language. W3C has created Web Ontology Language (owl) for this purpose.</p><p>This report present the creation of a LaTeX package, which makes it possible to include metadata in pdf files. It also presents how you can create annotations, which are bound to the metadata that's been generated. With the help of this package it's easy to create pdf documents with automatically generated metadata and annotations.</p>

<p>This report is about Adobe Acrobat 3D and their new PDF format witch can contain 3 dimensional models that are interactive. The purpose is to find out if the program and the format work in a level that is suitable for the market. To create this PDF you need Acrobat 3D installed on your computer but it only needs Acrobat Reader 7 or 8 to open it, and the Reader is free to download on the internet.</p><p>The examination is focusing on four formats: U3D, 3DS, DWG and DXF because they are the most common in the building industry seen from the architects’ way. From a 3D model exported to these four formats they where converted to PDF in different settings to be compared in different points as information and size of the files. The result where put together in tables for an easy overview.</p><p>During the work there were no big differences between the results from the different settings noticed. The differences depended more from which format the PDF where converted from. Then the program is not that old on the market there are still some things that can be improved.</p>

Gemeinsamer Workshop von Universitaetsrechenzentrum und Professur "Rechnernetze und verteilte Systeme" der Fakultaet fuer Informatik der TU Chemnitz. Workshop-Thema: Mobilitaet Eine Vielzahl von Browsern und anderen Werkzeugen analysiert, verarbeitet, manipuliert oder erzeugt mehr oder weniger erfolgreich HTML-Dateien. Doch browserspezifische Erweiterungen machen den Nutzern das Leben schwer. Die Übertragung wird dank Firewalls, Filterfunktionen und browserspezifischen Erweiterungen instabil. Lokal gespeicherte Dateien vermeiden dies, erfüllen jedoch andere Wünsche des modernen, mobilen Lerners nicht. Der Einsatz von HTML als Zielformat in der Lehre mit neuen Medien muß gelegentlich überdacht werden. Ein weiterer denkbarer Kandidat ist das PDF-Format, das durch die Einbindung von Hyperlinks, Inhaltsverzeichnissen, Stichwortregistern und sogar Formularen viele Anforderungen an multimediale Lehrmaterialien erfüllt.

Gemeinsamer Workshop von Universitaetsrechenzentrum und Professur Rechnernetze und verteilte Systeme der Fakultaet fuer Informatik der TU Chemnitz. Darstellung des aktuellen Standes von LaTeX, ausgehend von konkreten (veralteten) Beispieldokumenten Betrachtung von Dokumentklasse (KOMA-Script), Layout, PDF-Erzeugung

Workshop Mensch-Computer-Vernetzung Gestaltung von Formulartechniken: Webschnittstelle mittels HTML-Formular, interne Generierung einer PDF-Ausgabe, dabei evtl. Verwendung existierender PDF-Formulare

This report is about Adobe Acrobat 3D and their new PDF format witch can contain 3 dimensional models that are interactive. The purpose is to find out if the program and the format work in a level that is suitable for the market. To create this PDF you need Acrobat 3D installed on your computer but it only needs Acrobat Reader 7 or 8 to open it, and the Reader is free to download on the internet. The examination is focusing on four formats: U3D, 3DS, DWG and DXF because they are the most common in the building industry seen from the architects’ way. From a 3D model exported to these four formats they where converted to PDF in different settings to be compared in different points as information and size of the files. The result where put together in tables for an easy overview. During the work there were no big differences between the results from the different settings noticed. The differences depended more from which format the PDF where converted from. Then the program is not that old on the market there are still some things that can be improved.

Mittuniversitetet skapar "Välkomstbrev" för alla utbildningstillfällen vid varjeterminsstart, något som hittills gjorts manuellt. Det har dock på sistone uppkommit behov av att automatisera, förenkla och centralisera processengenom ett användarvänligt, webbaserat verktyg. Målet för detta projekt harvarit att presentera och utvärdera förslag till ett sådant verktyg som fyller deovan nämnda behoven. Verktyget är applikationen "Välkomstbrev" som skapatsmed tekniker, språk och moduler skrivna i öppen källkod som finns fritttillgängliga på nätet. De grundläggande språken som använts för konstruktionenär HTML5, CSS, JavaScript, PHP, SQL. Den arbetar emot databasen"kursprogrambrev" som innehåller all nödvändig data för publikationen avvälkomstbreven. Applikationen består av fyra olika gränssnitt som motsvararolika profiler: Lärare, Redaktör, Brevadministratör och Databasadministratör.Profilerna är lösenordsskyddade och åtkomliga för de av lärosätets personalsom berörs. Varje profil har sina konkreta uppgifter att sköta i applikationen ochinteragerar med de andra profilerna via databasen. Resultatet av profilernasinteraktion är att välkomstbreven skapas i PDF-format och placeras i utvaldkatalog. Eftersom användbarheten var av högsta prioritet från ledningens sidahar flera användartester gjorts för att utvärdera den slutliga produkten. Dessahar visat att målen överlag har uppnåtts, men att vissa aspekter måstevidareutvecklas i nära samråd med lärosätets ledning.

Guía de practicas para laboratorio de Química para carreras de ingeniería