منابع مشابه
Jus Measuring: Algorithm and Complexity
We study the water jug problem and obtain new lower and upper bounds on the minimum number of measuring steps. These bounds are tight and significantly improve previous results. We prove that to compute the crucial number μc(x) (i.e., min x=x·c ||x||1, where c ∈ N, x ∈ N, ||x||1 = ∑n i=1 |xi|) for estimating the minimum measuring steps is indeed a problem in P . Moreover, we prove that testing ...
متن کاملCafé Jus: an Electronic Journals User Survey
During 1996, the number of scholarly periodicals available in electronic form increased rapidly. The Café Jus project took advantage of this critical mass of electronic journals to mount a major user study with taught postgraduate students, research students and staff in various disciplines at Loughborough University. The main conclusions were that low-level technical problems are still a deter...
متن کاملJuS: Squeezing the Sense out of JavaScript Programs
We introduce JuS (JavaScript under Scrutiny), a first step towards a static-analysis tool for JavaScript based on a program logic in the style of separation logic. In particular, we focus on reasoning automatically about the JavaScript variable store. Because of prototype-based inheritance and with statements, even reasoning about variables is not trivial in JavaScript. We evaluate our tool on ...
متن کاملSelect Tenets of Space Law as Jus Cogen
Space Law is deemed to be a branch of International Law and follows the dictum of pacta sunt servanda. This implies that specialibus treaties and conventions operate between “signatories and ratifiers”. It thus becomes a moot question whether the Space Law is applicable to other states and equally obligatory on them or that defiance is conceivable, maybe to facilitate the cause of non-state act...
متن کاملJus cogens در نظام حقوق بین الملل
پدیداریمفاهیمجدیدیچون Jus cogens وObligationserga omnesحاکیازتغییراتودگرگونیهایاساسیدرماهیتحقوقبینالمللمیباشد. بازنگریدرنظامسنتیمنابعحقوقبینالمللوایجادسلسلهمراتبماهویوسستشدنبنیانهاینظریهیفروپاشیجامعهبینالمللیازپیامدهایمستقیمظهورایندستهازتعهداتعامالشمولولازمالاجرامیباشد. برخورداریازاقبالعمومیودکترین،تحدیدحاکمیتدولتهابااعتقادبهالزامآوربودنقواعدjus cogens وکمرنگشدنعنصررضایتدولتها،کم...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift der Savigny-Stiftung für Rechtsgeschichte. Kanonistische Abteilung
سال: 1916
ISSN: 2304-4896,0323-4142
DOI: 10.7767/zrgka.1916.6.1.391