Genetic control of iron concentration in Mesoamerican and Andean common bean seeds

The objective of this work was to evaluate the main differences in the genetic control of the iron concentration in Mesoamerican and Andean common bean seeds, in early generations, and to select recombinants with a high iron concentration in the seeds. F1, F1 reciprocal, F2, F2 reciprocal, and backcross (BC11 and BC12) generations were produced by crosses between Mesoamerican (CNFP 10104 x CHC 01-175) and Andean (Cal 96 x Hooter) inbred lines. The expression of significant maternal effect was observed for the Mesoamerican gene pool. Iron concentration was higher in the seed coat of Mesoamerican common bean seeds (54.61 to 67.92%) and in the embryo of Andean common bean seeds (69.40 to 73.44%). High broad-sense heritability was obtained for iron concentration in Mesoamerican and Andean common bean seeds. Gains with the selection of higher magnitude, from 20.39 to 24.58%, are expected in Mesoamerican common bean seeds. Iron concentration in common bean seeds showed a continuous distribution in F2, which is characteristic of quantitative inheritance in Mesoamerican and Andean common bean seeds. Recombinants with high iron concentration in seeds can be selected in both Mesoamerican and Andean common bean hybrids.

Liiketoiminnan jalostamoyrityksen innovaatioprosessi

Tutkimuksen keskeisin tavoite oli kartoittaa Beneq Oy:n innovaatiokyvykkyys ja kuvata yrityksen innovaatioprosessi. Lisäksi tutkimuksessa selvitettiin yleiset valintaperusteet BI (business intelligence) - ohjelmiston hankinnalle. Tutkimus oli tärkeä, jotta kohdeyritys voi tulevaisuudessa kehittää innovatiivisuuttaan ja hankkia innovaatiotoimintaa tukevan ohjelmiston. Työ on tehty osana TEKESin rahoittamaa yritysten innovatiivisuutta tukevaa LIIMA - projektia. Ensin työssä tutkittiin innovaatiotoimintaaja - prosesseja teoriassa. Tämän jälkeen yrityksen käytäntöjä selvitettiin haastattelemalla työntekijöitä sekä käymällä läpi tuote- ja asiakastapauksia. Yrityksen nykyiseen tietojärjestelmään tutustuttiin käytännössä ja BI - ohjelmiston valintaperusteita kerättiin kirjallisuuslähteistä. Työn tuloksena valmistuivat kartoitukset Beneq Oy:n ja sen partneriyrityksen innovaatiokyvykkyydestä. Myös yrityksen innovaatioprosessi määriteltiin ja havainnollistettiin kuvana. Lisäksi työn tuloksena syntyivät yleiset valintaperusteet BI - ohjelmiston hankintaan. Saatujen tulosten perusteella Beneq Oy voi tehokkaasti kehittää innovatiivisuuttaan tulevaisuudessa. Työn yhteydessä kehitettyä innovaatioprosessimallia voidaan todennäköisesti hyödyntää innovaatiotutkimuksessa laajemminkin.

Biological control of white mold by Trichoderma harzianum in common bean under field conditions

Abstract: The objective of this work was to evaluate Trichoderma harzianum isolates for biological control of white mold in common bean (Phaseolus vulgaris). Five isolates were evaluated for biocontrol of white mold in 'Perola' common bean under field conditions, in the 2009 and 2010 crop seasons. A commercial isolate (1306) and a control treatment were included. Foliar applications at 2x109 conidia mL-1 were performed at 42 and 52 days after sowing (DAS), in 2009, and at 52 DAS in 2010. The CEN287, CEN316, and 1306 isolates decreased the number of Sclerotinia sclerotiorum apothecia per square meter in comparison to the control, in both crop seasons. CEN287, CEN316, and 1306 decreased white mold severity during the experimental period, when compared to the control.

Langattoman tiedonsiirron hyödyntäminen kaukolämpöjärjestelmän hallinnassa

