We propose and analyze a pseudo-transient continuation algorithm for dynamics on subsets of R . Examples include certain flows on manifolds and the dynamic formulation of bound-constrained optimization problems. The method gets its global convergence properties from the dynamics and inherits its local convergence properties from any fast locally convergent iteration.

Model counting is the task of computing the number of assignments to variables V that satisfy a given propositional theory F . The model counting problem is denoted as #SAT. Model counting is an essential tool in probabilistic reasoning. In this paper, we introduce the problem of model counting projected on a subset of original variables that we call priority variables P ⊆ V. The task is to com...

In the study of pattern formation in symmetric physical systems, a three-dimensional structure in thin domains is often modelled as a two-dimensional one. This paper is concerned with functions in {\bb R}^{3} that are invariant under the action of a crystallographic group and the symmetries of their projections into a function defined on a plane. A list is obtained of the crystallographic group...

In this paper, we study Projected non-stationary Simultaneous It-erative Reconstruction Techniques (P-SIRT). Based on algorithmic op-erators, convergence result are adjusted with Opial’s Theorem. The advantages of P-SIRT are demonstrated on examples taken from to-mographic imaging.

This paper optimises projected land-use structure in 2020 with the goal of increasing terrestrial ecosystem carbon storage and simulates its spatial distribution using the CLUE-S model. We found the following: The total carbon densities of different land use types were woodland > water area > cultivated land > built-up land > grassland > shallows. Under the optimised land-use structure projecte...

The FM01-LC is a laboratory-scale, electrochemical filter-press cell with a projected electrode area of 64 cm and a rectangular electrolyte flow channel which was originally based on the larger FM21-SP electrolyser of 2100 cm projected electrode area designed for the chlor-alkali industry then diversified to other applications. Many laboratories and industries have utilised this type of control...

Intracellular recording and single-cell labeling were combined to investigate the oculomotor circuitry of the goldfish cerebellar vestibulolateral lobe, consisting of the eminentia granularis (Egr) and caudal lobe. Purkinje cells exhibiting highly conserved vertebrate electrophysiological and morphological properties provide the direct output from the caudal lobe to the vestibular nuclei. Biocy...

At the Wind River Canopy Crane Facility in southeastern Washington State, USA, we examined phenotypic variation between upper- and lower-canopy branches of old-growth Thuja plicata J. Donn ex D. Don (western red cedar). Lower-canopy branches were longer, sprouted fewer daughter branches per unit stem length and were more horizontal than upper-canopy branches. Thuja plicata holds its foliage in ...