Type-Directed Weaving of Aspects for Higher-order Functional Languages

Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism, polymorphic types, higher-order functions and type-scoped pointcuts. Our main contribution lies in a seamless integration of these two paradigms through a static weaving process which deals with around advices with type-scoped pointcuts in the presence of higher-order functions. We give a source-level type inference system for a higher-order, polymorphic language coupled with type-scoped pointcuts. The type system ensures that base programs are oblivious to the type of around advices. We present a type-directed translation scheme which resolves all advice applications at static time. The translation removes advice declarations from source programs and produces translated code which is typable in the Hindley-Milner system

On the Pursuit of Static and Coherent Weaving

Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like type inference mechanism, polymorphic types, higher-order functions and type-scoped pointcuts. Specifically, it is highly desirable that weaving of aspect-oriented functional programs can be performed statically and coherently. In [13], we showed a type-directed weaver which resolves all advice chainings coherently at static time. The novelty of this paper lies in the extended framework which supports static and coherent weaving in the presence of polymorphic recursive functions, advising advice bodies and higher-order advices

Impact of Artificial Intelligence, Robotics, and Automation on Higher Education

The objective of this paper is to discuss the future of higher education in the AI age

Development of a vibration measurement device based on a MEMS accelerometer

© 2017 by SCITEPRESS. Published under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International licence (CC BY-NC-ND 4.0: https://creativecommons.org/licenses/by-nc-nd/4.0/)This paper proposes a portable and low cost vibration detection device. Enhanced vibration calculation, reduction of error and low storage memory are complementary accomplishments of this research. The device consists of a MEMS capacitive accelerometer sensor and microcontroller unit, which operates based on a novel algorithm designed to obtained vibration velocity, bypassing the usual time-based integration process. The proposed algorithm can detect vibrations within 15Hz-1000Hz frequencies. Vibration in this frequency range cannot be easily and accurately evaluated with conventional low cost digital sensors. The proposed technique is assessed and validated by comparing results with an industrial grade vibration meter

Reversible Medical Image Watermarking for Tamper Detection and Recovery with Run Length Encoding Compression

Digital watermarking in medical images can ensure the authenticity and integrity of the image. This design paper reviews some existing watermarking schemes and proposes a reversible tamper detection and recovery watermarking scheme. Watermark data from ROI (Region Of Interest) are stored in RONI (Region Of Non Interest). The embedded watermark allows tampering detection and tampered image recovery. The watermark is also reversible and data compression technique was used to allow higher embedding capacity

Theoretical Foundation for Relationship Construct in Information Modeling --Relation Element Theory

Information modeling is a critical process in software development. One of the key constructs in information modeling is the relationship construct. Though commonly used, the relationship construct is poorly defined and lacks a strong theoretical foundation. The objectives of this research are to define and classify the various relationships based on a theory in linguistic known as the relation element theory. This paper describes the theory, relates the theory to the relationship construct, and discusses the implication of the theory on the relationship construct