Publications

Export 134676 results:
Sort by: Author Title Type [ Year (Desc)]
2011
Hegab, and M. F. Aly, " New terebratulid species from Cretaceous of Farafra Oasis, Egypt. ", Paleontological Soc. Egypt.11st Ann. Meeting., March, 2011.
El-Zawawy, M. A., "Program Optimization Based Pointer Analysis and Live Stack-Heap Analysis", International Journal of Computer Science Issues, vol. 8, no. 2, pp. 98-107, March, 2011. AbstractProgram Optimization Based Pointer Analysis and Live Stack-Heap Analysis.pdf

In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap analysis is an enrichment of that for pointer analysis; the enrichment has the form of a second component being added to types of the latter system. Results of pointer analysis are proved useful via their use in the type system for live stack-heap analysis. The type system for program optimization is also an augmentation of that for live stack-heap analysis, but the augmentation takes the form of a transformation component being added to inference rules of the latter system. The form of program optimization being achieved is that of dead-code elimination. A form of program correction may result indirectly from eliminating faulty code (causing the program to abort) that is dead. Therefore program optimization can result in program correction. Our type systems have the advantage of being compositional and relatively-simply structured. The novelty of our work comes from the fact that our type system for program optimization associates the optimized version of a program with a justification (in the form of a type derivation) for the optimization. This justification is pretty much appreciated in many research areas like certified code (proof-carrying code) which is the motivation of this work.

