Titlebook: Individuum und Organisation; Neue Trends eines or Rainhart Lang,Annett Schmidt Book 2007 Gabler Verlag | Springer Fachmedien Wiesbaden GmbH

liaison

,Der Homo oeconomicus: Verfehltes Menschenbild oder leistungsfähiges Analyseinstrument?,aus: dem homo oeconomicus. Aus wissenschaftlicher Sicht ist das vermutlich wichtigste Argument der - allerdings durchaus umstrittene - Umstand, dass dieses Modell menschlichen Verhaltens empirisch entweder gehaltlos oder falsch ist.; beides sind für Theorien eigentlich nicht akzeptable Merkmale. Zus

动机

支形吊灯

human pose estimation, and semantic segmentation. Despite their success, CNNs are vulnerable to adversarial attacks, where slight changes to their inputs may lead to sharp changes in their output in even well-trained networks. Set-based analysis methods can detect or prove the absence of bounded ad

群居男女

Rainhart von Langecifications that stipulate the existence of a certain number of traces in the system satisfying certain constraints. Verification of such hyperproperties is extremely challenging because they involve simultaneous reasoning about an unbounded number of different traces. In this paper, we introduce a

旁观者

Guido Palazzo,Andreas Georg Scherersually, preconditions have both spatial and temporal components. The temporal (components of the) preconditions are usually specified by associating a dynamic interpretation with the design description at hand. Such dynamic interpretations have a semantic content which is based on interpreting the d

Esophagitis

烦扰

Tor Hernes,Elke Weiksually, preconditions have both spatial and temporal components. The temporal (components of the) preconditions are usually specified by associating a dynamic interpretation with the design description at hand. Such dynamic interpretations have a semantic content which is based on interpreting the d

严峻考验

delta-waves

inhibit

Ingo Winkler,Anna Remišová that express a bound on the number of traces that may appear in a certain relation. For example, quantitative non-interference limits the amount of information about certain secret inputs that is leaked through the observable outputs of a system. Quantitative non-interference thus bounds the number