A foundational property of bidirectional transformations is that they should be correct: that is, the transformation should succeed in restoring consistency between any models it is given. In practice, however, transformation engines sometimes fail to restore consistency, e.g. because there is no consistent model to return, or because the tool is unable to select a best model to return from amo...

Cerebellar parallel fiber (PF)-Purkinje cell (PC) synapses can undergo postsynaptically expressed long-term depression (LTD) or long-term potentiation (LTP) depending on whether or not the climbing fiber (CF) input is coactivated during tetanization. Here, we show that modifications of the postsynaptic calcium load using the calcium chelator BAPTA or photolytic calcium uncaging result in a reve...

This article discusses an approach for hierarchical multilevel fault simulation for large systems described at the transistor, gate, and higher levels. The approach reduces the memory requirement of the simulation drastically, thus allowing the simulation of circuits that are too large to simulate at one flat level on typical engineering workstations. This is achieved by exploiting the regulari...

Sound is all about vibration, and the GENESIS environment provides an efficient way for modeling and simulating complex vibrating structures, enabling to produce rich sounds. In this paper, we propose an overview of tools recently developed and available within the GENESIS environment, allowing a better understanding on how massinteraction networks behave and introducing some enhanced tuning of...

Autoimmune disorders are characterized by tissue damage, caused by self-reactivity of different effectors mechanisms of the immune system, namely antibodies and T cells. Their occurrence may be associated with genetic and/or environmental predisposition and to some extent, have implications for fertility and obstetrics. The relationship between autoimmunity and reproduction is bidirectional. Th...

Solid-state switch-mode rectification converters have reached a matured level for improving power quality in terms of power-factor correction (PFC), reduced total harmonic distortion at input ac mains and precisely regulated dc output in buck, boost, buck-boost and multilevel modes with unidirectional and bidirectional power flow. This paper deals with a comprehensive review of improved power q...

The molecular mechanism for how RISC and microRNAs selectively and reversibly regulate mRNA translation in response to receptor signaling is unknown but could provide a means for temporal and spatial control of translation. Here we show that miR-125a targeting PSD-95 mRNA allows reversible inhibition of translation and regulation by gp1 mGluR signaling. Inhibition of miR-125a increased PSD-95 l...

The future Internet architecture will require a clean-slate design in order to successfully accommodate the exploding bandwidth demand. Next-generation networking applications should support a bidirectional cross-layer information exchange in which the physical-layer performance, characteristics, and impairments can be extracted for higher-layer routing decisions. The dynamic cross-layer mechan...