Most current accounts of color word acquisition propose that the delay between children's first production of color words and adult-like understanding is due to problems abstracting color as a domain of meaning. Here we present evidence against this hypothesis, and show that, from the time children produce color words in a labeling task they use them to represent color. In Experiment 1, an anal...

Comparison of electronand photon-impact processes as a method for determination of photo-ionization cross sections is described, discussed and shown to have many attractive features. Keywords—Transition probability, cross section, photoionization, electron-ionization, multi-photon process.

This paper discusses the results of a benchmark study in which the predictions of numerical codes for neutral beam current drive and heating were compared using the parameters of the reference ITER steady state scenario, as a collaboration work of in the frame of the ITPA-SSO group. The models employed in the benchmarked codes for each physics related to NB heating and current drive, such as th...

Process mining aims to extract information from recorded process data, which can be used to gain insights into the process. This requires applying a discovery algorithm and settings its parameters, after which the discovered process model should be evaluated. Both steps may need to be repeated several times until a satisfying model is found; we refer to this as process exploration. Existing com...

Most current accounts of color word acquisition propose that the delay between children’s first production of color words and adult-like understanding is due to problems abstracting color as a domain of meaning. Here we present evidence against this hypothesis, and show that, from the time children produce color words in a labeling task they use them to represent color. In Experiment 1, an anal...

amide-iminol tautomerism was studied for ionized oxamic acid (oa+•) in the gas phase using thedft method with the ub3lyp functional and various basis sets {6-31++g(d,p), 6-311+g(d,p), and augcc-pvdz}. among twenty tautomers-rotamers possible for oa+•, eleven isomers were found to bethermodynamically stable. similarly as for the neutral molecule, ionization (oa → oa+• + e) favors theamidization ...

Gaussian process regression allows a simple analytical treatment of exact Bayesian inference and has been found to provide good performance, yet scales badly with the number of training data. In this paper we compare experimentally three of the leading approaches towards scaling Gaussian processes regression to large data sets: the subset of representers method, the reduced rank approximation, ...

In this paper, we discuss a mechanism for transfer learning in the context of inductive process modeling. We begin by describing the dual role of knowledge as a source of model components and structural constraints. Next, we review the task of inductive process modeling and emphasize the effect of domain knowledge on the learning component. We then describe the performance and learning elements...

We formalise proofs by structural induction on sets, speciied as an algebraic data type. The core idea is that the standard scheme for constructor induction can be used for the derivation of alternative schemes. This way, considerable exibility can be obtained for proofs in the inductive theory for the sets. For more general purposes we formulate a rule for`hybrid' induction, which allows a var...