Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
| ABZ 2014: The Landing Gear Case Study [[electronic resource] ] : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 161 p. 47 illus.) |
| Disciplina | 005.1015113 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
| ISBN | 3-319-07512-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation. |
| Record Nr. | UNINA-9910298563803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Accelerated Lattice Boltzmann Model for Colloidal Suspensions [[electronic resource] ] : Rheology and Interface Morphology / / by Hassan Farhat, Joon Sang Lee, Sasidhar Kondaraju
| Accelerated Lattice Boltzmann Model for Colloidal Suspensions [[electronic resource] ] : Rheology and Interface Morphology / / by Hassan Farhat, Joon Sang Lee, Sasidhar Kondaraju |
| Autore | Farhat Hassan |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | New York, NY : , : Springer US : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (161 p.) |
| Disciplina |
003.3
530.138 620 620.1064 |
| Soggetto topico |
Fluid mechanics
Computer simulation Engineering Fluid Dynamics Simulation and Modeling |
| ISBN | 1-4899-7402-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- 1. Introduction -- 2. Overview of Related Studies -- 3. Accelerated Lattice Boltzmann Method -- 4. Hybrid LBM for Surfactant-Covered Droplets -- 5. Suppressing the Coalescence in the LBM: Colloids Rheology -- 6. Non-Uniform Interfacial Tension LBM for RBC Modeling -- Appendix -- References -- Index. |
| Record Nr. | UNINA-9910299724203321 |
Farhat Hassan
|
||
| New York, NY : , : Springer US : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida
| Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 530 p.) |
| Disciplina | 004n/a |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Computer simulation Artificial intelligence Application software Multimedia information systems User interfaces (Computer systems) Information Storage and Retrieval Simulation and Modeling Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Peking (2009) |
| ISBN | 3-642-04875-7 |
| Classificazione |
DAT 614f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Using Neural Imaging to Inform the Instruction of Mathematics -- Distributed Human-Machine Systems: Progress and Prospects -- Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem -- How Midazolam Can Help Us Understand Human Memory: 3 Illustrations and a Proposal for a New Methodology -- Research on Brain-Like Computer -- A Framework for Machine Learning with Ambiguous Objects -- Special Session on Conversational Informatics -- Implementing a Multi-user Tour Guide System with an Embodied Conversational Agent -- Actively Adaptive Agent for Human-Agent Collaborative Task -- Low-Overhead 3D Items Drawing Engine for Communicating Situated Knowledge -- A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent -- An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks -- Special Session on Human-Web Interaction -- Consumer Decision Making in Knowledge-Based Recommendation -- Incremental Learning of Triadic PLSA for Collaborative Filtering -- Interactive Storyboard: Animated Story Creation on Touch Interfaces -- Comparative Evaluation of Reliabilities on Semantic Search Functions: Auto-complete and Entity-Centric Unified Search -- Integrated Recommender Systems Based on Ontology and Usage Mining -- Active Media Retrieval and Sharing -- Knowledge-Based Concept Score Fusion for Multimedia Retrieval -- Example-Based Query Analysis Using Functional Conceptual Graphs -- Checking Satisfactions of XML Referential Integrity Constraints -- A Verification Method of Hyponymy between Chinese Terms Based on Concept Space -- Sharing Mobile Multimedia Annotations to Support Inquiry-Based Learning Using MobiTOP -- Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment -- Why We Share: A Study of Motivations for Mobile Media Sharing -- Active Support Systems and Intelligent Interfaces -- The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking -- Human Characteristics on Length Perception with Three Fingers for Tactile Intelligent Interfaces -- A Model and Environment for Improving Multimedia Intensive Reading Practices -- Study on Adaptive Computer-Assisted Instruction for In-Service Training -- Research on Recreational Sports Instruction Using an Expert System -- Smart Digital Media -- Using 6LowPAN UPnP and OSGi to Implement Adaptable Home Ambient Intelligence Network Platform -- Low Frequency Domain Aided Texture Synthesis for Intra Prediction -- A Novel Geometry Image Coding -- Musical Style Classification Using Low-Level Features -- Multi-agent Systems and Autonomy-Oriented Computing -- Enterprise Cluster Dynamics and Innovation Diffusion: A New Scientific Approach -- A Novel Application of Organic Plant Farming Analysis System – Using Game Theory and Multi-Agent Technique -- A Dynamic Trust Network for Autonomy-Oriented Partner Finding -- Modeling an Educational Multi-Agent System in MaSE -- Enhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology -- Multi-objective Analysis on Optimization of Negotiation Support -- Data Mining and Ontology Mining in Active Media -- Rough Set Based Personalized Recommendation in Mobile Commerce -- SpamTerminator: A Personal Anti-spam Add-In for Outlook -- Classifying Images with Image and Text Search Clickthrough Data -- A Novel Fast Inter Mode Decision Algorithm in H.264/AVC for Forest Fire Prevention Surveillance -- A Method for Analyzing Software Faults Based on Mining Outliers’ Feature Attribute Sets -- Web Intelligence -- Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity -- The Quest for Parallel Reasoning on the Semantic Web -- A Model for Personalized Web-Scale Case Base Maintenance -- X3D-Based Web 3D Resources Integration and Reediting -- Providing Relevant Answers for Queries over E-Commerce Web Databases -- Detecting News Event from a Citizen Journalism Website Using Tags -- Networks and Security -- A New Mechanism for Job Scheduling in Computational Grid Network Environments -- Efficient and Provably Secure Self-certified Signature Scheme -- A Reversible Watermarking Scheme for 3D Meshes -- Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks. |
| Record Nr. | UNISA-996465866003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida
| Active Media Technology [[electronic resource] ] : 5th International Conference, AMT 2009, Beijing, China, October 22-24, 2009, Proceedings / / edited by Jiming Liu, Jinglong Wu, Yiyu Y. Yao, Toyoaki Nishida |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XV, 530 p.) |
| Disciplina | 004n/a |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Information storage and retrieval
Computer simulation Artificial intelligence Application software Multimedia information systems User interfaces (Computer systems) Information Storage and Retrieval Simulation and Modeling Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems User Interfaces and Human Computer Interaction |
| Soggetto genere / forma |
Kongress.
Peking (2009) |
| ISBN | 3-642-04875-7 |
| Classificazione |
DAT 614f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Talks -- Using Neural Imaging to Inform the Instruction of Mathematics -- Distributed Human-Machine Systems: Progress and Prospects -- Large Scale Reasoning on the Semantic Web: What to Do When Success Is Becoming a Problem -- How Midazolam Can Help Us Understand Human Memory: 3 Illustrations and a Proposal for a New Methodology -- Research on Brain-Like Computer -- A Framework for Machine Learning with Ambiguous Objects -- Special Session on Conversational Informatics -- Implementing a Multi-user Tour Guide System with an Embodied Conversational Agent -- Actively Adaptive Agent for Human-Agent Collaborative Task -- Low-Overhead 3D Items Drawing Engine for Communicating Situated Knowledge -- A Method to Detect Lies in Free Communication Using Diverse Nonverbal Information: Towards an Attentive Agent -- An Integrative Agent Model for Adaptive Human-Aware Presentation of Information during Demanding Tasks -- Special Session on Human-Web Interaction -- Consumer Decision Making in Knowledge-Based Recommendation -- Incremental Learning of Triadic PLSA for Collaborative Filtering -- Interactive Storyboard: Animated Story Creation on Touch Interfaces -- Comparative Evaluation of Reliabilities on Semantic Search Functions: Auto-complete and Entity-Centric Unified Search -- Integrated Recommender Systems Based on Ontology and Usage Mining -- Active Media Retrieval and Sharing -- Knowledge-Based Concept Score Fusion for Multimedia Retrieval -- Example-Based Query Analysis Using Functional Conceptual Graphs -- Checking Satisfactions of XML Referential Integrity Constraints -- A Verification Method of Hyponymy between Chinese Terms Based on Concept Space -- Sharing Mobile Multimedia Annotations to Support Inquiry-Based Learning Using MobiTOP -- Understanding Perceived Gratifications for Mobile Content Sharing and Retrieval in a Game-Based Environment -- Why We Share: A Study of Motivations for Mobile Media Sharing -- Active Support Systems and Intelligent Interfaces -- The Layout of Web Pages: A Study on the Relation between Information Forms and Locations Using Eye-Tracking -- Human Characteristics on Length Perception with Three Fingers for Tactile Intelligent Interfaces -- A Model and Environment for Improving Multimedia Intensive Reading Practices -- Study on Adaptive Computer-Assisted Instruction for In-Service Training -- Research on Recreational Sports Instruction Using an Expert System -- Smart Digital Media -- Using 6LowPAN UPnP and OSGi to Implement Adaptable Home Ambient Intelligence Network Platform -- Low Frequency Domain Aided Texture Synthesis for Intra Prediction -- A Novel Geometry Image Coding -- Musical Style Classification Using Low-Level Features -- Multi-agent Systems and Autonomy-Oriented Computing -- Enterprise Cluster Dynamics and Innovation Diffusion: A New Scientific Approach -- A Novel Application of Organic Plant Farming Analysis System – Using Game Theory and Multi-Agent Technique -- A Dynamic Trust Network for Autonomy-Oriented Partner Finding -- Modeling an Educational Multi-Agent System in MaSE -- Enhancing Decentralized MAS-Based Framework for Composite Web Services Orchestration and Exception Handling by Means of Mobile Agents Technology -- Multi-objective Analysis on Optimization of Negotiation Support -- Data Mining and Ontology Mining in Active Media -- Rough Set Based Personalized Recommendation in Mobile Commerce -- SpamTerminator: A Personal Anti-spam Add-In for Outlook -- Classifying Images with Image and Text Search Clickthrough Data -- A Novel Fast Inter Mode Decision Algorithm in H.264/AVC for Forest Fire Prevention Surveillance -- A Method for Analyzing Software Faults Based on Mining Outliers’ Feature Attribute Sets -- Web Intelligence -- Unifying Web-Scale Search and Reasoning from the Viewpoint of Granularity -- The Quest for Parallel Reasoning on the Semantic Web -- A Model for Personalized Web-Scale Case Base Maintenance -- X3D-Based Web 3D Resources Integration and Reediting -- Providing Relevant Answers for Queries over E-Commerce Web Databases -- Detecting News Event from a Citizen Journalism Website Using Tags -- Networks and Security -- A New Mechanism for Job Scheduling in Computational Grid Network Environments -- Efficient and Provably Secure Self-certified Signature Scheme -- A Reversible Watermarking Scheme for 3D Meshes -- Neighbor-List Based Pairwise Key Management Scheme in Wireless Sensor Networks. |
| Record Nr. | UNINA-9910484889803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Active Visual Inference of Surface Shape [[electronic resource] /] / by Roberto Cipolla
| Active Visual Inference of Surface Shape [[electronic resource] /] / by Roberto Cipolla |
| Autore | Cipolla Roberto |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XII, 196 p.) |
| Disciplina | 006.4/2 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer mathematics
Differential geometry Computer simulation Optical data processing Artificial intelligence Pattern recognition Computational Mathematics and Numerical Analysis Differential Geometry Simulation and Modeling Image Processing and Computer Vision Artificial Intelligence Pattern Recognition |
| ISBN | 3-540-48522-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Surface shape from the deformation of apparent contours -- Deformation of apparent contours — Implementation -- Qualitative shape from images of surface curves -- Orientation and time to contact from image divergence and deformation -- Conclusions. |
| Record Nr. | UNISA-996465475003316 |
|
Cipolla Roberto
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Activities of Transport Telematics [[electronic resource] ] : 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustron, Poland, October 23--26, 2013. Proceedings / / edited by Jerzy Mikulski
| Activities of Transport Telematics [[electronic resource] ] : 13th International Conference on Transport Systems Telematics, TST 2013, Katowice-Ustron, Poland, October 23--26, 2013. Proceedings / / edited by Jerzy Mikulski |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 488 p. 239 illus.) |
| Disciplina | 003.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computers and civilization
Application software Computer simulation Artificial intelligence Computers and Society Information Systems Applications (incl. Internet) Simulation and Modeling Artificial Intelligence Computer Applications |
| ISBN | 3-642-41647-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Time Dependencies Modelling in Traffic Control Algorithms -- Model of Inference Processes in the Automatic Maritime Communication System -- Microscopic Simulation of the Coordinated Signal Controlled Intersections -- Directions and Benefits of Using Traffic Modelling Software in the Urban Public Transport -- Data Transmission System Architecture for e-Navigation -- Algorithm for Surface Creation from a Cloud of Points. |
| Record Nr. | UNINA-9910437593603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad Hoc Networks [[electronic resource] ] : 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / / edited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan
| Ad Hoc Networks [[electronic resource] ] : 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / / edited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XI, 334 p. 170 illus., 110 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer communication systems
Data structures (Computer science) Computer simulation Artificial intelligence Computer Communication Networks Data Structures and Information Theory Simulation and Modeling Artificial Intelligence |
| ISBN | 3-030-37262-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analyzing Sensor Network Data: A Case of Graph vs Topological Signal Processing -- The 5G Debate in New Zealand: Government Actions and Public Perception Routing -- EL-CRP: An Energy and Location Aware Clustering Routing Protocol in Large Scale Wireless Sensor Networks -- LEERLayer-Based and Energy-Efficient Routing Protocol for Underwater Sensor Networks -- A Routing Void Handling Protocol based on Autonomous Underwater Vehicle for Underwater Acoustic Sensor Networks -- Optimal Packet Size Analysis for Intra-Flow Network Coding Enabled One Hop Wireless Multicast Access Control -- MBA-DbMAC: A Random-Access MAC Protocol for MBAs -- Blockchain-aided Access Control for Secure Communications in Ad Hoc Networks -- Investigating Mobility Robustness in 5G Networks using User-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 Networks Using 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 Wireless and Computational Resource Allocation in Mobile Edge Computing System -- Cooperative Transmission with Power Control in the Hyper-Cellular Network -- Energy-Efficient Power Allocation for Fading Deviceto-Device Channels in Downlink Resource Sharing Communication -- Delay based Wireless Scheduling and Server Assignment for Fog Computing Systems Localization 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 via Single Base Station Using Direction of Arrive Measurement Design and Mobile Tracking Performance of a Retro-Directive Array (RDA) Antenna System -- Miscellaneous Topics in Ad Hoc Networks (I) -- The Effects of Non-Line of Sight (NLOS) Channels on a Highly Mobile User Device -- Multiobjective collaborative beamforming for a distributed satellite cluster via NSGA-II AMP inspired Antenna Activity and Signal Detection Algorithm for Generalized Spatial Modulated NOMA -- A Filtering Dimension Reduction Decoding Algorithm for Underwater Acoustic Networks -- Miscellaneous Topics in Ad Hoc Networks (II) -- A Homology Based Coverage Optimization Algorithm for Wireless Sensor Networks -- Rail Vehicle Fire Warning System Based on Gas Vapor Sensor Network -- Guessing Intrinsic Forwarding Trustworthiness of Wireless Ad Hoc Network Nodes -- Machine Learning Based Smart IoT Gateway on Edge. |
| Record Nr. | UNINA-9910370257903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad Hoc Networks [[electronic resource] ] : 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings / / edited by Yifeng Zhou, Thomas Kunz
| Ad Hoc Networks [[electronic resource] ] : 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings / / edited by Yifeng Zhou, Thomas Kunz |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (X, 217 p. 84 illus.) |
| Disciplina | 004.685 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer communication systems
Application software Electrical engineering Data protection Special purpose computers Computer simulation Computer Communication Networks Information Systems Applications (incl. Internet) Communications Engineering, Networks Security Special Purpose and Application-Based Systems Simulation and Modeling |
| ISBN | 3-319-74439-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Doppler Effect in the Underwater Acoustic Ultra Low Frequency Band -- The Sound of Communication in Underwater Acoustic Sensor Networks -- Applying Utility Theory to Improve Autonomous Underwater Vehicle Mission Payload Planning and Replanning -- Challenges of Misbehavior Detection in Industrial Wireless Networks -- A New Look at an Old Attack: ARP spoofing to create routing loops in ad hoc networks -- Integrating Intrusion Response Funtionality into the MANET Specific Dynamic Intrusion Detection Hierarchy Architecture -- Source Mobility in Vehicular Named-Data Networking: An Overview -- Flow-level Simulation for Adaptive Routing Protocols in Vehicular Ad-hoc Networks -- Control Overhead Reduction In Cluster-Based VANET Routing Protocol -- Ariel Networks and Routing -- A Hierarchical Framework for Estimating the Performance of an Aerial Network -- An Efficient Routing and Interface Assignment Algorithm for Multi-Channel Multi-Interface (MCMI) Ad Hoc Networks -- Exploiting Multiple Beam Antennas for End-to-End Delay Reduction in Ad Hoc Networks -- Trajectory and Buffer Aware Message Forwarding for Multiple Cooperating UAVs in Message Ferry Networks Cellular Networks, Sensor Networks -- Caching and Computing at the Edge for Mobile -- Augmented Reality and Virtual Reality (AR/VR) in 5G -- Evaluation of a Location Reporting System for mmWave Communication -- Fair Scheduling of Two-Hop Transmission with Energy Harvesting -- EEHCCP: An Energy-Efficient Hybrid Clustering Communication Protocol for Wireless Sensor Network -- A model for self-deployment of autonomous mobile sensor network in an unknown indoor environment. |
| Record Nr. | UNINA-9910299292503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad Hoc Networks [[electronic resource] ] : 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers / / edited by Yifeng Zhou, Thomas Kunz
| Ad Hoc Networks [[electronic resource] ] : 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016, Revised Selected Papers / / edited by Yifeng Zhou, Thomas Kunz |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XIV, 416 p. 176 illus.) |
| Disciplina | 004.685 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer communication systems
Computer security Special purpose computers Data protection Computer simulation Electrical engineering Computer Communication Networks Systems and Data Security Special Purpose and Application-Based Systems Security Simulation and Modeling Communications Engineering, Networks |
| ISBN | 3-319-51204-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Management of Surveillance Underwater Acoustic Networks -- Relative Localization for Small Wireless Sensor Networks -- Performance Study of the IEEE 802.15.6 Slotted Aloha Mechanism With Power Control in a Multiuser Environment -- New Selection Strategies of Actor’s Substitute in DARA for Connectivity Restoration in WSANs -- Asymmetric Multi-Way Ranging for Resource-Limited Nodes -- Comparison of RPL Routing Metrics on grids UAV and Vehicular Networks -- Communication and Coordination for Drone Networks 8 Intelligent Wireless AdHoc Routing Protocol and Controller for UAV Networks -- Theoretical Analysis of Obstruction’s influence on Data Dissemination in Vehicular Networks -- Performance Analysis for Traffic-aware Utility in Vehicular Ad Hoc Networks -- Investigation and Adaptation of Signal Propagation Models for a Mixed Outdoor-Indoor Scenario Using a Flying GSM Base Station Modelling and Analysis -- Optimizing Power Allocation in Wireless Networks: Are the Implicit Constraints Really Redundant? -- Towards Dynamic Capacity Management for the Masses -- Distance Distributions in Finite Ad Hoc Networks: Approaches, Applications, and Directions -- Towards More Realistic Network Simulations: Leveraging the System-Call Barrier -- 16 Resource Allocation for Relay-aided Cooperative Hospital Wireless Networks -- Improving the performance of challenged networks with controlled mobility -- SDN Coordination for CCN and FC Content Dissemination -- A Bandwidth Adaptation Scheme for Cloud Radio Access Networks -- Cooperative On-the-Fly Decision Making in Mobility-Controlled Multi Ferry Delay Tolerant Networks -- Multipath Routing Optimization with Interference Consideration in Wireless Ad hoc Network -- An Accurate Passive RFID Indoor Localization System based on SenseaTag and Zoning Algorithm Workshop on practical ad hoc network security and vulnerability -- Communication Links Vulnerability Model for Cyber Security Mitigation -- Entropy-Based Recommendation Trust Model for Machine to Machine Communications -- Reliability, Throughput and Latency Analysis of an Aerial Network -- Gender Assignment for Directional Full-Duplex FDD Nodes in a Multihop Wireless Network -- A Massive MIMO Panel Array at Ka-band with Flexible Patterns and Beam Steering Performance. |
| Record Nr. | UNINA-9910254844103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Adaptation and Learning in Multi-Agent Systems [[electronic resource] ] : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. / / edited by Gerhard Weiß, Sandip Sen
| Adaptation and Learning in Multi-Agent Systems [[electronic resource] ] : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. / / edited by Gerhard Weiß, Sandip Sen |
| Edizione | [1st ed. 1996.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
| Descrizione fisica | 1 online resource (XII, 568 p.) |
| Disciplina | 006.3/1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Programming languages (Electronic computers) Computer simulation Artificial Intelligence Programming Languages, Compilers, Interpreters Simulation and Modeling |
| ISBN | 3-540-49726-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Adaptation and learning in multi-agent systems: Some remarks and a bibliography -- Refinement in agent groups -- Opponent modeling in multi-agent systems -- A multi-agent environment for department of defense distribution -- Mutually supervised learning in multiagent systems -- A framework for distributed reinforcement learning -- Evolving behavioral strategies in predators and prey -- To learn or not to learn ...... -- A user-adaptive interface agency for interaction with a virtual environment -- Learning in multi-robot systems -- Learn your opponent's strategy (in polynomial time)! -- Learning to reduce communication cost on task negotiation among multiple autonomous mobile robots -- On multiagent Q-learning in a semi-competitive domain -- Using reciprocity to adapt to others -- Multiagent coordination with learning classifier systems. |
| Record Nr. | UNISA-996465862003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
- Computer simulation (1525)
-
Simulation and Modeling
(1525)
- Artificial intelligence (529)
- Artificial Intelligence (523)
- Software engineering (367)