Search results for: Moez Yeddes

Authors: Moez Yeddes

Abstract:

The property of opacity is widely used in the formal verification of security in computer systems and protocols. Opacity is a general language-theoretic scheme of many security properties of systems. Opacity is parametrized with framework in which several security properties of a system can be expressed. A secret behaviour of a system is opaque if a passive attacker can never deduce its occurrence from the system observation. Instead of considering the case of static observability where the set of observable events is fixed off-line or dynamic observability where the set of observable events changes over time depending on the history of the trace, we introduce Orwellian partial observability where unobservable events are not revealed provided that downgrading events never occurs in the future of the trace. Orwellian partial observability is needed to model intransitive information flow. This Orwellian observability is knwon as ipurge function. We show in previous work how to verify opacity for regular secret is opaque for a regular language L w.r.t. an Orwellian projection is PSPACE-complete while it has been proved undecidable even for a regular language L w.r.t. a general Orwellian observation function. In this paper, we address two problems of opacification of a regular secret ϕ for a regular language L w.r.t. an Orwellian projection: Given L and a secret ϕ ∈ L, the first problem consist to compute some minimal regular super-language M of L, if it exists, such that ϕ is opaque for M and the second consists to compute the supremal sub-language M′ of L such that ϕ is opaque for M′. We derive both language-theoretic characterizations and algorithms to solve these two dual problems.

Keywords: security policies, opacity, formal verification, orwellian observation

Procedia PDF Downloads 226

Authors: Moez Selmi, Mariem Kacem, Mehrez Jamei, Philippe Dubujet

Abstract:

Earth pressure balance (EPB) tunnel boring machines are designed for digging in different types of soil, especially clay soils. This operation requires the treatment of soil by lubricants to facilitate the procedure of excavation. A possible use of this soil is limited by the effect of treatment on the hydro-mechanical properties of the soil. This work aims to study the effect of a foaming agent on the hydro-mechanical properties of clay soil. The injection of the foam agent in the soil leads to create a soil matrix in which they are incorporated gas bubbles. The state of the foam in the soil is scalable thanks to the degradation of the gas bubbles in the soil.

Keywords: EPB, clay soils, foam agent, hydro-mechanical properties, degradation

Procedia PDF Downloads 372

Authors: Yosra Baaziz, Moez Labidi

Abstract:

Given limited research on monetary policy rules in revolutionary countries, this paper challenges the suitability of the Taylor rule in characterizing the monetary policy behavior of the Tunisian Central Bank (BCT), especially in turbulent times. More specifically, we investigate the possibility that the Taylor rule should be formulated as a threshold process and examine the validity of such nonlinear Taylor rule as a robust rule for conducting monetary policy in Tunisia. Using quarterly data from 1998:Q4 to 2013:Q4 to analyze the movement of nominal short-term interest rate of the BCT, we find that the nonlinear Taylor rule improves its performance with the advent of special events providing thus a better description of the Tunisian interest rate setting. In particular, our results show that the adoption of an appropriate nonlinear approach leads to a reduction in the errors of 150 basis points in 1999 and 2009, and 60 basis points in 2011, relative to the linear approach.

Keywords: policy rule, central bank, exchange rate, taylor rule, nonlinearity

Procedia PDF Downloads 296

Authors: Moez ul Hassan, Bushra Noman, Sarmad Hameed, Shahab Mehmood, Asma Bashir

Abstract:

The importance of Noble prize winning “Patch Clamp Technique” is well documented. However, Patch Clamp Technique is very expensive and hence hinders research in developing countries. In this paper, detection, processing and recording of ultra low current from induced cells by using transimpedence amplifier is described. The sensitivity of the proposed amplifier is in the range of femto amperes (fA). Capacitive-feedback is used with active load to obtain a 20MΩ transimpedance gain. The challenging task in designing includes achieving adequate performance in gain, noise immunity and stability. The circuit designed by the authors was able to measure current in the rangeof 300fA to 100pA. Adequate performance shown by the amplifier with different input current and outcome result was found to be within the acceptable error range. Results were recorded using LabVIEW 8.5®for further research.

Keywords: drug discovery, ionic current, operational amplifier, patch clamp

Procedia PDF Downloads 519

Authors: Rim Frikha, Maha Ben Jema, Moez Elloumi, Tarek Rebai

Abstract:

