Plane curve diagrams and geometrical applications

We look at plane curve diagrams (f,alpha), which are given by a plane curve multigerm alpha : (R, S) -> R(2) and a function on it f : (R, S) -> R. We obtain a classification of all such diagrams, where alpha has e-codimension <= 2 and f has finite order. Then we define an equivalence between plane curves which we call Ah(alpha)-equivalence and which is determined by the class of the diagram (h(alpha), alpha). Here, h alpha denotes the height function of alpha with respect to its normal vector. This is an equivalence which not only takes into account the topology of the singularity of alpha, but also its flat geometry. Finally, we apply our results in order to obtain a classification of all the plane projections of a generic space curve gamma embedded in R(3).

Design and Analysis of Optical Interconnection Networks for a Dataflow Parallel Computer

This work shows the design, simulation, and analysis of two optical interconnection networks for a Dataflow parallel computer architecture. To verify the optical interconnection network performance on the Dataflow architecture, we have analyzed the load balancing among the processors during the parallel programs executions. The load balancing is a very important parameter because it is directly associated to the dataflow parallelism degree. This article proves that optical interconnection networks designed with simple optical devices can provide efficiently the dataflow requirements of a high performance communication system.

Phase diagrams of a CTAB/organic solvent/buffer system applied to extraction of enzymes by reverse micelles

A partial pseudo-ternary phase diagram has been studied for the cethyltrimethylammonium bromide/isooctane:hexanol:butanol/potassium phosphate buffer system, where the two-phase diagram consisting of the reverse micelle phase (L-2) in equilibrium with the solvent is indicated. Based on these diagrams two-phase systems of reverse micelles were prepared with different compositions of the compounds and used for extraction and recovery of two enzymes, and the percentage of enzyme recovery yield monitored. The enzymes glucose-6-phosphate dehydrogenase (G6PD) and xylose redutase (XR) obtained from Candida guilliermondii yeast were used in the extraction procedures. The recovery yield data indicate that micelles having different composition give selective extraction of enzymes. The method can thus be used to optimize enzyme extraction processes. (c) 2007 Elsevier B.V. All rights reserved.

Phase Diagrams of the Aqueous Two-Phase Systems of Poly(ethylene glycol)/Sodium Polyacrylate/Salts

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

CP and T trajectory diagrams for a unified graphical representation of neutrino oscillations

Recently the CP trajectory diagram was introduced to demonstrate the difference between the intrinsic CP violating effects to those induced by matter for neutrino oscillation. In this Letter we introduce the T trajectory diagram. In these diagrams the probability for a given oscillation process is plotted versus the probability for the CP- or the T-conjugate processes, which forms an ellipse as the CP- or T-violating phase is varied. Since the CP- and the T-conjugate processes are related by CPT symmetry, even in the presence of matter, these two trajectory diagrams are closely related with each other and form a unified description of neutrino oscillations in matter. (C) 2002 Published by Elsevier B.V. B.V.

Divergent diagrams of folds and simultaneous conjugacy of involutions

In this work we show that the smooth classification of divergent diagrams of folds (f(1),..., f(s)) : (R-n, 0) -> (R-n x(...)xR(n), 0) can be reduced to the classification of the s-tuples (p(1)., W) of associated involutions. We apply the result to obtain normal forms when s <= n and {p(1),...,p(s)} is a transversal set of linear involutions. A complete description is given when s = 2 and n >= 2. We also present a brief discussion on applications of our results to the study of discontinuous vector fields and discrete reversible dynamical systems.

A simple mechanism to deal with sequential code in dataflow architectures

The aim of this work is to propose a simple and efficient mechanism to deal with the problem of executing sequential code in a pure dataflow machine. Our results is obtained with a simulator of Wolf [4] architecture. The implemented mechanism improved the architecture performance when executing sequential code and we expect that this improvement could be better if we use some heuristics to deal with some special groups of instructions such as branch operations. Further research will show us if this is true.

Two-loop self-energy diagrams worked out with NDIM

In this work we calculate two two-loop massless Feynman integrals pertaining to self-energy diagrams using NDIM (Negative Dimensional Integration Method). We show that the answer we get is 36-fold degenerate. We then consider special cases of exponents for propagators and the outcoming results compared with known ones obtained via traditional methods.

DOCPAL at nineteenth months: an outline of activities, problems and promises (with a complete set of flow diagrams, worksheets, forms, etc)

Includes bibliography

Emergetic ternary diagrams: five examples for application in environmental accounting for decision-making

In a recent paper, "A combined tool for environmental scientists and decision makers: ternary diagrams and emergy accounting." [Giannettti BF, Barrella FA, Almeida CMVB. A combined tool for environment scientists and decision makers: ternary diagrams and emergy accounting. J Clean Prod, in press http://dx.doi.org/10.1016/j.jclepro.2004.09.002] Ternary diagrams were proposed as a graphical tool to assist emergy analysis. The graphical representation of the emergy accounting data makes it possible to compare processes and systems with and without ecosystem services, to evaluate improvements and to follow the system performance over time. The graphic tool is versatile and adaptable to represent products, processes, systems, countries, and different periods of time.The use and the versatility of ternary diagrams for assisting in performing emergy analyses are illustrated by means of five examples taken from the literature, which are presented and discussed. It is shown that emergetic ternary diagram's properties assist the assessment of the system of the system efficiency, its dependance upon renewable and non-renewable inputs and the environmental support for dilution and abatement of process emissions. With the aid of ternary diagrams, details such as the interaction between systems and between systems and the environment are recognized and evaluated. Such a tool for graphical analysis allows a transparent presentation of the results and can serve as an interface between emergy scientists and decision makers, provided the meaning of each line in the diagram is carefully explained and understood. (c) 2005 Elsevier Ltd. All rights reserved.

Yang-Lee zeros of the two- and three-state Potts model defined on π3 Feynman diagrams

We present both analytical and numerical results on the position of partition function zeros on the complex magnetic field plane of the q=2 state (Ising) and the q=3 state Potts model defined on phi(3) Feynman diagrams (thin random graphs). Our analytic results are based on the ideas of destructive interference of coexisting phases and low temperature expansions. For the case of the Ising model, an argument based on a symmetry of the saddle point equations leads us to a nonperturbative proof that the Yang-Lee zeros are located on the unit circle, although no circle theorem is known in this case of random graphs. For the q=3 state Potts model, our perturbative results indicate that the Yang-Lee zeros lie outside the unit circle. Both analytic results are confirmed by finite lattice numerical calculations.

Scaling a Dataflow Testing Methodology to the MultiparadigmWorld of Commercial Spreadsheets

Spreadsheets are widely used but often contain faults. Thus, in prior work we presented a data-flow testing methodology for use with spreadsheets, which studies have shown can be used cost-effectively by end-user programmers. To date, however, the methodology has been investigated across a limited set of spreadsheet language features. Commercial spreadsheet environments are multiparadigm languages, utilizing features not accommodated by our prior approaches. In addition, most spreadsheets contain large numbers of replicated formulas that severely limit the efficiency of data-flow testing approaches. We show how to handle these two issues with a new data-flow adequacy criterion and automated detection of areas of replicated formulas, and report results of a controlled experiment investigating the feasibility of our approach.

Use of computer algebra in the calculation of Feynman diagrams

The increasing precision of current and future experiments in high-energy physics requires a likewise increase in the accuracy of the calculation of theoretical predictions, in order to find evidence for possible deviations of the generally accepted Standard Model of elementary particles and interactions. Calculating the experimentally measurable cross sections of scattering and decay processes to a higher accuracy directly translates into including higher order radiative corrections in the calculation. The large number of particles and interactions in the full Standard Model results in an exponentially growing number of Feynman diagrams contributing to any given process in higher orders. Additionally, the appearance of multiple independent mass scales makes even the calculation of single diagrams non-trivial. For over two decades now, the only way to cope with these issues has been to rely on the assistance of computers. The aim of the xloops project is to provide the necessary tools to automate the calculation procedures as far as possible, including the generation of the contributing diagrams and the evaluation of the resulting Feynman integrals. The latter is based on the techniques developed in Mainz for solving one- and two-loop diagrams in a general and systematic way using parallel/orthogonal space methods. These techniques involve a considerable amount of symbolic computations. During the development of xloops it was found that conventional computer algebra systems were not a suitable implementation environment. For this reason, a new system called GiNaC has been created, which allows the development of large-scale symbolic applications in an object-oriented fashion within the C++ programming language. This system, which is now also in use for other projects besides xloops, is the main focus of this thesis. The implementation of GiNaC as a C++ library sets it apart from other algebraic systems. Our results prove that a highly efficient symbolic manipulator can be designed in an object-oriented way, and that having a very fine granularity of objects is also feasible. The xloops-related parts of this work consist of a new implementation, based on GiNaC, of functions for calculating one-loop Feynman integrals that already existed in the original xloops program, as well as the addition of supplementary modules belonging to the interface between the library of integral functions and the diagram generator.