Works by Sayed, Tarek

Results: 132

Predictors of Mortality in Patient with Upper Gastro-Intestinal Tract Bleeding.

Published in:

Egyptian Journal of Hospital Medicine, 2025, v. 99, n. 1, p. 2153, doi. 10.21608/ejhm.2025.430486

By:

Gouda, Tarek El Sayed;
Fikry, Amir A.;
El-hamid Mousa, Samar Abd;
Mohamed Mashal, Mahmoud AbdAllah

Publication type:

Article

Atom canonicity and first order definability in classes of algebras of relations.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2020, v. 57, n. 3, p. 321, doi. 10.1556/012.2020.57.3.1467

By:

Ahmed, Tarek Sayed

Publication type:

Article

On the multi-dimensional modal logic of substitutions.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2019, v. 56, n. 4, p. 454, doi. 10.1556/012.2019.56.4.1447

By:

Ahmed, Tarek Sayed;
Mahmoud, Mohammad Assem

Publication type:

Article

Various notions of represetability for cylindric and polyadic algebras.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2019, v. 56, n. 3, p. 335, doi. 10.1556/012.2019.56.3.1436

By:

Ahmed, Tarek Sayed

Publication type:

Article

On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 6, p. 418, doi. 10.1002/malq.201300064

By:

Sayed Ahmed, Tarek

Publication type:

Article

On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 4, p. 384, doi. 10.1002/malq.201010015

By:

Ahmed, Tarek Sayed

Publication type:

Article

The class of polyadic algebras has the super amalgamation property.

Published in:

Mathematical Logic Quarterly, 2010, v. 56, n. 1, p. 103, doi. 10.1002/malq.200810040

By:

Ahmed, Tarek Sayed

Publication type:

Article

On neat embeddings of cylindric algebras.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 6, p. 666, doi. 10.1002/malq.200810028

By:

Ahmed, Tarek Sayed

Publication type:

Article

A simple construction of representable relation algebras with non-representable completions.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 3, p. 237, doi. 10.1002/malq.200710075

By:

Ahmed, Tarek Sayed

Publication type:

Article

A note on substitutions in representable cylindric algebras.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 3, p. 280, doi. 10.1002/malq.200710086

By:

Ahmed, Tarek Sayed

Publication type:

Article

Weakly representable atom structures that are not strongly representable, with an application to first order logic.

Published in:

Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 294, doi. 10.1002/malq.200710038

By:

Ahmed, Tarek Sayed

Publication type:

Article

An Omitting Types Theorem for first order logic with infinitary relation symbols.

Published in:

Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 564, doi. 10.1002/malq.200610050

By:

Ahmed, Tarek Sayed;
Samir, Basim

Publication type:

Article

Polyadic and cylindric algebras of sentences.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 444, doi. 10.1002/malq.200510039

By:

Amer, Mohamed;
Sayed Ahmed, Tarek

Publication type:

Article

The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 106, doi. 10.1002/malq.200510020

By:

Ahmed, Tarek Sayed

Publication type:

Article

A Modeltheoretic Solution to a Problem of Tarski.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 3, p. 343, doi. 10.1002/1521-3870(200204)48:3<343::AID-MALQ343>3.0.CO;2-4

By:

Ahmed, Tarek Sayed

Publication type:

Article

A Comparative Study of Subinguinal Microscopic versus Open Surgical Varicocelectomy in Treatment of Primary Varicocele.

Published in:

QJM: An International Journal of Medicine, 2024, v. 117, p. ii438, doi. 10.1093/qjmed/hcae175.1007

By:

Abdallah, Hany Mostafa;
El-Sayed, Tarek Osman;
Radwan, Ahmed Ibrahim;
Abdel Aziz, Aly Abbas Khalaf

Publication type:

Article

Transurethral Intraprostatic Injection of BotulinumToxin Type A for the Treatment of Category III Chronic Prostatitis: A Randomized Sham Controlled Study.

Published in:

QJM: An International Journal of Medicine, 2024, v. 117, p. ii437

By:

El-Sayed, Tarek Osman;
Shabayek, Mohamed Ismail;
Mohamed Sadek, Ahmed Tarek

Publication type:

Article

Serum Visfatin Level Role in Diagnosis of Active Inflamatory Bowel Diseases.

Published in:

QJM: An International Journal of Medicine, 2024, v. 117, p. ii185, doi. 10.1093/qjmed/hcae175.430

By:

Abdelghany Aboghanm, Mohamed Ali;
Youssef Sayed, Tarek Mohamed;
Mohamed Elshafie, Ahmed Ibrahim;
Mahmoud Abdelnaby, Karim Ahmed

Publication type:

Article

Evaluation of Tamsulosin 0.4 mg versus 0.8 mg in Management of Patients Suffering from Lower Urinary Tract Symptoms Due to Benign Prostatic Hyperplasia.

Published in:

QJM: An International Journal of Medicine, 2024, v. 117, p. i269, doi. 10.1093/qjmed/hcae070.628

By:

Al Sayed, Tarek Othman;
Essam, Mohammed Darweesh;
Al Saeed, Kareem Omar

Publication type:

Article

