Locating good design solutions within a sequential process environment is necessary to improve the quality and overall productivity of the processes. Multi-objective, multi-stage sequential process design is a complex problem involving large number of design variables and sequential relationship between any two stages. The aim of this paper is to propose a novel framework to handle real-life se...

A deep Gaussian process (DGP) is a deep network in which each layer is modelled with a Gaussian process (GP). It is a flexible model that can capture highly-nonlinear functions for complex data sets. However, the network structure of DGP often makes inference computationally expensive. In this paper, we propose an efficient sequential inference framework for DGP, where the data is processed seq...

ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transformations based on And-Inverter Graphs (AIGs), with a variety of innovative algorithms. A focus on the synergy of sequential synthesis and sequential verification leads to improvements in both domains. This paper introduc...

We consider distributed programs that can be run on an arbitrary network topology from a class of topologies (e.g., on all pipeline, all grid, or all ring topologies). Typically, such a program is given by a single sequential process, and a copy of that process can be run on any node in the given network topology. During its execution, each process may receive signals from an (uncontrollable) e...

for more than three decades, oxidative coupling of methane (ocm) process has been comprehensively investigated as an attractive alternative for the commercially available ethylene production technologies such as ethane and naphtha cracking. developing a suitable catalyst and proper reactor feeding policy, reviewing and deploying the efficient methods in the separation and purification of the un...

Citation: Chen Y, Du T, Peng L, Gibbs ME and Hertz L (2016) Sequential Astrocytic 5-HT2B Receptor Stimulation, [Ca ]i Regulation, Glycogenolysis, Glutamate Synthesis, and K Homeostasis are Similar but Not Identical in Learning and Mood Regulation. Front. Integr. Neurosci. 9:67. doi: 10.3389/fnint.2015.00067 Sequential Astrocytic 5-HT2B Receptor Stimulation, [Ca]i Regulation, Glycogenolysis, Glu...

A convenient, one-pot method for the synthesis of diazonium salt has been developed by the sequential diazotization of aromatic amines with NaNO2, polymer- supported periodic acid (PPIA) and 2-naphthole under solvent-free conditions at room temperature. By using this method, several types of aromatic amine, containing electron-withdrawing and electron-donating groups, were rapidly converted to ...

In this paper we study a special operator for sequential compo sition which is de ned relative to a dependency relation over the actions of a given system The idea is that actions which are not dependent intuitively because they share no common resources do not have to wait for one another to proceed even if they are composed sequentially Such a notion has been studied before in a linear time s...

Allowing many processors to work in parallel offers no significant speedup when computing the rank of a finitely generated free group. Stallings’ folding process, an algorithm for simplifying a directed edgelabeled graph, when applied to those graphs that represent finitely generated free groups, provides a graph-theoretic method for computing the rank of that group. Does adding more processors...

We describe a Markov process which models the sequential allocation for two adjacent tables coexisting in memory by growing towards each other. The tables are expected to ll at the same rate; random deletions and insertions are allowed.