We derive a variant of the loop-tree duality for Feynman integrals in Schwinger parametric representation. This is achieved by decomposing integration domain into disjoint union cells, one each spanning tree graph under consideration. Each these cells total space fiber bundle with contractible fibers over cube. Loop-tree emerges then as result first domain, integrating along bundle. As byproduc...

Disciplines outside of engineering, for instance, architecture, are adopting parametric modelling as a design representation. This paper reports on three aspects of the adoption process, which is largely being conducted through multi-day workshops outside of formal university course settings. Fist, the structure and process of such workshops may be a model for interdisciplinary learning and uni...

This paper introduces an XML representation for the parametric data model handling temporal data. The parametric data model represents an object either in a single tuple or in multiple tuples. This feature reduces query complexities at the user level and provides elegant approaches to manage temporal data. However, this property requires the data model to have flexible attribute value sizes and...

We have developed a methodology based on symbolic manipulation of inductive Boolean functions (IBFs) for formal verification of inductively-defined hardware. This methodology combines the techniques of reasoning by induction and symbolic tautologychecking in an automated and potentially efficient way. In this paper, we describe a component of this methodology that regards various mechanisms use...

In the present paper, we use a new generalization of the Hukuhara di¤erence and derivative for fuzzy-valued functions, and we study several properties of the new concepts in the setting of the LU-parametric representation of fuzzy numbers, assessed both from theoretical and computational points of view.

We extend the parametric representation of renormalizable non commutative quantum field theories to a class of theories which we call “critical”, because their power counting is definitely more difficult to obtain.This class of theories is important since it includes gauge theories, which should be relevant for the quantum Hall effect.

The paper presents an algorithm for case-based synthesis of single-input single-output power-drive systems based on dynamic behavior design speciications. The case-base consists of electro-mechanical components modelled using the bond-graph formalism. An hierarchical classiication scheme for devices that distinguishes between the functional and structural aspects of a device is described. The s...