Single-walled carbon nanotube-based polymer monoliths for the enantioselective nano-liquid chromatographic separation of racemic pharmaceuticals

Many protocols have been used for extraction of DNA from Thraustochytrids. These generally involve the use of CTAB, phenol/chloroform and ethanol. They also feature mechanical grinding, sonication, N2 freezing or bead beating. However, the resulting chemical and physical damage to extracted DNA reduces its quality. The methods are also unsuitable for large numbers of samples. Commercially-available DNA extraction kits give better quality and yields but are expensive. Therefore, an optimized DNA extraction protocol was developed which is suitable for Thraustochytrids to both minimise expensive and time-consuming steps prior to DNA extraction and also to improve the yield. The most effective method is a combination of single bead in TissueLyser (Qiagen) and Proteinase K. Results were conclusive: both the quality and the yield of extracted DNA were higher than with any other method giving an average yield of 8.5 µg/100 mg biomass.

Molecular basis of the kidney filtration barrier : Role of the nephrin protein complex

The kidney filtration barrier consists of fenestrated endothelial cell layer, glomerular basement membrane and slit diaphragm (SD), the specialized junction between glomerular viscelar epithelial cells (podocytes). Podocyte injury is associated with the development of proteinuria, and if not reversed the injury will lead to permanent deterioration of the glomerular filter. The early events are characterized by disruption of the integrity of the SD, but the molecular pathways involved are not fully understood. Congenital nephrotic syndrome of the Finnish type (CNF) is caused by mutations in NPHS1, the gene encoding the SD protein nephrin. Lack of nephrin results in loss of the SD and massive proteinuria beginning before birth. Furthermore, nephrin expression is decreased in acquired human kidney diseases including diabetic nephropathy. This highlights the importance of nephrin and consequently SD in regulating the kidney filtration function. However, the precise molecular mechanism of how nephrin is involved in the formation of the SD is unknown. This thesis work aimed at clarifying the role of nephrin and its interaction partners in the formation of the SD. The purpose was to identify novel proteins that associate with nephrin in order to define the essential molecular complex required for the establishment of the SD. The aim was also to decipher the role of novel nephrin interacting proteins in podocytes. Nephrin binds to nephrin-like proteins Neph1 and Neph2, and to adherens junction protein P-cadherin. These interactions have been suggested to play a role in the formation of the SD. In this thesis work, we identified densin as a novel interaction partner for nephrin. Densin was localized to the SD and it was shown to bind to adherens junction protein beta-catenin. Furthermore, densin was shown to behave in a similar fashion as adherens junction proteins in cell-cell contacts. These results indicate that densin may play a role in cell adhesion and, therefore, may contribute to the formation of the SD together with nephrin and adherens junction proteins. Nephrin was also shown to bind to Neph3, which has been previously localized to the SD. Neph3 and Neph1 were shown to induce cell adhesion alone, whereas nephrin needed to trans-interact with Neph1 or Neph3 from the opposite cell surface in order to make cell-cell contacts. This was associated with the decreased tyrosine phosphorylation of nephrin. These data extend the current knowledge of the molecular composition of the nephrin protein complex at the SD and also provide novel insights of how the SD may be formed. This thesis work also showed that densin was up-regulated in the podocytes of CNF patients. Neph3 was up-regulated in nephrin deficient mouse kidneys, which share similar podocyte alterations and lack of the SD as observed in CNF patients podocytes. These data suggest that densin and Neph3 may have a role in the formation of morphological alterations in podocytes detected in CNF patients. Furthermore, this thesis work showed that deletion of beta-catenin specifically from adult mouse podocytes protected the mice from the development of adriamycin-induced podocyte injury and proteinuria compared to wild-type mice. These results show that beta-catenin play a role in the adriamycin induced podocyte injury. Podocyte injury is a hallmark in many kidney diseases and the changes observed in the podocytes of CNF patient share characteristics with injured podocytes observed in chronic kidney diseases. Therefore, the results obtained in this thesis work suggest that densin, Neph3 and beta-catenin participate in the molecular pathways which result in morphological alterations commonly detected in injured podocytes in kidney diseases.

