From sashimi to tartare, tuna is in demand year-round. More than half of the world's high-grade fish supply comes from the central and western Pacific Ocean, a region that accounts for a $7 billion market. The popularity of tuna sustains small fishing communities in distant places like Palau. But it also threatens an aquatic population that has been dwindling at an alarming rate. Over the past few years, unregulated fishing practices in tuna-rich Pacific regions have threatened to wipe out rich species like the bluefin and bigeye.

An exciting opportunity is available for a PhD candidate to undertake a research project in modelling autonomous behaviours, testing and verification of agent designs, explaining autonomous behaviour, or designing reusable simulation models. This scholarship is valued at up to $5000 per annum for up to 3 years. Students with an approved Australian Postgraduate Award (APA) or other postgraduate stipend are eligible for the top-up scholarship. Applicants should contact Associate Professor John Thangarajah to discuss their eligibility and the topic/area of prospective research (see further information below). These scholarships are most suited for those who plan to apply for an APA.

Monte Carlo Tree Search (MCTS) is a technique to guide search in a large decision space by taking random samples and evaluating their outcome. In this work, we study MCTS methods in the context of the connection calculus and implement them on top of the leanCoP prover. This includes proposing useful proof-state evaluation heuristics that are learned from previous proofs, and proposing and automatically improving suitable MCTS strategies in this context. The system is trained and evaluated on a large suite of related problems coming from the Mizar proof assistant, showing that it is capable to find new and different proofs. To our knowledge, this is the first time MCTS has been applied to theorem proving.

Get ready to play Harry Potter's'Wizard Chess': $200 chess board can move pieces on its own and lets you take on players anywhere in the world Watch the bizarre'blimpbot' that can walk on land and sea... Apple's latest launch: $300 coffee table book dedicated to... Is alien life EVERYWHERE? Radical theory claims it may have... Christmas shopping can be as stressful as running a... Watch the bizarre'blimpbot' that can walk on land and sea... Apple's latest launch: $300 coffee table book dedicated to... Is alien life EVERYWHERE? Radical theory claims it may have... Christmas shopping can be as stressful as running a... Players simply connect their phones to the board using the app, move a chess piece and the other player will watch the piece magically travel to the spot you selected. If you've taken an opponent's piece, your winning piece will shuffle it off to the side of the board Most Harry Potter fans know of the enchanted chess board called'Wizard's Chess' (pictured) which pieces move on their own depending on the players command Chess lovers will receive one Square Off board with a power adapter, phone stand, battery pack and app for a $198 pledge. The best gift of all: Come home for Xmas with Heathrow Airport Mob storm police station and lynch suspected paedophile Autistic boy bursts into tears on stage as teacher snatches microphone Man discovers wife is cheating on him following her with drone Driver's jaw is shattered after parking row at petrol station Hillary Clinton makes first appearance since her concession Is this the creepy moment the corpse of a girl OPENS her eyes?

Can Google guess what YOU'RE drawing? 'Quick, draw!' is based on neural networks and learns as more people play Players have 20 seconds to draw each doodle using their mouse cursor The software then makes guesses on what they are doodling as they draw'Quick, draw!' is based on neural networks and learns as more people play The Pictionary-style challenge - called Quick, draw! - prompts users to draw a popular object or phrase in just 20 seconds using a mouse cursor on a desktop or using their finger on a mobile device. The software then guesses what's been drawn Soon you could'like' a photo with a SMILE: Facebook buys... The paper bike helmet you pop in your pocket: Honeycomb... Are YOU addicted to Wi-Fi? Almost half of us crave internet... Drones to the rescue!

You might be impatient for a self-driving car that can roll you from the bar to your house when you're too buzzed to drive, but autonomous vehicles have bigger problems to worry about. Since 2000, the fire season has grown longer, and the damage more severe. The US spent more than $2 billion fighting the flames last year--and it lost six firefighters doing it. The solution, according to Lockheed Martin, is taking the human out of the battle. In a series of demonstration flights last week, the defense contractor showed off four unmanned aircraft that join forces to beat back the flames.

In Boston, two major academic centers are teaming up to apply big data and machine learning to the problem of diagnosing cancers earlier and with more accuracy. It is research that might have major implications for the anatomic pathology profession. A collaborative effort between teams at Beth Israel Deaconess Medical Center (BIDMC) and Harvard Medical School (HMS) has resulted in an innovation that could result in more accurate diagnoses in the pathology laboratory. The teams have been working on a machine learning software program that will eventually function as an artificial intelligence (AI) to improve the accuracy of diagnostics. They hope to someday build AI-powered computer systems that can accurately and quickly interpret pathology images.

During his first official visit to Australia, Microsoft CEO Satya Nadella revealed how the company will be working with a range of local organisations to push the next stage of Australia's investment into artificial intelligence [AI]. Among the world's first users of Microsoft's new high performance virtual and intelligent machines are the Australian Government, Cricket Australia, and Webjet. Microsoft will deliver cloud services to Australian developers that will underpin the next generation of intelligent apps. This comes as the largest Windows 10 deployment in the Asia-Pacific region, and will help companies around Australia generate deeper customer insights and learnings. Speaking at a technology developer's conference in Sydney on Wednesday, Nadella said the new intelligent technology to be deployed by Microsoft and will allow human-like interactions with complex business systems.

While his feet may have been in Sydney, Microsoft CEO Satya Nadella's head was firmly in the clouds. In Australia for a Microsoft Developers conference, Nadella laid out his main theories for the digital future: Mobile-first and cloud-first. SEE ALSO: Inside Microsoft's plan to bring 3D to everyone "We have a distinctive point of view when we say'mobile first,'" he said. With echoes of Mark Zuckerberg's bot evangelism at April's F8, and Nadella's own remarks at the Microsoft's annual developers conference in March, it was a bot-heavy message sent Wednesday. To help build'em, Nadella announced the launch of the Azure Bot Service -- a new public cloud-based bot builder -- that will give everyone access to automated systems that understand conversational language.

If you measure the future in terms how pizza is delivered, the future is now: Domino's now delivers via autonomous drone. Today, the pizza chain officially launched its drone delivery service in New Zealand. The pizzaria chain has been working with Flirtey on the program for awhile now, but has only just started offering it to a select group of customers. "Drones offer the promise of safer, faster deliveries to an expanded delivery area," Domino's group CEO Don Meiji says. "Meaning more customers can expect to receive a freshly-made order within our ultimate target of 10 minutes."