968 resultados para formula workflow
Resumo:
A novel heteronuclear 3d-4f compound having formula NdCu3L3·13H2O (where H3L = Schiff base derived from 5-bromosalicylaldehyde and glycylglycine and L³ = C11H8 N2O4Br) was obtained. It was characterized by elemental and thermal analyses and magnetic measurements. The Cu(II)-Nd(III) compound is stable up to 323 K. During dehydration process the water molecules are lost in two stages. The magnetic susceptibility data for this complex change with temperature according to the Curie-Weiss law with theta = -35 K. The magnetic moment values decrease from 5.00µB at 303 K to 4.38µB at 76 K.
Resumo:
The physico-chemical properties of the new 3d-4f heteronuclear complexes with general formula LnCu3(C11H8N2 O4Br)3·13H2O (where Ln = Pr, Eu, Gd, Tb, Er, Yb and H3(C11H8N2 O4Br) - 5-bromosalicylideneglycylglycine) were studied. The compounds were characterized by elemental, spectral and thermal analyses and magnetic measurements. The formation of Schiff base is evidenced by a strong band at ca. 1646-1650 cm-1 attributable to C=N stretching mode. The presence of water molecules is confirmed by broad absorptions with maximum at 3360 - 3368 cm-1. The Cu(II)-Ln(III) complexes are stable up to ca. 318 K. During dehydration process the water molecules are lost probably in two stages. The magnetic susceptibility data for these complexes change with temperature according to the Curie-Weiss law.
Resumo:
The complexes of 2-methoxyhenoxyacetates of Mn(II), Co(II), Ni(II) and Cu(II)with the general formula: M(C9H9O4)3·4H2O, where M(II) = Mn, Co, Ni and Cu have been synthesized and characterized by elemental analysis, IR spectroscopy, magnetic and thermogravimetric studies and also X-ray diffraction measurements. The complexes have colours typical for M(II) ions (Mn(II) - a pale pink, Co(II) - pink, Ni(II) - green, and Cu(II) - blue). The carboxylate group binds as monodentate and bidentate ligands. On heating to 1273K in air the complexes decompose in the same way. At first, they dehydrate in one step to anhydrous salts, that next decompose to the oxides of respective metals with the intermediate formation of the oxycarbonates. Their solubility in water at 293K is of the order of 10-5 mol·dm-3. The magnetic moments of analysed complexes were determined in the range of 76-303K. The results reveal them to be high-spin complexes of weak ligand fields.
Resumo:
Solid State M-2-MeO-CP compounds, where M stands for bivalent metals (Mn, Fe, Co, Ni, Cu and Zn) and 2-MeO-CP is 2-methoxycinnamylidenepyruvate, were synthesized. Simultaneous thermogravimetry and differential thermal analysis (TG-DTA), differential scanning calorimetry (DSC), elemental analysis and complexometry were used to establish the stoichiometry and to study the thermal behaviour of these compounds in CO2 and N2 atmospheres. The results were consistent with the general formula: M(L)2∙H2O. In both atmospheres (CO2, N2) the thermal decomposition occurs in consecutive steps which are characteristic of each compound. For CO2 atmosphere the final residues were: Mn3O4, Fe3O4, Co3O4, NiO, Cu2O and ZnO, while under N2 atmosphere the thermal decomposition is still observed at 1000 º C.
Resumo:
Este artigo se propõe a apresentar a formulação feuerbachiana do fundamento sensível do pensamento, buscando mostrar que nesse empreendimento Feuerbach: [1] toma como base uma teoria da objetivação, inseparável de uma teoria do homem como essência-gênero (Gattungswesen); [2] formula uma interpretação do desenvolvimento moderno da filosofia ao qual sua proposta filosófica seria imanente e do qual seria o resultado necessário; e [3] chega a formular as bases de uma nova posição ética, no plexo Eu-Tu. Desse modo, sua posição ontológica, ao reivindicar o sensível como o verdadeiro, não se constitui num imediatismo, pois o sensível aí apresentado é ele mesmo mediado pela existência genérica dos homens.
Resumo:
Neste artigo,é exposto e discutido o caminho percorrido por Hasdai Crescas (1340-1411), filósofo judeu medieval que viveu em Barcelona, na elaboração de sua prova para a existência de Deus, formulada com base em sua crítica às provas apresentadas por Maimônides (1138-1204) no "Guia dos Perplexos". A crítica de Crescas parte da formulação de um conceito geral de existência aplicável tanto ao ser necessário quanto aos seres contingentes. Outro aspecto interessante em seu caminho para a elaboração da prova da existência de Deus é a distinção que ele faz entre quididade e existência no ser necessário, posição única entre os medievais e que introduz um importante aspecto de imanência em sua ideia de Deus, distinguindo-a radicalmente daquela defendida por Maimônides.
Resumo:
The prevalence of inflammatory based diseases has increased in industrialized countries over the last decades. For allergic diseases, two primary hypotheses have been proposed to explain this phenomenon, namely the hygiene and dietary evolution based hypothesis. Particularly, the reduced early exposure to microbes and an increase in the amount of polyunsaturated fatty acids (especially n-6 PUFA) in the diet have been discussed. Often, these two factors have been studied independently, even though both factors have been shown to possess potential health benefits and their mode of action to share similar mechanisms. The hypothesis of the present study was that demonstrate that PUFA and probiotics are not separate entities as such but do interact with each other. In the present study, we investigated whether maternal diet and atopic status influence the PUFA composition of breast milk and serum fatty acids of infants, and whether the fatty acid absorption and utilization of infant formula fatty acids is affected by supplementation of infant formula with probiotic bacteria (Lactobacillus GG and Bifidobacterium lactis Bb-12). Moreover, we investigated the mechanisms by which different PUFA influence the physicochemical and functional properties of probiotics as well as functionality of epithelial cells in vitro. We demonstrated a carry-over effect of dietary fatty acids from maternal diet via breast milk into infants’ serum lipid fatty acids. Our data confirmed the previously shown allergy –related PUFA level imbalances, though it did not fully support the impaired desaturation and elongation capacity hypothesis. We also showed that PUFA incorporation into phospholipids of infants was influenced by probiotics in infant formula in a strain dependent manner. Especially,Bifidobacterium lactis Bb-12 in infant formula promoted the utilization of n-3 PUFA. Mechanistically, we demonstrated that probiotics (Lactobacillus GG, Lactobacillus casei Shirota and Lactobacillus bulgaricus) did incorporate and interconvert exogenous free PUFA in the growth medium into bacterial fatty acids strain and PUFA dependently. In general, high concentrations of free PUFA inhibited the growth and mucus adhesion of probiotics, whereas low concentrations of specific long chain PUFA were found to promote the growth and mucus adhesion of Lactobacillus casei Shirota. These effects were paralleled with only minor alterations in hydrophobicity and electron donor – electron acceptor properties of lactobacilli. Furthermore, free PUFA were also demonstrated to alter the adhesion capacity of the intestinal epithelial cells; n-6 PUFA tended to inhibit the Caco-2 adhesion of probiotics, whereas n-3 PUFA had either no or minor effects or even promote the bacterial adhesion (especially Lactobacillus casei Shirota) to PUFA treated Caco-2 cells. The results of this study demonstrate the close and bilateral interactions between dietary PUFA and probiotics. Probiotics were shown to influence the absorption and utilization of dietary PUFA, whereas PUFA were shown to alter the functional properties of both probiotics and mucosal epithelia. These findings suggest that a more thorough understanding of interactions between PUFA and intestinal microbiota is a prerequisite, when the beneficial effects of new functional foods containing probiotics are designed and planned for human intervention studies.
Resumo:
Tavoitteena työssä oli tuottaa ja kerätä tietoa uuden liiketoiminnan kehittämistä tukevan toimintamallin suunnittelu- ja kehitystyötä varten. Tietoa kerättiin aikaisemmasta tutkimuksesta, kirjallisuudesta sekä empiirisistä lähteistä. Tutkimusta työssä tehtiin konstruktiivisen lähestymistapaa mukaillen. Empiirisen tiedon keräämis- ja tuottamistapoina käytettiin teemahaastattelua, verkkokyselyä ja työpajatyöskentelyä. Lisäksi työssä analysoitiin kaksi olemassa olevaa uuden liiketoiminnan kehittämisen toimintamallia. Teoriatarkastelu työssä keskityttiin innovaation alkupäähän, liiketoimintamalleihin, asiakasarvoihin, verkostoihin ja innovaation alkupään menestystekijöihin. Näiden pohjalta tuotettiin kehitelmä hyödynnettävyydestä sekä kuvaus uuden liiketoiminnan kehittämisen varhaisista vaiheista. Tätä kaikkea hyödyntäen koottiin suunnittelutiedon lisäksi jatkokehitystä tukeva konseptimainen toimintamalli. Tämän konseptimaisen vision tarkoituksena on toimia jatkossa suunnan näyttäjänä varsinaista toimintamallia rakennettaessa.
Resumo:
The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.
Resumo:
By interpreting research results about textbooks this study tries to answer the question: how should texts be formulated to optimize the learning of the reading pupil? Seven perspectives structure the research: History. The amount of information available in a society influences the learning offered by textbooks. A compressed description indicates that memorizing activities have turned to tendencies for critical reading. Curriculum. The decentralization of curriculum development accentuates the importance of the textbook authors as interpreters of significant information. Because of the authority of textbooks, the way that information is presented can function as an unintended curriculum. Use. In the use of textbooks different functions can be identified. Thus the textbooks have, for instance, an authoritarian, a cohesive and a disciplinary function. Level of difficulty. A text that optimally matches the skills of the readers ina class should both provide facilitating scaffolds for the learning and at the same time challenge especially capable students by not being too obvious. Changing of preconceptions. The only possible starting point for teaching is the knowledge developed earlier by the student. In certain areas misconceptions are usual, which motivates the use of conceptual change texts that enhance the transformation of earlier obtained knowledge. Coherence. Well structured texts can usually be considered beneficial for learning. The same applies to the use of meta-discourse guiding the reader through the text. If the structuring is too obvious, the content may not, at least by capable students, be processed on a deep level. Content. The analysis underlines the need for deep approaches in textbooks. Though this is a relative statement, textbooks from a learning perspective seem to have been too superficial in their presentations. Ten principles were developed as a concluding interpretation of the good textbook. Though these principles capture important tendencies for developing a good textbook, textbook writing has to be considered as an art that cannot be captured in a short formula. The paradoxes identified indicate that the results should be seen as a starting point for further research.
Resumo:
No controle do nematoide das lesões (Pratylenchus brachyurus), têm sido indicadas algumas estratégias visando redução dos níveis populacionais, e outras que estimulam o desenvolvimento radicular, assim, objetivou-se, neste trabalho, identificar os benefícios das interações entre culturas de cobertura, teor de matéria orgânica do solo e sistemas de plantio. Foram escolhidas 2 áreas com infestação natural do nematoide e implantadas as culturas de cobertura Crotalaria spectabilis, Pennisetum glaucum (milheto ADR 300), Brachiaria decumbens, milho (híbrido 'Formula'), além de tratamentos com e sem capina química. A testemunha foi o alqueive (capina periódica). O plantio das coberturas foi realizado no dia 22/02/2010, e, no dia 3/11/2010, foi implantada a cultura da soja. Cada ensaio contou com parcelas de 6 m e 10 linhas (espaçamento de 0,45 m). O delineamento utilizado foi o de blocos ao acaso, com 4 repetições. Como sub parcelas, foram utilizados o plantio direto e o convencional da soja e das coberturas, com a utilização de uma grade aradora. As avaliações constaram de massa seca de culturas de cobertura, níveis populacionais de nematoides, massa verde de raízes, massa seca de parte aérea e rendimento de grãos. De acordo com os resultados obtidos, a matéria orgânica do solo apresentou benefícios, com diminuição da taxa de multiplicação de P. brachyurus, além disso, houve interação com a cultura de cobertura e o método de plantio. O plantio convencional reduziu os níveis de infecção nas avaliações até 40 dias após a emergência (40 DAE), contudo, na avaliação seguinte (70 DAE), os níveis no plantio direto foram menores, evidenciando atributos positivos desta técnica de plantio. Dentre as culturas de cobertura, C. spectabilis apresentou maior antagonismo a P. brachyurus. A testemunha capinada e a capina química evitaram a multiplicação, mas o nematoide manteve níveis suficientes para causar prejuízos.
Resumo:
Tämä diplomityö käsittelee Lappeenrannan teknillisen yliopiston ja Etelä- Karjalan poliisilaitoksen yhteistä kehitysprojektia, jonka tavoitteena oli tuottaa käytäntöön vietävissä oleva kehittämissuunnitelma ulkomaalaislupa-asioiden läpäisyaikojen hallintaan. Kehitysalueita on pyritty löytämään poliisilaitoksen henkilöstön haastatteluilla ja prosessianalyyseilla. Työ sisältää teoriaosion määräaikahallinnasta, yleiskatsauksen ulkomaalaislupa-asioista Suomessa sekä selvityksen ulkomaalaislupa-asioiden tilanteesta Etelä-Karjalan poliisilaitoksella. Työssä muodostettiin kolme kehittämisteemaa: seurannan kehittäminen, prosessien ja työtapojen kehittäminen ja yhteistyön kehittäminen. Tärkein kehittämistoimi oli Excel-pohjaisen seurantajärjestelmän suunnittelu, rakentaminen ja käyttöönottaminen. Seurantajärjestelmää voidaan hyödyntää tehtävien päivittäisessä ohjauksessa, määräaikatavoitteiden toteutumisen seurannassa sekä tilannekuvan ylläpitämisessä. Tavoitetilanteessa seurantajärjestelmän avulla hallitaan tilannetta siten, että hallitsemattomia hakemusruuhkia ei synny. Hankkeesta saatuja kokemuksia tehtäväjonojen hallinnasta ja suorituskyvyn mittaamisesta voidaan ajatella hyödynnettävän myös muissa prosesseissa.
Resumo:
Barogenic rupture of the stomach is a rare complication following cardiopulmonary resuscitation, administration of nasal oxygen by catheter and diving accidents. We report a case of gastric barotrauma following oroesophageal intubation. In most cases, the tears occur along the lesser curvature, what have been already attributed to Laplace's formula and, more recently, to morphological features of the stomach.
Resumo:
Cells of epithelial origin, e.g. from breast and prostate cancers, effectively differentiate into complex multicellular structures when cultured in three-dimensions (3D) instead of conventional two-dimensional (2D) adherent surfaces. The spectrum of different organotypic morphologies is highly dependent on the culture environment that can be either non-adherent or scaffold-based. When embedded in physiological extracellular matrices (ECMs), such as laminin-rich basement membrane extracts, normal epithelial cells differentiate into acinar spheroids reminiscent of glandular ductal structures. Transformed cancer cells, in contrast, typically fail to undergo acinar morphogenic patterns, forming poorly differentiated or invasive multicellular structures. The 3D cancer spheroids are widely accepted to better recapitulate various tumorigenic processes and drug responses. So far, however, 3D models have been employed predominantly in the Academia, whereas the pharmaceutical industry has yet to adopt a more widely and routine use. This is mainly due to poor characterisation of cell models, lack of standardised workflows and high throughput cell culture platforms, and the availability of proper readout and quantification tools. In this thesis, a complete workflow has been established entailing well-characterised 3D cell culture models for prostate cancer, a standardised 3D cell culture routine based on high-throughput-ready platform, automated image acquisition with concomitant morphometric image analysis, and data visualisation, in order to enable large-scale high-content screens. Our integrated suite of software and statistical analysis tools were optimised and validated using a comprehensive panel of prostate cancer cell lines and 3D models. The tools quantify multiple key cancer-relevant morphological features, ranging from cancer cell invasion through multicellular differentiation to growth, and detect dynamic changes both in morphology and function, such as cell death and apoptosis, in response to experimental perturbations including RNA interference and small molecule inhibitors. Our panel of cell lines included many non-transformed and most currently available classic prostate cancer cell lines, which were characterised for their morphogenetic properties in 3D laminin-rich ECM. The phenotypes and gene expression profiles were evaluated concerning their relevance for pre-clinical drug discovery, disease modelling and basic research. In addition, a spontaneous model for invasive transformation was discovered, displaying a highdegree of epithelial plasticity. This plasticity is mediated by an abundant bioactive serum lipid, lysophosphatidic acid (LPA), and its receptor LPAR1. The invasive transformation was caused by abrupt cytoskeletal rearrangement through impaired G protein alpha 12/13 and RhoA/ROCK, and mediated by upregulated adenylyl cyclase/cyclic AMP (cAMP)/protein kinase A, and Rac/ PAK pathways. The spontaneous invasion model tangibly exemplifies the biological relevance of organotypic cell culture models. Overall, this thesis work underlines the power of novel morphometric screening tools in drug discovery.
Resumo:
OBJECTIVE: To assess liver regeneration in rats after 60% hepatectomy with and without supplementation of L-glutamine through liver weight changes, laboratory parameters and histological study.METHODS: 36 male rats were divided into two groups: glutamine group and control group. Each group was subdivided into three subgroups, with death in 24h, 72h and seven days. The glutamine group received water and standard diet supplemented with L-glutamine, and the control recieved 0.9% saline. In all subgroups analysis of liver regeneration was made by the Kwon formula, study of liver function (AST, ALT, GGT, total bilirubin, indirect and indirect bilirubin and albumin) and analysis of cell mitosis by hematoxylin-eosin.RESULTS: In both groups there was liver regeneration by weight gain. Gamma-GT increased significantly in the control group (p < 0.05); albumin increased in the glutamine group. The other indicators of liver function showed no significant differences. Histological analysis at 72h showed a higher number of mitoses in the glutamine group, with no differences in other subgroups.CONCLUSION: Diet supplementation with L glutamine is beneficial for liver regeneration.