Nine major suspected cargo thefts happened at Tesla's Nevada battery factory in January alone, according to sheriff's records obtained by WIRED. Trailers containing millions of dollars worth of Tesla car and home batteries have allegedly been stolen straight from loading docks at the company's Nevada facilities at least 11 times since last December, according to sheriff's records obtained by WIRED. "It's an epidemic right now," says Storey County Sheriff's Detective Sam Hatley, who has been investigating the Tesla cases. Three men suspected of carrying out one of the heists were arrested in January and charged with felony possession of stolen property. But the broader spate of cargo thefts plaguing Elon Musk's car company are still under investigation and have not been previously reported.

The ACLU is suing two Florida police departments over the arrest of a Fort Myers man in a child-abduction case, saying officers treated a flawed face recognition match as a near-certain ID. A Florida man was wrongfully arrested for attempting to illegally lure a child after police relied on a face recognition match that was inaccurate, according to a lawsuit filed on Wednesday, even though he lived more than 300 miles from the scene and says he had never set foot in the city where the crime took place. Robert Dillon, a 52-year-old commercial crabber from Fort Myers, was arrested after FACES--a face recognition system operated by Florida's Pinellas County Sheriff's Office--matched his face against a photo of a man on a computer screen taken with a cellphone. The system returned a "93 percent match on facial features," according to police investigatory notes. The scores it emits represent how much two images look alike to the algorithm.

Thesegames were chosen soastocovertwonatural application domains for EFCE: conflict resolution via a mediator,andbargainingandnegotiation.

NBC anchor Savannah Guthrie's mother has been abducted, sheriff suspects The mother of US news anchor Savannah Guthrie has been abducted and didn't go willingly from her home, Arizona law enforcement officials suspect. Nancy Guthrie, the 84-year-old mother of the NBC News host, was last seen in her house outside Tucson, Arizona, on Saturday evening. Her family reported her missing a day later. When authorities arrived, the scene of Nancy Guthrie's property caused grave concern, Pima County Sheriff Chris Nanos said. He did not provide a possible motive and, while there was no initial indication Nancy Guthrie could have been targeted because of her name, the sheriff said we can't dismiss that. I believe she was abducted, yes, Sheriff Nanos told CBS, the BBC's US partner.

Miami-Dade Sheriff's Office introduces America's first fully autonomous patrol vehicle called PUG, featuring AI-powered cameras and drone deployment capabilities.

Neural Information Processing Systems http://nips.cc/

A couple brought military explosive devices into a Los Angeles Police Department station Saturday afternoon in an attempt to dispose of them, spurring officials to temporarily evacuate the Pacoima station and nearby homes. The incident came less than two weeks after an explosion killed three Los Angeles County sheriff's detectives -- the deadliest incident for the Sheriff's Department in more than 150 years. The three agency veterans who were killed were Dets. On Saturday, according to the LAPD, two people came into the Pacoima station at 2:30 p.m. and said they had been cleaning out the home of a family member who recently died when they found what they believed were explosives. The department's bomb squad used a robot to take images of the plastic box the couple had brought, which had "several military ordnances inside."

The modelling of business processes is an important task to support decision-making in complex industrial and corporate domains. Recent years have seen the birth of the BPM! (BPM!) research area, focused on the analysis and control of process execution quality, and in particular, the rise in popularity of process mining [van12], which encompasses a set of techniques to extract valuable information from event logs. Process discovery is one of the most investigated process mining techniques. It deals with the automatic learning of a process model from a given set of logged traces, each one representing the digital footprint of the execution of a case. Process discovery algorithms are usually classified into two categories according to the language they employ to represent the output model: procedural and declarative. Procedural techniques envisage the process model as a synthetic description of all possible sequences of actions that the process accepts from an initial to an ending state. Declarative discovery algorithms--which represent the context of this work--return the model as a set of constraints equipped with a declarative, logic-based semantics, and that must be fulfilled by the traces at hand. Both approaches have their strengths and weaknesses depending on the characteristics of the considered process.