Results 61 to 70 of about 2,068,781 (331)
Adequacy of compositional translations for observational semantics [PDF]
, 2008 We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of ...
Niehren, Joachim +3 more
core +8 more sources
, 2016 Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
Composing Relationships with Translations
Conference on Empirical Methods in Natural Language Processing, 2015 Performing link prediction in Knowledge Bases (KBs) with embedding-based models, like with the model TransE (Bordes et al., 2013) which represents relationships as translations in the embedding space, have shown promising results in recent years. Most of
Alberto García-Durán +2 more
semanticscholar +1 more source
By dawn or dusk—how circadian timing rewrites bacterial infection outcomes
FEBS Letters, EarlyView.The circadian clock shapes immune function, yet its influence on infection outcomes is only beginning to be understood. This review highlights how circadian timing alters host responses to the bacterial pathogens Salmonella enterica, Listeria monocytogenes, and Streptococcus pneumoniae revealing that the effectiveness of immune defense depends not only
Devons Mo +2 more
wiley +1 more source
Endomorphism Semigroups and Lightlike Translations
, 1994 Certain criteria are demonstrated for a spatial derivation of a von Neumann algebra to generate a one-parameter semigroup of endomorphisms of that algebra.
D. R. Davidson +8 more
core +3 more sources
Geometric inequalities from phase space translations [PDF]
, 2016 We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution ...
Anna Vershynina +9 more
core +2 more sources
Cantor systems, piecewise translations and simple amenable groups [PDF]
, 2012 We provide the rst examples of nitely generated simple groups that are amenable (and innite). To this end, we prove that topological full groups of minimal systems are amenable.
K. Juschenko, N. Monod
semanticscholar +1 more source
The role and implications of mammalian cellular circadian entrainment
FEBS Letters, EarlyView.At their most fundamental level, mammalian circadian rhythms occur inside every individual cell. To tell the correct time, cells must align (or ‘entrain’) their circadian rhythm to the external environment. In this review, we highlight how cells entrain to the major circadian cues of light, feeding and temperature, and the implications this has for our
Priya Crosby
wiley +1 more source
Greek-Arabic-Latin: The transmission of mathematical texts in the Middle Ages [PDF]
, 2001 During the Middle Ages many Greek mathematical and astronomical texts were translated from Greek into Arabic (ca. ninth century) and from Arabic into Latin (ca. twelfth century). There were many factors complicating the study of them, such as translation
Lorch, Richard
core +1 more source
, 2016 Both lack of time and the need to translate texts for numerous reasons brought about an increase in studying machine translation with a history spanning over 65 years. During the last decades, Google Translate, as a statistical machine translation (SMT),
H. Ghasemi, Mahmood Hashemian
semanticscholar +1 more source