Chain Reduction for Binary and Zero-Suppressed Decision Diagrams

Chain reduction enables reduced ordered binary decision diagrams (BDDs) and zero-suppressed binary decision diagrams (ZDDs) to each take advantage of the others' ability to symbolically represent Boolean functions in compact form. For any Boolean function, its chain-reduced ZDD (CZDD) representation will be no larger than its ZDD representation, and at most twice the size of its BDD representation. The chain-reduced BDD (CBDD) of a function will be no larger than its BDD representation, and at most three times the size of its CZDD representation. Extensions to the standard algorithms for operating on BDDs and ZDDs enable them to operate on the chain-reduced versions. Experimental evaluations on representative benchmarks for encoding word lists, solving combinatorial problems, and operating on digital circuits indicate that chain reduction can provide significant benefits in terms of both memory and execution time

Efficient Set Sharing Using ZBDDs

Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zero-suppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit set-based alternative, and show that the ZBDD version scales better in terms of both memory usage and running time

Tri-layer polymer actuators with variable dimensions

The ability of conducting polymer actuators to convert electrical energy into mechanical energy is influenced by manyfactors ranging from the actuators physical dimensions to the chemical structure of the conducting polymer. In order toutilise these actuators to their full potential, it is necessary to explore and quantify the effect of such factors on theoverall actuator performance. The aim of this study is to investigate the effect of various geometrical characteristics suchas the actuator width and thickness on the performance of tri-layer polypyrrole (PPy) actuators operating in air, asopposed to their predecessors operating in an appropriate electrolyte. For a constant actuator length, the influence of theactuator width is examined for a uniform thickness geometry. Following this study, the influence of a varied thicknessgeometry is examined for the optimised actuator width. The performance of the actuators is quantified by examination ofthe force output, tip displacement, efficiency as a function of electrical power and mechanical power, and time constantfor each actuator geometry. It was found that a width of 4mm gave the greatest overall performance without curlingalong the actuator length (which occurred with widths above 4mm). This curling phenomenon increased the rigidity ofthe actuator, significantly lowering the displacement for low loads. Furthermore, it was discovered that by focussing ahigher thickness of PPy material in certain regions of the actuators length, greater performances in various domainscould be achieved. The experimental results obtained set the foundation for us to synthesize PPy actuators with anoptimised geometry, allowing their performance to reach full potential for many cutting applications

Intracellular Amyloid β Oligomers Impair Organelle Transport and Induce Dendritic Spine Loss in Primary Neurons

Introduction Synaptic dysfunction and intracellular transport defects are early events in Alzheimer’s disease (AD). Extracellular amyloid β (Aβ) oligomers cause spine alterations and impede the transport of proteins and organelles such as brain-derived neurotrophic factor (BDNF) and mitochondria that are required for synaptic function. Meanwhile, intraneuronal accumulation of Aβ precedes its extracellular deposition and is also associated with synaptic dysfunction in AD. However, the links between intracellular Aβ, spine alteration, and mechanisms that support synaptic maintenance such as organelle trafficking are poorly understood. Results We compared the effects of wild-type and Osaka (E693Δ)-mutant amyloid precursor proteins: the former secretes Aβ into extracellular space and the latter accumulates Aβ oligomers within cells. First we investigated the effects of intracellular Aβ oligomers on dendritic spines in primary neurons and their tau-dependency using tau knockout neurons. We found that intracellular Aβ oligomers caused a reduction in mushroom, or mature spines, independently of tau. We also found that intracellular Aβ oligomers significantly impaired the intracellular transport of BDNF, mitochondria, and recycling endosomes: cargoes essential for synaptic maintenance. A reduction in BDNF transport by intracellular Aβ oligomers was also observed in tau knockout neurons. Conclusions Our findings indicate that intracellular Aβ oligomers likely contribute to early synaptic pathology in AD and argue against the consensus that Aβ-induced spine loss and transport defects require tau

The time variation of dose rate artificially increased by the Fukushima nuclear crisis

A car-borne survey for dose rate in air was carried out in March and April 2011 along an expressway passing northwest of the Fukushima Dai-ichi Nuclear Power Station which released radionuclides starting after the Great East Japan Earthquake on March 11, 2011, and in an area closer to the Fukushima NPS which is known to have been strongly affected. Dose rates along the expressway, i.e. relatively far from the power station were higher after than before March 11, in some places by several orders of magnitude, implying that there were some additional releases from Fukushima NPS. The maximum dose rate in air within the high level contamination area was 36 μGy h−1, and the estimated maximum cumulative external dose for evacuees who came from Namie Town to evacuation sites (e.g. Fukushima, Koriyama and Nihonmatsu Cities) was 68 mSv. The evacuation is justified from the viewpoint of radiation protection

Grain charging in protoplanetary discs

Recent work identified a growth barrier for dust coagulation that originates in the electric repulsion between colliding particles. Depending on its charge state, dust material may have the potential to control key processes towards planet formation such as MHD (magnetohydrodynamic) turbulence and grain growth which are coupled in a two-way process. We quantify the grain charging at different stages of disc evolution and differentiate between two very extreme cases: compact spherical grains and aggregates with fractal dimension D_f = 2. Applying a simple chemical network that accounts for collisional charging of grains, we provide a semi-analytical solution. This allowed us to calculate the equilibrium population of grain charges and the ionisation fraction efficiently. The grain charging was evaluated for different dynamical environments ranging from static to non-stationary disc configurations. The results show that the adsorption/desorption of neutral gas-phase heavy metals, such as magnesium, effects the charging state of grains. The greater the difference between the thermal velocities of the metal and the dominant molecular ion, the greater the change in the mean grain charge. Agglomerates have more negative excess charge on average than compact spherical particles of the same mass. The rise in the mean grain charge is proportional to N**(1/6) in the ion-dust limit. We find that grain charging in a non-stationary disc environment is expected to lead to similar results. The results indicate that the dust growth and settling in regions where the dust growth is limited by the so-called "electro-static barrier" do not prevent the dust material from remaining the dominant charge carrier.Comment: 18 pages, 10 figures, accepted for publication in Astronomy and Astrophysic

Characterisation and categorisation of the diversity in viscoelastic vibrational properties between 98 wood types

International audienceContext Increased knowledge on diversity in wood properties would have implications both for fundamental research and for promoting a diversification of uses as material. *Aims The objective is to contribute to overcoming the critical lack of data on the diversity of wood dynamic mechanical/viscoelastic vibrational properties, by testing lesser-known species and categorizing sources of variability. *Methods Air-dry axial specific dynamic modulus of elasticity (E'/γ) and damping coefficient (tanδ) were measured on a wide sampling (1792 specimens) of 98 wood types from 79 species. An experimental device and protocol was designed for conducting systematic (i.e. rapid and reproducible) characterizations. *Results Diversity at the specimens' level corroborates the "standard" relationship between tanδ and E'/γ, which is discussed in terms of orientation of wood elements and of chemical composition. Diversity at the species level is expressed on the basis of results for normal heartwood, with specific gravity (γ) ranging from 0.2 to 1.3. Axial E'/γ ranges from 9 to 32 GPa and tanδ from 4×10-3 to 19×10-3. Properties distribution follows a continuum, but with group characteristics. The lowest values of tanδ are only found in certain tropical hardwoods. Results can also suggest alternative species for musical instruments making

Quasiparticle interfacial level alignment of highly hybridized frontier levels: H2_2O on TiO2_2(110)

Knowledge of the frontier levels' alignment prior to photo-irradiation is necessary to achieve a complete quantitative description of H$_2$O photocatalysis on TiO$_2$(110). Although H$_2$O on rutile TiO$_2$(110) has been thoroughly studied both experimentally and theoretically, a quantitative value for the energy of the highest H$_2$O occupied levels is still lacking. For experiment, this is due to the H$_2$O levels being obscured by hybridization with TiO$_2$(110) levels in the difference spectra obtained via ultraviolet photoemission spectroscopy (UPS). For theory, this is due to inherent difficulties in properly describing many-body effects at the H$_2$O-TiO$_2$(110) interface. Using the projected density of states (DOS) from state-of-the-art quasiparticle (QP) $G_0W_0$, we disentangle the adsorbate and surface contributions to the complex UPS spectra of H$_2$O on TiO$_2$(110). We perform this separation as a function of H$_2$O coverage and dissociation on stoichiometric and reduced surfaces. Due to hybridization with the TiO$_2$(110) surface, the H$_2$O 3a$_1$ and 1b$_1$ levels are broadened into several peaks between 5 and 1 eV below the TiO$_2$(110) valence band maximum (VBM). These peaks have both intermolecular and interfacial bonding and antibonding character. We find the highest occupied levels of H$_2$O adsorbed intact and dissociated on stoichiometric TiO$_2$(110) are 1.1 and 0.9 eV below the VBM. We also find a similar energy of 1.1 eV for the highest occupied levels of H$_2$O when adsorbed dissociatively on a bridging O vacancy of the reduced surface. In both cases, these energies are significantly higher (by 0.6 to 2.6 eV) than those estimated from UPS difference spectra, which are inconclusive in this energy region. Finally, we apply self-consistent QP$GW$ (scQP$GW$1) to obtain the ionization potential of the H$_2$O-TiO$_2$(110) interface.Comment: 12 pages, 12 figures, 1 tabl