Transparent Provenance Derivation for User Decisions

It is rare for data's history to include computational processes alone. Even when software generates data, users ultimately decide to execute software procedures, choose their configuration and inputs, reconfigure, halt and restart processes, and so on. Understanding the provenance of data thus involves understanding the reasoning of users behind these decisions, but demanding that users explicitly document decisions could be intrusive if implemented naively, and impractical in some cases. In this paper, therefore, we explore an approach to transparently deriving the provenance of user decisions at query time. The user reasoning is simulated, and if the result of the simulation matches the documented decision, the simulation is taken to approximate the actual reasoning. The plausibility of this approach requires that the simulation mirror human decision -making, so we adopt an automated process explicitly modelled on human psychology. The provenance of the decision is modelled in OPM, allowing it to be queried as part of a larger provenance graph, and an OPM profile is provided to allow consistent querying of provenance across user decisions.

Automating the product derivation process of multi-agent systems product lines

Agent-oriented software engineering and software product lines are two promising software engineering techniques. Recent research work has been exploring their integration, namely multi-agent systems product lines (MAS-PLs), to promote reuse and variability management in the context of complex software systems. However, current product derivation approaches do not provide specific mechanisms to deal with MAS-PLs. This is essential because they typically encompass several concerns (e.g., trust, coordination, transaction, state persistence) that are constructed on the basis of heterogeneous technologies (e.g., object-oriented frameworks and platforms). In this paper, we propose the use of multi-level models to support the configuration knowledge specification and automatic product derivation of MAS-PLs. Our approach provides an agent-specific architecture model that uses abstractions and instantiation rules that are relevant to this application domain. In order to evaluate the feasibility and effectiveness of the proposed approach, we have implemented it as an extension of an existing product derivation tool, called GenArch. The approach has also been evaluated through the automatic instantiation of two MAS-PLs, demonstrating its potential and benefits to product derivation and configuration knowledge specification.

Processing of hierarchical syntactic strusture in music

Hierarchical structure with nested nonlocal dependencies is a key feature of human language and can be identified theoretically in most pieces of tonal music. However, previous studies have argued against the perception of such structures in music. Here, we show processing of nonlocal dependencies in music. We presented chorales by J. S. Bach and modified versions inwhich the hierarchical structure was rendered irregular whereas the local structure was kept intact. Brain electric responses differed between regular and irregular hierarchical structures, in both musicians and nonmusicians. This finding indicates that, when listening to music, humans apply cognitive processes that are capable of dealing with longdistance dependencies resulting from hierarchically organized syntactic structures. Our results reveal that a brain mechanism fundamental for syntactic processing is engaged during the perception of music, indicating that processing of hierarchical structure with nested nonlocal dependencies is not just a key component of human language, but a multidomain capacity of human cognition.

On the worldsheet derivation of large N dualities for the superstring

Large N topological string dualities have led to a class of proposed open/ closed dualities for superstrings. In the topological string context, the worldsheet derivation of these dualities has already been given. In this paper we take the first step in deriving the full ten-dimensional superstring dualities by showing how the dualities arise on the superstring worldsheet at the level of F terms. As part of this derivation, we show for F-term computations that the hybrid formalism for the superstring is equivalent to a (c) over cap = 5 topological string in ten-dimensional spacetime. Using the (c) over cap = 5 description, we then show that the D brane boundary state for the ten-dimensional open superstring naturally emerges on the worldsheet of the closed superstring dual.

Simple derivation of general Fierz-type identities

General Fierz-type identities are examined and their well-known connection with completeness relations in matrix vector spaces is shown. In particular, I derive the chiral Fierz identities in a simple and systematic way by using a chiral basis for the complex 4 X 4 matrices. Other completeness relations for the fundamental representations of SU(N) algebras can be extracted using the same reasoning. (c) 2005 American Association of Physics Teachers.

Towards a worldsheet derivation of the Maldacena conjecture

A U(2,2 vertical bar 4)-invariant A-model constructed from fermionic superfields has recently been proposed as a sigma model for the superstring on AdS(5) X S(5). After explaining the relation of this A-model with the pure spinor formalism, the A-model action is expressed as a gauged linear sigma model. In the zero radius limit, the Coulomb branch of this sigma model is interpreted as D-brane holes which are related to gauge-invariant N = 4 d=4 super-Yang-Mills operators. As in the worldsheet derivation of open-closed duality for Chem-Simons theory, this construction may lead to a worldsheet derivation of the Maldacena conjecture. Intriguing connections to the twistorial formulation of N = 4 Yang-Mills are also noted. (Republished with permission of JHEP from JHEP 0803:031, 2008.)

