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.
Effective robotics programming with ROS : find out everything you need to know to build powerful robots with the most up-to-date ROS / / Anil Mahtani [and three others]
| Effective robotics programming with ROS : find out everything you need to know to build powerful robots with the most up-to-date ROS / / Anil Mahtani [and three others] |
| Autore | Mahtani Anil |
| Edizione | [Third edition.] |
| Pubbl/distr/stampa | Birmingham, England ; ; Mumbai, [India] : , : Packt, , 2016 |
| Descrizione fisica | 1 online resource (469 pages) |
| Disciplina | 629.89251 |
| Soggetto topico |
Robots - Programming
Robotics |
| ISBN | 1-78646-137-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910157529103321 |
Mahtani Anil
|
||
| Birmingham, England ; ; Mumbai, [India] : , : Packt, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Indoor scene recognition by 3-D object search : for robot programming by demonstration / / Pascal Meißner
| Indoor scene recognition by 3-D object search : for robot programming by demonstration / / Pascal Meißner |
| Autore | Meißner Pascal |
| Edizione | [1st edition 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xix, 262 pages) : illustrations (some color) |
| Disciplina |
629.89251
629.892 |
| Collana | Springer Tracts in Advanced Robotics |
| Soggetto topico | Robots - Programming |
| ISBN | 3-030-31852-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- RelatedWork -- PassiveSceneRecognition -- ActiveSceneRecognition -- Evaluation -- Summary -- Appendix. . |
| Record Nr. | UNINA-9910484331403321 |
|
Meißner Pascal
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [[electronic resource] ] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [[electronic resource] ] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 974 p. 256 illus.) |
| Disciplina | 629.89251 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-47166-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event simulation: limitations and possibilities -- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances -- Feedback Control for Statistical Model Checking of Cyber-Physical Systems -- Probabilistic Model Checking of Incomplete Models -- Plasma Lab: A Modular Statistical Model Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO -- Statistical Model Checking for Product Lines -- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems -- Better railway engineering through statistical model checking -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle -- Automatic Synthesis of Code using Genetic Programming -- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations -- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form -- A Model Interpreter for Timed Automata -- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction -- Combinatory Process Synthesis -- Synthesis from a Practical Perspective -- A Long and Winding Road Towards Modular Synthesis -- Semantic heterogeneity in the formal development of complex systems: an introduction -- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications -- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute the Force -- A Model-Based Approach to Combining Static and Dynamic Verification Techniques -- Information flow analysis for Go -- Challenges in High-Assurance Runtime Verification -- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata -- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots -- On Combinations of Static and Dynamic Analysis -- Safer Refactorings -- Rigorous Engineering of Collective Adaptive Systems -- Programming of CAS systems by relying on attribute-based communication -- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic Fragments: coordinating entities with logic programs -- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions -- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel -- Smart coordination of autonomic component ensembles in the context of ad-hoc communication -- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems -- Rigorous graphical modelling of movement in Collective Adaptive Systems -- Integration and Promotion of Autonomy with the ARE Framework -- Safe Artificial Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues -- Correctness-by-Construction and Post-hoc Verification: Friends or Foes? -- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? -- Deductive Verification of Legacy Code -- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families -- Conditions for Compatibility of Components - The case of masters and slaves -- A Logic for Statistical Model Checking of Dynamic Software Architectures -- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms in Rodin -- Proof-Carrying Apps: Contract-Based Deployment-Time Verification -- Supervisory Controller Synthesis for Product Lines with CIF3 -- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols and Software with Formal Methods -- A Model-Based Approach to Secure Multiparty Distributed Systems -- Information leakage analysis of complex C code and its application to OpenSSL -- Integrated Modeling Workflow for Security Assurance -- A Privacy-Aware Conceptual Model for Handling Personal Data -- Guaranteeing Privacy-observing Data Exchange. |
| Record Nr. | UNISA-996465660403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen
| Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / / edited by Tiziana Margaria, Bernhard Steffen |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXIII, 974 p. 256 illus.) |
| Disciplina | 629.89251 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Compilers (Computer programs) Machine theory Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Compilers and Interpreters Theory of Computation Formal Languages and Automata Theory Artificial Intelligence |
| ISBN | 3-319-47166-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Statistical Model Checking: Past, Present and Future -- Hypothesis testing for rare-event simulation: limitations and possibilities -- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances -- Feedback Control for Statistical Model Checking of Cyber-Physical Systems -- Probabilistic Model Checking of Incomplete Models -- Plasma Lab: A Modular Statistical Model Checking Platform -- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO -- Statistical Model Checking for Product Lines -- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems -- Better railway engineering through statistical model checking -- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle -- Automatic Synthesis of Code using Genetic Programming -- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction) -- Symbolic Execution with CEGAR -- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations -- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form -- A Model Interpreter for Timed Automata -- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction -- Combinatory Process Synthesis -- Synthesis from a Practical Perspective -- A Long and Winding Road Towards Modular Synthesis -- Semantic heterogeneity in the formal development of complex systems: an introduction -- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications -- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach -- Towards Functional Requirements Analytics -- Heterogeneous Semantics and Unifying Theories -- Static and Runtime Verification: Competitors or Friends? -- StaRVOOrS - Episode II, Strengthen and Distribute the Force -- A Model-Based Approach to Combining Static and Dynamic Verification Techniques -- Information flow analysis for Go -- Challenges in High-Assurance Runtime Verification -- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014 -- Considering Type-State Verification for Quantified Event Automata -- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots -- On Combinations of Static and Dynamic Analysis -- Safer Refactorings -- Rigorous Engineering of Collective Adaptive Systems -- Programming of CAS systems by relying on attribute-based communication -- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems -- A Calculus for Open Ensembles and Their Composition -- Logic Fragments: coordinating entities with logic programs -- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference -- A Library and Scripting Language for Tool Independent Simulation Descriptions -- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel -- Smart coordination of autonomic component ensembles in the context of ad-hoc communication -- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems -- Rigorous graphical modelling of movement in Collective Adaptive Systems -- Integration and Promotion of Autonomy with the ARE Framework -- Safe Artificial Intelligence and Formal Methods -- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues -- Correctness-by-Construction and Post-hoc Verification: Friends or Foes? -- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? -- Deductive Verification of Legacy Code -- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families -- Conditions for Compatibility of Components - The case of masters and slaves -- A Logic for Statistical Model Checking of Dynamic Software Architectures -- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms in Rodin -- Proof-Carrying Apps: Contract-Based Deployment-Time Verification -- Supervisory Controller Synthesis for Product Lines with CIF3 -- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques -- Security and Privacy of Protocols and Software with Formal Methods -- A Model-Based Approach to Secure Multiparty Distributed Systems -- Information leakage analysis of complex C code and its application to OpenSSL -- Integrated Modeling Workflow for Security Assurance -- A Privacy-Aware Conceptual Model for Handling Personal Data -- Guaranteeing Privacy-observing Data Exchange. |
| Record Nr. | UNINA-9910484927703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Video Game Bots : Automating Game Processes using C++, Python, and AutoIt / / by Ilya Shpigor
| Practical Video Game Bots : Automating Game Processes using C++, Python, and AutoIt / / by Ilya Shpigor |
| Autore | Shpigor Ilya |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 |
| Descrizione fisica | 1 online resource (336 pages) |
| Disciplina | 629.89251 |
| Soggetto topico |
Computer games—Programming
Compilers (Computer programs) Python (Computer program language) Microsoft software Microsoft .NET Framework Game Development Compilers and Interpreters Python Microsoft |
| ISBN |
9781484237366
1484237366 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Bots Overview -- 2. Clicker Bots -- 3. In-Game Bots -- 4. Out-Game Bots -- 5. Extra Techniques -- . |
| Record Nr. | UNINA-9910300366903321 |
|
Shpigor Ilya
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robot operating system (ROS) for absolute beginners : robotics programming made easy / / Lentin Joseph and Aleena Johny
| Robot operating system (ROS) for absolute beginners : robotics programming made easy / / Lentin Joseph and Aleena Johny |
| Autore | Joseph Lentin |
| Edizione | [2nd edition.] |
| Pubbl/distr/stampa | New York, New York : , : Apress Media LLC, , [2022] |
| Descrizione fisica | 1 online resource (293 pages, 1 volume) : illustrations (black and white, and color) |
| Disciplina | 629.89251 |
| Soggetto topico |
Robotics - Programming
Operating systems (Computers) Artificial intelligence |
| ISBN |
1-5231-5097-1
1-4842-7750-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Getting Started with Ubuntu/Linux for Robotics Chapter 2: Fundamentals of C++ for Robotic Programming Chapter 3: Fundamentals of Python for Robotics Programming Chapter 4: Kick Starting Robot Operating System Chapter 5: Programming with ROS Chapter 6: Robotics Project Using ROS |
| Record Nr. | UNINA-9910544861003321 |
|
Joseph Lentin
|
||
| New York, New York : , : Apress Media LLC, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||