Search
Now showing items 71-80 of 88
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
(
SciTePress
, 2020 , Conference Paper)
The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ...
A formal model-based testing framework for validating an IoT solution for blockchain-based vehicles communication
(
SciTePress
, 2020 , Conference Paper)
The emergence of embedded and connected smart technologies, systems, and devices has enabled the concept of smart cities by connecting every "thing" to the Internet and in particular in transportation through the Internet ...
Effect of Alkaline Activators on the Mechanical Properties of Geopolymer Mortar
(
Qatar Univesrity Press
, 2020 , Conference Paper)
"Geopolymerization is a process where silica and alumina rich source materials turn
into excellent binding materials by the aid of alkali solutions. Materials such as fly ash
are by-products in energy power plants. Fly ...
Crowd Dynamics, Management and Control at Tourist Attractions during Special Events: A Case Study at Souq Waqif Using Pedestride® Crowd Simulation Tool
(
Qatar Univesrity Press
, 2020 , Conference Paper)
"Large crowds can be expected at famous tourist attractions, e.g., Souq Waqif, during
special events such as the FIFA World Cup 2022. A comprehensive understanding of
crowd dynamics is extremely important in order to ...
Evaluating the Operational Impact of Left-Turn Exclusive Number of Lanes: A Case Study from Qatar
(
Qatar Univesrity Press
, 2020 , Conference Paper)
Left-turning movements can significantly reduce the overall capacity of signalized
intersections due to the queueing built up. Intersections with heavy left-turning volumes
tend to use multiple lanes to accommodate left-turn ...
Evaluation of Bond Strength Between Carbon Fiber Reinforced Polymer (CFRP) Composites with Modified Epoxy Resins and Concrete
(
Qatar Univesrity Press
, 2020 , Conference Paper)
Rehabilitation and strengthening of concrete structures are becoming more significant
in civil engineering applications. The use of externally bonded Fiber Reinforced
Polymers (FRP) is one of the methods to strengthen and ...
Application of Vehicle Restraint Systems (VRSs) in the State of Qatar: A Case Study from Northern Roads
(
Qatar Univesrity Press
, 2020 , Conference Paper)
Recent developments within Infrastructural Road Safety and especially in the Sector of
Vehicle Restraint Systems (VRS) have enabled Transport Authorities to significantly
reduce road fatalities and severe injuries. ...
Dosage Optimization of Polypropylene Fiber for Strength Enhancement of Cementitious Composites
(
Qatar Univesrity Press
, 2020 , Conference Paper)
"Concrete is the most commonly used materials for construction in Qatar as well as in
the world. Exposure to sever environmental conditions causes physical deterioration
of concrete structures and significantly affect ...
Emerging Transit Technology: Implementing an Urban Gondola System over Al Corniche, Doha, Qatar - A Cost Estimation Study
(
Qatar Univesrity Press
, 2020 , Conference Paper)
Urban gondolas are a type of driverless transit vehicles, which are increasingly drawing
the attention as a viable mass transit alternative in urban environments and touristic
areas. The system is distinctive with high ...
High and Ultra-high Performance Concretes: A Solution to Reinforced Concrete Durability under Harsh Climate of Arabian Gulf
(
Qatar Univesrity Press
, 2020 , Conference Paper)
Reinforced concrete (RC) infrastructure in the Arabian Gulf region deteriorates under
severe environmental conditions after only short service life. To overcome this problem,
it is imperative to employ high-quality concretes ...