Causality, conditional independence, and graphical separation in settable systems

We study the connections between causal relations and conditional independence within the settable systems extension of the Pearl causal model (PCM). Our analysis clearly distinguishes between causal notions and probabilistic notions, and it does not formally rely on graphical representations. As a foundation, we provide definitions in terms of suitable functional dependence for direct causality and for indirect and total causality via and exclusive of a set of variables. Based on these foundations, we provide causal and stochastic conditions formally characterizing conditional dependence among random vectors of interest in structural systems by stating and proving the conditional Reichenbach principle of common cause, obtaining the classical Reichenbach principle as a corollary. We apply the conditional Reichenbach principle to show that the useful tools of d-separation and D-separation can be employed to establish conditional independence within suitably restricted settable systems analogous to Markovian PCMs.     

Layered Working-Set Trees

The working-set bound [Sleator and Tarjan in J. ACM 32(3), 652–686, 1985] roughly states that searching for an element is fast if the element was accessed recently. Binary search trees, such as splay trees, can achieve this property in the amortized sense, while data structures that are not binary search trees are known to have this property in the worst case. We close this gap and present a binary search tree called a layered working-set tree that guarantees the working-set property in the worst case. The unified bound [B?doiu et al. in Theor. Comput. Sci. 382(2), 86–96, 2007] roughly states that searching for an element is fast if it is near (in terms of rank distance) to a recently accessed element. We show how layered working-set trees can be used to achieve the unified bound to within a small additive term in the amortized sense while maintaining in the worst case an access time that is both logarithmic and within a small multiplicative factor of the working-set bound.     

A novel image encryption/decryption scheme based on chaotic neural networks

This paper presents a novel image encryption/decryption algorithm based on chaotic neural network (CNN). The employed CNN is comprised of two 3-neuron layers called chaotic neuron layer (CNL) and permutation neuron layer (PNL). The values of three RGB (Red, Green and Blue) color components of image constitute inputs of the CNN and three encoded streams are the network outputs. CNL is a chaotic layer where, three well-known chaotic systems i.e. Chua, Lorenz and Lü systems participate in generating weights and biases matrices of this layer corresponding to each pixel RGB features. Besides, a chaotic tent map is employed as the activation function of this layer, and makes the relationship between the plain image and cipher image nonlinear. The output of CNL, i.e. the diffused information, is the input of PNL, where three-dimensional permutation is applied to the diffused information. The overall process is repeated several times to make the encryption process more robust and complex. A 160-bit-long authentication code has been used to generate the initial conditions and the parameters of the CNL and PNL. Some security analysis are given to demonstrate that the key space of the new algorithm is large enough to make brute-force attacks infeasible and simulations have been carried out with detailed numerical analysis, demonstrating the high security of the new image encryption scheme.     

Fault diagnosis and accommodation of nonlinear systems based on multiple-model adaptive unscented Kalman filter and switched MPC and H-infinity loop-shaping controller

In this paper, a new active fault tolerant control (AFTC) methodology is proposed based on a state estimation scheme for fault detection and identification (FDI) to deal with the potential problems due to possible fault scenarios. A bank of adaptive unscented Kalman filters (AUKFs) is used as a core of FDI module. The AUKF approach alleviates the inflexibility of the conventional UKF due to constant covariance set up, leading to probable divergence. A fuzzy-based decision making (FDM) algorithm is introduced to diagnose sensor and/or actuator faults. The proposed FDI approach is utilized to recursively correct the measurement vector and the model used for both state estimation and output prediction in a model predictive control (MPC) formulation. Robustness of the proposed FTC system, H_∞ optimal robust controller and MPC are combined via a fuzzy switch that is used for switching between MPC and robust controller such that FTC system is able to maintain the offset free behavior in the face of abrupt changes in model parameters and unmeasured disturbances. This methodology is applied on benchmark three-tank system; the proposed FTC approach facilitates recovery of the closed loop performance after the faults have been isolated leading to an offset free behavior in the presence of sensor/actuator faults that can be either abrupt or drift change in biases. Analysis of the simulation results reveals that the proposed approach provides an effective method for treating faults (biases/drifts in sensors/actuators, changes in model parameters and unmeasured disturbances) under the unified framework of robust fault tolerant control.     

