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.
Random Finite Sets for Robot Mapping and SLAM : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo.
| Random Finite Sets for Robot Mapping and SLAM : New Concepts in Autonomous Robotic Map Representations / by John Mullane, Ba-Ngu Vo, Martin Adams, Ba-Tuong Vo. |
| Creatore | [Mullane, John] |
| Estensione | 1 online resource. |
| Disciplina | 629.892 |
| Accesso persona |
Vo, Ba-Ngu
Adams, Martin Vo, Ba-Tuong |
| Soggetto non controllato |
Robotics and Automation
Artificial Intelligence (incl. Robotics) Engineering |
| ISBN |
9783642213908
3642213901 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Random Finite Sets -- Random Finite Set Based Robotic Mapping -- Random Finite Set Based Simultaneous Localisation and Map Building. |
| Record Nr. | NYU-006178952 |
[Mullane, John]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
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). |
| Disciplina | 004.2/1 |
| 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. | NYU-004622188 |
|
[TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]
|
|
| Materiale a stampa | |
| Lo trovi qui: New York University | |
Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis [electronic resource] / by Marcin Mrugalski
| Advanced Neural Network-Based Computational Schemes for Robust Fault Diagnosis [electronic resource] / by Marcin Mrugalski |
| Creatore | [Mrugalski, Marcin. author] |
| Estensione | 1 online resource. |
| Disciplina | 006.3 |
| Soggetto non controllato |
Computational Intelligence
Artificial Intelligence (incl. Robotics) Complexity Control Engineering |
| ISBN | 9783319015477 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Designing of dynamic neural networks -- Estimation methods in training of ANNs for robust fault diagnosis -- MLP in robust fault detection of static non-linear systems -- GMDH networks in robust fault detection of dynamic non-linear systems -- State-space GMDH networks for actuator robust FDI. |
| Record Nr. | UCHICAGO-9805691 |
|
[Mrugalski, Marcin. author]
|
|
| Risorse elettroniche | |
| Lo trovi qui: University of Chicago | |
International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 [electronic resource] : Salamanca, Spain, September 11th-13th, 2013 Proceedings / edited by Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snásel, André C.P.L.F. Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Emilio Corchado
| International Joint Conference SOCO'13-CISIS'13-ICEUTE'13 [electronic resource] : Salamanca, Spain, September 11th-13th, 2013 Proceedings / edited by Álvaro Herrero, Bruno Baruque, Fanny Klett, Ajith Abraham, Václav Snásel, André C.P.L.F. Carvalho, Pablo García Bringas, Ivan Zelinka, Héctor Quintián, Emilio Corchado |
| Creatore | [Herrero, Álvaro. editor] |
| Estensione | 1 online resource. |
| Disciplina | 006.3 |
| Accesso persona |
Baruque, Bruno.editor.
Klett, Fanny.editor. Abraham, Ajith.editor. Snásel, Václav.editor. Carvalho, André C.P.L.F.editor. Bringas, Pablo García.editor. Zelinka, Ivan.editor. Quintián, Héctor.editor. Corchado, Emilio.editor. |
| Soggetto non controllato |
Computational Intelligence
Artificial Intelligence (incl. Robotics) Engineering |
| ISBN | 9783319018546 |
| Formato | Risorse elettroniche |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Computation and Optimization -- Intelligent Systems -- Applications -- Classification and Clustering Methods -- Systems, Man, and Cybernetics -- Data Mining for Industrial and Environmental Applications -- Soft Computing Methods in Bioinformatics -- Soft Computing Methods, Modeling and Simulation in Electrical Engineering -- Applications of Intelligent Methods for Security -- Infrastructure and Network Security -- Web 2.0. |
| Record Nr. | UCHICAGO-9805732 |
|
[Herrero, Álvaro. editor]
|
|
| Risorse elettroniche | |
| Lo trovi qui: University of Chicago | |
Computational collective intelligence [electronic resource] : Technologies and applications ; 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz
| Computational collective intelligence [electronic resource] : Technologies and applications ; 4th International Conference, ICCCI 2012, Ho Chi Minh City, Vietnam, November 28-30, 2012, Proceedings / edited by Ngoc-Thanh Nguyen, Kiem Hoang, Piotr Jȩdrzejowicz |
| Creatore | [ICCCI (Conference) (4th : 2012 : Ho Chi Minh City, Vietnam)] |
| Estensione | 1 online resource (2 v.) |
| Accesso persona |
Nguyen, Ngoc Thanh (Computer scientist)
Hoang, Kiem Jędrzejowicz, Piotr |
| Soggetto non controllato |
Computer science
Data mining Information storage and retrieval systems Computer vision Artificial Intelligence (incl. Robotics) Information Storage and Retrieval Information Systems Applications (incl. Internet) User Interfaces and Human Computer Interaction Computer Imaging, Vision, Pattern Recognition and Graphics |
| ISBN |
9783642346309 (pt. 1 : electronic bk.)
9783642347078 (pt. 2 : electronic bk.) 3642346308 (pt. 1 : electronic bk.) 364234707X (pt. 2 : electronic bk.) 9783642346293 (pt. 1 : print) 9783642347061 pt. 2 : print) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | STANFORD-a9861308 |
|
[ICCCI (Conference) (4th : 2012 : Ho Chi Minh City, Vietnam)]
|
|
| Materiale a stampa | |
| Lo trovi qui: Stanford University | |
Foundations of Knowledge Representation and Reasoning [electronic resource] / by Gerhard Lakemeyer, Bernhard Nebel
| Foundations of Knowledge Representation and Reasoning [electronic resource] / by Gerhard Lakemeyer, Bernhard Nebel |
| Creatore | [Lakemeyer, Gerhard] |
| Accesso persona | Nebel, Bernhard |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages |
| ISBN | 9783540581079 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355224 |
|
[Lakemeyer, Gerhard]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach
| Temporal Logic [electronic resource] : First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings / by Dov M. Gabbay, Hans J. Ohlbach |
| Creatore | [Gabbay, Dov M.] |
| Accesso persona | Ohlbach, Hans J. |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Database Management Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical Logic and Foundations |
| ISBN | 9783540582410 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355242 |
|
[Gabbay, Dov M.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings / by Dimitris Karagiannis
| Database and Expert Systems Applications [electronic resource] : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings / by Dimitris Karagiannis |
| Creatore | [Karagiannis, Dimitris] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Business Information Systems Database Management Information Systems Applications (incl.Internet) |
| ISBN | 9783540584353 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355269 |
|
[Karagiannis, Dimitris]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings / by Zbigniew W. Ras, Maria Zemankova
| Methodologies for Intelligent Systems [electronic resource] : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 - 19, 1994. Proceedings / by Zbigniew W. Ras, Maria Zemankova |
| Creatore | [Raś, Zbigniew W.] |
| Accesso persona | Zemankova, Maria |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages |
| ISBN | 9783540584957 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355282 |
|
[Raś, Zbigniew W.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Parallel, Distributed and Multiagent Production Systems [electronic resource] / by Toru Ishida
| Parallel, Distributed and Multiagent Production Systems [electronic resource] / by Toru Ishida |
| Creatore | [Ishida, Toru] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) Business Information Systems Computer-Aided Engineering (CAD, CAE) and Design Control Engineering Manufacturing, Machines, Tools Software Engineering |
| ISBN | 9783540586982 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355291 |
|
[Ishida, Toru]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
