The Scalable-Delay-Insensitive (SDI) model is proposed for high-performance asynchronous system design. In this paper, we focus on checking whether a circuit under SDI model satisfies some untimed properties, and formally show that checking these properties in the SDI model can be reduced to checking the same properties in the bounded delay model. This result suggests that the existing verifica...

دقو .محرلا اموكراس نم نوناعي اضيرم 36 ضارعتسا تم :جئاتنلا دجو دقو ،اَماع 57 ةعومجملل رمعلا طسوتم نأ ريراقتلا تدافأ )19%(7 و carcinosarcoma تلاالحا نم )58%( 21 نأ اموكراس ةيمحللا محرلا ةناطب ،leiomyosarcoma )LMS( 6 يف تصخش )undifferentiated endometrial sarcom( .Rhabdomyosarcoma )RMS( 6% ينتلاحو 17% ىضرم ةثلاثلا ةلحرلما يف تصخش تلاالحا فصن براقي ام نأ دجو دقو يأ ةلاح 15( تناك ينح يف .يلاوتلا ىلع )...

Many countries throughout the world believe they can benefit both economically and environmentally from better management of their spatial data assets, enabling them to access and retrieve complete and consistent datasets in an easy and secure way. This has resulted in the development of the Spatial Data Infrastructure (SDI) concept at various political and/or administrative levels. The SDI con...

تابر مواقم لرتنك هلاقم نيا رد ينيعمان و يجراخ تاشاشتغا دوجو اب رايس ياه متسيس يرتماراپ ياه كيمونولوهريغ يكيتامنيس ديق هك يكيمانيد ١ ار شزغل مدع هدروآرب يمن تسا هتفرگ رارق يسررب دروم ،دننك . هدش زكرمتم يكيتامنيس لرتنك يحارط يور رب هك يلبق ياهراك فلاخرب ساسا رب رواتشگ مواقم رلرتنك كي ،دنا هب ،ميظنت لباق ناسون سناكرف اب اريم كيمانيد رگناسون هناگي شور كي تروص ٢ يبايدر هلأسم ود ره يارب ابر يزا...

ةصلاخلا : برتلا تارفيش تذوحتسا دقل و ً ارخؤ م ب سب نيثحا بلا نم ر يثكلا ما متها ى لع ب أ هابلا ا هئاد ـ د نع ر ـ ل ةضفخنملا مي قلا ) SNR .( اًءز ج ر ثعبملا ر بتعيو اً ماه شلا هذ ه ميمصت ن م في تار . م ظعم ضرتفتو لأا ،ةيئاوشع تار ثعبم لاجملا اذه يف ثاحب أ سرد نف ثحبلا اذ ه يف ا م أ مادختساب و برت تارفي ش ءاد ّ يفص تارثعبم ،ة و ب ةقلعتملا لماوعلا نم ديدعلا أ د اهئا ميمصت لثم ، أ لوط ريثأ تو ،ةيفصلا...

Stimulant-dependent individuals (SDI) have abnormal brain metabolism and structural changes involving dopaminergic target areas important for the processing of time. These individuals are also more impulsive and impaired in working memory and attention. The current study tested whether SDI show altered temporal processing in relation to impulsivity or impaired prefrontal cortex functioning. We ...

The paper argues that SDI can best be understood in terms of praxis more than as technological artefact. Because of the many different and often conflicting views of reality, interests and other values between the many heterogeneous actors that are involved, SDI development causes inevitably paradoxes and dilemmas. The paper assumes that SDI is context specific but also has the generic properti...

Spatial Data Infrastructure (SDI) is a concept that aids in discovering, sharing, and using geospatial data. Nevertheless, given the breadth of this concept, several ways of developing SDI have emerged. The International Cartographic Association (ICA) has proposed a formal model to describe SDIs irrespective of technologies and implementations by using three of the five viewpoints of the RMODP ...

Organisational arrangements have long been recognised as a critical enabler and fundamental component of Spatial Data Infrastructure (SDI). More recently, the term “governance” has become increasingly used to refer to aspects of institutional frameworks that support SDI. However, given the polysemous nature of the term and the evolving nature of approaches to implementing SDI, it not clear exac...