System-level characterization of Th2 cell development and immune cell responses to ZnO and TiO2 nanoparticles

Asthma and allergy are common diseases and their prevalence is increasing. One of the hypotheses that explains this trend is exposure to inhalable chemicals such as traffi c-related air pollution. Epidemiological research supports this theory, as a correlation between environmental chemicals and allergic respiratory diseases has been found. In addition to ambient airborne particles, one may be exposed to engineered nanosized materials that are actively produced due to their favorable physico-chemical properties compared to their bulk size counterparts. On the cellular level, improper activity of T helper (Th) cells has been connected to allergic reactions. Th cells can differentiate into functionally different effector subsets, which are identifi ed according to their characteristic cytokine profi les resulting in specifi c ability to communicate with other cells. Th2 cells activate humoral immunity and stimulate eradication of extracellular pathogens. However, persistent predominance of Th2 cells is involved in a development of number of allergic diseases. The cytokine environment at the time of antigen recognition is the major factor determining the polarization of a naïve Th cell. Th2 cell differentiation is initiated by IL4, which signals via transcription factor STAT6. Although the importance of this pathway has been evaluated in the mouse studies, the signaling components involved have been largely unknown. The aim of this thesis was to identify molecules, which are under the control of IL4 and STAT6 in Th cells. This was done by using system-level analysis of STAT6 target genes at genome, mRNA and protein level resulting in identifi cation of various genes previously not connected to Th2 cell phenotype acquisition. In the study, STAT6-mediated primary and secondary target genes were dissection from each other and a detailed transcriptional kinetics of Th2 cell polarization of naïve human CD4+ T cells was collected. Integration of these data revealed the hierarchy of molecular events that mediates the differentiation towards Th2 cell phenotype. In addition, the results highlighted the importance of exploiting proteomics tools to complement the studies on STAT6 target genes identifi ed through transcriptional profi ling. In the last subproject, the effects of the exposure with ZnO and TiO2 nanoparticles was analyzed in Jurkat T cell line and in primary human monocyte-derived macrophages and dendritic cells to evaluate their toxicity and potential to cause infl ammation. Identifi cation of ZnO-derived gene expression showed that the same nanoparticles may elicit markedly distinctive responses in different cell types, thus underscoring the need for unbiased profi ling of target genes and pathways affected. The results gave additional proof that the cellular response to nanosized ZnO is due to leached Zn2+ ions. The approach used in ZnO and TiO2 nanoparticle study demonstrated the value of assessing nanoparticle responses through a toxicogenomics approach. The increased knowledge of Th2 cell signaling will hopefully reveal new therapeutic nodes and eventually improve our possibilities to prevent and tackle allergic infl ammatory diseases.

Metallien eluointi kelatoivasta ioninvaihtimesta

Kelatoivat ioninvaihtimet ovat yleensä makrohuokoisia hartseja, joiden avulla metalleja poistetaan ja otetaan mahdollisesti talteen teollisuuden puhdistettavista jätevirroista. Ne muodostavat metalli-ionien kanssa komplekseja runkomateriaaliin kovalenttisesti liitettyjen aktiivisten funktionaalisten ryhmiensä välityksellä. Ioninvaihtimen selektiivisyys eri metalli-ioneja kohtaan vaihtelee riippuen siihen liitetystä kelatoivasta ryhmästä. Työssä tutkitaan metallien tarttumista kelatoiviin ioninvaihtimiin, sekä niiden eluoitumista adsorbentistaan. Kelatoivat ioninvaihtimet sitovat metalli-ioneja tehokkaasti ligandiensa monihampaisuudesta johtuen. Metallien tarttuminen kelatoivaan ioninvaihtimeen ei kuitenkaan ole yksiselitteistä, vaan siihen vaikuttaa muun muassa pH yhdessä monen muun tekijän kanssa. Ioninvaihtimien selektiivisyyttä tarkastellaan työssä lähinnä kovien ja pehmeiden happojen ja emästen HSAB -teorian näkökulmasta. Regeneroinnilla ioninvaihdin saadaan jälleen alkuperäiseen muotoonsa, minkä jälkeen se voidaan käyttää uudelleen. Yleensä regenerointi suoritetaan kemiallisesti. Tässä työssä ioninvaihtimien regenerointia ja kohdemetallin eluointia tarkastellaan paitsi teoriassa, myös kokeellisessa osuudessa. Kokeellisessa osuudessa tutkitaan kuparin (Cu2+) eluoitumista kelatoivasta Dowex M-4195 kationinvaihtohartsista. Kokeissa hartsi ladattiin kuparilla erillisessä panoksessa kuparin ollessa syöttöliuoksessa kuparisulfaattina. Eluointiliuoksina käytettiin 2 ja 5 molaarista rikkihappoa, sekä 2 molaarista ammoniumhydroksidia. Eluointi suoritettiin panostoimisena kolonniajona ja eluaatista otetut näytteet analysoitiin atomiadsorptiospektrofotometrillä. Analyysitulokset esitetään läpäisykäyrinä, joiden perusteella 2M ammoniumhydroksidi on kolmesta tutkitusta eluentista tehokkain eluoimaan kuparia Dowex M-4195 hartsista.

