نتائج البحث

Variable Elimination as Rewriting in a Linear Lambda Calculus ...

• Authors : Ehrhard, Thomas; Faggian, Claudia; Pagani, Michele

Subjects: Logic in Computer Science cs.LO; FOS: Computer and information sciences

تفاصيل العنوان

Crafting the Path: Robust Query Rewriting for Information Retrieval

• Authors : Baek, Ingeol; Lee, Jimin; Yang, Joonho ...

• Source: IEEE Access ; page 1-1 ; ISSN 2169-3536

تفاصيل العنوان

Fast and Accurate Incomplete Utterance Rewriting

• Authors : Peng, Letian; Li, Zuchao; Zhao, Hai ...

• Source: IEEE Transactions on Audio, Speech and Language Processing ; page 1-11 ; ISSN 2998-4173

تفاصيل العنوان

RECALIBRATING BIBLICAL DISCOURSE INTO AFRICAN INDIGENOUS LANGUAGES THROUGH REWRITING

• Authors : Dr. Thomas Njie Losenge

Subjects: Translation; Bible Translation; Biblical Discourse

• Source: GPH-International Journal of Social Science and Humanities Research, 06(09), 55-71, (2023-09-28)

تفاصيل العنوان

PolyJuice: Detecting Mis-Compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting

• Authors : Zhou, Chijin

تفاصيل العنوان

A rewriting coherence theorem with applications in homotopy type theory

• Authors : Kraus, Nicolai; von Raumer, Jakob; Kraus, Nicolai

Subjects: Homotopy type theory; higher-dimensional rewriting; constructive mathematics

تفاصيل العنوان

Utilizing process modeling and graph rewriting as a formal approach for algorithmic design of modular precast structures

• Authors : Harder, B.; Esser, S.; Borrmann, A.

Subjects: info:eu-repo/classification/ddc; LOCenter; SPP2187

تفاصيل العنوان

Rewriting the First Crusade ; Epistolary Culture in the Middle Ages

• Authors : Smith, Thomas W.

• Source: ISBN 9781805432739 1805432737.

تفاصيل العنوان

Rewriting the moral order: the narrative ordering of disorderly lives

• Authors : Dick, Penny

• Source: Rethinking Gender Inequalities in Organizations ; page 127-149 ; ISBN 9781802207385 9781802207378 9781802207385

تفاصيل العنوان

Cryptographic Rewriting across Domains

• Authors : Bottazzi, Roberto

• Source: Radio Explorations ; page 109-130 ; ISBN 9783839473375

تفاصيل العنوان