Export 3812 results:
Sort by: Author [ Title  (Desc)] Type Year
A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [Show ALL]
Gomaa, W. O., and E. A. Agamy, "Tyrophagus putriscentiae Schr. (Acari : Acarididae ) as Prey for Rearing the Predator Orius laevigatus (Fieber) (Hemiptera : Anthocoridae).", Egypt. J. Biol. Pest Control,, vol. 12, issue 2, pp. 5-7, 2002. Abstract
Rouchdy, A., and A. E. - D. Farouk, "Tyrone David aortic valve sparing operations: Midterm durability", J Egypt Soc Cardiothorac Surg, vol. 22, issue 4, 2014. tyrone_david_aortic_valve_sparing.pdf
AlSadaty, A., "Typological Approach to Maintain Character in Historic Urban Areas", URBAN DESIGN International, 2022.
M. El-Hariri, H. Shawky, N. Ezz-Eldin, W. Tawakkol, M. Kotb, and M. Refai, "Typing of Cryptococcus neoformans isolates recovered from droppings of pigeons, parrots and canaries.", Vet.Med.J.Giza. , vol. 55 , pp. 411-423., 2007. typing_of_c.n..pdf
Heidy Abo Elyazeed*, Amany Elsayed, S. Marouf, and M. Refai, "TYPING OF CLOSTRIDIUM PERFRINGENS ISOLATES RECOVERED FROM NECROTIC ENTERITIS IN TURKEYS IN EGYPT BY MULTIPLEX PCR", International Journal of Research Studies in Biosciences (IJRSB) , vol. 3, issue 8,, pp. PP 1-6, 2015. typing_of_clostridium_perfringens_isolates_recovered_from_turkeys_published.pdf
S.Moustafa, and A.Elyamani, "Typical Reasons of the Degradation of Islamic Historical Structures and Its Surroundings and Proposals for Intervention: The Case of Queen Safiyya Mosque in Cairo", onference: 20th Conference of the General Union of the Arab Archaeologists, At: Fayoum, Egypt, 11-13 Nov. 2017, 2018. as6924018322104321542092869033_content_1.pdf
, "Typhoid Ileal Perforation", Medical Journal of Cairo University , vol. September, 1995.
Negmeldin, M. M., "TYPES OF THE CEILING AND ITS DECORATIONS AT ANCIENT EGYPTIAN ARCHITECTURE", 4th International conference on Archi-cultural interactions through the silk road, Nishinomiya, Japan, ISBN 978-4-907594-05-3, pp. 55-62, 2017. 105_final.pdf
Barrada, A. M., and G. Hassan, Types of Egyptian Villages and Methods of Interaction, , Giza, Urban Research Consulting Center, pp. 1-12, June 2004. types_of_villages.pdf
Khalil, E. E., Types and Performance of Pumps and Compressors, , Paris, UNESCO_Ellos,2012, 2012.
Kim, N., J. J. Kim, I. Kim, M. Mannaa, J. Park, J. Kim, H. ‐H. Lee, S. ‐B. Lee, D. ‐S. Park, and W. J. Sul, "Type VI secretion systems of plant‐pathogenic Burkholderia glumae BGR1 play a functionally distinct role in interspecies interactions and virulence", Molecular plant pathology, vol. 21, issue 8, pp. 1055-1069, 2020. Abstract
El-Zawawy, M. A., and H. A. Nayel, "Type Systems Based Data Race Detector", IJCSNS International Journal of Computer Science and Network Security, vol. 5, no. 4, pp. 53-60, July, 2012. AbstractType Systems Based Data Race Detector.pdf

Multi-threading is a methodology that has been extremely used. Modern software depends essentially on multi-threading. Operating systems, famous examples, are based on multi-threading; a user can write his document, play an audio file, and downloading a file from internet at the same time. Each of these tasks called a thread. A common problem occurs when implementing multi-threaded programs is a data-race. Data race occurs when two threads try to access a shared variable at the same time without a proper synchronization. A detector is software that determines if the program contains a data-race problem or not. In this paper, we develop a detector that has the form of a type system. We present a type system which discovers the data-race problems. We also prove the soundness of our type system.