Synthesis, characterization and chemical sensor application of conducting polymers

Polymeric materials that conduct electricity are highly interesting for fundamental studies and beneficial for modern applications in e.g. solar cells, organic field effect transistors (OFETs) as well as in chemical and bio‐sensing. Therefore, it is important to characterize this class of materials with a wide variety of methods. This work summarizes the use of electrochemistry also in combination with spectroscopic methods in synthesis and characterization of electrically conducting polymers and other π‐conjugated systems. The materials studied in this work are intended for organic electronic devices and chemical sensors. Additionally, an important part of the presented work, concerns rational approaches to the development of water‐based inks containing conducting particles. Electrochemical synthesis and electroactivity of conducting polymers can be greatly enhanced in room temperature ionic liquids (RTILs) in comparison to conventional electrolytes. Therefore, poly(para‐phyenylene) (PPP) was electrochemically synthesized in the two representative RTILs: bmimPF6 and bmiTf2N (imidazolium and pyrrolidinium‐based salts, respectively). It was found that the electrochemical synthesis of PPP was significantly enhanced in bmimPF6. Additionally, the results from doping studies of PPP films indicate improved electroactivity in bmimPF6 during oxidation (p‐doping) and in bmiTf2N in the case of reduction (n‐doping). These findings were supported by in situ infrared spectroscopy studies. Conducting poly(benzimidazobenzophenanthroline) (BBL) is a material which can provide relatively high field‐effect mobility of charge carriers in OFET devices. The main disadvantage of this n‐type semiconductor is its limited processability. Therefore in this work BBL was functionalized with poly(ethylene oxide) PEO, varying the length of side chains enabling water dispersions of the studied polymer. It was found that functionalization did not distract the electrochemical activity of the BBL backbone while the processability was improved significantly in comparison to conventional BBL. Another objective was to study highly processable poly(3,4‐ethylenedioxythiophene) poly(styrenesulfonate) (PEDOT:PSS) water‐based inks for controlled patterning scaled‐down to nearly a nanodomain with the intention to fabricate various chemical sensors. Developed PEDOT:PSS inks greatly improved printing of nanoarrays and with further modification with quaternary ammonium cations enabled fabrication of PEDOT:PSS‐based chemical sensors for lead (II) ions with enhanced adhesion and stability in aqueous environments. This opens new possibilities for development of PEDOT:PSS films that can be used in bio‐related applications. Polycyclic aromatic hydrocarbons (PAHs) are a broad group of π‐conjugated materials consisting of aromatic rings in the range from naphthalene to even hundred rings in one molecule. The research on this type of materials is intriguing, due to their interesting optical properties and resemblance of graphene. The objective was to use electrochemical synthesis to yield relatively large PAHs and fabricate electroactive films that could be used as template material in chemical sensors. Spectroscopic, electrochemical and electrical investigations evidence formation of highly stable films with fast redox response, consisting of molecules with 40 to 60 carbon atoms. Additionally, this approach in synthesis, starting from relatively small PAH molecules was successfully used in chemical sensor for lead (II).

