نتایج جستجو برای: coppens formalism
تعداد نتایج: 35594 فیلتر نتایج به سال:
The quality of a model induced by a learning algorithm is dependent upon the training data and the hyperparameters supplied to the learning algorithm. Prior work has shown that a model’s quality can be significantly improved by filtering out low quality instances or by tuning the learning algorithm hyperparameters. The potential impact of filtering and hyperparameter optimization (HPO) is large...
We review the use of the Bird-Meertens Formalism as a vehicle for the construction of programs with massive implicit parallelism. We show that a simple result from the theory, concerning the expression of list homomorph-isms, can help us in our search for parallel algorithms and demonstrate its application to some simple problems including the maximum segment sum problem. Our main purpose is to...
We present a family of parallel algorithms for simple language recognition problems involving bracket matching. The algorithms are expressed in the Bird-Meertens Formalism, exploiting only list operations which are inherently massively parallel. Our intention is to illustrate the practical eecacy with which such algorithms can be derived and expressed given the support of a well understood theo...
Supersymmetry and Yang-Mills type gauge invariance are two of the essential properties of most, and possibly the most important models in fundamental physics. Supersymmetry is nearly trivial to prove in the (traditionally gauge-noncovariant) superfield formalism, whereas the gauge-covariant formalism makes gauge invariance manifest. In 3+1dimensions, the transformation from one into the other i...
conclusions according to the results, the old dosimetry formalisms, overestimate the dose especially towards the applicator’s tip. while the tg-43u1 based software perform the calculations more accurately. results for a typical arrangement of 10 active pellets in the applicator, the percentage difference between doses obtained by the new algorithm at 1cm distance from the tip of the applicator ...
thinkers have always tried to define art with special features in the aesthetic analysis that they are common among all the artworks. but what they were suggested, for example representation and expression, is covered a part of artworks and artistic periods. formalism recommends attention to structural, perceptual and formal elements in order to overcome on these problems as a method in the ana...
Formal reasoning is notoriously long and arduous; in order to use it to reason eeectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the Bird-Meertens formalism and from category theory we demonstrate how the right choice of what to denote and how ...
How do skeptical thought experiments work? The skeptic invites us to “entertain” a vividly described possibility, then argues that skeptical conclusions follow from our inability to rule that possibility out. I contend that the argument’s soundness hinges on whether the skeptical possibilities generate legitimate doubts: we need to separate the issue of whether we can rule a possibility out fro...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید