Phospholipid bilayer perturbing-properties underlying lysis induced by pH-sensitive cationic lysine-based surfactants in biomembranes

Many strategies for treating diseases require the delivery of drugs into the cell cytoplasm following internalization within endosomal vesicles. Thus, compounds triggered by low pH to disrupt membranes and release endosomal contents into the cytosol are of particular interest. Here, we report novel cationic lysine-based surfactants (hydrochloride salts of Nε- and Nα-acyl lysine methyl ester) that differ in the position of the positive charge and the length of the alkyl chain. Amino acid-based surfactants could be promising novel biomaterials in drug delivery systems, given their biocompatible properties and low cytotoxic potential. We examined their ability to disrupt the cell membrane in a range of pH values, concentrations and incubation times, using a standard hemolysis assay as a model of endosomal membranes. Furthermore, we addressed the mechanism of surfactant-mediated membrane destabilization, including the effects of each surfactant on erythrocyte morphology as a function of pH. We found that only surfactants with the positive charge on the α-amino group of lysine showed pH-sensitive hemolytic activity and improved kinetics within the endosomal pH range, indicating that the positive charge position is critical for pH-responsive behavior. Moreover, our results showed that an increase in the alkyl chain length from 14 to 16 carbon atoms was associated with a lower ability to disrupt cell membranes. Knowledge on modulating surfactant-lipid bilayer interactions may help us to develop more efficient biocompatible amino acid-based drug delivery devices.

Service product structure supported by remote diagnostics

Työn tavoitteena oli määrittää etähuoltokonseptin yleinen rakenne sekä selvittää asiakkaille tarjottavia modulaarisia palvelutuotteita. Aluksi selvitettiin huoltokonseptin rakennetta kirjallisuuden ja asiantuntijoiden haastattelujen avulla. Asiantuntijoiden haastattelut toteutettiin vapaamuotoisesti kysymyslistaa apuna käyttäen. Tämän lisäksi työssä pohditaan KM, CRM ja PDM rooleja etähuoltokonseptin kannalta sekä tutkaillaan etähuollon tulevaisuuden näkymiä.Diplomityössä käsitellään modulaarisuutta yleisellä tasolla. Moduularisuus on moniulotteinen termi. Usein sillä tarkoitetaan yrityksen sisäistä tuotekehityksen hallintaa. Toisaalta se voidaan nähdä myös asiakkaalle tarjottavina tuotteina ja tässä diplomityössä on keskitytty tähän puoleen. Loppuosa diplomityöstä käsittelee palvelutuotteiden tuotteistamisprosessia.Diplomityön tuloksena hahmoteltiin etähuolto konseptia ja tutkittiin mahdollisia palvelutuotteita, joita voidaan sisällyttää etähuoltokonseptiin. Tämän lisäksi toteutettiin osa tuotteistamisprosessista. Etähuollon kehittäminen on haasteellista. Haasteeksi jää tuotekehitystoiminnan ja palvelupuolen toiminnan tehostaminen, jotta tuotteita voitaisiin jo suunnittelupuolella kehittää etähuollon tarpeisiin. Kehittäminen vaatii molempien puolien aktiivista osallistumista.

Unbreakable PT symmetry of solitons supported by inhomogeneous defocusing nonlinearity

Peer Reviewed

Estimating the value of the metal-ligand bond dissociation enthalpy<D> (M-L) for adducts using empirical equations supported by TG data

In this work is presented and tested (for 106 adducts, mainly of the zinc group halides) two empirical equations supported in TG data to estimate the value of the metal-ligand bond dissociation enthalpy for adducts: <D> (M-O) = t i / g if t i < 420 K and <D> (M-O) = (t i / g ) - 7,75 . 10-2 . t i if t i > 420 K. In this empirical equations, t i is the thermodynamic temperature of the beginning of the thermal decomposition of the adduct, as determined by thermogravimetry, andg is a constant factor that is function of the metal halide considered and of the number of ligands, but is not dependant of the ligand itself. To half of the tested adducts the difference between experimental and calculated values was less than 5%. To about 80% of the tested adducts, the difference between the experimental (calorimetric) and the calculated (using the proposed equations) values are less than 15%.