Persistence of the biocide activity of atrazine in soils of the southeast of Buenos Aires Province

Atrazine persistence in soils of the southeast of Buenos Aires Province, was studied by an oat bioassay. Atrazine doses of 0.58, 1.16, and 2.32 mg.g-1 dry soil weight (DSW) were applied to pots containing soils from Balcaree, A. Gonzáles Chaves and San Cayetano sites, whose organic matter (OM) content of soils were 5.70, 5.15, and 3,84%, respectively. Avena sativa cv. Millauquén plants were grownth in the pots under greenhouse conditions at different times after atrazine application. Shoots were evenly cut above the soil and dry weight determined as a measure of plant growth. Plants grown in non-sprayed soil were used as controls. Relative dry weight (RDW) of shoots was calculated as percentage of control. Atrazine phytotoxicity was expressed in terms of 50 % plant growth reduction (GR50) in the soils under study. Herbicide persistence was expressed in terms of days after treatment (DAT) needed for the plant to achieve 80% of RDW. Atrazine GR50 values of 0.30, 0.64, and 0.90 mg.g-1 DSW in soils from San Cayetano, Balcare and A.G. Chaves, were respectively obtained at 42 DAT. Herbicide persistences at the recommended dose (1.16 mg.g-1) were 100, 143, and 221 DAT for A.G. Chaves, Balcarce and San Cayetano soils, respectively. San Cayetano soil had both the lowest OM content and cation exchange capacity (CEC), as well as the highest pH, of all the soil studied here. These results were consistent with both the lowest GR50 and the highest persistence abtained for atrazine in this soil.

Chromatographic recovery of chemicals from acidic biomass hydrolysates

Lignocellulosic biomasses (e.g., wood and straws) are a potential renewable source for the production of a wide variety of chemicals that could be used to replace those currently produced by petrochemical industry. This would lead to lower greenhouse gas emissions and waste amounts, and to economical savings. There are many possible pathways available for the manufacturing of chemicals from lignocellulosic biomasses. One option is to hydrolyze the cellulose and hemicelluloses of these biomasses into monosaccharides using concentrated sulfuric acid as catalyst. This process is an efficient method for producing monosaccharides which are valuable platforn chemicals. Also other valuable products are formed in the hydrolysis. Unfortunately, the concentrated acid hydrolysis has been deemed unfeasible mainly due to high chemical consumption resulting from the need to remove sulfuric acid from the obtained hydrolysates prior to the downstream processing of the monosaccharides. Traditionally, this has been done by neutralization with lime. This, however, results in high chemical consumption. In addition, the by-products formed in the hydrolysis are not removed and may, thus, hinder the monosaccharide processing. In order to improve the feasibility of the concentrated acid hydrolysis, the chemical consumption should be decreased by recycling of sulfuric acid without neutralization. Furthermore, the monosaccharides and the other products formed in the hydrolysis should be recovered selectively for efficient downstream processing. The selective recovery of the hydrolysis by-products would have additional economical benefits on the process due to their high value. In this work, the use of chromatographic fractionation for the recycling of sulfuric acid and the selective recovery of the main components from the hydrolysates formed in the concentrated acid hydrolysis was investigated. Chromatographic fractionation based on the electrolyte exclusion with gel type strong acid cation exchange resins in acid (H+) form as a stationary phase was studied. A systematic experimental and model-based study regarding the separation task at hand was conducted. The phenomena affecting the separation were determined and their effects elucidated. Mathematical models that take accurately into account these phenomena were derived and used in the simulation of the fractionation process. The main components of the concentrated acid hydrolysates (sulfuric acid, monosaccharides, and acetic acid) were included into this model. Performance of the fractionation process was investigated experimentally and by simulations. Use of different process options was also studied. Sulfuric acid was found to have a significant co-operative effect on the sorption of the other components. This brings about interesting and beneficial effects in the column operations. It is especially beneficial for the separation of sulfuric acid and the monosaccharides. Two different approaches for the modelling of the sorption equilibria were investigated in this work: a simple empirical approach and a thermodynamically consistent approach (the Adsorbed Solution theory). Accurate modelling of the phenomena observed in this work was found to be possible using the simple empirical models. The use of the Adsorbed Solution theory is complicated by the nature of the theory and the complexity of the studied system. In addition to the sorption models, a dynamic column model that takes into account the volume changes of the gel type resins as changing resin bed porosity was also derived. Using the chromatography, all the main components of the hydrolysates can be recovered selectively, and the sulfuric acid consumption of the hydrolysis process can be lowered considerably. Investigation of the performance of the chromatographic fractionation showed that the highest separation efficiency in this separation task is obtained with a gel type resin with a high crosslinking degree (8 wt. %); especially when the hydrolysates contain high amounts of acetic acid. In addition, the concentrated acid hydrolysis should be done with as low sulfuric acid concentration as possible to obtain good separation performance. The column loading and flow rate also have large effects on the performance. In this work, it was demonstrated that when recycling of the fractions obtained in the chromatographic fractionation are recycled to preceding unit operations these unit operations should included in the performance evaluation of the fractionation. When this was done, the separation performance and the feasibility of the concentrated acid hydrolysis process were found to improve considerably. Use of multi-column chromatographic fractionation processes, the Japan Organo process and the Multi-Column Recycling Chromatography process, was also investigated. In the studied case, neither of these processes could compete with the single-column batch process in the productivity. However, due to internal recycling steps, the Multi-Column Recycling Chromatography was found to be superior to the batch process when the product yield and the eluent consumption were taken into account.

