نتایج جستجو برای: according to critics

تعداد نتایج: 10614921  

Journal: :منظر 0
گزارش : نفیسه سیده

0

2014
Angela Lozano Gabriela Arévalo Kim Mens

Code critics are a recommendation facility of the Pharo Smalltalk IDE. They signal controversial implementation choices such as code smells at class and method level. They aim to promote the use of good and standard coding idioms for increased performance or a better use of object-oriented constructs. This paper studies relations among code critics by analyzing co-occurrences of code critics de...

Journal: :Phenomenology and The Cognitive Sciences 2022

Abstract According to Dreyfusian anti-intellectualism, know-how or expertise cannot be explained in terms of know-that and its cognates but only intuition. Hubert Dreyfus Stuart do not exclude explaining skilled action. However, they think that (such as calculative deliberation perspectival deliberation) operate either below above the level expertise. In agreement with some critics Dreyfus, thi...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1392

gol-e-gohar iron ore mine of sirjan in southern part of iran is a large open pit that operates below the groundwater table and during mining operation, dewatering is required to prevent operation processes from flooding. current operation is going on by digging wells in or out of the pit and pumping to prevent flooding. as a result of the former dewatering operation a vast deep cone of depressi...

Introduction: One of the common models for evaluation in the organization and in-service training model is four-level Kirkpatrick’s model. Users must be aware of strengths and areas of application of this model. The aim of this paper is to clarify the characteristics of this model according to Kirkpatrick and to summarize the critics of scholars to this model. At the end, the reforms that have ...

2006
Moa Johansson

Discovering unknown lemmas, generalisations and other eureka steps is a major challenge for automated theorem proving. Proof-planning critics can help automate these steps by making use of information from failed proof attempts. Our proposed research will extend existing critics for higher-order logic in the IsaPlanner system, as well as develop new critics. With the assistance of critics we ex...

Journal: :South African Journal of Science 2020

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید