2

The onset of menses for adolescents with physical or intellectual disabilities can affect their independence and add additional concerns for families at home, in schools, and in other settings. The pediatrician is the primary health care provider to explore and assist with the pubertal transition and menstrual management. Menstrual management of both normal and abnormal cycles may be requested ...

Research into the automatic acquisition of lexical information from corpora is starting to produce large-scale computational lexicons containing data on the relative frequencies of subcategorisation alternatives for individual verbal predicates. However, the empirical question of whether this type of frequency information can in practice improve the accuracy of a statistical parser has not yet ...

This paper considers a new variant of the maritime inventory routing problem which considers multiple time windows. The typical time windows that this problem considers that it may exist for certain ports which only permit a ship entering and leaving the ports within daytime due to both natural conditions and their facilities. A mathematical model formulated as mixed integer programming is deve...

Searching specialized collections, such as biomedical literature, typically requires intimate knowledge of a specialized terminology. Hence, it can be a disappointing experience: not knowing the right terms to use and being unaware of synonyms or variations in terminology might result in low recall scores. We study the role of a thesaurus in the biomedical information retrieval process. We star...

Vehicle Routing Problem (VRP) is addressed to a class of problems for determining a set of vehicle routes, in which each vehicle departs from a given depot, serves a given set of customers, and returns back to the same depot. On the other hand, simultaneous delivery and pickup problems have drawn much attention in the past few years due to its high usage in real world cases. This study, therefo...

The automation offered by modern program proof tools goes hand in with the capability to interact tool when verification fails. SPARK tries help user providing right information, so that can complete proof. In this article, we present these mechanisms and how they work concretely on a simple running example.