WorldCat Identities

Dixon, Clare

Overview
Works: 3 works in 13 publications in 1 language and 454 library holdings
Genres: History  Conference papers and proceedings 
Roles: Editor, Author
Publication Timeline
.
Most widely held works by Clare Dixon
Towards Autonomous Robotic Systems 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings by TAROS (Conférence)( )

7 editions published in 2015 in English and held by 42 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 16th Annual Conference on Towards Autonomous Robotics, TAROS 2015, held in Liverpool UK, in September 2015. The 16 revised full papers presented together with 18 short papers were carefully reviewed and selected from 59 submissions. The overall program covers various aspects of robotics, including navigation, planning, sensing and perception, flying and swarm robots, ethics, humanoid robotics, human-robot interaction, and social robotics
Winchester by Clare Dixon( Book )

2 editions published in 2013 in English and held by 14 WorldCat member libraries worldwide

Winchester has one of the darkest and most fascinating histories on record - more than 2,000 years of death, disease, and destruction. Containing dozens of true stories, including the tale of William Walker, the diver who spent five years in pitch-black water under the cathedral, you'll never see the city in the same way again
FRONTIERS OF COMBINING SYSTEMS : 11th international symposium, frocos 2017 by FroCoS (Symposium)( Book )

4 editions published in 2017 in English and held by 3 WorldCat member libraries worldwide

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017.   The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.51 for FRONTIERS ... to 0.70 for Winchester ...)

Alternative Names
Dixon, C.

Dixon, C. (Clare)

Languages
English (13)