Molecular Characterization of Fibrotic Scarring in Kidneys with Congenital Nephrotic Syndrome of the Finnish type

Congenital nephrotic syndrome of the Finnish type (NPHS1, CNF) is an autosomal recessive disease, enriched in the Finnish population. NPHS1 is caused by a mutation in the NPHS1 gene. This gene encodes for nephrin, which is a major structural component of the slit diaphragm connecting podocyte foot processes in the glomerular capillary wall. In NPHS1, the genetic defect in nephrin leads to heavy proteinuria already in the newborn period. Finnish NPHS1 patients are nephrectomized at infancy, and after a short period of dialysis the patients receive a kidney transplant, which is the only curative therapy for the disease. In this thesis, we examined the cellular and molecular mechanisms leading to the progression of glomerulosclerosis and tubulointerstitial fibrosis in NPHS1 kidneys. Progressive mesangial expansion in NPHS1 kidneys is caused by mesangial cell hyperplasia and the accumulation of extracellular matrix proteins. Expansion of the extracellular matrix was caused by the normal mesangial cell component, collagen IV. However, no significant changes in mesangial cell phenotype or extracellular matrix component composition were observed. Endotheliosis was the main ultrastructural lesion observed in the endothelium of NPHS1 glomeruli. The abundant expression of vascular endothelial growth factor and its transcription factor hypoxia inducible factor-1 alpha were in accordance with the preserved structure of the endothelium in NPHS1 kidneys. Hypoperfusion of peritubular capillaries and tubulointerstitial hypoxia were evident in NPHS1 kidneys, indicating that these may play an important role in the rapid progression of fibrosis in the kidneys of NPHS1 patients. Upregulation of Angiotensin II was obvious, emphasizing its role in the pathophysiology of NPHS1. Excessive oxidative stress was evident in NPHS1 kidneys, manifested as an increase expression of p22phox, superoxide production, lipid oxide peroxidation and reduced antioxidant activity. In conclusion, our data indicate that mesangial cell proliferation and the accumulation of extracellular matrix accumulation are associated with the obliteration of glomerular capillaries, causing the reduction of circulation in peritubular capillaries. The injury and rarefaction of peritubular capillaries result in impairment of oxygen and nutrient delivery to the tubuli and interstitial cells, which correlates with the fibrosis, tubular atrophy and oxidative stress observed in NPHS1 kidneys.

Pathophysiology of Congenital Nephrotic Syndrome of the Finnish type

