One of the peculiarities of university timetabling problems lies in their huge complexity and the easy transition between complex constrained system to an over-constrained one. The Faculty of Informat-ics timetabling problem represents very complex scheduling and resource allocation problem as individual timetable for every student has to be scheduled with respect to course pre-enrollment infor...

Clinical guidelines are evidence-based recommendations developed to assist practitioners in their decisions on appropriate care for patients with specific clinical circumstances. They provide succinct instructions such as what drugs should be given or taken a particular condition, how long treatment given, tests conducted, other situational circumstances certain diseases. However, they describe...

We describe how a probabilistic Hoare logic with localities can be used for reasoning about security. As proof-of-concept, we analyze Vernam and El-Gamal cryptosystems, prove the security properties that they do satisfy, disprove those not. also consider version of Muddy Children puzzle, where children’s trust noise are taken into account.

MOTIVATION In current databases, there are many genes with inconsistent mapping positions between their cytogenetic annotations and sequence map positions. However, not all inconsistencies are the same. Some of them may be problematic which should be corrected in the future; while others may result from the imprecise nature of chromosomal banding which may be tolerable. It is important to strat...

In this work, we address the use of object recognition techniques to annotate what is shown where in online video collections. These annotations are suitable to retrieve specific video scenes for object related text queries which is not possible with the manually generated metadata that is used by current portals. We are not the first to present object annotations that are generated with conten...

Motivation Deciphering relevant biological insights from epigenomic data can be a challenging task. One commonly used approach is to perform enrichment analysis. However, finding, downloading and using the publicly available functional annotations requires time, programming skills and IT infrastructure. Here we describe the online tool EpiAnnotator for performing enrichment analyses on epigenom...

Scientists working on genomics projects are often faced with the difficult task of sifting through large amounts of biological information dispersed across various online data sources that are relevant to their area or organism of research. Gene annotation, the process of identifying the functional role of a possible gene, in particular has become increasingly more time-consuming and laborious ...

the internet is already the primary source of tourist destination information for travelers. according to world tourism organization, about 95% of web users use the internet to gather travel related information and about 93% indicate that they visited tourism web sites when planning for vacations. the number of people turning to the internet for vacation and travel planning has increased more t...

The Diachronic Corpus of Political Speeches (DCPS) is a collection 1,500 full-length political speeches in English. It includes delivered countries where English an official language (the US, Britain, Canada, Ireland) by English-speaking politicians various settings from 1800 up to the present time. Enriched with semi-automatic morphosyntactic annotations and discourse-pragmatic manual annotati...