Unexpected effects of pigeon-peas (Cajanus cajan) in the restoration of rupestrian fields

Several degraded areas can be found along the Highway MG-010 that crosses the Espinhaço Mountain Biosphere Reserve in the Brazilian state of Minas Gerais. Restoration by planting the legume Cajanus cajan was implemented in some of these areas. The present study compares plant species richness, diversity, abundance, equitability, similarity, and soil composition between restored and non-restored areas, in an attempt to evaluate the effectiveness of the use of C. cajan in the restoration process in the mountain environment. Each treatment (restored and non-restored) had four sampling areas, each with three 300 m² plots. We counted and identified every individual plant found within these plots. We also collected soil from the superficial layer (0-10 cm) of each sampling area in both treatments. The areas where C. cajan was planted revealed lower species richness, diversity, and plant abundance. The soil of these areas also contained higher levels of Phosphorus and Magnesium. Plant equitability and similarity between plots and other soil components (pH, Nitrogen, Aluminum, Calcium, Potassium, H+Al, sum of bases - SB, cation exchange capacity - CTC, base saturation - V%, aluminum saturation - M%) did not differ between the two treatments. Contrary to the expectations, soil enhancement in the quartzitic soil poor in nutrients in the rupestrian fields can facilitate the invasion by exotic plants, which are not adapted to the lack of nutrients. As it appears, the use of C. cajan in restoration projects represents a mistake and future restoration plans should avoid the use of exotic species, given that they may cause negative effects on the native plant community, as demonstrated here in the rupestrian fields.

A new brain metalloendopeptidase which degrades the Alzheimer ß-amyloid 1-40 peptide producing soluble fragments without neurotoxic effects