Music-supported training is more efficient than functional motor training for recovery of fine motor skills in stroke patients

MOTOR IMPAIRMENTS ARE COMMON AFTER STROKE but efficacious therapies for these dysfunctions are scarce. Extending an earlier study on the effects of music-supported training (MST), behavioral indices of motor function were obtained before and after a series of training sessions to assess whether this new treatment leads to improved motor functions. Furthermore, music-supported training was contrasted to functional motor training according to the principles of constraint-induced therapy (CIT). In addition to conventional physiotherapy, 32 stroke patients with moderately impaired motor function and no previous musical experience received 15 sessions of MST over a period of three weeks, using a manualized, step-bystep approach. A control group consisting of 15 patients received 15 sessions of CIT in addition to conventional physiotherapy. A third group of 30 patients received exclusively conventional physiotherapy and served as a control group for the other three groups. Fine as well as gross motor skills were trained by using either a MIDI-piano or electronic drum pads programmed to emit piano tones. Motor functions were assessed by an extensive test battery. MST yielded significant improvement in fine as well as gross motor skills with respect to speed, precision, and smoothness of movements. These improvements were greater than after CIT or conventional physiotherapy. In conclusion, with equal treatment intensity, MST leads to more pronounced improvements of motor functions after stroke than CIT.

In situ synthesis of nanoclay filled polyethylene using polymer supported metallocene catalyst system

In situ ethylene polymerizations were performed using bis(cyclopentadiene)titanium dichloride supported on polyethersulfone as catalyst. The bis(cyclopentadiene)titanium dichloride supported on polyethersulfone catalyst activity estimated by ethylene polymerization was 360 kgPE/molTi/h. During polymerization the fillers used were montmorillionite nanoclays having surface modifications with 35-45 wt% dimethyl dialkyl(14-18)amine (FA) and 25-30 wt% trimethyl stearyl ammonium (FB). These fillers were pretreated with methylaluminoxine (MAO; cocatalyst) for better dispersion onto the polymer matrix. The formation of polyethylene within the whole matrix was confirmed by FTIR studies. It was found that the nature of nanofiller did not have any remarkable effect on the melting characteristics of the polymer. TGA study indicates that nanoclay FB filled polyethylene has higher thermal stability than nanoclay FA filled polyethylene. The melting temperature of the obtained polyethylenes was 142 ºC, which corresponds to that synthesized by the polyether sulfone supported catalyst.

Palladium-supported catalysts in methane combustion: comparison of alumina and zirconia supports

Palladium catalysts supported on alumina and zirconia were prepared by the impregnation method and calcined at 600 and 1000 ºC. Catalysts were characterized by BET measurements, XRD, XPS, O2-TPD and tested in methane combustion through temperature programmed surface reaction. Alumina supported catalysts were slightly more active than zirconia supported catalysts, but after initial heat treatment at 1000 ºC, zirconia supported palladium catalyst showed better performance above 500 ºC A pattern between temperature interval stability of PdOx species and activity was observed, where better PdOx stability was associated with more active catalysts.

Basic properties of potassium oxide supported on zeolite y studied by pyrrole-tpd and catalytic conversion of methylbutynol

ABSTRACT We report on the basic properties of zeolite NaY and potassium supported on NaY (K/NaY) assessed by pyrrole-TPD and MBOH transformation. Pyrrole-TPD revealed that impregnation of zeolite NaY with potassium promoted additional adsorption sites for pyrrole compared to parent zeolite. For zeolite with various potassium loadings, pyrrole adsorbed on K/NaY decreased with increased potassium loading. Reduction in pyrrole adsorption could be due to potassium hindering intrinsic basic sites (lattice oxygen), to oxide of potassium occluding in zeolite cavities restricting access for pyrrole, or to K2O reacting with pyrrole to form nondesorbed pyrrolate anions. On MBOH transformation, potassium almost completely suppressed NaY acid sites while K/NaY basicity increased with potassium loading.

