A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Our notion of weakly orthogonal conditional rewrite system extends a notion of Bergstra and Klop and covers a large part of programs de£ned by conditional equations. ... In particular, it is the £rst known narrowing strategy for this class of programs that evaluates ground terms deterministically. ... Consequently the proofs of completeness for weakly needed narrowing [3, Theorem 4] and parallel needed narrowing [3, Theorems 5] carry over without dif£culty. ...doi:10.1145/888251.888255 dblp:conf/ppdp/AntoyBH03 fatcat:n3734tg5rjeh5cq7pnfnjo4h6a
/CM G47.419 Narcolepsy without cataplexy C1456240 narrow ICD10/CM G47.429 Narcolepsy in conditions classified elsewhere without cataplexy C1456241 narrow ICD10/CM G47.421 Narcolepsy in ... ICD9CM 347.00 Narcolepsy, without cataplexy C1456240 narrow ICD9CM 347.10 Narcolepsy in conditions classified elsewhere, without cataplexy C1456241 narrow ICD9CM 347.11 Narcolepsy in ...doi:10.5281/zenodo.5110083 fatcat:5bu2zkgpzfdwdhohqmhyw2p4se
/CM G47.419 Narcolepsy without cataplexy C1456240 narrow ICD10/CM G47.429 Narcolepsy in conditions classified elsewhere without cataplexy C1456241 narrow ICD10/CM G47.421 Narcolepsy in ... ICD9CM 347.00 Narcolepsy, without cataplexy C1456240 narrow ICD9CM 347.10 Narcolepsy in conditions classified elsewhere, without cataplexy C1456241 narrow ICD9CM 347.11 Narcolepsy in ...doi:10.5281/zenodo.5226406 fatcat:5bdiwmsmkvc7vfzk7lndrqfbwe
Journal of Auditory Research
Each stutterer was seated in a sound-treated room without earphones and without masking noise, and in Condition A was instructed to read a non-emotional 110-word prose passage. ... Finally, while the patient read a third time, continuous narrow-band masking noise was presented in Condition C at one “other” high frequency (4 or 6 ke/s). ...
Participants walked at a comfortable pace within a narrow path under both single-and dual-task conditions. ... Narrow-base walking requires increased frontal plane stability and can be used to assess postural control while walking. ... those without a history of falls (5, 6) . ...doi:10.1093/gerona/63.12.1329 pmid:19126845 pmcid:PMC2646845 fatcat:iqcylb2wyfgftd2t5d4ycivzre
Here the same atraumatic WN reduced TTSs caused by loud narrow band sound. It also reduced TTS modulation by OC pathways. ... It is postulated that the WN background and the OC pathways both modulate TTSs by acting on the outer hair cells, in a way that promotes the reduction of TTSs caused by the narrow band sound trauma. ... in the without-WN background condition vs. ϳ10-dB reductions in the with-WN background conditions) as well as most extensive (without-WN background, OCϩ vs. ...doi:10.1152/jn.00848.2004 pmid:15774711 fatcat:4mhmsqrspjgfvg2axvyipulx2u
Calculated Lorentz force distribution in the nozzle condition B, at half thickness in the mercury pool (a) with the local magnetic field of 0.3 T and (b) with the level magnetic field of 0.3 T. ... Surface velocity near the meniscus could be stably controlled with the level magnetic field, while in the case of the local magnetic field, this surface velocity was greatly affected by the nozzle condition ... It can be seen that downward stream near the narrow face and upward stream in the bulk pool are formed without magnetic field. ...doi:10.2355/isijinternational.41.1236 fatcat:6rdglahbengbhmpydwkscjcfqy
Lecture Notes in Computer Science
(Abstract) We extend the "Conditional Narrowing Algorithm" of H.Hussmann (MIF-8502, Universlt~t Passau 1985) to partial conditional equational theories. ... Without loss of generality it is assumed that the partial conditional equational theory IMP be canonical, i.e. for every conditional existence equation (X : G -> t @ t') E IMP holds Var(G)=X, and that ...doi:10.1007/3-540-50667-5_76 fatcat:uaxlaufribcsdkp7ytmbfpqgay
Behavior Research Methods
First, in order to focus on the level of constraint imposed by phased narrowing and its consequences, we employed three conditions rather than two. ... ., when one selects a fixed number of job applicants for interviews before making a final choice); the second required subjects to narrow the same alternatives using the same instructions, but without ...
[Participants and Methods] Twenty healthy males performed the maneuver without feedback (control condition) and then with feedback using a tape measure (tape measure condition) in the crook lying, sitting ... [Results] The percent change in the thickness of the transverse abdominal muscle was significantly greater under the tape measure condition than under the control condition. ... Each participant performed the ADIM, without feedback (control condition) and with TM-based feedback (TM condition) in the crook lying, sitting, and standing positions. ...doi:10.1589/jpts.30.1081 pmid:30154604 pmcid:PMC6110203 fatcat:oakbodzadja65gucrgcwulyo3m
It appears that humans prefer to run with a narrow step width and swing their arms so as to minimize energetic cost and improve lateral balance. ... In running, humans prefer a narrow step width that may present a challenge for maintaining lateral balance. However, arm swing in running may improve lateral balance and help reduce energetic cost. ... The average step width at the 15%, 20%, and 25% LL conditions was consistently narrower than the target step width. ...doi:10.1016/j.jbiomech.2011.01.002 pmid:21316058 fatcat:qdofiss5gnhd3pdywkzecoqply
Slow blink sequences typically involve a series of half-blinks followed by either a prolonged eye narrow or an eye closure. ... This study examines the communicatory significance of a widely reported cat behaviour that involves eye narrowing, referred to as the slow blink sequence. ... Slow blink sequences involve a series of half-blinks (where the eyelids move towards each other without ever fully closing the eye 34 ) followed by either prolonged narrowing of the eye aperture or a ...doi:10.1038/s41598-020-73426-0 pmid:33020542 fatcat:h25uaiffofhnbnyigpdaadn4em
The effectiveness of a narrow grass hedge in reducing runoff nutrient loads following manure application was examined in this study. ... A narrow grass hedge placed on the contour across a hillslope significantly reduced runoff nutrient loads following variable manure applications. ... CONCLUSIONS Narrow grass hedges significantly reduced the mean load of DP, PP, TP, NH 4 -N, and TN in runoff for conditions both with and without the introduction of simulated overland flow. ...doi:10.13031/2013.37110 fatcat:6ikba4x635fkrbzuhyzxjxoedu
Narrowing" and many of its variants are complete mechanisms for generating solutions. ... a melded language is more expressive than either paradigm alone: functional dependencies are explicit; multi-valued" functions can be better expressed as predicates; nested functions can be evaluated without ... Rewriting and narrowing lend themselves, in a natural fashion, to and-" and or-" parallelism, respectively. One simulated parallel implementation of this combination is reported on in 6 . ...doi:10.7551/mitpress/4301.003.0007 fatcat:ilzbfgi6d5bvzoicizrm2gtht4
Journal of Applied Physics
>10 db, while with heavy limiting there is a very marked improvement over a-m, and over f-m without limiting, under these conditions. ... In f-m this is essentially narrow band operation (Figs. 4 and 5), while in a-m it is the normal and optimum condition for communication purposes. ...
« Previous Showing results 1 — 15 out of 1,808,960 results