A common way to represent organizational domains is the use of business process models. A Workflow-net (WF-net) is an application of Petri Nets (with additional rules) that model business process behavior. However, the use of WF-nets to model business processes has some shortcomings. In particular, no rules exist beyond the general constraints of WF-nets to guide the mapping of an actual proces...

Purpose To examine posterior staphylomas by widefield optical coherence tomography (WF-OCT) and three-dimensional magnetic resonance imaging (3D-MRI). Methods Highly myopic patients (myopic refractive error >8.0 diopters or axial length >26.5 mm) who had previously undergone orbital 3D-MRI were examined by WF-OCT. Results The study included 100 eyes of 57 patients with a mean age of 67.9 ± ...

We present a framework to efficiently check language inclusion between two sound unlabelled WF-nets. That is, to efficiently check whether every successfully terminating transition sequence of one sound unlabelled WF-net also is a successfully terminating transition sequence of a second sound unlabelled WF-net. Existing approaches for checking language inclusion are typically based on the under...

Stokes (2010) compared the lexicons of English-speaking late talkers (LT) with those of their typically developing (TD) peers on neighborhood density (ND) and word frequency (WF) characteristics and suggested that LTs employed learning strategies that differed from those of their TD peers. This research sought to explore the cross-linguistic validity of this conclusion. The lexicons (production...

BACKGROUND Although there have been many studies of the efficacy and safety of wavefront- guided (WF) and cross-cylinder photorefractive keratectomy (PRK), there are few studies on moderate-to-high astigmatism cases. The aim of this study was to assess and compare the efficacy of WF and cross-cylinder PRK in moderate-to-high astigmatism. METHODS In a comparative cohort, the results of two bef...

Previous studies examining the influence of afferent stimulation on corticospinal excitability have demonstrated that the intensity of afferent stimulation and the nature of the afferents targeted (cutaneous/proprioceptive) determine the effects. In this study, we assessed the effects of whole-hand water immersion (WI) and water flow stimulation (WF) on corticospinal excitability and intracorti...

WF-2421 is a novel aldose reductase inhibitor produced by Humicola grisea. WF-2421 was purified from the culture filtrate by successive ion exchange chromatography and the chemical structure was assigned to be alpha-formamido-5'-(2-formamido-1-hydroxyethyl)- beta,2',6-trihydroxy-3-biphenylpropanoic acid (1) on the basis of spectroscopic evidence. The IC50 value of WF-2421 was 3 x 10(-8) M again...

This paper presents an approach which supports verification and model-based adaptation of software components and services implemented using Windows Workflow Foundation (WF). First, we propose an abstract description of WF workflows, and we formalise the extraction of Labelled Transition Systems from these workflows. Next, verification and adaptation are applied using respectively model-checkin...

The organic-rich shales found in the Wufeng–Longmaxi Formation are typically deposited oxygen-deficient reducing environments. One of primary sources debate revolves around question whether anoxic bottom water these is either euxinic or ferruginous, and this matter remains unresolved. Previous studies have mostly focused on as a whole order to understand key factors that control organic accumul...

We apply the nonlocal condensate formalism to construct general ized sum rules including O s radiative corrections for and meson wave functions of twist Besides we predict the lepton decay constant f and estimate the mass of meson For all these mesons we obtain the rst moments of longitudinal wave func tions suggest the models for them and discuss their properties We consider the peculiarities ...