El-Zawawy, M. A., "A Type System for Android Applications", 16th International Conference on Computational Science and Its Applications, Beijing, China, July 4-7, 2016. Abstract

The most common form of computers today is the hand held form and
specially smart phones and tablets. The platform for the majority of
smart phones is the Android operating system. Therefore analyzing
and verifying the Android applications become an issue of extreme
importance. However classical techniques of static analysis are not
applicable directly to Android applications. This is so because
typically Android applications are developed using Java code that is
translated into Java bytecode and executed using Dalvik virtual
machine. Also developing new techniques for static analysis of
Android applications is an involved problem due to many facts such
as the concept of gestures used in Android interaction with users.

One of the main tools of analyzing and verifying programs is types
systems~\cite{el2012heap}. This paper presents a new type system,
Android$\mathcal{T}$, which is specific to Android applications. The
proposed type system ensures the absence of errors like "method is
undefined". Also the type system is applicable to check the
soundness of static analyses of Android applications.

Hosni, H. A., and A. I. Hosny, "The Type specimens in Cairo University Herbarium from Egypt and Arabia", Taeckholmia, vol. 11, pp. 47-62, 1988.
El-Din, H. S., A. Al-Fattah, and M. Abd Al-Wahab, The type of protein supplement or substitute and its location from brood affect honeybee colony performance, : Beni-Sweif University, Faculty of Agriculture, 2022. Abstract
Al-Naggar, A. M. M., R. Shabana, M. S. Hassanein, T. A. Elewa, A. S. M. Younis, and A. M. a Metwally, "Type of gene action and heritability controlling inheritance of maize traits related to plant density tolerance ", Scientia Agriculturae , vol. 19, issue 3, pp. 76-84, 2017. type__of__gene__action_and__heritability.pdf
Bajwa, S., and R. H. Mohammed, "Type II Hypersensitivity Reaction",, 2020.
ul Haq, M. A., A. M. Almarashi, A. S. Hassan, and M. Elgarhy, "Type II Half Logistic Rayleigh Distribution: Properties and Estimation Based on Censored Samples", Journal of Advances in Mathematics and Computer Science, vol. 29, issue 1, pp. 1-19, 2018. 2018_tiihlr_distribution.pdf
Hassan, A. S., M. Elgarhy, and M. Shakil, "Type II Half Logistic Family of Distributions with Applications", Pakistan Journal of Statistics &Operation Research, vol. 13, issue 2, pp. 545-566, 2017. tiihlf.pdf
Hassan, A. S., M. Elgarhy, and Z. Ahmad, "TYPE II GENERALIZED TOPP–LEONE FAMILY OF DISTRIBUTIONS: PROPERTIES AND APPLICATIONS", Journal of Data Science, vol. 17, issue 4, pp. 638 - 659, 2019. 2019_type_ii_generalized_topp-leone_family.pdf
Yao, J., Y. M. AbdelRahman, R. M. Robertson, J. V. Cox, R. J. Belland, S. W. White, and C. O. Rock, "Type II fatty acid synthesis is essential for the replication of Chlamydia trachomatis", Journal od Biological Chemistry, vol. 289, issue 32, pp. 22365–22376, 2014. j._biol._chem.-2014-yao-22365-76.pdf
Algarni, A., Abdullah M. Almarashi, I. Elbatal, Amal S. Hassan, Ehab M. Almetwally, A. M. Daghistani, and M. Elgarhy, "Type I Half Logistic Burr X-G Family: Properties, Bayesian, and Non-Bayesian Estimation under Censored Samples and Applications to COVID-19 Data", 2021, pp. 1-21, 2021. 23_type_i_half_logistic_burr_x-g_family.pdf