SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Pettersson Lena) "

Sökning: WFRF:(Pettersson Lena)

  • Resultat 1-10 av 158
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  •  
3.
  • Ericsson, AnnMarie, et al. (författare)
  • Verification of an industrial rule-based manufacturing system using REX
  • 2008
  • Ingår i: Proceedings of the 1st iCEP08 Workshop onComplex Event Processing for the Future Internet Vienna, Austria, September 28th, 2008. - : CEUR-WS.org. ; , s. 1-10
  • Konferensbidrag (refereegranskat)abstract
    • Formal methods are not used in their full potential for enhancing software quality in industry. We argue that seamless support in a high-level specification tool is a viable way to provide system designers with powerful and paradigm specific formal verification techniques. Event condition action (ECA) rules can be used to model and implement reactive behavior in, for example, the semantic web. Independently of target system, the behavior of rule-based systems are known to be hard to analyze. The REX tool is a rule-based front-end to the timed automata CASE-tool Uppaal. The model-checker in Uppaal is used by REX enabling seamless support for model-checking rule-based specifications in REX.This paper presents experiences from modeling and verifying a system of industrial complexity as interacting rules using EX. We conclude that repeatedly performing normal analysis when constructing a system with interacting rules is a viable way of coping with the complexity of the model. Additionally, we present an implemented algorithm for optimizing the model to reduce the effect of state-space explosion.
  •  
4.
  • Linde, Peter, et al. (författare)
  • Researchers and Open Data : Attitudes and Culture at Blekinge Institute of Technology
  • 2015
  • Ingår i: <em>New Avenues for Electronic Publishing in the Age of Infinite Collections and Citizen Science: Scale, Openness and Trust</em>. - : IOS Press. - 9781614995616
  • Konferensbidrag (refereegranskat)abstract
    • During March 2015, the Blekinge Institute of Technology library carried out an interview survey comprising around 36 senior researchers and postdocs mainly in engineering sciences, with the objective to get a picture of how research data is managed at BTH and to find out what the researcher attitudes are to sharing data. The survey showed that most researchers in the study were positive to sharing research data but lacked any experience of making data management plans and had little or no knowledge of data preservation or of sharing open data. Uncertainties about data ownership are also an issue.
  •  
5.
  •  
6.
  • Nordström-Jacobsson, Monica (författare)
  • Peter Pohls litterära projekt : en tematisk studie med utgångspunkt i debutromanen Janne, min vän
  • 2008
  • Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
    • In his literary works, the Swedish author Peter Pohl (b. 1940) persistently deals with the issue of friendship which is described as a source of joy and consolation as well as a cause for difficulties and pain. Another common theme in his writing is vulnerability, especially that of children and adolescents, as he regards them as particularly exposed to violence and injustice. Pohl features the act of telling as an important instrument in the process of personal development on many different levels. Finally, his authorship shows that his purpose is to be a spokesman for those who cannot speak for themselves. These four topics which are visible in the main part of his production represent the most important aspects of Pohl's literary project which may be described as a desire to improve the conditions of less privileged groups of society.This thesis deals with the works by Pohl written between 1985 and 2007. In the first chapter, the author is presented. The second chapter is an analysis of his first novel Janne, min vän with a special focus on the above-mentioned themes. Chapter three deals with the novel Malins kung Gurra, a story for young readers that can be looked upon as second, but simpler version of Janne, min vän. In chapter four, the five novels Regnbågen har bara åtta färger, Medan regnbågen bleknar, Vi kallar honom Anna, Vilja växa and Klara papper är ett måste are analyzed and discussed. The last chapter is an attempt at dealing with the remaining books written by Pohl. The aim is to establish whether these works are compatible with the general picture given of Pohl’s literary project.
  •  
7.
  •  
8.
  •  
9.
  •  
10.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 158
Typ av publikation
tidskriftsartikel (84)
konferensbidrag (23)
rapport (15)
bok (11)
doktorsavhandling (10)
annan publikation (5)
visa fler...
bokkapitel (4)
samlingsverk (redaktörskap) (2)
forskningsöversikt (2)
licentiatavhandling (2)
visa färre...
Typ av innehåll
refereegranskat (96)
övrigt vetenskapligt/konstnärligt (55)
populärvet., debatt m.m. (7)
Författare/redaktör
Pettersson, Ulf (13)
Mäler, Lena (12)
Åslund, Lena (10)
Pettersson, Lena (10)
Pettersson, Pontus (10)
Pettersson, Tina (8)
visa fler...
Pettersson, Fredrik (7)
Bondesson, Anna (7)
Gustafsson, Lena-Kar ... (6)
Pettersson, Åsa (5)
Hiselius, Lena (5)
Pålsson, Henrik (5)
Wallin, Lars (5)
Ädelroth, Pia (5)
Andersson, Björn (5)
Brzezinski, Peter (5)
Söderman, Mirkka, 19 ... (5)
Pettersson, Anna (5)
Zhou, Shu (5)
Pettersson, Pontus, ... (5)
Gunnarsson, Lena (4)
Lilliestam, Anna-Len ... (4)
Östlund, Gunnel, ass ... (4)
Henriksson, Jan (4)
Franck, Olof, 1958 (4)
Blanck, Sara, 1980- (4)
Holmqvist Lidh, Cari ... (4)
Patrick, Joan (4)
Tran, Anh-Nhi (4)
Wilson, P. (3)
Kelly, J (3)
Lannfelt, Lars (3)
Khan, Jamil (3)
Koglin, Till (3)
Böttiger, Ylva (3)
Anbäcken, Els-Marie, ... (3)
Zander, Viktoria, Me ... (3)
Ehrenberg, Anna (3)
Ohlsson, Sophie (3)
Kilander, Lena (3)
Harvey, G. (3)
Jahic Pettersson, Al ... (3)
Bontempi, Esteban (3)
Gifford, W. (3)
Hinners, Linda (3)
Olin, Martin (3)
Pettersson, Ingrid M ... (3)
Kislov, R. (3)
Jakob, Mario (3)
Pettersson, Susanna (3)
visa färre...
Lärosäte
Uppsala universitet (31)
Göteborgs universitet (23)
Stockholms universitet (21)
Lunds universitet (20)
Umeå universitet (16)
Linköpings universitet (15)
visa fler...
Karolinska Institutet (14)
Chalmers tekniska högskola (11)
Mälardalens universitet (10)
Högskolan Dalarna (7)
Kungliga Tekniska Högskolan (5)
Luleå tekniska universitet (5)
Nationalmuseum (4)
Högskolan i Halmstad (4)
Högskolan Väst (4)
RISE (4)
Örebro universitet (3)
Högskolan i Skövde (3)
Mittuniversitetet (2)
Linnéuniversitetet (2)
Blekinge Tekniska Högskola (2)
Sveriges Lantbruksuniversitet (2)
VTI - Statens väg- och transportforskningsinstitut (2)
Havs- och vattenmyndigheten (2)
Högskolan Kristianstad (1)
Jönköping University (1)
Malmö universitet (1)
Naturvårdsverket (1)
Högskolan i Borås (1)
Karlstads universitet (1)
visa färre...
Språk
Engelska (119)
Svenska (38)
Finska (1)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (47)
Samhällsvetenskap (39)
Naturvetenskap (31)
Teknik (14)
Humaniora (8)
Lantbruksvetenskap (2)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy