Development of procedures for the design, optimization and manufacturing of customized orthopaedic and trauma implants: Geometrical/anatomical modelling from 3D medical imaging

Tese de Doutoramento (Programa Doutoral em Engenharia Biomédica)

A radiodifusão no Brasil e em Portugal e a invasão dos brasucas: uma nova linguagem

Tese de Doutoramento em Ciências da Comunicação (área de especialização em Sociologia da Comunicação e da Informação).

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Exploring scenario exploration

Model finders are very popular for exploring scenarios, helping users validate specifications by navigating through conforming model instances. To be practical, the semantics of such scenario exploration operations should be formally defined and, ideally, controlled by the users, so that they are able to quickly reach interesting scenarios. This paper explores the landscape of scenario exploration operations, by formalizing them with a relational model finder. Several scenario exploration operations provided by existing tools are formalized, and new ones are proposed, namely to allow the user to easily explore very similar (or different) scenarios, by attaching preferences to model elements. As a proof-of-concept, such operations were implemented in the popular Alloy Analyzer, further increasing its usefulness for (user-guided) scenario exploration.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Development of Janus hydrogel microcapsules as novel biomaterials-stem cells construct for 3D co-culture applications

Co-cultures of two or more cell types and biodegradable biomaterials of natural origin have been successfully combined to recreate tissue microenvironments. Segregated co-cultures are preferred over conventional mixed ones in order to better control the degree of homotypic and heterotypic interactions. Hydrogel-based systems in particular, have gained much attention to mimic tissue-specific microenvironments and they can be microengineered by innovative bottom-up approaches such as microfluidics. In this study, we developed bi-compartmentalized (Janus) hydrogel microcapsules of methacrylated hyaluronic acid (MeHA)/methacrylated-chitosan (MeCht) blended with marine-origin collagen by droplet-based microfluidics co-flow. Human adipose stem cells (hASCs) and microvascular endothelial cells (hMVECs) were co-encapsulated to create platforms of study relevant for vascularized bone tissue engineering. A specially designed Janus-droplet generator chip was used to fabricate the microcapsules (<250â μm units) and Janus-gradient co-cultures of hASCs: hMVECs were generated in various ratios (90:10; 75:25; 50:50; 25:75; 10:90), through an automated microfluidic flow controller (Elveflow microfluidics system). Such monodisperse 3D co-culture systems were optimized regarding cell number and culture media specific for concomitant maintenance of both phenotypes to establish effective cell-cell (homotypic and heterotypic) and cell-materials interactions. Cellular parameters such as viability, matrix deposition, mineralization and hMVECs re-organization in tube-like structures, were enhanced by blending MeHA/MeCht with marine-origin collagen and increasing hASCs: hMVECs co-culture gradient had significant impact on it. Such Janus hybrid hydrogel microcapsules can be used as a platform to investigate biomaterials interactions with distinct combined cell populations.

Biomimetic superhydrophobic surfaces patterned with wettable spots as implantable chips for in vivo high-content 3D biomaterials response assessment

"Tissue engineering: part A", vol. 21, suppl. 1 (2015)

O género na construção de personagens 3D: do binário ao fluído

Relatório de estágio de mestrado em Média Interativos

A 3D computer assisted Orthopedic Surgery Planning approach based on planar radiography

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Informática Médica)