Sökning: "Data Model"
Visar resultat 21 - 25 av 8698 avhandlingar innehållade orden Data Model.
21. Regular Model Checking
Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER
22. Improving IT Integration for Higher Education Institutional Performance : Towards a Contextualised IT-Institutional Alignment Model
Sammanfattning : The integration of information technology (IT) into service delivery is currently seen as an innovative strategy to support the modernising of universities worldwide. However, in some institutions in developing countries, including Rwanda, IT has failed to add the intended value to university services, despite huge associated investments in IT. LÄS MER
23. Improving the Utilization of Digital Services - Evaluating Contest-Driven Open Data Development and the Adoption of Cloud Services : Evaluating Contest-Driven Open Data Development and the Adoption of Cloud Services
Sammanfattning : There is a growing interest in the utilization of digital services, such as software apps and cloud-based software services. The utilization of digital services enabled by ICT is increasing more rapidly than any other segment of the world trade. LÄS MER
24. Radiation Oncology Data and Modelling Side Effects after Radiation Therapy
Sammanfattning : Although modern radiation therapy techniques have the ability to conform the dose distribution of ionizing radiation tightly around the volume to be treated, unwanted irradiation to surrounding organs remains a problem. The probability of a side effect arising in the normal tissue of a patient after radiation therapy can be modelled by sigmoid mathematical functions known as normal tissue complication probability (NTCP) models. LÄS MER
25. Data Modeling for Outlier Detection
Sammanfattning : This thesis explores the data modeling for outlier detection techniques in three different application domains: maritime surveillance, district heating, and online media and sequence datasets. The proposed models are evaluated and validated under different experimental scenarios, taking into account specific characteristics and setups of the different domains. LÄS MER