Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting over recurring syntactic patterns. As with every other powerful language mechanism, programmers can also easily misuse macros and, to this day, broken macro definitions or macro uses pose complex debugging problems to pro...

The control structure of the Viatra2 transformation programs is untyped making it easier to misuse the type system. The aim of this paper is to provide a static type checker tool to these transformation programs that can detect those errors. We use a generic static analysis framework for analysis, and as an underlying engine constraint satisfaction problem solver is used. For this reason it is ...

Thus far, the EARLog1 series has discussed laboratory and real world performance aspects of hearing protection devices (HPDs). The most recent EARLog #5, analyzed how a hearing protector operates and examined seven factors that contribute to poor HPD performance in the real world. One of the most significant problem areas is misuse and abuse of HPDs, attributed in large part to poor employee tr...

Nearly all experts agree that insecticidetreated mosquito nets (ITNs) are a lifesaving intervention, supported by strong evidence from carefully conducted trials that show ITNs to be efficacious at preventing all-cause child mortality and malaria morbidity in children and pregnant women [1,2]. Under program conditions, ITNs have also been associated with significant reductions in malaria morbid...

Abstract--Conversely, limiting access to the information in the interests of preserving secrecy might damage their ability to implement the actions that can best serve the organization. Therefore, data leakage and data misuse detection mechanisms are essential in identifying malicious insiders. One of the emerging concept in micro data protection is kanonymity, which has been recently proposed ...