For any finite horizon Sinai billiard map T on the two-torus, we find t_*>1 such that for each t in (0,t_*) there exists a unique equilibrium state $\mu_t$ $- t\log J^uT$, and is T-adapted. (In particular, SRB measure \log J^uT$.) We show exponentially mixing Holder observables, pressure function $P(t)=\sup_\mu \{h_\mu -\int J^uT d \mu\}$ analytic (0,t_*). In addition, P(t) strictly convex if o...

disordered t-shaped graphene nanodevice (tgn) was designed and studied in this paper. we demonstrated the intrinsic transport properties of the tgn by using landauer approach. knowing the transmission probability of an electron the current through the system is obtained using landauer-buttiker formalism. the effects of single disorder on conductance, current and on the transport length scales a...

The domain of analysis and conception of Decisional Information System (DIS) is, highly, applying new techniques and methods to succeed the process of the decision and minimizing the time of conception. Our objective in this paper is to define a group of patterns to ensure a systematic reuse of our approach to analyse a DIS’s business requirements. We seek, through this work, to guide the disco...

Transformation is key to any program improvement process and a key to successful transformation is the medium in which it takes place. BMF (Bird-Meertens Formalism) is a medium specialised for program improvement via incremental transformation. While much theoretical work exists, there has, to date, been a paucity of actual implementations employing BMF in an automated process of program improv...

Homomorphisms are functions that match the divide-and-conquer pattern and are widely used in parallel programming. Two problems are studied for homomorphisms on lists: (1) parallelism extraction: nding a homo-morphic representation of a given function; (2) parallelism implementation: deriving an eecient parallel program that computes the function. The proposed approach to parallelism extraction...

The Human Phenotype Ontology (HPO) provides a conceptualization of phenotype information and a tool for the computational analysis of human diseases. It covers a wide range of phenotypic abnormalities encountered in human diseases and its terms (classes) are structured according to a directed acyclic graph. In this context the prediction of the phenotypic abnormalities associated to human genes...

In this paper we demonstrate that the basic rules and calculational techniques used in two extensively documented program derivation methods can be expressed, and, indeed, can be generalised within a relational theory of datatypes. The two methods to which we refer are the so-called “Bird-Meertens formalism” for the construction of functional programs and the “Dijkstra-Feijen calculus” for the ...

Mechanistic philosophy of science views a large part of scientific activity as engaged in modelling mechanisms. While science textbooks tend to offer qualitative models of mechanisms, there is increasing demand for models from which one can draw quantitative predictions and explanations. Casini et al. (2011) put forward the Recursive Bayesian Net (RBN) formalism as well suited to this end. The ...