Langattomien tiedonsiirtotekniikoiden kehittyessä mielenkiinto niiden soveltamiseen teollisuudessa on kasvanut. Langattoman tiedonsiirron avulla voidaan korvata perinteiset kaapeliratkaisut ja samalla mahdollistaa uusia, lisäarvoa toiminnalle tuovia sovelluksia. Tavoitteena on kustannussäästöjen lisäksi tuotannon tehostaminen paremman tiedonkeruun ja joustavamman käyttöympäristön avulla. Kaukolämpöjärjestelmän osien väliset etäisyydet ovat useimmiten niin pitkiä, ettei lyhyen kantaman langattomia tekniikoita voida hyödyntää. Tämän työn perusteella realistisina vaihtoehtoina ovat toistaiseksi yleisten matkapuhelinverkkojen hyödyntäminen sekä radiolinkit, mutta tulevaisuudessa uudet langattomat verkkotekniikat voivat mahdollistaa ulkopuolisista operaattoreista riippumattoman mobiilin tiedonsiirtojärjestelmän toteuttamisen koko kaukolämpöjärjestelmän alueelle. Työn aikana havaittiin myös, että uusien sovellusalueiden kanssa on vielä entistäkin tärkeämpää kiinnittää huomiota huolelliseen suunnitteluun, kustannuslaskelmiin sekä tietoturvaan, jotta voidaan toteuttaa luotettava, edullinen ja toimivalangaton tiedonsiirtojärjestelmä.

Linking genetic and species diversities in a community of freshwater gastropods

Summary Biodiversity is usually studied through species or genetic diversities. To date, these two levels of diversity have remained the independent .fields of investigations of community ecologists and population geneticists. However, recent joint analyses of species and genetic diversities have suggested that common processes may underlie the two levels. Positive correlations between species diversity and genetic diversity may arise when the effects of drift and migration overwhelm selective effects. The first goal of this thesis was to make a joint investigation of the patterns of species and genetic diversity in a community of freshwater gastropods living in a floodplain habitat. The second goal was to determine, as far as possible, the relative influences of the processes underlying the patterns observed at each level. In chapter 2 we investigate the relative influences of different evolutionary forces in shaping the genetic structure of Radix balthica populations. Results revealed that the structure inferred using quantitative traits was lower or equal to the one inferred using neutral molecular markers. Consequently, the pattern of structure observed could be only due to random drift, possibly to uniform selection, but definitely not to selection for local optima. In chapter 3, we analyze the temporal variation of species and genetic diversities in five localities. An extended period of drought occurred at the end of the study period leading to decay of both species and genetic diversities. This parallel loss of diversity following a natural perturbation highlighted the role sometimes predominant of random drift over selection on patterns of biodiversity in a floodplain habitat. In chapter 4, we compare the spatial genetic structures of two sympatric species: Radix balthica and Planorbis carinatus. We found that R. balthica populations are weakly structured and have moderate to high values of gene diversity. In contrast, P. carinatus populations are highly structured and poorly diverse. Then we measured correlations between various indices of species and genetic diversity using genetic data .from the two species. We found only one significant correlation: between species richness and gene diversity of P. carinatus. This result highlights the .need to use genetic date from more than one species to infer correlations between species and genetic diversities. Overall, this thesis provided new insights into the common processes underlying patterns of species and genetic diversity. Résumé La biodiversité est généralement étudiée au niveau de la diversité génétique ou spécifique. Ces deux niveaux sont restés jusqu'à maintenant les domaines d'investigation séparés des généticiens des populations et des écologistes des communautés. Cependant, des analyses conjointes des diversités génétique et spécifique ont récemment suggéré que des processus similaires pouvaient influencer ces deux niveaux. Des corrélations positives entre les diversités génétique et spécifique pourraient être dues aux effets de migration et de dérive qui dominent les effets sélectifs. Le premier but de cette thèse était de faire une étude conjointe des diversités génétique et spécifique dans une communauté de gastéropodes d'eau douce. Le second objectif était de déterminer les influences relatives des différents processus liés à chaque niveau de diversité. Dans le chapitre 2 nous cherchons à déterminer quelles forces évolutives influencent la structure génétique de quatre populations de Radix balthica. La structure mesurée sur des traits quantitatifs s'est révélée être plus faible ou égale à celle mesurée avec des marqueurs moléculaires neutres. La structure observée pourrait ainsi être due uniquement à la dérive génétique, potentiellement à la sélection uniforme, mais en aucun cas à la sélection locale pour différents optima. Dans le chapitre 3 nous analysons la variation temporelle des diversités génétique et spécifique dans cinq localités. Une récente période de sécheresse a causé une diminution parallèle des deux niveaux de diversité. Cette perturbation à mis en évidence le rôle parfois prépondérant de la dérive par rapport à celui de la sélection dans le déterminisme de la biodiversité dans un écosytème alluvial. Dans le chapitre 4, nous comparons la structure génétique spatiale de deux espèces vivant en sympatrie : Radix balthica et Planorbis carinatus. Les populations de R. balthica sont peu structurées et présentent un niveau de diversité relativement élevé alors que celles de P. carinatus sont fortement structurées et peu diversifiées. Nous avons ensuite mesuré différentes corrélations entre les diversités génétique et spécifique, mais la seule relation significative a été trouvée entre la richesse spécifique et la diversité génétique de P. carinatus. Ainsi, cette thèse a permis de découvrir de nouveaux aspects des processus qui influencent en parallèle la diversité aux niveaux génétique et spécifique.

