A Revista da Sociedade Brasileira de Medicina Tropical presta aqui uma homenagem à memória do Professor Heonir Rocha pela sua extraordinária contribuição à medicina brasileira, como professor universitário, médico clínico, cientista e como administrador universitário. Em cada uma destas atividades, ele deixou marcadas suas características como um homem inteligente, um arguto observador, excelen...

Peter Pereira is a family physician and a poet. I weave excerpts from Dr. Pereira's poems into a brief history of medicine's mythological and historical roots, beginning with the Egyptian god Thoth, and the Greek physician Hippocrates. Along the way, I touch on the European Middle Ages and the Islamic World. Finally, I quote poet-critic T.S. Eliot, who was an early influence on Dr. Pereira's de...

We present derivation proof procedures for extended stable model semantics. Given program II and goal G, G belongs to the well founded model of El iff there is a WFM-derivation for G in II. Likewise, given program II and goal G, G belongs to some extended stable model of II iff there is a XSM-derivation for G in II. Cor-rectness (completeness and soundness) of these procedures is discussed. Exa...

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

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

In this lecture we discuss register allocation, which is one of the last steps in a compiler before code emission. Its task is to map the potentially unbounded numbers of variables or “temps” in pseudo-assembly to the actually available registers on the target machine. If not enough registers are available, some values must be saved to and restored from the stack, which is much less efficient t...

A Rodriguez, M Rodríguez Alemparte, J Baldi, J Navia, A Delacasa, D Vogel, R Oliveri, C Fernández Pereira, V Bernardi, W O’Neill, I F Palacios, on behalf of the ERACI II Investigators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....