Designing and exploiting collaborative activity indicators is a strong challenge for Technology Enhanced Learning Systems (TELS). In this work we compute indicators using modeled traces transformation and we use to allow possible this computation a Trace Based System. We develop a managment TBS for Moodle. We propose an original model-driven approach, introducing the concepts of modeled traces ...

We discuss various applications of trace estimation techniques for evaluating functions of the form tr(f(A)) where f is certain function. The first problem we consider that can be cast in this form is that of approximating the Spectral density or Density of States(DOS) of a matrix. The DOS is a probability density distribution that measures the likelihood of finding eigenvalues of the matrix at...

We seek the analogy of the mathematical form of the alternative form of Einstein's field equations for Lovelock's field equations. We find that the price for this analogy is to accept the existence of the trace anomaly of the energy-momentum tensor even in classical treatments.

Trace minerals such as zinc, copper, and manganese are essential cofactors for hundreds of cellular enzymes and transcription factors in all animal species, and thus participate in a wide variety of biochemical processes. Immune development and response, tissue and bone development and integrity, protection against oxidative stress, and cellular growth and division are just a few examples. Defi...

A theory of automatic hierarchical verification of speed-independent circuits is developed and implemented. The theory models circuits as trace structures. Trace structures represent the behaviors of circuits as sets of traces, which are sequences of transitions on the circuit's input and output wires. Trace structures form a compositional semantics for circuits: two trace structures can be com...

This paper represents an integrated development environment for visual parallel programing. We believe that parallelism is clearly seen in visual form. Many classes of the problems are naturally described in flowchart form. So we design the integrated develop environment, described all its parts, and trace the entire path of the algorithm’s development.

We discuss the determination of the lowest Form Factors relative to the trace operators of N = 1 Super Sinh-Gordon Model. Analytic continuations of these Form Factors as functions of the coupling constant allows us to study a series of models in a uniform way, among these the latest model of the Roaming Series and a class of minimal supersymmetric models.

background: asthma is a multifactorial disease and its severity varies with the inflammatory grade. there are conflicting reports about the roles of trace elements in asthma. this study examined the effects of zinc (zn), copper (cu), and selenium (se) concentrations in sera of patients with allergic asthma attending ghaem hospital, mashhad, iran. methods: forty-nine patients, aged 10 to 50 year...