Analysis of workflow processes with quantitative aspects like timing is of interest in numerous time-critical applications. We suggest a workflow model based on timed-arc Petri nets and study the foundational problems of soundness and strong (time-bounded) soundness. We first consider the discrete-time semantics (integer delays) and explore the decidability of the soundness problems and show, a...

This paper studies the coordinated motion control of robotic manipulators driven by single-rod hydraulic actuators. Compared to conventional robot manipulators driven by electrical motors, hydraulic robot arms have a richer nonlinear dynamics and stronger couplings among various joints (or hydraulic cylinders). This paper presents a physical model based adaptive robust control (ARC) strategy to...

Increasing evidence shows that adult neurogenesis of hippocampal granule cells is advantageous for learning and memory. We examined at which stage of structural maturation and age new granule cells can be activated by strong synaptic stimulation. High-frequency stimulation of the perforant pathway in urethane-anesthetized rats elicited expression of the immediate early genes c-fos, Arc, zif268 ...

This paper studies the coordinated motion control of robotic manipulators driven by single-rod hydraulic actuators. Compared to conventional robot manipulators driven by electrical motors, hydraulic robot arms have a richer nonlinear dynamics and stronger couplings among various joints (or hydraulic cylinders). This paper presents a physical model based adaptive robust control (ARC) strategy to...

New geochemical data for Pleistocene magmatic rocks from the Surigao peninsula, eastern Mindanao, the Philippines, demonstrate typical adakitic traits, including elevation of Sr /Y and depletion of the heavy rare earth elements. Sr / Sr and Nd / Nd ratios of the adakites do not support melting of the subducted Philippine Sea Plate but resemble Pliocene arc lavas generated in the same subduction...

In a network, each arc is assigned a weight. The weight of a path or a cycle is defined as the minimum weight of its arcs. The maximum of weights of all paths between two nodes is defined as the strength of connectedness between the nodes. In network applications, the reduction in the strength of connectedness is more relevant than the total disconnection of the graph. A graph is totally weight...

We deal with different algorithmic questions regarding properly arc-colored s-t paths, trails and circuits in arc-colored digraphs. Given an arc-colored digraph D with c ≥ 2 colors, we show that the problem of maximizing the number of arc disjoint properly arc-colored s-t trails can be solved in polynomial time. Surprisingly, we prove that the determination of one properly arc-colored s-t path ...

This chapter is devoted to surveying aspects of computational complexity for three central arc routing problems (and their corresponding variants): • Chinese Postman, where one asks for a minimum-cost tour traversing all edges of a graph at least once; • Rural Postman, which generalizes Chinese Postman in the sense that only a subset of the edges has to be visited; • Capacitated Arc Routing, re...

In this paper we show Whitney’s fibering conjecture in the real and complex, local analytic and global algebraic cases. For a given germ of complex or real analytic set, we show the existence of a stratification satisfying a strong (real arc-analytic with respect to all variables and analytic with respect to the parameter space) trivialization property along each stratum. We call such a trivial...

The Lynx arc, with a redshift of 3.357, was discovered during spectroscopic follow-up of the z 1⁄4 0:570 cluster RX J0848+4456 from the ROSAT Deep Cluster Survey. The arc is characterized by a very red R K color and strong, narrow emission lines. Analysis of HST WFPC2 imaging and Keck optical and infrared spectroscopy shows that the arc is an H ii galaxy magnified by a factor of 10 by a complex...