seanstickle

“ SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic. It can be used as a standalone theory prover or as an embedded reasoning engine.

“ This is the core and fundamental challenge for social and professional network interoperability. The growing plethora of service providers forces a non-scalable solution for the end consumers. The current approach is to provide “aggregator” sites. But this is no different than adding another service provider to the list. The consumer still then needs to repeat their profile, and associate new friends - even in the “aggregator” site itself.

“ The Algebra of Programming group at Oxford studies programming languages and methods. In particular, we are concerned with mathematically sound yet ergonomically convenient techniques for manipulating and reasoning with programs: a calculus is worthless if it is not sound, and useless if it is not easy to work with.

“ Textbook piracy already exists. If you know where to look online, you can find many novels and textbooks scanned in their entirety as PDFs. But until now, pirated textbooks were more trouble than they were worth. Reading them on a computer screen is a pain for obvious reasons. The alternative, printing out hundreds of pages at a time, results in an unwieldly mess that also stands out like a sore thumb whenever you pull it out in class. The Kindle DX changes that. Just find the book you want in PDF form, upload it to your Kindle over USB, and you’ve got a perfectly readable and convenient textbook.

“ Their drive to survive is beyond our imagination,” says Chun Junghee, head nurse at Hanowan [a government-run facility]. But helping defectors is rarely easy, the staff says, for they trust no one. “People from North Korea are very paranoid,” says Kim Heekyung, a clinical psychologist at Hanowan, who supervises group therapy for defectors. Paranoia, she adds, is a rational response to reality in North Korea … When defectors arrive at Hanowan, they whisper. They are reluctant to disclose their names or dates of birth. They question the motives of people who want to help them … A majority of defectors suffer from post-traumatic stress disorder.