Found 1,334 document(s)
Page 48 of 89
-
We study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy) and also discuss `big-step' equivalenc...
-
Published...
-
This book explores the intersections of education and technology in audiovisual translation, unpacking the evolution of AVT ecosystems and looking ahead to future directions for the role of technology in the translation ...
-
This paper presents the preliminary results of a research project aimed at the analysis of the early medieval settlement pattern in the Sierra de Ávila, a territory located in the central part of the Iberian Peninsula ch...
-
This book provides an account of how rectificatory justice for climate change loss and damage can be realized by bridging the worlds of political philosophy, climate science and climate policy together. The book focuses ...
-
T. whyteanum Rendle,DLN 4787, Malawi, J. Chapman & I. Patel 5779 (BR), OP184466, OP172514, OP172210;...
-
Law and technology present humanity with challenges and opportunities. This international research volume is dedicated to three of their pillars: artificial intelligence, blockchain and digital platforms. The authors' co...
-
We present a geometry-based interpretation of the f-statistics framework, commonly used in population genetics to estimate phylogenetic relationships from genomic data. The focus is on the determination of the mixing coe...
-
La Colombie a vu tant de conflits qui auraient pu être résolus se solder par une guerre ; tant de projets qui auraient pu être réalisés perdus au milieu des rivalités entre factions ; tant d’accords qui ont échoué à caus...
-
Open access biomedical research article published in Int J Cancer....
-
Open access biomedical research article published in Life Sci Space Res (Amst)....
-
This book was built with the collective effort of a tremendous history of struggle that precedes us, the struggle for a Dignified Life hand in hand with a Public and Community Education that is at the service of its neig...
-
The soil bacterium Sinorhizobium meliloti can establish a nitrogen-fixing symbiosis with the model legume Medicago truncatula. The rhizobia induce the formation of a specialized root organ called nodule, where they diffe...