A new metalloendopeptidase was purified to apparent homogeneity from a homogenate of normal human brain using successive steps of chromatography on DEAE-Trisacryl, hydroxylapatite and Sephacryl S-200. The purified enzyme cleaved the Gly33-Leu34 bond of the 25-35 neurotoxic sequence of the Alzheimer ß-amyloid 1-40 peptide producing soluble fragments without neurotoxic effects. This enzyme activity was only inhibited by divalent cation chelators such as EDTA, EGTA and o-phenanthroline (1 mM) and was insensitive to phosphoramidon and captopril (1 µM concentration), specific inhibitors of neutral endopeptidase (EC 3.4.24.11) and angiotensin-converting enzyme (EC 3.4.15.1), respectively. The high affinity of this human brain endopeptidase for ß-amyloid 1-40 peptide (Km = 5 µM) suggests that it may play a physiological role in the degradation of this substance produced by normal cellular metabolism. It may also be hypothesized that the abnormal accumulation of the amyloid ß-protein in Alzheimer's disease may be initiated by a defect or an inactivation of this enzyme.

Outward potassium current oscillations in macrophage polykaryons: extracellular calcium entry and calcium-induced calcium release

Outward current oscillations associated with transient membrane hyperpolarizations were induced in murine macrophage polykaryons by membrane depolarization in the absence of external Na+. Oscillations corresponded to a cyclic activation of Ca2+-dependent K+ currents (IKCa) probably correlated with variations in intracellular Ca2+ concentration. Addition of external Na+ (8 mM) immediately abolished the outward current oscillations, suggesting that the absence of the cation is necessary not only for their induction but also for their maintenance. Oscillations were completely blocked by nisoldipine. Ruthenium red and ryanodine reduced the number of outward current cycles in each episode, whereas quercetin prolonged the hyperpolarization 2- to 15-fold. Neither low molecular weight heparin nor the absence of a Na+ gradient across the membrane had any influence on oscillations. The evidence suggests that Ca2+ entry through a pathway sensitive to Ca2+ channel blockers is elicited by membrane depolarization in Na+-free medium and is essential to initiate oscillations, which are also dependent on the cyclic release of Ca2+ from intracellular Ca2+-sensitive stores; Ca2+ ATPase acts by reducing intracellular Ca2+, thus allowing slow deactivation of IKCa. Evidence is presented that neither a Na+/Ca2+ antiporter nor Ca2+ release from IP3-sensitive Ca2+ stores participate directly in the mechanism of oscillation

A single-step purification of bothropstoxin-1

Bothrops venoms are complex mixtures of components with a wide range of biological activities. Among these substances, myotoxins have been investigated by several groups. Bothropstoxin-1 (Bthtx-1) is a phospholipase A2-like basic myotoxin from Bothrops jararacussu. The purification of this component involves two chromatographic steps. Although providing a pure material, the association of these two steps is time consuming and a single-step method using high performance chromatography media would be useful. In the present study, we describe a single-step purification method for Bthtx-1. Bothrops jararacussu venom was dissolved in 1 ml buffer. After centrifugation, the supernatant was injected into a Resource-S cation exchange column connected to an FPLC system and eluted with a linear salt gradient. The complete procedure took 20 min, representing a considerable time gain when compared to a previously described method (Homsi-Brandenburgo MI et al. (1988) Toxicon, 26: 615-627). Bthtx-1 purity and identity, assessed by SDS-PAGE and N-terminal sequencing, resulted in a single band with a molecular mass of about 14 kDa and the expected sequence of the first 5 residues, S-L-F-E-L. Although the amount of protein purified after each run is lower than in the previously described method, we believe that this method may be useful for small-scale purifications.

Erythrocyte glucose-6-phosphate dehydrogenase activity assay and affinity for its substrate under "physiological" conditions

Glucose-6-phosphate dehydrogenase (G6PD) activity and the affinity for its substrate glucose-6-phosphate were investigated under conditions similar to the physiological environment in terms of ionic strength (I: 0.188), cation concentration, pH 7.34, and temperature (37oC). A 12.4, 10.4 and 21.4% decrease was observed in G6PD B, G6PD A+ and G6PD A- activities, respectively. A Km increase of 95.1, 94.4 and 95.4% was observed in G6PD B, G6PD A+ and G6PD A-, respectively, leading to a marked decrease in affinity. In conclusion, the observation of the reduced activity and affinity for its natural substrate reflects the actual pentose pathway rate. It also suggests a much lower NADPH generation, which is crucial mostly in G6PD-deficient individuals, whose NADPH availability is poor.

