Haisheng Wang

Learn More
Many organizations deploy applications that use databases by sending Structured Query Language (SQL) statements to them and obtaining data that result from the execution of these statements. Since applications often share the same databases concurrently, database deadlocks routinely occur in these databases resulting in major performance degradation in(More)
To explore the effects of celecoxib on pressure overload-induced cardiac hypertrophy (CH), cardiac dysfunction and explore the possible protective mechanisms. We surgically created abdominal aortic constrictions (AAC) in rats to induce CH. Rats with CH symptoms at 4 weeks after surgery were treated with celecoxib [2 mg/100 g body-weight(BW)] daily for(More)
Recently, diesel engine exhaust (DEE) was reclassified as a known carcinogen to humans. DNA methylation alterations in DNA damage response (DDR)-related genes have the potential to affect DEE exposure-related cancer risk. However, the evidence regarding the association between DEE exposure and methylation alterations in DDR-related genes is limited. In 117(More)
Faustine is the first interpreter for the digital audio signal processing language Faust and its vector extension. This domain-specific language for sample-based audio is highly expressive and can be efficiently compiled. Faustine has been designed and implemented, in OCaml, to validate the Faust multirate vector extension proposed in the literature,(More)
In this demonstration, we will present a database deadlocks prevention system that visualizes our algorithm for detecting hold-and-wait cycles that specify how resources (e.g., database tables) are locked and waited on to be locked during executions of SQL statements and utilizes those cycles information to prevent database deadlocks automatically.
Hemiculter leucisculus are multiple spawners with indeterminate fecundity, although previous fecundity estimates have assumed a determinate spawning pattern. Batch fecundity and spawning frequency of H. leucisculus were studied in Erhai Lake, China, in which the fish, as an exotic species, has become a successful colonizer. Spawning frequency was 16.05 %,(More)
We automatically synthesize supervisory controllers that force a system to perform a certain operation by a given deadline. The operation must be executed by a pre-specified delay λ with respect to the previous execution of the operation. We model both the controlled system and our control supervisors as time Petri nets. Given a target transition and a(More)
  • 1