Results 61 to 70 of about 377,962 (403)
Structural abstract interpretation, A formal study using Coq [PDF]
, 2008 interpreters are tools to compute approximations for behaviors of a program. These approximations can then be used for optimisation or for error detection. In this paper, we show how to describe an abstract interpreter using the type-theory based theorem
Bertot, Yves
core +3 more sources
Simulation of Two-Way Pushdown Automata Revisited [PDF]
, 2013 The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) by the Cook and Jones constructions is revisited. Following the semantics-based approach by Jones, an interpreter is given which, when extended with random-access memory ...
Glück, Robert
core +3 more sources
From omics to AI—mapping the pathogenic pathways in type 2 diabetes
FEBS Letters, EarlyView.Integrating multi‐omics data with AI‐based modelling (unsupervised and supervised machine learning) identify optimal patient clusters, informing AI‐driven accurate risk stratification. Digital twins simulate individual trajectories in real time, guiding precision medicine by matching patients to targeted therapies.
Siobhán O'Sullivan +2 more
wiley +1 more source
Translation and Interpreting : the International Journal of Translation and Interpreting Research, 2017 In recent years socio-psychological language research has influenced the fields of translation and interpreting studies resulting in a growing interest in personality traits such as extraversion, emotional stability, self-efficacy and risk-taking as ...
Alexandra Rosiers, June Eyckmans
doaj +1 more source
Interpreter of maladies: a commonplace for cultures [PDF]
, 2008 Imagine living a double life – being pulled in all different directions, between your past and your present, your family and your friends, your two different cultures. Jhumpa Lahiri knows that double existence and shows individuals living it in her book
Tetreault, Cora
core +1 more source
FEBS Letters, EarlyView.Knowing how proteases recognise preferred substrates facilitates matching proteases to applications. The S1′ pocket of protease EA1 directs cleavage to the N‐terminal side of hydrophobic residues, particularly leucine. The S1′ pocket of thermolysin differs from EA's at only one position (leucine in place of phenylalanine), which decreases cleavage ...
Grant R. Broomfield +3 more
wiley +1 more source
"Exploring the role of “Jihad” in the Establishment of Universal Peace "
الإيضاح, 2015 Jihad is an umbrella concept of Islam, but unfortunately, nowadays it is misused both as a terminology and practice in a very narrow sense. The concept of jihad is crystal clear in Islam but it has been made dubious by certain schools of thought for ...
Dr.Habib Elahi Sahibzada, Dr. Zahid Shah
doaj
, 2022 How do people make sense of works of art? And how do they write to make others see the same way? There are many guides to looking at art, histories of art history and art criticism, and accounts of various 'theories' and 'methods', but this book offers something very unlike the normal search for difference and division: it examines the general and ...
openaire +6 more sources
Affiliation in interpreter-mediated therapeutic talk
Interpreting. International Journal of Research and Practice in Interpreting, 2019 The aim of this article is to explore how affiliation (Stivers 2008) with the patient is displayed and interactionally achieved in the context of an interpreter-mediated therapeutic dialogue.
Jelena Vranjes +3 more
semanticscholar +1 more source
Automatic Estimation of Simultaneous Interpreter Performance [PDF]
Annual Meeting of the Association for Computational Linguistics, 2018 Simultaneous interpretation, translation of the spoken word in real-time, is both highly challenging and physically demanding. Methods to predict interpreter confidence and the adequacy of the interpreted message have a number of potential applications ...
Craig Alan Stewart +4 more
semanticscholar +1 more source