Mikroyritysten tietotekniikkataitojen osaamisen kehittämismalli

Tämän tutkimuksen tavoitteena oli tuottaa koulutuksen kehittämismalli mikroyritysten tietotekniikkataitojen kehittämiseen. Työssä tarkasteltiin myös mikroyritysten asenteita tietotekniikan oppimiseen. Tutkimus tehtiin EU-projektiin nimeltä 'Mikrotie', jonka tavoitteena on estää mikroyritysten tietotekninen syrjäytyminen. Työ koostuu teoreettisesta ja empiirisestä osasta. Teoriaosassa kerrotaan konstruktivistisesta oppimisprosessista ja sen ympärille rakennetaan teoriaviitekehystä niin kouluttajasta kuin oppimisympäristöstä. Teoria keskittyy myös erityisesti aikuisopiskelijoiden erityispiirteisiin. Empiirisen osan aloittaa lomakekyselynä toteutettu kvantitatiivinen tutkimus mikroyritysten asenteista, jonka jälkeen käsitellään haastattelututkimuksena tehtyä tarkempaa kvalitatiivista osaa palveluntarjoajien ja mikroyritysten suhtautumisesta tapahtuneeseen koulutukseen sekä heidän parhaaksi katsomistaan koulutustavoista. Johtopäätösten mukaan aikuisoppimisen ja kouluttamisen asiantuntijan tulisi suunnitella mikroyritysten tietotekniikan koulutus tukenaan koulutettaviin asioihin perehtyneet palveluntarjoajat. Pelkästään vikojen korjailun sijaan mikroyrityksiä tulisi kouluttaa suuremmista asiakokonaisuuksista. Opiskelutavoitteet saavutetaan parhaiten vierikoulutuksena ja yleisemmän peruskäytön osalta pienryhmissä. Parhaana oppimisympäristönä toimisi yrityksen oma työskentelytila ja pienryhmäkoulutuksessa tietokoneluokka. Oppimistapahtumat pitäisi jakaa alle neljän tunnin osiin, jotka sijoiteltaisiin niin että opiskelu ei haittaa mikroyrityksen liiketoimintaa.

Tarjoustoiminnankehittäminen projektiliiketoiminnassa - tiedonhallinta ja työkalut

Työn tavoitteena on tehdä pohjatutkimus tarjoustoiminnan kehittämiseksi Larox Oyj:ssä. Työssä hahmotetaan haastatteluiden avulla tämänhetkiset ongelma-alueet tarjoustoiminnassa ja tiedonhallinnassa. Nykyisin suurimpina kehityshaasteina ovat rutiinityön manuaalinen hallinta, tiedon hankala saatavuus ja selkeiden yhteisten pelisääntöjen puuttuminen tarjoustoiminnassa. Näihin haasteisiin pyritään löytämään ratkaisuvaihtoehtoja. Työ sisältää teoriaosan, jossa käydään läpi projektin ominaispiirteitä, tarjoustoiminnan osuutta projektiliiketoiminnassa, elinkaarenaikaisen tiedonhallinnan keinoja sekä massaräätälöinnin toimintaperiaatteita. Tarjoustoimintaa pyritään kehittämään käsitellyn teorian, benchmark-vierailuilta saatujen ideoiden sekä haastatteluissa tulleiden toiveiden pohjalta. Tuloksena saadaan kehitysideat pitkäjänteiseen kehitystyöhön sekä nopeasti toteutettaviin toimenpiteisiin. Keskeinen kehitysidea on tarjouskonfiguraattorin kehitystyön aloittaminen. Sen avulla pyritään vähentämään tarjousinsinöörien työtaakkaa. Silloin tarjousinsinööreille jää aikaa toteuttaa osaamistaan haastavampien ja suurempien tarjouksien tekemisessä. Tuloksena on saatu neliportainen kehityspolku, jota kulkemalla päästään kohti hahmotettua tavoitetilaa. Työn tuloksia käytetään hyväksi aloitettaessa konfiguraattorin kehitys Laroxilla sekä kehitettäessä koko tarjoustoimintaa ja elinkaarenaikaista tiedonhallintaa yrityksessä.

