A long-standing practical challenge in the optimization of higherorder languages is inlining functions with free variables. Inlining code statically at a function call site is safe if the compiler can guarantee that the free variables have the same bindings at the inlining point as they do at the point where the function is bound as a closure (code and free variables). There have been many atte...

Effect systems and abstract interpretation are two methods to perform static analysis of programs. We present a new technique that builds upon the type and effect information of module signatures to extend abstract interpretation in the context of separate compilation. We use control-flow analysis as an application of this idea to support our claim. Control-flow analysis strives to determine at...

The scientific literature is abundant regarding control charts in multivariate environments for numerical and mixed data; however, there are few publications qualitative data. Qualitative variables provide valuable information on processes various industrial, productive, technological, health contexts. Social no exception. There multiple nominal ordinal categorical used economics, psychology, l...

The specification of access control policies for large, multi-organization applications is difficult and error-prone. Sophisticated policies are needed for fine-grained control of access to large numbers of entities, resulting in many policies specified by different security administrators. Techniques such as role based access control (RBAC) have been proposed to group policies and provide a fr...

Ala~traet--Errors-in-variables problems are considered for the case of three variables, where the underlying relations among the noise-free variables are linear, and covariance information for the noisy variables is available. The static problem where the variables are complex (which can arise when narrowband filtering is used) is analysed in detail. Some results are also presented for the case...

The experiments described here explored how pilots want available maneuver authority information transmitted and how this information affects pilots before and after an aircraft failure. The aircraft dynamic variables relative to flight performance were narrowed to energy management variables. A survey was conducted to determine what these variables should be. Survey results indicated that bank...

The paper presents a global chassis control (GCC) optimization approach using a gradient-based optimal control algorithm. The goal is to find optimal actions of various actuators such as active steering and active differential, which ensure satisfying the optimization criterion (e.g. trajectory following error minimization) subject to different equality and inequality constraints on state and c...