top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Affective computing and intelligent interaction : 4th international conference, ACII 2011, Memphis, TN, USA, October 9-12, 2011, proceedings. Part II / Sidney D'Mello [and others] (eds.).
Affective computing and intelligent interaction : 4th international conference, ACII 2011, Memphis, TN, USA, October 9-12, 2011, proceedings. Part II / Sidney D'Mello [and others] (eds.).
Creatore [ACII (Conference) (4th : 2011 : Memphis, Tenn.)]
Estensione 1 online resource (xxviii, 612 pages) : illustrations.
Accesso persona D'Mello, Sidney
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
Computer Imaging, Vision, Pattern Recognition and Graphics
User Interfaces and Human Computer Interaction
Artificial Intelligence (incl. Robotics)
ISBN 9783642245718
3642245714
9783642245701
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076282
[ACII (Conference) (4th : 2011 : Memphis, Tenn.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Digital libraries : for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 : proceedings / Chunxiao Xing, Fabio Crestani, Andreas Rauber (eds.).
Digital libraries : for cultural heritage, knowledge dissemination, and future creation : 13th International Conference on Asia-Pacific Digital Libraries, ICADL 2011, Beijing, China, October 24-27, 2011 : proceedings / Chunxiao Xing, Fabio Crestani, Andreas Rauber (eds.).
Creatore [International Conference on Asia-Pacific Digital Libraries (13th : 2011 : Beijing, China)]
Estensione 1 online resource (xv, 396 pages) : illustrations (some color).
Accesso persona Xing, Chunxiao
Crestani, Fabio
Rauber, Andreas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Information Systems Applications (incl. Internet)
Data Mining and Knowledge Discovery
ISBN 9783642248269
3642248268
364224825X
9783642248252
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076293
[International Conference on Asia-Pacific Digital Libraries (13th : 2011 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Creatore [MulGraB (Conference) (2011 : Cheju Island, Korea)]
Estensione 1 online resource (xxii, 357 pages) : illustrations.
Accesso persona Kim, Tai-hoon
Accesso convegno FGIT (Conference) (3rd : 2011 : Cheju Island, Korea)
GDC 2011 (2011 : Cheju Island, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642271861
3642271863
9783642271854
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076390
[MulGraB (Conference) (2011 : Cheju Island, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Grid and pervasive computing workshops : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised selected papers / Mika Rautiainen [and others] (eds.).
Grid and pervasive computing workshops : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised selected papers / Mika Rautiainen [and others] (eds.).
Creatore [GPC (Conference) (2011 : Oulu, Finland)]
Estensione 1 online resource (xiv, 179 pages).
Accesso persona Rautiainen, Mika
Accesso convegno HWTS 2011 (2011 : Oulu, Finland)
S3E 2011 (2011 : Oulu, Finland)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
User Interfaces and Human Computer Interaction
ISBN 9783642279164
3642279163
3642279155
9783642279157
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076569
[GPC (Conference) (2011 : Oulu, Finland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor [and others] (eds.).
Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor [and others] (eds.).
Creatore [Datalog 2010 (2010 : Oxford, England)]
Estensione 1 online resource (viii, 398 pages).
Accesso persona Moor, Oege de.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783642242069
3642242065
9783642242052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076615
[Datalog 2010 (2010 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Advanced agent technology : AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised selected papers / Francien Dechesne [and others] (eds.).
Advanced agent technology : AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised selected papers / Francien Dechesne [and others] (eds.).
Creatore [International Joint Conference on Autonomous Agents and Multiagent Systems (2011 : Taipei, Taiwan)]
Estensione 1 online resource (xx, 506 pages) : illustrations (some color).
Accesso persona Dechesne, Francien
Accesso convegno AMPLE 2011 (2011 : Taipei, Taiwan)
AOSE 2011 (2011 : Taipei, Taiwan)
ARMS 2011 (2011 : Taipei, Taiwan)
DOCM³AS 2011 (2011 : Taipei, Taiwan)
ITMAS 2011 (2011 : Taipei, Taiwan)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Data mining
Management information systems
Artificial Intelligence (incl. Robotics)
Computers and Society
Data Mining and Knowledge Discovery
User Interfaces and Human Computer Interaction
Business Information Systems
ISBN 9783642272165
3642272169
9783642272158
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076649
[International Joint Conference on Autonomous Agents and Multiagent Systems (2011 : Taipei, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Creatore [TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xix, 560 pages).
Accesso persona Flanagan, Cormac
König, Barbara (Professor of Information Engineering)
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Programming Techniques
ISBN 9783642287565
3642287565
9783642287558
3642287557
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Quantitative Models for a Not So Dumb Grid / Holger Hermanns -- History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid and Kathryn S. McKinley -- The Guardol Language and Verification System / David Hardin, Konrad Slind, Michael Whalen and Tuan-Hung Pham -- A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox, Sriram Sankaranarayanan and Bor-Yuh Evan Chang -- Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva, Leopold Haller, Daniel Kroening and Michael Tautschnig -- Ramsey-Based Analysis of Parity Automata / Oliver Friedmann and Martin Lange -- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondřej Lengál, Jiří Šimáček and Tomáš Vojnar -- LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák and Jan Strejček -- Pushdown Model Checking for Malware Detection / Fu Song and Tayssir Touili -- Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen, Micah M. Jones and Meera Sridhar -- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang and Radu Mateescu -- From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi, Arie Gurfinkel and Marsha Chechik.
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver and Marius Portmann, et al. -- Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur and Rahul Mangharam -- Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine -- Java Memory Model-Aware Model Checking / Huafeng Jin, Tuba Yavuz-Kahveci and Beverly A. Sanders -- Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea and Andrey Rybalchenko -- Deciding Conditional Termination / Marius Bozga, Radu Iosif and Filip Konečný -- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta and Alberto Calvi, et al. -- Reduction-Based Formal Analysis of BGP Instances / Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre Scedrov -- Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker and Joost-Pieter Katoen -- Automatic Verification of Competitive Stochastic Systems / Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker and Aistis Simaitis -- Coupling and Importance Sampling for Statistical Model Checking / Benoît Barbot, Serge Haddad and Claudine Picaronny.
Verifying pCTL Model Checking / Johannes Hölzl and Tobias Nipkow -- Parameterized Synthesis / Swen Jacobs and Roderick Bloem -- QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh, Cheng-Yin Wu and Chung-Yang (Ric) Huang -- Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner and Hans-Jörg Peter -- Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex, Sophia Drossopoulou and Susan Eisenbach -- A Proof Assistant for Alloy Specifications / Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi and Mana Taghdiri -- Reachability under Contextual Locking / Rohit Chadha, P. Madhusudan and Mahesh Viswanathan -- Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani and Michael Emmi -- Demonstrating Learning of Register Automata / Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel and Bengt Jonsson -- Symbolic Automata: The Toolkit / Margus Veanes and Nikolaj Bjørner -- McScM: A General Framework for the Verification of Communicating Machines / Alexander Heußner, Tristan Le Gall and Grégoire Sutre -- SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires and Hugo Torres Vieira -- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen and Mikael H. Møller, et al. -- A Platform for High Performance Statistical Model Checking -- PLASMA / Cyrille Jegourel, Axel Legay and Sean Sedwards.
Competition on Software Verification / (SV-COMP) / Dirk Beyer -- Predicate Analysis with BLAST 2.7 / (Competition Contribution) / Pavel Shved, Mikhail Mandrykin and Vadim Mutilin -- CPAchecker with Adjustable Predicate Analysis / (Competition Contribution) / Stefan Löwe and Philipp Wendler -- Block Abstraction Memoization for CPAchecker / (Competition Contribution) / Daniel Wonisch -- Context-Bounded Model Checking with ESBMC 1.17 / (Competition Contribution) / Lucas Cordeiro, Jeremy Morse, Denis Nicole and Bernd Fischer -- Proving Reachability Using FShell / (Competition Contribution) / Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig and Helmut Veith -- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation / (Competition Contribution) / Carsten Sinz, Florian Merz and Stephan Falke -- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures / (Competition Contribution) / Kamil Dudka, Petr Müller, Petr Peringer and Tomáš Vojnar -- HSF(C): A Software Verifier Based on Horn Clauses / (Competition Contribution) / Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea and Andrey Rybalchenko -- satabs: A Bit-Precise Verifier for C Programs / (Competition Contribution) / Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening and Michael Tautschnig, et al. -- Wolverine: Battling Bugs with Interpolants / (Competition Contribution) / Georg Weissenbacher, Daniel Kroening and Sharad Malik.
Record Nr. UCHICAGO-11076773
[TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Biomimetic and biohybrid systems : first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F.M.J. Verschure (eds.).
Biomimetic and biohybrid systems : first International Conference, Living Machines 2012, Barcelona, Spain, July 9-12, 2012. Proceedings / Tony J. Prescott, Nathan F. Lepora, Anna Mura, Paul F.M.J. Verschure (eds.).
Creatore [Living Machines 2012 (2012 : Barcelona, Spain)]
Estensione 1 online resource (xvi, 405 pages) : illustrations.
Accesso persona Prescott, Tony J., editor.
Lepora, Nathan, editor
Mura, Anna, editor
Verschure, Paul F. M. J., 1962-editor.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer vision
Optical pattern recognition
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices
Pattern Recognition
Information Systems Applications (incl. Internet)
Image Processing and Computer Vision
Control, Robotics, Mechatronics
ISBN 9783642315251
3642315259
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Conserved Biomimetic Control Architecture for Walking, Swimming and Flying Robots / Joseph Ayers, Daniel Blustein and Anthony Westphal -- A Digital Neuromorphic Implementation of Cerebellar Associative Learning / Luis Bobo, Ivan Herreros and Paul F.M.J. Verschure -- Simulating an Elastic Bipedal Robot Based on Musculoskeletal Modeling / Roberto Bortoletto, Massimo Sartori, Fuben He and Enrico Pagello -- A Soft-Body Controller with Ubiquitous Sensor Feedback / Alexander S. Boxerbaum, Kathryn A. Daltorio, Hillel J. Chiel and Roger D. Quinn -- Exploration of Objects by an Underwater Robot with Electric Sense / Frédéric Boyer and Vincent Lebastard -- Neuro-inspired Navigation Strategies Shifting for Robots: Integration of a Multiple Landmark Taxon Strategy / Ken Caluwaerts, Antoine Favre-Félix, Mariacarla Staffa, Steve N'Guyen and Christophe Grand, et al. -- Bioinspired Tunable Lens Driven by Electroactive Polymer Artificial Muscles / Federico Carpi, Gabriele Frediani and Danilo De Rossi -- A Pilot Study on Saccadic Adaptation Experiments with Robots / Eris Chinellato, Marco Antontelli and Angel P. del Pobil -- Jumping Robot with a Tunable Suspension Based on Artificial Muscles / Sanjay Dastoor, Sam Weiss, Hannah Stuart and Mark Cutkosky -- Static versus Adaptive Gain Control Strategy for Visuo-motor Stabilization / Naveed Ejaz, Reiko J. Tanaka and Holger G. Krapp -- Learning and Retrieval of Memory Elements in a Navigation Task / Thierry Hoinville, Rüdiger Wehner and Holk Cruse.
Imitation of the Honeybee Dance Communication System by Means of a Biomimetic Robot / Tim Landgraf, Michael Oertel, Andreas Kirbach, Randolf Menzel and Raúl Rojas -- A Framework for Mobile Robot Navigation Using a Temporal Population Code / André Luvizotto, César Rennó-Costa and Paul Verschure -- Generalization of Integrator Models to Foraging: A Robot Study Using the DAC9 Model / Encarni Marcos, Armin Duff, Martí Sánchez-Fibla and Paul F.M.J. Verschure -- The Emergence of Action Sequences from Spatial Attention: Insight from Rodent-Like Robots / Ben Mitchinson, Martin J. Pearson, Anthony G. Pipe and Tony J. Prescott -- How Past Experience, Imitation and Practice Can Be Combined to Swiftly Learn to Use Novel "Tools": Insights from Skill Learning Experiments with Baby Humanoids / Vishwanathan Mohan and Pietro Morasso -- Towards Contextual Action Recognition and Target Localization with Active Allocation of Attention / Dimitri Ognibene, Eris Chinellato, Miguel Sarabia and Yiannis Demiris -- Robot Localization Implemented with Enzymatic Numerical P Systems / Ana Brânduşa Pavel, Cristian Ioan Vasile and Ioan Dumitrache -- How Can Embodiment Simplify the Problem of View-Based Navigation? / Andrew Philippides, Bart Baddeley, Philip Husbands and Paul Graham -- The Dynamical Modeling of Cognitive Robot-Human Centered Interaction / Mikhail I. Rabinovich and Pablo Varona.
Internal Drive Regulation of Sensorimotor Reflexes in the Control of a Catering Assistant Autonomous Robot / César Rennó-Costa, André Luvizotto, Alberto Betella, Martí Sánchez-Fibla and Paul F.M.J. Verschure -- Incremental Learning in a 14 DOF Simulated iCub Robot: Modeling Infant Reach/Grasp Development / Piero Savastano and Stefano Nolfi -- A True-Slime-Mold-Inspired Fluid-Filled Robot Exhibiting Versatile Behavior / Takuya Umedachi, Ryo Idei and Akio Ishiguro -- CyberRat Probes: High-Resolution Biohybrid Devices for Probing the Brain / Stefano Vassanelli, Florian Felderer, Mufti Mahmud, Marta Maschietto and Stefano Girardi -- Crayfish Inspired Representation of Space via Haptic Memory in a Simulated Robotic Agent / Stephen G. Volz, Jennifer Basil and Frank W. Grasso -- Parallel Implementation of Instinctual and Learning Neural Mechanisms in a Simulated Mobile Robot / Briana Young, Stefano Ghirlanda and Frank W. Grasso -- Distributed Control of Complex Arm Movements / Reaching Around Obstacles and Scratching Itches / David Zipser -- Cerebellar Memory Transfer and Partial Savings during Motor Learning: A Robotic Study / Riccardo Zucca and Paul F.M.J. Verschure -- A Biomimetic Approach to an Autonomous Unmanned Air Vehicle / Fotios Balampanis and Paul F.M.J. Verschure -- Towards a Framework for Tactile Perception in Social Robotics / Hector Barron-Gonzalez, Nathan F. Lepora, Uriel Martinez-Hernandez, Mat Evans and Tony J. Prescott.
A Locomotion Strategy for an Octopus-Bioinspired Robot / Marcello Calisti, Michele Giorelli and Cecilia Laschi -- Design and Modeling of a New Biomimetic Robot Frog with the Ability of Jumping Altitude Regulation / Sadjad Eshgi, Vahid Azimirad and Hamid Hajimohammadi -- Sensation of a "Noisy" Whisker Vibration in Rats / Arash Fassihi, Vahid Esmaeili, Athena Akrami, Fabrizio Manzino and Mathew E. Diamond -- Integrating Molecular Computation and Material Production in an Artificial Subcellular Matrix / Harold Fellermann, Maik Hadorn, Eva Bönzli and Steen Rasmussen -- WARMOR: Whegs Adaptation and Reconfiguration of MOdular Robot with Tunable Compliance / Max Fremerey, Goran S. Djordjevic and Hartmut Witte -- Inverse and Direct Model of a Continuum Manipulator Inspired by the Octopus Arm / Michele Giorelli, Federico Renda, Andrea Arienti, Marcello Calisti and Matteo Cianchetti, et al. -- A Biomimetic, Swimming Soft Robot Inspired by the Octopus Vulgaris / Francesco Giorgio Serchi, Andrea Arienti and Cecilia Laschi -- Toward a Fusion Model of Feature and Spatial Tactile Memory in the Crayfish Cherax Destructor / Frank W. Grasso, Mat Evans, Jennifer Basil and Tony J. Prescott -- Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part I: Soft Skin Artifacts / Jinping Hou, Richard H.C. Bonser and George Jeronimidis -- Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part II: Tactile Sensors / Jinping Hou, Richard H.C. Bonser and George Jeronimidis.
Development of Sensorized Arm Skin for an Octopus Inspired Robot -- Part III: Biomimetic Suckers / Jinping Hou, Richard H.C. Bonser and George Jeronimidis -- Decentralized Control Scheme That Enables Scaffold-Based Peristaltic Locomotion / Akio Ishiguro, Kazuyuki Yaegashi, Takeshi Kano and Ryo Kobayashi -- Autonomous Decentralized Control Mechanism in Resilient Ophiuroid Locomotion / Takeshi Kano, Shota Suzuki and Akio Ishiguro -- A Multi-agent Platform for Biomimetic Fish / Tim Landgraf, Rami Akkad, Hai Nguyen, Romain O. Clément and Jens Krause, et al. -- The State-of-the-Art in Biomimetics / Nathan F. Lepora, Paul F.M.J. Verschure and Tony J. Prescott -- Action Development and Integration in an Humanoid iCub Robot / Tobias Leugger and Stefano Nolfi -- Insect-Like Odor Classification and Localization on an Autonomous Robot / Lucas L. López-Serrano, Vasiliki Vouloutsi, Alex Escudero Chimeno, Zenon Mathews and Paul F.M.J. Verschure -- Autonomous Viewpoint Control from Saliency / Shijian Lu and Joo Hwee Lim -- Bio-inspired Design of an Artificial Muscular-Hydrostat Unit for Soft Robotic Systems / Laura Margheri, Maurizio Follador, Matteo Cianchetti, Barbara Mazzolai and Cecilia Laschi -- Texture Classification through Tactile Sensing / Uriel Martinez-Hernandez, Hector Barron-Gonzalez, Mat Evans, Nathan F. Lepora and Tony Dodd, et al. -- Bio-inspiration for a Miniature Robot Inside the Abdomen / Alfonso Montellano López, Robert Richardson, Abbas Dehghani, Rupesh Roshan and David Jayne, et al.
Systematic Construction of Finite State Automata Using VLSI Spiking Neurons / Emre Neftci, Jonathan Binas, Elisabetta Chicca, Giacomo Indiveri and Rodney Douglas -- Self-burial Mechanism of Erodium cicutarium and Its Potential Application for Subsurface Exploration / Camilla Pandolfi, Diego Comparini and Stefano Mancuso -- Tragopogon dubius, Considerations on a Possible Biomimetic Transfer / Camilla Pandolfi, Vincent Casseau, Terence Pei Fu, Lionel Jacques and Dario Izzo -- Root-Soil Interaction Models for Designing Adaptive Exploring Robotic Systems / Liyana Popova, Alice Tonazzini and Barbara Mazzolai -- A Soft-Bodied Snake-Like Robot That Can Move on Unstructured Terrain / Takahide Sato, Takeshi Kano, Akihiro Hirai and Akio Ishiguro -- Direct Laser Writing of Neural Tissue Engineering Scaffolds for Biohybrid Devices / Colin R. Sherborne, Christopher J. Pateman and Frederik Claeyssens -- Biorobotic Actuator with a Muscle Tissue Driven by a Photostimulation / Masahiro Shimizu, Shintaro Yawata, Kota Miyasaka, Koichiro Miyamoto and Toshifumi Asano, et al. -- Shape Optimizing of Tail for Biomimetic Robot Fish / Majid Siami and Vahid Azimirad -- Intuitive Navigation of Snake-Like Robot with Autonomous Decentralized Control / Yasushi Sunada, Takahide Sato, Takeshi Kano, Akio Ishiguro and Ryo Kobayashi -- Design of Adhesion Device Inspired by Octopus Sucker / Francesca Tramacere, Lucia Beccai and Barbara Mazzolai.
Record Nr. UCHICAGO-11076977
[Living Machines 2012 (2012 : Barcelona, Spain)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Photogrammetric image analysis : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / Uwe Stilla [and others] (eds.).
Photogrammetric image analysis : ISPRS Conference, PIA 2011, Munich, Germany, October 5-7, 2011 : proceedings / Uwe Stilla [and others] (eds.).
Creatore [International Society for Photogrammetry and Remote Sensing.Congress (2011 : Munich, Germany)]
Estensione 1 online resource (xiii, 308 pages) : illustrations (some color).
Disciplina 526.9/82
Accesso persona Stilla, Uwe.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Artificial intelligence
Computer graphics
Computer vision
Optical pattern recognition
Image Processing and Computer Vision
Pattern Recognition
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Systems Applications (incl. Internet)
ISBN 9783642243936
3642243932
9783642243929
3642243924
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178406
[International Society for Photogrammetry and Remote Sensing.Congress (2011 : Munich, Germany)]  
Materiale a stampa
Lo trovi qui: New York University
Metadata and semantic research : 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011 : proceedings / Elena García-Barriocanal [and others] (eds.).
Metadata and semantic research : 5th International Conference, MTSR 2011, Izmir, Turkey, October 12-14, 2011 : proceedings / Elena García-Barriocanal [and others] (eds.).
Creatore [International Conference on Metadata and Semantics Research (5th : 2011 : İzmir, Turkey)]
Estensione 1 online resource (xviii, 546 pages) : illustrations (some color).
Disciplina 025.042/7
Accesso persona García-Barriocanal, Elena
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Data Mining and Knowledge Discovery
ISBN 9783642247316
3642247318
9783642247309
364224730X
Classificazione 06.64
54.69
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-006178498
[International Conference on Metadata and Semantics Research (5th : 2011 : İzmir, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University