Filters








401,420 Hits in 5.1 sec

Strategy-controlled reduction and narrowing [chapter]

Peter Padawitz
1987 Lecture Notes in Computer Science  
"Uniformity" turns out as the crucial property of those reduction strategies which serve as complete narrowing strategies.  ...  A b s t r a c t The inference rutes "reduction" and "narrowing" are generalized from terms resp. equations to arbitrary atomic formulas.  ...  The paper at hand focuses on goal reduction and narrowing w i t h regard to strategies that control the selection of reduction resp. narrowing redices, While reduction redices are instances of tefthand  ... 
doi:10.1007/3-540-17220-3_21 fatcat:b5zulirh7rfmfkqflaukie7yzq

Page 48 of American Society of Civil Engineers. Collected Journals Vol. 124, Issue 1 [page]

1998 American Society of Civil Engineers. Collected Journals  
For the narrow band excitation, the open-closed-loop control strategy provides greater reduction in response than that provided by the closed-loop control strategy. .  ...  strategy and the passive control strategy using TMD.  ... 

Preface

Bernhard Gramlich, Salvador Lucas
2001 Electronical Notes in Theoretical Computer Science  
Moreover, reduction strategies provide a natural way to go from operational principles (e.g., graph and term rewriting, narrowing, lambda-calculus) and semantics (e.g., normalization, computation of values  ...  New types of reduction strategies have been invented and investigated, and new results on rewriting/computation under particular strategies have been obtained.  ...  techniques for reduction strategies.  ... 
doi:10.1016/s1571-0661(05)80558-4 fatcat:zsj5neatxff5hfcii2b6kqan6q

Influence of Stance Width on Frontal Plane Postural Dynamics and Coordination in Human Balance Control

Adam D. Goodworth, Robert J. Peterka
2010 Journal of Neurophysiology  
We tested the hypothesis that when subjects adopt a narrow stance width, they will rely heavily on nonlinear control strategies and coordinated counter-phase upper and lower body motion to limit center-of-mass  ...  In narrow stance, CoM frequency-response function gains were reduced with increasing stimulus amplitude and in EO compared with EC; in wide stance, gain reductions were much less pronounced.  ...  This strategy, termed the "hip strategy," has long been recognized to contribute to stance control in conditions where the BoS is very narrow (Horak and Nashner 1986) and when very rapid corrections  ... 
doi:10.1152/jn.00916.2009 pmid:20427616 pmcid:PMC2934921 fatcat:ccfrz6qdsfh4th63agfwdaowfe

Analysis of Rewrite-Based Access Control Policies

Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2009 Electronical Notes in Theoretical Computer Science  
The analysis we provide is founded on the strategic narrowing process, which provides both the necessary abstraction for simulating executions of the policy over access requests and the mechanism for solving  ...  The rewrite-based approach provides executable specifications for security policies, which can be independently designed, verified, and then anchored on programs using a modular discipline.  ...  Definition 3.6 [Strategic narrowing [28] ] Given an abstract reduction system N = (O R , S R ) generated by a rewrite system R, and a strategy ζ of N , a strategic narrowing derivation (or narrowing derivation  ... 
doi:10.1016/j.entcs.2009.02.072 fatcat:q2reb4pjrrdotpxp3nwp3eq4we

Active structural acoustic control of road noise in a passenger vehicle

Amanjot S. Dhaliwal, Gordon G. Parker, Jason R. Blough
2004 International Journal of Vehicle Autonomous Systems  
The approach relies on concentrating the controller and actuator effort in a narrower but significant region in the spectrum of the road noise, which contains frequency content mainly between 80 and 350  ...  The paper presents different progressively developed control strategies that lead from a single tone controller to counter sine wave type excitation from a 50 lb shaker to a more practical controller that  ...  The approach relies on concentrating the controller and actuator effort in a narrower but significant region in the spectrum of the road noise, which contains frequency content mainly between 80 and 350  ... 
doi:10.1504/ijvas.2004.006094 fatcat:myoni4ckfrckhghx65hjvenjce

Prevention of Hepatitis C Virus in Injecting Drug Users: A Narrow Window of Opportunity

Jason Grebely, Gregory J. Dore
2011 Journal of Infectious Diseases  
Irrespective of the strategy used, intensification of harm reduction programs must consider the generally narrow time window from initiating injecting to HCV infection [14, 23] .  ...  However, randomized controlled trials evaluating HCV interventions, including combined strategies, are required.  ... 
doi:10.1093/infdis/jiq111 pmid:21282190 pmcid:PMC3072734 fatcat:ha4sxyewu5edjhvtzvvkuhj7nq

Optimized search strategy for detecting scientifically strong studies on treatment through PubMed

Salvatore Corrao, Daniela Colomba, Christiano Argano, Luigi Calvo, Rosario Scaglione, Giuseppe Licata
2012 Internal and Emergency Medicine  
Our study was designed to optimize the search strategies based on the work of Haynes et al. for detecting randomized controlled trials (RCTs) through PubMed.  ...  In particular, we aimed to improve precision for broad and narrow searches on interventional studies.  ...  trials, Pr precision, CI confidence interval, gain (%) relative gain of the modified search strategy in percentage Narrow search # 1:''search term'' 1 AND 2006 [dp]. # 2: (randomized controlled  ... 
doi:10.1007/s11739-012-0773-1 pmid:22426813 fatcat:3okghymcxbcmphls4pvsi7fbs4

A Design of Adaptive Time Optimal Autopilot and Its Sea Trial
適応最短時間オートパイロット系の設計と実船実験

Naoki KUSHIDA, Yukio NISHIMURA, Yoh YONEZAWA
1991 Transactions of the Society of Instrument and Control Engineers  
The proposed control system has following some features: (i) Reduction of computing time for solving the time optimal problem by new predictive strategy method using a simple algebraical solution.  ...  In this paper, the authors describe a time optimal control system which is needed for quick course changing to specified direction, for example, on the path of a narrow channel.  ...  The proposed control system has following some features: (i) Reduction of computing time for solving the time optimal problem by new predictive strategy method using a simple algebraical solution.  ... 
doi:10.9746/sicetr1965.27.429 fatcat:wbvb6q6xunbyjd2mbikzfgo37e

Optimisation of Weed Control in Organic Processing Spinach (Spinacia oleracea L.): Impacts of Cultivar, Seeding Rate, Plant Spacing and Integrated Weed Management Strategy

Benny De Cauwer, Lieven Delanote, Michaël Devos, Sander De Ryck, Dirk Reheul
2020 Agronomy  
Post-emergence harrowing is of key importance for reducing weed biomass in any integrated weed control strategy.  ...  rows and 21-cm-wide single or twin rows) and integrated weed management strategy (combinations of pre-sowing, pre-emergence and post-emergence tactics) on weed biomass and spinach yield and quality.  ...  Acknowledgments: We thank Joran Barbry, Kevin De Ceuleners and Francesca Petrucci for tech. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/agronomy11010053 fatcat:5dvgb6nbknfcpe3riesyesw6su

Avoiding traffic jams: Hitchhiking behavior as a strategy to reduce ant workers' traffic on the foraging trail

Isabel Neto Hastenreiter, Juliane Floriano Santos Lopes, Roberto da Silva Camargo, Luiz Carlos Forti
2018 Behavioural Processes  
Head-on encounter rates cause a reduction in travel speed and, furthermore, are regulatory factors of task-allocation.  ...  We counted the number of hitchhikers and the outbound worker flow. The frequency of hitchhikers increased along narrow trails, and also due to outbound workers in both trail widths.  ...  One strategy observed is the reduction of fragment sizes cut when in high traffic of individuals (Farji-Brener et al., 2011) .  ... 
doi:10.1016/j.beproc.2018.08.015 pmid:30172800 fatcat:bxgb5sfd5nbqnif2qdjtlxxlsy

Why randomized controlled trials fail but needn't: 2. Failure to employ physiological statistics, or the only formula a clinician-trialist is ever likely to need (or understand!)

D L Sackett
2001 CMAJ - Canadian Medical Association Journal  
I had the time, I had the "coal-face" experience (by then I'd been a PI on several randomized controlled trials [RCTs]), and I already knew the English, Greek and Latin bits (I'd aced my 6 previous courses  ...  The year was 1974, and we were on sabbatical in London.  ...  Acknowledgements: I sent drafts of this essay to 15 of the best trialists I know, and each of them sent back extremely helpful comments.  ... 
pmid:11706914 pmcid:PMC81587 fatcat:frtiil3rsnhgdibh5md4kdjfsy

Atomic-configuration Modulation of Active Sites on Electrocatalysts

Lili Han, Huolin Xin
2020 Microscopy and Microanalysis  
and controlling catalysis. [4, 5] However, it is highly challenging to modulate the atomic configuration of active sites and enable the confident control of active sites at atomic level.  ...  This high FE value fluctuates within a narrow range for 50 hours, indicating high stability.  ...  reduction reaction (NRR), hydrogen evolution, oxygen evolution, oxygen reduction and others  ... 
doi:10.1017/s1431927620023533 fatcat:tz4ptyaszjasdlvnwinpgtj5dq

Crop Competition as a Strategy to Control Feathertop Rhodes Grass in Sorghum

Aman D Sharma, Daniel KY Tan
2019 Acta Scientific Agriculture  
Presence of herbicideresistant weeds like FTR, limited registered herbicides, and crop rotational restrictions have created a challenging environment for weed control in sorghum [5].  ...  Feathertop Rhodes (FTR) grass (Chloris virgata) has been identified as one of the top weeds of sorghum (Sorghum bicolor L.) along with awnless barnyard grass (Echinochloa colona) and sweet summer grass  ...  "Crop Competition as a Strategy to Control Feathertop Rhodes Grass in Sorghum".  ... 
doi:10.31080/asag.2019.03.0630 fatcat:gbh55d6z3nbkraitml23i6nu4e

Effects of traffic calming measures in different urban areas

Hernán Gonzalo-Orden, Heriberto Pérez-Acebo, Alaitz Linares Unamunzaga, Marta Rojo Arce
2018 Transportation Research Procedia  
These were raised crosswalks, lane narrowing, radar speed camera signs and radar speed cameras.  ...  Despite of the reduction of deaths and serious injuries in roads in Spain during the last years, this reduction has not been so important in urban areas.  ...  To reduce the high number of fatalities and serious injuries many countries are using the traffic calming strategies.  ... 
doi:10.1016/j.trpro.2018.10.079 fatcat:vt76xxzdkbegbgfxbqw7amnqcu
« Previous Showing results 1 — 15 out of 401,420 results