Congenital nephrotic syndrome of the Finnish type (NPHS1) is an autosomal recessive disease which is highly enriched in the Finnish population. It is caused by mutations in the NPHS1 gene encoding for nephrin, which is a major component of the glomerular filtration barrier in the kidney. Patients with NPHS1 have heavy proteinuria and nephrotic syndrome (NS) from birth and develop renal fibrosis in early childhood. Renal transplantation (TX) is the only curative treatment for NPHS1. These patients form the largest group of pediatric kidney transplant children in our country. The NPHS1 kidneys are removed in infancy and they serve as an excellent human material for studies of the pathophysiology of proteinuric kidney diseases. Sustained proteinuria is a major factor leading to end-stage renal failure and understanding this process is crucial for nephrology. In this study we investigated the glomerular and tubulointerstitial changes that occur in the NPHS1 kidneys during infancy as well as the expression of nephrin in non-renal tissues. We also studied the pathology and management of recurrent proteinuria in kidney grafts transplanted to NPHS1 children. Severe renal lesions evolved in patients with NPHS1 during the first months of life. Glomerular sclerosis developed through progressive mesangial sclerosis, and capillary obliteration was an early consequence of this process. Shrinkage of the glomerular tuft was common, whereas occlusion of tubular opening or protrusion of the glomerular tuft into subepithelial space or through the Bowman's capsule were not detected. Few inflammatory cells were detected in the mesangial area. The glomerular epithelial cells (podocytes) showed severe ultrastructural changes and hypertrophy. Podocyte proliferation and apoptosis were rare, but moderate amounts of podocytes were detached and ended up in the urine. The results showed that endocapillary lesions not extracapillary lesions, as generally believed were important for the sclerotic process in the NPHS1 glomeruli. In the tubulointerstitium, severe lesions developed in NPHS1 kidneys during infancy. Despite heavy proteinuria, tubular epithelial cells (TECs) did not show transition into myofibroblasts. The most abundant chemokines in NPHS1 tissue were neutrophil activating protein-2 (NAP-2), macrophage inhibiting factor (MIF), and monocyte chemoattractant protein-1 (MCP-1). Interstitial inflammation and fibrosis were first detected in the paraglomerular areas and the most abundant inflammatory cells were monocytes/macrophages. Arteries and arterioles showed intimal hypertrophy, but the pericapillary microvasculature remained quite normal. However, excessive oxidative stress was evident in NPHS1 kidneys. The results indicated that TECs were relatively resistant to the heavy tubular protein load. Nephrin was at first thought to be podocyte specific, but some studies especially in experimental animals have suggested that nephrin might also be expressed in non-renal tissues such as pancreas and central nervous system. The knowledge of nephrin biology is important for the evaluation of nephrin related diseases. In our study, no significant amounts of nephrin protein or mRNA were detected in non-renal tissues of man and pig as studied by immunohistochemistry and in situ hybridization. The phenotype analysis of NPHS1 children, who totally lack nephrin, revealed no marked impairment in the neurological, testicular, or pancreatic function speaking against the idea that nephrin would play an important functional role outside the kidney. The NPHS1 kidneys do not express nephrin and antibodies against this major glomerular filter protein have been observed in NPHS1 children after renal TX most likely as an immune reaction against a novel antigen. These antibodies have been associated with the development of recurrent NS in the kidney graft of NPHS1 patients. In our study, a third of the NPHS1 patients homozygous for Fin-Major mutation developed recurrent NS in the transplanted graft. Re-transplantations were performed to patients who lost their graft due to recurrent NS and heavy proteinuria immediately developed in all cases. While 73% of the patients had detectable serum anti-nephrin antibodies, the kidney biopsy findings were minimal. Introduction of plasma exchange (PE) to the treatment of recurrent nephroses increased the remission rate from 54% to 89%. If remission was achieved, recurrent NS did not significantly deteriorate the long term graft function. In conclusion, the results show that the lack of nephrin in podocyte slit diaphragm in NPHS1 kidneys induces progressive mesangial expansion and glomerular capillary obliteration and inflicts interstitial fibrosis, inflammation, and oxidative stress with surprisingly little involvement of the TECs in this process. Nephrin appears to have no clinical significance outside the kidney. Development of antibodies against nephrin seems to be a major cause of recurrent NS in kidney grafts of NPHS1 patients and combined use of PE and cyclophosphamide markedly improved remission rates.

Peritoneal dialysis and neurological outcome in infants and small children

Although improved outcomes for children on peritoneal dialysis (PD) have been seen in recent years, the youngest patients continue to demonstrate inferior growth, more frequent infections, more neurological sequelae, and higher mortality compared to older children. Also, maintain-ing normal intravascular volume status, especially in anuric patients, has proven difficult. This study was designed to treat and monitor these youngest PD patients, which are relatively many due to the high prevalence of congenital nephrotic syndrome of the Finnish type (CNF, NPHS1) in Finland, with a strict protocol, to evaluate the results and to improve metabolic balance, growth, and development. A retrospective analysis of 23 children under two years of age at onset of PD, treated between 1995 and 2000, was performed to obtain a control population for our prospective PD study. Respectively, 21 patients less than two years of age at the beginning of PD were enrolled in prospective studies between 2001 and 2005. Medication for uremia and nutrition were care-fully adjusted during PD. Laboratory parameters and intravascular volume status were regu-larly analyzed. Growth was analyzed and compared with midparental height. In a prospective neurological study, the risk factors for development and the neurological development was determined. Brain images were surveyed. Hearing was tested. In a retrospective neurological study, the data of six NPHS1 patients with a congruent neurological syndrome was analyzed. All these patients had a serious dyskinetic cerebral palsy-like syndrome with muscular dysto-nia and athetosis (MDA). They also had a hearing defect. Metabolic control was mainly good in both PD patient groups. Hospitalization time shortened clearly. The peritonitis rate diminished. Hypertension was a common problem. Left ventricular hypertrophy decreased during the prospective study period. None of the patients in either PD group had pulmonary edema or dialysis-related seizures. Growth was good and catch-up growth was documented in most patients in both patient groups during PD. Mortality was low (5% in prospective and 9% in retrospective PD patients). In the prospective PD patient group 11 patients (52%) had some risk factor for their neuro-development originating from the predialysis period. The neurological problems, detected be-fore PD, did not worsen during PD and none of the patients developed new neurological com-plications during PD. Brain infarcts were detected in four (19%) and other ischemic lesions in three patients (14%). At the end of this study, 29% of the prospectively followed patients had a major impairment of their neurodevelopment and 43% only minor impairment. In the NPHS1+MDA patients, no clear explanation for the neurological syndrome was found. The brain MRI showed increased signal intensity in the globus pallidus area. Kernic-terus was contemplated to be causative in the hypoproteinemic newborns but it could not be proven. Mortality was as high as 67%. Our results for young PD patients were promising. Metabolic control was acceptable and growth was good. However, the children were significantly smaller when compared to their midparental height. Although many patients were found to have neurological impairment at the end of our follow-up period, PD was a safe treatment whereby the neurodevelopment did not worsen during PD.

Supermacroporous Polymer-Based Cryogel Bioreactor for Monoclonal Antibody Production in Continuous Culture Using Hybridoma Cells

Cryogel matrices composed of different polymeric blends were synthesized, yielding a unique combination of hydrophilicity and hydrophobicity with the presence or absence of charged surface. Four such cryogel matrices composed of polyacrylamide-chitosan (PAAC), poly(N-isopropylacrylamide)-chitosan, polyacrylonitrile (PAN), and poly(N-isopropylacrylamide) were tested for growth of different hybridoma cell lines and production of antibody in static culture. All the matrices were capable for the adherence of hybridoma cell lines 6A4D7, B7B10, and H9E10 to the polymeric surfaces as well as for the efficient monoclonal antibody (mAb) production. PAAC proved to be relatively better in terms of both mAb production and cell growth. Further, PAAC cryogel was designed into three different formats, monolith, disks, and beads, and used as packing material for packed-bed bioreactor. Longterm cultivation of 6A4D7 cell line on PAAC cryogel scaffold in all the three formats could be successfully done for a period of 6 weeks under static conditions. Continuous packed-bed bioreactor was setup using 6A4D7 hybridoma cell line in the three reactor formats. The reactors ran continuously for a period of 60 days during which mAb production and metabolism of cells in the bioreactors were monitored periodically. The monolith bioreactor performed most efficiently over a period of 60 days and produced a total of 57.5 mg of antibody in the first 30 days (in 500 mL) with a highest concentration of 115 mu g mL(-1), which is fourfold higher than t-flask culture. The results demonstrate that appropriate chemistry and geometry of the bioreactor matrix for cell growth and immobilization can enhance the reactor productivity. (C) 2010 American Institute of Chemical Engineers Biotechnol. Prog., 27: 170-180, 2011

A template-free, combustion-chemical route to macroporous nickel monoliths displaying a hierarchy of pore sizes

Recently, we demonstrated a very general route to monolithic macroporous materials prepared without the use of templates (Rajamathi et al. J. Mater. Chem. 2001, 11, 2489). The route involves finding a precursor containing two metals, A and B, whose oxides are largely immiscible. Firing of the precursor followed by suitable sintering results in a monolith from which one of the oxide phases can be chemically leached out to yield a macroporous mass of the other oxide phase. The metals A and B that we employed in the demonstration were Ni and Zn. From the NiO-ZnO monolith that was obtained by decomposing the precursor, ZnO could be leached out at high pH to yield macroporous NiO. In the present work, we show that combustion-chemical (also called self-propagating) decomposition of a mixture of Ni and Zn nitrates with urea as a fuel yields an intimate mixture of the oxides that can be sintered and leached with alkali to form a macroporous NiO monolith. The new process that we present here thereby avoids the need for a crystalline single-source precursor. A novel and unanticipated aspect of the present work is that the combination of high temperatures and rapid quenching associated with combustion synthesis results in an intimate mixture of wurtzite ZnO and the metastable rock-salt Ni1-xZnxO where x is about 0.3. Leaching this monolith with alkali gives a macroporous mass of rock-salt Ni1-xZnxO, which upon reduction in H-2/Ar forms macroporous Ni and ZnO. There are thus two stages in the process that lead to two modes of pore formation. The first is associated with leaching of ZnO by alkali. The second is associated with the reduction of porous Ni1-xZnxO to give porous Ni and ZnO.

Poly(lactic-co-glycolic acid): Carbon nanofiber composites for myocardial tissue engineering applications

The objective of the present in vitro research was to investigate cardiac tissue cell functions (specifically cardiomyocytes and neurons) on poly(lactic-co-glycolic acid) (PLGA) (50:50 wt.%)-carbon nanofiber (CNF) composites to ascertain their potential for myocardial tissue engineering applications. CNF were added to biodegradable PLGA to increase the conductivity and cytocompatibility of pure PLGA. For this reason, different PLGA:CNF ratios (100:0, 75:25, 50:50,25:75, and 0:100 wt.%) were used and the conductivity as well as cytocompatibility of cardiomyocytes and neurons were assessed. Scanning electron microscopy, X-ray diffraction and Raman spectroscopy analysis characterized the microstructure, chemistry, and crystallinity of the materials of interest to this study. The results show that PLGA:CNF materials are conductive and that the conductivity increases as greater amounts of CNF are added to PLGA, from OS m(-1) for pure PLGA (100:0 wt.%) to 5.5 x 10(-3) S m(-1) for pure CNF (0:100 wt.%). The results also indicate that cardiomyocyte density increases with greater amounts of CNF in PLGA (up to 25:75 wt.% PLGA:CNF) for up to 5 days. For neurons a similar trend to cardiomyocytes was observed, indicating that these conductive materials promoted the adhesion and proliferation of two cell types important for myocardial tissue engineering applications. This study thus provides, for the first time, an alternative conductive scaffold using nanotechnology which should be further explored for cardiovascular applications. (C) 2011 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Cytocompatibility property evaluation of gas pressure sintered SiAlON-SiC composites with L929 fibroblast cells and Saos-2 osteoblast-like cells

Although the oxide ceramics have widely been investigated for their biocompatibility, non-oxide ceramics, such as SiAlON and SiC are yet to be explored in detail. Lack of understanding of the biocompatibility restricts the use of these ceramics in clinical trials. It is hence, essential to carry out proper and thorough study to assess cell adhesion, cytocompatibility and cell viability on the non-oxide ceramics for the potential applications. In this perspective, the present research work reports the cytocompatibility of gas pressure sintered SiAlON monolith and SiAlON-SiC composites with varying amount of SIC, using connective tissue cells (L929) and bone cells (Saos-2). The quantification of cell viability using MTT assay reveals the non-cytotoxic response. The cell viability has been found to be cell type dependent. An attempt has been made to discuss the cytocompatibility of the developed composites in the light of SiC content and type of sinter additives. (C) 2011 Elsevier B.V. All rights reserved.

Ballistic Studies on TiB2-Ti Functionally Graded Armor Ceramics

The objective of this paper is to discuss the results of the ballistic testing of spark plasma sintered TiB2-Ti based functionally graded materials (FGMs) with an aim to assess their performance in defeating small-calibre armor piercing projectiles. We studied the efficacy of FGM design and compared its ballistic properties with those of TiB2-based composites as well as other competing ceramic armors. The ballistic properties are critically analyzed in terms of depth of penetration, ballistic efficiency, fractographs of fractured surfaces as well as quantification of the shattered ceramic fragments. It was found that all the investigated ceramic compositions exhibit ballistic efficiency (eta) of 5.1 -5.9. We also found that by increasing the thickness of FGM from 5 mm to 7.8 mm, the ballistic property of the composite degraded. Also, the strength of the ceramic compositions studied is sufficient to completely fracture the nose of the pointed projectile used. Analysis of the ceramic fragments (2 mu m-10 mm) showed that harder the ceramic, coarser were the fragments formed. On comparing the results with available armor systems, it has been concluded that TiB2 based composites can show better ballistic properties, except B4C. SEM analysis of the fragments obtained after testing with FGM showed formation of cleavage steps as well as presence of intergranular cracks, indicating that the FGM fractured by mixed mode of failure. It can be concluded that the FGM developed has lower ballistic properties compared to its monolith TiB2-20 wt.% Ti.

