Nachum Dershowitz

Nachum Dershowitz () is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. Provided by Wikipedia
Showing 1 - 11 results of 11 for search 'Nachum Dershowitz', query time: 0.04s Refine Results
  1. 1
    The Generic Model of Computation

    The Generic Model of Computation by Nachum Dershowitz

    Published 2012-07-01
    Get full text
    Article
  2. 2
    A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-

    A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract- by Nachum Dershowitz, Evgenia Falkovich

    Published 2012-07-01
    Get full text
    Article
  3. 3
    The length of a scroll: Quantitative evaluation of material reconstructions.

    The length of a scroll: Quantitative evaluation of material reconstructions. by Eshbal Ratzon, Nachum Dershowitz

    Published 2020-01-01
    Get full text
    Article
  4. 4
    Cellular Automata are Generic

    Cellular Automata are Generic by Nachum Dershowitz, Evgenia Falkovich

    Published 2015-04-01
    Get full text
    Article
  5. 5
    How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study

    How Much Does Lookahead Matter for Disambiguation? Partial Arabic Diacritization Case Study by Saeed Esmail, Kfir Bar, Nachum Dershowitz

    Published 2022-08-01
    Get full text
    Article
  6. 6
    Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material

    Style Classification of Rabbinic Literature for Detection of Lost Midrash Tanhuma Material by Shlomo Tannor, Nachum Dershowitz, Moshe Lavee

    Published 2023-08-01
    Get full text
    Article
  7. 7
    A Hackathon for Classical Tibetan

    A Hackathon for Classical Tibetan by Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf

    Published 2019-01-01
    Get full text
    Article
  8. 8
    A Hackathon for Classical Tibetan

    A Hackathon for Classical Tibetan by Orna Almogi, Lena Dankin, Nachum Dershowitz, Lior Wolf

    Published 2019-01-01
    Get full text
    Article
  9. 9
    The contribution of prosody to machine classification of schizophrenia

    The contribution of prosody to machine classification of schizophrenia by Tomer Ben Moshe, Ido Ziv, Nachum Dershowitz, Kfir Bar

    Published 2024-05-01
    Get full text
    Article
  10. 10
    The impact of extensive intraductal component (EIC) on the genomic risk of recurrence in early hormone receptor positive breast cancer

    The impact of extensive intraductal component (EIC) on the genomic risk of recurrence in early hormone receptor positive breast cancer by Yael Bar, Kfir Bar, Didi Feldman, Judith Ben- Dror, Meishar Shahoha, Shir Lerner, Shlomit Strulov Shachar, Ahuva Weiss-Meilik, Nachum Dershowitz, Ido Wolf, Amir Sonnenblick

    Published 2024-10-01
    Get full text
    Article
  11. 11
    Developing the ArchAIDE Application: A digital workflow for identifying, organising and sharing archaeological pottery using automated image recognition

    Developing the ArchAIDE Application: A digital workflow for identifying, organising and sharing archaeological pottery using automated image recognition by Francesca Anichini, Francesco Banterle, Jaume Buxeda i Garrigós, Marco Callieri, Nachum Dershowitz, Nevio Dubbini, Diego Lucendo Diaz, Tim Evans, Gabriele Gattiglia, Katie Green, Maria Letizia Gualandi, Miguel Angel Hervas, Barak Itkin, Marisol Madrid i Fernandez, Eva Miguel Gascón, Michael Remmy, Julian Richards, Roberto Scopigno, Llorenç Vila, Lior Wolf, Holly Wright, Massimo Zallocco

    Published 2020-03-01
    Get full text
    Article

Search Tools: