Transplantation of mononuclear cells from human umbilical cord blood promotes functional recovery after traumatic spinal cord injury in Wistar rats

Cell transplantation is a promising experimental treatment for spinal cord injury. The aim of the present study was to evaluate the efficacy of mononuclear cells from human umbilical cord blood in promoting functional recovery when transplanted after a contusion spinal cord injury. Female Wistar rats (12 weeks old) were submitted to spinal injury with a MASCIS impactor and divided into 4 groups: control, surgical control, spinal cord injury, and one cell-treated lesion group. Mononuclear cells from umbilical cord blood of human male neonates were transplanted in two experiments: a) 1 h after surgery, into the injury site at a concentration of 5 x 10(6) cells diluted in 10 µL 0.9% NaCl (N = 8-10 per group); b) into the cisterna magna, 9 days after lesion at a concentration of 5 x 10(6) cells diluted in 150 µL 0.9% NaCl (N = 12-14 per group). The transplanted animals were immunosuppressed with cyclosporin-A (10 mg/kg per day). The BBB scale was used to evaluate motor behavior and the injury site was analyzed with immunofluorescent markers to label human transplanted cells, oligodendrocytes, neurons, and astrocytes. Spinal cord injury rats had 25% loss of cord tissue and cell treatment did not affect lesion extension. Transplanted cells survived in the injured area for 6 weeks after the procedure and both transplanted groups showed better motor recovery than the untreated ones (P < 0.05). The transplantation of mononuclear cells from human umbilical cord blood promoted functional recovery with no evidence of cell differentiation.

Effect of endogenous hydrogen sulfide inhibition on structural and functional renal disturbances induced by gentamicin

Animal models of gentamicin nephrotoxicity present acute tubular necrosis associated with inflammation, which can contribute to intensify the renal damage. Hydrogen sulfide (H2S) is a signaling molecule involved in inflammation. We evaluated the effect of DL-propargylglycine (PAG), an inhibitor of endogenous H2S formation, on the renal damage induced by gentamicin. Male Wistar rats (N = 8) were injected with 40 mg/kg gentamicin (im) twice a day for 9 days, some of them also received PAG (N = 8, 10 mg·kg-1·day-1, ip). Control rats (N = 6) were treated with saline or PAG only (N = 4). Twenty-four-hour urine samples were collected one day after the end of these treatments, blood samples were collected, the animals were sacrificed, and the kidneys were removed for quantification of H2S formation and histological and immunohistochemical studies. Gentamicin-treated rats presented higher sodium and potassium fractional excretion, increased plasma creatinine [4.06 (3.00; 5.87) mg%] and urea levels, a greater number of macrophages/monocytes, and a higher score for tubular interstitial lesions [3.50 (3.00; 4.00)] in the renal cortex. These changes were associated with increased H2S formation in the kidneys from gentamicin-treated rats (230.60 ± 38.62 µg·mg protein-1·h-1) compared to control (21.12 ± 1.63) and PAG (11.44 ± 3.08). Treatment with PAG reduced this increase (171.60 ± 18.34), the disturbances in plasma creatinine levels [2.20 (1.92; 4.60) mg%], macrophage infiltration, and score for tubular interstitial lesions [2.00 (2.00; 3.00)]. However, PAG did not interfere with the increase in fractional sodium excretion provoked by gentamicin. The protective effect of PAG on gentamicin nephrotoxicity was related, at least in part, to decreased H2S formation.

Effect of skilled and unskilled training on nerve regeneration and functional recovery

The most disabling aspect of human peripheral nerve injuries, the majority of which affect the upper limbs, is the loss of skilled hand movements. Activity-induced morphological and electrophysiological remodeling of the neuromuscular junction has been shown to influence nerve repair and functional recovery. In the current study, we determined the effects of two different treatments on the functional and morphological recovery after median and ulnar nerve injury. Adult Wistar male rats weighing 280 to 330 g at the time of surgery (N = 8-10 animals/group) were submitted to nerve crush and 1 week later began a 3-week course of motor rehabilitation involving either "skilled" (reaching for small food pellets) or "unskilled" (walking on a motorized treadmill) training. During this period, functional recovery was monitored weekly using staircase and cylinder tests. Histological and morphometric nerve analyses were used to assess nerve regeneration at the end of treatment. The functional evaluation demonstrated benefits of both tasks, but found no difference between them (P > 0.05). The unskilled training, however, induced a greater degree of nerve regeneration as evidenced by histological measurement (P < 0.05). These data provide evidence that both of the forelimb training tasks used in this study can accelerate functional recovery following brachial plexus injury.

Gastric emptying of water in children with severe functional fecal retention

