Program synthesis automatically produces a program that meets a desired behavioral specification. While synthesis has seen success in a number of domains, interesting applications such as approximate computing and hardware synthesis require more scalability than existing approaches provide. The current approach in synthesis is to achieve scalability by decomposing the problem manually. Inspired...

The objective of the presented research is to develop an efficient control system for highway load effects that involves the control of various parameters including: truck weight (axle weights and axle spacing), truck load distribution on bridge girders, dynamic load, strain, stress and deflection of bridge components, and verification procedure for the minimum load carrying capacity. This stud...

Theorem provers are extremely useful tools for reasoning about complex mathematics and large scale systems. They play an important part in verifying the correctness of designs, particularly for safetycritical systems. The problem is that they still require a large amount of human intervention to successfully guide the proof. Our solution to this important limitation involves using data mining t...

introduction: intravenous general anesthetic agents are among the most important and widely used anesthetic drugs in the clinical practice. many pharmacological studies have shown that potentiation of gaba and glycine on their receptors is the most plausible mechanism. nevertheless, there is limited information on the effects of co-administration of two or more of these agents. however, experim...