Post-Quantum Cryptography [[electronic resource] ] : Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010, Proceedings / / edited by Nicolas Sendrier |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (X, 241 p. 27 illus.) |
Disciplina | 005.82 |
Collana | Security and Cryptology |
Soggetto topico |
Data encryption (Computer science)
Computer communication systems Management information systems Computer science Algorithms Computer security Operating systems (Computers) Cryptology Computer Communication Networks Management of Computing and Information Systems Algorithm Analysis and Problem Complexity Systems and Data Security Operating Systems |
ISBN |
1-280-38644-4
9786613564368 3-642-12929-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Cryptanalysis of Multivariate Systems -- Properties of the Discrete Differential with Cryptographic Applications -- Growth of the Ideal Generated by a Quadratic Boolean Function -- Mutant Zhuang-Zi Algorithm -- Cryptanalysis of Two Quartic Encryption Schemes and One Improved MFE Scheme -- Cryptanalysis of Code-Based Systems -- Cryptanalysis of the Niederreiter Public Key Scheme Based on GRS Subcodes -- Grover vs. McEliece -- Information-Set Decoding for Linear Codes over F q -- A Timing Attack against the Secret Permutation in the McEliece PKC -- Practical Power Analysis Attacks on Software Implementations of McEliece -- Design of Encryption Schemes -- Key Exchange and Encryption Schemes Based on Non-commutative Skew Polynomials -- Designing a Rank Metric Based McEliece Cryptosystem -- Secure Variants of the Square Encryption Scheme -- Low-Reiter: Niederreiter Encryption Scheme for Embedded Microcontrollers -- Design of Signature Schemes -- Strongly Unforgeable Signatures and Hierarchical Identity-Based Signatures from Lattices without Random Oracles -- Proposal of a Signature Scheme Based on STS Trapdoor -- Selecting Parameters for the Rainbow Signature Scheme. |
Record Nr. | UNISA-996465880003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Simulation, Modeling, and Programming for Autonomous Robots [[electronic resource] ] : Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010, Proceedings / / edited by Noriako Ando, Stephen Balakirsky, Thomas Hemker, Monica Reggiani, Oskar von Stryk |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XV, 558 p. 264 illus.) |
Disciplina | 629.892 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer simulation User interfaces (Computer systems) Computers Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Simulation and Modeling User Interfaces and Human Computer Interaction Computation by Abstract Devices |
Soggetto genere / forma | Kongress. |
ISBN |
1-280-39050-6
9786613568427 3-642-17319-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Building Blocks for Mobile Manipulation -- Natural Human-Robot Interaction -- Robots and the Human -- The Modelica Object-Oriented Equation-Based Language and Its OpenModelica Environment with MetaModeling, Interoperability, and Parallel Execution -- Simulation -- Blender for Robotics: Integration into the Leuven Paradigm for Robot Task Specification and Human Motion Estimation -- Simulating the C2SM ‘Fast’ Robot -- Extending Open Dynamics Engine for Robotics Simulation -- Virtual Robot Experimentation Platform V-REP: A Versatile 3D Robot Simulator -- Evaluation and Enhancement of Common Simulation Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous Navigation Environment -- GPS/Galileo Testbed Using a High Precision Optical Positioning System -- Validating Vision and Robotic Algorithms for Dynamic Real World Environments -- OpenGRASP: A Toolkit for Robot Grasping Simulation -- NERD Neurodynamics and Evolutionary Robotics Development Kit -- Simulation and Evaluation of Mixed-Mode Environments: Towards Higher Quality of Simulations -- Evaluating a Physics Engine as an Ingredient for Physical Reasoning -- Simulating Vehicle Kinematics with SimVis3D and Newton -- Programming -- Coordinating Software Components in a Component-Based Architecture for Robotics -- Native Robot Software Framework Inter-operation -- Run-Time Management of Component-Based Robot Software from a Command Line -- Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment -- Implementing Automated Robot Task Planning and Execution Based on Description Logic KB -- On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog -- RobustHX - The Robust Middleware Library for Hexor Robots -- RoboComp: A Tool-Based Robotics Framework -- Improving a Robotics Framework with Real-Time and High-Performance Features -- Implementation of Distributed Production System for Heterogeneous Multiprocessor Robotic Systems -- Robot Programming by Demonstration -- Design Principles of the Component-Based Robot Software Framework Fawkes -- Handling Hardware Heterogeneity through Rich Interfaces in a Component Model for Autonomous Robotics -- Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering -- Applications -- Using Simulation to Assess the Effectiveness of Pallet Stacking Methods -- Analysing Mixed Reality Simulation for Industrial Applications: A Case Study in the Development of a Robotic Screw Remover System -- A Parameterless Biologically Inspired Control Algorithm Robust to Nonlinearities, Dead-Times and Low-Pass Filtering Effects -- Exploration Strategies for a Robot with a Continuously Rotating 3D Scanner -- Validating an Active Stereo System Using USARSim -- Performance Analysis for Multi-robot Exploration Strategies -- Dynamic Modeling of the 4 DoF BioRob Series Elastic Robot Arm for Simulation and Control -- Static Balance for Rescue Robot Navigation: Discretizing Rotational Motion within Random Step Environment -- Discovery, Localization and Recognition of Smart Objects by a Mobile Robot -- Simulation for the Optimal Design of a Biped Robot: Analysis of Energy Consumption -- Efficient Use of 3D Environment Models for Mobile Robot Simulation and Localization -- Decision and Coordination Strategies for RoboCup Rescue Agents -- Swarm Dispersion via Potential Fields, Leader Election, and Counting Hops -- Compliant Robot Actuation by Feedforward Controlled Emulated Spring Stiffness -- Different Approaches in Feeding of a Flexible Manufacturing Cell -- On the Stability of Bipedal Walking -- An Approach to Close the Gap between Simulation and Real Robots -- Accelerating Point-Based POMDP Algorithms via Greedy Strategies. |
Record Nr. | UNISA-996465713203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|