There is no need to show the importance of arc-consistency in Constraint Networks. Mohr and Henderson [8] have proposed AC-4, an algorithm having an optimal worst-case time complexity. But it has two drawbacks: its space complexity and its average time complexity. In problems with many solutions, where the size of the constraints is large, these drawbacks become so important that users often re...

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 ...

S U M M A R Y This study focuses on the kinematics of the southern Aegean and the Mediterranean Ridge (MR). A quantification of the deformation of the MR is essential for both evaluating physical models of accretionary wedges in general and for obtaining a self-consistent model of the surface deformation over the entire Nubia–Eurasia (NU–EU) plate boundary zone in the eastern Mediterranean. Pre...

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...