LEADER 01641nam2-2200433li-450 001 990000204870203316 005 20180312154757.0 010 $a3-540-58233-9 035 $a0020487 035 $aUSA010020487 035 $a(ALEPH)000020487USA01 035 $a0020487 100 $a20001109d1994----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aHigher-order algebra, logic and term rewriting$efirst International workshop, HOA'93$eAmsterdam, The Netherlands$eSeptember 23-24, 1993$eselected papers$fJan Heering ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1994 215 $a344 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v816 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$aamsterdam$a1993 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1993 610 1 $aelaborazione elettronica$acongressi$a1993 610 1 $alinguaggi di programmazione$acongressi$a1993 676 $a00513$9Linguaggi di programmazione 702 1$aHeering,$bJan 710 12$aInternational workshop HOA'93$d1.$eAmsterdam$f1993$0753235 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000204870203316 951 $a001 LNCS (816)$b0016364$c001$d00103131 959 $aBK 969 $aSCI 979 $c19961203 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010130$lUSA01$h1523 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aHigher-order algebra, logic and term rewriting$91515171 997 $aUNISA LEADER 05884nam 22006975 450 001 9910370257903321 005 20251113205545.0 010 $a3-030-37262-6 024 7 $a10.1007/978-3-030-37262-0 035 $a(CKB)4900000000504989 035 $a(DE-He213)978-3-030-37262-0 035 $a(MiAaPQ)EBC6005579 035 $a(PPN)242846025 035 $a(EXLCZ)994900000000504989 100 $a20200102d2019 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAd Hoc Networks $e11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18?21, 2019, Proceedings /$fedited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (XI, 334 p. 170 illus., 110 illus. in color.) 225 1 $aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-822X ;$v306 311 08$a3-030-37261-8 327 $aAnalyzing Sensor Network Data: A Case of Graph vs Topological Signal Processing -- The 5G Debate in New Zealand: Government Actions andPublic Perception Routing -- EL-CRP: An Energy and Location Aware ClusteringRouting Protocol in Large Scale Wireless Sensor Networks -- LEERLayer-Based and Energy-Efficient Routing Protocolfor Underwater Sensor Networks.-A Routing Void Handling Protocol based on Autonomous Underwater Vehicle for Underwater Acoustic SensorNetworks.-Optimal Packet Size Analysis for Intra-Flow Network Coding Enabled One Hop Wireless MulticastAccess Control.-MBA-DbMAC: A Random-Access MAC Protocol for MBAs -- Blockchain-aided Access Control for SecureCommunications in Ad Hoc Networks -- Investigating Mobility Robustness in 5G Networks usingUser-Adaptive Handoff Strategies.-The Effect of Propagation Models on IEEE 802.11n over 2.4 GHz and 5 GHz in Noisy Channels: A Simulation Study -- Medium Access Control for Flying Ad Hoc NetworksUsing Directional Antennas: Challenges, Research Status, and Open Issues -- Resource Allocation.-Fair Resource Allocation Based on Deep Reinforcement Learning in Fog Networks -- Multi-agent Reinforcement Learning for Joint Wirelessand Computational Resource Allocation in Mobile Edge Computing System -- Cooperative Transmission with Power Control in theHyper-Cellular Network -- Energy-Efficient Power Allocation for Fading Deviceto-Device Channels in Downlink Resource SharingCommunication.-Delay based Wireless Scheduling and Server Assignment for Fog Computing SystemsLocalization and Tracking.-High precision indoor positioning method based on UWB -- Improvement of a Single Node Indoor Localization System -- An Efficient Approach for Rigid Body Localization viaSingle Base Station Using Direction of Arrive Measurement Design and Mobile Tracking Performance of aRetro-Directive Array (RDA) Antenna System -- Miscellaneous Topics in Ad Hoc Networks (I) -- The Effects of Non-Line of Sight (NLOS) Channels on aHighly Mobile User Device -- Multiobjective collaborative beamforming for a distributed satellite cluster via NSGA-IIAMP inspired Antenna Activity and Signal DetectionAlgorithm for Generalized Spatial Modulated NOMA -- A Filtering Dimension Reduction Decoding Algorithm forUnderwater Acoustic Networks -- Miscellaneous Topics in Ad Hoc Networks (II) -- A Homology Based Coverage Optimization Algorithm forWireless Sensor Networks.-Rail Vehicle Fire Warning System Based on Gas Vapor Sensor Network -- Guessing Intrinsic Forwarding Trustworthiness of WirelessAd Hoc Network Nodes -- Machine Learning Based Smart IoT Gateway on Edge. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Ad Hoc Networks, ADHOCNETS 2019, held in Queenstown, New Zealand, in November 2019. The 28 full papers were selected from 64 submissions and cover a variety of network paradigms including mobile ad hoc networks, sensor networks, vehicular networks, underwater networks, airborne networks, underground networks, personal area networks, device-to-device (D2D) communications in 5G cellular networks, and home networks. The papers present a wide range of applications in civilian, commercial, and military areas. 410 0$aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering,$x1867-822X ;$v306 606 $aComputer networks 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer simulation 606 $aArtificial intelligence 606 $aComputer Communication Networks 606 $aData Structures and Information Theory 606 $aComputer Modelling 606 $aArtificial Intelligence 615 0$aComputer networks. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aComputer simulation. 615 0$aArtificial intelligence. 615 14$aComputer Communication Networks. 615 24$aData Structures and Information Theory. 615 24$aComputer Modelling. 615 24$aArtificial Intelligence. 676 $a005.8 676 $a004.6 702 $aZheng$b Jun$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLi$b Cheng$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aChong$b Peter Han Joo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeng$b Weixiao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYan$b Feng$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910370257903321 996 $aAd Hoc Networks$91961598 997 $aUNINA