Long-term depression (LTD) in pairs of cultured rodent hippocampal neurons was examined to study the molecular basis of this form of synaptic plasticity. We have previously characterized two components of transmitter release: a synchronous, fast phase that requires synaptotagmin I, and an asynchronous, slow component that persists in the absence of synaptotagmin I. Are these two release compone...

Autonomous agents in the real world must be capable of asynchronous goal generation. However, one consequence of this ability is that the agent may generate a substantial number of goals, but only a small number of these will be relevant at any one time. Therefore, there is a need for tractable mechanisms to manage a changing and potentially large number of goals. This paper presents both a fra...

A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...

Compared to opencut mining, underground coal mining is more common in Australia due to its lesser impact on the environment. Although there are several underground mining methods, such as the longwall, pillar, bord, and miniwall, longwall mining is the most commonly used method due to its high efficiency. However, longwall mining does lead to significant ground subsidence. Mining subsidence is ...

Land leveling is one of the most important steps in soil preparation and cultivation. Although land leveling with machines requires considerable amount of energy, it delivers a suitable surface slope with minimal soil deterioration as well as damage to plants and other organisms in the soil. Notwithstanding, in recent years researchers have tried to reduce fossil fuel consumption and its delete...

Two solutions to the MUTEX-problem are compared w.r.t. their temporal eeciency. For this, a formerly developed eeciency testing for asynchronous systems is adapted to Petri nets with so-called read arcs. Furthermore, a com-positional semantics for fair behaviour (in the sense of the progress assumption) is presented. On the one hand, this semantics is related to eeciency testing; on the other h...

Asynchronous circuit design has been studied for decades, but it has only recently been feasible to construct large and e cient asynchronous systems. This paper surveys di erent techniques for checking whether an asynchronous circuit has fabrication defects. The inherent di erences between asynchronous and synchronous circuits, primarily that asynchronous circuits do not have a global clock, ne...

We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...