{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":2,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":39,"n_cols":5,"rows_kept":39,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[3,2,3,3],[4,2,4,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[11,2,11,3],[11,4,11,5],[12,2,12,3],[12,4,12,5],[13,2,13,3],[13,4,13,5],[14,2,14,3],[15,2,15,3],[17,2,17,3],[18,2,18,3],[19,2,19,3],[20,2,20,3],[21,2,21,3],[32,2,32,3],[33,2,33,3],[35,2,35,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910872634703321"]
[null,null,"Titolo",null,"Computer Security Foundations Workshop VI"]
[null,null,"Pubbl/distr/stampa",null,"[Place of publication not identified], : IEEE Computer Society Press, 1993"]
[null,null,"Descrizione fisica",null,"1 online resource (224 pages)"]
[null,null,"Disciplina",null,"005.8"]
[null,null,"Soggetti",null,"Computer security"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Bibliographic Level Mode of Issuance: Monograph"]
[null,null,null,"Sommario/riassunto","The purpose of the annual Computer Security Foundations Workshop is to bring together researchers to explore fundamental issues in computer security. The emphasis is on formal models that provide a framework for theories of security, and techniques for verifying security as defined by these theories. This volume contains papers presented at the June 1993 Workshop held in Franconia, New Hampshire, as well as position papers for the panels. Topics include covert channel analysis, information flow, integrity and aggregation, access control, and crypto protocol analysis. No index. Annotation copyright by Book News, Inc., Portland, OR."]
[null,"2.","Record Nr.",null,"UNINA9910983069503321"]
[null,null,"Autore",null,"Lan Xuguang"]
[null,null,"Titolo",null,"Intelligent Robotics and Applications : 17th International Conference, ICIRA 2024, Xi'an, China, July 31 – August 2, 2024, Proceedings, Part IX / / edited by Xuguang Lan, Xuesong Mei, Caigui Jiang, Fei Zhao, Zhiqiang Tian"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9789819607891"]
[{"$nulls":4},"9819607892"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (667 pages)"]
[null,null,"Collana",null,"Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 15209"]
[null,null,"Disciplina",null,"006.3"]
[null,null,"Soggetti",null,"Artificial intelligence"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Application software"]
[{"$nulls":4},"User interfaces (Computer systems)"]
[{"$nulls":4},"Human-computer interaction"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Artificial Intelligence"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer and Information Systems Applications"]
[{"$nulls":4},"User Interfaces and Human Computer Interaction"]
[{"$nulls":4},"Computer Communication Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"-- Robotics in Cooperative Manipulation, MultiSensor Fusion, and Multi-Robot Systems. .-Dense Point Cloud Upsampling Method for Coal Mine Tunnels Based on Upsampling.  -- Optimal Strategies for Multiple Agents in Homicidal Chauffeur Reach-Avoid Games via Potential Game-Based Matching.  -- A Novel Mission Planning Method for Multi-robot Collaborative Area Coverage.  -- Layout optimization of a heterogeneous multi-robot system for mirror milling.  -- An Automatic Weighting Decision-making Framework for Trajectory Tracking of the Overactuated UAVs Platform.  -- Multi-sensor Fusion Localization and Terrain Reconstruction for Guided Quadruped Robots.  -- Multi-modal Cooperative Perception of Constrained Multi-UAV Platform.  -- Obstacle Avoidance for Guided Quadruped Robots in Complex "]
[{"$nulls":4},"Environments.  -- Human-machine Co-adaptive Interface.  -- 3D Rock and Pothole Detection in Desert for the Wild Navigation.  -- Learning Adaptive Edge Dual-Graph Convolutional Network for Robust Point Cloud Analysis.  -- AttenS: an Attentive Selection Method for Communication-Efficient Cooperative Perception.  -- An Analytical Inverse Kinematics Optimization Method of 7-DOF anthropomorphic manipulators with joint limits.  -- Event Camera Localization in 3D LiDAR Maps.  -- Enhanced YOLOv8 integrated brain-inspired attention mechanisms for weed detection.  -- Brain-inspired visual language navigation robot position deviation correction.  -- Psychological Conditions Analysis based on Text Detection and Facial Expression Recognition.  -- Integrating Retinex theory for YOLO-based Object Detection in Low-illumination Environments.  -- Remote Sensing Infrared Weak and Small Target Detection Method Based on Improved YOLOv5 and Data Augmentation.  -- Vehicle detection method in foggy weather based on YOLO with human eye mechanisms.  -- Planning, control and application of bionic novel concept robots.  -- A Water Surface Jumping Robot Inspired by the Pygmy Mole Cricket.  -- Real-time Path Planning Under Signal Temporal Logic Specifications in Dynamic Environment.  -- An Enhanced DMP Approach for Robotic Manipulator Autonomous Obstacle Avoidance Using Dynamic Potential Function. .-Free-form Instruction Guided Robotic Navigation Path Planning with Large Vision-Language Model.  -- A Forward Kinematics Solution Method for Cable-Driven Hyper-Redundant Manipulators Based on Self-Attention Mechanism.  -- A Physics-based Simulator for Bi-directional Motor Driven Flapping Wing Micro Air Vehicles.  -- Active disturbance rejection control of telescopic-wing morphing aircraft: Accommodating composite disturbances.  -- Robust Perception for Safe Driving.  -- A Variable Parameter LoD Model Point Cloud Compression Method Based on Attention Mechanism.  -- A Dynamical Systems-Based Peg-in-Hole Assembly Method using Temporal Logic Task Planner.  -- Development of a Multi-channel Wireless Wearable Muscle Oxygen Monitoring Device.  -- A Robust Identification Method for Robot Drive Gains Using a Payload.  -- A Neuromorphic Tactile Perception System Based on Spiking Neural Network for Texture Recognition.  -- Gait Recognition Based on A-Mode Ultrasound and Inertial Sensor Fusion Systems.  -- Motion Planning via Deep Reinforcement Learning and Nerf-Based Layering for Mobile Robots with Different Heights.  -- Structural Design and Motion Analysis of a Wall-Pressing In-Pipe Robot Based on Mecanum Wheels.  -- Brain inspired intelligence for robotics."]
[null,null,null,"Sommario/riassunto","The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi’an, China, during July 31–August 2, 2024. The 321 full papers included in these proceedings were carefully reviewed and selected from 489 submissions. They were organized in topical sections as follows: Part I: Innovative Design and Performance Evaluation of Robot Mechanisms. Part II: Robot Perception and Machine Learning; Cognitive Intelligence and Security Control for Multi-domain Unmanned Vehicle Systems. Part III: Emerging Techniques for Intelligent Robots in Unstructured Environment; Soft Actuators and Sensors; and Advanced Intelligent and Flexible Sensor Technologies for Robotics. Part IV: Optimization and Intelligent Control of Underactuated Robotic Systems; and Technology and application of modular robots. Part V: Advanced actuation and intelligent control in medical robotics: Advancements in Machine Vision for Enhancing Human-Robot Interaction; and Hybrid Decision-making and Control for Intelligent Robots. Part VI: Advances in Marine Robotics; Visual, "]
[{"$nulls":4},"Linguistic, Affective Agents: Hybrid-augmented Agents for Robotics; and Wearable Robots for Assistance, Augmentation and Rehabilitation of human movements. Part VII: Integrating World Models for Enhanced Robotic Autonomy; Advanced Sensing and Control Technologies for Intelligent Human-Robot Interaction; and Mini-Invasive Robotics for In-Situ Manipulation. Part VIII: Robot Skill Learning and Transfer; Human-Robot Dynamic System: Learning, Modelling and Control; AI-Driven Smart Industrial Systems; and Natural Interaction and Coordinated Collaboration of Robots in Dynamic Unstructured Environments. Part IX: Robotics in Cooperative Manipulation, MultiSensor Fusion, and Multi-Robot Systems; Human-machine Co-adaptive Interface; Brain inspired intelligence for robotics; Planning, control and application of bionic novel concept robots; and Robust Perception for Safe Driving. Part X: AI Robot Technology for Healthcare as a Service; Computational Neuroscience and Cognitive Models for Adaptive Human-Robot Interactions; Dynamics and Perception of Human-Robot Hybrid Systems; and Robotics for Rehabilitation: Innovations, Challenges, and Future Directions."]