Formal safety assessment (FSA), as a structured and systematic risk evaluation methodology, has been increasingly and broadly used in the shipping industry around the world. Concerns have been raised as to navigational safety of the Yangtze River, China's largest and the world's busiest inland waterway. Over the last few decades, the throughput of ships in the Yangtze River has increased rapidl...

In this extended abstract we present a temporal logic formalism for specifying navigational transformations in hypermedia applications. Using temporal logic it is possible to specify both the static and dynamic aspects of the navigational structure of such applications. We present our framework in the context of the Object-Oriented Hypermedia Design Methodology (OOHDM) though it can be applied ...

Guidelines exist for the internationalization and localization of websites, but these do not mention possible changes in the layout of navigational elements on websites. Two studies were conducted to investigate the importance of navigational layout for Chinese and English language speakers. In the first study it was found that major Chinese and North American/European companies did not signifi...

The known navigational systems in use and methods of navigational decision support perform information functions and as such are helpful in the process of safe conduct of a vessel. However, none of these known systems provides a navigator with ready solutions of collision situations taking account of all the vessels in the proximity of own ship, where the Collision Regulations apply. This paper...

This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been developed in the context of OOWS (a Model-Driven Development Method for building Web Applications). We study some structural and behavioral properties of those conceptual abstractions in order to extract knowledge to be applie...

BACKGROUND The practice of evidence-based medicine requires efficient biomedical literature search such as PubMed/MEDLINE. Retrieval performance relies highly on the efficient use of search field tags. The purpose of this study was to analyze PubMed log data in order to understand the usage pattern of search tags by the end user in PubMed/MEDLINE search. METHODS A PubMed query log file was ob...

Crustal motion generated by rapid ice-mass loss from Earth's glaciers and ice sheets has previously been considered in Global Navigational Satellite System (GNSS) analyses numerical models across regions of retreat. However, the fingerprint is not limited to glaciated areas, but characterized a global pattern 3-D crustal deformation. We compute “far-field” vertical horizontal deformation rates ...