Sökning: "binary analysis"

Visar resultat 1 - 5 av 244 avhandlingar innehållade orden binary analysis.

1. 1. Proving Safety and Security of Binary Programs

   Författare :Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

   Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER

3. 2. Scalable Dynamic Analysis of Binary Code

   Författare :Ulf Kargén; Nahid Shahmehri; Patrick Lambrix; Uwe Assmann; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : In recent years, binary code analysis, i.e., applying program analysis directly at the machine code level, has become an increasingly important topic of study. This is driven to a large extent by the information security community, where security auditing of closed-source software and analysis of malware are important applications. LÄS MER

4. 3. Advanced Machine Learning Methods for Oncological Image Analysis

   Författare :Mehdi Astaraki; Chunliang Wang; Örjan Smedby; Iuliana Toma-Dasu; Bjoern Menze; KTH; Karolinska Institutet; Karolinska Institutet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Medical Image Analysis; Machine Learning; Deep Learning; Survival Analysis; Early Response Assessment; Tumor Classification; Tumor Segmentation; Medicinsk teknologi; Medical Technology;

   Sammanfattning : Cancer is a major public health problem, accounting for an estimated 10 million deaths worldwide in 2020 alone. Rapid advances in the field of image acquisition and hardware development over the past three decades have resulted in the development of modern medical imaging modalities that can capture high-resolution anatomical, physiological, functional, and metabolic quantitative information from cancerous organs. LÄS MER

5. 4. Temporal and spatial dynamics in subarctic peat plateaus and thermokarst lakes

   Författare :A. Britta K. Sannel; Peter Kuhry; Peter Jansson; Ian A. Brown; Serge Payette; Stockholms universitet; []
   Nyckelord :Peatlands; permafrost; subarctic; peat plateau; thermokarst lake; macrofossil analysis; carbon nitrogen ratio; peat accumulation; carbon accumulation; remote sensing; binary encoding; time-series analysis; Physical Geography; naturgeografi;

   Sammanfattning : Permafrost peatlands are widespread at high northern latitudes and are important soil organic carbon reservoirs. A future warming in these areas, as suggested by global climate models, can cause thawing and increased ground subsidence (thermokarst), resulting in changes in surface hydrology and ecosystem functioning. LÄS MER

7. 5. High Resolution Analysis of Halftone Prints : A Colorimetric and Multispectral Study

   Författare :Daniel Nyström; Björn Kruse; Markku Hauta- Kasari; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Color imaging; Multispectral imaging; Halftone print; Dot gain; Image analysis; Bildanalys;

   Sammanfattning : To reproduce color images in print, the continuous tone image is first transformed into a binary halftone image, producing various colors by discrete dots with varying area coverage. In halftone prints on paper, physical and optical dot gains generally occur, making the print look darker than expected, and making the modeling of halftone color reproduction a challenge. LÄS MER