Formalizing Modularization and Data Hiding in Synthetic Biology
نویسندگان
چکیده
منابع مشابه
Ethical Debates on Synthetic Biology
Background: As an emerging interdisciplinary area of science with a multitude of potential facilities and applications, synthetic biology integrates different disciplines with one another ranging from basic science to engineering. This interdisciplinary branch therefore encompasses sciences that require specific development and ethical approaches. Materials and Methods: Science management princ...
متن کاملFormalizing Ontology Modularization through the Notion of Interfaces
In this paper, we propose a new formalism for modular ontologies, which exploits the notion of interfaces as well as epistemic queries. In the proposed formalism, each ontology module both employs and realizes two distinct sets of interfaces. The axioms in each interface form the public section of the ontology module, while its ABox and TBoxes are private and can only be accessed through episte...
متن کاملTowards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better understand, develop, manage, and maintain the resulting complexity, this paper presents a framework of ontologies. The ontologies range from very general, foundational ones to ontologies that elucidate the specificities o...
متن کاملRule Modularization and Inference Solutions – a Synthetic Overview
Rule–based expert systems proved to be a successful AI technology in a number of areas. Building such systems requires creating a rulebase, as well as providing an effective inference mechanism that fires rules appropriate in a given context. The paper briefly discusses main rule inference algorithms Rete, TREAT and Gator. Since large rulebases often require identifying certain rule clusters, m...
متن کاملData Hiding Method Based on Graph Coloring and Pixel Block‘s Correlation in Color Image
An optimized method for data hiding into a digital color image in spatial domainis provided. The graph coloring theory with different color numbers is applied. To enhance thesecurity of this method, block correlations method in an image is used. Experimental results showthat with the same PSNR, the capacity is improved by %8, and also security has increased in themethod compared with other meth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Journal on Emerging Technologies in Computing Systems
سال: 2014
ISSN: 1550-4832,1550-4840
DOI: 10.1145/2667231