Buscador de Tesis y publicaciones académicas

Une sémantique dénotationnelle pour un compilateur synchrone vérifié

Paul Jeanmaire

Lustre est un langage synchrone de type flot de données. Sa structure temporelle discrète et son système d'horloges lui permettent de garantir un temps d'exécution et une consommation de mémoire bornés statiquement, favorisant ainsi son adoption dans le domaine de systèmes critiques, notamment au sein de l'outil indust...

Metamorphic Testing for Scientific Software Using Geometrically Representable Input Data

Müller, Sebastian

Wissenschaftliche Software spielt eine entscheidende und zunehmend wichtigere Rolle in verschiedenen wissenschaftlichen Disziplinen, da sie komplexe Modellierung, Simulation, Exploration und Datenanalyse erleichtert. In Bereichen wie der medizinischen Bildgebung, den Geo- und Umweltwissenschaften, sowie der computerges...

Hemopressina ; um peptídeo intracelular com diversas propriedades farmacológicas

Gabriella Ferraz de Oliveira

INTRODUÇÃO: Os peptídeos são moléculas formadas por aminoácidos que exercem funções essenciais no organismo, participando da regulação de diversos sistemas fisiológicos. Entre eles, os peptídeos intracelulares se destacam por serem produtos da degradação de proteínas, e um marco importante na caracterização desse grupo...

Calculation of back- and fore- ground signals with space-borne GW observatories

Shaodong Zhao

Portes, herses et ponts-levis en Bourgogne du XIIe au XVIIe siècle : formes, mécanismes et usages

Gaëtan Koenig

Portes, herses et ponts-levis en Bourgogne du XIIe au XVIIe siècle : formes, mécanismes et usages est une thèse consacrée à l’étude approfondie de la construction des portes de château, de ville et de maison forte en Bourgogne. L’objectif principal est de comprendre les formes, les techniques et les fonctionnalités de...

From the squares’ movement to the organic crisis

Autoría no especificada

Η παγκόσμια οικονομική κρίση του 2007 και οι πολιτικές λιτότητας που ακολούθησαν προκάλεσαν ένα πρωτοφανές κύμα λαϊκής δυσαρέσκειας και πολιτικής ριζοσπαστικοποίησης σε ολόκληρη την ευρωπαϊκή περιφέρεια. Μέσα σε αυτό το γενικευμένο κλίμα κοινωνικοοικονομικής αναταραχής, η Ελλάδα συνιστά τη μοναδική περίπτωση όπου οι οι...

Διατροφογενωμική αξιολόγηση της επίδρασης βιοενεργών συστατικών φυτικής και μυκητιακής προέλευσης επί της κυτταροπροστασίας αυγοπαραγωγών ορνίθων και της ποιότητας των αυγών

Autoría no especificada

Η διατήρηση της παραγωγικότητας των ορνίθων και της ποιότητας των αυγών συνδέεται στενά με τη λειτουργική κατάσταση κρίσιμων ιστών, όπως η ωοθήκη και το ήπαρ, οι οποίοι συμμετέχουν σε αναπαραγωγικές και μεταβολικές διεργασίες. Σκοπός της παρούσας διδακτορικής διατριβής ήταν η διατροφογενωμική αξιολόγηση της επίδρασης β...

Vergleich des klinischen Ergebnisses von Radiuskopfrekonstruktion oder Implantation einer Radiuskopfprothese nach schwerer Radiuskopffraktur

Porsche, Johannes Paul

Frakturen des Radiuskopfes (RK) umfassen ca. 5% aller Frakturen bei Erwachsenen und stellen mit 37% die häufigste Fraktur bei traumatischen Verletzungen des Ellenbogens dar. Der RK sorgt als wichtiger Teil des Ellenbogens vor allem für die Stabilität im Gelenk und für die axiale Kraftübertragung in der oberen Extremitä...

Nécropoles et société dans l'Athènes ancienne. La nécropole de Phalère.

Valentine Benoliel

Cette étude sur la nécropole de Phalère a pour but de proposer une première approche du site à travers l'étude d'une zone définie, jugée représentative de l'ensemble sans en être une reproduction exacte. La nécropole a été fouillée entre 2012 et 2020 : ses données inédites font l'objet de nombreuses études en cours.La...

Suspenso entre infinitos ; um olhar sobre escalas e percepções.

Victor da Costa Alexandre

Este Trabalho Final de Graduação investiga a relação entre o infinitamente grande e o infinitamente pequeno como fundamento para o pensamento arquitetônico. Compreende-se a arquitetura como um campo de continuidade entre escalas - da cidade ao objeto - em que o território, o edifício e o mobiliário são atravessados pel...