نتایج جستجو برای: clauses

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

Journal: :Revenue Law Journal 2003

Journal: :Hungarian Assyriological Review 2020

Journal: :Theoretical Computer Science 1988

Journal: :Open Journal of Modern Linguistics 2019

Journal: :Glossa: a journal of general linguistics 2019

2009
Niklas Sörensson Armin Biere

Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by most modern SAT solvers in academia, even though it has not been described in the literature properly yet. With this paper we intend to close this gap and also provide a thorough experimental analysis of it’s effectivenes...

2017
Dmitry Mordvinov Grigory Fedyukovich

Simultaneous occurrences of multiple recurrence relations in a system of non-linear constrained Horn clauses are crucial for proving its satisfiability. A solution of such system is often inexpressible in the constraint language. We propose to synchronize recurrent computations, thus increasing the chances for a solution to be found. We introduce a notion of CHC product allowing to formulate a ...

1985
Kazunori Ueda

This thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born from the examination of existing logic programming languages and logic programming in general, with special attention paid to parallelism. The main feature of GHC is its extreme simplicity compared with the other parallel programming languages. GHC is a restriction of ...

1998
Jean-Daniel Zucker Jean-Gabriel Ganascia

This paper describes a new kind of language bias, S-structural indeterminate clauses, which takes into account the meaning of predicates that play a key role in the complexity of learning in structural domains. Structurally indeterminate clauses capture an important background knowledge in structural domains such as medicine, chemistry or computational linguistics: the specificity of the compon...

ژورنال: :تحقیقات حقوقی 0
ابراهیم رهبری استادیار دانشکده حقوق دانشگاه شهید بهشتی نجمه کاظمی آهوئی کارشناس ارشد حقوق خصوصی

قراردادهای کار حسب نوع رابطه ی میان کارفرما و مستخدم، گاه متضمن شرط عدم رقابت هستند که مشروعیت آن با چالش های چندی مواجه است. این مقاله می کوشد تا در نگرشی تطبیقی نخست جایگاه شرط عدم رقابت را در روابط استخدامی تبیین کرده و سپس به تحلیل شرایط خاص اعتبار شرط مزبور بپردازد و نهایتا تاثیر نحوه پایان یافتن رابطه ی استخدامی را بر شرط عدم رقابت مورد بررسی قرار دهد. این تحقیق آشکارا نشان می دهد که در ن...

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

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