background prostate cancer is a serious genetic disease known as the first widespread cancer in men, yet the molecular changes required for the cancer progression is not fully understood. availability of high-throughput gene expression data has led to the development of various computational methods for the identification of critical genes involved in the cancer. methods in this paper, we show ...

nowadays cmm machines are widely used in surface measurement and inspection. as inspection results from cmm machine are obtained by the means of measuring surfaces with direct contact, they are more precise than non-contact method (like optical measurement). however, cmm machines give more reliable and accurate results rather than non-contact methods but also these results come with error when ...

fab-less business model in semiconductor industry has led to serious concerns about trustworthy hardware. in untrusted foundries and manufacturing companies, submitted layout may be analyzed and reverse engineered to steal the information of a design or insert malicious trojans. understanding the netlist topology is the ultimate goal of the reverse engineering process. in this paper, we propose...

Ever since the establishment of Translation Studies as an independent academic discipline in 1970s, there has been ongoing debate about relationship between theory and practice, to which this paper aims make a modest practical contribution form novel procedure for textual analysis synthesis. Intellectual advances are often triggered by flashes inspiration suggest analogies that facilitate shift...

Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering perspective, we gain the insight that much of this difficulty is caused by design decisions made during system development. Such decisions “hide” the program functionality and performance requirements in the final system ...

An important open problem in Reverse Mathematics ([16, 25]) is the reduction of the first-order strength of the base theory from IΣ1 to I∆0 + exp. The system ERNA, a version of Nonstandard Analysis based on the system I∆0 + exp, provides a partial solution to this problem. Indeed, Weak König’s lemma and many of its equivalent formulations from Reverse Mathematics can be ‘pushed down’ into ERNA,...

Reverse engineering a program constructs a high-level representation suitable for various software development purposes such as documentation or reengineering. Unfortunately however, there are no established guidelines to assess the adequacy of such a representation. We propose two such criteria, completeness and accuracy, and show how they can be determined during the course of reversing the r...