Opin vísindi

Fletta eftir efnisorði "Reasoning"

Fletta eftir efnisorði "Reasoning"

Röðun: Raða: Niðurstöður:

  • Jonsson, Bert; Waling, Maria; Lagström, Hanna; Wergedahl, Hege; Olsson, Cecilia; Fossgard, Eldbjørg; Holthe, Asle; Talvia, Sanna; Hörnell, Agneta; Ólafsdóttir, Anna Sigríður; Gunnarsdottir, Ingibjorg (Leibniz-Institute for Psychology Information (ZPID), 2017-11-30)
    The present study investigated schooling effects on cognition. Cognitive data were collected as part of a research project (ProMeal) that investigated school meals and measured the intake of school lunch in relation to children’s health, cognitive ...
  • McDermott, Dylan; Morita, Yasuaki; Uustalu, Tarmo (Springer, 2022-10-03)
    We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...