Cell encapsulated hydrogel microspheres as "building blocks" for producing 3D constructs

Cell encapsulation within hydrogel microspheres shows great promise in the field of tissue engineering and regenerative medicine (TERM). However, the assembling of microspheres as building blocks to produce complex tissues is a hard task because of their inability to place along length scales in space. We propose a proof-of-concept strategy to produce 3D constructs using cell encapsulated as building blocks by perfusion based LbL technique. This technique exploits the â bindingâ potential of multilayers apart from coating

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Curry-Howard for sequent calculus at last!

This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation? How to define the dual of Parigot's mu-operator so that it is a co-control operator? Answering these questions leads to the interpretation that sequent calculus is a formal vector notation with first-class co-control. But this is just the "internal" interpretation, which has to be developed simultaneously with, and is justified by, an "external" one, offered by natural deduction: the sequent calculus corresponds to a bi-directional, agnostic (w.r.t. the call strategy), computational lambda-calculus. Next, the duality between control and co-control is studied and proved in the context of classical logic, where one discovers that the classical sequent calculus has a distortion towards control, and that sequent calculus is the de Morgan dual of natural deduction.

Characterization of dry-stack interlocking compressed earth blocks

Earth has been a traditional building material to construct houses in Africa. One of the most common techniques is the use of sun dried or kiln fired adobe bricks with mud mortar. Fired bricks are the main cause for deforestation in countries like Malawi. Although this technique is low-cost, the bricks vary largely in shape, strength and durability. This leads to weak houses which suffer considerable damage during floods and seismic events. One solution is the use of dry-stack masonry with stabilized interlocking compressed earth blocks (ICEB). This technology has the potential of substituting the current bricks by a more sustainable kind of block. This study was made in the context of the HiLoTec project, which focuses on houses in rural areas of developing countries. For this study, Malawi was chosen for a case study. This paper presents the experimental results of tests made with dry-stack ICEBs. Soil samples from Malawi were taken and studied. Since the experimental campaign could not be carried out in Malawi, a homogenization process of Portuguese soil was made to produce ICEBs at the University of Minho, Portugal. Then, the compression and tensile strength of the materials was determined via small cylinder samples. Subsequently, the compression and flexural strength of units were determined. Finally, tests to determine the compressive strength of both prisms and masonry wallets and to determine the initial shear strength of the dry interfaces were carried out. This work provides valuable data for low-cost eco-efficient housing

Unnatural amino acids as functional building blocks for fluorophore-labelled peptides

Comunicação oral convidada - IL4