Usage of Dermal Substitutes for Hand Coverage and Reconstruction.

Published in:

QJM: An International Journal of Medicine, 2021, v. 114, p. i324, doi. 10.1093/qjmed/hcab105.014

By:

Eldin Elbadawy, Ahmed Mohamed Salah;
ELmenoufy, Tarek Salem;
Talal Tawfik, Rghada El Sayed;
Sayed, Sayed Tarek

Publication type:

Article

Impact of organizational trust on organizational commitment: the moderating effect of national identity.

Published in:

Cogent Social Sciences, 2024, v. 10, n. 1, p. 1, doi. 10.1080/23311886.2024.2309712

By:

Alomran, Abdullah M.;
Ahmed, Tarek Sayed Abdelazim;
Kassem, Ayman Mounir

Publication type:

Article

Do external corporate social responsibility activities related to the local community during COVID-19 increase employees' job performance? Evidence from hospitality and tourism establishments at Hail city, KSA.

Published in:

Cogent Social Sciences, 2022, v. 8, n. 1, p. 1, doi. 10.1080/23311886.2022.2093467

By:

Alomran, Abdullah M.;
Azim Ahmed, Tarek Sayed Abdel;
Alajloni, Abdallah Ali;
Kassem, Ayman Mounir;
El-Kholy, Manal Muhammad Aly;
Shaker, Eman Sarhan M.

Publication type:

Article

Assessment of students' awareness of the national heritage (Case study: The preparatory year students at the University of Hail, Saudi Arabia).

Published in:

Cogent Social Sciences, 2017, v. 3, n. 1, p. 1, doi. 10.1080/23311886.2017.1306202

By:

Abdelazim Ahmed, Tarek Sayed;
Ünlü, Hüseyin

Publication type:

Article

Characterization and Elimination of Grapevine fanleaf virus Using Thermotherapy in Combination with Meristem Tip Culture.

Published in:

Egyptian Academic Journal of Biological Sciences, C Physiology & Molecular Biology, 2023, v. 15, n. 2, p. 101, doi. 10.21608/EAJBSC.2023.312619

By:

El Sayed, Tarek A.;
Saker, Khaled E. A.;
El Shorbagy, Ahmed E.;
Mandour, Aiman M.;
Alajouz, Mahmoud J.;
Soliman, Ahmed M.

Publication type:

Article

The Role of Awareness of Consequences in Predicting the Local Tourists' Plastic Waste Reduction Behavioral Intention: The Extension of Planned Behavior Theory.

Published in:

Sustainability (2071-1050), 2024, v. 16, n. 1, p. 436, doi. 10.3390/su16010436

By:

Badawi, Adel Nasser;
Adelazim Ahmed, Tarek Sayed;
Alotaibi, Eid Kaadan;
Abbas, Ihab Saad;
Ali, Ehab Rabee;
Shaker, Eman Sarhan M.

Publication type:

Article

Three interpolation theorems for typeless logics.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 6, p. 1001, doi. 10.1093/jigpal/jzq048

By:

Sayed Ahmed, Tarek

Publication type:

Article

Epimorphisms are not surjective, even in simple algebras.

Published in:

Logic Journal of the IGPL, 2012, v. 20, n. 1, p. 22, doi. 10.1093/jigpal/jzq047

By:

Sayed Ahmed, Tarek

Publication type:

Article

Classes of algebras without the amalgamation property.

Published in:

Logic Journal of the IGPL, 2011, v. 19, n. 1, p. 87, doi. 10.1093/jigpal/jzq014

By:

Ahmed, Tarek Sayed

Publication type:

Article

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 6, p. 755, doi. 10.1093/jigpal/jzp013

By:

MadarÁsz, Judit;
Ahmed, Tarek Sayed

Publication type:

Article

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 4, p. 429, doi. 10.1093/jigpal/jzp012

By:

Madarász, Judit;
Ahmed, Tarek Sayed

Publication type:

Article

On complete representations of algebras of logic.

Published in:

Logic Journal of the IGPL, 2009, v. 17, n. 3, p. 267, doi. 10.1093/jigpal/jzp007

By:

KHALED, MOHAMED;
SAYED-AHMED, TAREK

Publication type:

Article

The Class S3CAk is Not Closed Under Completions.

Published in:

Logic Journal of the IGPL, 2008, v. 16, n. 5, p. 427, doi. 10.1093/jigpal/jzn019

By:

Sayed-Ahmed, Tarek;
Samir, Basim

Publication type:

Article

On Neat Reducts and Amalgamation.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 33, doi. 10.1093/jigpal/jzl031

By:

Sayed-Ahmed, Tarek

Publication type:

Article

A Neat Embedding Theorem for Expansions of Cylindric Algebras.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 41, doi. 10.1093/jigpal/jzl032

By:

Sayed-Ahmed, Tarek;
Samir, Basim

Publication type:

Article

An Interpolation Theorem for First Order Logic with Infinitary Predicates.

Published in:

Logic Journal of the IGPL, 2007, v. 15, n. 1, p. 21, doi. 10.1093/jigpal/jzl030

By:

Sayed-ahmed, Tarek

Publication type:

Article

