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.
Applications of Networks, Sensors and Autonomous Systems Analytics : Proceedings of ICANSAA 2020
| Applications of Networks, Sensors and Autonomous Systems Analytics : Proceedings of ICANSAA 2020 |
| Autore | Mandal Jyotsna Kumar |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore Pte. Limited, , 2022 |
| Descrizione fisica | 1 online resource (363 pages) |
| Altri autori (Persone) |
HincheyMike
SenSabyasachi BiswasPapun |
| Collana | Studies in Autonomic, Data-Driven and Industrial Computing Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN |
9789811673054
9789811673047 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- About the Editors -- 1 Application of IoT in Industries: A Survey of Security Concern -- 1 Introduction -- 1.1 Background -- 1.2 Architecture of IoT -- 2 Security Threats in IoT -- 2.1 Security Threats in Sensing Layer -- 2.2 Security Threats in Network Layer -- 2.3 Security Threats in Service Layer -- 2.4 Security Threats in Interface Layer -- 3 Conclusion -- References -- 2 A Survey on Autonomous Vehicles in the Field of Intelligent Transport System -- 1 Introduction -- 2 Domains of Interaction between Autonomous Vehicles and Humans -- 3 Analysis of Using Electronic Gadgets by Pedestrians and Drivers on Roads -- 4 Approaches for Collision Prevention in Autonomous Vehicle Technology Used in Intelligent Transports System -- 5 Context-Based Pedestrian Path Prediction -- 6 Hand, Eye, and Head Patterns at Intersections -- 7 Conclusion -- References -- 3 Decentralized Voting: A Blockchain-Based Voting System -- 1 Introduction -- 1.1 Decentralized Computing Systems -- 1.2 Blockchain -- 1.3 Ethereum -- 1.4 Smart Contacts -- 1.5 Digital Identity Management Using Blockchain-An Approach Towards Self Sovereign Identity -- 2 Literature Review -- 3 Proposed Methodology -- 3.1 Flow of User Registration in Decentralized Voting App -- 3.2 Flow of Admin/Electoral Admin in Decentralized Voting App -- 3.3 Candidate Voting in Decentralized Voting App -- 4 Result Analysis -- 5 Conclusions -- 6 Related Works -- References -- 4 Asymptotic Behaviour for First-Order Difference Equations I -- 1 Introduction -- 2 Sufficient Conditions for Oscillation -- References -- 5 Development of a Framework for Smart Energy Meter Reader Using Image Processing -- 1 Introduction -- 2 Literature Survey -- 3 Architectural Framework -- 4 Description -- 4.1 The Algorithm in the Digit Recognition System -- 5 Implementation and Output -- 6 Conclusion.
References -- 6 Real-Time Air Quality Monitoring System Based on IoT -- 1 Introduction -- 2 Methodology -- 2.1 Hardware Components -- 2.2 Workflow Diagram -- 3 Working Principle -- 4 Result and Discussion -- 5 Conclusion -- 6 Future Scope -- References -- 7 A Comparative Analysis of Sensor-Based Pipe Crack Detection System -- 1 Introduction -- 2 Sensor-Based Methods of Crack Detection -- 3 Comparative Discussion of Various Crack Detection Methods -- 4 Conclusion -- References -- 8 A Two Layer Dynamic Load Balancing Algorithm Applied in Cloud Computing -- 1 Introduction -- 1.1 Cloud Computing -- 1.2 Load Balancing -- 2 Proposed Model -- 3 Result Analysis and Discussion -- References -- 9 Brief Study on the Usage of Smart Meter and Artificial Intelligence in Energy Savings -- 1 Introduction -- 2 Methodology -- 3 Result -- 4 Theoretical Deductions and Discussion -- 5 Conclusion -- References -- 10 Application of Blockchain in Healthcare Especially to Fight Against COVID-19-A Survey -- 1 Introduction -- 1.1 What is COVID-19? -- 1.2 Mechanism of Fast Affecting Peoples all Over the World -- 1.3 What is Blockchain Technology? [3] -- 2 What are the Involvements of Blockchain Technology in Healthcare [4] -- 2.1 Management of Medical Information -- 2.2 Evolution in the Medicine-Industry -- 2.3 Medical Tribunals -- 2.4 Safety of Information -- 2.5 Main Challenges of the Pandemic -- 3 Influence of Blockchain Technology in Stopping the COVID-19 [8-10] -- 3.1 Tracing in Spreading of Communicable Illnesses -- 3.2 Contributions Tracing -- 3.3 Crisis Management -- 3.4 Securing Medical Supply Chains -- 3.5 Sharing of Data -- 4 Blockchain Technology Adopted by the World Health Organization and Other Popular Companies to Compete with this Pandemic [1] -- 5 Conclusion -- References -- 11 A Novel Approach to Microgrid Fault Detection Using Empirical Mode Decomposition. 1 Introduction -- 1.1 Background -- 1.2 Microgrid System -- 1.3 Power System Faults -- 2 Literature Survey -- 3 Architecture of the Proposed Fault Diagnosis Approach -- 3.1 Process -- 4 Results -- 5 Conclusion -- References -- 12 Approximate computing: Error Tolerant Adder -- 1 Introduction -- 2 Brief Overview on Error Tolerant -- 3 Block Diagram -- 4 Functional Operation -- 5 Mathematical Deduction -- 6 Calculation of Accurate Section -- 7 Calculation of Inaccurate Section -- 8 Traditional Computing -- 9 Comparison and Selection -- 10 Advantages of Approximate Computing -- 11 Conclusion -- References -- 13 A Low-Latency Scheme Using Real-Time Constraints for V2V Communication in VANET -- 1 Introduction -- 2 Literature Survey -- 3 Present Work -- 3.1 Message Format -- 3.2 Generator Function -- 3.3 Checking Function -- 3.4 Message Interpreter -- 4 Conclusion -- References -- 14 Loopbeat-A Novel Technical Approach to Enhance the Home Automation Ability of a NodeMCU Using Demultiplexer ICs and 555 Timer ICs with Cloud-Based Remote Access -- 1 Introduction -- 2 Literature Survey -- 3 Methodology -- 3.1 Cloud Implementation -- 3.2 Software Implementation -- 3.3 Hardware Implementation -- 4 Results and Discussions -- 5 Conclusions -- References -- 15 Prediction of Stock Price Using Machine Learning -- 1 Introduction -- 2 Related Works -- 2.1 Background Study -- 2.2 Brief Description of Used Algorithm -- 3 Literature Review -- 4 Process Involved -- 5 Result Analysis -- 5.1 Visualizing Data -- 5.2 Forecasting Result by Each algorithm -- 5.3 Obtained Accuracy by Each Algorithm -- 6 Conclusions -- 7 Future Scope -- References -- 16 Encryption and Error Control in Satellite Images Using Linear Block Code -- 1 Introduction -- 2 Methodology -- 3 Result -- 4 Conclusion -- References -- 17 A Fundamental Review on Hyperspectral Segmentation Algorithms. 1 Introduction -- 2 Remote Sensing in Digital Image Processing -- 3 Segmentation in Hyperspectral Images -- 4 Conclusion -- References -- 18 A Decision Support System for Big Data Analytics Integrated Internet of Things-Based Condition Monitoring System of Transformers Fleet -- 1 Introduction -- 2 Materials and Methods -- 2.1 Data Reduction -- 2.2 Weight Assessment of Attributes -- 2.3 Score Aggregation and Ranking of Attributes -- 2.4 Centrality Estimators -- 2.5 Data Pre-Processing -- 3 Proposed Framework -- 3.1 IoT-BDA-Based CMS Architecture -- 3.2 MCDM Aggregation Engine -- 4 Implementation and Results -- 4.1 Data Pre-Processing -- 4.2 Data Reduction -- 4.3 Weight Assessment -- 4.4 Aggregation of Scores -- 4.5 Fusion of Scores and Ranking -- 5 Conclusion -- References -- 19 A Machine Learning Approach to Predict Disease for Accurate Diagnosis -- 1 Introduction -- 2 Literature Survey -- 3 Methodology -- 3.1 Dataset Description -- 3.2 Feature Engineering and Data Visualisation -- 3.3 k-NN Used for Classification -- 4 Result and Discussion -- 5 Conclusion -- References -- 20 Rotogravure Printing Band Analysis with the Help of Machine Learning -- 1 Introduction -- 2 Literature Survey -- 3 Methodology and Implementation -- 4 Result and Discussions -- 5 Conclusions -- References -- 21 Remote Health Support for a Person with Probable High Risk of COVID-19 Under Machine Learning Framework -- 1 Introduction -- 2 Proposed Model -- 3 Result Analysis and Discussion -- 4 Conclusion -- References -- 22 Credit Card Fraud Detection Using Soft Computing -- 1 Materials and Methods -- 2 Experiment -- 3 Results and Analysis -- 4 Conclusion -- References -- 23 Deep Learning-Based Approach Using Word and Character Embedding for Named Entity Recognition from Hindi-English Tweets -- 1 Introduction -- 2 Background and Related Work -- 3 Proposed Approach. 3.1 Training Phase -- 3.2 Testing Phase -- 4 Dataset and Experimental Results -- 5 Result Analysis and Comparison -- 6 Conclusion -- References -- 24 A Survey on COVID-19 Case Analysis Using Machine Learning -- 1 Introduction -- 2 Literature Review -- 3 Comparative Analysis -- 4 Analysis on COVID-19 Patient -- 5 Conclusion -- References -- 25 An Intelligent Approach for Detecting COVID-19 Probability -- 1 Introduction -- 2 Background Study -- 3 Methodology -- 4 Result and Analysis -- 5 Conclusion -- References -- 26 Fuzzy Model for Evaluating Water Quality of Ganga During Durga Puja -- 1 Introduction -- 2 Study Area -- 3 Methodology -- 4 Results and Discussions -- 5 Conclusions -- References -- 27 Vehicle License Plate Image Preprocessing Strategy Under Fog/Hazy Weather Conditions -- 1 Introduction -- 2 Proposed Preprocessing Technique -- 2.1 Description -- 3 Validation -- 4 Conclusions -- 5 Future Works -- References -- 28 Performance Analysis of Hetero-Junction Dielectric TFETs -- 1 Introduction -- 2 Methodology -- 3 Results and Discussions -- 4 Conclusion -- References -- 29 Thermal Entanglement of a Spin-1/2 Transverse Ising Model-Heisenberg Model on a Balanced DNA Helix -- 1 Introduction -- 2 Theoretical Background -- References -- 30 PID Control Parameter Tuning Using Linear Multivariate Model -- 1 Introduction -- 2 PID Controller -- 3 Plant Model -- 4 Partial Least Square Regression -- 5 Simulation -- 6 Results and Discussions -- 6.1 Modeling of Kp -- 6.2 Modeling of Kd -- 6.3 Modeling of Ki -- 6.4 Validation, Calibration, and Prediction of PLSR -- 7 Conclusion -- References -- 31 The Effects of Metal Ion Doped Ceramic Fillers into Poly (Vinylidene Fluoride) Matrix: A Comparative Investigation and Its Application in Micro-Electronics Industry -- 1 Introduction -- 2 Experimental Procedure -- 2.1 Materials -- 2.2 Methodology. 2.3 Investigating Instruments. |
| Record Nr. | UNINA-9910510539103321 |
Mandal Jyotsna Kumar
|
||
| Singapore : , : Springer Singapore Pte. Limited, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Autonomy Requirements Engineering for Space Missions / / by Emil Vassev, Mike Hinchey
| Autonomy Requirements Engineering for Space Missions / / by Emil Vassev, Mike Hinchey |
| Autore | Vassev Emil |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (260 p.) |
| Disciplina | 629.1 |
| Collana | NASA Monographs in Systems and Software Engineering |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Artificial Intelligence Software Engineering Models and Principles |
| ISBN | 3-319-09816-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- Acknowledgements -- Software Engineering for Aerospace- State of the Art -- Handling Autonomy Requirements for ESA Systems -- Autonomy Requirements Engineering -- Verification and Validation of Autonomy Requirements -- Requirements for Cognitive Capabilities of UAS.- ASSL Specification of Voyager Image-Processing Behaviour -- BepiColumbo Autonomy Requirements Specification with KnowLang.- Glossary -- Index. |
| Record Nr. | UNINA-9910298985303321 |
|
Vassev Emil
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy / / edited by Mike Hinchey ... [et al.]
| Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy / / edited by Mike Hinchey ... [et al.] |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | New York, : Springer, 2008 |
| Descrizione fisica | 1 online resource (XII, 246 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | HincheyMike |
| Collana | International Federation for Information Processing |
| Soggetto topico |
Biologically-inspired computing
Groupware (Computer software) |
| ISBN | 0-387-09655-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Presentations -- Swarm Robotics: The Coordination of Robots via Swarm Intelligence Principles -- Immuno-engineering -- Inspiration Based on Insect Behaviors -- Heuristics for Uninformed Search Algorithms in Unstructured P2P Networks Inspired by Self-Organizing Social Insect Models -- Congestion Control in Ant Like Moving Agent Systems -- Resource-Aware Clustering of Wireless Sensor Networks Based on Division of Labor in Social Insects -- Sensors, Actuators and Networks -- Self-stabilizing Automata -- Experiments with Biologically-Inspired Methods for Service Assignment in Wireless Sensor Networks -- Robotics and Multi-Agent Systems -- Evolving Collision Avoidance on Autonomous Robots -- Local Strategies for Connecting Stations by Small Robotic Networks -- Measurement of Robot Similarity to Determine the Best Demonstrator for Imitation in a Group of Heterogeneous Robots -- Distributed Fault-Tolerant Robot Control Architecture Based on Organic Computing Principles -- Immunocomputing and Biological-Inspiration -- Intrusion Detection via Artificial Immune System: a Performance-based Approach -- Immuno-repairing of FPGA designs -- An Organic Computing Approach to Sustained Real-time Monitoring -- Applications -- A Case Study in Model-driven Synthetic Biology -- Image Segmentation by a Network of Cortical Macrocolumns with Learned Connection Weights -- Integrating Emotional Competence into Man-Machine Collaboration -- Hardware Issues -- Self-optimized Routing in a Network on-a-Chip -- On Robust Evolution of Digital Hardware -- Collaboration -- A Model of Self-Organizing Collaboration -- Guiding Exploration by Combining Individual Learning and Imitation in Societies of Autonomous Robots. |
| Record Nr. | UNINA-9910484317603321 |
| New York, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Innovations in signal processing and embedded systems : proceedings of ICISPES 2021 / / Jyotsna Kumar Mandal, Mike Hinchey and K. Sreenivas Rao, editors
| Innovations in signal processing and embedded systems : proceedings of ICISPES 2021 / / Jyotsna Kumar Mandal, Mike Hinchey and K. Sreenivas Rao, editors |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore Pte Ltd., , [2023] |
| Descrizione fisica | 1 online resource (489 pages) |
| Disciplina | 004.16 |
| Collana | Algorithms for intelligent systems |
| Soggetto topico |
Signal processing - Digital techniques
Artificial intelligence Embedded computer systems |
| ISBN | 981-19-1669-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- About the Editors -- E-Voting System Using Blockchain -- 1 Introduction -- 2 Existing Method -- 2.1 Paper Ballots -- 2.2 E-Voting -- 2.3 I-Voting -- 3 Proposed System -- 4 Architecture -- 5 Components of Proposed System -- 5.1 Client Browser, Metamask, Ganache -- 6 Results -- 7 Conclusion -- 8 Future Work -- References -- Video-Based Abnormal Driving Behavior Detection and Risk Control Using Machine Learning -- 1 Introduction -- 2 Literature Survey -- 3 Proposed Method -- 4 Methodology -- 5 Algorithm -- 6 Results -- 7 Conclusion -- References -- Design and Development of IoT-Based Women Auspice System by Using NodeMCU -- 1 Introduction -- 2 Related Work -- 3 Existing Method -- 4 Proposed Method -- 5 Materials and Method -- 6 Working Methodology -- 7 Experimental Results -- 8 Conclusion -- 9 Future Scope -- References -- Efficient Identity-Based Integrity Auditing for Cloud Storage and Data Sharing -- 1 Introduction -- 2 Literature Survey -- 3 Feasibility Study -- 4 Proposed Scheme -- 5 Results -- 6 Conclusion and Future Scope -- References -- High‑speed 4:2 Compressor Toward Image Processing -- 1 Introduction -- 2 Suggested FULL ADDER Unit -- 3 Simulation Setup -- 4 Simulation Results Assessment and Comparison -- 5 Conclusion -- References -- Double MAC Supported CNN Accelerator -- 1 Introduction -- 2 Existing System -- 2.1 CNN Accelerator -- 2.2 Related Work -- 3 Proposed System -- 3.1 Proposed Double MAC Architecture -- 3.2 SIMD Multiplication of Unsigned Numbers -- 3.3 Accumulation and Double MAC Architecture -- 4 CNN Accelerator Based on Double MAC -- 5 Results -- 5.1 Modified DSP Block with Double MAC -- 5.2 RTL Schematic of CNN Accelerator -- 5.3 Timing Report -- 6 Conclusion -- References -- Hybrid Cryptosystem's Design with AES and SHA-1 Algorithms -- 1 Introduction -- 2 Literature Review.
3 Proposed System -- 4 Methodology -- 5 Xilinx ISE -- 6 FPGA -- 6.1 FPGA Basics -- 7 Results -- 8 Conclusion -- References -- BTI Reliability Analysis of Low Leakage Fully Half-Select-Robust Free SRAM Design -- 1 Introduction -- 2 Existing Design -- 3 Proposed System -- 4 Results and Comparison -- 5 Conclusion -- References -- Intelligent Traffic Light System Using YOLO -- 1 Introduction -- 2 Work Flow -- 3 Database and Experimental Setup -- 4 Experimental Results -- 5 Conclusion -- References -- An Efficient Implementation of Programmable IIR Filter for FPGA -- 1 Introduction -- 1.1 Introduction to FPGA -- 2 Proposed Work -- 3 Simulation Result -- 4 Comparative Analysis -- 5 Conclusion -- References -- ASIC Implementation of Division Circuit Using Reversible Logic Gates Applicable in ALUs -- 1 Introduction -- 2 Proposed Model -- 3 Results Obtained for 32-Bit Division Circuit Employing Reversible Logic Gates -- 4 Conclusions -- References -- Operation of Asymmetric Hopfield Associative Memory: Orientation Selectivity -- 1 Introduction -- 2 State of the Art -- 3 Left Stable States, Right Stable States: Asymmetric Hopfield Neural Network -- 4 Programming of a Asymmetric Hopfield Neural Network -- 5 Associative Memory Architecture: HAM, AHNN Interconnection -- 6 Numerical Results -- 7 Conclusions -- References -- Intelligent Traffic Monitoring Systems Using Deep Learning Algorithms -- 1 Introduction -- 2 Related Work -- 3 Proposed DL Architecture -- 3.1 Establishment of Deep Learning Model Using CNN and LSTM -- 4 Implementation of DL Model -- 4.1 Parallel Training for DL Model -- 5 Performance Evaluation -- 6 Conclusion -- 7 Future Work -- References -- Multi-layer Hopfield Like Neural Network -- 1 Introduction -- 2 Review of Related Research Literature -- 2.1 Significance of Connectivity Structure -- 2.2 Biological Motivation. 3 Multi-layer Hopfield Associative Memory -- 3.1 Incremental Expansion of ANN -- 3.2 Modes of Operation of Multi-layer Hopfield Like Neural Network -- 3.3 Application Significance of Proposed ANN -- 4 Numerical Results -- 5 Conclusions -- References -- Applications of Artificial Intelligence for Autonomous Landing and Multicopter Unmanned Aerial Vehicles Design by Space Exploration Machines -- 1 Introduction -- 1.1 Artificial Intelligence -- 1.2 Landing System -- 2 Applications of Artificial Intelligence in Landing -- 3 How Autonomous Landing by Using Artificial Intelligence Changes the Future -- 4 Conclusion -- References -- Automated Skin Disease Detection Using Machine Learning Techniques -- 1 Introduction -- 2 Review of Literature -- 3 Design Requirements for Hybrid Skin Disease Detection System -- 3.1 System Architecture -- 4 General Framework for of the Skin Disease Detection System -- 5 Methodology -- 5.1 K-Nearest Neighbor -- 6 Performance Metrics -- 6.1 Accuracy -- 6.2 Precision -- 6.3 Recall -- 6.4 F1-Score -- 7 Result and Discussion -- 8 Conclusion -- References -- FinFET-Based SRAM Design Using MGDI Technique for Ultra-Low-Power Applications -- 1 Introduction -- 2 CMOS Inverter Design Using GDI -- 2.1 DC Analysis -- 2.2 Transfer Characteristics -- 2.3 Static Power -- 2.4 Total Power -- 3 GDI SRAM Design -- 3.1 Read and Write Operation of GDI SRAM -- 3.2 Power Analysis -- 4 Modified Gate Diffused Input FinFET (M-GDI)-Based SRAM -- 4.1 DC Analysis -- 4.2 Power Analysis -- 5 Design of FinFET-Based MGDI 6T SRAM -- 5.1 Power Analysis -- References -- Design and Implementation of Efficient Counter-Based IoT DDoS Attacks Detection System Using Machine Learning -- 1 Introduction -- 2 Internet of Things (IoT) -- 2.1 Authentication for IoT Devices -- 2.2 DDoS Attacks Detection. 3 Internet of Things DDoS Attack Detection System Using Machine Learning -- 3.1 Methodology -- 3.2 IoT Devices -- 3.3 Data Preprocessing -- 3.4 Normalization -- 3.5 Feature Extraction -- 3.6 Feature Selection -- 3.7 Cross Validation -- 3.8 Machine Learning Methods -- 4 Results -- 5 Conclusion -- References -- Advancements of Artificial Intelligence in Microbiological Study by Extraction and Identification of Different Micro-organism Clusters -- 1 Introduction -- 2 Machine Learning Processes -- 3 Deep Learning Processes -- 4 AI Interventions in Microbiology -- 4.1 Study of Relation Between Human Health and Microorganisms -- 4.2 Extraction of a Microorganism Cluster from a Community of Different Microbial Species -- 4.3 Identification of Different Bacterial Species in Food -- 4.4 Identifying Nosocomial Infection in Hospitals -- 4.5 Identifying Bacteriophages in Metagenomic Bins and Contigs -- 4.6 Antiviral Peptides (AVP) -- 4.7 Identifying Tuberculosis Using Convolutional Neural Networks -- 4.8 Creating Drugs Capable of Killing Antibiotic Resistance Pathogens -- 4.9 AI in Fighting COVID-19 Pandemic -- 5 Conclusion -- References -- Rice Disease Detection and Classification Using Artificial Intelligence -- 1 Introduction -- 2 Classification of Rice Diseases -- 3 Related Work -- 4 Methodology -- 5 Results and Discussion -- 6 Conclusion -- References -- Network Intrusion Detection Using Machine Learning for Virtualized Data -- 1 Introduction -- 2 Network Intrusion Detection System -- 2.1 Support Vector Machine -- 2.2 Naive Bayes -- 3 Network Intrusion Detection Using Machine Learning -- 3.1 Attack Flows -- 3.2 Pre-processing -- 3.3 Feature Selection -- 3.4 Feature Reduction Using CfsSubsetEval -- 3.5 SVM Classification -- 3.6 Naïve Bayes Classification -- 4 Results -- 5 Conclusion -- References. Detection of Human Behavior Using Swarm Technique and Neural Networks -- 1 Introduction -- 2 Related Work -- 3 Particle Swarm Method Using ANN -- 4 Results and Discussion -- 5 Conclusion -- References -- Machine Learning-Based Approach for Classification of Weed Images -- 1 Introduction -- 2 Literature Survey -- 3 Methodologies -- 4 Results -- 5 Conclusion -- References -- Intelligence Speech Has Collapsed and Talking Unconsciously Circumstance Using Diva Module -- 1 Introduction -- 1.1 DIVA Module -- 2 Existing Method -- 2.1 Matching Pursuit Algorithm -- 2.2 Problem Finding of Existing Method -- 2.3 Experimental Tools -- 3 Proposed System -- 3.1 Problem Finding of Proposed Method -- 3.2 Description of ICA Analysis -- 3.3 Implementation of Eeglab -- 3.4 Path Setup to EEGLAB -- 4 Execution Results -- 5 Simulation Result for Denoising Signal -- 5.1 Output Graphs of Denoising Signal -- 6 Conclusion and Future Scope -- References -- A Wavelet-Based De-Noising Speech Signal Performance with Objective Measures -- 1 Introduction -- 2 Literature Survey -- 2.1 Weiner Filtering -- 2.2 Wavelet Transform -- 2.3 Discrete Wavelet Transform -- 2.4 Speech Quality Measures -- 2.5 The Weighted Spectral Slope Measure (WSSM) -- 3 Existing Method -- 4 Proposed Method -- 4.1 Algorithm -- 4.2 DWT Decomposition -- 4.3 Algorithm -- 4.4 Speech Corpus -- 4.5 Windowing Technique -- 5 Results and Discussion -- 5.1 Experiment results: Speech signal input 1: Characteristics -- 6 Conclusion and Future Scope Conclusion -- References -- Multispectral Image Compression Using Adaptive Thresholding in Wavelet Domain with Binary Plane Techniques -- 1 Introduction -- 2 Related Work -- 3 Proposed Approach -- 4 Experimental Setup Results -- 5 Conclusion and Future Scope -- References -- Privacy Ensured Transmission of Healthcare Records Using IoT-Enabled Systems -- 1 Introduction. 2 Literature Survey. |
| Record Nr. | UNINA-9910627267803321 |
| Singapore : , : Springer Nature Singapore Pte Ltd., , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Innovative Concepts for Agent-Based Systems [[electronic resource] ] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / / edited by Walt Truszkowski, Chris Rouff, Mike Hinchey
| Innovative Concepts for Agent-Based Systems [[electronic resource] ] : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / / edited by Walt Truszkowski, Chris Rouff, Mike Hinchey |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 482 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Computer communication systems Software engineering User interfaces (Computer systems) Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Science, general Computer Communication Networks Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-540-45173-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentation -- A Personalizable Agent for Semantic Taxonomy-Based Web Search -- Adaptation and Learning -- AlphaWolf: Social Learning, Emotion and Development in Autonomous Virtual Agents -- Control and Behavior of a Massive Multi-agent System -- Developing Agents Populations with Ethogenetics -- Distributed Coordination of Resources via Wasp-Like Agents -- Homo Egualis Reinforcement Learning Agents for Load Balancing -- Experimental Swarm Design -- Learning in the Broker Agent -- Agent-Based Software Engineering -- The CoABS Grid -- Agent Based Approach to Service Description and Composition -- Intelligent Software Agents Technology at the Air Force Research Laboratory -- Testing and Monitoring Intelligent Agents -- Wireless Agents in Ad Hoc Networks -- Towards Complex Team Behavior in Multi-agent Systems Using a Commercial Agent Platform -- Creating Context-Aware Software Agents -- Agent Architectures -- An Evaluation of Philosophical Agent Architectures for Mission Robustness -- Considering Hierarchical Hybrid Systems for Intelligent Animated Agents -- Reasonable Machines: Analogical Reasoning in Autonomous Agent Design -- Seven Days in the Life of a Robotic Agent -- Communication and Coordination -- In Search of Simple and Responsible Agents -- Exploiting Reusable Knowledge to Enhance Multi-agents Capabilities: Explorations with Data Model and Glossary Repositories -- Communication and Coordination Support for Mobile, Transient and Distributed Agent Applications -- Where Should Complexity Go? Cooperation in Complex Agents with Minimal Communication -- Ontology Negotiation: How Agents Can Really Get to Know Each Other -- An Extended Bayesian Belief Network Model of Multi-agent Systems for Supply Chain Managements -- Agent Communication in DAML World -- Semantic Resolution for E-commerce -- An Approach to Knowledge Exchange and Sharing between Agents -- Learning Communication for Multi-agent Systems -- Innovative Applications -- Biological Analogs and Emergent Intelligence for Control of Stratospheric Balloon Constellations -- Cooperative Agents and the Search for Extraterrestrial Life -- Agents Making Sense of the Semantic Web -- Generic Agent Architecture for Embedded Intelligent Systems -- Poster Presentations -- Agents with Several Bodies -- Automatic Code Writing Agent -- The Agentcities Initiative: Connecting Agents Across the World -- Use of Ontology for Virtual Humans -- Person Perception for Social Agents: Research on Outfitting Social Agents with a Facial Trait Perception System -- Adapting Agent Infrastructure for Models of Human Agency -- Panel Reports -- Evolution of Agent Architectures -- Panel Discussion on Ontologies. |
| Record Nr. | UNISA-996465320503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / / edited by Walt Truszkowski, Chris Rouff, Mike Hinchey
| Innovative Concepts for Agent-Based Systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002. Revised Papers / / edited by Walt Truszkowski, Chris Rouff, Mike Hinchey |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (X, 482 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer science Computer communication systems Software engineering User interfaces (Computer systems) Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Computer Science, general Computer Communication Networks Software Engineering User Interfaces and Human Computer Interaction |
| ISBN | 3-540-45173-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Presentation -- A Personalizable Agent for Semantic Taxonomy-Based Web Search -- Adaptation and Learning -- AlphaWolf: Social Learning, Emotion and Development in Autonomous Virtual Agents -- Control and Behavior of a Massive Multi-agent System -- Developing Agents Populations with Ethogenetics -- Distributed Coordination of Resources via Wasp-Like Agents -- Homo Egualis Reinforcement Learning Agents for Load Balancing -- Experimental Swarm Design -- Learning in the Broker Agent -- Agent-Based Software Engineering -- The CoABS Grid -- Agent Based Approach to Service Description and Composition -- Intelligent Software Agents Technology at the Air Force Research Laboratory -- Testing and Monitoring Intelligent Agents -- Wireless Agents in Ad Hoc Networks -- Towards Complex Team Behavior in Multi-agent Systems Using a Commercial Agent Platform -- Creating Context-Aware Software Agents -- Agent Architectures -- An Evaluation of Philosophical Agent Architectures for Mission Robustness -- Considering Hierarchical Hybrid Systems for Intelligent Animated Agents -- Reasonable Machines: Analogical Reasoning in Autonomous Agent Design -- Seven Days in the Life of a Robotic Agent -- Communication and Coordination -- In Search of Simple and Responsible Agents -- Exploiting Reusable Knowledge to Enhance Multi-agents Capabilities: Explorations with Data Model and Glossary Repositories -- Communication and Coordination Support for Mobile, Transient and Distributed Agent Applications -- Where Should Complexity Go? Cooperation in Complex Agents with Minimal Communication -- Ontology Negotiation: How Agents Can Really Get to Know Each Other -- An Extended Bayesian Belief Network Model of Multi-agent Systems for Supply Chain Managements -- Agent Communication in DAML World -- Semantic Resolution for E-commerce -- An Approach to Knowledge Exchange and Sharing between Agents -- Learning Communication for Multi-agent Systems -- Innovative Applications -- Biological Analogs and Emergent Intelligence for Control of Stratospheric Balloon Constellations -- Cooperative Agents and the Search for Extraterrestrial Life -- Agents Making Sense of the Semantic Web -- Generic Agent Architecture for Embedded Intelligent Systems -- Poster Presentations -- Agents with Several Bodies -- Automatic Code Writing Agent -- The Agentcities Initiative: Connecting Agents Across the World -- Use of Ontology for Virtual Humans -- Person Perception for Social Agents: Research on Outfitting Social Agents with a Facial Trait Perception System -- Adapting Agent Infrastructure for Models of Human Agency -- Panel Reports -- Evolution of Agent Architectures -- Panel Discussion on Ontologies. |
| Record Nr. | UNINA-9910143886103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nature of Computation and Communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / / edited by Phan Cong Vinh, Emil Vassev, Mike Hinchey
| Nature of Computation and Communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / / edited by Phan Cong Vinh, Emil Vassev, Mike Hinchey |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIII, 371 p. 150 illus.) : online resource |
| Disciplina | 519.5 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Artificial intelligence
Computer communication systems Pattern recognition Computers Database management Optical data processing Artificial Intelligence Computer Communication Networks Pattern Recognition Theory of Computation Database Management Image Processing and Computer Vision |
| ISBN | 3-319-15392-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modular Design and Verification of Distributed Adaptive Real-Time Systems -- Modeling Swarm Robotics with Know Lang -- Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- Categorical Structures of Self-Adaptation in Collective Adaptive Systems -- Self-Adaptive Traits in Collective Adaptive Systems -- A Context-Aware Traffic Engineering Model for Software-Defined Networks -- Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams Reconstructing low degree triangular parametric surfaces based on inverse Loop subdivision -- Maximizing the lifetime of wireless sensor networks with the base station location -- An Application of PCA on Uncertainty of Prediction -- Co-modeling: an agent-based approach to support the coupling of heterogeneous models -- Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments -- Security Aspects of Cloud Based Mobile Health Care Application Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies -- Development the method for Optimizing Cost of Software Quality Assurance based on Regression-based Model -- Un-normalized and random walk hypergraph Laplacian un-supervised learning. |
| Record Nr. | UNINA-9910299233403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Provably Correct Systems / / edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
| Provably Correct Systems / / edited by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XV, 328 p. 84 illus., 48 illus. in color.) |
| Disciplina | 005.131 |
| Collana | NASA Monographs in Systems and Software Engineering |
| Soggetto topico |
Mathematical logic
Computer logic Computers Computer programming Mathematical Logic and Formal Languages Logics and Meanings of Programs Models and Principles Programming Techniques |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. |
| Record Nr. | UNINA-9910254826303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
SOFSEM 2017: Theory and Practice of Computer Science [[electronic resource] ] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
| SOFSEM 2017: Theory and Practice of Computer Science [[electronic resource] ] : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 526 p. 109 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Information storage and retrieval systems Application software Software engineering Computer networks Artificial intelligence Information Storage and Retrieval Computer and Information Systems Applications Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-319-51963-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. |
| Record Nr. | UNISA-996465736303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
| SOFSEM 2017: Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings / / edited by Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 526 p. 109 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Information storage and retrieval systems Application software Software engineering Computer networks Artificial intelligence Information Storage and Retrieval Computer and Information Systems Applications Software Engineering Computer Communication Networks Artificial Intelligence |
| ISBN | 3-319-51963-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependable and Optimal Cyber-Physical Systems -- Verifying Parametric Thread Creation -- Network Constructors: A Model for Programmable Matter -- Logical characterisations and compositionality of input-output conformance simulation -- A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories -- Symbolic semantics for multiparty interactions in the link-calculus -- Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs -- Deciding structural liveness of Petri nets -- Distributed Network Generation based on Preferential Attachment in ABS -- Completeness of Hoare Logic Relative to the Standard Model -- Configuration- and Residual-Based Transition Systems for Event Structures with Asymmetric Conflict -- Hardness of deriving invertible sequences from finite state machines -- A Graph-theoretical Characterisation of State Separation -- Selfish Transportation Games -- Decomposable Relaxation for Concurrent Data Structures -- Sufficient Conditions for a Connected Graph to have a Hamiltonian Path -- Enumerating Minimal Tropical Connected Sets -- Bamboo Garden Trimming Problem (Perpetual maintenance of machines with different attendance urgency factors) -- Exact quantum query complexity of EXACT_{k,l}^n -- Adjacent vertices can be hard to find by quantum walks -- Matrix semigroup freeness problems in SL(2,Z) -- Order-preserving 1-string representations of planar graphs -- How to Draw a Planarization -- Finding Largest Common Substructures of Molecules in Quadratic Time -- Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints -- Parameterized and Exact Algorithms for Class Domination Coloring -- The Approximability of Partial Vertex Covers in Trees -- Longest Common Subsequence in at Least k Length Order-isomorphic Substrings -- Computing longest single-arm-gapped palindromes in a string -- Edit-Distance between Visibly Pushdown Languages -- Trends and Challenges in Predictive Analytics -- Model-driven Development in Practice: From Requirements to Code -- Webpage Menu Detection Based on DOM -- A Hybrid Model for Linking Multiple Social Identities across Heterogeneous Online Social Networks -- Eco Data Warehouse Design Through Logical Variability -- On Featured Transition Systems -- Domain-Specific Languages: A Systematic Mapping Study -- Characterising Malicious Software with High-Level Behavioural Patterns -- AErlang at work -- Software Systems Migration towards Cloud-native Architectures for SME-sized Software Vendors -- Using n-grams for the Automated Clustering of Structural Models. |
| Record Nr. | UNINA-9910484047003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
