Fairouz, F.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[Communications in Computer and Information Science] Intelligent Technologies and Applications Volume 932 (First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers) || Legal Data Mining from Civil Judgments

Bajwa, Imran Sarwar, Kamareddine, Fairouz, Costa, Anna

Year:

2019

Language:

english

File:

PDF, 280 KB

english, 2019

52

[Communications in Computer and Information Science] Intelligent Technologies and Applications Volume 932 (First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers) || Containers vs Virtual Machines for Auto-scaling Multi-tier Applications Under Dynamically Increasing Workloads

Bajwa, Imran Sarwar, Kamareddine, Fairouz, Costa, Anna

Year:

2019

Language:

english

File:

PDF, 950 KB

english, 2019

53

[Communications in Computer and Information Science] Intelligent Technologies and Applications Volume 932 (First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers) || Requirement Elicitation for Bespoke Software Development: A Review Paper

Bajwa, Imran Sarwar, Kamareddine, Fairouz, Costa, Anna

Year:

2019

Language:

english

File:

PDF, 410 KB

english, 2019

54

[IEEE 2019 15th International Wireless Communications and Mobile Computing Conference (IWCMC) - Tangier, Morocco (2019.6.24-2019.6.28)] 2019 15th International Wireless Communications & Mobile Computing Conference (IWCMC) - Performance and Correctness of Mobile Cloud Computing Systems: Taxonomy and Open Challenges

Fakhfakh, Fairouz

Year:

2019

Language:

english

File:

PDF, 550 KB

english, 2019

55

Effect of Mechanical Surface Treatments on Impact Strength for Low Carbon Steel AISI 1020

Ebraheem, Ahmed Abdullah, Fairouz, Layth Kailan

Journal:

IOP Conference Series Materials Science and Engineering

Year:

2019

Language:

english

File:

PDF, 485 KB

english, 2019

56

The Impact of Applying the Electronic Cheque Clearing System on Employees’ Satisfaction in Accounting Departments’ of Jordanian Islamic Banks

Qatawneh, Adel M., Aldhmour, Fairouz M., Aldmour, Lara T.

Journal:

International Business Research

Year:

2016

Language:

english

File:

PDF, 537 KB

english, 2016

57

IN VIVO OBSERVATION OF RETINAL VASCULAR DEPOSITS USING ADAPTIVE OPTICS IMAGING IN FABRY DISEASE

Sodi, Andrea, Germain, Dominique P., Bacherini, Daniela, Finocchio, Lucia, Pacini, Bianca, Marziali, Elisa, Lenzetti, Chiara, Tanini, Ilaria, Koraichi, Fairouz, Coriat, Caroline, Nencini, Patrizia, Ol

Journal:

Year:

2019

File:

PDF, 808 KB

2019

58

Chaos control and solutions of fractional-order Malkus waterwheel model

Akinlar, Mehmet Ali, Tchier, Fairouz, Inc, Mustafa

Journal:

Chaos, Solitons & Fractals

Year:

2020

Language:

english

File:

PDF, 1.48 MB

english, 2020

59

Predicting manual wheelchair initiation movement with EMG activity during over ground propulsion

Chikh, Soufien, Boudet, Samuel, Pinti, Antonio, Garnier, Cyril, El Hage, Rawad, Azaiez, Fairouz, Watelain, Eric

Journal:

Journal of Spinal Cord Medicine

Year:

2020

File:

PDF, 966 KB

2020

60

Selfâtriggered stabilizing controllers for linear continuousâtime systems

Zobiri, Fairouz, Meslem, Nacim, BidegarayâFesquet, Brigitte

Journal:

International Journal of Robust and Nonlinear Control

Year:

2020

File:

PDF, 907 KB

2020

61

Moderation Effect of Physical Activity on the Relationship Between Fear of COVID-19 and General Distress: A Pilot Case Study in Arabic Countries

Alsalhe, Tareq A., Aljaloud, Sulaiman O., Chalghaf, Nasr, Guelmami, Noomen, Alhazza, Dallal W., Azaiez, Fairouz, Bragazzi, Nicola Luigi

Journal:

Frontiers in Psychology

Year:

2020

File:

PDF, 600 KB

2020

62

The relevance of valuation models: insights from Palestine exchange

Harasheh, Murad, Amaduzzi, Andrea, Darwish, Fairouz

Journal:

International Journal of Islamic and Middle Eastern Finance and Management

Year:

2020

File:

PDF, 186 KB

2020

63

Enantiomeric separation of drugs and herbicides on a β-cyclodextrin-bonded stationary phase

Fairouz Tazerouti, Ahmed Yacine Badjah-Hadj-Ahmed, Brahim Youcef Meklati, Pilar Franco, Cristina Minguillon

Journal:

Year:

2002

Language:

english

File:

PDF, 128 KB

english, 2002

64