Impact of the Boeing 767 Aircraft into the World Trade Center

A numerical simulation of the aircraft impact into the exterior columns of the World Trade Center (WTC) was done using LS-DYNA. For simplification, the fuselage was modeled as a thin-walled cylinder, the wings were modeled as box beams with a fuel pocket, and the engines were represented as rigid cylinders. The exterior columns of the WTC were represented as box beams. Actual masses, material properties and dimensions of the Boeing 767 aircraft and the exterior columns of the WTC were used in this analysis. It was found that about 46% of the initial kinetic energy of the aircraft was used to damage columns. The minimum impact velocity of the aircraft to just penetrate the exterior columns would be 130?m/s. It was also found that a Boeing 767 traveling at top speed would not penetrate exterior columns of the WTC if the columns were thicker than 20?mm.     

A Single Injection of NTG-101 Reduces the Expression of Pain-Related Neurotrophins in a Canine Model of Degenerative Disc Disease

Background: Tissue sources of pain emanating from degenerative discs remains incompletely understood. Canine intervertebral discs (IVDs) were needle puncture injured, 4-weeks later injected with either phosphate-buffered saline (PBS) or NTG-101, harvested after an additional fourteen weeks and then histologically evaluated for the expression of NGFr, BDNF, TrkB and CALCRL proteins. Quantification was performed using the HALO automated cell-counting scoring platform. Immunohistochemical analysis was also performed on human IVD tissue samples obtained from spinal surgery. Immunohistochemical analysis and quantification of neurotrophins and neuropeptides was performed using an in vivo canine model of degenerative disc disease and human degenerative disc tissue sections. Discs injected with NTG-101 showed significantly lower levels of Nerve Growth Factor receptor (NGFr/TrkA, p = 0.0001), BDNF (p = 0.009), TrkB (p = 0.002) and CALCRL (p = 0.008) relative to PBS injections. Human IVD tissue obtained from spinal surgery due to painful DDD show robust expression of NGFr, BDNF, TrkB and CALCRL proteins. A single intradiscal injection of NTG-101 significantly inhibits the expression of NGFr, BDNF, TrkB and CALCRL proteins in degenerative canine IVDs. These results strongly suggest that NTG-101 inhibits the development of neurotrophins that are strongly associated with painful degenerative disc disease and may have profound effects upon the management of patients living with discogenic pain.     

Dynamic Hotlinks

Consider a directed rooted tree T=(V,E) representing a collection V of n web pages connected via a set E of links all reachable from a source home page, represented by the root of T. Each web page i carries a weight w _i representative of the frequency with which it is visited. By adding hotlinks, shortcuts from a node to one of its descendants, we are interested in minimizing the expected number of steps needed to visit pages from the home page. We give the first linear time algorithm for assigning hotlinks so that the number of steps to access a page i from the root of the tree reaches the entropy bound, i.e. is at most O(log (W/w _i )) where W=∑ _i∈T w _i . The best previously known algorithm for this task runs in time O(n ²). We also give the first efficient data structure for maintaining hotlinks when nodes are added, deleted or their weights modified, in amortized time O(log (W/w _i )) per update. The data structure can be made adaptive, i.e. reaches the entropy bound in the amortized sense without knowing the weights w _i in advance.     

Ligand‐Free Synthesis of Aluminum‐Doped Zinc Oxide Nanocrystals and their Use as Optical Spacers in Color‐Tuned Highly Efficient Organic Solar Cells

