We present DEC0DE, a system for recovering information from phones with unknown storage formats, a critical problem for forensic triage. Because phones have myriad custom hardware and software, we examine only the stored data. Via flexible descriptions of typical data structures, and using a classic dynamic programming algorithm, we are able to identify call logs and address book entries in pho...

A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional...

Like hardware, evolution of software has had a major impact on the field of particle simulations. This paper illustrates how simulation software has evolved, and where it can go. In addition, with the various ongoing Virtual Observatory efforts, producers of data should think more about sharing their data! Some examples are given of what we can do with our data and how to share it with our coll...

many of the video processing algorithms cannot be implemented in real time on general computers, due to their computational complexity. for an efficient implementation, a custom hardware that can be reconfigured for the algorithm, is used. in this paper a new acceleration hardware based on fpga elements is proposed. this hardware can be adapted with the processing algorithm through fpga design ...

background:  little is known about trends and predictors of hardware related infection following open reduction and internal fixation (orif) of extremity fractures, one of the major causes of failure following orif. the present study was designed and conducted to determine trends and predictors of infection-related hardware removal following orif of extremities using a nationally representative...

the absence of books and book chapters in the Web of Science Citation Indexes (SCI, SSCI and A&HCI) has always been considered an important flaw but the Thomson Reuters 'Book Citation Index' database was finally available in October of 2010 indexing 29,618 books and 379,082 book chapters. The Book Citation Index opens a new window of opportunities for analyzing these fields from a bibliometric ...

This publication by Falola and Genova seeks to serve as an introduction to the global oil industry by highlighting the important aspects of the industry, and the countries, companies and people who influence oil developments. Three arguments run throughout the book, namely that oil is a complex international issue, the intricate connection between oil and politics, and that oil has brought a mi...

Until Lotus and Apple sued their competitors for copyright infringement, software user interface designers did not think much about whether intellectual property law might impose some constraints on their design decisions. Even those who knew that copyrights were available to protect software probably understood this to mean simply that a person would have to write his or her own code to develo...