SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Vågerö Denny) "

Sökning: WFRF:(Vågerö Denny)

  • Resultat 1-10 av 104
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Azzopardi, Shaun, 1992, et al. (författare)
  • Runtime Verification Meets Controller Synthesis
  • 2022
  • Ingår i: Lecture Notes in Computer Science book series (LNCS,volume 13701). - Cham : Springer, Cham. - 0302-9743 .- 1611-3349. - 9783031198489
  • Konferensbidrag (refereegranskat)abstract
    • Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to interact with an environment, but the more precise the model of the environment used for synthesis, the greater the cost of synthesis. This can be avoided by using suitable abstractions of the environment, but this in turn requires appropriate techniques to mediate between controllers and the real environment. Runtime verification can help here, with monitors acting as these mediators, and even as activators or orchestrators of the desired controllers. In this paper we survey literature for combinations of monitors with controller synthesis, and consider other potential combinations as future research directions.
  •  
3.
  •  
4.
  •  
5.
  •  
6.
  •  
7.
  •  
8.
  •  
9.
  • De Goey, Heleen, et al. (författare)
  • Design Thinking as Facilitator for Sustainable Innovation : Exploring Opportunities at SMEs in the Swedish Wood Products Industry
  • 2015
  • Ingår i: Proceedings of the 20th International Conference on Sustainable Innovation.
  • Konferensbidrag (refereegranskat)abstract
    • Design thinking (DT) is the application of design practice as an approach to innovate and initiate change. Recently, DT has received increasing attention as an approach to address sustainability challenges. However, this area is less studied. The purpose of this study was to explore how DT could enable small and medium-sized enterprises (SMEs) in the Swedish wood products industry to create more sustainable offers. Various actors from this industry have identified the need to develop sustainable offers, although few discuss how this is realized. Interviews have been conducted with six SMEs to increase understanding on challenges they perceive with developing sustainable products. Current practice is compared to potential benefits of DT described in literature. Three main benefits of DT for SMEs have been identified. It could enable SMEs [1] to redefine the purpose of their offers, [2] to better address needs and [3] to address conflicting requirements regarding sustainability.
  •  
10.
  • Farahani, Ilia (författare)
  • Land Rent, Crisis Theories, and Radical Geography
  • 2017
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
    • The question of rent as a political economic driver of urban change is not new to radical geography. Yet, it seems curious that while Differential Rents are considered pertinent, absolute rent is almost entirely replaced by (class-)monopoly rent. In Marxian political economy there exist at least two distinctive traditions regarding economic crisis theory. First is Monopoly Capitalism School that is mainly designed by Sweezy from Bortkiewicz’s neo-Ricardian critique of Marx. And the second is the LTRPF School, which refers directly to Marx’s critique of Ricardo. While the latter puts the emphasis on profitability and real competition, the former stresses on effective demand and monopoly. This paper presents a literature review of these two traditions in radical geography and claims that while Monopoly Capitalism has been dominant in radical geography literature, the LTRPF (unlike other disciplines, incl. economic history and economics) has been non-existent in the field. I will further argue that the tendency to question the relevance of absolute rent lies in which of the above-mentioned traditions one would take. The paper’s final argument is that taking either of these two traditions is not arbitrary or a matter of inquisition, it comes with significant implications in terms of practice.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 104
Typ av publikation
tidskriftsartikel (52)
konferensbidrag (28)
doktorsavhandling (6)
bokkapitel (6)
rapport (5)
forskningsöversikt (2)
visa fler...
recension (2)
samlingsverk (redaktörskap) (1)
bok (1)
licentiatavhandling (1)
visa färre...
Typ av innehåll
refereegranskat (72)
övrigt vetenskapligt/konstnärligt (26)
populärvet., debatt m.m. (6)
Författare/redaktör
Bendahl, Pär Ola (2)
Kaplan, Alexander (1)
Olsson, Håkan (1)
Heim, S. (1)
Zhang, L. (1)
Ryan, P. (1)
visa fler...
Fernö, Mårten (1)
Olsson, H. (1)
Lindfors, E. (1)
Nilsson, K. (1)
Takalo, L. (1)
Korsgren, Olle (1)
Farahani, Ilia (1)
Gough, Laura (1)
Grogan, Paul (1)
Piterman, Nir, 1971 (1)
Azzopardi, Shaun, 19 ... (1)
Boettcher, M. (1)
Hovatta, T. (1)
Umana, G. (1)
Vercellone, S. (1)
Lundin, V (1)
Foschini, L. (1)
Villata, M. (1)
Aller, H. D. (1)
Aller, M. F. (1)
Kovalev, Y. Y. (1)
Arkharov, A. A. (1)
Bach, U. (1)
Berdyugin, A. (1)
Buemi, C. S. (1)
Forne, E. (1)
Hagen-Thorn, V. A. (1)
Kurtanidze, O. M. (1)
Lahteenmaki, A. (1)
Larionov, V. M. (1)
Leto, P. (1)
Nikolashvili, M. G. (1)
Pasanen, M. (1)
Raiteri, C. M. (1)
Tornikoski, M. (1)
Trigilio, C. (1)
Yamanaka, M. (1)
Calcidese, P. (1)
Di Paola, A. (1)
Dolci, M. (1)
Ros, J. A. (1)
Kovalev, Yu. A. (1)
Tanaka, K. (1)
Svensson, Jan, 1965 (1)
visa färre...
Lärosäte
Lunds universitet (16)
Luleå tekniska universitet (14)
Stockholms universitet (11)
Mälardalens universitet (11)
Göteborgs universitet (10)
Karolinska Institutet (9)
visa fler...
Kungliga Tekniska Högskolan (6)
Chalmers tekniska högskola (6)
Uppsala universitet (4)
Linnéuniversitetet (4)
Högskolan i Gävle (3)
Linköpings universitet (3)
Jönköping University (3)
Sveriges Lantbruksuniversitet (3)
VTI - Statens väg- och transportforskningsinstitut (3)
Umeå universitet (2)
Örebro universitet (1)
Naturvårdsverket (1)
Mittuniversitetet (1)
Gymnastik- och idrottshögskolan (1)
RISE (1)
Karlstads universitet (1)
visa färre...
Språk
Engelska (85)
Svenska (17)
Franska (1)
Ryska (1)
Forskningsämne (UKÄ/SCB)
Medicin och hälsovetenskap (60)
Samhällsvetenskap (37)
Teknik (4)

Å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