Biophysically detailed models of single cells are difficult to fit to real data. Recent advances in imaging techniques allow simultaneous access to various intracellular variables, and these data can be used to significantly facilitate the modelling task. These data, however, are noisy, and current approaches to building biophysically detailed models are not designed to deal with this. We exten...

In remote sensing studies of land surface temperatures (LST), thematic land-use and land-cover (LULC) data are frequently employed for simple correlation analyses between LULC types and their thermal signatures. Development of quantitative surface descriptors could improve our capabilities for modeling urban thermal landscapes and advance urban climate research. This study developed an analytic...

Varietal purity and proportions of grains with brown spots, fissured grains, chalky grains andwhole grains in a rice sample are important grain quality attributes influencing consumers'preference and price but little information exist on how these grain quality attributes are affectedby biophysical factors and pre-harvest practices. Several authors have studied in isolation theeffect of biophys...

Stroke is a leading cause of worldwide disability, and up to 75% of survivors suffer from some degree of arm paresis. Recently, rehabilitation of stroke patients has focused on recovering motor skills by taking advantage of use-dependent neuroplasticity, where high-repetition of goal-oriented movement is at times combined with non-invasive brain stimulation, such as transcranial direct current ...

Dams have been a fundamental part of the U.S. national agenda over the past two hundred years. Recently, however, dam removal has emerged as a strategy for addressing aging, obsolete infrastructure and more than 1,100 dams have been removed since the 1970s. However, only 130 of these removals had any ecological or geomorphic assessments, and fewer than half of those included before- and after-r...

The paper consists of two parts. The rst one is a concise introduction to epistemic (both propositional and predicate) logic with common knowl-ege operator. As the full common knowledge predicate logics are not even recursively enumerable, in the second part we introduce and investigate the monodic fragment of these logics which allows applications of the epistemic operators to formulas with at...

Let z = (z1, z2, · · · , zn) be noncommutative free variables and t a formal parameter which commutes with z. Let k be a unital commutative ring of any characteristic and Ft(z) = z−Ht(z) with Ht(z) ∈ k[[t]]〈〈z〉〉 ×n and o(Ht(z)) ≥ 2. Note that Ft(z) can be viewed as a deformation of the formal map F (z) := z−Ht=1(z) when it makes sense. The inverse map Gt(z) of Ft(z) can always be written as Gt(...

In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional , in which truth values of atoms may depend on the branch of evaluation, is decidable. Then we use this result to establish decidability of various fragments of quantified , where the next-time operator can be applied only to formulas with at most one fre...