PRIMARY OBJECTIVE To estimate the overall nutritional quality of traditional Lebanese dishes by calculating their nutrient profile. METHODS Fifty traditional Lebanese composite dishes (LD) were compared with 50 composite dishes consumed in France (FD), based on the SAIN (score of nutritional adequacy of individual foods) and LIM (score of nutrients to be limited) nutrient profiling system. Ea...

We use first-order temporal logic (FTL) with modalities ©, [F ], and U denoting “nexttime”, “always-in-the-future”, and “until” respectively. Given a first-order similarity type or language L, the usual predicate etc. symbols of L are considered to be rigid, i.e. their meanings do not change in time. Similarly, individual variables xi (i ∈ ω) are rigid. To this we add an infinity yi (i ∈ ω) of ...

Based on a random sample of size n from an unknown d-dimensional density f , the problem of selecting the variable (or adaptive) bandwidth in kernel estimation of f is investigated. The common strategy is to express the variable bandwidth at each observation as the product of a local bandwidth factor and a global smoothing parameter. For selecting the local bandwidth factor a method based on cl...

The unprecedented outbreak of COVID-19 has affected every aspect the human life, be it health, social, or economic dimensions. anxiety and uncertainty wobbled economies countries worldwide. This study attempts to quantify impact on performance major stock markets G-7 nations vis-à-vis BRICS nations. An event methodology is employed capture effect systematic in form Buy Hold Abnormal Returns (BH...

High-resolution (HR) images are usually downscaled to low-resolution (LR) ones for better display and afterward upscaled back the original size recover details. Recent work in image rescaling formulates downscaling upscaling as a unified task learns bijective mapping between HR LR via invertible networks. However, real-world applications (e.g., social media), most compressed transmission. Lossy...

In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...

Le carcinome hépatocellulaire (CHC) survient le plus souvent sur foie de cirrhose. Sa survenue sur un foie sain est exceptionnelle et pose un véritable défit diagnostique pour le clinicien. Nous rapportons l'observation d'un patient de 53 ans, sans antécédents pathologiques notables qui fût admis pour exploration d'une douleur de l'hypochondre droit évoluant depuis quelques mois avec une exacer...

Un patient âgé de 42 ans jusqu’alors sain a été transféré d’urgence à l’hôpital avec une dyspnée repos persistant depuis 3 jours. Il déclaré n’avoir ni douleur thoracique, toux productive, hémoptysie.