Sayed, H. A. A. H., and W. A. Aziz, "Trends of Contraceptive Discontinuation and Switching in Egypt during 2000-2008", Annual Conference of Statistics Department, Faculty of Economics and Political Sciences, Faculty of Economics and Political Sciences, march, 2011. trends_of_contraceptive_discontinuation_and_switching_in_egypt_during_2000-2008.pdf
Hashem, M., H. El-Karaksy, M. T. Shata, M. Sobhy, H. Helmy, S. El-Naghi, G. Galal, Z. Z. Ali, G. Esmat, S. F. Abdelwahab, et al., "Strong Hepatitis C Virus (HCV)-specific Cell-mediated Immune Responses in the Absence of Viremia or Antibodies Among Uninfected Siblings of HCV Chronically Infected Children", JOURNAL OF INFECTIOUS DISEASES, vol. 203, no. 6, pp. 854-861, MAR 15, 2011. Abstract
n/a
Hady, A. A., "Climate Change: Global, Regional and National Dimensions", NATO Advanced Research Workshop on Global Climate Change and Local Adaptation, Reykjavik Iceland, June 5-10, 2011. 2_-_hady_paper_-w-_iceland.pdf
Khairy, M., M. B. Fayek, and E. E. Hemayed, "PSO2: Particle Swarm Optimization with PSO-Based Local Search", CEC2011, IEEE Congress on Evolutionary Computation, Computational Intelligence Group, New Orleans, June , 2011.
Khalil, E. E., "Applying Computational CFD to Design Air Flow in Archaeological Church of Christ in Cairo, Egypt, ", Proceedings ASHRAE Annual Meeting, Seminar 50, Montreal,Canada, June, 2011.
T, B., A. R. M, and M. H, "Long-term cost effective fractionation of mertiatide (MAG3) kit with simple and feasible storage conditions,Poster presentation ", SNM Annual meeting, June , 2011.
Abdelaziz, S., A. Emira, A. Radwan, A. Mohieldin, and A. Soliman, "A Low Start-up Voltage Charge Pump for Thermoelectric Energy Scavenging", IEEE International Symposium on Industrial Electronics (ISIE), Poland, June, 2011.
AbdElFattah, M., A. Mohieldin, A. Emira, and E. Sanchez-Sinencio, "A Low-Voltage Charge Pump for Micro Scale Thermal Energy Harvesting", IEEE International Symposium on Industrial Electronics (ISIE), Poland, June, 2011.
Hassan, A. E., H. M. Bekhit, J. B. Chapman, Y. Zhang, and K. Pohlmann, "Propagating conceptual model and parameter uncertainty into groundwater monitoring network design", MODFLOW and MORE 2011, Golden, Colorado, USA, June, 2011.
El Tayebi, H. M., W. Salah, I. H. El Sayed, E. M. Salam, A. R. N. Zekri, N. Zayed, E. S. Salem, G. Esmat, and A. I. Abdelaziz, "Expression of insulin-like growth factor-II, matrix metalloproteinases, and their tissue inhibitors as predictive markers in the peripheral blood of HCC patients", BIOMARKERS, vol. 16, no. 4, pp. 346-354, JUN, 2011. Abstract
n/a
Adam, S., A. Mahrous, and W. Kortam, "3. The impact of entrepreneurial orientation and marketing innovation on sustained competitive advantage of female SMEs in Egypt: A conceptual framework", Patterson, A. and Oakes, S (eds) Proceedings of the Academy of Marketing Conference 2011 , Marketing Field Forever, Academy of Marketing, Liverpool. , July, 2011.
Tarek, O., A. Mahrous, and W. Kortam, "A Synergistic perspective on the hybrid segmentation of online shoppers/non-shoppers for airline tickets: The case of the Egyptian market", Patterson, A. and Oakes, S (eds) Proceedings of the Academy of Marketing Conference 2011: Marketing Field Forever, Academy of Marketing, Liverpool. , July 2011.
Kortam, W., S. Attia, and A. Mahrous, "Using Internet Marketing For Building and Communicating Brand Associations of Universities in Egypt", Patterson, A. and Oakes, S (eds) Proceedings of the Academy of Marketing Conference 2011: Marketing Field Forever, Academy of Marketing, Liverpool. , July 2011.
, "• “Exilic identity crisis in Tom Murphy, Martin McDonagh and Yussef El Guindi” ", IASIL, Leuven, Belgium , July 2011.
Ghoneim, A., "Reassignment-Based Strategy-Proof Mechanism for Interdependent Task Allocation with Private Costs and Execution Failures", The IJCAI 2011 Workshop of Social Choice and Artificial Intelligence, Spain, July, 2011.
Elhawary, E. I., G. F. Mahmoud, M. A. El-Daly, F. A. Mekky, G. G. Esmat, and M. Abdel-Hamid, "Association of HCV with diabetes mellitus: an Egyptian case-control study", VIROLOGY JOURNAL, vol. 8, JUL 26, 2011. Abstract
n/a
Vignier, N., G. Esmat, A. Elsharkawy, M. Hassany, P. Bonnard, E. Delarocque-Astagneau, M. Said, R. Raafat, M. El-Hoseiny, A. Fontanet, et al., "Reproducibility of liver stiffness measurements in hepatitis C virus (HCV)-infected patients in Egypt", JOURNAL OF VIRAL HEPATITIS, vol. 18, no. 7, pp. E358-E365, JUL, 2011. Abstract
n/a
Sievert, W., I. Altraif, H. A. Razavi, A. Abdo, E. A. Ahmed, A. AlOmair, D. Amarapurkar, C. - H. Chen, X. Dou, H. E. Khayat, et al., "A systematic review of hepatitis C virus epidemiology in Asia, Australia and Egypt", LIVER INTERNATIONAL, vol. 31, no. 2, SI, pp. 61-80, JUL, 2011. Abstract
n/a
Fawzy, M., M. Aboelela, A. E. O. Rhman, and H. T. Dorrah‎, "Design of Intelligent Missile Control System Using Model Predictive ‎Control", WCSIT'11 Conference‎, Cairo, Egypt, January 24-27‎, 2011. mpc_paper.pdf
Khalil, E. E., M. A. Eldeeb, and A. mahmoud Fouad, "Efficiency Optimization of a Standing-Wave Thermoacoustic Heat Engine,", AIAA-2011-0128, Orlando, USA, January , 2011.
Khalil, E. E., S. A. Sherif, B. Lear, S. DuClou, and M. J. Brooks, "Ejector Design and Testing Under Transient Flow Conditions, ", AIAA-2011-894178, Orlando, USA, January , 2011.
Khalil, E. E., A. M. Ibrahim, and N. M. Arafa, "Geometrical Optimization of Thermoacoustic Heat Engines,", AIAA-2011-0129, Orlando,, USA, January , 2011.
Khalil, E. E., "Modelling Of Air Flow In Dense Populated Air Conditioned Spaces. ", AIAA-2011-0255, Orlando, USA, January , 2011.
Tourism