نتایج جستجو برای: eclectic method based on existential approach

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

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

the history of plant’s used for mankind is as old as the start of humankind. initially, people used plants for their nutritional proposes but after the discovery of medicinal properties, this natural ?ora became a useful source of disease cure and health improvement across various human communities. berberis vulgaris is one of the medicinal plants used in iranian traditional medicine. berberis ...

Journal: :Electr. Notes Theor. Comput. Sci. 2009
Florian Lonsing Armin Biere

Given a quantified boolean formula (QBF) in prenex conjunctive normal form (PCNF), we consider the problem of identifying variable dependencies. In related work, a formal definition of dependencies has been suggested based on quantifier prefix reordering: two variables are independent if swapping them in the prefix does not change satisfiability of the formula. Instead of the general case, we f...

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

adolescents and young adults and their problems is an issue whose importance is obvious to anyone because youth are the founders of our countrys future and requires proper planning to be on leisure. given the importance of leisure,this study to investigate needs assessment and planning how adolescents and young adults spend their leisure time in urban of case study of high school girls and boys...

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

abstract following innovations in the field of elt, a new topic which has recently attracted a lot of attention is metaphor analysis. although this area of research is still in its infancy in elt, it seems that the idea can shed more light on the puzzle of english language learning and teaching. therefore, the major aim of this study is to analyze language learning and teaching in formal a...

2004
Julien Schmaltz Dominique Borrione

We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the method to be modular for both system definition and validation. When performed in the context of the ACL2 logic, all the definitions and theorems are not only reusable, but also constitute an executable and proven va...

2012
M.Gethsiyal Augasta T. Kathirvalavakumar

Though neural networks have achieved highest classification accuracy for many classification problems, the obtained results may not be interpretable as they are often considered as black box. To overcome this drawback researchers have developed many rule extraction algorithms. This paper has discussed on various rule extraction algorithms based on three different rule extraction approaches name...

Journal: :Ann. Pure Appl. Logic 2010
Rosalie Iemhoff

This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifiers in a formula, is sound and complete for constructive theories. Based on that method an analogue of Herbrand’s theorem was proved to hold as well. In this paper we extend the method to universal quantifiers and show ...

Journal: :CoRR 2015
Matko Botincan Mike Dodds Stephen Magill

In separation logic program analyses, tractability is generally achieved by restricting invariants to a finite abstract domain. As this domain cannot vary, loss of information can cause failure even when verification is possible in the underlying logic. In this paper, we propose a CEGAR-like method for detecting spurious failures and avoiding them by refining the abstract domain. Our approach i...

Journal: :Humanities & social sciences communications 2023

Abstract In linguistic communication, the speaker’s utterance simultaneously generates several levels of meaning related to Grice’s distinction between what is said and implicated. Yet, there a lively debate about two notions. This study gives general overview three schools: Semantic Minimalism, Radical Contextualism, Moderate Contextualism. After surveying current controversies in these theori...

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

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