Results 101 to 110 of about 159,107 (206)

Learning, realizability and games in classical arithmetic

, 2011
PhDAbstract. In this dissertation we provide mathematical evidence that the concept of learning can be used to give a new and intuitive computational semantics of classical proofs in various fragments of Predicative Arithmetic.
Aschieri, Federico
core  

Efficient and robust optimization of nuclear and electronic orbitals within the nuclear Hartree product representation. [PDF]

J Chem Phys
Chow M, Paenurk E, Hammes-Schiffer S.
europepmc   +1 more source

Classical and quantum information /

, 2012
A new discipline, Quantum Information Science, has emerged in the last two decades of the twentieth century at the intersection of Physics, Mathematics, and Computer Science. Quantum Information Processing is an application of Quantum Information Science
Marinescu, Gabriela M., Marinescu, Dan C.   +1 more
core  

The Behavior of Entanglements in a Polymer Gel under Isotropic Swelling. [PDF]

Macromolecules
Shao Z, Ji R, Liu Q.
europepmc   +1 more source

The Evolution of Principles of Economics: A Comprehensive Journey Through Health Economics for Public Health Practitioners and Researchers. [PDF]

Indian J Community Med
Jyani G, Prinja S.
europepmc   +1 more source

Periodic Constrained Nuclear-Electronic Orbital Density Functional Theory for Nuclear Quantum Effects: Method Development and Application to Hydrogen Adsorption on Pt(111). [PDF]

J Chem Theory Comput
Chen Z, Yang Y.
europepmc   +1 more source

Chromosomal rearrangements: tempo and mode of karyotype evolution in Scarabaeoidea. [PDF]

J Evol Biol
Chien S, Blackmon H.
europepmc   +1 more source

On the reliability of classifying programming tasks using\ud a Neo-Piagetian theory of cognitive development

, 2012
Recent research has proposed Neo-Piagetian theory as a useful way of describing the cognitive development of novice programmers. Neo-Piagetian theory may also be a useful way to classify materials used in learning and assessment.
Gluga, Richard, Kay, Judy, Lister, Raymond, Teague, Donna M.   +3 more
core  

Editorial: Organizations between continuity and disruption - The organization and management of perpetual change in times of digitalization. [PDF]

Front Sociol
Wendt T, Truschkat I.
europepmc   +1 more source

Psychedelic Therapy and the Role of Music: A Scoping Review of Quantitative Evidence on Subjective and Objective Outcomes. [PDF]

Brain Behav
Rowe T, Hurzeler T, Towers E, Louie E, Morley KC.   +4 more
europepmc   +1 more source