Results 1 - 10
of
13,177
Preliminary experience
"... transcatheter closure of patent ductus arteriosus and interatrial communications: ..."
Abstract
- Add to MetaCart
transcatheter closure of patent ductus arteriosus and interatrial communications:
K-means++: The advantages of careful seeding.
- In Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ’07,
, 2007
"... Abstract The k-means method is a widely used clustering technique that seeks to minimize the average squared distance between points in the same cluster. Although it offers no accuracy guarantees, its simplicity and speed are very appealing in practice. By augmenting k-means with a very simple, ran ..."
Abstract
-
Cited by 478 (8 self)
- Add to MetaCart
, randomized seeding technique, we obtain an algorithm that is Θ(log k)-competitive with the optimal clustering. Preliminary experiments show that our augmentation improves both the speed and the accuracy of k-means, often quite dramatically.
DART: Directed automated random testing
- In Programming Language Design and Implementation (PLDI
, 2005
"... We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external environment using static source-code parsing; (2) automatic generation of a test driver for this interface that performs ..."
Abstract
-
Cited by 843 (42 self)
- Add to MetaCart
such as program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples of C programs are very encouraging.
Proof-Carrying Code
, 1997
"... This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted source. For this to be possible, the untrusted code producer must supply with the code a safety proo ..."
Abstract
-
Cited by 1240 (27 self)
- Add to MetaCart
proof that attests to the code's adherence to a previously defined safety policy. The host can then easily and quickly validate the proof without using cryptography and without consulting any external agents. In order to gain preliminary experience with PCC, we have performed several case studies
Design and Preliminary Experience with Fludihand
- MK III, in: MEC ’08 Measuring Success in Upper Limb Prosthetics, UNB, IBME
, 2008
"... The third generation of the fluidic hand currently is in the process of clinical trial. The new hand combines functionality and cosmesis. It has the natural shape of a human hand and multiple new functions. The grasping operation is built in an adaptive way according to the biological example. This ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
The third generation of the fluidic hand currently is in the process of clinical trial. The new hand combines functionality and cosmesis. It has the natural shape of a human hand and multiple new functions. The grasping operation is built in an adaptive way according to the biological example. This means that objects are enclosed with positive locking. The big contact area and soft passive elements considerably reduce the grasping force required to hold an object securely. Starting from a natural basic hand position, all actuators can be controlled individually by two myoelectrodes in the socket. The software allows for a quick selection of the most important grasping patterns. Besides the multifunctional control, features of the new hand like the force feedback system which gives the patient a sense of feeling and operation of a (computer) keyboard with the index will be depicted.
Preliminary experiments with IIDLE
, 2005
"... The mammalian acquired immune system is a robust and powerful information processing system that demonstrates features such as decentralised control, parallel processing, adaptation, and learning through experience. Artificial Immune Systems (AIS) are a class of machine-learning algorithms that are ..."
Abstract
- Add to MetaCart
The mammalian acquired immune system is a robust and powerful information processing system that demonstrates features such as decentralised control, parallel processing, adaptation, and learning through experience. Artificial Immune Systems (AIS) are a class of machine-learning algorithms
Loopy belief propagation for approximate inference: An empirical study. In:
- Proceedings of Uncertainty in AI,
, 1999
"... Abstract Recently, researchers have demonstrated that "loopy belief propagation" -the use of Pearl's polytree algorithm in a Bayesian network with loops -can perform well in the context of error-correcting codes. The most dramatic instance of this is the near Shannon-limit performanc ..."
Abstract
-
Cited by 676 (15 self)
- Add to MetaCart
and ap proximately 4000 findin nodes, with a number of ob served findings that varies per case. Due to the form of the noisy-or CPTs the complexity of inference is ex ponential in the number of positive findings Results Initial experiments The experimental protocol for the PYRAMID network was as follows
Preliminary Experiences with the Fortran D Compiler
- IN PROCEEDINGS OF SUPERCOMPUTING '93
, 1993
"... Fortran D is a version of Fortran enhanced with data decomposition specifications. Case studies illustrate strengths and weaknesses of the prototype Fortran D comprier when compiling hnear algebra codes and whole programs. Statement groups, execution conditions, inter-loop communication optimization ..."
Abstract
-
Cited by 55 (18 self)
- Add to MetaCart
Fortran D is a version of Fortran enhanced with data decomposition specifications. Case studies illustrate strengths and weaknesses of the prototype Fortran D comprier when compiling hnear algebra codes and whole programs. Statement groups, execution conditions, inter-loop communication optimizations, multi-reductions, and array kills for rephcated arrays are identified as new compilation issues. On the Intel iPSC/860, the output of the proto- type Fortran D compiler approaches the performance of hand-optimized code for parallel computations, but needs improvement for hnear algebra and pipehned codes. The Fortran D compiler outperforms the CM Fortran compiler (2.1 beta) by a factor of four or more on the TMC CM-5 when not using vector units. Better analysis, run-time support, and flexibility are required for the prototype compiler to be useful for a wider range of programs.
Preliminary Experience With Nesiritide in the Pediatric Population
"... Nesiritide is a recombinant formulation of brain-type natriuretic factor. Preliminary experience in the adult population suggests that nesiritide may be an effective agent in the treatment of decompensated congestive heart failure. Given its physiologic effects, it may be an effective agent in the p ..."
Abstract
- Add to MetaCart
Nesiritide is a recombinant formulation of brain-type natriuretic factor. Preliminary experience in the adult population suggests that nesiritide may be an effective agent in the treatment of decompensated congestive heart failure. Given its physiologic effects, it may be an effective agent
Results 1 - 10
of
13,177