Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rules. A variant of semantic labeling is predictive labeling where the quasi-model condition is only required for the usable rules. In this paper we investigate how semantic and predictive labeling can be used to prove in...

We propose a new order-theoretic characterisation of the class of polytime computable functions. To this avail we define the small polynomial path order ([Formula: see text] for short). This termination order entails a new syntactic method to analyse the innermost runtime complexity of term rewrite systems fully automatically: for any rewrite system compatible with [Formula: see text] that empl...

Recent developments in complex networks have paved the way to a series of important biological insights, such as the fact that many of the essential proteins of S. cerevisae corresponds to the so-called hubs of the respective protein-protein interaction networks. Despite the special importance of hubs, other types of nodes such as those corresponding to the network border, as well as the innerm...

The Global mm–VLBI Array is at present the most sensitive 3mm–VLBI interferometer and provides images of up to 40 micro–arcsecond resolution. Using this array, we have monitored the rotation of the innermost jet in the quasar NRAO150, which shows an angular speed of ∼ 7◦/yr. Future 3mm arrays could include additional stations like ALMA, GBT, LMT, CARMA, SRT, Yebes, Nobeyama and Noto, which woul...

This study was designed to test the hypothesis that a medium-term simulated microgravity by tail-suspension (SUS) induces hypertrophic and atrophic changes in the common carotid artery and abdominal aorta with their innermost smooth muscle (SM) layers being most profoundly affected. The second purpose was to elucidate whether vascular local renin-angiotensin system (L-RAS) plays an important ro...

We report a simple but powerful method for engineering multi-walled carbon nanotubes (MWNTs) by using manipulation by an atomic-force microscope. The successive shell-by-shell extraction process of ultralong MWNTs allows the exposure of the innermost single-walled carbon nanotubes (SWNTs), which have diameters as small as approximately 0.4 nm. The inner-shell extraction process changes the elec...

Radial elastic corrugation of multiwalled carbon nanotubes under hydrostatic pressure is demonstrated by using the continuum elastic theory. Various corrugation patterns are observed under a pressure of several GPa, wherein the stable cross-sectional shape depends on the innermost tube diameter D and the total number N of concentric walls. A phase diagram is established to obtain the requisite ...

mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting, termination of order-sorted rewriting, termination of context-sensitive rewriting, termination of innermost context-sensitive rewriting and termination of rewriting modulo specific axioms. Such termination ...