Domain: qmul.ac.uk
Stories and comments across the archive that link to qmul.ac.uk.
Stories · 8
-
Scientists Teach Bees How To Play Soccer (smithsonianmag.com)
Clint Perry, a biologist who studies the evolution of cognition in insects at Queen Mary University of London, and his colleagues have released the results of a creative new experiment in which they essentially taught bumblebees how to play "bee soccer." "The insects' ability to grasp this novel task is a big score for insect intelligence, demonstrating that they're even more complex thinkers than we thought," reports Smithsonian. From the report: For the study, published in the February 23 issue of Science, researchers gave a group of bees a novel goal (literally): to move a ball about half their size into a designated target area. The idea was to present them with a task that they would never have encountered in nature. Not only did the bees succeed at this challenge -- earning them a sugary treat -- but they astonished researchers by figuring out how to meet their new goal in several different ways. Some bees succeeded at getting their ball into the goal with no demonstration at all, or by first watching the ball move on its own. But the ones that watched other bees successfully complete the game learned to play more quickly and easily. Most impressively, the insects didn't simply copy each other -- they watched their companions do it, then figured out on their own how to accomplish the task even more efficiently using their own techniques. The results show that bees can master complex, social behaviors without any prior experience -- which could be a boon in a world where they face vast ecological changes and pressures. -
UK Researchers Find IPv6-Related Data Leaks In 11 of 14 VPN Providers
jan_jes writes: According to researchers at Queen Mary University of London, services used by hundreds of thousands of people in the UK to protect their identity on the web are vulnerable to leaks. The study of 14 popular VPN providers found that 11 of them leaked information about the user because of a vulnerability known as 'IPv6 leakage'. The leakage occurs because network operators are increasingly deploying a new version of the protocol used to run the Internet called IPv6. The study also examined the security of various mobile platforms when using VPNs and found that they were much more secure when using Apple's iOS, but were still vulnerable to leakage when using Google's Android. Similarly Russian researchers have exposed the breakthrough U.S. spying program few months back. The VPNs they tested certainly aren't confined to the UK; thanks to an anonymous submitter, here's the list of services tested: Hide My Ass, IPVanish, Astrill, ExpressVPN, StrongVPN, PureVPN, TorGuard, AirVPN, PrivateInternetAccess, VyprVPN, Tunnelbear, proXPN, Mullvad, and Hotspot Shield Elite. -
Genetic Convergent Evolution: Stunning Gene Similarities Among Diverse Animals
Toe, The writes "It has long been understood that completely different animals can end up with very similar traits (convergent evolution), and even that genes can converge. But a new study shows an unbelievable level of convergence among entire groups of genes. The study shows that animals as diverse as bats and dolphins, which independently developed echolocation, converge in nearly 200 different genomic regions concentrated in several 'hearing genes.' The implications are rather deep, if you think about it, delving into interesting limitations on diversity or insights into the potential of DNA. And perhaps more importantly, this finding goes a long way toward explaining why almost aliens in the universe look surprisingly identical to humans (though still doesn't explain why they all speak English)." -
Bees Beat Machines At 'Traveling Salesman' Problem
eldavojohn writes "Recent research on bumble bees has proven that the tiny bee is better than computers at the traveling salesman problem. As bees visit flowers to collect nectar and pollen they discover other flowers en route in the wrong order. But they still manage to quickly learn and fly the optimally shortest path between flowers. Such a problem is NP-Hard and keeps our best machines thinking for days searching for a solution but researchers are quite interested how such a tiny insect can figure it out on the fly — especially given how important this problem is to networks and transportation. A testament to the power of even the smallest batch of neurons or simply evidence our algorithms need work?" -
Bees Beat Machines At 'Traveling Salesman' Problem
eldavojohn writes "Recent research on bumble bees has proven that the tiny bee is better than computers at the traveling salesman problem. As bees visit flowers to collect nectar and pollen they discover other flowers en route in the wrong order. But they still manage to quickly learn and fly the optimally shortest path between flowers. Such a problem is NP-Hard and keeps our best machines thinking for days searching for a solution but researchers are quite interested how such a tiny insect can figure it out on the fly — especially given how important this problem is to networks and transportation. A testament to the power of even the smallest batch of neurons or simply evidence our algorithms need work?" -
Interview With Turing-Award Winner Robin Milner
Martin Berger writes "Turing Award (1991) winner Robin Milner is one of the most influential computer scientists. He may not be as well-known as he deserves to be, but his research contributions are ubiquitous: he developed the first mathematically sound yet practical tool for machine assisted proof construction. This research has been continued successfully and led to many useful proof assistants such as HOL, Coq or Isabelle that are being used heavily for verification purposes today." Read on for more information about Milner, and a link to Berger's excellent interview with him. Berger continues "There is also a direct line from this strand of Milner's work to what may be one of the hottest topics in computer science: proof carrying code. Milner also headed the effort to develop ML (best known today by its descendant Ocaml), the first language to include polymorphic type inference together with type-safe exception-handling and module mechanisms. Most modern programming languages can trace some of their advanced features directly back to ML's pioneering efforts. Most of all, he established concurrency theory as a scientific field by creating and studying idealised concurrent programming languages like the Pi-Calculus. That calculus is becoming more and more influential in the design of new programming languages (for example Microsoft's XLANG) and the WWW infrastructure. A few weeks ago, I interviewed Milner. I wanted to find out about the man and the stories behind all this great research. I hope you find it as interesting as I do. The transcript of the interview can be found here." -
Interview With Turing-Award Winner Robin Milner
Martin Berger writes "Turing Award (1991) winner Robin Milner is one of the most influential computer scientists. He may not be as well-known as he deserves to be, but his research contributions are ubiquitous: he developed the first mathematically sound yet practical tool for machine assisted proof construction. This research has been continued successfully and led to many useful proof assistants such as HOL, Coq or Isabelle that are being used heavily for verification purposes today." Read on for more information about Milner, and a link to Berger's excellent interview with him. Berger continues "There is also a direct line from this strand of Milner's work to what may be one of the hottest topics in computer science: proof carrying code. Milner also headed the effort to develop ML (best known today by its descendant Ocaml), the first language to include polymorphic type inference together with type-safe exception-handling and module mechanisms. Most modern programming languages can trace some of their advanced features directly back to ML's pioneering efforts. Most of all, he established concurrency theory as a scientific field by creating and studying idealised concurrent programming languages like the Pi-Calculus. That calculus is becoming more and more influential in the design of new programming languages (for example Microsoft's XLANG) and the WWW infrastructure. A few weeks ago, I interviewed Milner. I wanted to find out about the man and the stories behind all this great research. I hope you find it as interesting as I do. The transcript of the interview can be found here." -
Sign Your Name Online With A Mouse
icke writes "Soon, the way you use your mouse could help prove who you are. According to a BBC News article, scientists have found a way for people to sign their name online using a mouse instead of a pen. The technology, based on the research from Queen Mary College, University of London by Peter McOwan, 'uses a neural network to pick out the unique features of the way that someone uses a mouse.'"