A liver metalloendopeptidase which degrades the circulating hypotensive peptide hormones bradykinin and atrial natriuretic peptide

A new metalloendopeptidase was purified to apparent homogeneity from a homogenate of normal human liver using successive steps of chromatography on DEAE-cellulose, hydroxyapatite and Sephacryl S-200. The purified enzyme hydrolyzed the Pro7-Phe8 bond of bradykinin and the Ser25-Tyr26 bond of atrial natriuretic peptide. No cleavage was produced in other peptide hormones such as vasopressin, oxytocin or Met- and Leu-enkephalin. This enzyme activity was inhibited by 1 mM divalent cation chelators such as EDTA, EGTA and o-phenanthroline and was insensitive to 1 µM phosphoramidon and captopril, specific inhibitors of neutral endopeptidase (EC 3.4.24.11) and angiotensin-converting enzyme (EC 3.4.15.1), respectively. With Mr 85 kDa, the enzyme exhibits optimal activity at pH 7.5. The high affinity of this endopeptidase for bradykinin (Km = 10 µM) and for atrial natriuretic peptide (Km = 5 µM) suggests that it may play a physiological role in the inactivation of these circulating hypotensive peptide hormones.

Informaatiopalveluiden muutosvoimat, muutokset ja liikkuvuusesteet

Tutkimuksessa kartoitettiin informaatiopalveluiden liiketoiminta-alueella Suomessa toimivien yritysten maantieteellisiä ja palvelukohtaisia strategisia valintoja ja näissä tapahtuneita muutoksia. Tutkimuksen tavoitteena oli selvittää informaatiopalveluiden määritelmää ja strategisten ryhmien teoriaa apuna käyttäen mahdollisia muutoksia informaatiopalveluja Suomessa kuluttajille tarjoavien yritysten perinteisissä toimialoissa tutkimuksen kattamina vuosina 2007–2012. Edelleen tavoitteena oli kuvata yleisten muutosvoimien ja alaan vaikuttavien megatrendien sekä alalla havaittujen liikkuvuusesteiden avulla liiketoimintaympäristössä tapahtuneita muutoksia ja pyrkiä löytämään näihin muutoksiin vaikuttavia syitä. Yrityksiä analysoitiin vuosikertomusten perusteella ja tutkimusotteena käytettiin grounded theoryä. Informaatiopalveluilla tarkoitetaan tietotekniikka-, tietoliikenne-, kustannus- ja audiovisuaalisen toiminnan palveluja. Suoritettujen ryhmittelyjen perusteella pystyttiin havaitsemaan, että osa tutkittavista yrityksistä oli laajentanut toimintaansa perinteisten toimialarajojensa ulkopuolelle johonkin toiseen informaatiopalveluiden liiketoiminta-alueella olevaan toimialaan. Aineistosta ei muodostunut perinteisten toimialajaottelujen mukaisia yritysryhmiä. Suurimmat muutokset näyttivät tapahtuneen perinteisen tietoliikennepalveluiden toimialalla. Vuosikertomuksista tunnistettuja yritysten liiketoimintaympäristössä tapahtuneita muutoksia ja niihin vaikuttavia liikkuvuusesteitä ja muita palveluiden laajuuteen ja alueelliseen ulottuvuuteen vaikuttavia seikkoja ryhmiteltiin yhteiskuntasuhteiden kehikkoon kategorioihin: poliittiset ja lainsäädännölliset, teknologiset, sosiaaliset ja kulttuuriset, fyysiset, taloudelliset ja ekologiset tekijät. Muutosvoimista globalisaatio ja teknologinen kehitys vaikuttavat voimakkaasti ja muovaavat informaatiopalveluiden liiketoiminta-alueen yrityksiä. Internetin nopea kasvu, tiedon digitalisoituminen ja rajattoman, aina läsnä olevan viestinnän lisääntyminen ovat vaikuttaneet kuluttajien käyttäytymiseen luomalla ajasta ja paikasta riippumattoman viestimien ja palveluiden hyödyntämisen. Näiden mega-trendien vaikutus välittyy vuosikertomuksista. Juridiset ja poliittiset tekijät vaikuttavat voimakkaasti informaatiopalveluiden alueella eikä lainsäädäntö näytä vielä riittävästi tukevan innovatiivisia digitaalisia globaaleita palveluja vaan muodostaa liik-kuvuusesteitä. Kuluttajakäyttäytyminen muovaa markkinoita ja edistää teknologista kehitystä. Ala on ollut hyvin teknologiavetoinen, mutta vuosikertomusten perusteella olisi pääteltävissä, että asiakasnäkökulma on tutkimusvuosien aikana vahvistunut. Asiakaskäyttäytyminen ja siihen liittyvät tiedot tuovat tulevaisuudessa kilpailuetua.

