Clare Dixon – författare

The queen who walked on fire! Weird legends of St Swithin explored! The Vikings are coming! Death and destruction in ancient Winchester! Sufferings she could not describe’: the amazing life and dolorous death of Miss Jane Austen! Fed to the dogs! Winchester’s most gruesome executions! The secret histories of Winchester’s most famous buildings revealed! Winchester has one of the darkest and most fascinating histories on record – more than 2,000 years of death, disease and destruction. With Georgian terrorists and legendary kings, trials, plagues and chilling 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!

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.

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.

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.The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.