Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Shmuel_Safra> ?p ?o. }
Showing items 1 to 82 of
82
with 100 items per page.
- Shmuel_Safra abstract "Shmuel Safra (Hebrew: שמואל ספרא) is an Israeli computer scientist. He is a Professor of Computer Science at Tel Aviv University, Israel. Born in Jerusalem.Safra's research areas include complexity theory and automata theory. His work in Complexity Theory includes the classification of approximation problems—showing them NP-hard even for weak factors of approximation—and the theory of probabilistically checkable proofs (PCP) and the PCP theorem, which gives stronger characterizations of the class NP, via a membership proof that can be verified reading only a constant number of its bits.His work on automata theory investigates determinization and complementation of finite automata over infinite strings, in particular, the complexity of such translation for Büchi automata, Streett automata and Rabin automata.In 2001, Safra won the Gödel Prize in theoretical computer science for his papers "Interactive Proofs and the Hardness of Approximating Cliques" and "Probabilistic Checking of Proofs: A New Characterization of NP".".
- Shmuel_Safra almaMater Weizmann_Institute_of_Science.
- Shmuel_Safra award G%C3%B6del_Prize.
- Shmuel_Safra birthPlace Jerusalem.
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- Shmuel_Safra field Computational_complexity_theory.
- Shmuel_Safra field Computer_science.
- Shmuel_Safra wikiPageExternalLink home.
- Shmuel_Safra wikiPageExternalLink ~safra.
- Shmuel_Safra wikiPageID "15875029".
- Shmuel_Safra wikiPageRevisionID "599286981".
- Shmuel_Safra almaMater "Ph.D. Weizmann Institute of Science 1990".
- Shmuel_Safra birthPlace Jerusalem.
- Shmuel_Safra caption "Shmuel Safra".
- Shmuel_Safra doctoralAdvisor Amir_Pnueli.
- Shmuel_Safra field Computational_complexity_theory.
- Shmuel_Safra field Computer_science.
- Shmuel_Safra hasPhotoCollection Shmuel_Safra.
- Shmuel_Safra name "Safra, Shmuel".
- Shmuel_Safra name "Shmuel Safra".
- Shmuel_Safra prizes Gödel_Prize.
- Shmuel_Safra shortDescription "Israeli computer scientist".
- Shmuel_Safra wordnet_type synset-scientist-noun-1.
- Shmuel_Safra workInstitution Tel_Aviv_University.
- Shmuel_Safra description "Israeli computer scientist".
- Shmuel_Safra description "Israeli computer scientist".
- Shmuel_Safra subject Category:Gödel_Prize_laureates.
- Shmuel_Safra subject Category:Israeli_Jews.
- Shmuel_Safra subject Category:Israeli_computer_scientists.
- Shmuel_Safra subject Category:Living_people.
- Shmuel_Safra subject Category:People_from_Jerusalem.
- Shmuel_Safra subject Category:Tel_Aviv_University_faculty.
- Shmuel_Safra subject Category:Theoretical_computer_scientists.
- Shmuel_Safra subject Category:Weizmann_Institute_of_Science_alumni.
- Shmuel_Safra type Acquirer109764201.
- Shmuel_Safra type CausalAgent100007347.
- Shmuel_Safra type ComputerScientist109951070.
- Shmuel_Safra type ComputerUser109951274.
- Shmuel_Safra type G%C3%B6delPrizeLaureates.
- Shmuel_Safra type Honoree110183757.
- Shmuel_Safra type Laureate110249011.
- Shmuel_Safra type LivingPeople.
- Shmuel_Safra type LivingThing100004258.
- Shmuel_Safra type Object100002684.
- Shmuel_Safra type Organism100004475.
- Shmuel_Safra type Person100007846.
- Shmuel_Safra type PhysicalEntity100001930.
- Shmuel_Safra type Recipient109627906.
- Shmuel_Safra type Scientist110560637.
- Shmuel_Safra type TheoreticalComputerScientists.
- Shmuel_Safra type Whole100003553.
- Shmuel_Safra type YagoLegalActor.
- Shmuel_Safra type YagoLegalActorGeo.
- Shmuel_Safra type Agent.
- Shmuel_Safra type Person.
- Shmuel_Safra type Scientist.
- Shmuel_Safra type Person.
- Shmuel_Safra type Scientist.
- Shmuel_Safra type Q215627.
- Shmuel_Safra type Q5.
- Shmuel_Safra type Agent.
- Shmuel_Safra type NaturalPerson.
- Shmuel_Safra type Thing.
- Shmuel_Safra type Person.
- Shmuel_Safra comment "Shmuel Safra (Hebrew: שמואל ספרא) is an Israeli computer scientist. He is a Professor of Computer Science at Tel Aviv University, Israel. Born in Jerusalem.Safra's research areas include complexity theory and automata theory.".
- Shmuel_Safra label "Shmuel Safra".
- Shmuel_Safra label "Shmuel Safra".
- Shmuel_Safra label "Shmuel Safra".
- Shmuel_Safra label "Shmuel Safra".
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra sameAs m.03qczld.
- Shmuel_Safra sameAs Q92811.
- Shmuel_Safra sameAs Q92811.
- Shmuel_Safra sameAs Shmuel_Safra.
- Shmuel_Safra wasDerivedFrom Shmuel_Safra?oldid=599286981.
- Shmuel_Safra givenName "Shmuel".
- Shmuel_Safra isPrimaryTopicOf Shmuel_Safra.
- Shmuel_Safra name "Safra, Shmuel".
- Shmuel_Safra name "Shmuel Safra".
- Shmuel_Safra surname "Safra".