Dynamic Light Scattering (DLS) has been applied to examination of several clinically and biologically important materials including the lens of the eye. Visual comparison of DLS particle size distribution data from di...
详细信息
Dynamic Light Scattering (DLS) has been applied to examination of several clinically and biologically important materials including the lens of the eye. Visual comparison of DLS particle size distribution data from distinct classes; such as normal and cataractous eyes is often adequate for clinical grouping. However a more objective, formal and rigorous classification scheme is needed for evaluation of more subtle effects as may occur in therapeutic or toxicological investigations. We review sources of variability in DLS methodology as a step toward a classification scheme.
In this paper we address two important topics in hyperelliptic cryptography. The first is how to construct in a verifiably random manner hyperelliptic curves for use in cryptography in generas two and three. The secon...
详细信息
In this paper we address two important topics in hyperelliptic cryptography. The first is how to construct in a verifiably random manner hyperelliptic curves for use in cryptography in generas two and three. The second topic is how to perform divisor compression in the hyperelliptic case. Hence in both cases we generalize concepts used in the more familiar elliptic curve case to the hyperelliptic context.
We have built a distributed Ben-Ari Concurrent Interpreter (distributed BACI), which provides easy-to-use commands to implement distributed algorithms. In distributed BACI, a send process, receive process, and interpr...
An important aspect of Web navigation systems is to maintain the users sense of orientation and facilitate navigation within the context of the total information space. Most navigation systems (or browsers) display pa...
详细信息
Software systems are not just math.matical structures. The majority are also cognitive artefacts that rely on the ability of their users to understand and interpret information provided via an interface, and to act on...
详细信息
Software systems are not just math.matical structures. The majority are also cognitive artefacts that rely on the ability of their users to understand and interpret information provided via an interface, and to act on that information using actions provided by the system. The design of an interactive system must thus account for both the technical requirements of the given domain, and the cognitive abilities of the user. However, the disciplines involved (computerscience and psychology) traditionally operate with quite different methods and techniques, making it difficult to integrate their respective insights into system design. This paper reports on work that is creating a framework for interaction that encompasses both the description of complex software systems and the cognitive resources needed to operate those systems. An interface for supporting gestural interaction is used to illustrate the approach. The paper concludes with an assessment of the prospects for this kind of integrative modeling and sets out key areas for future progress.
For a process language with action refinement and synchronization both an operational and a denotational semantics are given. The operational semantics is based on an SOS-style transition system specification involvin...
详细信息
For a process language with action refinement and synchronization both an operational and a denotational semantics are given. The operational semantics is based on an SOS-style transition system specification involving syntactical refinement sequences. The denotational semantics is an interleaving model which uses semantical refinement 'environments'. It identifies those statements which are equal under all refinements. The denotational model is shown to be fully abstract with respect to the operational one. The underlying metric machinery is exploited to obtain this full abstractness result. Usually, action refinement is treated either in a model with some form of true concurrency, or, when an interleaving model is applied, by assuming that the refining statements are atomized. We argue that an interleaving model without such atomization is attractive as well.
A major challenge for currently used algorithms in dual-chamber implantable cardioverter-defibrillators is the discrimination of ventricular tachycardias with 1:1 retrograde conduction from sinus tachycardia. Here the...
详细信息
A major challenge for currently used algorithms in dual-chamber implantable cardioverter-defibrillators is the discrimination of ventricular tachycardias with 1:1 retrograde conduction from sinus tachycardia. Here the morphology of endocardial electrograms can be used to discriminate the physiological from the pathological state of the heart. Recently, wavelet-type multiresolution decompositions have been proposed for the detection of cardiac arrhythmias. However, the choice of appropriate wavelets used for electrogram decompositions still remains an issue. The aim of the presented paper is to assess adapted multiresolution signal decompositions of atrial endocardial electrograms as a new morphological analysis tool for a rate-independent identification of tachyarrhythmias. For the adaptation we used a library of discrete-time wavelets generated by a completely parameterised lattice structure. The results presented show that the proposed discrimination scheme is effective and promising for a morphological discrimination of endocardial electrograms.
Data mining has, in the past, tended to use simplistic statistical methods (or even none at all). In this paper we show by example how cutting edge (but easy to use and comprehend) statistical methods can yield substa...
详细信息
Data mining has, in the past, tended to use simplistic statistical methods (or even none at all). In this paper we show by example how cutting edge (but easy to use and comprehend) statistical methods can yield substantial gains in data mining. The role of statistics in IS/IT (information systems and information technology) in general can be substantial, yielding more nearly optimal performance of problems at the emerging frontiers in all their aspects.
Knowledge discovery techniques have not been widely used with macroeconomic data despite the social and political importance inherent in accurate economic forecasting. Rather, economic forecasting is currently perform...
详细信息
The motion of a planar surface between two camera views induces a homography. The homography depends on the camera intrinsic and extrinsic parameters, as well as on the 3D plane parameters. While camera parameters var...
详细信息
The motion of a planar surface between two camera views induces a homography. The homography depends on the camera intrinsic and extrinsic parameters, as well as on the 3D plane parameters. While camera parameters vary across different views, the plane geometry remains the same. Based on this fact, the paper derives linear subspace constraints on the relative motion of multiple (/spl ges/2) planes across multiple views. The paper has three main contributions. It shows that the collection of all relative homographies of a pair of planes (homologies) across multiple views, spans a 4-dimensional linear subspace. It shows how this constraint can be extended to the case of multiple planes across multiple views. It suggests two potential application areas which can benefit from these constraints: the accuracy of homography estimation can be improved by enforcing the multi-view subspace constraints; and violations of these multi-view constraints can be used as a cue for moving object detection. All the results derived in this paper are true for uncalibrated cameras.
暂无评论