Publications

Export 7953 results:
Sort by: Author Title [ Type  (Desc)] Year
Thesis
el-ayashy M., H. Nassar, N. GOUDA, and L. DOSS, Surgical transversus abdominis plane block for pain relief in children undergoing splenectomy, , GIZA, Cairo university, 2014. surgical_tap.pdf
Mahmoud, R. N., M. M. Yousry, and H. E. A. deeb, transdentinal antibacterial effect of nisin with or without chlorhexidine, , cairo, cairo university, 2016.
Doss, L. H., A. Abo-Elela, H. Nassar, and M. Zarif, Transversus Abdominis Plane (TAP) block a novel approach in trunk block, , 2013.
Software
Dawood, H., InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing, , 1.0: Department of Mathematics, Faculty of Science, Cairo University, 2018. AbstractWebsite

InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing. InCLosure, provides rigorous and reliable results in arbitrary precision. From its name, InCLosure (abbreviated as "InCL") focuses on "enclosing the exact real result in an interval". The interval result is reliable and can be as narrow as possible.
InCLosure supports arbitrary precision in both real and interval computations. In real arithmetic, the precision is arbitrary in the sense that it is governed only by the computational power of the machine (default is 20 significant digits). The user can change the default precision according to the requirements of the application under consideration. Since interval arithmetic is defined in terms of real arithmetic, interval computations inherit the arbitrary precision of real arithmetic with an added property that the interval subdivision method is provided with an arbitrary number of subdivisions which is also governed only by the computational power of the machine. The user can get tighter and tighter guaranteed interval enclosures by setting the desired number of subdivisions to cope with the problem at hand.
All the computations defined in terms of real and interval arithmetic (e.g., real and interval automatic differentiation) inherit the same arbitrary precision.
InCLosure is written in Lisp, the most powerful and fast language in scientific computations. InCLosure provides easy user interface, detailed documentation, clear and fast results. Anyone can compute with InCLosure.

Dawood, H., InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing, , 2.0: Department of Mathematics, Faculty of Science, Cairo University, 2018. AbstractWebsite

InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing. InCLosure, provides rigorous and reliable results in arbitrary precision. From its name, InCLosure (abbreviated as "InCL") focuses on "enclosing the exact real result in an interval". The interval result is reliable and can be as narrow as possible.
InCLosure supports arbitrary precision in both real and interval computations. In real arithmetic, the precision is arbitrary in the sense that it is governed only by the computational power of the machine (default is 20 significant digits). The user can change the default precision according to the requirements of the application under consideration. Since interval arithmetic is defined in terms of real arithmetic, interval computations inherit the arbitrary precision of real arithmetic with an added property that the interval subdivision method is provided with an arbitrary number of subdivisions which is also governed only by the computational power of the machine. The user can get tighter and tighter guaranteed interval enclosures by setting the desired number of subdivisions to cope with the problem at hand.
All the computations defined in terms of real and interval arithmetic (e.g., real and interval automatic differentiation) inherit the same arbitrary precision.
InCLosure is written in Lisp, the most powerful and fast language in scientific computations. InCLosure provides easy user interface, detailed documentation, clear and fast results. Anyone can compute with InCLosure.

Dawood, H., InCLosure (Interval enCLosure): A Language and Environment for Reliable Scientific Computing, , 3.0: Department of Mathematics, Faculty of Science, Cairo University, 2020. AbstractWebsite

InCLosure (Interval enCLosure) is a Language and Environment for Reliable Scientific Computing. Interval computations are radically different from traditional numerical approximation methods and reliable computing under uncertainty is a key focus for modern research in mathematics, computer science, physics, and engineering. InCLosure is a system for carrying out reliable and self-validated computations in arbitrary precision. From its name, InCLosure (abbreviated as "InCL") focuses on "computing guaranteed interval enclosures", that is, "enclosing the exact real result in an interval".
InCLosure is powerful enough to carry out computations ranging from simple real and interval arithmetic, through symbolic and numeric differentiation to an arbitrary order, real automatic differentiation, and interval automatic differentiation, up to and including interval enclosures of integrals and Taylor model computations. No matter how complicated the problem under consideration is, InCLosure provides arbitrary precisions and reliable interval results that can be as narrow as possible by the computational power of the hosting machine.
InCLosure supports arbitrary precision in both real and interval computations. In real arithmetic, the precision is arbitrary in the sense that it is governed only by the computational power of the machine (default is 20 significant digits). The user can change the default precision according to the requirements of the application under consideration. Since interval arithmetic is defined in terms of real arithmetic, interval computations inherit the arbitrary precision of real arithmetic with an added property that the interval subdivision method is provided with an arbitrary number of subdivisions which is also governed only by the computational power of the machine. The user can get tighter and tighter guaranteed interval enclosures by setting the desired number of subdivisions to cope with the problem at hand.
All the computations defined in terms of real and interval arithmetic (e.g., real and interval automatic differentiation, Taylor model computations, and so forth) inherit the same arbitrary precision.
InCLosure is designed to support both interactive and batch modes. In the InCLosure interactive interface, the user can input an InCL command and see its result before moving on to the next command. InCLosure can also be used in batch mode in which case sequences of InCL commands can be given to InCLosure via InCL input files with the results saved in simple and intuitively formatted output files.
InCLosure is coded entirely in Lisp, arguably the fastest and most powerful language for scientific computations. InCLosure provides a friendly and easy-to-use user interface, a simple and intuitive language, a detailed documentation, and clear and fast results. Anyone can compute with InCLosure.

Report
A.Totonji, N. El-Khatib, M. E. Dokla, and M. H. Sayyouh., 2. "Laboratory and Numerical Investigation of Enhanced Oil Recovery for Saudi Oil Fields by Surfactant and Polymer Flooding, , Riyadh, SA, Saudi Arabian National Center for Science and Technology(SANCST), 1984.
Dawood, H., and Y. Dawood, A Dependency-Aware Interval Algebra, , Giza, Department of Mathematics, Faculty of Science, Cairo University, 2013. Abstract

A new dependency-aware interval arithmetic is presented and its algebraic system is investigated.

Sayyouh, M. H., A. Dahab, M. S. Al-Blehed, and A. Hemeida, Effect of Drilling Fluids on Rock Wettability, , Riyadh, SA, Research Center of the College of Engineering. Report No.9/402, 1993.
Dokla, M. D., M. H. Sayyouh, and A. Tontonji, Effect of Shale on Matrix Conduction under Reservoir Conditions, , Riyadh, SA, Research Centre, the College of Engineering. Report No.4/402, 1983.
Abay, K., F. Abdelradi, C. Breisinger, X. Diao, P. Dorosh, K. Pauw, Randriamamonjy, J, R. M., and J. Thurlow, Egypt: Impacts of the Ukraine and Global Crises on Poverty and Food Security, , 2022.
Dawood, H., and Y. Dawood, The Form of the Uncertain: On the Mathematical Structures of Uncertainty, , Giza, Department of Mathematics, Faculty of Science, Cairo University, 2016. Abstract

In this report, we investigate into the algebraic structures underlying the mathematics of uncertainty.

Salem, M. H., H. T. Dorrah, and M. Aboelela, Identification, Estimation and Validation of Some River Catchment Models with ‎Application, , Cairo, Egypt, MIT/CU Technological Program, 1981.
Dawood, H., and Y. Dawood, Interval Algerbras: A Formalized Treatment, , Giza, Department of Mathematics, Faculty of Science, Cairo University, 2016. Abstract

The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.

Tourism