Isomerization-cracking of n-octane on catalysts based on heteropolyacid H3Pw12O40 and heteropolyacid supported on zirconia and promoted with Pt and Cs

Isomerization - cracking of n-octane was studied using H3PW12O40 (HPA) and HPA supported on zirconia and promoted with Pt and Cs. The addition of Pt and Cs to the supported HPA did not modify the Keggin structure. The Pt addition to the supported HPA did not substantially modify the total acidity; however, the Brönsted acidity increased significantly. Cs increased the total acidity and Brönsted acidity. A linear relation was observed between the n-C8 total conversion and Brönsted acidity. The most adequate catalysts for performing isomerization and cracking to yield high research octane number (RON) are those with higher values of Brönsted acidity.

METHANE DRY REFORMING OVER Ni SUPPORTED ON PINE SAWDUST ACTIVATED CARBON: EFFECTS OF SUPPORT SURFACE PROPERTIES AND METAL LOADING

The influence of metal loading and support surface functional groups (SFG) on methane dry reforming (MDR) over Ni catalysts supported on pine-sawdust derived activated carbon were studied. Using pine sawdust as the catalyst support precursor, the smallest variety and lowest concentration of SFG led to best Ni dispersion and highest catalytic activity, which increased with Ni loading up to 3 Ni atoms nm-2. At higher Ni loading, the formation of large metal aggregates was observed, consistent with a lower "apparen" surface area and a decrease in catalytic activity. The H2/CO ratio rose with increasing reaction temperature, indicating that increasingly important side reactions were taking place in addition to MDR.

Catalytic transformations of fatty acid derivatives for food, oleochemicals and fuels over carbon supported platinum group metals

