This paper presents a domain-specific querying language for model-driven spreadsheets. We briefly show the design of the language and present in detail its implementation, from the denormalization of data and translation of our user-friendly query language to a more efficient query, to the execution of the query using Google. To validate our work, we executed an empirical study, comparing QuerySheet with an alternative spreadsheet querying tool, which produced positive results.

These tutorial notes present a methodology for spreadsheet engineering. First, we present data mining and database techniques to reason about spreadsheet data. These techniques are used to compute relationships between spreadsheet elements (cells/columns/rows). These relations are then used to infer a model defining the business logic of the spreadsheet. Such a model of a spreadsheet data is a visual domain specific language that we embed in a well-known spreadsheet system. The embedded model is the building block to define techniques for model-driven spreadsheet development, where advanced techniques are used to guarantee the model-instance synchronization. In this model-driven environment, any user data update as to follow the the model-instance conformance relation, thus, guiding spreadsheet users to introduce correct data. Data refinement techniques are used to synchronize models and instances after users update/evolve the model. These notes briefly describe our model-driven spreadsheet environment, the MDSheet environment, that implements the presented methodology. To evaluate both proposed techniques and the MDSheet tool, we have conducted, in laboratory sessions, an empirical study with the summer school participants. The results of this study are presented in these notes.

The amplitude of two-photon transitions between hyperfine states in hydrogenlike ions is derived based on the relativistic Dirac equation and second-order perturbation theory. We study angular and linear polarization properties of the photon pair emitted in the decay of $2s$ states, where spin-flip and non-spin-flip transitions are highlighted. We pay particular attention to hydrogenlike uranium, since it is an ideal candidate for investigating relativistic and high-multipole effects, such as spin-flip transitions. Two types of emission patterns are identified: (i) non-spin-flip transitions are found to be characterized by an angular distribution of the type $W($\theta${})$\sim${}1+{cos}^{2}$\theta${}$ while the polarizations of the emitted photons are parallel; and (ii) spin-flip transitions have somewhat smaller decay rates and are found to be characterized by an angular distribution of the type $W($\theta${})$\sim${}1$-${}1/3{cos}^{2}$\theta${}$ while the polarizations of the emitted photons are orthogonal, where $$\theta${}$ is the angle between photons directions. Deviations due to nondipole and relativistic contributions are evaluated for both types of transitions. This work is the first step toward exploring the effect of the nucleus over the angular and polarization properties of the photon pairs emitted by two-photon transitions.

The amplitude of two-photon transitions between hyperfine states in hydrogenlike ions is derived based on the relativistic Dirac equation and second-order perturbation theory. We study angular and linear polarization properties of the photon pair emitted in the decay of $2s$ states, where spin-flip and non-spin-flip transitions are highlighted. We pay particular attention to hydrogenlike uranium, since it is an ideal candidate for investigating relativistic and high-multipole effects, such as spin-flip transitions. Two types of emission patterns are identified: (i) non-spin-flip transitions are found to be characterized by an angular distribution of the type $W($\theta${})$\sim${}1+{cos}^{2}$\theta${}$ while the polarizations of the emitted photons are parallel; and (ii) spin-flip transitions have somewhat smaller decay rates and are found to be characterized by an angular distribution of the type $W($\theta${})$\sim${}1$-${}1/3{cos}^{2}$\theta${}$ while the polarizations of the emitted photons are orthogonal, where $$\theta${}$ is the angle between photons directions. Deviations due to nondipole and relativistic contributions are evaluated for both types of transitions. This work is the first step toward exploring the effect of the nucleus over the angular and polarization properties of the photon pairs emitted by two-photon transitions.

In electron scattering, the target form factors contribute significantly to the diffraction pattern and carry information on the target electromagnetic charge distribution. Here we show that the presence of electromagnetic radiation, as intense as currently available in free electron lasers, shifts the dependence of the target form factors by a quantity that depends on the number of photons absorbed or emitted by the electron as well as on the parameters of the electromagnetic radiation. As example, we show the impact of intense ultraviolet and soft X-ray radiation on elastic electron scattering by the Ne-like argon ion and by the xenon atom. We find that the shift brought by the radiation to the form factor is of the order of some percent. Our results may open up a new avenue to explore matter with the assistance of laser.

In electron scattering, the target form factors contribute significantly to the diffraction pattern and carry information on the target electromagnetic charge distribution. Here we show that the presence of electromagnetic radiation, as intense as currently available in free electron lasers, shifts the dependence of the target form factors by a quantity that depends on the number of photons absorbed or emitted by the electron as well as on the parameters of the electromagnetic radiation. As example, we show the impact of intense ultraviolet and soft X-ray radiation on elastic electron scattering by the Ne-like argon ion and by the xenon atom. We find that the shift brought by the radiation to the form factor is of the order of some percent. Our results may open up a new avenue to explore matter with the assistance of laser.

Three fluorinated Mo-Cu-thiolate isomers,[Ph4Ph[S2MoS2Cu(n-SPhF)], [n-SPhF = 2-fluorothiophenol (la)], 3-fluorothiophenol (lb), and 4-fluorothiophenol (1c)] were synthesized and spectroscopically characterized. The F-19-NMR signal of the fluorine atom in the.benzene has different chemical shift for each isomer, which is highly influenced by the local environment that can be manipulated by different solvents and solutes. The fluorine-19 chemical shift is an advantageous NMR structural probe in alternative to H-1-NMR [B.K. Maiti, T. Aviles, M. Matzapetakis, I. Moura, S.R. Pauleta, JJ.G. Moura, Eur. J. Inorg. Chem. (2012) 4159.], that can be used to provide local information on the pocket of the metal cluster in the Orange Protein (ORP). (C) 2014 Elsevier B.V. All rights reserved.

N2OR has been found to have two structural forms of its tetranuclear copper active site, the 4CuS Cu(Z)* form and the 4Cu2S Cu(Z) form. EPR, resonance Raman, and MCD spectroscopies have been used to determine the redox states of these sites under different reductant conditions, showing that the Cu(Z)* site accesses the 1-hole and fully reduced redox states, while the Cu(Z) site accesses the 2-hole and 1-hole redox states. Single-turnover reactions of N2OR for Cu(Z) and Cu(Z)* poised in these redox states and steady-state turnover assays with different proportions of Cu(Z) and Cu(Z)* show that only fully reduced Cu(Z)* is catalytically competent in rapid turnover with N2O.

n/a

n/a

n/a

In this paper we address a solution for detecting and tolerating one of the most typical concurrency bugs: atomicity violations. More specifically, we address High-Level Atomicity Violations (HLAV). High-level atomicity violations result from the misspecification of the scope of an atomic block, by splitting it in two or more atomic blocks which may be interleaved with other atomic blocks. Figure 1 shows an example of this type of atomicity violation. The intuitive idea behind HLAV is that if two shared data items (e.g., memory locations) were both accessed inside an atomic block, they are interrelated and probably the programmer intention is that there shall be no interleavings between these two accesses. Therefore, if (in the same program) this two addresses are accessed separately in different atomic blocks, an unfortunate interleaving may cause an atomicity violation.

n/a