umu.sePublikationer
Ändra sökning
Avgränsa sökresultatet
123 1 - 50 av 114
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 1.
    Anttila, L.
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kallin, Lena
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Koskinen, P.
    Penttilä, T.-A.
    The Generalised Preprocessing Perceptron for Medical Data Analysis: A Case Study for the Polycystic Ovary Syndrome1996Ingår i: Cybernetics and Systems '96: Proceedings of the 13th European Meeting on Cybernetics and Systems Research / [ed] Robert Trappl, 1996, s. 597-602Konferensbidrag (Övrigt vetenskapligt)
  • 2. Blain, H.
    et al.
    Masud, T.
    Dargent-Molina, P.
    Martin, F. C.
    Rosendahl, Erik
    Umeå universitet, Medicinska fakulteten, Institutionen för samhällsmedicin och rehabilitering, Fysioterapi.
    van der Velde, N.
    Bousquet, J.
    Benetos, A.
    Cooper, C.
    Kanis, J. A.
    Reginster, J. Y.
    Rizzoli, R.
    Cortet, B.
    Barbagallo, M.
    Dreinhöfer, K.
    Vellas, B.
    Maggi, S.
    Strandberg, T.
    Alvarez, M. N.
    Annweiler, C.
    Bernard, P. -L
    Beswetherick, N.
    Bischoff-Ferrari, H. A.
    Bloch, F.
    Boddaert, J.
    Bonnefoy, M.
    Bousson, V.
    Bourdel-Marchasson, I.
    Capisizu, A.
    Che, H.
    Clara, J. G.
    Combe, B.
    Delignieres, D.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Emmelot-Vonk, M.
    Freiberger, E.
    Gauvain, J. -B
    Goswami, N.
    Guldemond, N.
    Herrero, A. C.
    Joel, M. -E
    Jonsdottir, A. B.
    Kemoun, G.
    Kiss, I.
    Kolk, H.
    Kowalski, M. L.
    Krajcik, S.
    Kutsal, Y. G.
    Lauretani, F.
    Macijauskiene, J.
    Mellingsaeter, M.
    Morel, J.
    Mourey, F.
    Nourashemi, F.
    Nyakas, C.
    Puisieux, F.
    Rambourg, P.
    Ramirez, A. G.
    Rapp, K.
    Rolland, Y.
    Ryg, J.
    Sahota, O.
    Snoeijs, S.
    Stephan, Y.
    Thomas, E.
    Todd, C.
    Treml, J.
    Adachi, R.
    Agnusdei, D.
    Body, J. -J
    Breuil, V.
    Bruyere, O.
    Burckardt, P.
    Cannata-Andia, J. B.
    Carey, J.
    Chan, D. -C
    Chapuis, L.
    Chevalley, T.
    Cohen-Solal, M.
    Dawson-Hughes, B.
    Dennison, E. M.
    Devogelaer, J. -P
    Fardellone, P.
    Feron, J. -M
    Perez, A. D.
    Felsenberg, D.
    Glueer, C.
    Harvey, N.
    Hiligsman, M.
    Javaid, M. K.
    Jorgensen, N. R.
    Kendler, D.
    Kraenzlin, M.
    Laroche, M.
    Legrand, E.
    Leslie, W. D.
    Lespessailles, E.
    Lewiecki, E. M.
    Nakamura, T.
    Papaioannou, A.
    Roux, C.
    Silverman, S.
    Henriquez, M. S.
    Thomas, T.
    Vasikaran, S.
    Watts, N. B.
    Weryha, G.
    A comprehensive fracture prevention strategy in older adults: the European union geriatric medicine society (EUGMS) statement2016Ingår i: European Geriatric Medicine, ISSN 1878-7649, E-ISSN 1878-7657, Vol. 7, nr 6, s. 519-525Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Prevention of fragility fractures in older people has become a public health priority, although the most appropriate and cost-effective strategy remains unclear. In the present statement, the Interest group on falls and fracture prevention of the European union geriatric medicine society (EUGMS), in collaboration with the International association of gerontology and geriatrics for the European region (IAGG-ER), the European union of medical specialists (EUMS), the Fragility fracture network (FFN), the International osteoporosis foundation (IOF) - European society for clinical and economic aspects of osteoporosis and osteoarthritis (ECCEO), outlines its views on the main points in the current debate in relation to the primary and secondary prevention of falls, the diagnosis and treatment of bone fragility, and the place of combined falls and fracture liaison services for fracture prevention in older people.

  • 3. Bousquet, J
    et al.
    Bewick, M
    Cano, A
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. Four Computing Oy, Helsinki, Finland.
    Fico, G
    Goswami, N
    Guldemond, N A
    Henderson, D
    Hinkema, M J
    Liotta, G
    Mair, A
    Molloy, W
    Monaco, A
    Monsonis-Paya, I
    Nizinska, A
    Papadopoulos, H
    Pavlickova, A
    Pecorelli, S
    Prados-Torres, A
    Roller-Wirnsberger, R E
    Somekh, D
    Vera-Muñoz, C
    Visser, F
    Farrell, J
    Malva, J
    Andersen Ranberg, K
    Camuzat, T
    Carriazo, A M
    Crooks, G
    Gutter, Z
    Iaccarino, G
    Manuel de Keenoy, E
    Moda, G
    Rodriguez-Mañas, L
    Vontetsianos, T
    Abreu, C
    Alonso, J
    Alonso-Bouzon, C
    Ankri, J
    Arredondo, M T
    Avolio, F
    Bedbrook, A
    Białoszewski, A Z
    Blain, H
    Bourret, R
    Cabrera-Umpierrez, M F
    Catala, A
    O'Caoimh, R
    Cesari, M
    Chavannes, N H
    Correia-da-Sousa, J
    Dedeu, T
    Ferrando, M
    Ferri, M
    Fokkens, W J
    Garcia-Lizana, F
    Guérin, O
    Hellings, P W
    Haahtela, T
    Illario, M
    Inzerilli, M C
    Lodrup Carlsen, K C
    Kardas, P
    Keil, T
    Maggio, M
    Mendez-Zorrilla, A
    Menditto, E
    Mercier, J
    Michel, J P
    Murray, R
    Nogues, M
    O'Byrne-Maguire, I
    Pappa, D
    Parent, A S
    Pastorino, M
    Robalo-Cordeiro, C
    Samolinski, B
    Siciliano, P
    Teixeira, A M
    Tsartara, S I
    Valiulis, A
    Vandenplas, O
    Vasankari, T
    Vellas, B
    Vollenbroek-Hutten, M
    Wickman, M
    Yorgancioglu, A
    Zuberbier, T
    Barbagallo, M
    Canonica, G W
    Klimek, L
    Maggi, S
    Aberer, W
    Akdis, C
    Adcock, I M
    Agache, I
    Albera, C
    Alonso-Trujillo, F
    Angel Guarcia, M
    Annesi-Maesano, I
    Apostolo, J
    Arshad, S H
    Attalin, V
    Avignon, A
    Bachert, C
    Baroni, I
    Bel, E
    Benson, M
    Bescos, C
    Blasi, F
    Barbara, C
    Bergmann, K C
    Bernard, P L
    Bonini, S
    Bousquet, P J
    Branchini, B
    Brightling, C E
    Bruguière, V
    Bunu, C
    Bush, A
    Caimmi, D P
    Calderon, M A
    Canovas, G
    Cardona, V
    Carlsen, K H
    Cesario, A
    Chkhartishvili, E
    Chiron, R
    Chivato, T
    Chung, K F
    d'Angelantonio, M
    De Carlo, G
    Cholley, D
    Chorin, F
    Combe, B
    Compas, B
    Costa, D J
    Costa, E
    Coste, O
    Coupet, A-L
    Crepaldi, G
    Custovic, A
    Dahl, R
    Dahlen, S E
    Demoly, P
    Devillier, P
    Didier, A
    Dinh-Xuan, A T
    Djukanovic, R
    Dokic, D
    Du Toit, G
    Dubakiene, R
    Dupeyron, A
    Emuzyte, R
    Fiocchi, A
    Wagner, A
    Fletcher, M
    Fonseca, J
    Fougère, B
    Gamkrelidze, A
    Garces, G
    Garcia-Aymeric, J
    Garcia-Zapirain, B
    Gemicioğlu, B
    Gouder, C
    Hellquist-Dahl, B
    Hermosilla-Gimeno, I
    Héve, D
    Holland, C
    Humbert, M
    Hyland, M
    Johnston, S L
    Just, J
    Jutel, M
    Kaidashev, I P
    Khaitov, M
    Kalayci, O
    Kalyoncu, A F
    Keijser, W
    Kerstjens, H
    Knezović, J
    Kowalski, M
    Koppelman, G H
    Kotska, T
    Kovac, M
    Kull, I
    Kuna, P
    Kvedariene, V
    Lepore, V
    MacNee, W
    Maggio, M
    Magnan, A
    Majer, I
    Manning, P
    Marcucci, M
    Marti, T
    Masoli, M
    Melen, E
    Miculinic, N
    Mihaltan, F
    Milenkovic, B
    Millot-Keurinck, J
    Mlinarić, H
    Momas, I
    Montefort, S
    Morais-Almeida, M
    Moreno-Casbas, T
    Mösges, R
    Mullol, J
    Nadif, R
    Nalin, M
    Navarro-Pardo, E
    Nekam, K
    Ninot, G
    Paccard, D
    Pais, S
    Palummeri, E
    Panzner, P
    Papadopoulos, N K
    Papanikolaou, C
    Passalacqua, G
    Pastor, E
    Perrot, M
    Plavec, D
    Popov, T A
    Postma, D S
    Price, D
    Raffort, N
    Reuzeau, J C
    Robine, J M
    Rodenas, F
    Robusto, F
    Roche, N
    Romano, A
    Romano, V
    Rosado-Pinto, J
    Roubille, F
    Ruiz, F
    Ryan, D
    Salcedo, T
    Schmid-Grendelmeier, P
    Schulz, H
    Schunemann, H J
    Serrano, E
    Sheikh, A
    Shields, M
    Siafakas, N
    Scichilone, N
    Siciliano, P
    Skrindo, I
    Smit, H A
    Sourdet, S
    Sousa-Costa, E
    Spranger, O
    Sooronbaev, T
    Sruk, V
    Sterk, P J
    Todo-Bom, A
    Touchon, J
    Tramontano, D
    Triggiani, M
    Tsartara, S I
    Valero, A L
    Valovirta, E
    van Ganse, E
    van Hage, M
    van den Berge, M
    Vandenplas, O
    Ventura, M T
    Vergara, I
    Vezzani, G
    Vidal, D
    Viegi, G
    Wagemann, M
    Whalley, B
    Wickman, M
    Wilson, N
    Yiallouros, P K
    Žagar, M
    Zaidi, A
    Zidarn, M
    Hoogerwerf, E J
    Usero, J
    Zuffada, R
    Senn, A
    de Oliveira-Alves, B
    Building Bridges for Innovation in Ageing: Synergies between Action Groups of the EIP on AHA2017Ingår i: The Journal of Nutrition, Health & Aging, ISSN 1279-7707, E-ISSN 1760-4788, Vol. 21, nr 1, s. 92-104Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The Strategic Implementation Plan of the European Innovation Partnership on Active and Healthy Ageing (EIP on AHA) proposed six Action Groups. After almost three years of activity, many achievements have been obtained through commitments or collaborative work of the Action Groups. However, they have often worked in silos and, consequently, synergies between Action Groups have been proposed to strengthen the triple win of the EIP on AHA. The paper presents the methodology and current status of the Task Force on EIP on AHA synergies. Synergies are in line with the Action Groups' new Renovated Action Plan (2016-2018) to ensure that their future objectives are coherent and fully connected. The outcomes and impact of synergies are using the Monitoring and Assessment Framework for the EIP on AHA (MAFEIP). Eight proposals for synergies have been approved by the Task Force: Five cross-cutting synergies which can be used for all current and future synergies as they consider overarching domains (appropriate polypharmacy, citizen empowerment, teaching and coaching on AHA, deployment of synergies to EU regions, Responsible Research and Innovation), and three cross-cutting synergies focussing on current Action Group activities (falls, frailty, integrated care and chronic respiratory diseases).

  • 4. Bousquet, J
    et al.
    Hellings, P W
    Agache, I
    Bedbrook, A
    Bachert, C
    Bergmann, K C
    Bewick, M
    Bindslev-Jensen, C
    Bosnic-Anticevitch, S
    Bucca, C
    Caimmi, D P
    Camargos, P A M
    Canonica, G W
    Casale, T
    Chavannes, N H
    Cruz, A A
    De Carlo, G
    Dahl, R
    Demoly, P
    Devillier, P
    Fonseca, J
    Fokkens, W J
    Guldemond, N A
    Haahtela, T
    Illario, M
    Just, J
    Keil, T
    Klimek, L
    Kuna, P
    Larenas-Linnemann, D
    Morais-Almeida, M
    Mullol, J
    Murray, R
    Naclerio, R
    O'Hehir, R E
    Papadopoulos, N G
    Pawankar, R
    Potter, P
    Ryan, D
    Samolinski, B
    Schunemann, H J
    Sheikh, A
    Simons, F E R
    Stellato, C
    Todo-Bom, A
    Tomazic, P V
    Valiulis, A
    Valovirta, E
    Ventura, M T
    Wickman, M
    Young, I
    Yorgancioglu, A
    Zuberbier, T
    Aberer, W
    Akdis, C A
    Akdis, M
    Annesi-Maesano, I
    Ankri, J
    Ansotegui, I J
    Anto, J M
    Arnavielhe, S
    Asarnoj, A
    Arshad, H
    Avolio, F
    Baiardini, I
    Barbara, C
    Barbagallo, M
    Bateman, E D
    Beghé, B
    Bel, E H
    Bennoor, K S
    Benson, M
    Białoszewski, A Z
    Bieber, T
    Bjermer, L
    Blain, H
    Blasi, F
    Boner, A L
    Bonini, M
    Bonini, S
    Bosse, I
    Bouchard, J
    Boulet, L P
    Bourret, R
    Bousquet, P J
    Braido, F
    Briggs, A H
    Brightling, C E
    Brozek, J
    Buhl, R
    Bunu, C
    Burte, E
    Bush, A
    Caballero-Fonseca, F
    Calderon, M A
    Camuzat, T
    Cardona, V
    Carreiro-Martins, P
    Carriazo, A M
    Carlsen, K H
    Carr, W
    Cepeda Sarabia, A M
    Cesari, M
    Chatzi, L
    Chiron, R
    Chivato, T
    Chkhartishvili, E
    Chuchalin, A G
    Chung, K F
    Ciprandi, G
    de Sousa, J Correia
    Cox, L
    Crooks, G
    Custovic, A
    Dahlen, S E
    Darsow, U
    Dedeu, T
    Deleanu, D
    Denburg, J A
    De Vries, G
    Didier, A
    Dinh-Xuan, A T
    Dokic, D
    Douagui, H
    Dray, G
    Dubakiene, R
    Durham, S R
    Du Toit, G
    Dykewicz, M S
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    El-Gamal, Y
    Ellers, E
    Emuzyte, R
    Farrell, J
    Fink Wagner, A
    Fiocchi, A
    Fletcher, M
    Forastiere, F
    Gaga, M
    Gamkrelidze, A
    Gemicioğlu, B
    Gereda, J E
    van Wick, R Gerth
    González Diaz, S
    Grisle, I
    Grouse, L
    Gutter, Z
    Guzmán, M A
    Hellquist-Dahl, B
    Heinrich, J
    Horak, F
    Hourihane, J O' B
    Humbert, M
    Hyland, M
    Iaccarino, G
    Jares, E J
    Jeandel, C
    Johnston, S L
    Joos, G
    Jonquet, O
    Jung, K S
    Jutel, M
    Kaidashev, I
    Khaitov, M
    Kalayci, O
    Kalyoncu, A F
    Kardas, P
    Keith, P K
    Kerkhof, M
    Kerstjens, H A M
    Khaltaev, N
    Kogevinas, M
    Kolek, V
    Koppelman, G H
    Kowalski, M L
    Kuitunen, M
    Kull, I
    Kvedariene, V
    Lambrecht, B
    Lau, S
    Laune, D
    Le, L T T
    Lieberman, P
    Lipworth, B
    Li, J
    Lodrup Carlsen, K C
    Louis, R
    Lupinek, C
    MacNee, W
    Magar, Y
    Magnan, A
    Mahboub, B
    Maier, D
    Majer, I
    Malva, J
    Manning, P
    De Manuel Keenoy, E
    Marshall, G D
    Masjedi, M R
    Mathieu-Dupas, E
    Maurer, M
    Mavale-Manuel, S
    Melén, E
    Melo-Gomes, E
    Meltzer, E O
    Mercier, J
    Merk, H
    Miculinic, N
    Mihaltan, F
    Milenkovic, B
    Millot-Keurinck, J
    Mohammad, Y
    Momas, I
    Mösges, R
    Muraro, A
    Namazova-Baranova, L
    Nadif, R
    Neffen, H
    Nekam, K
    Nieto, A
    Niggemann, B
    Nogueira-Silva, L
    Nogues, M
    Nyembue, T D
    Ohta, K
    Okamoto, Y
    Okubo, K
    Olive-Elias, M
    Ouedraogo, S
    Paggiaro, P
    Pali-Schöll, I
    Palkonen, S
    Panzner, P
    Papi, A
    Park, H S
    Passalacqua, G
    Pedersen, S
    Pereira, A M
    Pfaar, O
    Picard, R
    Pigearias, B
    Pin, I
    Plavec, D
    Pohl, W
    Popov, T A
    Portejoie, F
    Postma, D
    Poulsen, L K
    Price, D
    Rabe, K F
    Raciborski, F
    Roberts, G
    Robalo-Cordeiro, C
    Rodenas, F
    Rodriguez-Mañas, L
    Rolland, C
    Roman Rodriguez, M
    Romano, A
    Rosado-Pinto, J
    Rosario, N
    Rottem, M
    Sanchez-Borges, M
    Sastre-Dominguez, J
    Scadding, G K
    Scichilone, N
    Schmid-Grendelmeier, P
    Serrano, E
    Shields, M
    Siroux, V
    Sisul, J C
    Skrindo, I
    Smit, H A
    Solé, D
    Sooronbaev, T
    Spranger, O
    Stelmach, R
    Sterk, P J
    Strandberg, T
    Sunyer, J
    Thijs, C
    Triggiani, M
    Valenta, R
    Valero, A
    van Eerd, M
    van Ganse, E
    van Hague, M
    Vandenplas, O
    Varona, L L
    Vellas, B
    Vezzani, G
    Vazankari, T
    Viegi, G
    Vontetsianos, T
    Wagenmann, M
    Walker, S
    Wang, D Y
    Wahn, U
    Werfel, T
    Whalley, B
    Williams, D M
    Williams, S
    Wilson, N
    Wright, J
    Yawn, B P
    Yiallouros, P K
    Yusuf, O M
    Zaidi, A
    Zar, H J
    Zernotti, M E
    Zhang, L
    Zhong, N
    Zidarn, M
    ARIA 2016: Care pathways implementing emerging technologies for predictive medicine in rhinitis and asthma across the life cycle2016Ingår i: Clinical and Translational Allergy, ISSN 2045-7022, E-ISSN 2045-7022, Vol. 6, nr 47Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The Allergic Rhinitis and its Impact on Asthma (ARIA) initiative commenced during a World Health Organization workshop in 1999. The initial goals were (1) to propose a new allergic rhinitis classification, (2) to promote the concept of multi-morbidity in asthma and rhinitis and (3) to develop guidelines with all stakeholders that could be used globally for all countries and populations. ARIA-disseminated and implemented in over 70 countries globally-is now focusing on the implementation of emerging technologies for individualized and predictive medicine. MASK [MACVIA (Contre les Maladies Chroniques pour un Vieillissement Actif)-ARIA Sentinel NetworK] uses mobile technology to develop care pathways for the management of rhinitis and asthma by a multi-disciplinary group and by patients themselves. An app (Android and iOS) is available in 20 countries and 15 languages. It uses a visual analogue scale to assess symptom control and work productivity as well as a clinical decision support system. It is associated with an inter-operable tablet for physicians and other health care professionals. The scaling up strategy uses the recommendations of the European Innovation Partnership on Active and Healthy Ageing. The aim of the novel ARIA approach is to provide an active and healthy life to rhinitis sufferers, whatever their age, sex or socio-economic status, in order to reduce health and social inequalities incurred by the disease.

  • 5. Bousquet, Jean
    et al.
    Hellings, Peter W.
    Agache, Ioana
    Amat, Flore
    Annesi-Maesano, Isabella
    Ansotegui, Ignacio J.
    Anto, Josep M.
    Bachert, Claus
    Bateman, Eric D.
    Bedbrook, Anna
    Bennoor, Kazi
    Bewick, Mickael
    Bindslev-Jensen, Carsten
    Bosnic-Anticevich, Sinthia
    Bosse, Isabelle
    Brozek, Jan
    Brussino, Luisa
    Canonica, Giorgio W.
    Cardona, Victoria
    Casale, Thomas
    Sarabia, Alfonso M. Cepeda
    Chavannes, Niels H.
    Cecchi, Lorenzo
    de Sousa, Jaime Correia
    Costa, Elisio
    Cruz, Alvaro A.
    Czarlewski, Wienczyslawa
    De Carlo, Giuseppe
    De Feo, Giulia
    Demoly, Pascal
    Devillier, Philippe
    Dykewicz, Mark S.
    El-Gamal, Yehia
    Eller, Esben E.
    Fonseca, Joao A.
    Fontaine, Jean-Francois
    Fokkens, Wytske J.
    Guzman, Maria-Antonieta
    Haahtela, Tari
    Illario, Maddalena
    Ivancevich, Juan-Carlos
    Just, Jocelyne
    Kaidashev, Igor
    Khaitov, Musa
    Kalayci, Omer
    Keil, Thomas
    Klimek, Ludger
    Kowalski, Marek L.
    Kuna, Piotr
    Kvedariene, Violeta
    Larenas-Linnemann, Desiree
    Laune, Daniel
    Le, Lan T. T.
    Carlsen, Karin Lodrup
    Lourenco, Olga
    Mahboub, Bassam
    Mair, Alpana
    Menditto, Enrica
    Milenkovic, Branislava
    Morais-Almeida, Mario
    Mosges, Ralph
    Mullol, Joaquim
    Murray, Ruth
    Naclerio, Robert
    Namazova-Baranova, Leyla
    Novellino, Ettore
    O'Hehir, Robyn E.
    Ohta, Ken
    Okamoto, Yoshitaka
    Okubo, Kimi
    Onorato, Gabrielle L.
    Palkonen, Susanna
    Panzner, Petr
    Papadopoulos, Nikos G.
    Park, Hae-Sim
    Paulino, Ema
    Pawankar, Ruby
    Pfaar, Oliver
    Plavec, Davor
    Popov, Ted A.
    Potter, Paul
    Prokopakis, Emmanuel P.
    Rottem, Menachem
    Ryan, Dermot
    Salimaki, Johanna
    Samolinski, Boleslaw
    Sanchez-Borges, Mario
    Schunemann, Holger J.
    Sheikh, Aziz
    Sisul, Juan-Carlos
    Rajabian-Soderlund, Rojin
    Sooronbaev, Talant
    Stellato, Cristiana
    To, Teresa
    Todo-Bom, Ana-Maria
    Tomazic, Peter-Valentin
    Toppila-Salmi, Sanna
    Valero, Antonio
    Valiulis, Arunas
    Valovirta, Erkka
    Ventura, Maria-Teresa
    Wagenmann, Martin
    Wang, De Yun
    Wallace, Dana
    Waserman, Susan
    Wickman, Magnus
    Yorgancioglu, Arzu
    Zhang, Luo
    Zhong, Nanshan
    Zidarn, Mihaela
    Zuberbier, Torsten
    Bousquet, J.
    Hellings, P. W.
    Aberer, W.
    Agache, I.
    Akdis, C. A.
    Akdis, M.
    Alberti, M. R.
    Almeida, R.
    Amat, F.
    Angles, R.
    Annesi-Maesano, I.
    Ansotegui, I. J.
    Anto, J. M.
    Arnavielle, S.
    Asayag, E.
    Asarnoj, A.
    Arshad, H.
    Avolio, F.
    Bacci, E.
    Bachert, C.
    Baiardini, I.
    Barbara, C.
    Barbagallo, M.
    Baroni, I.
    Barreto, B. A.
    Basagana, X.
    Bateman, E. D.
    Bedolla-Barajas, M.
    Bedbrook, A.
    Bewick, M.
    Beghe, B.
    Bel, E. H.
    Bergmann, K. C.
    Bennoor, K. S.
    Benson, M.
    Bertorello, L.
    Biaoszewski, A. Z.
    Bieber, T.
    Bialek, S.
    Bindslev-Jensen, C.
    Bjermer, L.
    Blain, H.
    Blasi, F.
    Blua, A.
    Marciniak, M. Bochenska
    Bogus-Buczynska, I.
    Boner, A. L.
    Bonini, M.
    Bonini, S.
    Bosnic-Anticevich, C. S.
    Bosse, I.
    Bouchard, J.
    Boulet, L. P.
    Bourret, R.
    Bousquet, P. J.
    Braido, F.
    Briedis, V.
    Brightling, C. E.
    Brozek, J.
    Bucca, C.
    Buhl, R.
    Buonaiuto, R.
    Panaitescu, C.
    Cabanas, M. T. Burguete
    Burte, E.
    Bush, A.
    Caballero-Fonseca, F.
    Caillot, D.
    Caimmi, D.
    Calderon, M. A.
    Camargos, P. A. M.
    Camuzat, T.
    Canfora, G.
    Canonica, G. W.
    Cardona, V.
    Carlsen, K. H.
    Carreiro-Martins, P.
    Carriazo, A. M.
    Carr, W.
    Cartier, C.
    Casale, T.
    Castellano, G.
    Cecchi, L.
    Sarabia, A. M. Cepeda
    Chavannes, N. H.
    Chen, Y.
    Chiron, R.
    Chivato, T.
    Chkhartishvili, E.
    Chuchalin, A. G.
    Chung, K. F.
    Ciaravolo, M. M.
    Ciceran, A.
    Cingi, C.
    Ciprandi, G.
    Coehlo, A. C. Carvalho
    Colas, L.
    Colgan, E.
    Coll, J.
    Conforti, D.
    de Sousa, J. Correia
    Cortes-Grimaldo, R. M.
    Corti, F.
    Costa, E.
    Costa-Dominguez, C.
    Courbis, A. L.
    Cox, L.
    Crescenzo, M.
    Cruz, A. A.
    Custovic, A.
    Czarlewski, W.
    Dahlen, S. E.
    Dario, C.
    da Silva, J.
    Dauvilliers, Y.
    Darsow, U.
    De Blay, F.
    De Carlo, G.
    Dedeu, T.
    Emerson, M. de Fatima
    De Feo, G.
    De Vries, G.
    De Martino, B.
    Rubini, N. de Paula Motta
    Deleanu, D.
    Demoly, P.
    Denburg, J. A.
    Devillier, P.
    Ercolano, S. Di Capua
    Di Carluccio, N.
    Didier, A.
    Dokic, D.
    Dominguez-Silva, M. G.
    Douagui, H.
    Dray, G.
    Dubakiene, R.
    Durham, S. R.
    Du Toit, G.
    Dykewicz, M. S.
    El-Gamal, Y.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Eller, E.
    Emuzyte, R.
    Farrell, J.
    Farsi, A.
    de Mello, J. Ferreira, Jr.
    Ferrero, J.
    Fink-Wagner, A.
    Fiocchi, A.
    Fokkens, W. J.
    Fonseca, J. A.
    Fontaine, J. F.
    Forti, S.
    Fuentes-Perez, J. M.
    Galvez-Romero, J. L.
    Gamkrelidze, A.
    Garcia-Aymerich, J.
    Garcia-Cobas, C. Y.
    Garcia-Cruz, M. H.
    Gemicioglu, B.
    Genova, S.
    Christoff, G.
    Gereda, J. E.
    van Wijk, R. Gerth
    Gomez, R. M.
    Gomez-Vera, J.
    Diaz, S. Gonzalez
    Gotua, M.
    Grisle, I.
    Guidacci, M.
    Guldemond, N. A.
    Gutter, Z.
    Guzman, M. A.
    Haahtela, T.
    Hajjam, J.
    Hernandez, L.
    Hourihane, J. O 'B.
    Huerta-Villalobos, Y. R.
    Humbert, M.
    Iaccarino, G.
    Illario, M.
    Ivancevich, J. C.
    Jares, E. J.
    Jassem, E.
    Johnston, S. L.
    Joos, G.
    Jung, K. S.
    Jutel, M.
    Kaidashev, I.
    Kalayci, O.
    Kalyoncu, A. F.
    Karjalainen, J.
    Kardas, P.
    Keil, T.
    Keith, P. K.
    Khaitov, M.
    Khaltaev, N.
    Kleine-Tebbe, J.
    Klimek, L.
    Kowalski, M. L.
    Kuitunen, M.
    Kull, I.
    Kuna, P.
    Kupczyk, M.
    Kvedariene, V.
    Krzych-Fata, E.
    Lacwik, P.
    Larenas-Linnemann, D.
    Laune, D.
    Lauri, D.
    Lavrut, J.
    Le, L. T. T.
    Lessa, M.
    Levato, G.
    Li, J.
    Lieberman, P.
    Lipiec, A.
    Lipworth, B.
    Carlsen, K. C. Lodrup
    Louis, R.
    Lourenco, O.
    Luna-Pech, J. A.
    Maciej, K.
    Magnan, A.
    Mahboub, B.
    Maier, D.
    Mair, A.
    Majer, I.
    Malva, J.
    Mandajieva, E.
    Manning, P.
    Keenoy, E. De Manuel
    Marshall, G. D.
    Masjedi, M. R.
    Maspero, J. F.
    Mathieu-Dupas, E.
    Campos, J. J. Matta
    Matos, A. L.
    Maurer, M.
    Mavale-Manuel, S.
    Mayora, O.
    Medina-Avalos, M. A.
    Melen, E.
    Melo-Gomes, E.
    Meltzer, E. O.
    Menditto, E.
    Mercier, J.
    Miculinic, N.
    Mihaltan, F.
    Milenkovic, B.
    Moda, G.
    Mogica-Martinez, M. D.
    Mohammad, Y.
    Momas, I.
    Montefort, S.
    Monti, R.
    Bogado, D. Mora
    Morais-Almeida, M.
    Morato-Castro, F. F.
    Mosges, R.
    Mota-Pinto, A.
    Santo, P. Moura
    Mullol, J.
    Munter, L.
    Muraro, A.
    Murray, R.
    Naclerio, R.
    Nadif, R.
    Nalin, M.
    Napoli, L.
    Namazova-Baranova, L.
    Neffen, H.
    Niedeberger, V.
    Nekam, K.
    Neou, A.
    Nieto, A.
    Nogueira-Silva, L.
    Nogues, M.
    Novellino, E.
    Nyembue, T. D.
    O'Hehir, R. E.
    Odzhakova, C.
    Ohta, K.
    Okamoto, Y.
    Okubo, K.
    Onorato, G. L.
    Cisneros, M. Ortega
    Ouedraogo, S.
    Pali-Scholl, I.
    Palkonen, S.
    Panzner, P.
    Papadopoulos, N. G.
    Park, H. S.
    Papi, A.
    Passalacqua, G.
    Paulino, E.
    Pawankar, R.
    Pedersen, S.
    Pepin, J. L.
    Pereira, A. M.
    Persico, M.
    Pfaar, O.
    Phillips, J.
    Picard, R.
    Pigearias, B.
    Pin, I.
    Pitsios, C.
    Plavec, D.
    Pohl, W.
    Popov, T. A.
    Portejoie, F.
    Potter, P.
    Pozzi, A. C.
    Price, D.
    Prokopakis, E. P.
    Puy, R.
    Pugin, B.
    Ross, R. E. Pulido
    Przemecka, M.
    Rabe, K. F.
    Raciborski, F.
    Rajabian-Soderlund, R.
    Reitsma, S.
    Ribeirinho, I.
    Rimmer, J.
    Rivero-Yeverino, D.
    Rizzo, J. A.
    Rizzo, M. C.
    Robalo-Cordeiro, C.
    Rodenas, F.
    Rodo, X.
    Gonzalez, M. Rodriguez
    Rodriguez-Manas, L.
    Rolland, C.
    Valle, S. Rodrigues
    Rodriguez, M. Roman
    Romano, A.
    Rodriguez-Zagal, E.
    Rolla, G.
    Roller-Wirnsberger, R. E.
    Romano, M.
    Rosado-Pinto, J.
    Rosario, N.
    Rottem, M.
    Ryan, D.
    Sagara, H.
    Salimaki, J.
    Samolinski, B.
    Sanchez-Borges, M.
    Sastre-Dominguez, J.
    Scadding, G. K.
    Schunemann, H. J.
    Scichilone, N.
    Schmid-Grendelmeier, P.
    Serpa, F. S.
    Shamai, S.
    Sheikh, A.
    Sierra, M.
    Simons, F. E. R.
    Siroux, V.
    Sisul, J. C.
    Skrindo, I.
    Sole, D.
    Somekh, D.
    Sondermann, M.
    Sooronbaev, T.
    Sova, M.
    Sorensen, M.
    Sorlini, M.
    Spranger, O.
    Stellato, C.
    Stelmach, R.
    Stukas, R.
    Sunyer, J.
    Strozek, J.
    Szylling, A.
    Tebyrica, J. N.
    Thibaudon, M.
    To, T.
    Todo-Bom, A.
    Tomazic, P. V.
    Toppila-Salmi, S.
    Trama, U.
    Triggiani, M.
    Ulrik, C. Suppli
    Urrutia-Pereira, M.
    Valenta, R.
    Valero, A.
    Valiulis, A.
    Valovirta, E.
    van Eerd, M.
    van Ganse, E.
    van Hague, M.
    Vandenplas, O.
    Ventura, M. T.
    Vezzani, G.
    Vasankari, T.
    Vatrella, A.
    Verissimo, M. T.
    Viart, F.
    Viegi, M.
    Vicheva, D.
    Vontetsianos, T.
    Wagenmann, M.
    Walker, S.
    Wallace, D.
    Wang, D. Y.
    Waserman, S.
    Werfel, T.
    Westman, M.
    Wickman, M.
    Williams, D. M.
    Williams, S.
    Wilson, N.
    Wright, J.
    Wroczynski, P.
    Yakovliev, P.
    Yawn, B. P.
    Yiallouros, P. K.
    Yorgancioglu, A.
    Yusuf, O. M.
    Zar, H. J.
    Zhang, L.
    Zhong, N.
    Zernotti, M. E.
    Zidarn, M.
    Zuberbier, T.
    Zubrinich, C.
    Zurkuhlen, A.
    Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018): Change management in allergic rhinitis and asthma multimorbidity using mobile technology2019Ingår i: Journal of Allergy and Clinical Immunology, ISSN 0091-6749, E-ISSN 1097-6825, Vol. 143, nr 3, s. 864-879Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Allergic Rhinitis and its Impact on Asthma (ARIA) has evolved from a guideline by using the best approach to integrated care pathways using mobile technology in patients with allergic rhinitis (AR) and asthma multimorbidity. The proposed next phase of ARIA is change management, with the aim of providing an active and healthy life to patients with rhinitis and to those with asthma multimorbidity across the lifecycle irrespective of their sex or socioeconomic status to reduce health and social inequities incurred by the disease. ARIA has followed the 8-step model of Kotter to assess and implement the effect of rhinitis on asthma multimorbidity and to propose multimorbid guidelines. A second change management strategy is proposed by ARIA Phase 4 to increase self-medication and shared decision making in rhinitis and asthma multimorbidity. An innovation of ARIA has been the development and validation of information technology evidence-based tools (Mobile Airways Sentinel Network [MASK]) that can inform patient decisions on the basis of a self-care plan proposed by the health care professional.

  • 6. Caianiello, Eduardo
    et al.
    Eklund, Patrik
    Department of Computer Science, Abo Akademi, Finland.
    Ventre, Aldo
    Implementations of the C-calculus1989Ingår i: Connection science (Print), ISSN 0954-0091, E-ISSN 1360-0494, Vol. 1, nr 1, s. 41-51Artikel i tidskrift (Refereegranskat)
  • 7. Caianiello, Eduardo R.
    et al.
    Eklund, Patrik
    Department of Computer Science, Åbo Akademi, Åbo, Finland.
    Squillante, M.
    Ventre, A.G.S.
    Formalism and Implementations of C-calculus1989Ingår i: Computational Intelligence, I: Proceedings of the International Conference, Milan Italy, 26-30 Sept., 1988 / [ed] Alberto Martelli and Giorgi Valle, Amsterdam: Elsevier, 1989, s. 15-26Konferensbidrag (Refereegranskat)
  • 8. Carlsson, Christer
    et al.
    Ehrenberg, Dieter
    Eklund, Patrik
    Department of Computer Science, Åbo Akademi University, Åbo, Finland.
    Fedrizzi, Mario
    Gustafsson, Patrik
    Lindholm, Paul
    Merkuryeva, Galina
    Riissanen, Tony
    Ventre, Aldo
    Consensus in distributed soft environments1992Ingår i: European Journal of Operational Research, ISSN 0377-2217, E-ISSN 1872-6860, Vol. 61, nr 1-2, s. 165-185Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper studies the problem of formalizing consensus reaching within a set of decision makers trying to find and agree upon a mutual decision. Decision makers produce their individual rankings, using their own pet decision schemas. Thus consensus reaching relies only on the aggregation of individual decisions rather than on individual decision procedures. The aggregation of the individual rankings is supported by an advising monitor which tries to contract the decision makers into a mutual decision through soft enforcement. Convergence to consensus then depends upon the decision makers' willingness to compromise. We use a topological approach to consensus where we can measure distances between decision makers. Within the approach we can also model the trade-off between a degree of consensus and a strength of majority.

  • 9.
    Ehrenberg, Dieter
    et al.
    Technical University of Leipzig, Leipzig, Germany.
    Eklund, Patrik
    Department of Computer Science, Åbo Akademi, Åbo, Finland.
    Fedrizzi, Mario
    University of Trento, Trento, Italy.
    Ventre, Aldo
    University of Naples, Naples, Italy.
    Enhancing consensus in distributed environments1990Ingår i: Parallel Architectures and Neural Networks: Third Italian Workshop : Vietri Sul Mare, Salerno, Italy, 15-18 May, 1990 / [ed] E. R. Caianiello, Singapore: World Scientific, 1990, s. 403-406Konferensbidrag (Refereegranskat)
  • 10. Eklund, Heidi-Tuulia
    et al.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Logic and process drama2013Ingår i: / [ed] R. B. Thorkelsdóttir, Á. H. Ragnardóttir, Háskólaprent , 2013, s. 103-115Konferensbidrag (Refereegranskat)
  • 11.
    Eklund, Patrik
    Department of Mathematics, Åbo Akademi, Åbo 50 20500, Finland.
    A class of completely regular spaces1984Ingår i: International journal of mathematics and mathematical sciences, ISSN 0161-1712, E-ISSN 1687-0425, Vol. 7, nr 1, s. 197-200Artikel i tidskrift (Refereegranskat)
  • 12.
    Eklund, Patrik
    Åbo akademy,department of mathematics,sf-20500 Åbo,Finland.
    A comparison of lattice-theoretic approaches to fuzzy topology1986Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 19, nr 1, s. 81-87Artikel i tidskrift (Refereegranskat)
  • 13.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Assessment scales and consensus guidelines encoded in formal logic2009Ingår i: The Journal of Nutrition, Health & Aging, ISSN 1279-7707, E-ISSN 1760-4788, Vol. 13, nr 1, s. 558-559Artikel i tidskrift (Refereegranskat)
  • 14.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Category theoretic ontology for representation of assessment scales and consensus guidelines in elderly care2013Ingår i: Fuzziness and Medicine: Philosophical Reflections and Application Systems in Health Care: A Companion Volume to Sadegh-Zadeh’s Handbook of Analytical Philosophy of Medicine / [ed] Rudolf Seising and Marco Elio Tabacchi, Springer Berlin/Heidelberg, 2013, s. 401-413Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    In this paper we show how category theoretic ontology provided by generalized general logic can be used for decision-making with assessment scales and consensus guidelines in social and health care of older people. Computerized decision-making in social and health care is traditionally views ontologies not as part of underlying logics for decision-making, but rather as standards and terminologies including skeletons and frameworks of informal logic structures. Programming in logic is manipulation of terms, and substitution with terms. Classical terms won’t suffice. An ontology building upon classical terms, trying to enhance missing parts in the underlying structures by being clever about inference, becomes logically sterile and basically useless in formal frameworks. We also need to make a distinction between imprecise or vague information, and being formal and accurate in reasoning with vague values. Furthermore, a value may be vague as produced by a crisp operation, or a value is vague since the underlying operation is vague. From formal point of view this is all about underlying categories and monads, and in this paper we will continue investigations showing how the signatures reside in term monads over chosen categories. Our approach is thus monadic, and we consider monads over suitable categories.

  • 15.
    Eklund, Patrik
    Department of Mathematics, Åbo Akademi, 20500 Åbo, Finland.
    Category theoretic properties of fuzzy topological spaces1984Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 13, nr 3, s. 303-310Artikel i tidskrift (Refereegranskat)
  • 16.
    Eklund, Patrik
    Department of Computer Science, Åbo Akademi, Åbo, Finland.
    DiagaiD: A Neuro-Fuzzy System for Developing Medical Decision Support1994Ingår i: Scandinavian Journal of Clinical and Laboratory Investigation, ISSN 0036-5513, E-ISSN 1502-7686, Vol. 54, nr s218, s. 9-10Artikel i tidskrift (Refereegranskat)
  • 17.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Early diagnosis of cognitive disorder based on ground categories for decision support structures2009Ingår i: IEEE International Conference on Fuzzy Systems, 2009. FUZZ-IEEE 2009., 2009, s. 997-1002Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we discuss computerized assessments and guidelines for decision making, with accuracy and formalism being required for avoiding ambiguities and imprecision. Note the difference between imprecise or vague information, and being formal and accurate in reasoning with vague values. We may even have a logic allowing for vague reasoning, where the underlying logic is formal and precise, i.e. must always have a clear syntax and semantics together with a accurately described inference mechanism revealing the strength and weakness, and indeed the nature and capacities of that particular underlying logic. Our examples will be drawn from elderly care, in particular from assessments in old age psychiatry and early diagnosis of cognitive disorder.

  • 18.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Elderly care cost control using observation, assessment anddecision-making2013Ingår i: Handbook of Research on ICTs for Human-Centered Healthcare and Social Care Services, Vol. I / [ed] M. M. Cruz-Cunha, I. M. Miranda, P. Goncalves, IGI Global, 2013, s. 320-329Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    Municipal and regional best practices for strategic planning and management of ageing is achieved by developing accurate socio-economic modelling tools based on rigorous design of information and processes. Demographic models enable analysis and prediction of demographic change, and socio-economic modelling, based on ageing information and process design, is sensitive and specific in particular concerning variables related to demographic change. Service forms based on observation, assessment, and decision-making are typically used in home care, adult day care centres, residential care, nursing homes, and/or wards. The suggested approach to socio-economic modelling-based strategic planning is both customer-centric with respect to information and process design as well as care-centric with respect to care management.

  • 19.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    General logics and management of ageing2008Ingår i: Third 2008 International Conference on Convergence and Hybrid Information Technology (ICCIT 2008), Volume 1, 2008, s. 424-429Konferensbidrag (Refereegranskat)
    Abstract [en]

    Cognitive decline progresses from the mild cognitive impairment stage and proceeds into various dementia types and progresses through different severities. During the course of the cognitive decline the patient is subjected to actions and decision making as provided by respective professional groups. Coordination of various clinical and care giving skills and capacities involve information management and reasoning which require consideration of different logic platforms suited for the professional groups. Particularly at early detection it is important to adapt information and knowledge representation to situations where cognitive problems are encountered and by whom these observations are made. The very first observations of cognitive decline are usually made by thepatient's husband/wife and relatives Advice is then sought from social authorities, nurses and primary care doctors within their local health care centres. Professional representation in these groups will not perform final diagnosis but rather provide necessary background information for assessment and initialization of thediagnostic procedures. Moving between logic representations of guidelines requires formalism as provided by general logics.

  • 20.
    Eklund, Patrik
    Department of Computer Science, Åbo Akademi, Åbo, Finland.
    Network size versus preprocessing1994Ingår i: Fuzzy sets, neural networks, and soft computing / [ed] Ronald R. Yager, Lotfi Asker Zadeh, New York: Van Nostrand Reinhold , 1994, s. 250-264Kapitel i bok, del av antologi (Refereegranskat)
  • 21.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Non-classical logic for elderly care management2008Ingår i: / [ed] L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay, 2008, s. 646-651Konferensbidrag (Refereegranskat)
  • 22.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Observe-Assess-Decide for information-oriented elderly care2010Ingår i: 4th Global Conference of the Alliance for Healthy Cities (AFHC 2010), Gangnam-gu (Korea), 2010, s. 48-49Konferensbidrag (Refereegranskat)
  • 23.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Signatures for assessment, diagnosis and decision-making in ageing2010Ingår i: Information processing and management of uncertainty in knowledge-based systems: applications, pt II / [ed] Hullermeier, E; Kruse, R; Hoffmann, F, Springer, 2010, s. 271-279Konferensbidrag (Refereegranskat)
    Abstract [en]

    Computerized decision-making in social and health care is traditionally focused on representation and implementation of know-how and guidelines. Less attention has been paid to underlying data structures and formalizations of ontologies. In this paper we show how underlying signatures of a logic can be based on monads over suitable categories. Furthermore, we argue in favour of using application domain specific logic, and even cross-functional logic as enabled by general logics. Our examples are drawn from decision-making with assessment scales and consensus guidelines in social and health care of older people.

  • 24.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Signatures for assessment, diagnosis and decision-making in ageing2010Ingår i: IPMU 2010 / [ed] E. Hüllermeier, R. Kruse, and F. Hoffmann, Springer-Verlag New York, 2010, s. 271-279Konferensbidrag (Refereegranskat)
  • 25.
    Eklund, Patrik
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    The Syntax of Many-Valued Relations2016Ingår i: Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2016, PT II, 2016, s. 61-68Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we show how many-valued relations syntactically can be formulated using powertype constructors. This in turn enables to describe the syntax of generalized relations in the starting point sense where the category sets and relations is isomorphic to the Kleisli category of the powerset monad over the category of sets. We can then generalize to work over monoidal closed categories, and thereby description logic, formal concepts and rough sets can be viewed as depending on that powertype constructor, and within a setting of many-valued lambda-calculus. In order to achieve this, we will adopt a three-level arrangement of signatures [4], and demonstrate the benefits of using it. Bivalent and untyped relational adaptations typically appear in terminology and ontology, and we will illuminate this situation concerning classifications in health. Extensions to multivalent and typed nomenclatures provides an enrichment that is beneficial in practical use of health classifications and nomenclatures.

  • 26.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Bohlin, J.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Probabilistic networks in laboratory medicine1998Ingår i: Scandinavian Journal of Clinical and Laboratory Investigation, ISSN 0036-5513, E-ISSN 1502-7686, Vol. 58, nr s228, s. 32-32Artikel i tidskrift (Refereegranskat)
  • 27.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Eriksson, S
    Umeå universitet, Medicinska fakulteten, Institutionen för samhällsmedicin och rehabilitering.
    Karlsson, Johan
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Lindgren, Helena
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Näslund, Annica
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Software development and maintenance strategies for guideline implementation2001Ingår i: EUNITE-Workshop: intelligent systems in patient care, Austrian Computer Society , 2001, s. 26-45Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we discuss various software engineering aspects of guideline computerisation, both from domain oriented as well as technology driven points of view. The discussion includes case studies on pharmacological treatment of hypertension, diagnosis of dementia, and drug interactions.

  • 28.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Fedrizzi, Mario
    Nurmi, Hannu
    A categorical approach to the extension of social choice functions2010Ingår i: Information processing and management of uncertainty in knowledge-based systems: applications, pt II / [ed] Hüllermeier, Eyke, Kruse, Rudolf, Hoffmann, Frank, Springer, 2010, s. 261-270Konferensbidrag (Refereegranskat)
    Abstract [en]

    Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad over the appropriate category, and variable substitutions as morphisms in the Kleisli category of that particular term monad.

  • 29.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Fedrizzi, Mario
    Nurmi, Hannu
    Categorical approach to the extension of social choice functions2010Ingår i: IPMU 2010 / [ed] E. Hüllermeier, R. Kruse, and F. Hoffmann, Springer-Verlag , 2010, s. 261-270Konferensbidrag (Refereegranskat)
  • 30.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Forsström, J. J.
    Department of Medicine, Turku University Central Hospital, Turku, Finland.
    Computational intelligence for laboratory information systems1995Ingår i: Scandinavian Journal of Clinical and Laboratory Investigation, ISSN 0036-5513, E-ISSN 1502-7686, Vol. 55, nr s222, s. 21-30Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Non-linear models, such as given by neural networks and fuzzy logic, have established a good reputation for medical data analysis as computational and logical counterparts to statistical methods. Whereas multilayer perceptrons perform well with large data sets, a combination of neural learning together with fuzzy logical network interpretations provides a network reduction well suited for smaller data sets. The aim of this paper is to present an approach to neural fuzzy systems data analysis and knowledge acquisition in laboratory information systems. We also describe a software system, DiagaiD, which provides an analysis and development workbench involving laboratory data.

  • 31.
    Eklund, Patrik
    et al.
    Department of Computer Science, Åbo Akademi, Åbo, Finland.
    Forsström, Jari
    University of Turku, Department of Clinical Chemistry, Central Laboratory, Turku University Central Hospital, SF-20520 Turku, Finland.
    Diagnosis of nephropathia epidemica by adaptation through Lukasiewicz inference1990Ingår i: Computational Intelligence, III: Proceedings of the International Symposium "Computational Intelligence 90", Milan, Italy, 24-28 September, 1990. / [ed] Nick Cerone, Francesco Gardin, co-editor, George Valle, Amsterdam, The Netherlands: Elsevier, 1990, s. 237-246Kapitel i bok, del av antologi (Refereegranskat)
    Abstract [en]

    This paper describes a method how to arrive at a medical expert system (as a knowledge based system) to support physicians in classifying patients in diagnosis of Nephropathia epidemica (NE). We thereby present a link between Lukasiewicz inference and learning in neural nets, as a formal connection between uncertainty in logical implication and synaptic weights. The system presented uses clinical findings and laboratory investigations to arrive at predictions whether or not patients suffer from NE. Although we are willing to call our system a medical expert system, it could equally well be called a decision support system, this being more in spirit to what such a system really offers a physician.

  • 32.
    Eklund, Patrik
    et al.
    Åbo Akademi University, Department of Computer Science, Åbo, Finland.
    Forsström, Jari
    Turku University Central Hospital, Department of Medicine, Turku, Finland.
    Holm, Anders
    Åbo Akademi University, Department of Computer Science, Åbo, Finland.
    Nyström, Mats
    Åbo Akademi University, Department of Computer Science, Åbo, Finland.
    Selén, Gustaf
    Åbo Akademi University, Department of Computer Science, Åbo, Finland.
    Rule generation as an alternative to knowledge acquisition: a systems architecture for medical informatics1994Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 66, nr 2, s. 195-205Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper describes a clinical support systems workbench, DiagaiD, based on an efficient transfer of patient data between health care professionals and clinical subsystems. The DiagaiD workbench provides tools for decision support developments for open-loop systems.A leading ambition for our development work has been to establish a data analysis and knowledge elicitation workbench, in which medical professionals entirely by themselves can create stand-alone expert systems.

  • 33.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    Galan Garcia, Maria Angeles
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    Monads can be rough2006Ingår i: : 5th International Conference, RSCTC 2006 Kobe, Japan, November 6-8, 2006 Proceedings, 2006, s. 77-84Konferensbidrag (Refereegranskat)
    Abstract [en]

    Traditionally, rough sets build upon relations based on ordinary sets, i.e. relations on X as subsets of X x X. A starting point of this paper is the equivalent view on relations as mappings from X to the (ordinary) power set PX. Categorically, P is a set functor, and even more so, it can in fact be extended to a monad (P,eta,mu). This is still not enough and we need to consider the partial order (PX, <=). Given this partial order, the ordinary power set monad can be extended to a partially ordered monad. The partially ordered ordinary power set monad turns out to contain sufficient structure in order to provide rough set operations. However, the motivation of this paper goes far beyond ordinary relations as we show how more general power sets, i.e. partially ordered monads built upon a wide range of set functors, can be used to provide what we call rough monads.

  • 34.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    Galan Garcia, Maria Angeles
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    On logic with fuzzy and rough powerset monads2007Ingår i: Rough Sets and Intelligent Systems Paradigms: International Conference, RSEISP 2007, Warsaw, Poland, June 28-30, 2007. Proceedings, Berlin / Heidelberg: Springer , 2007, s. 391-399Konferensbidrag (Refereegranskat)
    Abstract [en]

    Non-standard logics departs from traditional logic mostly in extended views, on one hand syntactically related to logical operators, and on the other hand semantically related to truth values. Typical for these approaches is the remaining traditional view on 'sets and relations' and on terms based on signatures. Thus the cornerstones of the languages remain standard, and so does mostly the view on knowledge representation and reasoning using traditional substitution theories and unification styles. In previous papers we have dealt with particular problems such as generalizing terms and substitution, extending our views on sets and relations, and demonstrated the use of these non-standard language elements in various applications such as for fuzzy logic, generalized convergence spaces, rough sets and Kleene algebras. In this paper we provide an overview and summarized picture of what indeed happens when we drop the requirement for using traditional sets with relations and terms with equational settings

  • 35.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    Galan Garcia, Maria Angeles
    Umeå universitet, Teknisk-naturvetenskaplig fakultet, Institutionen för datavetenskap.
    The rough powerset monad2007Ingår i: 37th International Symposium on Multiple-Valued Logic Conference Location: Oslo, NORWAY, 2007, s. 321-333Konferensbidrag (Refereegranskat)
    Abstract [en]

    Rough sets and fuzzy sets are both methods to represent uncertainty. In previous work we have developed, within the abstract language of category theory, some interesting tools for providing a foundation to the development of a general framework for unification, working with powersets of terms. Monads, in this context, establish an essential concept in that they contain set functors with structure provided by natural transformations. In this paper we show how monads, extended to partially ordered monads, can be used to generalize and interpret rough situations. In particular, the partially ordered ordinary power set monad turns out to contain sufficient structure in order to provide rough set operations. This study of rough sets from a categorical view, provides an abstract tool to handle properties of the structure increasing their understanding in a basic many-valued logic setting.

  • 36.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galan Garcia, Maria Angeles
    Kortelainen, Jari
    Ojeda-Aciego, Manuel
    Monadic Formal Concept Analysis2014Ingår i: ROUGH SETS AND CURRENT TRENDS IN SOFT COMPUTING, RSCTC 2014, 2014, s. 201-210Konferensbidrag (Refereegranskat)
    Abstract [en]

    Formal Concept Analysis (FCA) as inherently relational can be formalized and generalized by using categorical constructions. This provides a categorical view of the relation between "object" and "attributes", which can be further extended to a more generalized view on relations as morphisms in Kleisli categories of suitable monads. Structure of sets of "objects" and "attributes" can be provided e.g. by term monads over particular signatures, and specific signatures drawn from and developed within social and health care can be used to illuminate the use of the categorical approach.

  • 37.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galan, M. A.
    Medina, J.
    Ojeda-Aciego, M.
    Valverde, A.
    Powersets of terms and composite monads2007Ingår i: Fuzzy sets and systems (Print), ISSN 0165-0114, E-ISSN 1872-6801, Vol. 158, nr 23, s. 2552-2574Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Composing various powerset functors with the term monad gives rise to the concept of generalized terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the prerequisite for categorical unification in many-valued logic programming using an extended notion of terms. As constructions of monads involve complicated calculations with natural transformations, proofs are supported by a graphical approach that provides a useful tool for handling various conditions, such as those well known for distributive laws. (C) 2007 Elsevier B.V. All rights reserved.

  • 38.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galan, M.A.
    Medina, J.
    Ojeda-Aciego, M.
    Valverde, A.
    Composing submonads2001Ingår i: 31st IEEE International Symposium on Multiple-Valued Logic, 2001. Proceedings., Warsaw, Poland: IEEE Computer Society, 2001, s. 367-372Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper we use the concept of subfunctors and submonads in order to provide a technique for constructing new monads from given ones. We study some properties of these constructions and provide more examples on monad compositions

  • 39.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M. A.
    Department of Applied Mathematics, Malaga University.
    Karlsson, Johan
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap. Department of Computer Architecture, University of Málaga, Spain.
    Categorical innovations for rough sets2009Ingår i: Rough set theory: a true landmark in data analysis / [ed] Ajith Abraham, Rafael Falcón, Rafael Bello, Berlin/Heidelberg: Springer Berlin/Heidelberg, 2009, s. 45-69Kapitel i bok, del av antologi (Övrigt vetenskapligt)
    Abstract [en]

    Categories arise in mathematics and appear frequently in computer science where algebraic and logical notions have powerful representations using categorical constructions. In this chapter we lean towards the functorial view involving natural transformations and monads. Functors extendable to monads, further incorporating order structure related to the underlying functor, turn out to be very useful when presenting rough sets beyond relational structures in the usual sense. Relations can be generalized with rough set operators largely maintaining power and properties. In this chapter we set forward our required categorical tools and we show how rough sets and indeed a theory of rough monads can be developed. These rough monads reveal some canonic structures, and are further shown to be useful in real applications as well. Information within pharmacological treatment can be structured by rough set approaches. In particular, situations involving management of drug interactions and medical diagnosis can be described and formalized using rough monads.

  • 40.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M. Ángeles
    Helgesson, Robert
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Kortelainen, Jari
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    From Aristotle to Lotfi2013Ingår i: On Fuzziness: A Homage to Lotfi A. Zadeh – Volume 1 / [ed] Seising, Rudolf; Trillas, Enric; Moraga, Claudio; Termini, Settimo, Berlin Heidelberg: Springer Berlin/Heidelberg, 2013, Vol. 298, s. 147-152Kapitel i bok, del av antologi (Övrigt vetenskapligt)
  • 41.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Department of Applied Mathematics, University of Málaga, Málaga, Spain.
    Gähler, Werner
    Scheibenbergstraße 37, D-12685 Berlin, Germany.
    Partially ordered monads for monadic topologies, Kleene algebras and rough sets2009Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 225, s. 67-81Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper we will show that partially ordered monads contain sufficient structure for modelling monadic topologies, rough sets and Kleene algebras. Convergence represented by extension structures over partially ordered monads includes notions of regularity and compactness. A compactification theory can be developed. Rough sets [Z. Pawlak, Rough sets, Int. J. Computer and Information Sciences 5 (1982) 341356] are modelled in a generalized setting with set functors. Further, we show how partially ordered monads can be used in order to obtain monad based examples of Kleene algebras building upon a wide range of set functors far beyond just strings [S. C. Kleene, Representation of events in nerve nets and finite automata, In: Automata Studies (Eds. C. E. Shannon, J. McCarthy), Princeton University Press, 1956, 3-41] and relations [A. Tarski, On the calculus of relations, J. Symbolic Logic 6 (1941), 65-106].

  • 42.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Gähler, Werner
    Partially ordered monads for monadic topologies, Kleene algebras and rough sets2006Konferensbidrag (Refereegranskat)
  • 43.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Department of Applied Mathematics, Malaga University.
    Karlsson, Johan
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Rough monadic interpretations of pharmacologic information2007Ingår i: ICCS 2007: proceedings of the 15th international workshops on conceptual structures, London: Springer , 2007, s. 108-113Konferensbidrag (Refereegranskat)
    Abstract [en]

    Public databases for pharmacological information provide rich and complete information for therapeutic requirements. In particular, the ATe code with its unique identification of drug compound is the basis e.g. of modelling of drug interactions. Therapeutic decisions are frequently faced with needs to consider not just drug-drug interactions but also drugs interacting with sets of drugs and even sets of medical conditions. The typing of interactions provides an additional complication as this is an entrance towards management of uncertainties concerning interactions. The hierarchical structure of pharmacological information and its intrinsic uncertainties are in this paper used as an information platformfor the demonstration of the power of rough set modelling. Rough sets in a more general functorial view involving partially ordered monads are able to capture interactionswith respect to different granularities in the information hierarchy.

  • 44.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Kortelainen, J.
    On fuzzy successors2008Ingår i: / [ed] L. Magdalena, M. Ojeda-Aciego, J.L. Verdegay, 2008, s. 124-128Konferensbidrag (Refereegranskat)
  • 45.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Kortelainen, J.
    Stout, L. N.
    Paradigms for non-classical substitutions2009Ingår i: 39th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2009), 2009, s. 77-79Konferensbidrag (Refereegranskat)
  • 46.
    Eklund, Patrik
    et al.
    Åbo Akademi University, Dept. Computer Science, Åbo, Finland.
    Galán, M.A.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Medina, J.
    Ojeda Aciego, M.
    Valverde, A.
    A categorical approach to unication of generalised terms2002Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 66, nr 5, s. 41-45Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Unification of generalised terms in a many-valued setting involves considerations for equalities in the sense of similarity degrees between operators and thus similarities between terms. Further, allowing for substitutions of variables with powersets of terms requires ‘flattening’ operators for handling composition of variable substitutions. These techniques are available when using powerset functors composed with the term functor so that this composition of functors is extendable to a monad. In this paper we provide a framework for unification of such generalised terms.

  • 47.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Medina, J.
    Ojeda Aciego, M.
    Valverde, A.
    A framework for unication using powersets of terms2002Ingår i: Proc. 9th Information Processing and Management of Uncertainty in Knowledge Based Systems Conference (IPMU 2002), 2002, s. 1095-1098Konferensbidrag (Refereegranskat)
  • 48.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Medina, J.
    Ojeda Aciego, M.
    Valverde, A.
    A graphical approach to monad composition2001Ingår i: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 40, s. 145-160Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper we show how composite expressions involving natural transformations can be pictorially represented in order to provide graphical proof support for providing monad compositions. Examples are drawn using powerset monads composed with the term monad.

  • 49.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Medina, J.
    Ojeda Aciego, M.
    Valverde, A.
    Set functors and L-fuzzy set categories: towards a fuzzy programming paradigm2001Ingår i: Proc. International ICSC Symposium on Fuzzy Logic andApplications (FLA'2001), 2001, s. 658-664Konferensbidrag (Refereegranskat)
  • 50.
    Eklund, Patrik
    et al.
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för datavetenskap.
    Galán, M.A.
    Medina, J.
    Ojeda-Aciego, M.
    Valverde, A.
    Powersets of Terms and Composite Monads2004Ingår i: Technical Report, UMINF, ISSN 0348-0542, nr 7Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Composing various powerset functors with the term monad gives rise to the concept of generalised terms. This in turn provides a technique for handling many-valued sets of terms in a framework of variable substitutions, thus being the prerequisite for categorical unification in many-valued logic programming using an extended notion of terms. As constructions of monads involve complicated calculations with natural transformations, proofs are supported by a graphical approach that provides a useful tool for handling various conditions, such as those well-known for distributive laws.

123 1 - 50 av 114
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf