Di erent program understanding algorithms often use di erent representational frameworks and take advantage of numerous heuristic tricks This situation makes it is di cult to compare these approaches and their performance This paper addresses this problem by proposing constraint sat isfaction as a general framework for describing program understanding algorithms demonstrating how to tranform a ...

Questo articolo illustra brevemente un’architettura per implementare agenti autonomi intelligenti che agiscono in un mondo virtuale creato per un videogioco e possono interagire con esso tramite operazioni di pianificazione in un ambiente dinamico e non completamente osservabile. In particolare, è in corso di sviluppo un’architettura ad agenti di tipo verticale, progettata per consentire agli a...

OBJECTIVE Generalized OA (GOA) is highly prevalent in OA. Individuals with GOA typically suffer from limitations of both upper and lower extremity function, yet we lack a validated instrument to assess their activity limitations. An appropriate instrument might be the HAQ Disability Index (HAQ-DI). Therefore the aim of this study was to evaluate the measurement properties of the HAQ-DI in GOA. ...

The di culty encountered when solving singularly perturbed differential equations is that errors introduced in layers pollute the solution in smooth regions. Since a priori control of the errors in layers is di cult, special methods must be designed to reduce or eliminate polluting errors. Successful methods add dissipation to a computational scheme to enlarge layers to the mesh spacing. We foc...

It is well known that the validity of the so called LenardMagri scheme of integrability of a bi-Hamiltonian PDE can be established if one has some precise information on the corresponding 1st variational Poisson cohomology for one of the two Hamiltonian operators. In the first part of the paper we explain how to introduce various cohomology complexes, including Lie superalgebra and Poisson coho...

This paper presents a nonlinear dual transformation method and general complementary energy principle for solving large deformation theory of elastoplasticity governed by nonsmooth constitutive laws. It is shown that by using this method and principle, the nonconvex and nonsmooth total potential energy is dual to a smooth complementary energy functional, and fully nonlinear equilibrium equation...

in this paper, we introduce and study the notion of precompacttopological generalized groups and some new results are given.

given a mapping $f:xto x$ we naturally associate to it a monotonic map $gg_f:exp xto exp x$ from the power set of $x$ into itself, thus inducing a generalized topology on $x$. in this paper we investigate some properties of generalized topologies which are defined by such a procedure.

in this paper, using a generalized translation operator, we prove theestimates for the generalized fourier-bessel transform in the space l2 on certainclasses of functions.