Växtoljor som utgör en förnybar naturresurs används som sådana eller i modifierade former i många industriella processer, som är av stor betydelse för vårt vardagliga liv. Växtoljor används i livsmedel, i kemiska och farmaceutiska produkter, i textilindustrin, för framställning av färgämnen och beläggningsmaterial samt som miljövänliga bränslekomponenter. Fetter och oljor hör till de äldsta kemiska komponenterna som utnyttjas av människan. De består huvudsakligen av glycerolestrar och fettsyror. Fetter och oljor har typiskt en kolkedja med kol-koldubbelbindningar samt karboxyl- och estergrupper, som kan genom hydrering eller dekarboxylering konverteras till nyttiga och miljövänliga produkter med hjälp av ädelmetallkatalysatorer. Aktivt kol (C) används som bärare på katalysatorerna. Väteaddition, d.v.s. hydrering av växtoljor har varit föremål för omfattande forskning i över hundra års tid. Hydreringen är en viktig process, för den tillämpas på produktion av fetter och margarin. Omättade fettsyror hydreras traditionellt på nickelbaserade heterogena katalysatorer. Samtidigt med en partiell hydrering av fettsyrorna och fettsyraestrarna som har två dubbelbindningar pågår också isomeringsreaktioner, vilka ger cis- och transisomerer av reaktantmolekylerna. Den största nackdelen med nickelkatalysatorerna är deras giftighet samt bildning av ohälsosamma transisomerer i reaktionsprodukterna. Dessutom deaktiveras nickelkatalysatorn snabbt p.g.a. att nickeltvålar bildas i reaktionsblandningen. Platinabaserade katalysatorer lider däremot inte av dessa begränsningar. Metaller i platinagruppen i det periodiska systemet studerades i detalj för att avslöja kinetiska effekter i hydreringen av cis-metyloleat. Palladium, rutenium, rhodium, platina och iridium användes som katalytiska metaller. Metallhalten på aktivkolbärare var 1 vikt-%. De olika platinametallerna undersöktes för att kartlägga konkurrerande hydrerings- och isomeringsrutter på metallerna. Det visade sig att metallerna i andra raden av det periodiska systemet (Ru, Rh, Pd) är aktivare i isomeringsprocesserna, medan metallerna i tredje raden (Ir, Pt) har en lägre aktivitet. Pd/C valdes bland platinametallerna, för att den är attraktiv ur ekonomisk synvinkel och den är mycket aktiv och selektiv, speciellt jämfört med nickel. Tyngdpunkten i arbetet var utvecklingen av en alternativ, palladiumbaserad hydreringsteknologi som skulle ersätta den traditionella teknologin som är baserad på användningen av nickelkatalysatorer. Palladiumbaserade katalysatorer kan återcirkuleras, de är aktivare och mera resistenta mot syror och de bildar mindre mängder av skadliga transisomerer. För att denna teknologi skall bli ekonomiskt hållbar och konkurrenskraftig, måste den basera sig på de bästa möjliga katalysatorerna, vilket innebär att en optimal kombination av hög aktivitet och selektivitet samt en lång livstid för katalysatorn krävs. Därför inkluderades teknologiska aspekter kraftigt i forskningen. Mycket arbete satsades på design av palladium på en mesoporös kolbärare och undersökning av korrelationerna mellan katalysatorns egenskaper och dess aktivitet i isomeriseringsreaktionerna och i hydreringen av kol-koldubbelbindningarna i reaktantmolekylen. Katalysatorerna karakteriserades med många fysikaliska och kemiska metoder (transmissionselektronmikroskopi (TEM), röntgendiffraktion (XRD), röntgenfotoelektronspektroskopi (XPS), temperaturprogrammerad reduktion (TPR), temperaturprogrammerad desorption (TPD) av kolmonoxid, kemisorption av kolmonoxid, fysisorption av kväve). Temperaturens, vätetryckets och katalysatorkoncentrationens inverkan på fettsyra- och isomersammansättningen hos de hydrerade oljorna bestämdes under kinetiska betingelser, i frånvaro av massöverföringseffekter. Syreavspjälkning genom fullständig dekarboxylering av karboxylgruppen i fettsyramolekylen är det hittills bästa sättet att framställa miljövänlig dieselolja, eftersom linjära paraffiner fås som reaktionsprodukter och en tillsats av dyr vätgas undviks. Deoxygeneringen undersöktes systematiskt på en Pd/C-katalysator (Sibunit) genom att använda mättade fettsyror C16-C20 och C22 som råvara. Produktmolekylen blev en dieselliknande kolvätemolekyl, med en kolatom färre än i utgångsmolekylen. Lika stora dekarboxyleringshastigheter observerades för rena, mättade fettsyror. En jämförelse av deoxygenereringshastigheterna för stearin-, olein- och linolsyra som råvara vid 300oC i närvaro av 1-volymprocent väte på mesoporös Pd/C (Sibunit) avslöjade att katalysatorns aktivitet och selektivitet ökade med en ökande mättningsgrad av reaktantmolekylen. Då stearinsyra användes som utgångsmolekyl, bestod huvudprodukterna av önskade C17-kolväten, medan mängden av aromatiska C17-komponenter ökade, då olein- och linolsyra användes som utgångsmolekyler. Katalysatordeaktiveringen var relativt påfallande vid deoxygeneringen av linolsyra så att endast 3% av fettsyrorna omsattes till produkter i 330 min. Deaktiveringen orsakades av aromatiska C17-komponenter samt av fettsyradimerer, som bildades via en Diels-Alderreaktion. Hydreringen av omättade fettsyror kan därför rekommenderas som ett primärt kemiskt steg i framställningen av miljövänliga dieselprodukter. Målet var också att öka förståelsen av palladiummetallernas roll i nanoskala, speciellt effekten av metallpartiklarna i katalytisk hydrering och deoxygenering. Pd/C-katalysatorer med lika stora halter av Pd syntetiserades och metallens dispersion på bärarmaterialet varierades systematiskt genom en kontrollerad uppväxt av palladiumnanopartiklar på aktiv kolbärare. Metalldispersionens effekt på hydrerings-hastigheten och cis-transförhållandet undersöktes i detalj. En optimal metalldispersion som gav den högsta dekarboxyleringshastigheten hittades. Massöverföringens inverkan på reaktionens hastighet studerades experimentellt och temperaturprogrammerad desorption av kolmonoxid från katalysatorytan undersöktes ingående. Hydrering av växtoljor genomfördes under satsvisa och kontinuerliga betingelser. Både finfördelat Pd/C och katalysatorgranulat användes i experimenten. Ett av målen med arbetet var uppskalningen av hydreringsprocesserna. Med tanke på stora produktionsvolymer var det logiskt att undersöka kontinuerliga hydrerings- och dekarboxyleringsteknologier. En kontinuerlig packad bäddreaktor studerades i laboratorieskala, vilket gav viktig information om katalysatorns långtidsstabilitet och deaktivering. Effekten av rena fettsyror och triglycerider som råvara samt metallpartikelstorleken och palladiumhalten studerades med hjälp av den kontinuerliga reaktorn. Produktionskapaciteten som erhölls med satsvis och kontinuerlig drift jämfördes. Dekarboxyleringen av stearinsyra undersöktes också i en kontinuerlig packad bädd. Omsättningsgraden blev 15% för en stabil katalysator.

