Today's ever-increasing amount of data places new demands on cognitive ergonomics and requires new design ideas to ensure successful human-data interaction. Our aim was to identify the cognitive factors that must be considered when designing systems to improve decision-making based on large amounts of data. We constructed a task that simulates the typical cognitive demands people encounter in data analysis situations. We demonstrate some essential cognitive limitations using a behavioural experiment with 20 participants. The studied task presented the participants with critical and noncritical attributes that contained information on two groups of people. They had to select the response option (group) with the higher level of critical attributes. The results showed that accuracy of judgement decreased as the amount of information increased, and that judgement was affected by irrelevant information. Our results thus demonstrate critical cognitive limitations when people utilise data and suggest a cognitive bias in data-based decision-making. Therefore, when designing for cognition, we should consider the human cognitive limitations that are manifested in a data analysis context. Furthermore, we need general cognitive ergonomic guidelines for design that support the utilisation of data and improve data-based decision-making.

Dyslexia is characterized by poor reading skills, yet often also difficulties in second-language learning. The differences between native- and second-language speech processing and the establishment of new brain representations for spoken second language in dyslexia are not, however, well understood. We used recordings of the mismatch negativity component of event-related potential to determine possible differences between the activation of long-term memory representations for spoken native- and second-language word forms in Finnish-speaking 9-11-year-old children with or without dyslexia, studying English as their second language in school. In addition, we sought to investigate whether the bottleneck of dyslexic readers' second-language learning lies at the level of word representations or smaller units and whether the amplitude of mismatch negativity is correlated with native-language literacy and related skills. We found that the activation of brain representations for familiar second-language words, but not for second-language speech sounds or native-language words, was weaker in children with dyslexia than in typical readers. Source localization revealed that dyslexia was associated with weak activation of the right temporal cortex, which has been previously linked with word-form learning. Importantly, the amplitude of the mismatch negativity for familiar second-language words correlated with native-language literacy and rapid naming scores, suggesting a close link between second-language processing and these skills.

In Romance, Focus Fronting (FF) is generally related to a contrastive or corrective function. In this paper, I show that Spanish may resort to FF to express a special evaluative meaning, namely, a mirative (conventional) implicature of surprise and unexpectedness. Mirative FF is problematic for the traditional analyses of FF because it is not necessarily contrastive and does not guarantee the traditional articulation of the sentence into a new and a given part. The results of a syntactic experiment on the distribution and interpretation of FF in European Spanish show that speakers accept FF not only in the corrective but also in the mirative context. The acceptability of mirative FF thus proves that FF in Spanish is not exclusively limited to contrast or linked to information-structural requirements such as the new-old information distinction. FF may also be used to express a mirative implicature that requires a set of focal alternatives in order to be interpreted correctly.

If we replace first-order logic by second-order logic in the original definition of Godel's inner model L, we obtain the inner model of hereditarily ordinal definable (HOD) sets [33]. In this paper, we consider inner models that arise if we replace first-order logic by a logic that has some, but not all, of the strength of second-order logic. Typical examples are the extensions of first-order logic by generalized quantifiers, such as the Magidor-Malitz quantifier [24], the cofinality quantifier [35], or stationary logic [6]. Our first set of results show that both L and HOD manifest some amount of formalism freeness in the sense that they are not very sensitive to the choice of the underlying logic. Our second set of results shows that the cofinality quantifier gives rise to a new robust inner model between L and HOD. We show, among other things, that assuming a proper class of Woodin cardinals the regular cardinals > (sic)(1) of V are weakly compact in the inner model arising from the cofinality quantifier and the theory of that model is (set) forcing absolute and independent of the cofinality in question. We do not know whether this model satisfies the Continuum Hypothesis, assuming large cardinals, but we can show, assuming three Woodin cardinals and a measurable above them, that if the construction is relativized to a real, then on a cone of reals, the Continuum Hypothesis is true in the relativized model.