Oppimisen tukeminen tieto- ja viestintätekniikan avulla II-asteella

Tutkimuksessa tarkastellaan tieto- ja viestintätekniikan tuomaa lisäarvoa kon-taktiopetukseen sekä Moodle verkko-oppimisalustan hyödyntämistapoja opet-tajan, oppijanja työelämäyhteistyön näkökulmista. Tutkimuksessa on kaksi päätavoitetta: selvittää yleiset verkko-opetusmallit ja verkko-opetusmalleja tukevat työkalut sekä selvittää Etelä-Kymenlaakson am-mattiopistossa käytössä olevan Moodle verkko-oppimisalustan nykyistä laaja-alaisempaan käyttöönottoon liittyvät haasteet ja kehitystarpeet. Kokemusten pohjalta jälkimmäisen tavoitteen suurimmaksi yksittäiseksi haasteeksi nousee verkko-opintojakson aloitus. Opettaja joutuu verkko-opintojakson käynnistämi-sen yhteydessä tekemään liikaa monimutkaisiamäärittelyjä. Kehitystarpeissa puolestaan haetaan ratkaisuja kysymykseen; mitenverkko-oppimisalusta mahdollistaa työelämäyhteyksien parantamisen ja miten se palvelee paremmin oppijoita verkko-opintojaksojen löytämisen suhteen. Tutkimuksen tuloksena rakentui uusi tapa verkko-opintojaksojen luomiseenja kategorisointiin. Kehitetyn toimintatavan ansiosta opettajan ei tarvitse enää luoda opintojaksoa verkko-oppimisalustaan, vaan niiden aihiot luodaan ohjel-mallisesti oppilashallintojärjestelmästä saatavista tiedoista muunnosohjelman välityksellä. Opettajan tehtäväksi jää vain materiaalin tuottaminen ja kyseisellä opintojaksolla tarvitsemiensa työkalujen alustaminen. Uudella kategorisointita-valla ja mielikuvitusrikkaammilla työtilojen hyödyntämistavoilla saavutetaan seuraavat edut: järjestelmä palvelee paremmin työelämäyhteistyötä, oppijoille selkeytyy oma opintokokonaisuus paremmin ja oppijoiden sekä opettajien on helpompi löytää verkko-oppimisalustassa olevat opintojaksot.

Arvonmääritysmallin kehittäminen sijoittajan näkökulmasta: Case F-secure

Työn tavoitteena on kehittää Microsoft Excel -taulukkolaskentaohjelmaan pohjautuva arvonmääritysmalli. Mallin avulla osaketutkimusta tekevät analyytikot ja sijoittajat voivat määrittää osakkeen fundamenttiarvon. Malli kehitetään erityisesti piensijoittajien työkaluksi. Työn toisena tavoitteena on soveltaa kehitettyä arvonmääritysmallia case-yrityksenä toimivan F-Securen arvonmäärityksessä ja selvittää mallin avulla onko F-Securen osake pörssissä fundamentteihin nähden oikein hinnoiteltu. Työn teoriaosassa esitellään arvonmäärityksen käyttökohteet ja historia, arvonmääritysprosessin vaiheet (strateginen analyysi, tilinpäätösanalyysi, tulevaisuuden ennakointi, yrityksen arvon laskeminen), pääoman kustannuksen määrittäminen ja sijoittajan eri arvonmääritysmenetelmät, joita ovat diskontattuun kassavirtaan perustuvassa arvonmäärityksessä käytettävät mallit sekä suhteellisen arvonmäärityksentunnusluvut. Empiirinen osa käsittää arvonmääritysmallin kehittämisen ja rakenteen kuvauksen sekä F-Securen arvonmääritysprosessin. Vaikka F-Securen tulevaisuus näyttää varsin valoisalta, osake on hinnoiteltu markkinoilla tällä hetkellä(23.02.2006) korkeammalle kuin näihin odotuksiin nähden olisi järkevää. Eri menetelmät antavat osakkeelle arvoja 2,25 euron ja 2,97 euron väliltä. Kehitetty Excel -malli määrittää F-Securen osakkeen tavoitehinnaksi eri menetelmien mediaanina 2,29 euroa. Tutkimuksen tuloksena F-Securen osaketta voidaan pitää yliarvostettuna, sillä sen hinta pörssissä on 3,05 euroa.

