LEADER 03840oam 2200481 450 001 996464393203316 005 20210617210555.0 010 $a3-030-67087-2 024 7 $a10.1007/978-3-030-67087-0 035 $a(CKB)4100000011716957 035 $a(DE-He213)978-3-030-67087-0 035 $a(MiAaPQ)EBC6456085 035 $a(PPN)253252997 035 $a(EXLCZ)994100000011716957 100 $a20210617d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aNetworked systems $e8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, proceedings /$fChryssis Georgiou, Rupak Majumdar (editors) 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$d©2021 215 $a1 online resource (XVII, 376 p. 100 illus., 69 illus. in color.) 225 1 $aLecture notes in computer science ;$v12129 300 $aIncludes index. 311 $a3-030-67086-4 327 $aInvited Papers -- On Network Topologies and the Decidability of Reachability Problem -- Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks -- Blockchains and the Commons -- Regular Papers -- On the State Reachability Problem for Concurrent Programs under Power -- On the Encoding and Solving of Partial Information Games -- Efficient Concurrent Execution of Smart Contracts in Blockchains using Object-based Transactional Memory -- Exploring IoT Trickle-based Dissemination using Timed Model-checking and Symbolic Execution -- Broadcasting Information in Multi-hop Networks prone to Mobile Byzantine Faults -- Infinite Grid Exploration by Disoriented Robots -- Wireless Broadcast with short labels -- The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders -- Byzantine k-Set Agreement -- Fissile Locks -- Verifying Safety of Parameterized Heard-Of Algorithms -- Staleness and Local Progress in Transactional Memory -- Generic Framework for Optimization of Local Dissemination in Wireless Networks -- Verifying Weakly Consistent Transactional Programs using Symbolic Execution -- NetSheriff: Sheltering Software-Defined Networks from Rogue Switches -- Self-stabilizing Uniform Reliable Broadcast -- Fully Anonymous Consensus and Set Agreement Algorithms -- Cutoffs for symmetric point-to-point distributed algorithms -- Short Papers -- Stateless Distributed Ledgers -- Stability Under Adversarial Injection of Dependent Tasks -- Collaborative filtering: comparative study between Matrix Factorization and Neural Network method -- Routing in Generalized Geometric Inhomogeneous Random Graphs (Extended Abstract). 330 $aThis book constitutes the revised selected papers of the 8th International Conference on Networked Systems, NETYS 2020, held in Marrakech, Morocco, in June 2020.* The 18 revised full papers and 4 short papers presented together with 3 invited papers were carefully reviewed and selected from 46 submissions. The papers cover all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, formal verification, distributed databases, cloud systems, networks, security, formal verification, etc. *The conference was held virtually due to the COVID-19 pandemic. 410 0$aLecture notes in computer science ;$v12129. 606 $aComputer networks$vCongresses 615 0$aComputer networks 676 $a004.6 702 $aGeorgiou$b Chryssis 702 $aMajumdar$b Rupak 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996464393203316 996 $aNetworked Systems$92499603 997 $aUNISA LEADER 05070nam 2200373 450 001 9910476875403321 005 20230329065025.0 024 7 $a10.5445/KSP/1000124331 035 $a(CKB)5470000000567188 035 $a(NjHacI)995470000000567188 035 $a(EXLCZ)995470000000567188 100 $a20230329d2020 uy 0 101 0 $ager 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aZur Geschichte der Reedereigebaude an der Elbstrase bei der Alten Liebe in Cuxhaven seit den 1920er Jahren /$fRolf-Ju?rgen Gleitsmann-Topp 210 1$aKarlsruhe :$cKIT Scientific Publishing,$d2020. 215 $a1 online resource (210 pages) $cillustrations 311 $a1000124331 327 $aTechnikdiskurse - Karlsruher Studien zur Technikgeschichte. -- Danksagungen -- 1. Zur Einfu?hrung -- 1.1 Wie alles begann: Das Schlepp- und Bergungsgescha?ft reorganisiert sich -- 1.2 Reederei-Gescha?ftspolitik und die Folgen -- 1.3 Die Konsequenzen der "U?bernahmeschlacht" -- 2. Die Hamburger Bugsier-Reederei und Bergungsgesellschaft zieht es nach Cuxhaven -- 2.1 Ein Baugrundstu?ck fu?r das "Bugsier-Haus" muss gefunden werden -- 2.2 Der Pachtvertrag. -- 2.3 Zum Bau des Bugsierhauses" -- 2.4 Das Bugsierhaus nach seinen Baupla?nen -- 2.4.1 Die Inspektorenwohnung -- 2.4.2 Die Gescha?ftsra?ume der Bugsier -- 2.4.3 Die weiteren Stockwerke des Bugsierhauses -- 2.4.4 Zur Mieterschaft des Bugsierhauses -- 2.4.5 Das Kellergeschoß -- 2.5 Der Außenbereich des Bugsierhauses -- 3. U?berraschende Entwicklungen durch strategische Entscheidungen der Bugsier-Reederei -- 3.1 Zur Rolle der Lotsen -- 3.2 Spezielle Aspekte zum Bau eines Lotsenhauses durch die Reederei Bugsier -- 3.3 Zum bestehenden Pachtverha?ltnis mit der Bugsier-Reederei -- 3.4 Private-public-partnership -- 4. Das, Lotsenhaus": Private-public-partnership realisiert sich -- 4.1 Der Pachtvertrag und seine Regelungen -- 4.1.1 Exkurs: Die Zollverwaltung und der Lotsenhausneubau 4.1.2 Die weiteren Vertragsinhalte des Pachtvertrags -- 4.2 Der Bau des Lotsenhauses -- 4.2.1 Zur Konkretisierung: Die Bauplanung des Lotsenhauses 4.2.2 Die bauliche Detailgestaltung des Lotsenhauses -- 4.2.3 Die Geschosse des Lotsenhauses nach den Baupla?nen 4.3 Zur weiteren Entwicklung -- 5. Das, Haus Seefahrt" der Reederei W. Schuchmann -- 5.1 Zur Baugeschichte und Gestaltung des Hauses Seefahrt" -- 5.1.1 Die Schwierigkeiten mit der Bauplanungskommission Hamburg 5.1.2 Zur weiteren Baugeschichte des Hauses Seefahrt" -- 5.2 Das Haus Seefahrt nach seinen Baupla?nen -- 5.2.1 Das Kellergeschoß -- 5.2.2 Das Erdgeschoß/Hochparterre -- 5.2.3 Das Obergeschoß -- 5.2.4 Das Dachgeschoß -- 5.3 Zusatzbauten -- 5.4 Sonstiges zum Hause Seefahrt -- 5.5 Die fru?he Mieterschaft des Hauses Seefahrt -- 6. Ein erstes Fazit -- 7. Zur weiteren Entwicklung -- 7.1 Der Verkauf des Hauses Seefahrt -- 7.2 Zur Vera?ußerung des Lotsenhauses -- 7.2.1 Der lange Weg zur Vera?ußerung des Lotsenhauses an das Land -- Niedersachsen -- 7.2.2 Zum Rahmeneschehen der Hafenentwicklung -- 7.2.3 Die Konsequenzen der Aufspu?lungsmaßnahmen in der Grimmersho?rnbucht -- 7.2.4 Der Verkauf des Lotsenhauses konkretisiert sich -- 7.2.5 Die U?bernahmeverhandlungen -- 7.2.6 Ergebnisbewertung -- 8. Das Land Niedersachsen als Eigentu?mer des Lotsenhauses -- 8.1 Infrastrukturmaßnahmen -- 8.2 Zur bautechnischen Ertu?chtigung des Lotsenhauses -- 9. Schlussbetrachtung -- Literaturverzeichnis -- Abbildungsverzeichnis -- Verzeichnis der Archive und Institutionen -- U?ber den Autor. 330 $aThis study will discuss the history of the creation, construction and use of three distinctive shipping company villas in the harbour of Cuxhaven/Germany, located south of the harbours lighthouse, near the Alte Liebe". The study´s analysis does not however limit itself only to aspects of a historiography of bildings, but rather combines these with a historical approach that contextualize the review undertaken . Lastly the study deleves into the motives and strategies of the involved protagonists and illuminate the results of their activities. 330 $aDie Studie beschreibt die Bau-, Entstehungs- und Nutzungsgeschichte von drei markant Reedereivillen im Hafen von Cuxhaven. Diese Bauwerke nahe der "Alten Liebe" und su?dlich des Leuchtturms gelegen, wurden sa?mtlich Mitte der 1920er Jahre errichtet. Das Erkenntnisinteresse der Studie verengt sich nicht auf eine spezielle Bauhistoriographie, sondern umfasst eine gesamthistorisch kontextualisierende Betrachtungsweise, die u.a. auch Motive und Handlungsstrategien der beteiligten Akteure beleuchtet. 606 $aHome staging 615 0$aHome staging. 676 $a333.338068 700 $aGleitsmann-Topp$b Rolf-Ju?rgen$01283091 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910476875403321 996 $aZur Geschichte der Reedereigebaude an der Elbstrase bei der Alten Liebe in Cuxhaven seit den 1920er Jahren$93076645 997 $aUNINA