Preparation and chromatographic properties of a multimodal chiral stationary phase based on phenyl-carbamate-propyl-β-CD for HPLC

Kahina Si Ahmed, Fairouz Tazerouti, Ahmed Yacine Badjah-Hadj-Ahmed, Brahim Youcef Meklati

Journal:

Journal of Separation Science

Year:

2007

Language:

english

File:

PDF, 1.66 MB

english, 2007

65

Immigrant integration in rural communities: The case of Morgan County

Fairouz Abu-Ghazaleh

Journal:

National Civic Review

Year:

2009

Language:

english

File:

PDF, 46 KB

english, 2009

66

Embedding a demonic semilattice in a relation algebra

Jules Desharnais, Nadir Belkhiter, Salah Ben Mohamed Sghaier, Fairouz Tchier, Ali Jaoua, Ali Mili, Nejib Zaguia

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.52 MB

english, 1995

67

Computerizing Mathematical Text with MathLang

Fairouz Kamareddine, J.B. Wells

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 516 KB

english, 2008

68

Simplified Reducibility Proofs of Church-Rosser for β- and βη-reduction

Fairouz Kamareddine, Vincent Rahli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 370 KB

english, 2009

69

Preface

Mauricio Ayala-Rincón, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 106 KB

english, 2009

70

Comparing and implementing calculi of explicit substitutions with eta-reduction

Mauricio Ayala-Rincón, Flávio L.C. de Moura, Fairouz Kamareddine

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 468 KB

english, 2005

71

Attrition-free pyrolysis to produce bio-oil and char

Mauviel Guillain, Kies Fairouz, Sans Rene Mar, Ferrer Monique, Lédé Jacques

Journal:

Bioresource Technology

Year:

2009

Language:

english

File:

PDF, 430 KB

english, 2009

72

Experimental study on mass transfer of a co-current gas–liquid contactor performing under high gas velocities

Fairouz K. Kies, Belkacem Benadda, Michel Otterbein

Journal:

Chemical Engineering and Processing: Process Intensification

Year:

2004

Language:

english

File:

PDF, 113 KB

english, 2004

73

Application of the off-gas method to the measurement of oxygen transfer in biofilters

Sylvie Gillot, Fairouz Kies, Christophe Amiel, Michel Roustan, Alain Héduit

Journal:

Chemical Engineering Science

Year:

2005

Language:

english

File:

PDF, 299 KB

english, 2005

74

Optical isomer separation of flavanones and flavanone glycosides by nano-liquid chromatography using a phenyl-carbamate-propyl-β-cyclodextrin chiral stationary phase

Kahina Si-Ahmed, Fairouz Tazerouti, Ahmed Y. Badjah-Hadj-Ahmed, Zeineb Aturki, Giovanni D’Orazio, Anna Rocco, Salvatore Fanali

Journal:

Journal of Chromatography A

Year:

2010

Language:

english

File:

PDF, 658 KB

english, 2010

75

MathLang: Experience-driven Development of a New Mathematical Language

Fairouz Kamareddine, Manuel Maarek, J.B. Wells

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 284 KB

english, 2004

76

Mathematical Knowledge Management Symposium 2003

Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 63 KB

english, 2004

77

Editorial

Fairouz Kamareddine

Journal:

Journal of Applied Logic

Year:

2004

Language:

english

File:

PDF, 138 KB

english, 2004

78

Sensitive detection of transglycosylating activity of xyloglucan endotransglycosylase/hydrolase (XTH) after isoelectric focusing in polyacrylamide gels

Vladimír Farkaš, Fairouz Ait-Mohand, Eva Stratilová

Journal:

Plant Physiology and Biochemistry

Year:

2005

Language:

english

File:

PDF, 692 KB

english, 2005

79

Electronic structure and vibrational frequencies in dehydroacetic acid (DHA) transition-metal complexes: A DFT study

Fairouz Zouchoune, Saber-Mustapha Zendaoui, Naïma Bouchakri, Amel Djedouani, Bachir Zouchoune

Journal:

Journal of Molecular Structure: THEOCHEM

Year:

2010

Language:

english

File:

PDF, 338 KB

english, 2010

80

On Π-conversion in the λ-cube and the combination with abbreviations

Fairouz Kamareddine, Roel Bloo, Rob Nederpelt

Journal:

Annals of Pure and Applied Logic

Year:

1999

Language:

english

File:

PDF, 1.39 MB

english, 1999

81

Comparing Calculi of Explicit Substitutions with Eta-reduction

Mauricio Ayala-Rincón, Flávio L.C. de Moura, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.36 MB

english, 2002

82

Automath and Pure Type Systems

Fairouz Kamareddine, Twan Laan, Rob Nederpelt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.37 MB

english, 2003

83

Preface: Volume 85, Issue 7

Herman Geuvers, Fairouz Kamareddine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 56 KB

english, 2003

84

λ-Terms, logic, determiners and quantifiers

