Non-interference characterizes the absence of undesired information flows in a computing system, by requiring that activities involving actions with higher level of confidentiality does not cause any observable effect at the lower level. Recently, a causal characterisation of non-interference on Petri nets has been given in terms of the unfolding semantics, a classical true concurrent semantics...

April 1938. The patient with the shaved head is passively lying on a bed on the first floor of a room-laboratory of the Clinic of Nervous and Mental Diseases of the Royal University of Rome. Several electric shocks are administered under strict supervision of the medical team of Ugo Cerletti (1867-1963). After the treatment, his psychic conditions get somewhat better. The electroshock machine, ...

The result of the management of the seven cases of cardiac tumors reported by Bini et al. (I) was quite discouraging as only one child survived 3 months. In a recent review of cardiac tumors reported in the English language between 1972 and 1977 (2), I found 47 reported pediatric cases with a survival rate of more than 6 months in 55% of the cases. Forty-four of these tumors were benign with a ...

The fish diversity of the Adamawa lakes is among most undocumented in Northern Cameroon. Faced with this lack knowledge, an inventory ichthyofauna and habitats characterization was conducted nine lakes. Seven (Assom, Gegouba, Massote, Mbalang, Ngaoundaba, Piou Tizong) are located Sanaga Basin two (Bini Dang) Lake Chad Basin. In order to assess composition variation assemblage, eight sampling ca...

The present study aims to characterize over 31 years between 1990 and 2021 the spatio-temporal mutations experienced by four lake ecosystems in Sudano-Guinean zone of Cameroon due strong anthropic activities caused increase demography. Landsat satellite images from 1990, 2006 were exploited using remote sensing GIS. unsupervised classification was used obtain nine land cover use classes (agricu...

Society for induStrial and applied MatheMaticS Numerical Solution of Algebraic Riccati Equations Dario A. Bini, Bruno Iannazzo, and Beatrice Meini Fundamentals of Algorithms 9 This concise and comprehensive treatment of the basic theory of algebraic Riccati equations describes the classical as well as the more advanced algorithms for their solution in a manner that is accessible to both practit...

Gustavo Vázquez, Ross J. Baldessarini, Ayşegül Yildiz, Jorge Tamayo, Leonardo Tondo and Paola Salvatore 1 Department of Neuroscience, Palermo University, Buenos Aires, Argentina 2 International Consortium for Bipolar Disorder Research, McLean Hospital, Belmont, MA, USA 3 Department of Psychiatry, Harvard Medical School, Boston, MA, USA 4 Department of Psychiatry, Dokuz Eylül University, Izmir, ...

[From Notes taken by Mb. R. NUU-bINI. Assistant Apothecary.] Gr. S., aged 22, admitted for chyluria, 29th September 1891, states that a month ago lie first noticed that his urine was milky, but that it got clearer while he was suffering from an attack of dysentery from which he 1ms just recovered. He is a pale, delicate-looking man, but otherwise the chyluria does not give him any discomfort. H...

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