Some Results on Amalgamation in Algebraic Logic.

Published in:

Logic Journal of the IGPL, 2006, v. 14, n. 4, p. 623, doi. 10.1093/jigpal/jzl014

By:

Ahmed, Tarek Sayed

Publication type:

Article

Independence Results in Algebraic Logic.

Published in:

Logic Journal of the IGPL, 2006, v. 14, n. 1, p. 87, doi. 10.1093/jigpal/jzi058

By:

Sayed-Ahmed, Tarek

Publication type:

Article

Amalgamation Theorems in Algebraic Logic, an overview.

Published in:

Logic Journal of the IGPL, 2005, v. 13, n. 3, p. 277, doi. 10.1093/jigpal/jzi020

By:

Sayed-Ahmed, Tarek

Publication type:

Article

Automated Analysis of Pedestrian Crossing Speed Behavior at Scramble-phase Signalized Intersections Using Computer Vision Techniques.

Published in:

International Journal of Sustainable Transportation, 2014, v. 8, n. 5, p. 382, doi. 10.1080/15568318.2012.708098

By:

Hediyeh, Houman;
Sayed, Tarek;
Zaki, MohamedH.;
Ismail, Karim

Publication type:

Article

Silver nanoparticles as a viricidal agent to inhibit plant-infecting viruses and disrupt their acquisition and transmission by their aphid vector.

Published in:

Archives of Virology, 2022, v. 167, n. 1, p. 85, doi. 10.1007/s00705-021-05280-y

By:

El Gamal, Ahmed Y.;
Tohamy, Mohamed R.;
Abou-Zaid, Mohamed I.;
Atia, Mahmoud M.;
El Sayed, Tarek;
Farroh, Khaled Y.

Publication type:

Article

Elicitation Promoability with Gamma Irradiation, Chitosan and Yeast to Perform Sustainable and Inclusive Development for Marjoram under Organic Agriculture.

Published in:

Sustainability (2071-1050), 2022, v. 14, n. 15, p. 9608, doi. 10.3390/su14159608

By:

Sayed, Tarek E.;
Ahmed, El-Sayed S.

Publication type:

Article

Using Bayesian Tobit Models to Understand the Impact of Mobile Automated Enforcement on Collision and Crime Rates.

Published in:

Sustainability (2071-1050), 2021, v. 13, n. 11, p. 6422, doi. 10.3390/su13116422

By:

Ibrahim, Shewkar;
Sayed, Tarek

Publication type:

Article

Applying Machine Learning and Statistical Approaches for Travel Time Estimation in Partial Network Coverage.

Published in:

Sustainability (2071-1050), 2019, v. 11, n. 14, p. 3822, doi. 10.3390/su11143822

By:

Alrukaibi, Fahad;
Alsaleh, Rushdi;
Sayed, Tarek

Publication type:

Article

Reliability-Based Analysis of Sight Distance Modelling for Traffic Safety.

Published in:

Journal of Advanced Transportation, 2017, p. 1, doi. 10.1155/2017/5612849

By:

de Santos-Berbel, César;
Essa, Mohamed;
Sayed, Tarek;
Castro, María

Publication type:

Article

Developing evasive action-based indicators for identifying pedestrian conflicts in less organized traffic environments.

Published in:

Journal of Advanced Transportation, 2016, v. 50, n. 6, p. 1193, doi. 10.1002/atr.1397

By:

Tageldin, Ahmed;
Sayed, Tarek

Publication type:

Article

A comparison between PARAMICS and VISSIM in estimating automated field-measured traffic conflicts at signalized intersections.

Published in:

Journal of Advanced Transportation, 2016, v. 50, n. 5, p. 897, doi. 10.1002/atr.1381

By:

Essa, Mohamed;
Sayed, Tarek

Publication type:

Article

Computer vision approach for the classification of bike type (motorized versus non-motorized) during busy traffic in the city of Shanghai.

Published in:

Journal of Advanced Transportation, 2016, v. 50, n. 3, p. 348, doi. 10.1002/atr.1327

By:

Zaki, Mohamed H.;
Sayed, Tarek;
Wang, Xuesong

Publication type:

Article

The use of gait parameters to evaluate pedestrian behavior at scramble phase signalized intersections.

Published in:

Journal of Advanced Transportation, 2015, v. 49, n. 4, p. 523, doi. 10.1002/atr.1284

By:

Hediyeh, Houman;
Sayed, Tarek;
Zaki, Mohamed H.

Publication type:

Article

Operational performance comparison of four unconventional intersection designs using micro-simulation.

Published in:

Journal of Advanced Transportation, 2013, v. 47, n. 5, p. 536, doi. 10.1002/atr.181

By:

Autey, Jarvis;
Sayed, Tarek;
El Esawey, Mohamed

Publication type:

Article

Nanoformulated rosemary extract impact on oral cancer: in vitro study.

Published in:

Bulletin of the National Research Centre, 2022, v. 46, n. 1, p. 1, doi. 10.1186/s42269-022-00895-w

By:

Ellithy, Marwa Mohamed;
Aly, Riham Mohamed;
Tarek, Heba El-Sayed

Publication type:

Article