The objective of this study was to evaluate gastric emptying (GE) in pediatric patients with functional constipation. GE delay has been reported in adults with functional constipation. Gastric emptying studies were performed in 22 children with chronic constipation, fecal retention and fecal incontinence, while presenting fecal retention and after resuming regular bowel movements. Patients (18 boys, median age: 10 years; range: 7.2 to 12.7 years) were evaluated in a tertiary pediatric gastroenterology clinic. Gastric half-emptying time of water (reference range: 12 ± 3 min) was measured using a radionuclide technique immediately after first patient evaluation, when they presented fecal impaction (GE1), and when they achieved regular bowel movements (GE2), 12 ± 5 weeks after GE1. At study admission, 21 patients had reported dyspeptic symptoms, which were completely relieved after resuming regular bowel movements. Medians (and interquartile ranges) for GE1 and GE2 were not significantly different [27.0 (16) and 27.5 (21) min, respectively (P = 0.10)]. Delayed GE seems to be a common feature among children with chronic constipation and fecal retention. Resuming satisfactory bowel function and improvement in dyspeptic symptoms did not result in normalization of GE data.

Effect of melatonin on the functional recovery from experimental traumatic compression of the spinal cord

Spinal cord injury is an extremely severe condition with no available effective therapies. We examined the effect of melatonin on traumatic compression of the spinal cord. Sixty male adult Wistar rats were divided into three groups: sham-operated animals and animals with 35 and 50% spinal cord compression with a polycarbonate rod spacer. Each group was divided into two subgroups, each receiving an injection of vehicle or melatonin (2.5 mg/kg, intraperitoneal) 5 min prior to and 1, 2, 3, and 4 h after injury. Functional recovery was monitored weekly by the open-field test, the Basso, Beattie and Bresnahan locomotor scale and the inclined plane test. Histological changes of the spinal cord were examined 35 days after injury. Motor scores were progressively lower as spacer size increased according to the motor scale and inclined plane test evaluation at all times of assessment. The results of the two tests were correlated. The open-field test presented similar results with a less pronounced difference between the 35 and 50% compression groups. The injured groups presented functional recovery that was more evident in the first and second weeks. Animals receiving melatonin treatment presented more pronounced functional recovery than vehicle-treated animals as measured by the motor scale or inclined plane. NADPH-d histochemistry revealed integrity of the spinal cord thoracic segment in sham-operated animals and confirmed the severity of the lesion after spinal cord narrowing. The results obtained after experimental compression of the spinal cord support the hypothesis that melatonin may be considered for use in clinical practice because of its protective effect on the secondary wave of neuronal death following the primary wave after spinal cord injury.

Limb immobilization alters functional electrophysiological parameters of sciatic nerve

Immobilization, used in clinical practice to treat traumatologic problems, causes changes in muscle, but it is not known whether changes also occur in nerves. We investigated the effects of immobilization on excitability and compound action potential (CAP) and the ultrastructure of the rat sciatic nerve. Fourteen days after immobilization of the right leg of adult male Wistar rats (n=34), animals were killed and the right sciatic nerve was dissected and mounted in a moist chamber. Nerves were stimulated at a baseline frequency of 0.2 Hz and tested for 2 min at 20, 50, and 100 Hz. Immobilization altered nerve excitability. Rheobase and chronaxy changed from 3.13±0.05 V and 52.31±1.95 µs (control group, n=13) to 2.84±0.06 V and 59.71±2.79 µs (immobilized group, n=15), respectively. Immobilization altered the amplitude of CAP waves and decreased the conduction velocity of the first CAP wave (from 93.63±7.49 to 79.14±5.59 m/s) but not of the second wave. Transmission electron microscopy showed fragmentation of the myelin sheath of the sciatic nerve of immobilized limbs and degeneration of the axon. In conclusion, we demonstrated that long-lasting leg immobilization can induce alterations in nerve function.

Expression, production, and renaturation of a functional single-chain variable antibody fragment (scFv) against human ICAM-1

Intercellular adhesion molecule-1 (ICAM-1) is an important factor in the progression of inflammatory responses in vivo. To develop a new anti-inflammatory drug to block the biological activity of ICAM-1, we produced a monoclonal antibody (Ka=4.19×10−8 M) against human ICAM-1. The anti-ICAM-1 single-chain variable antibody fragment (scFv) was expressed at a high level as inclusion bodies in Escherichia coli. We refolded the scFv (Ka=2.35×10−7 M) by ion-exchange chromatography, dialysis, and dilution. The results showed that column chromatography refolding by high-performance Q Sepharose had remarkable advantages over conventional dilution and dialysis methods. Furthermore, the anti-ICAM-1 scFv yield of about 60 mg/L was higher with this method. The purity of the final product was greater than 90%, as shown by denaturing gel electrophoresis. Enzyme-linked immunosorbent assay, cell culture, and animal experiments were used to assess the immunological properties and biological activities of the renatured scFv.

Imbalanced expression of functional surface molecules in regulatory and effector T cells in systemic lupus erythematosus

