Sentence examples for based on proof from inspiring English sources
The decision permits certain young people to apply for termination of the reporting requirements after they turn 18, based on proof that they do not pose a threat to public safety.
That law is the nation's first to give inmates the chance to have their sentences reduced to life without parole based on proof that racial bias played a significant role in their case.
Falah Shanshal, a member of the parliamentary committee, said the decision was based on proof that Mr. Mutlaq was promoting the Baath Party of Mr. Hussein, which is specifically banned under the Iraqi Constitution.
State officials said appeals were granted based on proof of financial hardship, which might involve unemployment, a foreclosure or period of homelessness, or having to make the choice between paying for insurance or for heat and electricity.
"If everything we've seen reported so far about Zimmerman's side of the story is true, and there aren't other missing pieces of evidence, I have trouble fathoming how a jury would return a guilty verdict for murder, based on proof beyond a reasonable doubt," he said.
North Carolina courageously passed the Racial Justice Act in 2009, making it the first state in the country to give death row inmates a chance to have their sentences changed to life without parole based on proof that race played a significant role in determining punishment.
"This is the historic account of what happened," Murillo Karam announced at the press conference, "based on proofs supported by science".
He said, "This is the historical truth of what occurred, based on proofs supported by science, as included in the case record, and which has enabled us so far to take punitive action".
The algorithm is based on proof-number (PN) search, a best-first search algorithm, proposed by Allis et al.
Other decision procedures for hybrid logics, which also are based on proof-theory, are given in the paper Kaminski and Smolka (2009).
Based on proofs of the unique solution of the initial value problem, which is dependent continuously on all variables, we get the continuity of normalized eigenfunctions.
