Results 261 to 270 of about 8,837,157 (332)
Some of the next articles are maybe not open access.
Comprehensive review of heat transfer enhancement through constructal theory
Journal of Thermal Analysis and CalorimetryS. Marzouk +4 more
semanticscholar +1 more source
Multi-objective optimization of shell-and-tube heat exchanger by constructal theory
, 2017M. Mirzaei +2 more
semanticscholar +1 more source
Science China Technological Sciences, 2023
Xiaoye Liu, H. Feng, Lingen Chen, Y. Ge
semanticscholar +1 more source
Xiaoye Liu, H. Feng, Lingen Chen, Y. Ge
semanticscholar +1 more source
Molten steel yield optimization of a converter based on constructal theory
, 2018Lingen Chen +4 more
semanticscholar +1 more source
1985
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
This chapter will describe the approach to formal systems for constructive mathematics initiated by Martin-Lof. Of the various systems described in this book, these systems have so far been the most used by computer scientists interested in actual implementation; this will be discussed briefly at the end of the chapter.
openaire +1 more source
Science China Technological Sciences, 2023
Jiwen Zhang, H. Feng, Lingen Chen, Y. Ge
semanticscholar +1 more source
Jiwen Zhang, H. Feng, Lingen Chen, Y. Ge
semanticscholar +1 more source
1998
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
The questions for this chapter are: what does the intuitionistic proof relation mean? and what system of constructive reasoning is required for defining and manipulating this relation? I shall discuss attempts to answer these questions by Kleene, Godel, Kreisel, Goodman, Scott and Martin-Lof; I shall explain why I find none of their systems entirely ...
openaire +1 more source
Constructal Theory in Heat Transfer
, 2017L. Rocha, S. Lorente, A. Bejan
semanticscholar +1 more source