SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Uyama Taichi) "

Sökning: WFRF:(Uyama Taichi)

  • Resultat 1-10 av 17
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Curman, Sigurd (författare)
  • Agnes Branting
  • 1930
  • Ingår i: Fornvännen. - 0015-7813 .- 1404-9430. ; 25, s. 360-362
  • Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
  •  
2.
  • Curman, Sigurd (författare)
  • In memoriam : Carl R. af Ugglas
  • 1946
  • Ingår i: Fornvännen. - 0015-7813 .- 1404-9430. ; 41, s. 369-373
  • Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
  •  
3.
  •  
4.
  •  
5.
  • Curman, Sigurd, 1879-1966 (författare)
  • Något om byggnadskirurgi
  • 1991
  • Ingår i: Kulturmiljövård. - Stockholm : Riksantikvarieämbetet. - 1100-4800. ; :4, s. 15-27
  • Tidskriftsartikel (populärvet., debatt m.m.)
  •  
6.
  •  
7.
  • Hindelang, Steffen, et al. (författare)
  • Rüstungsbeschaffung zwischen Bestimmungsfreiheit des Auftraggebers und Sicherstellung von Wettbewerb
  • 2019
  • Ingår i: Europäische Zeitschrift für Wirtschaftsrecht. - : Verlag C.H.Beck oHG. - 0937-7204. ; 30:4, s. 149-154
  • Tidskriftsartikel (refereegranskat)abstract
    • The defence procurement market plays an economically significant role in the European Union. This will increase even more in the coming years. EU Member States’ purchases in the defence area are increasingly governed by public procurement law. After initial discussions about the scope of exemptions, problems known from general procurement law are more and more subject to legal disputes today. The specification of the scope of the purchaser’s freedom of determination is also of central importance in the area of defence procurement. Directive 2014/24 /EU paves the way for increased competition.
  •  
8.
  •  
9.
  •  
10.
  • Lawesson, Dan, 1973-, et al. (författare)
  • An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
  • 2005
  • Ingår i: Proceedings of the 3rd Workshop on Model Checking and Artificial Intelligence (MoChArt '05). - : Elsevier BV. ; , s. 139-153
  • Konferensbidrag (refereegranskat)abstract
    • We present a model based approach to diagnosability analysis for interacting ¯nitestate systems where fault isolation is deferred until the system comes to a stand-still. Local abstractions of the system model are used to alleviate the state spaceexplosion. Pairs of closely coupled automata are merged and replaced by a sin-gle automaton with an equivalently behavior as seen from the rest of the system;interaction between the merged automata is internalized and the new equivalentautomaton is subsequently abstracted from internal behavior irrelevant to fault iso-lation. In moderately concurrent systems these steps can often be iterated until thesystem consists of a single automaton providing a compact encoding of all possiblefault scenarios of the original model. We illustrate how the resulting abstractioncan be used as a basis for post mortem diagnosability analysis.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 17

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