Damjan Osredkar3
Marianne Thoresen3
Elke Maes3
Hemmen Sabir3
Learn More
The JSCert project provides a Coq mechanised specification of the core JavaScript language. A key part of the project was to develop a methodology for establishing trust, by designing JSCert in such a way as to provide a strong connection with the JavaScript standard, and by developing JSRef, a reference interpreter which was proved correct with respect to(More)
We introduce local exhaustive testing as a simple strategy for creating test cases that uncover faults (a deficiency in the code that is responsible for incorrect behavior) with a higher probability than tests chosen randomly. To use local exhaustive testing, we identify certain inputs points as "critical," and then test all inputs close to that point. We(More)
BACKGROUND Therapy and outcome for elderly acute myeloid leukemia (AML) patients has not improved for many years. Similarly, there remains a clinical need to improve response rates in advanced myelodysplastic syndrome (MDS) patients treated with hypomethylating agents, and few combination regimens have shown clinical benefit. We conducted a 5-azacytidine(More)
BACKGROUND Therapeutic hypothermia (TH) is standard treatment following perinatal asphyxia in newborn infants. Experimentally, TH is neuroprotective after moderate hypoxia-ischemia (HI) in seven-day-old (P7) rats. However, TH is not neuroprotective after severe HI. After a moderate HI insult in newborn brain injury models, the anesthetic gas xenon (Xe)(More)
Therapeutic hypothermia (HT) is standard care for moderate and severe neonatal hypoxic-ischaemic encephalopathy (HIE), the leading cause of permanent brain injury in term newborns. However, the optimal temperature for HT is still unknown, and few preclinical studies have compared multiple HT treatment temperatures. Additionally, HT may not benefit infants(More)
Faba bean (Vicia faba L.) is a globally important nitrogen-fixing legume, which is widely grown in a diverse range of environments. In this work, we mine and validate a set of 845 SNPs from the aligned transcriptomes of two contrasting inbred lines. Each V. faba SNP is assigned by BLAST analysis to a single Medicago orthologue. This set of syntenically(More)
Toxin-antitoxin (TA) systems are prevalent in bacteria and archaea. Although not essential for normal cell growth, TA systems are implicated in multiple cellular functions associated with survival under stress conditions. Clinical strains of bacteria are currently causing major human health problems as a result of their multidrug resistance, persistence and(More)
A genetic plan has been applied to the central server computer network file assignment problem. Throughput of the network is calculated for each file assignment produced by the genetic algorithm. Crossover and mutation are performed on individuals in accordance with their throughput.Various methods of representing and interpreting individuals as file(More)
  • 1