Implementations of white-box cryptography aim to protect a secret key in a white-box environment in which an adversary has full control over the execution process and the entire environment. Its fundamental principle is the map of the cryptographic architecture, including the secret key, to a number of encoded tables that shall resist the inspection and decomposition of an attacker. In a gray-b...

One of the most important goals of set theorists over the last few years has been to re-prove old results which previously had used very strong assumptions from hypotheses which, at least prima facie, are weaker. Examples of these abound, including, but certainly not limited to, the work of Woodin and Cummings (see [3]) on the Singular Cardinals Problem, in which results previously obtained by ...

Interval constraint solvers use local consistencies— among which one worth mentioning is box consistency— for computing verified solutions of real constraint systems. Though among the most efficient ones, the algorithm for enforcing box consistency suffers from the use of timeconsuming operators. This paper first introduces boxφ consistency, a weakening of box consistency; this new notion then ...

A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. Application frameworks provide good examples of such enrichment. An OO framework typically provides a number of template methods that implement specific patterns of calls to hook methods. An application developer can cus...

The Shiraz project included an evaluation component: two ‘glass-box’ evaluations have been performed during the project as well as a black-box evaluation at the end of the project. The evaluations were based on the use of a bilingual tagged test corpus of 3000 sentences. Evaluation tools were developed in order to automate the evaluation process. The glass-box evaluations included the evaluatio...

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

پیوند اعضا از ارکان مهم سیستم‌‌های سلامت است و به درمان بسیاری بیماری‌‌های صعب‌العلاج کمک شایانی کرده است. روزانه 7 تا 10 نفر بیماران نیازمند در ایران علت نرسیدن به‌موقع عضو پیوندی دنیا می‌­روند. با توجه بحرانی­‌بودن زنجیره برای سلامتی انسان، مدیریت برنامه‌ریزی این اهمیت فراوانی برخوردار انتقال بیمار یک بیمارستان محل تأثیر ثانیه‌‌ها بر کیفیت مورد­انتقال موفقیت پیوند، بسیار حائز پژوهش، مدلی ریاض...