Yrityksen arvonmääritys - jälkilaskelmatarkastelu - Amer - Suunto Oy tapauksesta

Tutkimuksessa tarkastellaan yrityskauppaan ja arvonmääritykseen liittyviä taustatekijöitä ostajan näkökulmasta sekä varsinaisen arvonmäärityksen työkaluja. Tutkielman teoriaosuuden päätavoitteena on arvonmäärityksen taustojen ja yleisimpien arvonmääritysmallien selventäminen teoriatasolla ja antaa pohjaa tutkielman empiriaosuuden arvonmääritystyökalujen valinnalle ja käytölle. Tutkimuksen empiriaosuus on tapaustutkimus, jossa luodaan ex post - katsaus urheilu ja vapaa-aika toimialalla toimivan ostetun yrityksen arvoon ja siihen vaikuttaviin tekijöihin. Empiriaosuudessa ensisijaisena tavoitteena on määrittää valitulla arvonmääritystyökalulla julkisten tilinpäätöstietojen pohjalta ostetulle yritykselle arvo. Empiriaosuudessa valitun diskontattuihin vapaisiin kassavirtoihin perustuvan Navita Yritysmalli -työkalun avulla määritetään ostetulle yritykselle arvo. Laskelmien perusteella voidaan todeta, että Suunto Oy on ollut kannattava investointi nykyiselle emoyhtiölleen, vaikka Suunto Oy ei ole yltänytkään aivan kaikkiin emoyhtiön asettamiin tavoitteisiin. Kaupan myötä on syntynyt myös positiivista synergiaa, esimerkiksi Suunnon pääoma on saatu kiertämään nopeammin ja kannattavuus on kasvanut. Suunnon kauppa oli askel kohti Amerin tavoitetta olla maailman johtava urheiluvälinevalmistaja.

Structured running program for health and performance promotion in hospital employees.

Introduction Our institution (University hospital) is encouraging physical activities for health through various popular sporting events in the city of Lausanne, the biggest of which is a road race of 2, 4, 10 and 20km. Objective To create an efficient and sustainable training program in preparation of the race for a group of motivated hospital employees without any prior experience with structured training and to identifying the benefits and limitations encountered.. Methods Subjects of various fitness levels were recruited by add and agreed to undergo lab and field testing before a 12-week 3 times/week running program, based on maximal aerobic speed (MAS-30/30 sec intervals), running technique exercises and endurance training. The interval session was the only one supervised. Their goal was the 10km (11 subjects) and the 20km (6 subjects). Results A group of 17 subjects (7 male and 10 female), mean age 36.6±7.3 years, VO2max 44.0±5.5 ml/kg/min, filed test interval MAS 15.1±2.4 km/h started the program. 2 were lost because of injury (while skiing). Adherence to interval sessions was excellent, although 3 weekly training sessions proved to be difficult for most of the subjects. Performance in the race was satisfying for all of them, 6/7 subjects having improved their running time from the previous year, the others participated for the first time and 7/8 completed the race satisfyingly, one DNF-ed because of sinusitis. Repeat MAS field test was available for 6 subjects, who improved by 5.9% (p<0.01). Subjectively, all of the participants were very satisfied with improvement, interaction with colleagues from various professions, and with self achievement and confidence. Conclusions Implementation of a structured training program for recreational or non-athletes can be very successful in creating a better self-confidence, a better working environment inside a hospital facility and obviously in improvement of physical fitness and athletic performance. Above all, it can only encourage health institutions to promote the health of their own employees through physical activity, which can allow people to connect through sports. As a result, subjects in this study tend to encourage other employees to be more active and are hungry for more advice and continued offers for physical activities benefiting both them and the institution through better efficiency at work and less absenteeism common to more active people.

Project Success through Effective Decisions: Case Studies on Project Goal Setting, Success Evaluation and Managerial Decision Making

The objective of the thesis is to structure and model the factors that contribute to and can be used in evaluating project success. The purpose of this thesis is to enhance the understanding of three research topics. The goal setting process, success evaluation and decision-making process are studied in the context of a project, business unitand its business environment. To achieve the objective three research questionsare posed. These are 1) how to set measurable project goals, 2) how to evaluateproject success and 3) how to affect project success with managerial decisions.The main theoretical contribution comes from deriving a synthesis of these research topics which have mostly been discussed apart from each other in prior research. The research strategy of the study has features from at least the constructive, nomothetical, and decision-oriented research approaches. This strategy guides the theoretical and empirical part of the study. Relevant concepts and a framework are composed on the basis of the prior research contributions within the problem area. A literature review is used to derive constructs of factors withinthe framework. They are related to project goal setting, success evaluation, and decision making. On the basis of this, the case study method is applied to complement the framework. The empirical data includes one product development program, three construction projects, as well as one organization development, hardware/software, and marketing project in their contexts. In two of the case studiesthe analytic hierarchy process is used to formulate a hierarchical model that returns a numerical evaluation of the degree of project success. It has its origin in the solution idea which in turn has its foundation in the notion of projectsuccess. The achieved results are condensed in the form of a process model thatintegrates project goal setting, success evaluation and decision making. The process of project goal setting is analysed as a part of an open system that includes a project, the business unit and its competitive environment. Four main constructs of factors are suggested. First, the project characteristics and requirements are clarified. The second and the third construct comprise the components of client/market segment attractiveness and sources of competitive advantage. Together they determine the competitive position of a business unit. Fourth, the relevant goals and the situation of a business unit are clarified to stress their contribution to the project goals. Empirical evidence is gained on the exploitation of increased knowledge and on the reaction to changes in the business environment during a project to ensure project success. The relevance of a successful project to a company or a business unit tends to increase the higher the reference level of project goals is set. However, normal performance or sometimes performance below this normal level is intentionally accepted. Success measures make project success quantifiable. There are result-oriented, process-oriented and resource-oriented success measures. The study also links result measurements to enablers that portray the key processes. The success measures can be classified into success domains determining the areas on which success is assessed. Empiricalevidence is gained on six success domains: strategy, project implementation, product, stakeholder relationships, learning situation and company functions. However, some project goals, like safety, can be assessed using success measures that belong to two success domains. For example a safety index is used for assessing occupational safety during a project, which is related to project implementation. Product safety requirements, in turn, are connected to the product characteristics and thus to the product-related success domain. Strategic success measures can be used to weave the project phases together. Empirical evidence on their static nature is gained. In order-oriented projects the project phases are oftencontractually divided into different suppliers or contractors. A project from the supplier's perspective can represent only a part of the ¿whole project¿ viewed from the client's perspective. Therefore static success measures are mostly used within the contractually agreed project scope and duration. Proof is also acquired on the dynamic use of operational success measures. They help to focus on the key issues during each project phase. Furthermore, it is shown that the original success domains and success measures, their weights and target values can change dynamically. New success measures can replace the old ones to correspond better with the emphasis of the particular project phase. This adjustment concentrates on the key decision milestones. As a conclusion, the study suggests a combination of static and dynamic success measures. Their linkage to an incentive system can make the project management proactive, enable fast feedback and enhancethe motivation of the personnel. It is argued that the sequence of effective decisions is closely linked to the dynamic control of project success. According to the used definition, effective decisions aim at adequate decision quality and decision implementation. The findings support that project managers construct and use a chain of key decision milestones to evaluate and affect success during aproject. These milestones can be seen as a part of the business processes. Different managers prioritise the key decision milestones to a varying degree. Divergent managerial perspectives, power, responsibilities and involvement during a project offer some explanation for this. Finally, the study introduces the use ofHard Gate and Soft Gate decision milestones. The managers may use the former milestones to provide decision support on result measurements and ad hoc critical conditions. In the latter milestones they may make intermediate success evaluation also on the basis of other types of success measures, like process and resource measures.

