Graphical user interfaces (GUIs) mediate almost all of our interactions with computers, whether it is through web pages, phone apps, or desktop applications. Functional Reactive Programming (FRP) is a promising approach to GUI design. This thesis presents Elm, a concurrent FRP language focused on easily creating responsive GUIs. Elm has two major features: (1) purely functional graphical layout...

Fiber reinforced polymer (FRP) composites are being promoted as the materials of 21st century because of their superior corrosion resistance, excellent thermo-mechanical properties, and high strength-to-weight ratio. For over 25 years, the Constructed Facilities Center at West Virginia University (CFC-WVU) has been conducting research on fundamentals of engineering and material sciences, innova...

A global approximation method to optimize material architecture and cross-sectional area of new fiber reinforced plastic (FRP) composite beams is presented. The sections considered are intended for applications in short-span bridges. The beams are subjected to transverse loading, and the optimization constraints include deflection limit, material failure, and elastic buckling. Assuming a lamina...

We describe a language-centric approach to solving the complex, low-level, and error-prone nature of network control. Specifically, we have designed a domain-specific language called Nettle, embedded in Haskell, that allows programming OpenFlow networks in an elegant, declarative style. Nettle is designed in layers to accommodate a family of DSLs targeted for specific network applications. The ...

Near-surface mounted (NSM) fiber-reinforced polymer (FRP) reinforcement has been found to perform efficiently as a flexural/shear strengthening technology for reinforced concrete (RC) members, while offering some additional practical advantages with respect to the most widespread technique of externally bonded laminates. This paper presents a design procedure for flexural and shear strengthenin...

1.0 Introduction It is now reasonably well established that reinforced concrete (RC) structural elements can be strengthened/retrofitted/repaired by bonding high-strength fibre reinforced polymer (FRP) composites. Such reasons include steel reinforcement corrosion, construction flaws, change in loading or structure usage, or damage from impact or seismic events. Traditional methods of repair ca...

In the FRP strengthening of steel structures, cohesion failure in the adhesive is the preferred mode of debonding failure at FRP-to-steel interfaces so that the design theory can be established based on the properties of the adhesive. In this paper, results from a systematic experimental study are presented to examine the effects of steel surface treatment and adhesive properties on the adhesio...

Abrasive Jet Machining is an Unconventional machining process in which the metal is removed from brittle and hard material in the form of micro-chips. With increase in need of materials like ceramics, composites, in manufacturing of various Mechanical & Electronic components, AJM has become a useful technique for micro machining. The present study highlights the influence of different parameter...

In the current study, changes in health-promoting substances (phenolics and flavonoids) and antioxidant activity of carrot and mango beverages during storage at 25 and 35°C for 30, 60 and 90 days were investigated. The total phenolic content was determined using Folin–Ciocalteu method. The antioxidant activity was based on the evaluation of free–radical scavenging activity (FRSA) using DPPH rad...