Tool-supported invariant-based programming

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.

Communicative and Anticipatory Decision-Making Supported by Bayesian Networks

The purpose of this research is to draw up a clear construction of an anticipatory communicative decision-making process and a successful implementation of a Bayesian application that can be used as an anticipatory communicative decision-making support system. This study is a decision-oriented and constructive research project, and it includes examples of simulated situations. As a basis for further methodological discussion about different approaches to management research, in this research, a decision-oriented approach is used, which is based on mathematics and logic, and it is intended to develop problem solving methods. The approach is theoretical and characteristic of normative management science research. Also, the approach of this study is constructive. An essential part of the constructive approach is to tie the problem to its solution with theoretical knowledge. Firstly, the basic definitions and behaviours of an anticipatory management and managerial communication are provided. These descriptions include discussions of the research environment and formed management processes. These issues define and explain the background to further research. Secondly, it is processed to managerial communication and anticipatory decision-making based on preparation, problem solution, and solution search, which are also related to risk management analysis. After that, a solution to the decision-making support application is formed, using four different Bayesian methods, as follows: the Bayesian network, the influence diagram, the qualitative probabilistic network, and the time critical dynamic network. The purpose of the discussion is not to discuss different theories but to explain the theories which are being implemented. Finally, an application of Bayesian networks to the research problem is presented. The usefulness of the prepared model in examining a problem and the represented results of research is shown. The theoretical contribution includes definitions and a model of anticipatory decision-making. The main theoretical contribution of this study has been to develop a process for anticipatory decision-making that includes management with communication, problem-solving, and the improvement of knowledge. The practical contribution includes a Bayesian Decision Support Model, which is based on Bayesian influenced diagrams. The main contributions of this research are two developed processes, one for anticipatory decision-making, and the other to produce a model of a Bayesian network for anticipatory decision-making. In summary, this research contributes to decision-making support by being one of the few publicly available academic descriptions of the anticipatory decision support system, by representing a Bayesian model that is grounded on firm theoretical discussion, by publishing algorithms suitable for decision-making support, and by defining the idea of anticipatory decision-making for a parallel version. Finally, according to the results of research, an analysis of anticipatory management for planned decision-making is presented, which is based on observation of environment, analysis of weak signals, and alternatives to creative problem solving and communication.