The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In functional genomics, small interfering RNA (siRNA) can be used to knockdown gene expression. Usually, a target gene has numerous potential siRNAs, but their efficiencies of gene silencing often varies. Thus, for a successful RNA interference (RNAi), selecting the most effective siRNA is a critical step. Despite various computational algorithms have been developed, the efficacy prediction accuracy...
Organizations often share business data with third-parties to perform data analytics. However, the business data may contain a lot of customers' private information. One major concern of these organizations is thus to ensure such private information is properly used. In this paper, we present PSpec, a formal language for specifying data usage restrictions in distributed data analytics. Compared with...
Cryptographic hash functions have become the basis of modern network computing for identity authorization and secure computing; protocol consistency of cryptographic hash functions is one of the most important properties that affect the security and correctness of cryptographic implementations, and protocol consistency should be well proven before being applied in practice. Software verification has...
Selective catalytic reduction (SCR) system is a complex chemical process which is used to treat exhaust gas in many applications, e.g. diesel engines in automobiles. An SCR model was constructed by General Motors (GM) and the problem considered was to estimate the unknown kinetic parameters on-line taking into account aging effects. There are a number of application constraints that must be taken...
The algorithm of line segment intersection is the core algorithm for vector map overlay. The traditional method is based on the plane-sweep process to find the intersections of two groups of lines. Although such method proves to be efficient in serial system, the basic data structure of this kind of algorithm needs to maintain a tree structure, which has the data-lock in multi-core system. In addition,...
Propositional satisfiability problem (SAT) is a fundamental problem both in theory and practice. In the area of software engineering, people employ various techniques, such as model checking, theorem proving, automated testing and so on, to ensure the quality of software. Those techniques are usually based on SAT solvers. The efficiency is an important criterion for a good SAT solver. Besides, the...
Multi-wavelet is extremely effective for analyzing mutational signals and singular signals with good local specialty and spatial direction selectivity. Meanwhile its basis function may be chosen to gain the specific signal support. And energy is mainly concentrated in the low frequency sections after GHM multi-wavelets transformation. In this paper, we proposed a new iris recognition method that decomposed...
Packet classification is still a challenging problem in practice under large number of classification rules and constant growth of performance requirement. Most of the existing algorithms try to solve the problem heuristically by leveraging on the inherent field-level characteristics of the rules. This paper proposes a bit-level heuristic framework: discrete bit selection (DBS) for multi-dimensional...
The flexible job-shop scheduling problem (FJSP) is an extension of the classical job-shop scheduling problem (JSP). This paper presents a hybrid genetic algorithm which incorporates the principle of ldquothe survival of the fittestrdquo from genetic algorithm (GA) into tabu search (TS) to solve the FJSP. According to the characteristics of the FJSP, an extended operation-based representation which...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.