LEADER 05144nam 22006855 450 001 996466309903316 005 20200704192109.0 010 $a3-030-31277-1 024 7 $a10.1007/978-3-030-31277-0 035 $a(CKB)4100000009273665 035 $a(DE-He213)978-3-030-31277-0 035 $a(MiAaPQ)EBC5924438 035 $a(PPN)250193655 035 $a(EXLCZ)994100000009273665 100 $a20190913d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNetworked Systems$b[electronic resource] $e7th International Conference, NETYS 2019, Marrakech, Morocco, June 19?21, 2019, Revised Selected Papers /$fedited by Mohamed Faouzi Atig, Alexander A. Schwarzmann 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XIX, 388 p. 303 illus., 79 illus. in color.) 225 1 $aComputer Communication Networks and Telecommunications ;$v11704 300 $aIncludes index. 311 $a3-030-31276-3 327 $aDynamic Partial Order Reduction under the Release-Acquire Semantics -- On the Complexity of Fault-Tolerant Consensus -- Formal Verification -- Checking Causal Consistency of Distributed Databases -- Liveness in Broadcast Networks -- Formal Verification of UML State Machine Diagrams using Petri Nets -- Synthesize Models for Quantitative Analysis using Automata Learning -- Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs -- Distributed Systems -- Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems -- Self-stabilization overhead: a case study on coded atomic storage -- StakeCube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Distributed Ledgers -- Dissecting Tendermint -- CUDA-DTM: Distributed Transactional Memory for GPU Clusters -- Towards synthesis of distribued algorithms with SMT solvers -- Recoverable Mutual Exclusion with Abortability -- Security -- An Efficient network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-Adaptive Heuristic Search Algorithm -- Efficient Security Policy Management using Suspicious Rules through Access Log Analysis -- A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks -- (Short Paper) How to Choose its Parents in the Tangle -- Bitcoin Security With Post Quantum Cryptography -- Concurrency -- Achieving Starvation-Freedom in Multi-Version Transactional Memory Systems -- Mutex-based Desanonymization of an Anonymous Read/Write Memory -- A Pragmatic Non-blocking Concurrent Directed Acyclic Graph -- Networks -- The Fake News Vaccine -- Distributed Online Data Aggregation in Dynamic Graphs -- A Multi-Criteria Group Decision Making Method for Big Data Storage Selection. 330 $aThis book constitutes the revised selected papers of the 7th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks. 410 0$aComputer Communication Networks and Telecommunications ;$v11704 606 $aComputer communication systems 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aMicroprogramming  606 $aInput-output equipment (Computers) 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aControl Structures and Microprogramming$3https://scigraph.springernature.com/ontologies/product-market-codes/I12018 606 $aInput/Output and Data Communications$3https://scigraph.springernature.com/ontologies/product-market-codes/I12042 615 0$aComputer communication systems. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aMicroprogramming . 615 0$aInput-output equipment (Computers). 615 14$aComputer Communication Networks. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 615 24$aControl Structures and Microprogramming. 615 24$aInput/Output and Data Communications. 676 $a004.6 702 $aAtig$b Mohamed Faouzi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchwarzmann$b Alexander A$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466309903316 996 $aNetworked Systems$92499603 997 $aUNISA LEADER 05333nam 2200685Ia 450 001 9910954803603321 005 20251116142052.0 010 $a1-282-11796-3 010 $a1-4443-1230-8 010 $a9786612117961 010 $a0-632-06151-0 035 $a(CKB)111004366737278 035 $a(EBL)428034 035 $a(OCoLC)437111609 035 $a(SSID)ssj0000142936 035 $a(PQKBManifestationID)11152978 035 $a(PQKBTitleCode)TC0000142936 035 $a(PQKBWorkID)10109774 035 $a(PQKB)10280174 035 $a(MiAaPQ)EBC428034 035 $a(Au-PeEL)EBL428034 035 $a(CaPaEBR)ebr10308217 035 $a(CaONFJC)MIL211796 035 $a(PPN)140742816 035 $a(EXLCZ)99111004366737278 100 $a19990719d2000 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEcological methods /$fT.R.E. Southwood, P.A. Henderson 205 $a3rd ed. 210 $aOxford ;$aMalden, MA $cBlackwell Science$d2000 215 $a1 online resource (593 p.) 300 $aDescription based upon print version of record. 311 08$a0-632-05477-8 320 $aIncludes bibliographical references and index. 327 $aEcological Methods, Third Edition; Contents; Prefaces; 1: Introduction to the Study of Animal Populations; 1.1 Population estimates; 1.1.1 Absolute and related estimates; 1.1.2 Relative estimates; 1.1.3 Population indices; 1.2 Errors and confidence; References; 2: The Sampling Programme and the Measurement and Description of Dispersion; 2.1 Preliminary sampling; 2.1.1 Planning and fieldwork; 2.1.2 Statistical aspects; 2.2 The sampling programme; 2.2.1 The number of samples per habitat unit (e.g. plant, host,or puddle); 2.2.2 The sampling unit, its selection, size, and shape 327 $a2.2.3 The number of samples2.2.4 The pattern of sampling; 2.2.5 The timing of sampling; 2.3 Data processing; 2.4 Jackknife and bootstrap techniques; 2.5 Dispersion; 2.5.1 Mathematical distributions that serve as models; 2.5.2 Biological interpretation of dispersion parameters; 2.5.3 Nearest-neighbour and related techniques:measures of departure from randomness of the distribution; 2.6 Sequential sampling; 2.6.1 Sampling numbers; 2.6.2 Presence or absence sampling; 2.6.3 Sampling a fauna; References; 3: Absolute Population Estimates Using Capture-Recapture Experiments 327 $a3.1 Capture-recapture methods3.1.1 Assumptions common to most methods; 3.1.2 Estimating closed populations; 3.1.3 Estimations for open populations; 3.2 Methods of marking animals; 3.2.1 Handling techniques; 3.2.2 Release; 3.2.3 Surface marks using paints and solutions of dyes; 3.2.4 Dyes and fluorescent substances in powder form; 3.2.5 Marking formed by ingestion or absorption of dyes; 3.2.6 Marking by injection,Panjet, or tattooing; 3.2.7 External tags; 3.2.8 Branding; 3.2.9 Mutilation; 3.2.10 Natural marks, parasites, and genes; 3.2.11 Rare elements; 3.2.12 Radioactive isotopes 327 $a3.2.13 Radio and sonic tagsReferences; 4: Absolute Population Estimates by Sampling a Unit of Habitat: Air, Plants, Plant Products, and Vertebrate Hosts; 4.1 Sampling from the air; 4.1.1 Sampling apparatus; 4.1.2 Rotary and other traps; 4.1.3 Comparison and efficiencies of the different types of suction traps; 4.1.4 Conversion of catch to aerial density; 4.1.5 Conversion of density to total aerial population; 4.2 Sampling from plants; 4.2.1 Assessing the plant; 4.2.2 Determining the numbers of invertebrates; 4.2.3 Special sampling problems with animals in plant material 327 $a4.3 Sampling from vertebrate hosts4.3.1 Sampling from living hosts; 4.3.2 Sampling from dead hosts; 4.3.3 Sampling from vertebrate 'homes'; References; 5: Absolute Population Estimates by Sampling a Unit of Aquatic Habitat; 5.1 Open water; 5.1.1 Nets; 5.1.2 Pumps; 5.1.3 Water-sampling bottles; 5.1.4 The Patalas-Schindler volume sampler; 5.1.5 Particular methods for insects; 5.2 Vegetation; 5.2.1 Emergent vegetation; 5.2.2 Submerged vegetation; 5.2.3 Sampling floating vegetation; 5.3 Bottom fauna; 5.3.1 Hand-net sampling of forest litter; 5.3.2 Lifting stones 327 $a5.3.3 The planting of removable portions of the substrate 330 $aThis classic text, whose First Edition one reviewer referred to as ""the ecologists' bible,"" has been substantially revised and rewritten. Not only have the advances made in the field since the Second Edition been taken into account, but the scope has been explicitly extended to all macroscopic animals, with particular attention being paid to fish as well as other vertebrates. Ecological Methods provides a unique synthesis of the methods and techniques available for the study of populations and ecosystems. Techniques used to obtain both absolute and relative population estimates 606 $aEcology$xTechnique 606 $aAnimal populations 615 0$aEcology$xTechnique. 615 0$aAnimal populations. 676 $a577/.028 676 $a591.7072 700 $aSouthwood$b Richard$cSir$025157 701 $aHenderson$b P. A$0442436 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910954803603321 996 $aEcological methods$985226 997 $aUNINA