Two-Path All-pass Based Half-Band Infinite Impulse Response Decimation Filters and the Effects of Their Non-Linear Phase Response on ECG Signal Acquisition

This paper is based on the novel use of a very high fidelity decimation filter chain for Electrocardiogram (ECG) signal acquisition and data conversion. The multiplier-free and multi-stage structure of the proposed filters lower the power dissipation while minimizing the circuit area which are crucial design constraints to the wireless noninvasive wearable health monitoring products due to the scarce operational resources in their electronic implementation. The decimation ratio of the presented filter is 128, working in tandem with a 1-bit 3rd order Sigma Delta (ΣΔ) modulator which achieves 0.04 dB passband ripples and -74 dB stopband attenuation. The work reported here investigates the non-linear phase effects of the proposed decimation filters on the ECG signal by carrying out a comparative study after phase correction. It concludes that the enhanced phase linearity is not crucial for ECG acquisition and data conversion applications since the signal distortion of the acquired signal, due to phase non-linearity, is insignificant for both original and phase compensated filters. To the best of the authors’ knowledge, being free of signal distortion is essential as this might lead to misdiagnosis as stated in the state of the art. This article demonstrates that with their minimal power consumption and minimal signal distortion features, the proposed decimation filters can effectively be employed in biosignal data processing units.

Measurements of activity coefficients at infinite dilution of organic solutes and water on polar imidazolium-based ionic liquids

The activity coefficients at infinite dilution, gamma(infinity)(13), of 55 organic solutes and water in three ionic liquids with the common cation 1-butyl-3-methylimidazolium and the polar anions Cl--,Cl- [CH3SO3](-) and [(CH3)(2)PO4](-), were determined by (gas + liquid) chromatography at four temperatures in the range (358.15 to 388.15) K for alcohols and water, and T = (398.15 to 428.15) K for the other organic solutes including alkanes, cycloalkanes, alkenes, cycloalkenes, alkynes, ketones, ethers, cyclic ethers, aromatic hydrocarbons, esters, butyraldehyde, acetonitrile, pyridine, 1-nitropropane and thiophene. From the experimental gamma(infinity)(13) values, the partial molar excess Gibbs free energy, (G) over bar (E infinity)(m), enthalpy (H) over bar (E infinity)(m), and entropy (S) over bar (E infinity)(m), at infinite dilution, were estimated in order to provide more information about the interactions between the solutes and the ILs. Moreover, densities were measured and (gas + liquid) partition coefficients (KL) calculated. Selectivities at infinite dilution for some separation problems such as octane/benzene, cyclohexane/benzene and cyclohexane/thiophene were calculated using the measured gamma(infinity)(13), and compared with literature values for N-methyl-2-pyrrolidinone (NMP), sulfolane, and other ionic liquids with a common cation or anion of the ILs here studied. From the obtained infinite dilution selectivities and capacities, it can be concluded that the ILs studied may replace conventional entrainers applied for the separation processes of aliphatic/aromatic hydrocarbons.

Stochastic and infinite dimensional analysis

This volume presents a collection of papers covering applications from a wide range of systems with infinitely many degrees of freedom studied using techniques from stochastic and infinite dimensional analysis, e.g. Feynman path integrals, the statistical mechanics of polymer chains, complex networks, and quantum field theory. Systems of infinitely many degrees of freedom create their particular mathematical challenges which have been addressed by different mathematical theories, namely in the theories of stochastic processes, Malliavin calculus, and especially white noise analysis. These proceedings are inspired by a conference held on the occasion of Prof. Ludwig Streit’s 75th birthday and celebrate his pioneering and ongoing work in these fields.

Analyzing static three-dimensional elastic domains with a new infinite boundary element formulation

A new two-dimensionally mapped infinite boundary element (IBE) is presented. The formulation is based on a triangular boundary element (BE) with linear shape functions instead of the quadrilateral IBEs usually found in the literature. The infinite solids analyzed are assumed to be three-dimensional, linear-elastic and isotropic, and Kelvin fundamental solutions are employed. One advantage of the proposed formulation over quadratic or higher order elements is that no additional degrees of freedom are added to the original BE mesh by the presence of the IBEs. Thus, the IBEs allow the mesh to be reduced without compromising the accuracy of the result. Two examples are presented, in which the numerical results show good agreement with authors using quadrilateral IBEs and analytical solutions. (C) 2010 Elsevier Ltd. All rights reserved.

Unsaturated Infinite Slope Stability Considering Surface Flux Conditions

A slope stability model is derived for an infinite slope subjected to unsaturated infiltration flow above a phreatic surface. Closed form steady state solutions are derived for the matric suction and degree of saturation profiles. Soil unit weight, consistent with the degree of saturation profile, is also directly calculated and introduced into the analyzes, resulting in closed-form solutions for typical soil parameters and an infinite series solution for arbitrary soil parameters. The solutions are coupled with the infinite slope stability equations to establish a fully realized safety factor function. In general, consideration of soil suction results in higher factor of safety. The increase in shear strength due to the inclusion of soil suction is analogous to making an addition to the cohesion, which, of course, increases the factor of safety against sliding. However, for cohesive soils, the results show lower safety factors for slip surfaces approaching the phreatic surface compared to those produced by common safety factor calculations. The lower factor of safety is due to the increased soil unit weight considered in the matric suction model but not usually accounted for in practice wherein the soil is treated as dry above the phreatic surface. The developed model is verified with a published case study, correctly predicting stability under dry conditions and correctly predicting failure for a particular storm.

Infinite horizon MPC with non-minimal state space feedback

In the MPC literature, stability is usually assured under the assumption that the state is measured. Since the closed-loop system may be nonlinear because of the constraints, it is not possible to apply the separation principle to prove global stability for the Output feedback case. It is well known that, a nonlinear closed-loop system with the state estimated via an exponentially converging observer combined with a state feedback controller can be unstable even when the controller is stable. One alternative to overcome the state estimation problem is to adopt a non-minimal state space model, in which the states are represented by measured past inputs and outputs [P.C. Young, M.A. Behzadi, C.L. Wang, A. Chotai, Direct digital and adaptative control by input-output, state variable feedback pole assignment, International journal of Control 46 (1987) 1867-1881; C. Wang, P.C. Young, Direct digital control by input-output, state variable feedback: theoretical background, International journal of Control 47 (1988) 97-109]. In this case, no observer is needed since the state variables can be directly measured. However, an important disadvantage of this approach is that the realigned model is not of minimal order, which makes the infinite horizon approach to obtain nominal stability difficult to apply. Here, we propose a method to properly formulate an infinite horizon MPC based on the output-realigned model, which avoids the use of an observer and guarantees the closed loop stability. The simulation results show that, besides providing closed-loop stability for systems with integrating and stable modes, the proposed controller may have a better performance than those MPC controllers that make use of an observer to estimate the current states. (C) 2008 Elsevier Ltd. All rights reserved.

Certain cyclically presented groups are infinite

We prove that the groups in two infinite families considered by Johnson, Kim and O'Brien are almost all infinite.

Infinite time aggregation for the critical Patlak-Keller-Segel model in R2

We analyze the two-dimensional parabolic-elliptic Patlak-Keller-Segel model in the whole Euclidean space R2. Under the hypotheses of integrable initial data with finite second moment and entropy, we first show local in time existence for any mass of "free-energy solutions", namely weak solutions with some free energy estimates. We also prove that the solution exists as long as the entropy is controlled from above. The main result of the paper is to show the global existence of free-energy solutions with initial data as before for the critical mass 8 Π/Χ. Actually, we prove that solutions blow-up as a delta dirac at the center of mass when t→∞ keeping constant their second moment at any time. Furthermore, all moments larger than 2 blow-up as t→∞ if initially bounded.

On a size-structured two-phase population model with infinite states-at-birth

In this work we introduce and analyze a linear size-structured population model with infinite states-at-birth. We model the dynamics of a population in which individuals have two distinct life-stages: an “active” phase when individuals grow, reproduce and die and a second “resting” phase when individuals only grow. Transition between these two phases depends on individuals’ size. First we show that the problem is governed by a positive quasicontractive semigroup on the biologically relevant state space. Then we investigate, in the framework of the spectral theory of linear operators, the asymptotic behavior of solutions of the model. We prove that the associated semigroup has, under biologically plausible assumptions, the property of asynchronous exponential growth.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

Limits on the validity of infinite length assumptions for modelling shallow landslides

The infinite slope method is widely used as the geotechnical component of geomorphic and landscape evolution models. Its assumption that shallow landslides are infinitely long (in a downslope direction) is usually considered valid for natural landslides on the basis that they are generally long relative to their depth. However, this is rarely justified, because the critical length/depth (L/H) ratio below which edge effects become important is unknown. We establish this critical L/H ratio by benchmarking infinite slope stability predictions against finite element predictions for a set of synthetic two-dimensional slopes, assuming that the difference between the predictions is due to error in the infinite slope method. We test the infinite slope method for six different L/H ratios to find the critical ratio at which its predictions fall within 5% of those from the finite element method. We repeat these tests for 5000 synthetic slopes with a range of failure plane depths, pore water pressures, friction angles, soil cohesions, soil unit weights and slope angles characteristic of natural slopes. We find that: (1) infinite slope stability predictions are consistently too conservative for small L/H ratios; (2) the predictions always converge to within 5% of the finite element benchmarks by a L/H ratio of 25 (i.e. the infinite slope assumption is reasonable for landslides 25 times longer than they are deep); but (3) they can converge at much lower ratios depending on slope properties, particularly for low cohesion soils. The implication for catchment scale stability models is that the infinite length assumption is reasonable if their grid resolution is coarse (e.g. >25?m). However, it may also be valid even at much finer grid resolutions (e.g. 1?m), because spatial organization in the predicted pore water pressure field reduces the probability of short landslides and minimizes the risk that predicted landslides will have L/H ratios less than 25. Copyright (c) 2012 John Wiley & Sons, Ltd.

A reduction of order two for infinite-order Lagrangians

Given a Lagrangian system depending on the position derivatives of any order, and assuming that certain conditions are satisfied, a second-order differential system is obtained such that its solutions also satisfy the Euler equations derived from the original Lagrangian. A generalization of the singular Lagrangian formalism permits a reduction of order keeping the canonical formalism in sight. Finally, the general results obtained in the first part of the paper are applied to Wheeler-Feynman electrodynamics for two charged point particles up to order 1/c4.

Between Immunology And Tolerance: Controlling Immune Responses Employing Tolerogenic Dendritic Cells

