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 |
9783319098166
3319098160 |
| 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 |
Natural computation
Groupware (Computer software) |
| ISBN |
9780387096551
0387096558 |
| 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 / / edited by Jyotsna Kumar Mandal, Mike Hinchey, K. Sreenivas Rao
| Innovations in Signal Processing and Embedded Systems : Proceedings of ICISPES 2021 / / edited by Jyotsna Kumar Mandal, Mike Hinchey, K. Sreenivas Rao |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (489 pages) |
| Disciplina | 004.16 |
| Collana | Algorithms for Intelligent Systems |
| Soggetto topico |
Signal processing
Embedded computer systems Computational intelligence Artificial intelligence Signal, Speech and Image Processing Embedded Systems Computational Intelligence Artificial Intelligence |
| ISBN | 981-19-1669-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. E-Voting System Using Blockchain -- Chapter 2. Video-Based Abnormal Driving Behavior Detection and Risk Control using Machine learning -- Chapter 3. Design and Development of IOT Based Women Auspice System by Using NodeMCU -- Chapter 4. Efficient Identity-Based Integrity Auditing for Cloud Storage and Data Sharing -- Chapter 5. High‑Speed 4:2 Compressor Toward Image Processing -- Chapter 6. Double MAC supported CNN Accelerator -- Chapter 7. Hybrid Cryptosystem’s Design with AES and SHA-1 Algorithms -- Chapter 8. BTI Reliability analysis of Low Leakage fully half- Select- Robust free SRAM design -- Chapter 9. Intelligent Traffic Light System Using YOLO -- Chapter 10. An Efficient Implementation of Programmable IIR Filter for FPGA -- Chapter 11. ASIC Implementation of division circuit using reversible logic gates applicable in ALUs -- Chapter 12. Operation of Assymetric Hopfield Associative Memory : Orientation Selectivity -- Chapter 13. Intelligent Traffic Monitoring Systems Using Deep Learning algorithms -- Chapter 14. Multi-Layer Hopfield like Neural Network -- Chapter 15. Applications of Artificial Intelligence for Autonomous Landing and multicopter unmanned aerial vehicles design by space exploration machines. etc. |
| Record Nr. | UNINA-9910627267803321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 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 networks 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 networks Pattern perception 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 |
Logic, Symbolic and mathematical
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 | ||
| ||
Recent Advances in Artificial Intelligence and Smart Applications : Proceedings of RAAISA 2024 / / edited by Jyotsna K. Mandal, Mike Hinchey, Satyajit Chakrabarti
| Recent Advances in Artificial Intelligence and Smart Applications : Proceedings of RAAISA 2024 / / edited by Jyotsna K. Mandal, Mike Hinchey, Satyajit Chakrabarti |
| Autore | Mandal Jyotsna K |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (625 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
HincheyMike
ChakrabartiSatyajit |
| Collana | Lecture Notes in Networks and Systems |
| Soggetto topico |
Artificial intelligence
Computational intelligence Telecommunication Artificial Intelligence Computational Intelligence Communications Engineering, Networks |
| ISBN | 981-9658-22-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Application of Chaotic Map and DNA Encoding for Securing Stereo Audio Data -- 2. Designing an Audio CODEC with Synthesizing Generative Adversarial Networks -- 3. An instant messaging (IM) platform using AI -- 4. Prediction of Groundwater Depth Using Average Rainfall-Groundwater Correlations in Kolkata, India -- 5. Improved IoT Network Real-Time Anomaly Detection A Machine Learning Approach to Boosting Security and Performance -- 6. Leaf Disease Detection Using YOLOv8 -- 7. AI enabled Real-time Next Generation Attendance Monitoring System with Facial Recognition -- 8. Prediction of Gaze Point using Deep Learning and Raspberry Pi. |
| Record Nr. | UNINA-9911022358503321 |
|
Mandal Jyotsna K
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent Advances in Artificial Intelligence and Smart Applications : Proceedings of RAAISA 2023 / / edited by Jyotsna Kumar Mandal, Mike Hinchey, Satyajit Chakrabarti
| Recent Advances in Artificial Intelligence and Smart Applications : Proceedings of RAAISA 2023 / / edited by Jyotsna Kumar Mandal, Mike Hinchey, Satyajit Chakrabarti |
| Autore | Mandal Jyotsna Kumar |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (294 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
HincheyMike
ChakrabartiSatyajit |
| Collana | Innovations in Sustainable Technologies and Computing |
| Soggetto topico |
Computational intelligence
Artificial intelligence User interfaces (Computer systems) Human-computer interaction Virtual reality Augmented reality Computational Intelligence Artificial Intelligence User Interfaces and Human Computer Interaction Virtual and Augmented Reality |
| ISBN |
9789819734856
9819734851 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Contents -- About the Editors -- 1 Multisensor-Based Multitasking Goggles to Reduce Road Accidents -- 1 Introduction -- 2 Objective -- 3 Related Works -- 4 Proposed Methodology -- 5 Results and Discussion -- 6 Conclusion -- References -- 2 Secured Assertive Protocol for Routing in Cloud Network -- 1 Introduction -- 2 Literature Review -- 3 Secured Assertive Protocol for Routing (SAPR) -- 3.1 Mobility Framework -- 3.2 Trust Calculation -- 3.3 Trust-Based Secured Route Discovery Using AES-256 -- 4 About Simulator and Settings -- 5 Experimental Results -- 5.1 Delay and Energy Consumption -- 5.2 Avalanche Effect -- 6 Conclusion -- References -- 3 Efficiency and Benchmarking Using DEA and Tessellation in the Education Sector -- 1 Introduction -- 2 Problem Statement -- 2.1 Background -- 2.2 Data -- 3 Literature Survey |
| Record Nr. | UNINA-9910887801503321 |
|
Mandal Jyotsna Kumar
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
