The following propositions are true: (1) Let X be a set, p be a permutation of X, and x, y be elements of X. Then p +· (x, p(y)) +· (y, p(x)) is a permutation of X. (2) Let f be a function and x, y be sets. Suppose x ∈ dom f and y ∈ dom f. Then there exists a permutation p of dom f such that f +· (x, f(y)) +· (y, f(x)) = f · p. Let X be a finite non empty subset of R. The functor minX yielding ...

MzScheme’s continuation marks provide a flexible mechanism for implementing a number of useful language features and tools. We demonstrate the simplicity and utility of continuation marks by adapting them for JavaScript as frame-based stack marks using the Rhino implementation, showing a simple model of their behavior, and using them to build a toy debugger. Along the way, we discover a few int...

It is known that the essential ingredients of a Lisp-style unhygienic macro system can be expressed in terms of advanced hygienic macro systems. We show that the reverse is also true: We present a model of a core unhygienic macro system, on top of which a hygiene-compatible macro system can be built, without changing the internals of the core macro system and without using a code walker. To ach...

The paper presents an algorithm for multi-agent strategic modeling (MASM). The method applies domain knowledge and transforms sequences of basic multi-agent actions into a set of strategic action descriptions in the form of graph paths, agent actions, roles and corresponding rules. The rules, constructed by machine learning, enrich the graphical strategic patterns, which are presented in the fo...

Synthetic routes for the preparation of O-acetyl-ADP-ribose and two novel non-hydrolyzable analogs containing an N-acetyl are described and shown to interact with the macro domain of histone protein H2A1.1.

4 ABSTRACT: Anaerobic digestion (AD) of the organic fraction of municipal solid waste (OFMSW) 5 is promoted as an energy source and more recently as a GHG mitigation measure. In this context, AD 6 systems operating at thermophilic temperatures (55-60C) – compared to mesophilic temperatures 7 (35-40C) – have the unique feature of producing hygienic soil conditioners with greater process 8 effici...

The expressiveness of the C/C++ preprocessing facility enables the development of highly configurable source code. However, the usage of language constructs like macros also bears the potential of resulting in highly incomprehensible and unmaintainable code, which is due to the flexibility and the “cryptic” nature of the preprocessor language. This could be overcome if suitable analysis tools w...

This article describes the insert sorting algorithm using macro instructions such as if-Macro (conditional branch macro instructions), for-loop macro instructions and While-Macro instructions etc. From the viewpoint of initialization, we generalize the halting and computing problem of the While-Macro. Generally speaking, it is difficult to judge whether the While-Macro is halting or not by way ...