標(biāo)題: Titlebook: Individuum und Organisation; Neue Trends eines or Rainhart Lang,Annett Schmidt Book 2007 Gabler Verlag | Springer Fachmedien Wiesbaden GmbH [打印本頁] 作者: Conjecture 時間: 2025-3-21 19:12
書目名稱Individuum und Organisation影響因子(影響力)
書目名稱Individuum und Organisation影響因子(影響力)學(xué)科排名
書目名稱Individuum und Organisation網(wǎng)絡(luò)公開度
書目名稱Individuum und Organisation網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Individuum und Organisation被引頻次
書目名稱Individuum und Organisation被引頻次學(xué)科排名
書目名稱Individuum und Organisation年度引用
書目名稱Individuum und Organisation年度引用學(xué)科排名
書目名稱Individuum und Organisation讀者反饋
書目名稱Individuum und Organisation讀者反饋學(xué)科排名
作者: Palpitation 時間: 2025-3-21 20:43
Organizational Legitimacy as Deliberation: Towards a New Political Role of the Business Firm,to actions or institutions by social construction (Berger/Luckman 1966). Legitimacy is vital for organizational survival as it is a precondition for the continuous flow of resources and the sustained support by the organization’s constituents (Parsons 1960; Pfeffer/Salancik 1978; Weber 1978). Person作者: Defiance 時間: 2025-3-22 00:32 作者: 認識 時間: 2025-3-22 04:58 作者: anthesis 時間: 2025-3-22 09:17 作者: 終端 時間: 2025-3-22 13:22 作者: mortuary 時間: 2025-3-22 17:28 作者: STALL 時間: 2025-3-22 22:22 作者: 過于平凡 時間: 2025-3-23 02:16
,Freiberuflich t?tig und gebunden? Erscheinungsformen und Einflussfaktoren des Commitments von Freelit verbunden ist eine Ver?nderung von Besch?ftigungsverh?ltnissen und eine Tendenz zur Flexibilisierung der Arbeit. Zwar ist das so genannte ., das eine dauerhafte, unbefristete, arbeitsvertraglich geregelte Vollzeitbesch?ftigung beschreibt, in Deutschland nach wie vor vorherrschend; jedoch kann ein作者: BRIBE 時間: 2025-3-23 07:20
Von Organisatoren, die keine Menschen sind: Koordination durch Artefakte in Open-Source-Software-Prern auf Artefakte., in denen die Handlungen und das Wissen von Individuen gespeichert sind. Es handelt sich dabei um Handlungsprogramme, Normen und vor allem Technologien, welche menschliches Handeln und menschliches Wissen verk?rpern und so organisierende Wirkung ausüben. Aus diesem Grund werden si作者: liaison 時間: 2025-3-23 13:29
,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作者: 動機 時間: 2025-3-23 16:43 作者: 支形吊燈 時間: 2025-3-23 18:18
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作者: 群居男女 時間: 2025-3-23 23:07
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作者: 旁觀者 時間: 2025-3-24 06:25
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 時間: 2025-3-24 10:10 作者: 煩擾 時間: 2025-3-24 12:10
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作者: 嚴峻考驗 時間: 2025-3-24 14:51 作者: delta-waves 時間: 2025-3-24 20:04 作者: inhibit 時間: 2025-3-25 01:46
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作者: obeisance 時間: 2025-3-25 05:19 作者: COST 時間: 2025-3-25 08:58
Stefan Sü?ual machine (EVM) supporting smart contracts, i.e., distributed programs that control the flow of the digital currency Ether. Being written in a Turing complete language, Ethereum smart contracts allow for expressing a broad spectrum of financial applications. The price for this expressiveness, howe作者: Functional 時間: 2025-3-25 14:14
Michèle Morner,Giovan Francesco Lanzaraains where trustworthiness is a concern, including automotive systems, finance, health care, natural language processing, and malware detection. Of particular concern is the use of ML algorithms in cyber-physical systems (CPS), such as self-driving cars and aviation, where an adversary can cause ser作者: Asymptomatic 時間: 2025-3-25 18:47 作者: 徹底明白 時間: 2025-3-25 20:19
Michael Corsten in program analysis and formal verification. In this work, we target an important category of while loops, namely affine while loops, that are unnested while loops with affine loop guards and variable updates. Such a class of loops widely exists in many programs yet still lacks a general but effici作者: LAIR 時間: 2025-3-26 01:27 作者: 踉蹌 時間: 2025-3-26 07:55
https://doi.org/10.1007/978-3-8350-9386-7Commitment; Deutschland; Gesellschaft; Individuum und Organisation; Menschenbild; Organisationen; Organisa作者: Figate 時間: 2025-3-26 11:33 作者: Adrenal-Glands 時間: 2025-3-26 14:25 作者: 彩色 時間: 2025-3-26 18:56 作者: 橢圓 時間: 2025-3-26 22:33
Book 2007n von Hartz IV muss das Verh?ltnis von Mensch und Organisation neu verortet werden. Im Chemnitzer Workshop der Kommission Organisation im Verband der Hochschullehrer für Betriebswirtschaft haben sich Organisationswissenschaftler aus Deutschland, der Schweiz, Italien, Norwegen und der Slowakei mit en作者: 我正派 時間: 2025-3-27 01:54 作者: 博愛家 時間: 2025-3-27 08:41 作者: LATHE 時間: 2025-3-27 11:38 作者: lethargy 時間: 2025-3-27 16:54 作者: creatine-kinase 時間: 2025-3-27 21:18 作者: AXIOM 時間: 2025-3-27 22:59 作者: micturition 時間: 2025-3-28 02:34 作者: ECG769 時間: 2025-3-28 09:28
Rainhart von Langed verification of quantitative hyperproperties on infinite-state systems. We use our methodology to prove confidentiality of access patterns in Path ORAMs of unbounded size, soundness of a simple interactive zero-knowledge proof protocol as well as other applications of quantitative hyperproperties作者: 沐浴 時間: 2025-3-28 13:38
Guido Palazzo,Andreas Georg Schererscription and avoid the difficulties associated with the theorem proving techniques one could employ when a semantic interpretation is associated. While not as powerful as theorem proving methods, we found these techniques to be adequate for most cases of precondition verification of useful design t作者: Bucket 時間: 2025-3-28 15:11
Werner Nienhüserscription and avoid the difficulties associated with the theorem proving techniques one could employ when a semantic interpretation is associated. While not as powerful as theorem proving methods, we found these techniques to be adequate for most cases of precondition verification of useful design t作者: Inflamed 時間: 2025-3-28 22:02 作者: 不妥協(xié) 時間: 2025-3-29 01:11
Matthias Brauerty with a new model checking algorithm based on model-counting. The new algorithm needs only logarithmic space in the bound and therefore improves, depending on the property, exponentially or even doubly exponentially over the model checking algorithm of HyperLTL. In the worst case, the new algorith作者: Generalize 時間: 2025-3-29 03:40 作者: 慷慨援助 時間: 2025-3-29 10:52
Ingo Winkler,Anna Remi?ováty with a new model checking algorithm based on model-counting. The new algorithm needs only logarithmic space in the bound and therefore improves, depending on the property, exponentially or even doubly exponentially over the model checking algorithm of HyperLTL. In the worst case, the new algorith作者: Predigest 時間: 2025-3-29 12:59 作者: Choreography 時間: 2025-3-29 16:51
Stefan Sü?the state-of-the-art in smart contract verification, covering formal semantics, security definitions, and verification tools. We will then focus on EtherTrust?[.], a framework for the static analysis of Ethereum smart contracts which includes the first complete small-step semantics of EVM bytecode, 作者: Flat-Feet 時間: 2025-3-29 23:36 作者: Suggestions 時間: 2025-3-30 01:07
Andreas Suchanek,Klaus-Jürgen Kerschermethods to obtain a library with a simpler linearizability proof, i.e., a library whose operations contain their linearization points. We have implemented this technique in a prototype, which has been successfully applied to examples beyond the reach of current techniques, e.g., Stack Elimination an作者: 血友病 時間: 2025-3-30 06:14
Michael Corstenrix inverse) methods..The details of our approach are as follows. First, for the case where the loop guard is a tautology (i.e., ‘.’), we show that the eigenvalues and their eigenvectors of the matrices derived from the variable updates of the loop body encompass all meaningful affine inductive inva作者: neuron 時間: 2025-3-30 08:31
g techniques to learn a (static) function that outputs linear approximations. However, since the machine learning techniques we employ do not come with formal guarantees, the resulting synthesized function may produce linear approximations with violations. To remedy this, we bound the maximum violat
