Results 301 to 310 of about 642,747 (358)
Some of the next articles are maybe not open access.
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
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
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
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
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
Plastic & Reconstructive Surgery, 2020
Summary: With a growing massive weight loss population, upper arm contouring continues to rise in popularity. Refinements in technique, such as modification of skin excision patterns and the adjunct use of liposuction, have allowed for safe and reproducible results.
Rod J, Rohrich +2 more
openaire +2 more sources
Summary: With a growing massive weight loss population, upper arm contouring continues to rise in popularity. Refinements in technique, such as modification of skin excision patterns and the adjunct use of liposuction, have allowed for safe and reproducible results.
Rod J, Rohrich +2 more
openaire +2 more sources
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
2021
In this chapter, we will shape up visual elements and implement visual structure together with code structure. Visual elements can evolve best when the idea is still under construction, and we can follow new inspirations from working with code. We will also dig a bit deeper in working with data structures and unleash new powers of Processing.
Mathias Funk, Yu Zhang
openaire +1 more source
In this chapter, we will shape up visual elements and implement visual structure together with code structure. Visual elements can evolve best when the idea is still under construction, and we can follow new inspirations from working with code. We will also dig a bit deeper in working with data structures and unleash new powers of Processing.
Mathias Funk, Yu Zhang
openaire +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