Reconstructive surgery of the midface using facial artery perforator (FAP) flaps is being used more frequently now as it has been reported to provide better aesthetic results and reduce a traditional two-stage procedure to a one-stage technique. However, the wide acceptance of this approach is limited by a poor understanding of the anatomy associated with this technique. This was investigated t...

In this note we study the effect of adding fixed points to justification logics. We introduce two extensions of justification logics: extensions by fixed point (or diagonal) operators, and extensions by least fixed points. The former is a justification version of Smoryǹski’s Diagonalization Operator Logic, and the latter is a justification version of Kozen’s modal μcalculus. We also introduce f...

Glasses, whe n heated , undergo a gradu a l co nt inuous change from so li ds to iiq uids over a rather Wide te mperature range. As a co nseq uence, it has bee n fo und necessar y to d efi ne certall1 te mperature r eference poin ts in t his t ra nsit io n range so t hat different glasses m ay be co mpared w:ith each other. These poin ts a re chose n to co rrespond to establi shed stages In t h...

The iterative closest point (ICP) algorithm is efficient and accurate for rigid registration but it needs the good initial parameters. It is easily failed when the rotation angle between two point sets is large. To deal with this problem, a new objective function is proposed by introducing a rotation invariant feature based on the Euclidean distance between each point and a global reference poi...

The history of Persian as an imperial language, as a vehicle of cultural continuities, and as a focus of communal identity, whether of an ethnic, religious, aesthetic, or intellectual nature, is one of the great sagas of civilization. As such, it demands comparison with similar stories if we are to understand the processes at work, both in their general similarities and in their specific differ...

We investigate different ways of generating approximate solutions to the pairwise Markov random field (MRF) selection problem. We focus mainly on the inverse Ising problem, but discuss also the somewhat related inverse Gaussian problem because both types of MRF are suitable for inference tasks with the belief propagation algorithm (BP) under certain conditions. Our approach consists in to take ...

The markets for information technology and communications technology (ICT) are converging: dataprocessing systems and applications are merging with networks for voice, video and data transmission. A few examples are the Internet which is going mobile with UMTS, software which can be leased over the Internet, and business processes that are being integrated via the Internet. T-Systems is one of ...

Grid provides global computing infrastructure for users to avail the services supported by the network. The task scheduling decision is a major concern in heterogeneous grid computing environment. The scheduling being an NP-hard problem, meta-heuristic approaches are preferred option. In order to optimize the performance of workflow execution two conflicting objectives, namely makespan (executi...

The Reference Point Method (RPM) is a very convenient technique for interactive analysis of the multiple criteria optimization problems. The interactive analysis is navigated with the commonly accepted control parameters expressing reference levels for the individual objective functions. The final scalarizing achievement function is built as the augmented max-min aggregation of partial achievem...

This paper describes the design and implementation of mechanisms for light-weight inclusion of formal mathematics in informal mathematical writings, particularly in a Web-based setting. This is conceptually done in three stages: (i) by choosing a suitable representation layer (based on RDF) for encoding the information about available resources of formal mathematics, (ii) by exporting this info...