7 resultados para direct operational calculus
em Universidade do Minho
Resumo:
Mesenchymal stem cells (MSCs) are considered to be â â immunologically privileged.â â In a previous work when human adipose tissue-derived stem cells (hASCs) subcutaneously implanted in mice we did not identify an adverse host response1. Recently, it was shown that tissue regeneration could benefit from the polarization of M2 macrophages subpopulations 2. In this study we hypothesised that undifferentiated hASCs and derived osteoblasts and chondrocytes are able to switch murine bone marrow-derived macrophages (mBMMÃ s) into M2 phenotype, aiding tissue regeneration. Murine BMMÃ s were plated in direct contact with undifferentiated and osteo or chondro-differentiated hASCs for 4 h, 10 h, 24 h and 72 h. The cytokine profile was analysed by qRT-PCR and the surface markers were detected by flow cytometry. The direct interaction of both cell types was observed by time lapse microscopy. The results showed that mBMMÃ s polarized after contacting tissue culture polystyrene. This M2 phenotype was maintained along the experiment in direct contact with both undifferentiated and osteo or chondro-differentiated hASCs. This was confirmed by the expression of IL-1, IL-10, IL-4, TNF-a and IFN-g (genetic profile) and surface markers (CD206 + + , CD336 + + , MHC II + and CD86 + + ) detection. These data suggest the potential of hASCs in contemporary xenogenic tissue engineering and regenerative medicine strategies, as well as host immune system modulation in autoimmune diseases.
Resumo:
Adding fibres to concrete provides several advantages, especially in terms of controlling the crack opening width and propagation after the cracking onset. However, distribution and orientation of the fibres toward the active crack plane are significantly important in order to maximize its benefits. Therefore, in this study, the effect of the fibre distribution and orientation on the post-cracking tensile behaviour of the steel fibre reinforced self-compacting concrete (SFRSCC) specimens is investigated. For this purpose, several cores were extracted from distinct locations of a panel and were subjected to indirect (splitting) and direct tensile tests. The local stress-crack opening relationship (σ-w) was obtained by modelling the splitting tensile test under the finite element framework and by performing an Inverse Analysis (IA) procedure. Afterwards the σ-w law obtained from IA is then compared with the one ascertained directly from the uniaxial tensile tests. Finally, the fibre distribution/orientation parameters were determined adopting an image analysis technique.
Resumo:
A search is presented for the direct pair production of a chargino and a neutralino pp→χ~±1χ~02, where the chargino decays to the lightest neutralino and the W boson, χ~±1→χ~01(W±→ℓ±ν), while the neutralino decays to the lightest neutralino and the 125 GeV Higgs boson, χ~02→χ~01(h→bb/γγ/ℓ±νqq). The final states considered for the search have large missing transverse momentum, an isolated electron or muon, and one of the following: either two jets identified as originating from bottom quarks, or two photons, or a second electron or muon with the same electric charge. The analysis is based on 20.3 fb−1 of s√=8 TeV proton-proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with the Standard Model expectations, and limits are set in the context of a simplified supersymmetric model.
Resumo:
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.
Resumo:
It has been already shown that delivering tDCS that are spaced by an interval alters its impact on motor plasticity. These effects can be explained, based on metaplasticity in which a previous modification of activity in a neuronal network can change the effects of subsequent interventions in the same network. But to date there is limited data assessing metaplasticity effects in cognitive functioning.
Resumo:
This paper reviews and extends searches for the direct pair production of the scalar supersymmetric partners of the top and bottom quarks in proton--proton collisions collected by the ATLAS collaboration during the LHC Run 1. Most of the analyses use 20 fb−1 of collisions at a centre-of-mass energy of s√=8 TeV, although in some case an additional 4.7 fb−1 of collision data at s√=7 TeV are used. New analyses are introduced to improve the sensitivity to specific regions of the model parameter space. Since no evidence of third-generation squarks is found, exclusion limits are derived by combining several analyses and are presented in both a simplified model framework, assuming simple decay chains, as well as within the context of more elaborate phenomenological supersymmetric models.
Resumo:
Dissertação de mestrado em Bioengenharia