Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler,Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that compiles Alloy specificationsinto implementations that execute against persistent databases. The foundation of Alchemy is an algorithmfor rewriting relational algebra formulas into code for database transacti...

Biologically inspired models (BIM), i.e. complex models for organization and communication based on biological systems, consider the heterogeneous and dynamic nature to which entities must adapt. This makes such models appropriate for the design and implementation of smart home systems. The Gold Seekers Project, a BIM developed by one of the authors, has been used to study the mechanisms for re...

The tripod (ding 鼎) and the nine tripods (jiuding 九鼎) are significant in ancient China, appearing often Daoist alchemy. However, they have been largely ignored by scholarship on Daoism. Early alchemy saw as critical elements production of immortality, but outer (waidan 外丹) gave up refining elixir due to technical reasons. was merely mentioned elaboration Later, Southern Song dynasty, inner (nei...

By addressing both the theoretical and practical issues of a geographically distributed application domain, we propose a way to construct a processing system using the computational aspects of a brain/mind system. The Alchemy distributed processing environment has been developed to support the geographical distribution of a set of intelligent applications running over the Internet. We focus her...

there are two historical paradigms in iranian family law: love law and libido law. understanding the two approaches is possible by thinking on the four categories of love: 1. libido: the passion of life and manifestation of sexual drive. 2.eros: the romantic love and the genuine material of poem and literature. 3.philia: the mere love purified from libido. 4. agape: the spiritual love in mystic...

An approach to the use of gigapixel panoramas as raw material to audiovisual narratives is presented. Through the making of the short film “Love Affair” the process is described from capturing the panoramas to the final editing of the film, considering technical and semantic aspects. Keywords-component; gigapixel; panorama; narrative;