lnu.sePublications
Change search
Refine search result
1 - 12 of 12
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Basieva, Irina
    et al.
    Linnaeus University, Faculty of Technology, Department of Mathematics. Russian Acad Sci, Russia.
    Khrennikov, Andrei
    Linnaeus University, Faculty of Technology, Department of Mathematics.
    Quantum(-like) Formalization of Common Knowledge: Binmore-Brandenburger Operator Approach2015In: Quantum Interaction (QI 2014): 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 - July 3, 2014. Revised Selected Papers / [ed] Harald Atmanspacher, Claudia Bergomi , Thomas Filk, Kirsty Kitto, Springer, 2015, Vol. 8951, p. 93-104Conference paper (Refereed)
    Abstract [en]

    We present the detailed account of the quantum(-like) viewpoint to common knowledge. The Binmore-Brandenburger operator approach to the notion of common knowledge is extended to the quantum case. We develop a special quantum(-like) model of common knowledge based on information representations of agents which can be operationally represented by Hermitian operators. For simplicity, we assume that each agent constructs her/his information representation by using just one operator. However, different agents use in general representations based on noncommuting operators, i.e., incompatible representations. The quantum analog of basic system of common knowledge features K1 - K5 is derived.

  • 2.
    Berglund, Christian
    et al.
    Växjö University, Faculty of Humanities and Social Sciences, School of Education.
    Hjelm, Anna
    Växjö University, Faculty of Humanities and Social Sciences, School of Education.
    Integrering av elevers visuella intressen i skolundervisningen2008Student thesis
  • 3.
    Buttar, Sarpreet Singh
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Applying Artificial Neural Networks to Reduce the Adaptation Space in Self-Adaptive Systems: an exploratory work2019Independent thesis Advanced level (degree of Master (One Year)), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    Self-adaptive systems have limited time to adjust their configurations whenever their adaptation goals, i.e., quality requirements, are violated due to some runtime uncertainties. Within the available time, they need to analyze their adaptation space, i.e., a set of configurations, to find the best adaptation option, i.e., configuration, that can achieve their adaptation goals. Existing formal analysis approaches find the best adaptation option by analyzing the entire adaptation space. However, exhaustive analysis requires time and resources and is therefore only efficient when the adaptation space is small. The size of the adaptation space is often in hundreds or thousands, which makes formal analysis approaches inefficient in large-scale self-adaptive systems. In this thesis, we tackle this problem by presenting an online learning approach that enables formal analysis approaches to analyze large adaptation spaces efficiently. The approach integrates with the standard feedback loop and reduces the adaptation space to a subset of adaptation options that are relevant to the current runtime uncertainties. The subset is then analyzed by the formal analysis approaches, which allows them to complete the analysis faster and efficiently within the available time. We evaluate our approach on two different instances of an Internet of Things application. The evaluation shows that our approach dramatically reduces the adaptation space and analysis time without compromising the adaptation goals.

    Download full text (pdf)
    fulltext
  • 4.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Napolitano, Annalisa
    University of Rome 'Tor Vergata', Italy.
    Model-driven Engineering of Decentralized Control in Cyber-Physical Systems2017In: Proceedings of the 2nd International Workshop on  Foundations and Applications of Self* Systems (FAS*W), IEEE, 2017, p. 7-12Conference paper (Refereed)
    Abstract [en]

    Self-Adaptation is nowadays recognized as an effective approach to manage the complexity and dynamics inherent to cyber-physical systems, which are composed of deeply intertwined physical and software components interacting with each other. A self-Adaptive system typically consists of a managed subsystem and a managing subsystem that implements the adaptation logic by means of the well established MAPE-K control loop. Since in large distributed settings centralized control is hardly adequate to manage the whole system, self-Adaptation should be achieved through collective decentralized control, that is multiple cyber-physical entities must adapt in order to address critical runtime conditions. Developing such systems is challenging, as several dimensions concerning both the cyber-physical system and the decentralized control loop should be considered. To this end, we promote MAPE-K components as first-class modeling abstractions and provide a framework supporting the design, development, and validation of decentralized self-Adaptive cyber-physical systems.

  • 5. De Nicola, Giuseppe
    et al.
    Flammini, Francesco
    Mazzocca, Nicola
    Orazzo, Antonio
    Model-based functional verification & validation of complex train control systems: an on-board system testing case-study2005In: Archives of Transport, ISSN 0866-9546, Vol. 17, no 3-4, p. 163-176Article in journal (Refereed)
  • 6.
    Exenberger, Margareta
    Växjö University, Faculty of Humanities and Social Sciences, School of Education.
    An image says more than words: a qualitative essay about the pictorial language of children and youth in Westafrica2007Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The pictorial language of the Swedish children is characterized by the idea that a “good” drawing should be in the right perspective and as photographically realistic as possible. This is a study about the pictorial language of the children in the Gambia and Senegal. Is the pictorial language different with the children living in a culture that has a stronger tradition of spoken word and visual communication than the children living in the western civilisation?

    With the help of different theories concerning children’s creating of art, this study is trying to sort out the differences. It is also explaining about different theories when it comes to development stages in the children’s drawings and how the culture, tradition and conventions influence both the pictorial grammar and the ideal image.

    The study is based on drawings collected in schools in The Gambia and Senegal and the drawings are analysed with the help of theories in Karin Aronssons “Barns världar – barns bilder”.

    The study is also based on observations and interviews with children and teachers in a school in the Gambia.

    Download full text (pdf)
    FULLTEXT01
  • 7. Flammini, Francesco
    Dependability Assurance of Real-Time Embedded Control Systems2010Book (Other academic)
  • 8.
    Flammini, Francesco
    University of Maryland University College, USA.
    Resilience of Cyber-Physical Systems: From Risk Modeling to Threat Counteraction2018Collection (editor) (Other academic)
    Abstract [en]

    This book addresses the latest approaches to holistic Cyber-Physical System (CPS) resilience in real-world industrial applications. Ensuring the resilience of CPSs requires cross-discipline analysis and involves many challenges and open issues, including how to address evolving cyber-security threats.

    The book describes emerging paradigms and techniques from two main viewpoints: CPSs’ exposure to new threats, and CPSs’ potential to counteract them. Further, the chapters address topics ranging from risk modeling to threat management and mitigation. The book offers a clearly structured, highly accessible resource for a diverse readership, including graduate students, researchers and industry practitioners who are interested in evaluating and ensuring the resilience of CPSs in both the development and assessment stages.

    Foreword by Prof. Shiyan Hu, Chair of Cyber-Physical Systems at Linnaeus University, Sweden. 

  • 9.
    Karlsson, Charlotte
    University of Kalmar, School of Human Sciences.
    Elevers hjälp till förståelse genom bilder: Hur bilder hjälper elever att förstå växthuseffekten2008Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpStudent thesis
    Abstract [sv]

    Att undersöka hur elever blir hjälpta av bilder för att förstå vår omvärld var utgångspunkten i denna undersökning. För att försöka få fram det, valdes bland annat att låta eleverna rita egna bilder. Eleverna fick i uppdrag att med hjälp av bilder förklara växthuseffekten samt intervjuades ett urval av elever. Bilderna analyserades och de transkriberade intervjuerna ställdes i förhållande till vad de ritat. En del av elevernas bilder kontrasterar mot deras egna uppfattningar om hur bilder bör ser ut för att på ett bra sätt förklara olika ting och händelseförlopp. En del bilder stämmer överens med deras egna uppfattningar om hur bilder som hjälper att förstå bör se ut. Viktigt för flertalet av elever var att det i bilden fanns förklarande text. Andra viktiga aspekter var användandet av olika färger och att bilderna såg verkliga ut. Om en bild kan visa verkligheten eller inte diskuteras även det i uppsatsen. Min slutsats utifrån detta arbete är att eleverna verkar vara hjälpta av bilder som minneshjälp och för att förklara sammanhang, men för att rättvist kunna bedöma hur eleverna blir hjälpta kräver en djupare studie. Denna undersökning kan inspirera till att resonera kring hur eleverna blir hjälpta av bilder och kanske stimulera till vidare forskning

    Download full text (pdf)
    FULLTEXT01
  • 10.
    Khodadad, Davood
    et al.
    Tehran University of Medical Science, Iran.
    Ahmadian, Alireza
    Tehran University of Medical Science, Iran.
    Ay, Mohammadreza
    Tehran University of Medical Science, Iran.
    Fard Esfahani, Armaghan
    Tehran University of Medical Science, Iran.
    Yousefi Banaem, Hossein
    Tehran University of Medical Science, Iran.
    Zaidi, Habib
    Tehran University of Medical Science, Iran ; Geneva University Hospital, Switzerland.
    B-spline based Free Form Deformation Thoracic non-rigid registration of CT and PET images2011In: Proceedings of SPIE: International Conference on Graphic and Image Processing (ICGIP 2011) / [ed] Yi Xie, Yanjun Zheng, SPIE - International Society for Optical Engineering, 2011Conference paper (Refereed)
    Abstract [en]

    Accurate attenuation correction of emission data is mandatory for quantitative analysis of PET images. One of the main concerns in CT-based attenuation correction(CTAC) of PET data in multimodality PET/CT imaging is misalignment between PET and CT images. The aim of this study, is to proposed a hybrid method which is simple, fast and accurate, for registration of PET and CT data which affected from respiratory motion in order to improve the quality of CTAC. The algorithm is composed of three methods: First, using B-spline Free Form Deformation to describe both images and deformation field. Then applying a pre-filtering on both PET and CT images before segmentation of structures in order to reduce the respiratory related attenuation correction artifacts of PET emission data. In this approach, B-spline using FFD provide more accurate adaptive transformation to align the images, and structure constraints obtained from prefiltering applied to guide the algorithm to be more fast and accurate. Also it helps to reduce the radiation dose in PET/CT by avoiding repetition of CT imaging. These advances increase the potential of the method for routine clinical application.

  • 11.
    Khodadad, Davood
    et al.
    Luleå University of Technology.
    Bergström, Per
    Luleå University of Technology.
    Hällstig, Emil
    Optronic Partner dp AB.
    Sjödahl, Mikael
    Luleå University of Technology.
    Single shot dual-wavelength digital holography: calibration based on speckle displacements2014In: International Journal of Optomechatronics, ISSN 1559-9612, Vol. 8, no 4, p. 326-339Article in journal (Refereed)
    Abstract [en]

    We present a calibration method which allows single shot dual wavelength online shape measurement in a disturbed environment. Effects of uncontrolled carrier frequency filtering are discussed as well. We demonstrate that phase maps and speckle displacements can be recovered free of chromatic aberrations. To our knowledge, this is the first time that a single shot dual wavelength calibration is reported by defining a criteria to make the spatial filtering automatic avoiding the problems of manual methods. The procedure is shown to give shape accuracy of 35 µm with negligible systematic errors using a synthetic wavelength of 1.1 mm.

  • 12.
    Zukas, Paulius
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Raising Awareness of Computer Vision: How can a single purpose focused CV solution be improved?2018Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
    Abstract [en]

    The concept of Computer Vision is not new or fresh. On contrary ideas have been shared and worked on for almost 60 years. Many use cases have been found throughout the years and various systems developed, but there is always a place for improvement. An observation was made, that methods used today are generally focused on a single purpose and implement expensive technology, which could be improved. In this report, we are going to go through an extensive research to find out if a professionally sold, expensive software, can be replaced by an off the shelf, low-cost solution entirely designed and developed in-house. To do that we are going to look at the history of Computer Vision, examples of applications, algorithms, and find general scenarios or computer vision problems which can be solved. We are then going take a step further and define solid use cases for each of the scenarios found. Finally, a prototype solution is going to be designed and presented. After analysing the results gathered we are going to reach out to the reader convincing him/her that such application can be developed and work efficiently in various areas saving investments to businesses.

    Download full text (pdf)
    fulltext
1 - 12 of 12
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf