Many children in the U.S. initially come to understand the equal sign operationally, as a symbol meaning “add up the numbers” rather than relationally, as an indication that the two sides of an equation share a common value. According to a change-resistance account (McNeil & Alibali, 2005b), children’s operational ways of thinking are never erased, and when activated, can interfere with mathema...

In this paper, a new shifted ultraspherical wavelets operational matrix of derivatives is introduced. The two wavelets operational matrices, namely Legendre and first kind Chebyshev operational matrices can be deduced as two special cases. Two numerical algorithms based on employing the shifted ultraspherical wavelets operational matrix of derivatives for solving linear and nonlinear differenti...

We present a machine-checked formalisation of the Java memory model and connect it to an operational semantics for Java source code and bytecode. This provides the link between sequential semantics and the memory model that has been missing in the literature. Our model extends previous formalisations by dynamic memory allocation, thread spawns and joins, infinite executions, the wait-notify mec...

OpenMP is the de facto standard to exploit the on-node parallelism in new generation supercomputers. Despite its overall ease of use, even expert users are known to create OpenMP programs that harbor concurrency errors, of which one of the most insidious of errors are data races. OpenMP is also a rapidly evolving standard, which means that future data races may be introduced within unfamiliar c...

We propose a formal definition for (valid) speculative computations, which is independent of any implementation technique. By speculative computations we mean optimization mechanisms that rely on relaxing the flow of execution in a given program, and on guessing the values read from pointers in the memory. Our framework for formalizing these computations is the standard operational one that is ...

Probabilistic ω-automata are variants of nondeterministic automata for infinite words where all choices are resolved by probabilistic distributions. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) the probability for the accepting runs is positive (probable semantics), or (ii) almost all runs are accepting (almost-sure semantics), or (iii) the probab...

With the increasing installation of wind turbines both onshore and offshore, condition monitoring technologies systems have become increasingly important in order to reduce downtime operations maintenance (O&M) cost, thus maximising economic benefits. This paper presents a novel machine learning model-based data-driven approach accurately evaluate performance diagnose faults. The is based on Lo...

Dissolution pressure and nozzle temperature effects on particle size and distribution were investigated for RESS (Rapid Expansion of Supercritical Solution) process. Supercritical CO2 was used as solvent and Ibuprofen was applied as the model component in all runs. The resulting Ibuprofen nano-particles (about 50 nm in optimized runs) were analyzed by SEM and laser diffraction pa...