Human cultured female osteoblasts (Obs) respond age-dependently to estradiol-17β (E2) and to phytoestrogens by increased DNA synthesis (DNA) and creatine kinase specific activity (CK). ERα mRNA expression is higher than ERβ mRNA in Obs. Pre-menopausal Ob (prOb) reveals higher expression of ERα than post-menopausal Ob (poOb), but similar intracellular and membranal E2 bindings. ERα mRNA is stimu...

this paper studies a new multi-objective fuzzy optimization prob- lem. the objective function of this study has dierent levels. therefore, a suitable optimized solution for this problem would be an optimized solution with preemptive priority. since, the feasible domain is non-convex; the tra- ditional methods cannot be applied. we study this problem and determine some special structures related...

We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch paradigm (cf. [9]): randomly guess an initial assignment and then, guided by those clauses (constraints) that are not satisfied, by successively choosing a random literal from such a clause and flipping the corresponding...

A 49-year-old man consumed two glasses (approximately 2 x 20 mL) of a beverage containing yellow gentian (Gentiana lutea). Shortly after ingestion, he developed nausea, vomiting, and oral paraesthesia. On admission to the hospital he suffered from severe bradycardia (35 beats/min) and hypotension (50/30 mm Hg), and he was treated with activated charcoal, antiemetics (metoclopramide, ondansetron...

In this paper we study the problem of bounding the value of the probability distribution function of a random variable X at E[X] + a where a is a small quantity in comparison with E[X], by means of the second and the fourth moments of X. In this particular context, many classical inequalities yield only trivial bounds. By studying the primal-dual moments-generating conic optimization problems, ...

The ProB model checker provides tool support for an integrated formal specification approach, which combines the classical state-based B language with the event-based process algebra CSP. In this paper, we present a developing strategy for implementing such a combined ProB specification as a concurrent Java program. A Java implementation of the combined B and CSP model has been developed using ...

We study one bit broadcast in a one-dimensional network with nodes .No, ... ,.Nn , in which each .Ni.-l sends information to .Ni.. We suppose that the broadcasting is synchronous, and at each step each atomic transmission .Ni.-l --+ .Ni. could be temporarily incorrect with probability equal to a constant 0 < P < 1/2. The probabilities of failure for different steps and different nodes are suppo...

OBJECTIVES To compare cine MR b-TFE sequences acquired before and after gadolinium injection, on a 3T scanner with a parallel RF transmission technique in order to potentially improve scanning time efficiency when evaluating LV function. METHODS 25 consecutive patients scheduled for a cardiac MRI were prospectively included and had their b-TFE cine sequences acquired before and right after ga...

We present an integration of the constraint solving kernel of the ProB model checker with the SMT solver Z3. We apply the combined solver to B and Event-B predicates, featuring higher-order datatypes and constructs like set comprehensions. To do so we rely on the finite set logic of Z3 and provide a new translation from B to Z3, better suited for constraint solving. Predicates can then be solve...

These are expanded notes from four introductory lectures on Ergodic Theory, given at the Minerva summer school Flows on homogeneous spaces at the Technion, Haifa, Israel, in September 2012. 1. Dynamics on a compact metrizable space Given a compact metrizable space X, denote by C(X) the space of continuous functions f : X → C with the uniform norm ‖f‖u = max x∈X |f(x)|. This is a separable Banac...