We present a logic of separating modalities, LSM, that is based on Boolean BI. LSM’s modalities, which generalize those of S4, combine, within a quite general relational semantics, BI’s resource semantics with modal accessibility. We provide a range of examples illustrating their use for modelling. We give a proof system based on a labelled tableaux calculus with countermodel extraction, establ...

Resource constraints are a major barrier to lung cancer management, especially in ASIAN developing countries. The availability of data in these issues is very limited. Therefore, this survey was initiated in order to understand the situation of resource constraints in ASIAN developing nations. A 17-item, self-administered, online questionnaire was developed and distributed to IASLC members in A...

Although metals and minerals represent a prominent asset for sustainable development, continuous population growth the current accelerations in energy mobility transitions are increasing concerns regarding their accessibility future generations. As recent insights have identified access rather than depletion to be dominant factor resources, this paper elaborates on (in)accessibility concept of ...

BSpeak is an accessible crowdsourcing marketplace that enables blind people in developing regions to earn money by transcribing audio files through speech. We examine accessibility and usability barriers that 15 first-time users, who are low-income and blind, experienced while completing transcription tasks on BSpeak and Mechanical Turk (MTurk). Our mixed-methods analysis revealed severe access...

Macroscopic ecosystem properties, such as major material pathways and community biomass structure, underlie the ecosystem services on which humans rely. While ecologists have long sought to identify the determinants of the trophic height of food webs (food chain length), it is somewhat surprising how little research effort is invested in understanding changes among other food web properties acr...

Epigenetic mechanisms determine the access of regulatory factors to DNA during events such as transcription and the DNA damage response. However, the global response of histone modifications and chromatin accessibility to UV exposure remains poorly understood. Here, we report that UV exposure results in a genome-wide reduction in chromatin accessibility, while the distribution of the active reg...

dbPTM is a database that compiles information on protein post-translational modifications (PTMs), such as the catalytic sites, solvent accessibility of amino acid residues, protein secondary and tertiary structures, protein domains and protein variations. The database includes all of the experimentally validated PTM sites from Swiss-Prot, PhosphoELM and O-GLYCBASE. Only a small fraction of Swis...

The use of technology is growing in every field of education, and not only in the education of disabled students but also as a learning resource for everybody. The teachers are more and more introducing these digital contents in their lessons and there are many resources related to learning on internet.. If an equal access to these resources is guaranteed, then we can avoid students feeling tha...

Multimedia transmission over wide-area networks currently only considers the server and network resource constraints and client device capabilities. It is also essential that the accessibility of the multimedia content for different users with diverse capabilities and disabilities be considered. As a first step in building an adaptation framework we need to automatically predict the accessibili...

A significant share of the world's undiscovered oil and natural gas resources are assumed to lie under the seabed of the Arctic Ocean. Up until now, the exploitation of the resources especially under the European Arctic has largely been prevented by the challenges posed by sea ice coverage, harsh weather conditions, darkness, remoteness of the fields, and lack of infrastructure. Gradual warming...