We formally introduce arc-typed nets as a model for causality based speciica-tions. The new feature of arc-typed nets is the distinction of diierent arc-types; the diierent arc-types carry over to a process of the net. Therefore, there are diierent types of causalities in a run of an arc-typed net. Arc-typed nets have informally been used for modelling and verifying consistency protocols. It tu...

Arc-annotated sequences are useful in representing the structural information of RNA and protein sequences. The longest arc-preserving common subsequence problem has been introduced as a framework for studying the similarity of arc-annotated sequences. In this paper, we consider arc-annotated sequences with various arc structures. We consider the longest arc preserving common subsequence proble...

This paper analyses the arc interference in an a.c. combined (both the pilot arc and the plasma arc exist in the welding process) plasma arc welding of aluminium alloys. This phenomenon results in an unstable welding process and weld formation. To maintain the pilot arc during the period when the electrode is positive, a cathode region must be formed in front of the tungsten electrode tip. Howe...

In order to study the effects of laser induced metal vapour on arc plasma during laser arc double sided welding (LADSW), emission spectroscopy techniques were utilised. The arc plasma in LADSW of 5A06 aluminium alloy was compared with conventional gas tungsten arc welding (GTAW) in this work. The electron temperature and density were estimated by the Saha– Boltzmann equation and the Stark broad...

This paper presents an integrated portable measurement system for the study of high speed and high temperature unsteady plasma flows such as those found in the vicinity of high current switching arcs. The system permits direct and non-intrusive measurement of arc light emission images with a capture rate of 1 million images per second (1MHz), and 8 bit intensity resolution. Novel software techn...

Previous studies have demonstrated that apoptosis repressor with caspase recruitment domain (ARC) is up-regulated in many forms of malignant tumors and low levels of ARC protein were expressed in normal human brain tissue. Little is known expression of ARC in glioma. Here, we found that ARC protein was highly expressed in primary human glioma when compared with normal brain tissues. A decrease ...

The intersection graph of a family of arcs on a circle is called a circular-arc graph. This class of graphs admits some interesting subclasses: proper circular-arc graphs, unit circular-arc graphs, Helly circular-arc graphs and clique-Helly circular-arc graphs. In this paper, all possible intersections of these subclasses are studied. There are thirteen regions. Twelve of these are nonempty, an...

Arc is a unique immediate early gene (IEG) whose expression is induced as synapses are modified during learning. Newly-synthesized Arc mRNA is rapidly transported throughout dendrites and localizes near recently activated synapses. Arc mRNA levels are regulated by rapid degradation, which is accelerated by synaptic activity in a translation-dependent process. One possible mechanism is nonsense-...