Given a connected compact Riemannian manifold (M, g) without boundary, dim M >= 2, we consider a space-time fractional diffusion equation with an interior source that is supported on an open subset Vof the manifold. The time-fractional part of the equation is given by the Caputo derivative of order alpha is an element of(0, 1], and the space fractional part by (-Delta(g))(beta), where beta is an element of(0, 1] and Delta(g) is the Laplace-Beltrami operator on the manifold. The case alpha= beta= 1, which corresponds to the standard heat equation on the manifold, is an important special case. We construct a specific source such that measuring the evolution of the corresponding solution on Vdetermines the manifold up to a Riemannian isometry. (c) 2020 Published by Elsevier Inc.

This study analyzes socially optimal environmental policy for a mine with a model that takes into account waste or waste rock production and abatement possibilities of the mine. We develop a model, in which the mine produces an externality related to the waste rocks, such as acid mine drainage. We find that the extraction rate tends to be lower in a mine with higher waste rock production, and that the optimal tax on the waste rock production is strictly increasing in time. We extend the model to incorporate an additional externality in the form of a stock pollutant. We analyze the optimal taxes and show that the typical result that the time path of the tax on the stock pollutant is inverted U-shaped may be lost in a mine model with abatement possibility and fixed operation period.

Characterization of the primary damage is the starting point in describing and predicting the irradiation-induced damage in materials. So far, primary damage has been described by traditional interatomic potentials in molecular dynamics simulations. Here, we employ a Gaussian approximation machine-learning potential (GAP) to study the primary damage in silicon with close to ab initio precision level. We report detailed analysis of cascade simulations derived from our modified Si GAP, which has already shown its reliability for simulating radiation damage in silicon. Major differences in the picture of primary damage predicted by machine-learning potential compared to classical potentials are atomic mixing, defect state at the heat spike phase, defect clustering, and recrystallization rate. Atomic mixing is higher in the GAP description by a factor of two. GAP shows considerably higher number of coordination defects at the heat spike phase and the number of displaced atoms is noticeably greater in GAP. Surviving defects are dominantly isolated defects and small clusters, rather than large clusters, in GAP's prediction. The pattern by which the cascades are evolving is also different in GAP, having more expanded form compared to the locally compact form with classical potentials. Moreover, recovery of the generated defects at the heat spike phase take places with higher efficiency in GAP. We also provide the attributes of the new defect cluster that we had introduced in our previous study. A cluster of four defects, in which a central vacancy is surrounded by three split interstitials, where the surrounding atoms are all 4-folded bonded. The cluster shows higher occurrence in simulations with the GAP potential. The formation energy of the defect is 5.57 eV and it remains stable up to 700 K, at least for 30 ps. The Arrhenius equation predicts the lifetime of the cluster to be 0.0725 mu s at room temperature.

The ability of frustrated Lewis pairs (FLPs) to activate H-2 is of significant interest for metal-free catalysis. The activation of H-2 is also the key element of parahydrogen-induced polarization (PHIP), one of the nuclear spin hyper polarization techniques. It is demonstrated that o-phenylene-based ansa-aminoboranes (AABs) can produce H-1 nuclear spin hyperpolarization through a reversible interaction with parahydrogen at ambient temperatures. Heteronuclei are useful in NMR and MRI as well because they have a broad chemical shift range and long relaxation times and may act as background-free labels. We report spontaneous formation of N-15 hyperpolarization of the N-H site for a family of AABs. The process is efficient at the high magnetic field of an NMR magnet (7 T), and it provides up to 350-fold N-15 signal enhancements. Different hyperpolarization effects are observed with various AAB structures and in a broad temperature range. Spontaneous hyperpolarization, albeit an order of magnitude weaker than that for N-15, was also observed for B-11 nuclei.

Peptoids, or poly-N-substituted glycines, are characterised by broad structural diversity. Compared to peptides, they are less restricted in rotation and lack backbone-derived H bonding. Nevertheless, certain side chains force the peptoid backbone into distinct conformations. Designable secondary structures like helices or nanosheets arise from this knowledge. Herein, we report the copper-catalysed alkyne-azide cycloaddition (CuAAC) of macrocycles to form innovative tube-like tricyclic peptoids, giving access to host-guest chemistry or storage applications. Different linker systems make the single tubes tuneable in size and enable modifications within the gap. An azobenzene linker, which is reversibly switchable in conformation, was successfully incorporated and allowed for light-triggered changes of the entire tricyclic structure.