LibraryComputer Science

34 books found

The problem of automatic toponym resolution, or computing the mapping from occurrences of names for places as found in a text to an unambiguous spatial footprint of the location referred to, such as a geographic latitude/longitude centroid is difficult to automate due to insufficient and error-prone geographic ...

The operational aspects of Lambda Calculus are studied as a fundamental basis for high-order functional computation. We consider systems having full reduction semantics, i.e., equivalence-preserving transformations of functions. The historic lineage from Eval-Apply to SECD to RTNF/RTLF culminates in the techniques of ...

In this dissertation, a new spare capacity planning methodology is proposed utilizing path restoration. The approach is based on forcing working flows/traffic which are on paths that are disjoint to share spare backup capacity. The algorithm for determining the spare capacity assignment is based on genetic ...

In this dissertation, I have presented a comprehensive research on Bitcoin. Bitcoin was introduced in 2009. This is a decentralized digital currency and works like cash, but they are mined like gold (Volastro, CNBC Explains: How to mine bitcoins on your own, 2014). In this thesis, I will explain that how this currency ...

Gamma ray detection techniques for radioisotope imaging purposes are quickly evolving. Monte Carlo simulations show the possibility of achieving an outstanding image spatial resolution in the images obtained with techniques using electronic collimation. The great advantage of using electronic collimation is the ...

Defining Simulation in its broadest aspect as embodying a certain model to represent the behavior of a system, whether that may be an economic or an engineering one, with which conducting experiments is attainable. Such a technique enables the management, when studying models currently used, to take appropriate ...

The NWO-programme "the societal aspects of genomics", has called for stronger means of collaboration and deliberative involvement between the various stakeholders of genomics research. Within the project group assembled at the UH, this call was translated to the 'lingua democratica', in which the prerequisites of such ...

A synopsis of eminent computer chess programs reveal that they are designed around a 'brute force' approach. An argument is made that by continuing the 'brute force' search approach, computer chess development is moving away from human evaluation methods. Research is done into studies of evaluation methods, and a ...

As distributed applications become more sophisticated, their implementation becomes more and more difficult. It is therefore important to study how to facilitate the implementation of efficient distributed applications. This thesis reviews the different classes of distributed languages and presents a new approach to ...

In this thesis we advance the state-of the practice in the Space Mission Operations domain by leveraging single spacecraft technologies along with classical scheduling frameworks and notation to create a scheduler for a constellation of spacecraft. We define a scheduling product that is focused on the problem of ...