Dendritic cells (DCs) are the most efficient antigen presenting cells, they provide co-stimulation, are able to secrete various proinflammatory cytokines and therefore play a pivotal role in shaping adaptive immune responses. Moreover, they are important for the promotion and maintenance of central and peripheral tolerance through several mechanisms like the induction of anergy or apoptosis in effector T cells or by promoting regulatory T cells. The murine CD8α+ (MuTu) dendritic cell line was previously derived and described in our laboratory. The MuTu cell line has been shown to maintain phenotypical and functional characteristics of endogenous CD8α+ DCs. They are able to cross-present exogenous antigens to CD8+ T cells and produce interleukin (IL-) 12 upon engagement of Toll like receptors. The cell line constitutes an infinite source of homogenous, phenotypically well-defined dendritic cells. This allows us to investigate the role and potential of specific molecules in the induction as well as regulation of immune responses by DCs in a rational and standardized way. In a first project the MuTu dendritic cell line was transduced in order to stably express the immunosuppressive molecules IL-10, IL-35 or the active form of TGF-β (termed IL-10+DC, IL-35+DC or actTGFβ+DC). We investigated the capability of these potentially suppressive or tolerogenic dendritic cell lines to induce immune tolerance and explore the mechanisms behind tolerance induction. The expression of TGF-β by the DC line did not affect the phenotype of the DCs itself. In contrast, IL-10+ and IL-35+DCs were found to exhibit lower expression of co-stimulatory molecules and MHC class I and II, as well as reduced secretion of pro-inflammatory cytokines upon activation. In vitro co-culture with IL-35+, IL10+ or active TGFβ+ DCs interfered with function and proliferation of CD4+ and CD8+ T cells. Furthermore, IL-35 and active TGF-β expressing DC lines induced regulatory phenotype on CD4+ T cells in vitro without or with expression of Foxp3, respectively. In different murine cancer models, vaccination with IL-35 or active TGF-β expressing DCs resulted in faster tumor growth. Interestingly, accelerated tumor growth could be observed when IL-35-expressing DCs were injected into T cell-deficient RAG-/- mice. IL-10expressing DCs however, were found to rather delay tumor growth. Besides the mentioned autocrine effects of IL-35 expression on the DC line itself, we surprisingly observed that the expression of IL-35 or the addition of IL-35 containing medium enhances neutrophil survival and induces proliferation of endothelial cells. Our findings indicate that the cytokine IL-35 might not only be a potent regulator of adaptive immune responses, but it also implies IL-35 to mediate diverse effects on an array of cellular targets. This abilities make IL-35 a promising target molecule not only for the treatment of auto-inflammatory disease but also to improve anti-cancer immunotherapies. Indeed, by applying active TGFβ+ in murine autoimmune encephalitis we were able to completely inhibit the development of the disease, whereas IL-35+DCs reduced disease incidence and severity. Furthermore, the preventive transfer of IL-35+DCs delayed rejection of transplanted skin to the same extend as the combination of IL-10/actTGF-β expressing DCs. Thus, the expression of a single tolerogenic molecule can be sufficient to interfere with the adequate activation and function of dendritic cells and of co-cultured T lymphocytes. The respective mechanisms of tolerance induction seem to be different for each of the investigated molecule. The application of a combination of multiple tolerogenic molecules might therefore evoke synergistic effects in order to overcome (auto-) immunity. In a second project we tried to improve the immunogenicity of dendritic cell-based cancer vaccines using two different approaches. First, the C57BL/6 derived MuTu dendritic cell line was genetically modified in order to express the MHC class I molecule H-2Kd. We hypothesized that the expression of BALB/c specific MHC class I haplotype (H-2Kd) should allow the priming of tumor-specific CD8+ T cells by the otherwise allogeneic dendritic cells. At the same time, the transfer of these H-2Kd+ DCs into BALB/c mice was thought to evoke a strong inflammatory environment that might act as an "adjuvant", helping to overcome tumor induced immune suppression. Using this so called "semi-allogeneic" vaccination approach, we could demonstrate that the delivery of tumor lysate pulsed H-2Kd+ DCs significantly delayed tumor growth when compared to autologous or allogeneic vaccination. However, we were not able to coherently elucidate the cellular mechanisms underlying the observed effect. Second, we generated MuTu DC lines which stably express the pro-inflammatory cytokines IL-2, IL-12 or IL-15. We investigated whether the combination of DC vaccination and local delivery of pro-inflammatory cytokines might enhance tumor specific T cell responses. Indeed, we observed an enhanced T cell proliferation and activation when they were cocultured in vitro with IL-12 or IL-2-expressing DCs. But unfortunately we could not observe a beneficial or even synergistic impact on tumor development when cytokine delivery was combined with semi-allogeneic DC vaccination.

Towards input/output-free modelling of linear infinite-dimensional systems in continuous time

This dissertation describes a networking approach to infinite-dimensional systems theory, where there is a minimal distinction between inputs and outputs. We introduce and study two closely related classes of systems, namely the state/signal systems and the port-Hamiltonian systems, and describe how they relate to each other. Some basic theory for these two classes of systems and the interconnections of such systems is provided. The main emphasis lies on passive and conservative systems, and the theoretical concepts are illustrated using the example of a lossless transfer line. Much remains to be done in this field and we point to some directions for future studies as well.

The Possibility of Ordering Infinite Utility Streams

This paper revisits Diamond’s classical impossibility result regarding the ordering of infinite utility streams. We show that if no representability condition is imposed, there do exist strongly Paretian and finitely anonymous orderings of intertemporal utility streams with attractive additional properties. We extend a possibility theorem due to Svensson to a characterization theorem and we provide characterizations of all strongly Paretian and finitely anonymous rankings satisfying the strict transfer principle. In addition, infinite horizon extensions of leximin and of utilitarianism are characterized by adding an equity preference axiom and finite translation-scale measurability, respectively, to strong Pareto and finite anonymity.