Walid Taha: search on Z-Library

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

Don't use scam websites

51

Multi-stage programming (poster)

Taha, Walid, Sheard, Tim

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

52

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 2.06 MB

english, 1999

53

[ACM Press the 9th Workshop - Reno, Nevada (2010.10.17-2010.10.21)] Proceedings of the 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing - POOSC '10 - Globally parallel, locally sequential

Brauner, Paul, Taha, Walid Mohamed

Year:

2010

Language:

english

File:

PDF, 231 KB

english, 2010

54

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Multi-stage programming (poster)

Taha, Walid, Sheard, Tim

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

55

[ACM Press the 2000 ACM SIGPLAN workshop - Boston, Massachusetts, United States (2000.01.22-2000.01.23)] Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 - A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

Year:

1999

Language:

english

File:

PDF, 2.06 MB

english, 1999

56

[ACM Press the 4th ACM SIGPLAN international conference - Pittsburgh, PA, USA (2002.10.06-2002.10.08)] Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '02 - Towards a primitive higher order calculus of broadcasting systems

Ostrovsky, Karol, Prasad, K. V. S., Taha, Walid

Year:

2002

Language:

english

File:

PDF, 192 KB

english, 2002

57

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Synthesizable high level hardware descriptions

Gillenwater, Jennifer, Malecha, Gregory, Salama, Cherif, Zhu, Angela Yun, Taha, Walid, Grundy, Jim, O'Leary, John

Year:

2008

Language:

english

File:

PDF, 239 KB

english, 2008

58

Clinical outcome after implant-free ACL reconstruction with hamstring tendon graft

Farouk, Hazem, Rizk, Ahmed, Karim, Mahmoud Abdel, Taha, Ayman, Awadallah, Walid R., Singergy, Abdel Aziz

Journal:

European Orthopaedics and Traumatology

Year:

2015

Language:

english

File:

PDF, 1009 KB

english, 2015

59

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Mint

Westbrook, Edwin, Ricken, Mathias, Inoue, Jun, Yao, Yilong, Abdelatif, Tamer, Taha, Walid

Year:

2010

Language:

english

File:

PDF, 466 KB

english, 2010

60

[IEEE 2014 IEEE International Conference on High Performance Computing and Communications (HPCC), 2014 IEEE 6th International Symposium on Cyberspace Safety and Security (CSS) and 2014 IEEE 11th International Conference on Embedded Software and Systems (ICESS) - Paris, France (2014.8.20-2014.8.22)] 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 IEEE 6th Intl Symp on Cyberspace Safety and Security, 2014 IEEE 11th Intl Conf on Embedded Software and Syst (HPCC,CSS,ICESS) - Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract)

Zeng, Yingfu, Rose, Chad, Brauner, Paul, Taha, Walid, Masood, Jawad, Philippsen, Roland, OMalley, Marcia, Cartwright, Robert

Year:

2014

Language:

english

File:

PDF, 1.04 MB

english, 2014

61

Down-regulation of Sphingosine Kinase-1 by DNA Damage

Taha, Tarek A., Osta, Walid, Kozhaya, Lina, Bielawski, Jacek, Johnson, Korey R., Gillanders, William E., Dbaibo, Ghassan S., Hannun, Yusuf A., Obeid, Lina M.

Journal:

Journal of Biological Chemistry

Year:

2004

Language:

english

File:

PDF, 858 KB

english, 2004

62

[ACM Press the sixth ACM SIGPLAN international conference - Florence, Italy (2001.09.03-2001.09.05)] Proceedings of the sixth ACM SIGPLAN international conference on Functional programming - ICFP '01 - Real-time FRP

Wan, Zhanyong, Taha, Walid, Hudak, Paul

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

63

[IEEE 2010 3rd International Congress on Image and Signal Processing (CISP) - Yantai, China (2010.10.16-2010.10.18)] 2010 3rd International Congress on Image and Signal Processing - Multi-stage programming for high-level description of circuit families

Chen, Fulong, Taha, Walid, Deng, Lei

Year:

2010

Language:

english

File:

PDF, 452 KB

english, 2010

64

Special issue on

Taha, Walid, Wadler, Peter

Journal:

Journal of Functional Programming

Year:

2000

Language:

english

File:

PDF, 67 KB

english, 2000

65

Semantics, Applications, and Implementation of Program Generation

Journal:

Journal of Functional Programming

