Process Algebras, PAs, are formalisms able to capture the behaviour of a computing system by, for example, giving the labelled transition system, LTS, where states are nodes and where all possible evolutions of the system are arcs; The drawing of the complete LTS is a NP-complete task, so that, the reaching of a particular ‘desired’ state is a problem which deserves some heuristic for improving...

We introduce indecomposable (hooked) Skolem sequences and we show their existence for all admissible orders. We then introduce a new construction for two-fold triple systems from two-fold Skolem sequences, and use this to motivate the concept of a two-fold Rosa sequence, whose existence we show for all admissible orders.

هدف: این پژوهش با هدف بررسی اثر آموزش برنامه هوش موفق استرنبرگ بر افزایش خلاقیت و تحمل ابهام دانش‌­آموزان انجام شد. روش: روش ­آزمایشی طرح پیش ­آزمون پس پیگیری گروه کنترل بود. جامعۀ آماری را 15842 نفر ازدانش‌­آموزان پسر کلاس چهارم در سال تحصیلی1399-1400 شهر اصفهان تشکیل دادند که30 نمونه‌­گیری تصادفی چند مرحله­‌ای انتخاب به صورت دو آزمایش (15 نفر) گمارده شدند. ده جلسه برنامه‌­ی دریافت نمود. داده­...

Trisomy 18: Frequency, Types, and Prognosis of Congenital Heart Defects in a Brazilian Cohort Rafael F.M. Rosa, Rosana C.M. Rosa, Marina B. Lorenzen, Ceres A.V. de Oliveira, Carla Graziadio, Paulo R.G. Zen, and Giorgio A. Paskulin* Graduate Program in Pathology, Universidade Federal de Ciências da Sa ude de Porto Alegre (UFCSPA), RS, Brazil Clinical Genetics, UFCSPA and Complexo Hospitalar Sant...

LETIZIA CAMPIONI*, JOSÉ HERNÁN SARASOLA, MIGUÉL SANTILLÁN and MARCOS MATÍAS REYES Department of Conservation Biology, Biological Station of Doñana, CSIC, c/Americo Vespucio s/n, 41092 Seville, Spain; Centro para el Estudio y Conservación de las Aves Rapaces en Argentina, Universidad Nacional de La Pampa, Avda. Uruguay 151, 6300 Santa Rosa, La Pampa, Argentina and Instituto de las Ciencias de la...

Pratylenchus vulnus is involved in a desease of Rosa noisettiana 'Manetti' rose rootstock characterized by darkening of roots, death of feeder roots, and stunting of entire plants. The disease is more severe when plants are grown in silt loam soil than when they are grown in sandy loam soil. The nematodes reproduce best in silt loam soil at 20 C. Meloidogyne hapla did not affect the growh of Ma...

This study shows that the fruit ßy,Ceratitis rosa (Karsch), has a signiÞcantly longer life span than the medßy, C. capitata (Wiedemann); the species used as a model organism for the demographics of insect aging. This was somewhat surprising given that both have similar distributions and overlapping niches. We postulate that the greater longevity of C. rosa is related to the fact that it can occ...

In this paper, we will demonstrate a sport-specific case of real-time documentation and on-site analysis (RoSAsystem), which we have developed. A key feature of RoSA-system is that it is based on cloud computing and software as a service application. In the sports case, RoSA-system provides real-time facts for the player in his/her personal development. Secondly, it serves the training of coach...

هدف: این پژوهش با هدف آزمون مدل روابط بین سبک‌های مقابله و خودکارآمدی حرفه‌ای استرس ادراک شده ناشی از حرفه‌های سلامت در گروهی پرستاران انجام شد. روش: همبستگی، 151 نفر شاغل بخش‌های اونکولوژی دانشگاه علوم پزشکی تهران به پرسشنامه باورهای شغلی برای (پیسانتی، لامباردو، لوسیدی، لازاری برتینی، 2008)، نسخة کوتاه سیاهه موقعیت‌های استرس‌زا (کوهن، جانگ استین، 2006) (ولفگانگ، 1988) پاسخ دادند. مفروض روش آم...