Results 251 to 260 of about 562,291 (311)
Some of the next articles are maybe not open access.
Journal of Algorithms, 1993
Factor refinement (in \(\mathbb Z\)) refers to the transition from \(m=m_ 1 m_ 2\) to \(m=\prod n_ i^{e_ i}\) where the \(n_ i\) are not necessarily prime but \(\gcd(n_ i n_ j)=1\). The method is to use only the gcd algorithm starting with \(d=\gcd(m_ 1,m_ 2)\) and \(m=(m_ 1/d)d^ 2 (m_ 2/d)\). Then proceed by induction. The process is of complexity \(O(
Eric Bach 0001 +2 more
openaire +2 more sources
Factor refinement (in \(\mathbb Z\)) refers to the transition from \(m=m_ 1 m_ 2\) to \(m=\prod n_ i^{e_ i}\) where the \(n_ i\) are not necessarily prime but \(\gcd(n_ i n_ j)=1\). The method is to use only the gcd algorithm starting with \(d=\gcd(m_ 1,m_ 2)\) and \(m=(m_ 1/d)d^ 2 (m_ 2/d)\). Then proceed by induction. The process is of complexity \(O(
Eric Bach 0001 +2 more
openaire +2 more sources
Life cycle assessment of petroleum refining process: A case study in China
Journal of Cleaner Production, 2020Climate change mainly caused by transportation fuel consumption has attracted global concern. In life cycle environmental burdens generated from transportation fuel production, petroleum refining stage is the hotspot.
Xiaowei Cui, Zhaojie Cui
exaly +2 more sources
, 2021
The prudent combination of technological, economic, and other factors can enhance the performance of any manufacturing unit. Indian petroleum refineries are no exception to this.
Jignesh M. Joshi +2 more
semanticscholar +1 more source
The prudent combination of technological, economic, and other factors can enhance the performance of any manufacturing unit. Indian petroleum refineries are no exception to this.
Jignesh M. Joshi +2 more
semanticscholar +1 more source
Alternatives to Laboratory Animals, 2013
Russell and Burch's principle of refinement has endured from its inception in the 1950s, to appear in today's EU ...
openaire +2 more sources
Russell and Burch's principle of refinement has endured from its inception in the 1950s, to appear in today's EU ...
openaire +2 more sources
Science in China Series F: Information Sciences, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
SSRN Electronic Journal, 2014 Households that fail to refinance their mortgage when interest rates decline can lose out on substantial savings. Based on a large random sample of outstanding U.S. mortgages in December of 2010, we estimate that approximately 20% of households for whom refinancing would be optimal and who appeared unconstrained to do so, had not taken advantage of the
Keys, Benjamin J. +2 more
openaire +1 more source
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015
Algorithms for solving the consensus problem are fundamental to distributed computing. Despite their brevity, their ability to operate in concurrent, asynchronous, and failure-prone environments comes at the cost of complex and subtle behaviors. Accordingly, understanding how they work and proving their correctness is a non-trivial endeavor where ...
Ognjen Maric +2 more
openaire +1 more source
Algorithms for solving the consensus problem are fundamental to distributed computing. Despite their brevity, their ability to operate in concurrent, asynchronous, and failure-prone environments comes at the cost of complex and subtle behaviors. Accordingly, understanding how they work and proving their correctness is a non-trivial endeavor where ...
Ognjen Maric +2 more
openaire +1 more source
Challenges and Opportunities for Bio-oil Refining: A Review
Energy & Fuels, 2019Bio-oil derived from fast pyrolysis of lignocellulosic materials is among the most complex and inexpensive raw oils that can be produced today.
Anamaria Paiva Pinheiro Pires +9 more
semanticscholar +1 more source
Metavariables and Conditional Refinements in the Refinement Calculus
1994We describe two techniques for the refinement calculus that facilitate goal-directed development. The techniques achieve this by allowing the deferring of decisions about the precise form of refinement steps, so high-level choices can be expressed as soon as those choices are appropriate.
Raymond G. Nickson, Lindsay J. Groves
openaire +1 more source
Journal of the London Mathematical Society, 1975
A partition of a set is refined by splitting one of the subsets into two smaller subsets. Let \(f(n)\) denote the number of ways of transforming \(n\) indistinguishable objects into \(n\) singletons via a sequence of \(n-1\) refinements. The authors show that there exist constants \(c_1\) and \(c_2\) such that \(c^n_1n^{n/2}
Erdős, Paul +2 more
openaire +2 more sources
A partition of a set is refined by splitting one of the subsets into two smaller subsets. Let \(f(n)\) denote the number of ways of transforming \(n\) indistinguishable objects into \(n\) singletons via a sequence of \(n-1\) refinements. The authors show that there exist constants \(c_1\) and \(c_2\) such that \(c^n_1n^{n/2}
Erdős, Paul +2 more
openaire +2 more sources