Chromatin three-dimensional (3D) structure plays critical roles in gene expression regulation by influencing locus interactions and accessibility of chromatin regions. Here we propose a Markov process model to derive a chromosomal equilibrium distribution of randomly-moving molecules as a functional consequence of spatially organized genome 3D structures. The model calculates steady-state distr...

Notwithstanding conclusive psychological and corpus evidence that at least some aspects of anaphoric and referential interpretation take place incrementally, and the existence of some computational models of incremental reference resolution, many aspects of the linguistics of incremental reference interpretation still have to be better understood. We propose a model of incremental reference int...

The spectacular rise of multimedia Web content, especially video and audio content, makes addressing its accessibility a matter of urgency. All the regulations recognize that this type of content must be accessible to everyone, with or without a disability. To address this issue, this article presents a Model-Based Graphical Editor to design Accessible Media Players. This tool has been created ...

Medication information should be available in a correct content and format and where and when needed in medical care. In this paper process and information models are presented in order to identify the items, their relations, contents, sources and use contexts of medication information. The motivation for this study has been to develop a harmonized information model for medication information t...

This paper reports our experiences with evaluating BPMN tools in the context of a project on developing an Australian process standard for the lending industry. We present the framework, the methodology and some of the major results of the evaluation. This can provide guidance for other researchers and practitioners with similar goals and constraints, in both the private and the public sector. ...

By studying the accessibility relations in logics of knowledge and belief, we reveal that almost all prominent nonmonotonic reasoning semantics can be characterized in terms of standard Kripke structures by altering the accessibility relation. This result not just extends the expressive power of the Kripke structure but also clearly demonstrates that the nonmonotonic reasoning is a reasoning ab...

We present a new proof-theoretic approach to bounding the complexity of the decision problem for propositional modal logics. We formalize logics in a uniform way as sequent systems and then restrict the structural rules for particular systems. This, combined with an analysis of the accessibility relation of the corresponding Kripke structures, yields decision procedures with bounded space requi...