Projects
X-ray and Thermostream equipment for total dose and temperature testing of radiation hardened chips KU Leuven
Modular Formal Verification of Total Correctness Properties of Concurrent Imperative Programs KU Leuven
For software development projects with very high correctness requirements (including safety requirements, security requirements, responsiveness requirements, or real-time requirements), in many cases insufficient assurance of correctness can be obtained through classical quality assurance techniques such as testing and code review. In contrast, the alternative approach of formal verification, where mathematical methods are used to ...
Towards the clinical application of total HIV DNA: a valuable marker for the diagnosis of HIV-infected infants and treatment follow-up in HIV adults. Ghent University
We hypothesize HIV DNA as a valuable predictive and prognostic marker in clinical care of patients and as a sensitive marker for the early diagnosis of HIV-infected infants. A validated HIV DNA assay is needed that quantifies efficiently HIV DNA from various HIV subtypes , followed by the validation of the clinical relevance of total HIV DNA as a biomarker.
Measuring total factor productivity and understanding its determinants Ghent University
Our objective is to measure and explain the country-specific evolution in total factor productivity. A key novelty is that we model worldwide technology to be freely available but allow countries to differ in their absorptive capacity. We will further assess the impact of country-specific R&D efforts and demographic trends (ageing) on the level and evolution of their absorptive capacity.
Percutaneous Coronary Intervention of Chronic Total Occlusions: The Final Frontier? Hasselt University
Unraveling the role of MYT1L in intellectual disability: an integrated functional genetic approach Ghent University
MYT1L is a new candidate gene for intellectual disability, due to the embryonic expression restricted to post-mitotic neurons, the association with other neurological disorders and the role in the direct conversion of fibroblasts to functional neurons. By integrating transcriptomics and proteomics we will try to unravel the cellular function of this gene and the pathways wherein it is involved.
Home country effects of internationalization on market dynamics, firm level employment and total factor productivity in Europe Ghent University
We analyze the important channel of inter-industry effects of internationalization that the existing literatur has neglected. We consider two types of internationalization: offshoring (sourcing inputs from foreign suppliers) and outward foreign direct investment (relocation of production stages abroad to an affiliated entity). We analyze the impact of inter-industry effectsz of inernationalization on home country firms' i) employment, ii) ...
Total knee arthroplasty: improving outcome and satisfaction by evidence-based patient selection Ghent University
The determinants of patient satisfaction and outcome after total knee arthropasty (TKA) will be investigated to identify patients most likely to benefit from TKA, establish optimal evidence-based indications and timing, and educate patients towards realistic expectations. Based on the results obtained, a composite score for TKA indication will be developed in order to improve outcome and satisfaction and reduce associated socio-economic ...
The relation between gas, dust and total mass in galaxies across the Hubble sequence Ghent University
For 32 galaxies across the Hubble sequence the gas-to-dust ratio will be studied in unprecedented detail. Also, for the very first time the relation between interstellar dust and total mass will be investigated for different phases of galaxy evolution. Finally, a new method to trace the density of the interstellar medium will be thoroughly tested.