Year:

2003

Language:

english

File:

PDF, 30 KB

english, 2003

66

Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Konečný, Michal, Taha, Walid, Bartha, Ferenc A., Duracz, Jan, Duracz, Adam, Ames, Aaron D.

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2016

Language:

english

File:

PDF, 1.25 MB

english, 2016

67

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Accurate rigorous simulation should be possible for good designs

Duracz, Adam, Bartha, Ferenc A., Taha, Walid

Year:

2016

Language:

english

File:

PDF, 232 KB

english, 2016

68

Macros as multi-stage computations

Ganz, Steven E., Sabry, Amr, Taha, Walid

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 228 KB

english, 2001

69

Real-time FRP

Wan, Zhanyong, Taha, Walid, Hudak, Paul

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

70

Characterizing multi-hop localization for Internet of things

Ibrahim, Walid M., Ali, Najah Abu, Hassanein, Hossam S., Taha, Abd-Elhamid M.

Journal:

Wireless Communications and Mobile Computing

Year:

2016

Language:

english

File:

PDF, 2.30 MB

english, 2016

71

Reasoning about multi-stage programs

INOUE, JUN, TAHA, WALID

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 972 KB

english, 2016

72

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || A Declarative DSL for Customizing ASCII Art

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 202 KB

english, 2017

73

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || Extending Answer Set Programs with Interpreted Functions as First-Class Citizens

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 295 KB

english, 2017

74

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || Integrating Answer Set Programming with Object-Oriented Languages

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 314 KB

english, 2017

75

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 10137 || A Domain-Specific Language for Software-Defined Radio

Lierler, Yuliya, Taha, Walid

Year:

2017

Language:

english

File:

PDF, 788 KB

english, 2017

76

Developing a first course on cyber-physical systems

Taha, Walid, Zeng, Yingfu, Duracz, Adam, Fei, Xu, Atkinson, Kevin, Brauner, Paul, Cartwright, Robert, Philippsen, Roland

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

77

[IEEE 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Paris, France (2016.8.24-2016.8.26)] 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation

Aljarbouh, Ayman, Zeng, Yingfu, Duracz, Adam, Caillaud, Benoit, Taha, Walid

Year:

2016

Language:

english

File:

PDF, 447 KB

english, 2016

78

[ACM Press the WESE'14: Workshop - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the WESE'14: Workshop on Embedded and Cyber-Physical Systems Education - WESE'14 - Developing A First Course on Cyber-Physical Systems

Taha, Walid, Cartwright, Robert, Philippsen, Roland, Zeng, Yingfu

Year:

2015

Language:

english

File:

PDF, 1.04 MB

english, 2015

79

Combined Anterior and Posterior Lumbar Rhizotomy for Treatment of Mixed Dystonia and Spasticity in Children With Cerebral Palsy

Abdel Ghany, Walid A., Nada, Mohamed, Mahran, Mahmoud A., Aboud, Ahmed, Mahran, Moustafa G., Nasef, Marwa A.A., Gaber, Mohamed, Sabry, Tamer, Ibrahim, Mohamed H., Taha, Mohamed H.

Journal:

Year:

2016

Language:

english

File:

PDF, 541 KB

english, 2016

80

Comparative population genetic structure of redbelly tilapia ( Coptodon zillii (Gervais, 1848)) from three different aquatic habitats in Egypt

Soliman, Taha, Aly, Walid, Fahim, Reda M., Berumen, Michael L., Jenke-Kodama, Holger, Bernardi, Giacomo

Journal:

Ecology and Evolution

Year:

2017

Language:

english

File:

PDF, 660 KB

english, 2017

81

[IEEE 2017 5th International Conference on Electrical Engineering - Boumerdes (ICEE-B) - Boumerdes (2017.10.29-2017.10.31)] 2017 5th International Conference on Electrical Engineering - Boumerdes (ICEE-B) - Development of an experimental platform for testing mobile robot systems

Essaidi, Ahmed Bouzar, Bouzenzel, Walid, Remli, Yakoub, Chettibi, Taha

Year:

2017

Language:

english

File:

PDF, 708 KB

english, 2017

82

Diuretic activity of ethanolic extract of Panicum repens L. roots and rhizomes

Hozaien, Hoda E., El-Tantawy, Walid Hamdy, Temraz, Abeer, El-Gindi, Omayma D., Taha, Kamilia F.

Journal:

Natural Product Research

Year:

2018

Language:

english

File:

PDF, 649 KB

english, 2018

83

Heterogeneous Integration of Thin-Film InGaN-Based Solar Cells on Foreign Substrates with Enhanced Performance

Ayari, Taha, Sundaram, Suresh, Li, Xin, Alam, Saiful, Bishop, Chris, El Huni, Walid, Jordan, Matthew B., Halfaya, Yacine, Gautier, Simon, Voss, Paul L., Salvestrini, Jean Paul, Ougazzaden, Abdallah

Journal:

Year:

2018

Language:

english

File:

PDF, 8.11 MB

english, 2018

84

Safe & robust reachability analysis of hybrid systems

Moggi, Eugenio, Farjudian, Amin, Duracz, Adam, Taha, Walid

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.19 MB

english, 2018

85

FP438STUDY OF THE EFFECTS OF HEMODIAFILTRATION VERSUS HEMODIALYSIS ON DNA METHYLATION AND INDOXYL SULFATE REMOVAL

ElSayed, Hesham, ElSharkawy, Magdy, Taha, Waleed, Sayed, Hussein, Kotb, Mohammed, Abdelmohsen, Walid

Journal:

Nephrology Dialysis Transplantation

Year:

2018

Language:

english

File:

PDF, 519 KB

english, 2018

86

Le synovialosarcome primitif de la verge

Saadi, Ahmed, Bouzouita, Abderrazak, Kerkeni, Walid, Ayed, Haroun, Sabbegh Znaidi, Nadia, Ben Miled, Aicha, Messai, Taha, Cherif, Mohamed, Ben Slama, Riadh, Rammeh, Soumaya, Mnif, Najla, Maalej, Mongi

Journal:

Canadian Urological Association Journal

Year:

2017

Language:

french

File:

PDF, 187 KB

french, 2017

87

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 917 KB

english, 2019

88

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) || Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 3.87 MB

