Computer Forensics is mainly about investigating crime where computers have been involved. There are many tools available to aid the investigator with this task. We have created a prototype of a new type of tool called CyberForensic TimeLab where all evidence is indexed by their time variables and plotted on a timeline. We believed that this way of visualizing the evidence allows the investigat...

This timeline of cell death (Figure 1), illustrates how independent strands of research coalesced in the field known as apoptosis ± currently the hottest field of biological research. Although the fact that cells die during normal development was recognized over 150 years ago, this was forgotten, only to be re-discovered several times until the influential review by Glucksmann in 1951. Even aft...

Aug 24, 2016. This pilot study assessed the level of caregiver burden experienced by the primary caregivers of patients with end-stage ovarian cancer and . Dec 8, 2016. Help you live comfortably at the end stage of your life. Help you and your family cope with the changes that are happening. Help you have a . May 22, 2014. According to the American Cancer Society, epithelial ovarian carcinomas ...

Flexible temporal planning is a general technique that has demonstrated wide applications possibilities in heterogeneous domains. A key problem for widening applicability of these techniques is the robust connection between plan generation and execution. This paper describes how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. Moreover...

Timeline summaries are an effective way for helping newspaper readers to keep track of long-lasting news stories, such as the Egypt revolution. A good timeline summary provides a concise description of only the main events, while maintaining good understandability. As manual construction of timelines is very time-consuming, there is a need for automatic approaches. However, automatic selection ...

The synthesis of flexible temporal plans has demonstrated wide applications possibilities in heterogeneous domains. We are currently studying the connection between plan generation and execution from the particular perspective of verifying a flexible plan before actual execution. This paper explores how a model-checking verification tool, based on UPPAALTIGA, is suitable for verifying flexible ...

Over the decades or so, Anti-Malware (AM) communities have been faced with a substantial increase in malware activity, including the development of ever-more-sophisticated methods of evading detection. Researchers have argued that an AM strategy which is successful in a given time period cannot work at a much later date due to the changes in malware design. Despite this argument, in this paper,...

Approximate timeline