Filters








1,808,960 Hits in 3.1 sec

Conditional narrowing without conditions

Sergio Antoy, Bernd Brassel, Michael Hanus
2003 Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming - PPDP '03  
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

ACCESS-Background rate of adverse events-definition Narcolepsy

MCJM Sturkenboom, L Belbachir, C Willame, C Duran, M Rojo Villaescusa
2021 Zenodo  
/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

ACCESS-Background rate of adverse events-definition –Narcolepsy

M Rojo Villaescusa, L Belbachir, C Willame, C Durán, Souverein, P, M Martín-Pérez, P García-Poza, MCJM Sturkenboom
2021 Zenodo  
/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

Page 41 of Journal of Auditory Research Vol. 9, Issue 1 [page]

1969 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).  ... 

Age-Associated Effects of a Concurrent Cognitive Task on Gait Speed and Stability During Narrow-Base Walking

V. E. Kelly, M. A. Schrager, R. Price, L. Ferrucci, A. Shumway-Cook
2008 The journals of gerontology. Series A, Biological sciences and medical sciences  
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

Contextual Modulation of Olivocochlear Pathway Effects on Loud Sound-Induced Cochlear Hearing Desensitization

R. Rajan
2005 Journal of Neurophysiology  
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

Mathematical Modeling of Iron and Steel Making Processes. Effect of Magnetic Field Conditions on the Electromagnetic Braking Efficiency

H. Harada, T. Toh, T. Ishii, K. Kaneko, E. Takeuchi
2001 ISIJ International  
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

Narrowing in partial conditional equational theories [chapter]

Uwe Wolter
1988 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

Page 497 of Behavior Research Methods Vol. 33, Issue 4 [page]

2001 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  ... 

Tape measure-based real-time feedback during the abdominal draw-in maneuver facilitates isolated transverse abdominal contraction

Tadanobu Suehiro, Hiroshi Ishida, Kenichi Kobara, Daisuke Fujita, Hiroshi Osaka, Susumu Watanabe
2018 Journal of Physical Therapy Science  
[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

The effects of step width and arm swing on energetic cost and lateral balance during running

Christopher J. Arellano, Rodger Kram
2011 Journal of Biomechanics  
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

The role of cat eye narrowing movements in cat–human communication

Tasmin Humphrey, Leanne Proops, Jemma Forman, Rebecca Spooner, Karen McComb
2020 Scientific Reports  
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

Narrow Grass Hedge Control of Nutrient Loads Following Variable Manure Applications

J. E. Gilley, L. M. Durso, R. A. Eigenberg, D. B. Marx, B. L. Woodbury
2011 American Society of Agricultural and Biological Engineers. Transactions  
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

Goal Solving as Operational Semantics [chapter]

1995 Logic Programming  
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

Page 346 of Journal of Applied Physics Vol. 20, Issue 4 [page]

1949 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