نتایج جستجو برای: completion
تعداد نتایج: 48724 فیلتر نتایج به سال:
In this study we examined the effect on subsequent snack intake of having participants document their lunch menus. In Experiment 1, we asked all participants to have lunch as usual. However, some were instructed to document their lunch menus before eating. These participants demonstrated lower snack intake than control condition participants who had not documented their lunch menus. In Experime...
I read with great interest the paper by Jungraithmayr and colleagues entitled ‘Indications and results of completion pneumonectomy’ [1] and I congratulate them on their results. In a previous paper, my colleagues and I reported our experience with 47 patients who underwent completion pneumonectomy (CP) [2], including patients who underwent CP for early and late complications after a first resec...
The minimal interval completion problem consists in adding edges to an arbitrary graph so that the resulting graph is an interval graph; the objective is to add an inclusion minimal set of edges, which means that no proper subset of the added edges can result in an interval graph when added to the original graph. We give an O(n2)-time algorithm to obtain a minimal interval completion of an arbi...
We examined the relation between the emergence of visual selection mechanisms and object perception in infancy. Twenty-two 3-month-old infants participated in both a perceptual completion and a visual search task. In the perceptual completion task, infants were habituated to a partly occluded moving rod and subsequently viewed unoccluded broken and complete rod test stimuli. We presented the sa...
Although research on improving child literacy is converging, no such body of research exists for adult literacy. Yet the need is no less significant. This study extends the knowledge garnered with younger populations by determining the reading comprehension strategies most important to adults' success on adult literacy outcome measures and aligning them with previously researched interventions....
Benjamin Libet concluded that, given the constraints caused by the timing of consciousness, all action is generated unconsciously. The power of consciousness, according to Libet, is in selection, in having the ability to veto each action before it is run to completion. In this paper we challenge the veto, by proposing that the role of consciousness exists prior rather than after the initiation ...
[1] It has long been believed that there is a relationship between a society‟s culture and its ability to produce and sustain democratic forms of government. The ancient Athenians maintained that their democracy depended, in part, on the fostering of “civic virtue” or democratic culture. Machiavelli, Montesquieu, Rousseau, and J. S. Mill also maintained that culture and democracy were related, ...
The team work method is a concept for distributing automated theorem provers and so to activate several experts to work on a given problem. We have implemented this for pure equational logic using the unfailing Knuth-Bendix completion procedure as basic prover. In this paper we present three classes of experts working in a goal oriented fashion. In general, goal oriented experts perform their j...
We give a new simplification method, called E-cycle Simplification, for Basic Completion inference systems. We prove the completeness of Basic Completion with E-cycle Simplification. We prove that E-cycle Simplification is strictly stronger than the only previously known complete simplification method for Basic Completion, Basic Simplification, in the sense that every derivation involving Basic...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید