Technology

Technology takes many shapes. Things such as water heaters, cell phones, intercontinental ballistic missiles, high-defin ition television, and hybrid cars belong to the large family called technological artifacts. In addition to artifacts, technology includes infrastructure (e.g., roadways, water and sewage lines, fiber-optic phone lines, Wi-Fi transponders) -- systems of technologies that enable the artifacts to function while the system itself remains, for the most part, out of sight and under the moral radar. Further, technology connotes a certain form of life, one not simply auxiliary to the existing social structure but also contributing to its very form (hence, the phrase technological age ). Finally, technology also includes a particular mode of productive reasoning that vies for cultural dominance over both practical and theoretical reasoning. The moral challenges surrounding technology are exacerbated by the fact that new technologies are appearing at an exponential rate, threatening to outstrip the pace at which Christians can evaluate them . Further, Christians find little explicit treatment of technology in the Bible. Consequently, Christian moral reflection on technology requires examining the moral qualities of particular technologies in detail , describing the most germane biblical resources, and learning to distinguish Christian moral reasoning itself from the kind of reasoning that technocentrism engenders

Perturbation of strong Feller semigroups and well-posedness of semilinear stochastic equations on Banach spaces

We prove a Miyadera-Voigt type perturbation theorem for strong Feller semigroups. Using this result, we prove well-posedness of the semilinear stochastic equation dX(t) = [AX(t) + F(X(t))]dt + GdW_H(t) on a separable Banach space E, assuming that F is bounded and measurable and that the associated linear equation, i.e. the equation with F = 0, is well-posed and its transition semigroup is strongly Feller and satisfies an appropriate gradient estimate. We also study existence and uniqueness of invariant measures for the associated transition semigroup.Comment: Revision based on the referee's comment

Palm pairs and the general mass-transport principle

We consider a lcsc group G acting properly on a Borel space S and measurably on an underlying sigma-finite measure space. Our first main result is a transport formula connecting the Palm pairs of jointly stationary random measures on S. A key (and new) technical result is a measurable disintegration of the Haar measure on G along the orbits. The second main result is an intrinsic characterization of the Palm pairs of a G-invariant random measure. We then proceed with deriving a general version of the mass-transport principle for possibly non-transitive and non-unimodular group operations first in a deterministic and then in its full probabilistic form.Comment: 26 page

Virtues and Practices in the Christian Tradition: Christian Ethics after MacIntyre

Using Alasdair MacIntyre\u27s work as a methodological guide for doing ethics in the Christian tradition, the contributors to this work offer essays on three subjects: description of MacIntyre\u27s approach; reflections on moral issues; and selected essays on family, abortion, feminism and more

Tagged particle process in continuum with singular interactions

By using Dirichlet form techniques we construct the dynamics of a tagged particle in an infinite particle environment of interacting particles for a large class of interaction potentials. In particular, we can treat interaction potentials having a singularity at the origin, non-trivial negative part and infinite range, as e.g., the Lennard-Jones potential.Comment: 27 pages, proof for conservativity added, tightened presentatio

Conditions for suboptimal filter stability in SLAM

IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2004, Sendai (Japón)In this article, we show marginal stability in SLAM, guaranteeing convergence to a non-zero mean state error estimate bounded by a constant value. Moreover, marginal stability guarantees also convergence of the Riccati equation of the one-step ahead state error covariance to at least one psd steady state solution. In the search for real time implementations of SLAM, covariance inflation methods produce a suboptimal filter that eventually may lead to the computation of an unbounded state error covariance. We provide tight constraints in the amount of decorrelation possible, to guarantee convergence of the state error covariance, and at the same time, a linear-time implementation of SLAM.This work was supported by the project 'Supervised learning of industrial scenes by means of an active vision equipped mobile robot.' (J-00063).Peer Reviewe

Maximizing the Conditional Expected Reward for Reaching the Goal

The paper addresses the problem of computing maximal conditional expected accumulated rewards until reaching a target state (briefly called maximal conditional expectations) in finite-state Markov decision processes where the condition is given as a reachability constraint. Conditional expectations of this type can, e.g., stand for the maximal expected termination time of probabilistic programs with non-determinism, under the condition that the program eventually terminates, or for the worst-case expected penalty to be paid, assuming that at least three deadlines are missed. The main results of the paper are (i) a polynomial-time algorithm to check the finiteness of maximal conditional expectations, (ii) PSPACE-completeness for the threshold problem in acyclic Markov decision processes where the task is to check whether the maximal conditional expectation exceeds a given threshold, (iii) a pseudo-polynomial-time algorithm for the threshold problem in the general (cyclic) case, and (iv) an exponential-time algorithm for computing the maximal conditional expectation and an optimal scheduler.Comment: 103 pages, extended version with appendices of a paper accepted at TACAS 201

Logarithmically-concave moment measures I

We discuss a certain Riemannian metric, related to the toric Kahler-Einstein equation, that is associated in a linearly-invariant manner with a given log-concave measure in R^n. We use this metric in order to bound the second derivatives of the solution to the toric Kahler-Einstein equation, and in order to obtain spectral-gap estimates similar to those of Payne and Weinberger.Comment: 27 page

On q-Gaussians and Exchangeability

The q-Gaussians are discussed from the point of view of variance mixtures of normals and exchangeability. For each q< 3, there is a q-Gaussian distribution that maximizes the Tsallis entropy under suitable constraints. This paper shows that q-Gaussian random variables can be represented as variance mixtures of normals. These variance mixtures of normals are the attractors in central limit theorems for sequences of exchangeable random variables; thereby, providing a possible model that has been extensively studied in probability theory. The formulation provided has the additional advantage of yielding process versions which are naturally q-Brownian motions. Explicit mixing distributions for q-Gaussians should facilitate applications to areas such as option pricing. The model might provide insight into the study of superstatistics.Comment: 14 page

High mobility group box 1 (HMGB1) and anti-HMGB1 antibodies and their relation to disease characteristics in systemic lupus erythematosus

Introduction: High Mobility Group Box 1 (HMGB1) is a nuclear non-histone protein. HMGB1, which is secreted by inflammatory cells and passively released from apoptotic and necrotic cells, may act as a pro-inflammatory mediator. As apoptotic cells accumulate in systemic lupus erythematosus (SLE), HMGB1 levels might be increased in SLE. HMGB1 may also serve as an autoantigen, leading to the production of anti-HMGB1 antibodies. In this study we determined levels of HMGB1 and anti-HMGB1 in SLE patients in comparison to healthy controls (HC) and analysed their relation with disease activity. Methods: The study population consisted of 70 SLE patients and 35 age-and sex-matched HC. Thirty-three SLE patients had quiescent disease, the other 37 patients were selected for having active disease. Nineteen of these had lupus nephritis. HMGB1 levels were measured with both Western blot and ELISA. Anti-HMGB1 levels were measured by ELISA. Clinical and serological parameters were assessed according to routine procedures. Results: HMGB1 levels in SLE patients could be measured reliably by Western blotting only, and were significantly increased compared to HC. During active disease HMGB1 levels increased, in particular in patients with renal involvement. Serum HMGB1 levels correlated with SLEDAI, proteinuria, and anti-dsDNA levels, and showed a negative correlation with complement C3. Anti-HMGB1 levels were significantly increased in SLE patients compared to HC, and positively correlated with HMGB1 levels. Conclusions: Levels of HMGB1 in the sera of SLE patients, in particular in those with active renal disease, are increased. Serum HMGB1 levels are related to SLEDAI scores and proteinuria, as well as to levels of anti-HMGB1 antibodies. These findings suggest that besides HMGB1, HMGB1-anti-HMGB1 immune complexes play a role in the pathogenesis of SLE, in particular in patients with renal involvement