Mechanizing Focused Linear Logic in Coq by Bruno Xavier (23277136)

“…<p dir="ltr">Linear logic has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks and models for concurrency. …”

Integrating UAHPL-DA systems with VLSI design tools to support VLSIDA courses by Sait, Sadiq M.

“…A complete operational environment established with the help of state-of-the-art tools, to support courses in design automation (DA) of VLSI circuits, is described. …”
Get full text
Get full text

Anxiety as a moderator of the relationship between body image and restrained eating by Doumit, Rita

“…Practice Implications Findings may be used in the development and implementation of education and prevention programs for disordered eating in college campuses. …”
Get full text
Get full text
Get full text

Low Frequency Bimorph Cantilever Energy Harvester For Pacemaker Applications by Mostafa, Abdelrahman Mostafa Khalaf

Get full text

The Utilization of Ride Sourcing Applications in the UAE: A Structural Equation Model by Elsamahy, Nada Medhat Hassanin Abdelaziz

Get full text

Innovation Management Systems for Public Organizations in the UAE by AlFaqaei, Saif Juma

Get full text

Gesture-based Graph-theoretic Robot Formation Control by Sajid, Mahroo

Get full text

Design and Optimization of a Planar Cable Robot by Kassem, Mohamad Hassan

Get full text

The Application Of Game-Based Learning In Construction Management by Elenany, Yara Ashraf Farouk Moussa

Get full text

A Framework For Risk Assessment Of Last Mile Delivery by Mismar, Hajed Mohammad

Get full text

Adoption of blockchain technology in healthcare systems: benefits, potential applications, and challenges by Zalak, Tasnim Marwan

Get full text

The Enablers of Modular Construction in the UAE by Abu Jbarah, Yara

Get full text

Healthcare Disruption: Assessing COVID-19 Impact on Healthcare Delivery by Fatani, Maymunah Ahmed

Get full text

Experimental Characterization of Electrostatic MEMS Resonators for Sensing Applications by Alattar, Basil Yousef Ahmad

Get full text

Project management: perceived potential contribution of project management practices to project success in Ras Al-Khaimah UAE by BAYER, AHMAD

“…In the 1950s, the draft guidance was applied depending on the development of events and the performance of specific tasks by the strategies of managers for significant protection programs. In this sense, the leaders' project was different from the associative center exercises. …”
Get full text

Nitinol Stents: A Finite Element Analysis of their Interaction with the Wall of Blood Vessels by Saib, Mohammad Zubeir Allum

Get full text

Blood Glucose Regulation Modelling and Intelligent Control by Nasar, Nabeel

Get full text

Real-Time Path-Planning using Depth/INS Sensor Fusion for Localization by Alkhawja, Fares Amin E

Get full text

Electric Scooter Battery Management and Battery Swapping using Robotic Arm by Daoud, Abeer Mazen

Get full text

INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES by Sait, Sadiq M.

“…In order to support effective teaching and laboratory courses, it is essential to have a complete operational environment established with the help of state-of the-art tools. …”
Get full text