Background: Acute lymphoblastic leukemia (ALL); a common blood cancer characterized by the interaction between genetic and environmental factors. Methylenetetrahydrofolate reductase (MTHFR) is an essential folate metabolic enzyme in the processes of DNA synthesis and methylation. A common functional variant of the MTHFR gene, the A1298C, which induces disturbances in folate metabolism, may affect susceptibility to ALL. Objective: The present study aimed to assess the prevalence of MTHFR polymorphism A1298 > C in Tunisian children with ALL. Materials and Methods: A total of 28 Tunisian ALL children were enrolled in this study. Genomic DNA was extracted from whole venous blood collected in ethylenediaminetetraacetic acid (EDTA). Genotyping was carried out with restriction fragment length polymorphism (RFLP) using MboII restriction enzyme. Genotype distribution and allele frequency of MTHFR A1298C was calculated in ALL patients. Results: The A1298C variant of MTHFR was found in 11(19.6%) heterozygous and one homozygous patient (3.5%). Conclusions: This result highlights that A1298C polymorphism of MTHFR is common in Tunisian childhood ALL and suggests that this variant may have a potential role in leukemogenesis. Genotyping of large samples and different ethnicities are required to validate these findings.

Keywords: methylenetetrahydrofolate reductase, acute lymphoblastic leukemia, A1298C variant, prevalence

Procedia PDF Downloads 135

Authors: Zeineb Kesentini, Abderrahim El Mahi, Jean Luc Rebiere, Rachid El Guerjouma, Moez Beyaoui, Mohamed Haddar

Abstract:

Industries’ attention has been drawn to green and sustainable materials as a result of the present energy deficit and environmental damage. Sandwiches formed of auxetic structures made up of periodic cells are also being investigated by industry. Several tests have emphasized the exceptional properties of these materials. In this study, the sandwich's core is a one-cell auxetic core. Among plant fibers, flax fibers are chosen because of their good mechanical properties comparable to those of glass fibers. Poly (lactic acid) (PLA), as a green material, is available from starch, and its production process requires fewer fossil resources than petroleum-based plastics. A polylactic acid (PLA) reinforced with flax fiber filament was employed in this study. The manufacturing process used to manufacture the test specimens is 3D printing. The major drawback of a 100% bio-based material is its low resistance to moisture absorption. In this study, a sandwich based on PLA / flax with an auxetic core is characterized statically for different periods of immersion in water. Bending tests are carried out on the composite sandwich for three immersion time. Results are compared to those of non immersed specimens. It is found that non aged sandwich has the ultimate bending stiffness.

Keywords: auxetic, bending tests, biobased composite, sandwich structure, 3D printing

Procedia PDF Downloads 154

Authors: Moez Elsaadani, Noel Durand, Brice Sorli, Didier Montet

Abstract:

Governments and international instances are trying to improve the food safety system to prevent, reduce or avoid the increase of food borne diseases. This food risk is one of the major concerns for the humanity. The contamination by mycotoxins is a threat to the health and life of humans and animals. One of the most common mycotoxin contaminating feed and foodstuffs is Ochratoxin A (OTA), which is a secondary metabolite, produced by Aspergillus and Penicillium strains. OTA has a chronic toxic effect and proved to be mutagenic, nephrotoxic, teratogenic, immunosuppressive, and carcinogenic. On the other side, because of their high stability, specificity, affinity, and their easy chemical synthesis, aptamer based methods are applied to OTA biosensing as alternative to traditional analytical technique. In this work, five aptamers have been tested to confirm qualitatively and quantitatively their binding with OTA. In the same time, three different analytical methods were tested and compared based on their ability to detect and quantify the OTA. The best protocol that was established to quantify free OTA from linked OTA involved an ultrafiltration method in green coffee solution with. OTA was quantified by HPLC-FLD to calculate the binding percentage of all five aptamers. One aptamer (The most effective with 87% binding with OTA) has been selected to be our biorecognition element to study its electrical response (variation of electrical properties) in the presence of OTA in order to be able to make a pairing with a radio frequency identification (RFID). This device, which is characterized by its low cost, speed, and a simple wireless information transmission, will implement the knowledge on the mycotoxins molecular sensors (aptamers), an electronic device that will link the information, the quantification and make it available to operators.

Keywords: aptamer, aptasensor, detection, Ochratoxin A

Procedia PDF Downloads 182

Authors: Hanen Bouaziz, Moez Rafrafi, Ghada Ben Salah, Kamel Jamoussi, Tahia Boudawara, Najiba Zeghal

Abstract:

