LEADER 01220nam 2200349 a 450 001 9910702332003321 005 20121217080857.0 035 $a(CKB)5470000002426840 035 $a(OCoLC)821597467 035 $a(EXLCZ)995470000002426840 100 $a20121217d2012 ua 0 101 0 $aeng 135 $aurmn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCritical infrastructure$b[electronic resource] $eDHS needs to refocus its efforts to lead the government facilities sector : report to congressional requesters 210 1$a[Washington, D.C.] :$cU.S. Govt. Accountability Office,$d[2012] 215 $a1 online resource (ii, 25 pages) $ccolor illustrations 300 $aTitle from title screen (viewed Dec. 13, 2012). 300 $a"August 2012." 300 $a"GAO-12-852." 320 $aIncludes bibliographical references. 517 $aCritical infrastructure 606 $aPublic buildings$xSecurity measures$zUnited States 615 0$aPublic buildings$xSecurity measures 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910702332003321 996 $aCritical infrastructure$93402395 997 $aUNINA LEADER 01993nam 2200457z- 450 001 9910493738203321 005 20210724 010 $a1000130176 035 $a(CKB)5590000000537439 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/71407 035 $a(oapen)doab71407 035 $a(EXLCZ)995590000000537439 100 $a20202107d2021 |y 0 101 0 $ager 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAssistenzsysteme zur Reduktion des Scha?digungsverhaltens von Komponenten einer mobilen Arbeitsmaschine 210 $aKarlsruhe$cKIT Scientific Publishing$d2021 215 $a1 online resource (264 p.) 225 1 $aKarlsruher Schriftenreihe Fahrzeugsystemtechnik 311 08$a3-7315-1089-8 330 $aIn this work, modular damage reduction assistance systems are investigated. Identification modules provide information about the current driving and working state, the machine operator, the bulk material mass and system parameters. Damage modules with complexity reduced calculation approaches allow a quantification of the machine damage. Possible applications and the potential of the assistance systems are demonstrated in a model-based development environment. 606 $aMechanical engineering & materials$2bicssc 610 $aassistance systems 610 $aAssistenzsysteme 610 $adamage reduction 610 $amachine learning 610 $aMachine Learning 610 $amodel-based development 610 $aModellbasierte Entwicklung 610 $aRadlader 610 $aScha?digungsreduktion 610 $awheel loader 615 7$aMechanical engineering & materials 700 $aBrinkschulte$b Lars$4auth$01296197 906 $aBOOK 912 $a9910493738203321 996 $aAssistenzsysteme zur Reduktion des Schädigungsverhaltens von Komponenten einer mobilen Arbeitsmaschine$93023885 997 $aUNINA LEADER 06397nam 22008775 450 001 9910483216303321 005 20251226202731.0 010 $a3-540-87698-7 024 7 $a10.1007/978-3-540-87698-4 035 $a(CKB)1000000000490429 035 $a(SSID)ssj0000316888 035 $a(PQKBManifestationID)11258552 035 $a(PQKBTitleCode)TC0000316888 035 $a(PQKBWorkID)10286907 035 $a(PQKB)11120417 035 $a(DE-He213)978-3-540-87698-4 035 $a(MiAaPQ)EBC3063204 035 $a(MiAaPQ)EBC6511654 035 $a(Au-PeEL)EBL6511654 035 $a(OCoLC)277000986 035 $a(PPN)129063010 035 $a(EXLCZ)991000000000490429 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Safety, Reliability, and Security $e27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /$fedited by Michael Douglas Harrison, Mark-Alexander Sujan 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XIV, 456 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5219 300 $aIncludes index. 311 08$a3-540-87697-9 320 $aIncludes bibliographical references and index. 327 $aKeynote Papers -- Critical Information Infrastructures: Should Models Represent Structures or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk -- Panel: Complexity and Resilience -- Software Dependability -- The Effectiveness of T-Way Test Data Generation -- Towards Agile Engineering of High-Integrity Systems -- SafeSpection ? A Systematic Customization Approach for Software Hazard Identification -- Integrating Safety Analyses and Component-Based Design -- Modelling Support for Design of Safety-Critical Automotive Embedded Systems -- Resilience -- Resilience in the Aviation System -- Resilience Markers for Safer Systems and Organisations -- Modeling and Analyzing Disaster Recovery Plans as Business Processes -- Fault Tolerance -- Analysis of Nested CRC with Additional Net Data in Communication -- Symbolic Reliability Analysis of Self-healing Networked Embedded Systems -- Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers -- Security -- Secure Interaction Models for the HealthAgents System -- Security Challenges in Adaptive e-Health Processes -- An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest -- Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security Threats to Automotive CAN Networks ? Practical Examples and Selected Short-Term Countermeasures -- Safety Cases -- Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information -- Applying Safety Goals to a New Intensive Care Workstation System -- Safety Assurance Strategies for Autonomous Vehicles -- Expert Assessment ofArguments: A Method and Its Experimental Evaluation -- Formal Methods -- Formal Verification by Reverse Synthesis -- Deriving Safety Software Requirements from an AltaRica System Model -- Model-Based Implementation of Real-Time Systems -- Early Prototyping of Wireless Sensor Network Algorithms in PVS -- Dependability Modelling -- Analyzing Fault Susceptibility of ABS Microcontroller -- A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems -- The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects -- Security and Dependability -- A Context-Aware Mandatory Access Control Model for Multilevel Security Environments -- Formal Security Analysis of Electronic Software Distribution Systems -- The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling -- Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems. 330 $aThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008. The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5219 606 $aComputer networks 606 $aSoftware engineering 606 $aCoding theory 606 $aInformation theory 606 $aData protection 606 $aComputers, Special purpose 606 $aComputer science 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aCoding and Information Theory 606 $aData and Information Security 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aCoding theory. 615 0$aInformation theory. 615 0$aData protection. 615 0$aComputers, Special purpose. 615 0$aComputer science. 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aCoding and Information Theory. 615 24$aData and Information Security. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a005.1 702 $aSujan$b Mark-Alexander 702 $aHarrison$b Michael Douglas 712 12$aSAFECOMP (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483216303321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA LEADER 06087oam 2201033 c 450 001 9910372799103321 005 20260302090207.0 010 $a9783839407134 010 $a3839407133 024 7 $a10.14361/9783839407134 035 $a(CKB)3710000000482722 035 $a(OAPEN)1007610 035 $a(DE-B1597)461491 035 $a(OCoLC)1013956804 035 $a(OCoLC)958047014 035 $a(DE-B1597)9783839407134 035 $a(MiAaPQ)EBC5494256 035 $a(Au-PeEL)EBL5494256 035 $a(OCoLC)1049912317 035 $a(transcript Verlag)9783839407134 035 $a(MiAaPQ)EBC6955728 035 $a(Au-PeEL)EBL6955728 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/27175 035 $a(ScCtBLL)427ef823-f1fa-4b77-9351-6b09899fd72e 035 $a(oapen)doab27175 035 $a(EXLCZ)993710000000482722 100 $a20260302h20152007 uy 0 101 0 $ager 135 $auuuuu---auuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aGeschlecht als Tabu$eOrte, Dynamiken und Funktionen der De/Thematisierung von Geschlecht$fUte Frietsch, Konstanze Hanitzsch, Jennifer John, Beatrice Michaelis 205 $a1st ed. 210 $aBielefeld$ctranscript Verlag$d2015 210 $d2015, c2007 215 $a1 online resource (270) 225 0 $aGenderCodes - Transkriptionen zwischen Wissen und Geschlecht 311 08$a9783899427134 311 08$a3899427130 327 $aFrontmatter 1 Inhalt 5 Der Wille zum Tabu als Wille zum Wissen 9 Tabu - Die kulturelle Grenze im Ko?rper 17 Two Boys. Eine Fotoarbeit 23 JUNG E N. Eine Anna?herung an die Fotoarbeit Two Boys von Christoph Burtscher 37 Zeichen der Scham - Fotografische Fallstudien um 1900 43 Frauen im Deutschen Bundestag. Indizien und Funktion der Tabuisierung von Exklusion 63 Ein Ku?nstler ist ein Ku?nstler ist ein Ku?nstler. Museale Inszenierungen von fortwa?hrenden Genies 79 »Meine Da?monen fu?ttern«: Paradoxe Bearbeitungen von Geschlechtertabus in der sadomasochistischen Subkultur 99 Sciences/Silences - Die Naturen und Sprachen der ?Sodomie? in Petrus' von Abano Problemata-Kommentar 117 Recht verschwiegen: Das ?Tabu? der Sodomie in der Sprache des spa?tmittelalterlichen Rechts 141 Der Inzest als Symptom der Shoah: Zur Wiederkehr des Verdra?ngten in Max Frischs Homo faber und Ingeborg Bachmanns Malina 155 (Ent-)Tabuisiertes Erza?hlen: Sexuelle Gewalt an ?deutschen? Frauen am Ende des Zweiten Weltkriegs 171 Das ?unsa?gliche? Verbrechen. U?berlegungen zur Tabuisierung von sexueller Gewalt im Spielfilm 187 Das unendliche Geschlecht - Lo?cher und Lu?cken im Gewebe der Mathematik 205 »Seine erstorbenen Augen verkannten alle Gegensta?nde, die um ihn waren«. Das Tabu der Onanie und die Bedeutung von Wissen im 18. und 19. Jahrhundert 217 Feminismus und Psychoanalyse heute: Tabubruch inkludiert 231 Der Wille zum Tabu: O?dipus, Iokaste und der Cyborg 245 Autorinnen und Autoren 263 Backmatter 269 330 $aDieser Band wendet den ethnologischen Tabu-Begriff auf die eigene, abendländische Kultur und Gesellschaft an. Er erforscht die Produktion des Wissensfeldes »Geschlecht«.Aus der Perspektive verschiedener wissenschaftlicher Disziplinen wird untersucht, auf welche Weise Geschlecht und Sexualität in das Wissen von Wissenschaft, Fotografie, Film, Literatur, Kultur und Subkultur ein- oder explizit ausgeschlossen werden. Welcher »Wille« motiviert die Thematisierung von Geschlecht, welcher die Dethematisierung? Wie wird ein Tabu durch ein anderes ersetzt? Und aus welchem Grund kann Geschlecht zugleich ein Tabu und ein Feld des Wissens sein?Mit Beiträgen u.a. von Marie-Luise Angerer, Joan Cadden und Bettina Mathes. 330 1 $a»Mit rund 500 Seiten liefert dieser breit angelegte Sammelband nicht nur für die feministische Forschung, sondern auch für die historiographische Mainstreamforschung erstmals einen längst überfälligen, disziplinübergreifenden Beitrag zur Bedeutung der Kategorie Geschlecht im ?Dritten Reich? auf hohem wissenschaftlich-analytischem Niveau.« 330 1 $aBesprochen in:Gigi, 26 (2009), Karsten Bujara 330 1 $a»Ein interessanter Band, der nicht als Einführung, sondern für eine intensive Auseinandersetzung mit der Thematik zu empfehlen ist.« 410 0$aGenderCodes - Transkriptionen Zwischen Wissen und Geschlecht 517 2 $aFrietsch et al. (Hg.), Geschlecht$eOrte, Dynamiken und Funktionen der De/Thematisierung von Geschlecht 606 $aSexualität 606 $aSexuality 606 $aKultur 606 $aCulture 606 $aWissenschaft 606 $aScience 606 $aGender 606 $aTabu 606 $aGender Studies 606 $aCultural Studies 606 $aCultural Theory 606 $aKulturtheorie 606 $aBody 606 $aKörper 606 $aKulturwissenschaft 615 4$aSexualität 615 4$aSexuality 615 4$aKultur 615 4$aCulture 615 4$aWissenschaft 615 4$aScience 615 4$aGender 615 4$aTabu 615 4$aGender Studies 615 4$aCultural Studies 615 4$aCultural Theory 615 4$aKulturtheorie 615 4$aBody 615 4$aKörper 615 4$aKulturwissenschaft 676 $a305.3 686 $aMS 2850$2rvk 702 $aFrietsch$b Ute$p

Ute Frietsch, Herzog August Bibliothek Wolfenbüttel, Deutschland

$4edt 702 $aHanitzsch$b Konstanze$p

Konstanze Hanitzsch, Gender- und Literaturwissenschaftlerin, Deutschland

$4edt 702 $aJohn$b Jennifer$p

Jennifer John, Zürcher Hochschule der Künste, Schweiz

$4edt 702 $aMichaelis$b Beatrice$p

Beatrice Michaelis, Humboldt-Universität zu Berlin, Deutschland

$4edt 801 0$bDE-B1597 801 1$bDE-B1597 906 $aBOOK 912 $a9910372799103321 996 $aGeschlecht als Tabu$94415607 997 $aUNINA