Mailing address: Marcelo Baptista Dohnert Rua Gonçalves Chaves, 3949 bloco A apto 201, Bairro Centro 96015-560 – Pelotas, RS, Brasil. [email protected] ABSTRACT Introduction: Stretching is a therapeutic technique and may be used as a form of warm-up to increase flexibility or decrease pain throughout the movement, with objective to improve performance and reduce the risk of injury. Objective: ...

This paper focuses on the control techniques employed for Distribution Static Compensator. Distributed static compensator is a device used for power quality improvement. Here we considered voltage source converter based distributed static compensator. It describes to control distribution Static Compensator employed at the distribution end. The phase shift control and AC bus /DC link voltage sch...

The scale of Android applications in the market is growing rapidly. To efficiently detect the malicious behavior in these applications, an array of static analysis tools are proposed. However, static analysis tools suffer from code hiding techniques like packing, dynamic loading, self modifying, and reflection. In this paper, we thus present DEXLEGO, a novel system that performs a reassembleabl...

Intermediate data structures are widely used in functional programs. Programs which use these intermediate structures are usually a lot easier to understand, but they result in loss of efficiency at run time. In order to reduce these run-time costs, a transformation algorithm called deforestation was proposed by Wadler which could eliminate intermediate structures. However, this algorithm is on...

As web applications become more complex, automated techniques for their testing and verification have become essential. Many of these techniques, such as ones for identifying security vulnerabilities, require information about a web application’s control flow. Currently, this information is manually specified or automatically generated using techniques that cannot give strong guarantees of comp...

interpretation is not without drawbacks. The algorithms involved can be difficult to implement and the resulting implementations slow. Although these problems can be remedied to some extent by employing a clear theoretical framework and employing suitable care in implementation, incorporating abstract interpretation into a Prolog implementation is far from easy. More troubling is that some non-...

Even with impressive advances in formal methods over the last few decades, some problems in automatic verification remain challenging. Central amongst these is the verification of quantitative properties of software such as execution time or energy usage. This paper discusses the main challenges for quantitative analysis of software in cyber-physical systems. It also presents a new approach to ...

BACKGROUND The purpose of the present study is to compare finite size pencil beam (fsPB) and Monte Carlo (MC) based optimization of lung intensity-modulated stereotactic radiotherapy (lung IMSRT). MATERIALS AND METHODS A fsPB and a MC algorithm as implemented in a biological IMRT planning system were validated by film measurements in a static lung phantom. Then, they were applied for static l...