Genomics and X-ray microanalysis indicate that Ca2+ and thiols mediate the aggregation and adhesion of Xylella fastidiosa

The availability of the genome sequence of the bacterial plant pathogen Xylella fastidiosa, the causal agent of citrus variegated chlorosis, is accelerating important investigations concerning its pathogenicity. Plant vessel occlusion is critical for symptom development. The objective of the present study was to search for information that would help to explain the adhesion of X. fastidiosa cells to the xylem. Scanning electron microscopy revealed that adhesion may occur without the fastidium gum, an exopolysaccharide produced by X. fastidiosa, and X-ray microanalysis demonstrated the presence of elemental sulfur both in cells grown in vitro and in cells found inside plant vessels, indicating that the sulfur signal is generated by the pathogen surface. Calcium and magnesium peaks were detected in association with sulfur in occluded vessels. We propose an explanation for the adhesion and aggregation process. Thiol groups, maintained by the enzyme peptide methionine sulfoxide reductase, could be active on the surface of the bacteria and appear to promote cell-cell aggregation by forming disulfide bonds with thiol groups on the surface of adjacent cells. The enzyme methionine sulfoxide reductase has been shown to be an auxiliary component in the adhesiveness of some human pathogens. The negative charge conferred by the ionized thiol group could of itself constitute a mechanism of adhesion by allowing the formation of divalent cation bridges between the negatively charged bacteria and predominantly negatively charged xylem walls.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Activation of a P2Y4-like purinoceptor triggers an increase in cytosolic [Ca2+] in the red blood cells of the lizard Ameiva ameiva (Squamata, Teiidae)

An increasing number of pathophysiological roles for purinoceptors are emerging, some of which have therapeutic potential. Erythrocytes are an important source of purines, which can be released under physiological and physiopathological conditions, acting on purinergic receptors associated with the same cell or with neighboring cells. Few studies have been conducted on lizards, and have been limited to ATP agonist itself. We have previously shown that the red blood cells (RBCs) of the lizard Ameiva ameiva store Ca2+ in the endoplasmic reticulum (ER) and that the purinergic agonist ATP triggers a rapid and transient increase of [Ca2+]c by mobilization of the cation from internal stores. We also reported the ability of the second messenger IP3 to discharge the ER calcium pool of the ER. Here we characterize the purinoceptor present in the cytoplasmic membrane of the RBCs of the lizard Ameiva ameiva by the selective use of ATP analogues and pyrimidine nucleotides. The nucleotides UTP, UDP, GTP, and ATPgammaS triggered a dose-dependent response, while interestingly 2MeSATP, 2ClATP, alpha, ß-ATP, and ADP failed to do so in a 1- to 200-µm con- centration. The EC50 obtained for the compounds tested was 41.77 µM for UTP, 48.11 µM for GTP, 53.11 µM for UDP, and 30.78 µM for ATPgammaS. The present data indicate that the receptor within the RBCs of Ameiva ameiva is a P2Y4-like receptor due to its pharmacological similarity to the mammalian P2Y4 receptor.