Carbon nanoflake growth from carbon nanotubes by hot filament chemical vapor deposition

We report the growth of carbon nanoflakes (CNFs) on Si substrate by the hot filament chemical vapor deposition without the substrate bias or the catalyst. CNFs were grown using the single wall carbon nanotubes and the multiwall carbon nanotubes as the nucleation center, in the Ar-rich CH4-H-2-Ar precursor gas mixture with 1% CH4, at the chamber pressure and the substrate temperature of 7.5 Ton and 840 degrees C, respectively. In the H-2-rich condition, CNF synthesis failed due to severe etch-removal of carbon nanotubes (CNTs) while it was successful at the optimized Ar-rich condition. Other forms of carbon such as nano-diamond or mesoporous carbon failed to serve as the nucleation centers for the CNF growth. We proposed a mechanism of the CNF synthesis from the CNTs, which involved the initial unzipping of CNTs by atomic hydrogen and subsequent nucleation and growth of CNFs from the unzipped portion of the graphene layers. (C) 2013 Elsevier Ltd. All rights reserved.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Procesado, estructura y propiedades de materiales compuestos de matriz termoplástica y nanorefuerzos de carbono

208 p.

Análise dos aspectos biológicos e epidemiológicos de cepas de Escherichia coli associadas à infecção do trato urinário (ITU)

A invasão de bactérias no trato urinário caracteriza a infecção do sistema urinário. A Escherichia coli é o principal microrganismo associado a esta infecção devido a sua importância em causar ITU, recebeu a denominação de UPEC (Escherichia coli uropatogênica). No presente trabalho pesquisamos em 50 cepas de UPEC, inicialmente isolados de urina de pacientes ambulatoriais com infecções sintomática ou assintomática, a presença de 7 fatores de virulência, através das técnicas de PCR simples e multiplex para verificação dos genes que codificam adesinas P (pap) , fímbria S (sfa), adesina afimbrial (afa), sideroforo (aerobactina- aer), toxinas fator necrotizante citotóxico (cnf) e alfa-hemolisinas (hly), proteína de membrana (traT); ilhas de patogenicidade (virulência) através do marcador PAI. O marcador pCVD432 de EAEC também foi pesquisado nestas amostras. O método difusão em disco foi o utilizado para a determinação dos testes de susceptibilidade aos antimicrobianos. Podemos observar duas faixas etárias de maior incidência de ITU entre as mulheres: 19 a 35 anos, e acima de 50 anos. Sessenta e oito por cento das amostras apresentaram pelo menos um fator de virulência, onde os genes traT (54%) e aer (34%) foram os mais prevalentes. A sequência pCVD432 foi detectado em 6 amostras. No entanto, no ensaio de adesão em células Hep-2, doze amostras não apresentaram aderência (NA 24%). Nas 38 cepas restantes, 24 (48%) apresentaram aderência agregativa (AA). Observamos aderência sem padrão típico (SPT) em 48% das amostras, tendo sido dividido em discreto (SPT-D 22%), moderado (SPT-M 18%) e intenso (SPT-I 8%). Notamos os seguintes perfis de resistência para os antimicrobianos testados: ampicilina (44%), gentamicina (8%), nitrofurantoína (2%), norfloxacino (18%) e sulfametozaxol-trimetoprima (34%).

一种基于SAT的运算电路查错方法

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF，通过采用了标志子句技术的E-SAT求解器进行求解．实验表明该方法自动化程度高，能处理大规模的运算电路，有较强的查找错误能力．