The present study investigated the protective role of Hyparrhenia hirta against sodium nitrate (NaNO3)-induced nephrotoxicity. A high-performance liquid chromatography coupled with a mass spectrometer (HPLC-MS) method was developed to separate and identify flavonoids in Hyparrhenia hirta. Seven flavonoids were identified as 3-O-methylquercetin, luteolin-7-O-glucoside, luteolin, apigenin-7-O-glucoside, apigenin-8-C-glucoside, luteolin-8-C-glucoside and luteolin-6-C-glucoside. Wistar rats were randomly divided into three groups: a control group and two treated groups during 50 days with NaNO3 administered either alone in drinking water or co-administered with Hyparrhenia hirta. NaNO3 treatment induced a significant increase in plasma levels of creatinine, urea and uric while urinary level decreased significantly. Nephrotoxicity induced by NaNO3 was characterized by significant increase in creatinine clearance. In parallel, a significant increase in malondialdehyde level along with a concomitant decrease in total glutathione content and superoxide dismutase, catalase and glutathione peroxidase activities were observed in the kidney after NaNO3 treatment. The histopathological changes in kidney after NaNO3 administration were shrunken. There were renal tubule cell degeneration and infiltration of mononuclear cells. Most glomeruli revealed shrinkage, a wide capsular space and a peri-glomerular mononuclear cells infiltration. Hyparrhenia hirta supplementation showed a remarkable amelioration of the abnormalities cited above. The results concluded that the treatment with Hyparrhenia hirta had a significant role in protecting the animals from nitrate-induced kidney dysfunction.

Keywords: flavonoids, hyparrhenia hirta, kidney, nitrate toxicity, oxidative stress, rat

Procedia PDF Downloads 445

Authors: Abir Soltani, Moez Amri, Jouda Mediouni Ben Jemâa

Abstract:

In North Africa, the chickpea leafminer Liriomyza cicerina (Rondani) (Diptera: Agromizidae) is one of the major damaging pests affecting both spring and winter-planted chickpea. Damage is caused by the larvae which feed in the leaf mesophyll tissue, resulting in desiccation and premature leaf fall that can cause severe yield losses. In the present work, the distribution and the seasonal phenology of L. cicerina were studied on two chickpea varieties; a winter variety Beja 1 which is the most cultivated variety in Tunisia and a spring-sown variety Amdoun 1. The experiment was conducted during the cropping season 2015-2016. In the experimental research station Oued Beja, in the Beja region (36°44’N; 9°13’E). To determine the distribution and seasonal phenology of L. cicerina in both studied varieties Beja 1 and Amdoun 1, respectively 100 leave samples (50 from the top and 50 from the base) were collected from 10 chickpea plants randomly chosen from each field. The sampling was done during three development stages (i) 20-25 days before flowering (BFL), (ii) at flowering (FL) and (ii) at pod setting stage (PS). For each plant, leaves were checked from the base till the upper ones for the insect infestation progress into the plant in correlation with chickpea growth Stages. Fly adult populations were monitored using 8 yellow sticky traps together with weekly leaves sampling in each field. The traps were placed 70 cm above ground. Trap catches were collected once a week over the cropping season period. Results showed that L. cicerina distribution varied among both studied chickpea varieties and crop development stage all with seasonal phenology. For the winter chickpea variety Beja 1, infestation levels of 2%, 10.3% and 20.3% were recorded on the bases plant part for BFL, FL and PS stages respectively against 0%, 8.1% and 45.8% recorded for the upper plant part leaves for the same stages respectively. For the spring-sown variety Amdoun 1 the infestation level reached 71.5% during flowering stage. Population dynamic study revealed that for Beja 1 variety, L. cicerina accomplished three annual generations over the cropping season period with the third one being the most important with a capture level of 85 adult/trap by mid-May against a capture level of 139 adult/trap at the end May recorded for cv. Amdoun 1. Also, results showed that L. cicerina field infestation dispersal depends on the field part and on the crop growth stage. The border areas plants were more infested than the plants placed inside the plots. For cv. Beja 1, border areas infestations were 11%, 28% and 91.2% for BFL, FL and PS stages respectively, against 2%, 10.73% and 69.2% recorded on the on the inside plot plants during the for the same growth stages respectively. For the cv. Amdoun1 infestation level of 90% was observed on the border plants at FL and PS stages against an infestation level less than 65% recorded inside the plot.

Keywords: leaf miner, liriomyza cicerina, chickpea, distribution, seasonal phenology, Tunisia

Procedia PDF Downloads 284