Results 21 to 30 of about 1,627,187 (305)
, 2018 The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it extends the simply typed lambda calculus by providing audited types, inhabited by expressions carrying a trail of their past computation history.
Wilmer Ricciotti, James Cheney
openaire +2 more sources
Smaller Explicit Superconcentrators [PDF]
Internet Mathematics, 2004 Summary: Using a new recursive technique, we present an explicit construction of an infinite family of \(N\)-superconcentrators of density 44. The most economical previously known explicit graphs of this type have density around 60.
Alon, N., Capalbo, M.
openaire +4 more sources
Explicitness and implicitness of (linguistic) hybridity in translation [PDF]
Studia Translatorica, 2022 Today, hybridity has become a topic of interest in translation, especially when it comes to translating literature from postcolonial contexts. This is, for instance, the case with French-speaking African literature, where several authors embed a hybrid ...
Edmond Kembou
doaj +1 more source
Explicit subspace designs [PDF]
Combinatorica, 2013 An \((s,A)\) subspace design is a set of linear subspaces \(H_1, \dots, H_M\) of \(F_q^m\) such that for every \(s\)-dimensional subspace \(W\) of \(F_q^m\) at most \(A\) of the \(H_i\) intersect \(W\) non-trivially. In this paper, the authors refine the construction of the first author and \textit{C.
Venkatesan Guruswami, Swastik Kopparty
openaire +3 more sources
The ISME Journal, 2011 Reference phylogenies are crucial for providing a taxonomic framework for interpretation of marker gene and metagenomic surveys, which continue to reveal novel species at a remarkable rate.
Daniel McDonald +8 more
semanticscholar +1 more source
ON STEPWISE EXPLICIT SUBSTITUTION [PDF]
International Journal of Foundations of Computer Science, 1993 This paper starts by setting the ground for a lambda calculus notation that strongly mirrors the two fundamental operations of term construction, namely abstraction and application. In particular, we single out those parts of a term, called items in the paper, that are added during abstraction and application.
Kamareddine, F., Nederpelt, R.P.
openaire +1 more source
Obesity discrimination in the recruitment process: You’re not Hired!
Frontiers in Psychology, 2016 Previous literature reports that obese persons are discriminated in the workplace. Evidence suggests that obese people are perceived as having less leadership potential, and in comparison to normal weight peers, are expected to be less successful.
Stuart William Flint +6 more
doaj +1 more source
On Explicit Constructions of Designs
The Electronic Journal of Combinatorics, 2022 An $(n,r,s)$-system is an $r$-uniform hypergraph on $n$ vertices such that every pair of edges has an intersection of size less than $s$. Using probabilistic arguments, Rödl and Šiňajová showed that for all fixed integers $r> s \ge 2$, there exists an $(n,r,s)$-system with independence number $O\left(n^{1-\delta+o(1)}\right)$ for some optimal ...
Xizhi Liu, Dhruv Mubayi
openaire +2 more sources
Psicologia: Reflexão e Crítica, 2006 O estudo da contribuição de diferentes subtipos de memória de longo-prazo, explícitas e implícitas, e a contribuição dessa em determinados testes é dificultado por três fatores principais: a) a definição ambígua desses subtipos de memória ...
Sabine Pompéia, Orlando F. Amodeo Bueno
doaj +1 more source
Cogent Education, 2019 The present paper explored how plays could contribute to pragmatic development when employed as a medium of implicit or explicit instruction. 80 undergraduate English-major students were divided into four experimental groups two of which were literary ...
Mohammad Baqerzadeh Hosseini +1 more
doaj +1 more source