Fairouz Kamareddine

Journal:

Journal of Logic, Language and Information

Year:

1992

Language:

english

File:

PDF, 973 KB

english, 1992

85

A type free theory and collective/distributive predication

Fairouz Kamareddine

Journal:

Journal of Logic, Language and Information

Year:

1995

Language:

english

File:

PDF, 1.32 MB

english, 1995

86

Preparation and enantioseparation characteristics of three chiral stationary phases based on modified β-cyclodextrin for liquid chromatography

Kahina Si-Ahmed, Fairouz Tazerouti, Ahmed Y. Badjah-Hadj-Ahmed

Journal:

Analytical and Bioanalytical Chemistry

Year:

2009

Language:

english

File:

PDF, 275 KB

english, 2009

87

On performance evaluation and design of atomic commit protocols for mobile transactions

Nadia Nouali-Taboudjemat, Fairouz Chehbour, Habiba Drias

Journal:

Distributed and Parallel Databases

Year:

2010

Language:

english

File:

PDF, 1.75 MB

english, 2010

88

Bioequivalence Approaches for Highly Variable Drugs and Drug Products

Sam H. Haidar, Barbara Davit, Mei-Ling Chen, Dale Conner, LaiMing Lee, Qian H. Li, Robert Lionberger, Fairouz Makhlouf, Devvrat Patel, Donald J. Schuirmann, Lawrence X. Yu

Journal:

Pharmaceutical Research

Year:

2008

Language:

english

File:

PDF, 103 KB

english, 2008

89

Quality of life in relation to upper and lower respiratory conditions among retired 9/11-exposed firefighters with pulmonary disability

Amy Berninger, Mayris P. Webber, Jessica Weakley, Jackson Gustave, Rachel Zeig-Owens, Roy Lee, Fairouz Al-Othman, Hillel W. Cohen, Kerry Kelly, David J. Prezant

Journal:

Quality of Life Research

Year:

2010

Language:

english

File:

PDF, 222 KB

english, 2010

90

A completeness result for a realisability semantics for an intersection type system

Fairouz Kamareddine, Karim Nour

Journal:

Annals of Pure and Applied Logic

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

91

Analysis of hesperetin enantiomers in human urine after ingestion of blood orange juice by using nano-liquid chromatography

Kahina Si-Ahmed, Fairouz Tazerouti, Ahmed Y. Badjah-Hadj-Ahmed, Zeineb Aturki, Giovanni D’Orazio, Anna Rocco, Salvatore Fanali

Journal:

Journal of Pharmaceutical and Biomedical Analysis

Year:

2010

Language:

english

File:

PDF, 333 KB

english, 2010

92

Xyloglucan endotransglycosylases (XETs) from germinating nasturtium (Tropaeolum majus) seeds: Isolation and characterization of the major form

Eva Stratilová, Fairouz Ait-Mohand, Pavel Řehulka, Soňa Garajová, Dana Flodrová, Helena Řehulková, Vladimír Farkaš

Journal:

Plant Physiology and Biochemistry

Year:

2010

Language:

english

File:

PDF, 1.20 MB

english, 2010

93

An improved automated ultrasonic NDE system by wavelet and neuron networks

Fairouz Bettayeb, Tarek Rachedi, Hamid Benbartaoui

Journal:

Year:

2004

Language:

english

File:

PDF, 501 KB

english, 2004

94

On automating the extraction of programs from proofs using product types

Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.45 MB

english, 2002

95

Explicit Substitutions à la de Bruijn: the local and global way

Fairouz Kamareddine, Alejandro Ríos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 1.25 MB

english, 2003

96

Characterization of two partially purified xyloglucan endotransglycosylases from parsley (Petroselinum crispum) roots

Soňa Garajová, Dana Flodrová, Fairouz Ait-Mohand, Vladimír Farkaš, Eva Stratilová

Journal:

Year:

2008

Language:

english

File:

PDF, 262 KB

english, 2008

97

Preface: Mechanizing and Automating Mathematics: In honour of N.G. de Bruijn

Fairouz Kamareddine

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 48 KB

english, 2002

98

Formalizing Strong Normalization Proofs of Explicit Substitution Calculi in ALF

Fairouz Kamareddine, Haiyan Qiao

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 259 KB

english, 2003

99

A Refinement of de Bruijn's Formal Language of Mathematics

Fairouz Kamareddine, Rob Nederpelt

Journal:

Journal of Logic, Language and Information

Year:

2004

Language:

english

File:

PDF, 382 KB

english, 2004

100

High Rate of Helicobacter pylori Reinfection in Children and Adolescents

Fairouz Halitim, Pascal Vincent, Laurent Michaud, Nicolas Kalach, Dominique Guimber, Françoise Boman, Dominique Turck, Frederic Gottrand

Journal:

Year:

2006

Language:

english

File:

PDF, 109 KB

english, 2006