A line clipping algorithm and its analysis

One of the classical problems of Computer Graphics: line clipping against a rectangle is revisited. Coordinate raster refinement and some unusual forms of the parametric equation of the line are used to develop formulae for a line clipping algorithm. The algorithm is first presented in a form, where clarity of presentation is the prime concern. It is then transformed into one big nested branch, which after optimisation is assumed to be the most efficient form with a heavy cost on size. It is assumed that any mathematical consideration of the clipping problem would after a similar optimisation lead to a branching structure of equal complexity and speed. Line clipping thus belongs to the class of problems for which after a proper mathematical and logical analysis automatic program transformations may do the rest. This work has been supported by a grant from the Hungarian Academy of Sciences, Project No. OTKA 2572/1991     

A sorter-based architecture for a parallel implementation of communication intensive algorithms

This paper deals with the parallel execution of algorithms with global and/or irregular data dependencies on a regularly and locally connected processor array. The associated communication problems are solved by the use of a two-dimensional sorting algorithm. The proposed architecture, which is based on a two-dimensional sorting network, offers a high degree of flexibility and allows an efficient mapping of many irregularly structured algorithms. In this architecture a one-dimensional processor array performs all required control and arithmetic operations, whereas the sorter solves complex data transfer problems. The storage capability of the sorting network is also used as memory for data elements. The algorithms for sparse matrix computations, fast Fourier transformation and for the convex hull problem, which are mapped onto this architecture, as well as the simulation of a shared-memory computer show that the utilization of the most complex components, the processors, is O(1).     

SEMPA – Ein Ansatz des Semantischen Prozessmanagements zur Planung von Prozessmodellen

Currently process modeling is mostly done manually. Therefore, the initial design of process models as well as changes to process models which are frequently necessary to react to new market developments or new regulations are time-consuming tasks. In this paper we introduce SEMPA, an approach for the partly automatic planning of process models. Using ontologies to semantically describe actions – as envisioned in Semantic Business Process Management –, a process model for a specified problem setting can be created automatically. In comparison to existing planning algorithms our approach creates process models including control structures and is able to cope with complex and numerical input and output parameters of actions. The prototypical implementation as well as an example taken from the financial services domain illustrate the practical benefit of our approach.     

Reasoning with graph constraints

Graph constraints were introduced in the area of graph transformation, in connection with the notion of (negative) application conditions, as a form to limit the applicability of transformation rules. However, we believe that graph constraints may also play a significant role in the area of visual software modelling or in the specification and verification of semi-structured documents or websites (i.e. HTML or XML sets of documents). In this sense, after some discussion on these application areas, we concentrate on the problem of how to prove the consistency of specifications based on this kind of constraints. In particular, we present proof rules for two classes of graph constraints and show that our proof rules are sound and (refutationally) complete for each class. In addition, we study clause subsumption in this context as a form to speed up refutation.     

Towards Efficient Execution of MPI Applications on the Grid: Porting and Optimization Issues

The message passing interface (MPI) is a standard used by many parallel scientific applications. It offers the advantage of a smoother migration path for porting applications from high performance computing systems to the Grid. In this paper Grid-enabled tools and libraries for developing MPI applications are presented. The first is MARMOT, a tool that checks the adherence of an application to the MPI standard. The second is PACX-MPI, an implementation of the MPI standard optimized for Grid environments. Besides the efficient development of the program, an optimal execution is of paramount importance for most scientific applications. We therefore discuss not only performance on the level of the MPI library, but also several application specific optimizations, e.g., for a sparse, parallel equation solver and an RNA folding code, like latency hiding, prefetching, caching and topology-aware algorithms.     

Gadolinium-enhanced magnetic resonance angiography of the pelvis in patients with erectile impotence

This study evaluted the potential of contrast-enhanced digital-subtraction magnetic resonance angiography (CE-DS-MRA) for noninvasive angiographic delineation of the arterial supply of the penis in patients with erectile dysfunction. After induction of an erection with prostaglandin E, a three-dimensional fast imaging with steady-state precision (FISP) sequence with TE of 1.8–2 milliseconds, TR of 4.4–5 milliseconds, and flip angle of 40°–60° was used to obtain high-resolution angiograms of the pelvis and penis during the injection of gadolinium diethylenetriaminepentaacetic acid (Gd-DTPA) 0.3 mmol/kg body weight, within 30–50 seconds. DS maximum intensity projections (MIPs) and multiplanar reconstructions (MPRs) were compared with clinical work-up and directional Doppler ultrasound in 11 patients. In all 11 patients (100%), the arterial supply of the penis could be delineated from the aortic bifurcation via the iliac and internal pudendal arteries to the dorsal and deep penile arteries. Of the 22 internal pudendal arteries, 6 (27%) were occluded on CE-DS-MRA and 5 (23%) had stenoses, of which 4 (18%) were greater than 50%. In 7 patients (64%) good correlation between CE-DS-MRA and clinical findings and/or Doppler ultrasound was found; in 2 patients (18%), the correlation was moderate, and in 2 patients (18%) results were discrepant. In 6 patients (55%), MRA provided additional information to the clinical and Doppler ultrasound work-up. CE-DS-MRA can delineate small sessels such as the internal pudendal and penile arteries and thus has the potential to become a noninvasive angiography method in the work-up of erectile impotence. Supported by Siemens Medical Systems, Erlangen; Schering AG, Berlin; and Agfa-Gevaert AG, Leverkusen.     

Adaptation of Oxidative Phosphorylation Machinery Compensates for Hepatic Lipotoxicity in Early Stages of MAFLD

Alterations in mitochondrial function are an important control variable in the progression of metabolic dysfunction-associated fatty liver disease (MAFLD), while also noted by increased de novo lipogenesis (DNL) and hepatic insulin resistance. We hypothesized that the organization and function of a mitochondrial electron transport chain (ETC) in this pathologic condition is a consequence of shifted substrate availability. We addressed this question using a transgenic mouse model with increased hepatic insulin resistance and DNL due to constitutively active human SREBP-1c. The abundance of ETC complex subunits and components of key metabolic pathways are regulated in the liver of these animals. Further omics approaches combined with functional assays in isolated liver mitochondria and primary hepatocytes revealed that the SREBP-1c-forced fatty liver induced a substrate limitation for oxidative phosphorylation, inducing enhanced complex II activity. The observed increased expression of mitochondrial genes may have indicated a counteraction. In conclusion, a shift of available substrates directed toward activated DNL results in increased electron flows, mainly through complex II, to compensate for the increased energy demand of the cell. The reorganization of key compounds in energy metabolism observed in the SREBP-1c animal model might explain the initial increase in mitochondrial function observed in the early stages of human MAFLD.