A mathematical study of fuzzy logic; an algebraic approach

Fuzzy set theory and Fuzzy logic is studied from a mathematical point of view. The main goal is to investigatecommon mathematical structures in various fuzzy logical inference systems and to establish a general mathematical basis for fuzzy logic when considered as multi-valued logic. The study is composed of six distinct publications. The first paper deals with Mattila'sLPC+Ch Calculus. THis fuzzy inference system is an attempt to introduce linguistic objects to mathematical logic without defining these objects mathematically.LPC+Ch Calculus is analyzed from algebraic point of view and it is demonstratedthat suitable factorization of the set of well formed formulae (in fact, Lindenbaum algebra) leads to a structure called ET-algebra and introduced in the beginning of the paper. On its basis, all the theorems presented by Mattila and many others can be proved in a simple way which is demonstrated in the Lemmas 1 and 2and Propositions 1-3. The conclusion critically discusses some other issues of LPC+Ch Calculus, specially that no formal semantics for it is given.In the second paper the characterization of solvability of the relational equation RoX=T, where R, X, T are fuzzy relations, X the unknown one, and o the minimum-induced composition by Sanchez, is extended to compositions induced by more general products in the general value lattice. Moreover, the procedure also applies to systemsof equations. In the third publication common features in various fuzzy logicalsystems are investigated. It turns out that adjoint couples and residuated lattices are very often present, though not always explicitly expressed. Some minor new results are also proved.The fourth study concerns Novak's paper, in which Novak introduced first-order fuzzy logic and proved, among other things, the semantico-syntactical completeness of this logic. He also demonstrated that the algebra of his logic is a generalized residuated lattice. In proving that the examination of Novak's logic can be reduced to the examination of locally finite MV-algebras.In the fifth paper a multi-valued sentential logic with values of truth in an injective MV-algebra is introduced and the axiomatizability of this logic is proved. The paper developes some ideas of Goguen and generalizes the results of Pavelka on the unit interval. Our proof for the completeness is purely algebraic. A corollary of the Completeness Theorem is that fuzzy logic on the unit interval is semantically complete if, and only if the algebra of the valuesof truth is a complete MV-algebra. The Compactness Theorem holds in our well-defined fuzzy sentential logic, while the Deduction Theorem and the Finiteness Theorem do not. Because of its generality and good-behaviour, MV-valued logic can be regarded as a mathematical basis of fuzzy reasoning. The last paper is a continuation of the fifth study. The semantics and syntax of fuzzy predicate logic with values of truth in ana injective MV-algerba are introduced, and a list of universally valid sentences is established. The system is proved to be semanticallycomplete. This proof is based on an idea utilizing some elementary properties of injective MV-algebras and MV-homomorphisms, and is purely algebraic.

Supremacía del derecho federal sobre el Common Law en materia de requisitos de seguridad y eficacia terapéutica de productos sanitarios. Comentario a Riegel v. Medtronic, Inc. [552 U.S.__ (2008); February 20, 2008]

En Riegel v. Medtronic Inc. (552 U.S.__2008; February 20, 2008), el Sr. Riegel tuvo que ser sometido a un by-pass como consecuencia de la rotura del catéter, fabricado por Medtronic, con el que su médico le practicaba una angioplastia. A pesar de que el catéter había obtenido la autorización de comercialización de la FDA y cumplía los requisitos de seguridad previstos por el sistema regulatorio federal, el Sr. Riegel y su mujer interpusieron una acción de daños contra Medtronic –y no contra el médico- conforme a las reglas de responsabilidad civil objetiva y por negligencia del Common Law neoyorquino. Sin embargo, el Tribunal Supremo federal de los EE.UU., en ponencia del Magistrado Antonin Gregory Scalia, votó, por mayoría de ocho magistrados, rechazar el recurso de la Sra. Riegel y confirmar la sentencia de segunda instancia, desestimatoria de la demanda, porque consideró que la regla de primacía del derecho regulatorio federal sobre seguridad de productos sanitarios [Medical Device Amendments de 1976, 21 U.S.C. Artículo 360k(a)] excluye la aplicabilidad no sólo del derecho regulatorio estatal sobre seguridad de productos sanitarios, sino también del Common Law sobre responsabilidad civil del fabricante.