Buscar
Mostrando ítems 1-10 de 24584
Ranjit Kumar. Research methodology: a step-by-step guide for beginnersRanjit Kumar. Research methodology: a step-by-step guide for beginners
(Instituto de Investigaciones Bibliotecológicas y de la Información, 2009)
The Stanley complete step-by-step book of home repair and improvement
(Simon & Schuster, 2018)
On nonsingular two-step nilpotent Lie algebras
(International Press Boston, 2014-12)
A 2-step nilpotent Lie algebra n is called nonsingular if ad(X): n --> [n,n] is onto for any X not in [n,n]. We explore nonsingular algebras in several directions, including the classification problem (isomorphism invariants), ...
From a single decision to a multi-step algorithm
(Current Biology, 2012-05)
Humans can perform sequential and recursive computations, as when calculating 23 × 74. However, this comes at a cost: flexible computations are slow and effortful. We argue that this competence involves serial chains of ...
One Step, Two Step, Network Step? Complementary Perspectives on Communication Flows in Twittered Citizen Protests
(2017)
The article analyzes the nature of communication flows during social conflicts via the digital platform Twitter. We gathered over 150,000 tweets from citizen protests for nine environmental social movements in Chile and ...
Proving compiler correctness using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...