english, 2019

89

[Lecture Notes in Computer Science] Cyber Physical Systems. Design, Modeling, and Evaluation Volume 11267 (7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers) ||

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

File:

PDF, 11.53 MB

2019

90

Bifid appendix: a case report and a review of literature

Ayoub, Rami Mustafa, Khrais, Ibrahim Abdel Qader, al-shweiki, Omaymah abdel mon’em, Roto, Allaa Taha, Obeidat, Firas Walid

Journal:

Journal of Surgical Case Reports

Year:

2019

Language:

english

File:

PDF, 192 KB

english, 2019

91

Bifid appendix: a case report and a review of literature

Ayoub, Rami Mustafa, Khrais, Ibrahim Abdel Qader, al-shweiki, Omaymah abdel mon’em, Roto, Allaa Taha, Obeidat, Firas Walid

Journal:

Journal of Surgical Case Reports

Year:

2019

File:

PDF, 192 KB

2019

92

Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001

Journal:

Journal of Functional Programming

Year:

2003

Language:

english

File:

PDF, 119 KB

english, 2003

93

Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001

Journal:

Journal of Functional Programming

Year:

2003

File:

PDF, 119 KB

2003

94

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) ||

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 17.09 MB

english, 2019

95

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 2.72 MB

english, 2019

96

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Subjecting Legacy Simulink Models to Timing Specifications

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 691 KB

english, 2019

97

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 1.03 MB

english, 2019

98

[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11615 (8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers) || A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)

Chamberlain, Roger, Taha, Walid, Törngren, Martin

Year:

2019

Language:

english

File:

PDF, 3.54 MB

english, 2019

99

[ACM Press the 2016 Workshop - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education - WESE '16 - Flipping a first course on cyber-physical systems

Taha, Walid, Hedstrom, Lars-Göran, Xu, Fei, Duracz, Adam, Bartha, Ferenc A., Zeng, Yingfu, David, Jennifer, Gunjan, Gaurav

Year:

2016

Language:

english

File:

PDF, 242 KB

english, 2016

100

Early results of proximally inserted minimally invasive plate osteosynthesis for distal fibular fractures in unfavorable skin conditions

Zawam, Sherif Hamdy, Shaheen, Ayman Abdelsamee, Elnahal, Walid A., ElJeady, Ibrahim Taha

Journal:

Current Orthopaedic Practice

Year:

2019

File:

PDF, 363 KB

2019