Results 101 to 110 of about 4,249,520 (226)

Exploring Predicativity [PDF]

, 2018
Prominent constructive theories of sets as Martin-Löf type theory and Aczel and Myhill constructive set theory, feature a distinctive form of constructivity: predicativity. This may be phrased as a constructibility requirement for sets, which ought to be finitely specifiable in terms of some uncontroversial initial “objects” and simple operations over
openaire   +1 more source

Antarctic Exploration [PDF]

Science, 1892
openaire   +3 more sources

Exploring SpiNNaker

, 2017
This report was completed in May 2017 and only uses the state of the SpiNNaker system and sPyNNaker API that were publicly available at the time of writing.
openaire   +1 more source

Exploring complexity [PDF]

Cytometry Part A, 2012
openaire   +2 more sources

An exploration of female journalists' experiences of covering potentially traumatic news stories : an IPA study [PDF]

, 2016
Ruth Elizabeth Schumacher
openalex  

Research in Charity Accounting and Reporting: A Fertile Field for Exploration [PDF]

, 2011
Ciarán Connolly, Noel Hyndman, Danielle McConville   +2 more
openalex   +1 more source

Investigating Cursor-based Interactions to Support Non-Visual Exploration in the Real World [PDF]

, 2018
Anhong Guo, Saige McVea, Xu Wang, Patrick Clary, Ken Goldman, Yang Li, Yu Zhong, Jeffrey P. Bigham   +7 more
openalex   +1 more source

Efficient Optimistic Exploration in Linear-Quadratic Regulators via\n Lagrangian Relaxation [PDF]

, 2020
Marc Abeille, Alessandro Lazaric
openalex   +1 more source

Exploring Antioxidants [PDF]

West Indian Medical Journal, 2018
openaire   +2 more sources

Human exploration strategically balances approaching and avoiding uncertainty. [PDF]

Elife
Abir Y, Shadlen MN, Shohamy D.
europepmc   +1 more source