1,188,938 research outputs found

    A Case-Based Reasoning Method for Locating Evidence During Digital Forensic Device Triage

    Get PDF
    The role of triage in digital forensics is disputed, with some practitioners questioning its reliability for identifying evidential data. Although successfully implemented in the field of medicine, triage has not established itself to the same degree in digital forensics. This article presents a novel approach to triage for digital forensics. Case-Based Reasoning Forensic Triager (CBR-FT) is a method for collecting and reusing past digital forensic investigation information in order to highlight likely evidential areas on a suspect operating system, thereby helping an investigator to decide where to search for evidence. The CBR-FT framework is discussed and the results of twenty test triage examinations are presented. CBR-FT has been shown to be a more effective method of triage when compared to a practitioner using a leading commercial application

    Arctic–CHAMP: A program to study Arctic hydrology and its role in global change

    Get PDF
    The Arctic constitutes a unique and important environment that is central to the dynamics and evolution of the Earth system. The Arctic water cycle, which controls countless physical, chemical, and biotic processes, is also unique and important. These processes, in turn, regulate the climate, habitat, and natural resources that are of great importance to both native and industrial societies. Comprehensive understanding of water cycling across the Arctic and its linkage to global biogeophysical dynamics is a scientific as well as strategic policy imperative

    Arctic–CHAMP: A program to study Arctic hydrology and its role in global change

    Get PDF
    The Arctic constitutes a unique and important environment that is central to the dynamics and evolution of the Earth system. The Arctic water cycle, which controls countless physical, chemical, and biotic processes, is also unique and important. These processes, in turn, regulate the climate, habitat, and natural resources that are of great importance to both native and industrial societies. Comprehensive understanding of water cycling across the Arctic and its linkage to global biogeophysical dynamics is a scientific as well as strategic policy imperative

    Real-time and Probabilistic Temporal Logics: An Overview

    Full text link
    Over the last two decades, there has been an extensive study on logical formalisms for specifying and verifying real-time systems. Temporal logics have been an important research subject within this direction. Although numerous logics have been introduced for the formal specification of real-time and complex systems, an up to date comprehensive analysis of these logics does not exist in the literature. In this paper we analyse real-time and probabilistic temporal logics which have been widely used in this field. We extrapolate the notions of decidability, axiomatizability, expressiveness, model checking, etc. for each logic analysed. We also provide a comparison of features of the temporal logics discussed
    • …
    corecore