We consider a while loop on some space S and we are interested in deriving the function that this loop defines between its initial states and its final states (when it terminates). Such a capability is useful in a wide range of applications, including reverse engineering, software maintenance, program comprehension, and program verification. In the absence of a general theoretical solution to t...

statement of problem: t-loop is one of the most popular closing loops in orthodontic profession. however its activation is in the contrary to bouschinger effect theory, since the formed bends would be opened during activation. the purpose of this study was to add a helix in a way to be more respondent to the bouschinger effect theory. objectives: to compare the load deflection, maximal elastic ...

the cu doped nio (nio:cu) nanoparticles were synthesized by co-precipitation method using nicl2.6h2o, cucl2.2h2o for ni and cu sources, respectively. sodium hydroxide has been used as a precipitator agent. effect of cu doping agent on the structural and optical properties of nanostructures were characterized by xrd, sem, afm, spectrophotometry, ftir and vsm techniques. xrd revealed that nio:cu ...

We analyze the investment decision of a ...rm that may complete a project either in one lump or in smaller parts at distinct points in time. The ...rm faces a trade-o¤ between the cost savings that arise when the project is completed in one go and the additional ‡exibility that arises when the ...rm is able to respond to resolving uncertainty by choosing optimal timing individually for each sta...

We develop a method for the decomposition of structural brain connectivity estimates into locally coherent components, leveraging a non-parametric Bayesian hierarchical mixture model with tangent Gaussian components. This model provides a mechanism to share information across subjects while still including explicit mixture distributions of connections for each subject. It further uses mixture c...

The difficulty with information retrieval for OCR documents lies in the fact that OCR documents comprise of a significant amount of erroneous words and unfortunately most information retrieval techniques rely heavily on word matching between documents and queries. In this paper, we propose a general content-based correction model that can work on top of an existing OCR correction tool to “boost...