The color of polymer solar cells using an opaque electrode is given by the reflected light, which depends on the composition and thickness of each layer of the device. Metal‐oxide‐based optical spacers are intensively studied in polymer solar cells aiming to optimize the light absorption. However, the low conductivity of materials such as ZnO and TiO₂ limits the thickness of such optical spacers to tenths of nanometers. A novel synthesis route of cluster‐free Al‐doped ZnO (AZO) nanocrystals (NCs) is presented for solution processing of highly conductive layers without the need of temperature annealing, including thick optical spacers on top of polymer blends. The processing of 80 nm thick optical spacers based on AZO nanocrystal solutions on top of 200 nm thick polymer blend layer is demonstrated leading to improved photocurrent density of 17% compared to solar cells using standard active layers of 90 nm in combination with thin ZnO‐based optical spacers. These AZO NCs also open new opportunities for the processing of high‐efficiency color tuned solar cells. For the first time, it is shown that applying solution‐processed thick optical spacer with polymer blends of different thicknesses can process solar cells of similar efficiency over 7% but of different colors.     

DOT1L Methyltransferase Regulates Calcium Influx in Erythroid Progenitor Cells in Response to Erythropoietin

Erythropoietin (EPO) signaling plays a vital role in erythropoiesis by regulating proliferation and lineage-specific differentiation of murine hematopoietic progenitor cells (HPCs). An important downstream response of EPO signaling is calcium (Ca²⁺) influx, which is regulated by transient receptor potential channel (TRPC) proteins, particularly TRPC2 and TRPC6. While EPO induces Ca²⁺ influx through TRPC2, TRPC6 inhibits the function of TRPC2. Thus, interactions between TRPC2 and TRPC6 regulate the rate of Ca²⁺ influx in EPO-induced erythropoiesis. In this study, we observed that the expression of TRPC6 in KIT-positive erythroid progenitor cells was regulated by DOT1L. DOT1L is a methyltransferase that plays an important role in many biological processes during embryonic development including early erythropoiesis. We previously reported that Dot1l knockout (Dot1l^KO) HPCs in the yolk sac failed to develop properly, which resulted in lethal anemia. In this study, we detected a marked downregulation of Trpc6 gene expression in Dot1l^KO progenitor cells in the yolk sac compared to the wild type (WT). The promoter and the proximal regions of the Trpc6 gene locus exhibited an enrichment of H3K79 methylation, which is mediated solely by DOT1L. However, the expression of Trpc2, the positive regulator of Ca²⁺ influx, remained unchanged, resulting in an increased TRPC2/TRPC6 ratio. As the loss of DOT1L decreased TRPC6, which inhibited Ca²⁺ influx by TRPC2, Dot1l^KO HPCs in the yolk sac exhibited accelerated and sustained elevated levels of Ca²⁺ influx. Such heightened Ca²⁺ levels might have detrimental effects on the growth and proliferation of HPCs in response to EPO.     

An optimal deployable bandwidth aggregation system

The explosive increase in data demand coupled with the rapid deployment of various wireless access technologies have led to the increase of number of multi-homed or multi-interface enabled devices. Fully exploiting these interfaces has motivated researchers to propose numerous solutions that aggregate their available bandwidths to increase overall throughput and satisfy the end-user’s growing data demand. These solutions, however, do not utilize their interfaces to the maximum without network support, and more importantly, have faced a steep deployment barrier. In this paper, we propose an optimal deployable bandwidth aggregation system (DBAS) for multi-interface enabled devices. We present the DBAS architecture that does not introduce any intermediate hardware, modify current operating systems, modify socket implementations, nor require changes to current applications or legacy servers. The DBAS architecture is designed to automatically estimate the characteristics of applications and dynamically schedule various connections and/or packets to different interfaces. We also formulate our optimal scheduler as a mixed integer programming problem yielding an efficient solution. We evaluate DBAS via implementation on the Windows OS and further verify our results with simulations on NS2. Our evaluation shows that, with current Internet characteristics, DBAS reaches the throughput upper bound with no modifications to legacy servers. It also highlights the significant enhancements in the response time introduced by DBAS, which directly enhances the user experience.