Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Regenosca est une start-up médicale axée sur le développement et la commercialisation d'une nouvelle génération de biomatériaux pour la réparation des tissus mous. Leur plateforme technologique innovante d'implants offre une alternative moins invasive à l'utilisation des greffes de tissus d'un patient, fournissant des solutions prêtes à l'emploi qui servent de pont pour la reconstruction de tissus. Les implants sont 100% naturels, personnalisables pour répondre aux besoins cliniques, et favorisent la migration cellulaire à partir des tissus environnants. La première indication de Regenosca est la reconstruction urétrale, traitant des conditions comme la rigueur urétrale et l'hypospadias. La startup a validé avec succès la preuve de conception de leur technologie d'implant avec des données humaines, montrant des résultats prometteurs en réduisant le temps d'opération et en améliorant les résultats chirurgicaux.
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...
Mario Paolone, Willem Lambrichts
, ,