LibraryComputer Science
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 ...
Wireless Metering Networks (WMN), a special class of Wireless Sensor Networks (WSN), consisting of a large number of tiny inexpensive sensor nodes are a viable solution for many problems in the field of building automation, especially if the expected lifetime of the network permits to synchronize the network ...
Information theory methods are of wide use in contemporary logic design, but their proper application to Computer Aided Design (CAD) is rather impossible without strong theoretical and practical justification. Our research is focused on logic function minimization which is an essential component of any system for ...
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 ...
Embodied Conversational Agents (ECAs) are a new type of computer interface which have human-like bodies and conversational skills. Users interacting with agents will be more engaged and participative if the agents exhibit behaviors which look coherent across different situations and emotional states. In the present ...
The IP Multimedia Subsystem (IMS) is the basic network architecture for Next Generation Networks (NGN) which is intended to bridge the divide between the traditional circuit switched and packet switched networks, thereby providing a single network capable of providing all service offerings. IMS is based on the IP ...
Upper body power (UBP) is one of the most important factors affecting the performance of cross-country skiers during races. Although some initial studies have already attempted to predict UBP, until now, no study has attempted to apply machine learning methods combined with various feature selection algorithms to ...
This research is dedicated to two main problems in finding shortest paths in the graphs. The first problem is to find shortest paths from an origin to all other vertices in non-negatively weighted graph. The second problem is the same, except it is allowed that some edges are negative. This is a more difficult problem ...
"Liberal order and software-agents" - long-established ideas and modern technology are bridged. The impulse for undertaking this effort comes from the observation that it becomes difficult for computer science alone to create order for and within machines. The growing complexity of computer systems, open networks like ...
Shape classification is a challenging image processing problem because shapes can occur in any position, at any orientation, and at any scale in an image. Shapes can also be obscured by gaps in their boundaries, occlusions, and noise. General shape classifiers often suffer from low precision, and specialized shape ...
