Sciweavers

24 search results - page 2 / 5
» On sets of integers whose shifted products are powers
Sort
View
IADIS
2008
13 years 8 months ago
Gapbnf_Rule: A Genetic Miner Rule
The aim of this paper is to present an evolutionary system for classification problem called GAPBNF_Rule. GAPBNF_Rule is a powerful evolutionary method that distinguishes between ...
Rasha Shakir Abdul-Wahhab
EVOW
2007
Springer
14 years 1 months ago
A Hybrid Method for Solving Large-Scale Supply Chain Problems
Abstract. The strategic supply chain design problem which allows capacity shifts and budget limitations can be formulated as a linear program. Since facilities are allowed to be op...
Steffen Wolf, Peter Merz
CCE
2010
13 years 4 months ago
Combined mass and energy integration in process design at the example of membrane-based gas separation systems
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
Martin Gassner, François Maréchal
CHARME
2005
Springer
94views Hardware» more  CHARME 2005»
14 years 28 days ago
Verifying Quantitative Properties Using Bound Functions
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
Arindam Chakrabarti, Krishnendu Chatterjee, Thomas...
ARITH
2009
IEEE
14 years 2 months ago
Selected RNS Bases for Modular Multiplication
The selection of the elements of the bases in an RNS modular multiplication method is crucial and has a great impact in the overall performance. This work proposes specific sets ...
Jean-Claude Bajard, Marcelo E. Kaihara, Thomas Pla...