Regulatory T (TREG) cells play an important role in maintaining immune tolerance and avoiding autoimmunity. We analyzed the expression of membrane molecules in TREG and effector T cells in systemic lupus erythematosus (SLE). TREG and effector T cells were analyzed for the expression of CTLA-4, PD1, CD28, CD95, GITR, HLA-DR, OX40, CD40L, and CD45RO in 26 patients with active disease, 31 with inactive disease, and 26 healthy controls. TREG cells were defined as CD25+/highCD127Ø/lowFoxP3+, and effector T cells were defined as CD25+CD127+FoxP3Ø. The ratio of TREG to effector T cells expressing GITR, PD1, HLA-DR, OX40, CD40L, and CD45RO was determined in the three groups. The frequency of TREG cells was similar in patients with SLE and controls. However, SLE patients had a decreased frequency of CTLA-4+TREG and CD28+TREG cells and an increased frequency of CD40L+TREG cells. There was a decrease in the TREG/effector-T ratio for GITR+, HLA-DR+, OX40+, and CD45RO+ cells, and an increased ratio of TREG/effector-T CD40L+ cells in patients with SLE. In addition, CD40L+TREG cell frequency correlated with the SLE disease activity index (P=0.0163). In conclusion, our findings showed several abnormalities in the expression of functionally critical surface molecules in TREG and effector T cells in SLE that may be relevant to the pathogenesis of this disease.

Negative emotions affect postoperative scores for evaluating functional knee recovery and quality of life after total knee replacement

This study aimed to determine whether psychological factors affect health-related quality of life (HRQL) and recovery of knee function in total knee replacement (TKR) patients. A total of 119 TKR patients (male: 38; female: 81) completed the Beck Anxiety Inventory (BAI), Beck Depression Inventory (BDI), State Trait Anxiety Inventory (STAI), Eysenck Personality Questionnaire-revised (EPQR-S), Knee Society Score (KSS), and HRQL (SF-36). At 1 and 6 months after surgery, anxiety, depression, and KSS scores in TKR patients were significantly better compared with those preoperatively (P<0.05). SF-36 scores at the sixth month after surgery were significantly improved compared with preoperative scores (P<0.001). Preoperative Physical Component Summary Scale (PCS) and Mental Component Summary Scale (MCS) scores were negatively associated with extraversion (E score) (B=-0.986 and -0.967, respectively, both P<0.05). Postoperative PCS and State Anxiety Inventory (SAI) scores were negatively associated with neuroticism (N score; B=-0.137 and -0.991, respectively, both P<0.05). Postoperative MCS, SAI, Trait Anxiety Inventory (TAI), and BAI scores were also negatively associated with the N score (B=-0.367, -0.107, -0.281, and -0.851, respectively, all P<0.05). The KSS function score at the sixth month after surgery was negatively associated with TAI and N scores (B=-0.315 and -0.532, respectively, both P<0.05), but positively associated with the E score (B=0.215, P<0.05). The postoperative KSS joint score was positively associated with postoperative PCS (B=0.356, P<0.05). In conclusion, for TKR patients, the scores used for evaluating recovery of knee function and HRQL after 6 months are inversely associated with the presence of negative emotions.

Functional characterization of acetylated Brazil nut (Bertholletia excelsa HBK) kernel globulin

Defatted Brazil nut kernel flour, a rich source of high quality proteins, is presently being utilized in the formulation of animal feeds. One of the possible ways to improve its utilization for human consumption is through improvement in its functional properties. In the present study, changes in some of the functional properties of Brazil nut kernel globulin were evaluated after acetylation at 58.6, 66.2 and 75.3% levels. The solubility of acetylated globulin was improved above pH 6.0 but was reduced in the pH range of 3.0-4.0. Water and oil absorption capacity, as well as the viscosity increased with increase in the level of acetylation. Level of modification also influenced the emulsifying capacity: decreased at pH 3.0, but increased at pH 7.0 and 9.0. Highest emulsion activity (approximately 62.2%) was observed at pH 3.0 followed by pH 9.0 and pH 7.0 and least (about 11.8%) at pH 5.0. Emulsion stability also followed similar behavior as that of emulsion activity.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Biotechnological production of bioflavors and functional sugars

Bioflavors and oligosaccharides are two classes of substances that may be produced biotechnologically through microbial bioprocesses. These compounds have attracted the interest of pharmaceutical and food industries not only due to their technological properties (sweetening/fiber or flavoring, respectively), but also as a consequence of other functional properties such as, for example, health promoting benefits. The use of agro-industrial residues as substrates in biotechnological processes seems to be a valuable alternative in helping to overcome the high manufacturing costs of industrial fermentations. This manuscript reviews the most important advances in biotechnological production of bioflavors and oligosaccharides. The use of some agro-industrial residues in such processes is also cited and discussed, showing that this is a rising trend in biotechnology.