DERIVATION OF THE ENERGY-TIME UNCERTAINTY RELATION

A derivation from first principles is given of the energy-time uncertainty relation in quantum mechanics. A canonical transformation is made in classical mechanics to a new canonical momentum, which is energy E, and a new canonical coordinate T, which is called tempus, conjugate to the energy. Tempus T, the canonical coordinate conjugate to the energy, is conceptually different from the time t in which the system evolves. The Poisson bracket is a canonical invariant, so that energy and tempus satisfy the same Poisson bracket as do p and q. When the system is quantized, we find the energy-time uncertainty relation DELTAEDELTAT greater-than-or-equal-to HBAR/2. For a conservative system the average of the tempus operator T is the time t plus a constant. For a free particle and a particle acted on by a constant force, the tempus operators are constructed explicitly, and the energy-time uncertainty relation is explicitly verified.

Modelling thermodynamic properties of banana waste by analytical derivation of desorption isotherms

Banana is an agricultural product of great economic importance for various developing countries. The relationship between moisture content and water activity provides useful information for the processing and storage of banana waste. The water activity and moisture content of three banana (Mussa spp. Haploid AAB cv. Nanica) waste items were analyzed to determine the desorption isotherms at six different temperatures (20, 30, 40, 50, 60 and 70°C). The desorption isotherms of the peel, pedicel and pulp of overripe bananas were determined in wide ranges of moisture content (0.001-6.360 kg kg-1 d.b.) and water activity (0.02-0.907). The theoretical GAB model was used for modelling the desorption isotherms. An analytical solution of the Clausius-Clapeyron equation was proposed to compute the isosteric heat of sorption, the differential entropy and Gibbs' free energy by way of the GAB model when the effect of temperature on the hygroscopic equilibrium was considered. © 2012 de Gruyter. All rights reserved.

A simple derivation of the Lindblad equation

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

As criações neológicas apresentadas por José Simão no jornal Folha de São Paulo

Pós-graduação em Estudos Linguísticos - IBILCE

Um estudo funcional da perífrase conjuncional 'Desde que' sob a ótica da gramaticalização

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

RNS derivation of N-point disk amplitudes from the revisited S-matrix approach

Recently, in [7] we proposed a revisited S-matrix approach to efficiently find the bosonic terms of the open superstring low energy effective lagrangian (OSLEEL). This approach allows to compute the alpha'(N) terms of the OSLEEL using open superstring n-point amplitudes in which n is considerably lower than (N + 2) (which is the order of the required amplitude to obtain those alpha'(N) terms by means of the conventional S-matrix approach). In this work we use our revisited S-matrix approach to examine the structure of the scattering amplitudes, arriving at a closed form for them. This is a RNS derivation of the formula first found by Mafra, Schlotterer and Stieberger [21], using the pure spinor formalism. We have succeeded doing this for the 5, 6 and 7-point amplitudes. In order to achieve these results we have done a careful analysis of the kinematical structure of the amplitudes, finding as a by-product a purely kinematical derivation of the BCJ relations (for N = 4, 5, 6 and 7). Also, following the spirit of the revisited S-matrix approach, we have found the alpha' expansions for these amplitudes up to alpha'(6) order in some cases, by only using the well known open superstring 4-point amplitude, cyclic symmetry and tree level unitarity: we have not needed to compute any numerical series or any integral involving polylogarithms, at any moment. (C) 2014 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/3.0/).

Corrosion behaviour of aluminium syntactic functionally graded composites

Syntactic Functionally Graded Metal Matrix Composites (SFGMMC) are a type of composites reinforced by microballoons exhibiting a graded reinforcement distribution. These materials constitute a promising new generation of lightweight structural materials for aerospace, marine and shielding/insulation applications. In this work, A356 alloy reinforced with silica-alumina microballoons (SiO2-Al2O3) was processed by casting techniques. The influence of the microballoon distribution gradient on the corrosion behaviour of the composite was investigated by potentiodynamic polarisation and Electrochemical Impedance Spectroscopy (EIS). Composite surfaces were analysed before and after testing by Optical Microscopy (OM) and Scanning Electron Microscopy (SEM) to determine the influence of microstructural changes.