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)
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 lambda 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)
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)
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)
Due to the complexity in operations and the big existing number of auto parts and components, it is more than necessary to be successful in the supply chain management (SCM), mainly regarding to logistics cost reduction and integration of all links that constitutes the chain. For this purpose, an applied research in the engine company was carried out, and(More)
One bacterial strain, YC-RL2, isolated from petroleum-contaminated soil, could utilize environmental hormone Di(2-Ethylhexyl) phthalate (DEHP) as a sole carbon source for growth. Strain YC-RL2 was identified as Gordonia alkanivorans by 16S rRNA gene analysis and Biolog tests. The effects of environmental factors which might affect the degrading process were(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)
Analyse statique des systèmes de contrôle-commande – Invariants entiers et flottants – Remerciements Cette thèse a été préparée au Centre de recherche en informatique, mathématiques et systèmes de l'École nationale supérieure des mines de Paris (CRI, MINES ParisTech), sous la direction de François Irigoin et Olivier Hermant. Je tiens d'abord à exprimer(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)