Advanced programming and design / / Kevin McCombs |
Autore | McCombs Kevin |
Edizione | [First edition.] |
Pubbl/distr/stampa | New York : , : Cavendish Square, , 2017 |
Descrizione fisica | 1 online resource (128 pages) : color illustrations |
Disciplina | 629.8/92 |
Collana | Robotics |
Soggetto topico |
Autonomous robots - Design and construction
Robots - Programming Robotics |
ISBN | 1-5026-1946-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dividing duties -- An introduction to robot design -- Electrical and mechanical power -- Putting it all together -- Control systems and programming. |
Record Nr. | UNINA-9910158628603321 |
McCombs Kevin
![]() |
||
New York : , : Cavendish Square, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Automata, languages and programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010 : proceedings. Part I / / Samson Abramsky ... [et al.], (eds.) |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin, : Springer, 2010 |
Descrizione fisica | 1 online resource (XXIII, 754 p. 42 illus.) |
Disciplina | 005.1 |
Altri autori (Persone) | AbramskySamson |
Collana |
Lecture notes in computer science
LNCS sublibrary. SL 1, Theoretical computer science and general issues Advanced research in computing and software science |
Soggetto topico |
Machine theory
Computer programming Robots - Programming Formal languages |
ISBN |
1-280-38772-6
9786613565648 3-642-14165-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- Local Search: Simple, Successful, But Sometimes Sluggish -- When Conflicting Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial Optimization -- Plane Spanners of Maximum Degree Six -- The Positive Semidefinite Grothendieck Problem with Rank Constraint -- Cycle Detection and Correction -- Decomposition Width of Matroids -- Session 2-Track A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games -- On the Existence of Pure Nash Equilibria in Weighted Congestion Games -- On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions -- Mean-Payoff Games and Propositional Proofs -- Session 2-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public Key Encryption -- Polynomial-Space Approximation of No-Signaling Provers -- From Secrecy to Soundness: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable Dictionaries -- Faster Algorithms for Semi-matching Problems (Extended Abstract) -- Clustering with Diversity -- New Data Structures for Subgraph Connectivity -- Session 3-Track A2. Sorting & Hashing -- Tight Thresholds for Cuckoo Hashing via XORSAT -- Resource Oblivious Sorting on Multicores -- Interval Sorting -- Session 4-Track A. Graphs, Nets and Optimization -- Inapproximability of Hypergraph Vertex Cover and Applications to Scheduling Problems -- Thresholded Covering Algorithms for Robust and Max-min Optimization -- Graph Homomorphisms with Complex Values: A Dichotomy Theorem -- Metrical Task Systems and the k-Server Problem on HSTs -- Session 5-Track A1. Scheduling -- Scheduling Periodic Tasks in a Hard Real-Time Environment -- Scalably Scheduling Power-Heterogeneous Processors -- Better Scalable Algorithms for Broadcast Scheduling -- Max-min Online Allocations with a Reordering Buffer -- Session 5-Track A2. Graphs & Hypergraphs -- Orientability of Random Hypergraphs and the Power of Multiple Choices -- On the Inapproximability of Vertex Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval Graphs: Canonical Representation in Logspace -- Session 6-Track A. Best Paper Award -- Approximating the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems -- On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors -- On Sums of Roots of Unity -- Exponential Time Complexity of the Permanent and the Tutte Polynomial -- On Approximate Horn Formula Minimization -- Session 8-Track A. Networks & Communication Complexity -- Choosing, Agreeing, and Eliminating in Communication Complexity -- Additive Spanners in Nearly Quadratic Time -- Composition Theorems in Communication Complexity -- Network Design via Core Detouring for Problems without a Core -- Session 9-Track A1. Complexity & Automata -- Weak Completeness Notions for Exponential Time -- Efficient Evaluation of Nondeterministic Automata Using Factorization Forests -- On the Complexity of Searching in Trees: Average-Case Minimization -- Session 9-Track A2. Finding & Testing -- Finding Is as Easy as Detecting for Quantum Walks -- Improved Constructions for Non-adaptive Threshold Group Testing -- Testing Non-uniform k-Wise Independent Distributions over Product Spaces -- Session 10-Track A1. Approximations -- A Sublogarithmic Approximation for Highway and Tollbooth Pricing -- Maximum Quadratic Assignment Problem: Reduction from Maximum Label Cover and LP-Based Approximation Algorithm -- Cell Probe Lower Bounds and Approximations for Range Mode -- SDP Gaps for 2-to-1 and Other Label-Cover Variants -- Session 10-Track A2. Streaming & Preprocessing -- Data Stream Algorithms for Codeword Testing -- Streaming Algorithms for Independent Sets -- Preprocessing of Min Ones Problems: A Dichotomy -- Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems -- Session 11-Track A1. Adaptive, Knowledge & Optimality -- Optimal Trade-Offs for Succinct String Indexes -- Approximation Algorithms for Optimal Decision Trees and Adaptive TSP Problems -- Concurrent Knowledge Extraction in the Public-Key Model -- Session 11-Track A2. Covering, Graphs & Independence -- On the k-Independence Required by Linear Probing and Minwise Independence -- Covering and Packing in Linear Space -- Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths in Digraphs. |
Record Nr. | UNINA-9910484310003321 |
Berlin, : Springer, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Building smart LEGO Mindstorms EV3 robots : leverage the LEGO Mindstorms EV3 platform and program intelligent robots / / Kyle Markland |
Autore | Markland Kyle |
Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt, , 2016 |
Descrizione fisica | 1 online resource (252 pages) |
Disciplina | 629.8925 |
Soggetto topico |
LEGO Mindstorms toys
Robots - Design and construction Robots - Programming |
Soggetto genere / forma | Electronic books. |
ISBN | 1-78847-569-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910467876603321 |
Markland Kyle
![]() |
||
Birmingham ; ; Mumbai : , : Packt, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Building smart LEGO Mindstorms EV3 robots : leverage the LEGO Mindstorms EV3 platform and program intelligent robots / / Kyle Markland |
Autore | Markland Kyle |
Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt, , 2016 |
Descrizione fisica | 1 online resource (252 pages) |
Disciplina | 629.8925 |
Soggetto topico |
LEGO Mindstorms toys
Robots - Design and construction Robots - Programming |
ISBN | 1-78847-569-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795065203321 |
Markland Kyle
![]() |
||
Birmingham ; ; Mumbai : , : Packt, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Building smart LEGO Mindstorms EV3 robots : leverage the LEGO Mindstorms EV3 platform and program intelligent robots / / Kyle Markland |
Autore | Markland Kyle |
Pubbl/distr/stampa | Birmingham ; ; Mumbai : , : Packt, , 2016 |
Descrizione fisica | 1 online resource (252 pages) |
Disciplina | 629.8925 |
Soggetto topico |
LEGO Mindstorms toys
Robots - Design and construction Robots - Programming |
ISBN | 1-78847-569-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910817113603321 |
Markland Kyle
![]() |
||
Birmingham ; ; Mumbai : , : Packt, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Controlling an Ozobot / / by Amber Lovett |
Autore | Lovett Amber |
Pubbl/distr/stampa | Ann Arbor, Michigan : , : Cherry Lake Publishing, , [2017] |
Descrizione fisica | 1 online resource (24 pages) : illustrations |
Disciplina | 629.8/92 |
Collana | 21st Century Skills Innovation Library. Makers as Innovators |
Soggetto topico |
Robots
Robots - Programming Personal robotics |
ISBN | 1-63472-253-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | What is an Ozobot? -- Types of Ozobots -- What are the parts of an Ozobot? -- Starting with Ozobot -- Drawing paths -- Adding turns -- What are Ozocodes? -- Your neighborhood -- Explore with Ozobot. |
Record Nr. | UNINA-9910154840803321 |
Lovett Amber
![]() |
||
Ann Arbor, Michigan : , : Cherry Lake Publishing, , [2017] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Distributed autonomous robotic systems : the 10th International Symposium / / Alcherio Martinoli ... [et al.] (eds.) |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Heidelberg ; ; New York, : Springer, c2013 |
Descrizione fisica | 1 online resource (XXIV, 612 p.) |
Disciplina | 629.8/92 |
Altri autori (Persone) | MartinoliAlcherio |
Collana | Springer tracts in advanced robotics |
Soggetto topico |
Autonomous robots
Robots - Programming |
ISBN | 3-642-32723-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Distributed Sensing -- Part II: Localization, Navigation, and Formations -- Part III: Coordination Algorithms and Formal Methods -- Part IV: Modularity, Distributed Manipulation, and Platforms. |
Record Nr. | UNINA-9910437770003321 |
Heidelberg ; ; New York, : Springer, c2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From bricks to brains : the embodied cognitive science of LEGO robots / / Michael R. W. Dawson, Brian Dupuis, Michael Wilson |
Autore | Dawson Michael Robert William <1959-> |
Pubbl/distr/stampa | Athabasca University Press, 2010 |
Descrizione fisica | 1 online resource (354 p.) |
Disciplina | 629.8/92 |
Soggetto topico |
Robots - Programming
Robots - Dynamics Cognitive science Robots - Design and construction Artificial intelligence LEGO toys |
Soggetto non controllato |
science
behaviour brain |
ISBN |
1-282-85202-7
9786612852022 1-897425-79-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mind control - internal or external? -- Classical music and the classical mind -- Situated cognition and bricolage -- Braitenberg's vehicle 2 -- Thoughtless walkers -- Machina speculatrix -- The subsumption architecture -- Embodiment, stigmergy, and swarm intelligence -- Totems, toys -- or tools? |
Record Nr. | UNISA-996213123603316 |
Dawson Michael Robert William <1959->
![]() |
||
Athabasca University Press, 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
From bricks to brains : the embodied cognitive science of LEGO robots / / Michael R. W. Dawson, Brian Dupuis, Michael Wilson |
Autore | Dawson Michael Robert William <1959-> |
Pubbl/distr/stampa | Athabasca University Press, 2010 |
Descrizione fisica | 1 online resource (354 p.) |
Disciplina | 629.8/92 |
Soggetto topico |
Robots - Programming
Robots - Dynamics Cognitive science Robots - Design and construction Artificial intelligence LEGO toys |
Soggetto non controllato |
science
behaviour brain |
ISBN |
1-282-85202-7
9786612852022 1-897425-79-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Mind control - internal or external? -- Classical music and the classical mind -- Situated cognition and bricolage -- Braitenberg's vehicle 2 -- Thoughtless walkers -- Machina speculatrix -- The subsumption architecture -- Embodiment, stigmergy, and swarm intelligence -- Totems, toys -- or tools? |
Record Nr. | UNINA-9910141036903321 |
Dawson Michael Robert William <1959->
![]() |
||
Athabasca University Press, 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|