Filters








25,836 Hits in 3.0 sec

Towards automated first-order abduction: the cut-based approach

M. Finger
2010 Logic Journal of the IGPL  
This inference system allows for the automation of non-analytic proofs in a tableau setting, which permits a generalization of traditional abduction that avoids the undecidable precondition problem.  ...  To avoid such problem, we present a first-order cutbased abduction method, which has KE-tableaux as its underlying inference system.  ...  So by the correctness of cut-based abduction in [12] , the branch closes. Algorithm 5.1 presents the cut-based abductive algorithm for first-order logic.  ... 
doi:10.1093/jigpal/jzq052 fatcat:4hpw27rrlvb6noqonwqcg7y4pq

Cut-Based Abduction

M. D'Agostino, M. Finger, D. Gabbay
2008 Logic Journal of the IGPL  
When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based.  ...  Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. * Partly supported by CNPq grant PQ 301294  ...  A completed KE-tableau for the sequent in (3). Base: XA is an atomic signed formula, that is, A = p for some atomic p.  ... 
doi:10.1093/jigpal/jzn020 fatcat:mbrnywx4nfdrxo5nwwmjsixmtu

Using Abduction to Compute Efficient Proofs

Marcelo Finger
2009 Electronical Notes in Theoretical Computer Science  
Due to the last item, this is not exactly the usual abductive reasoning found in literature, for the latter requires the input sequent not to be derivable.  ...  We show how this task is related to the problem of computing non-analytic cuts. Several algorithms are provided that compute efficient proofs with non-analytic cuts via abductive reasoning.  ...  We present a technique for computing an extra hypothesis based on tableau method. The same technique is used for both cases: Γ G and Γ G.  ... 
doi:10.1016/j.entcs.2009.07.047 fatcat:rkzerl4aafcyrenlf4w3gkv6by

Biomechanical Changes During a 90º Cut in Collegiate Female Soccer Players With Participation in the 11+

Celeste Dix, Amelia Arundale, Holly Silvers-Granelli, Adam Marmon, Ryan Zarzycki, Lynn Snyder-Mackler
2021 International Journal of Sports Physical Therapy  
Valgus collapse and high knee abduction moments have been identified as biomechanical risk factors for ACL injury.  ...  Forty-six participants completed preseason and postseason motion analysis of a 90º cut. During the season, 31 players completed the 11+ and 15 players completed their typical warm-up (control group).  ...  angles and knee abduction moments than uninjured players while completing an anticipated cut to 45°. 23 Although no normative values have been established for what constitutes a high knee abduction load  ... 
doi:10.26603/001c.22146 pmid:34123519 pmcid:PMC8168994 fatcat:657lnxzhdnafdjb2tp57vis2ty

Technique determinants of knee abduction moments during pivoting in female soccer players

Paul A. Jones, Lee C. Herrington, Philip Graham-Smith
2016 Clinical Biomechanics  
202 words Word Count: 4168 words 1 ABSTRACT 1 Background: No previous studies have investigated the optimal technique for pivoting with 2 regard to reducing peak knee abduction moments and potential knee  ...  factors to lower knee abduction moments during 18 pivoting. 19  ...  The 161 turn times were selected based on pilot work and used to control for performance of the tasks 162 within and between subjects.  ... 
doi:10.1016/j.clinbiomech.2015.09.012 pmid:26432414 fatcat:if4strme6zarvfwhniwqiyo6ui

Comparison of Drop Jumps and Sport-Specific Sidestep Cutting

Eirik Kristianslund, Tron Krosshaug
2013 American Journal of Sports Medicine  
There is a moderate correlation for knee abduction moments between the 2 tasks, but knee abduction moments are less consistent across tasks.  ...  Published clinical screening tests are based on 2-legged and controlled drop jumps, but ACL injuries are known to occur in singlelegged landings and sidestep cutting, where the load is predominantly distributed  ...  ACKNOWLEDGMENT The authors thank Kam-Ming Mok for technical support and valuable discussion.  ... 
doi:10.1177/0363546512472043 pmid:23287439 fatcat:ylfwfxan5faobotajcl3lfbuve

The Effect of a Novel Movement Strategy in Decreasing ACL Risk Factors in Female Adolescent Soccer Players

Richard G. Celebrini, Janice J. Eng, William C. Miller, Christina L. Ekegren, James D. Johnston, Donna L. MacIntyre
2012 Journal of Strength and Conditioning Research  
The results of this study suggest that the Core-PAC may be one method of modifying high-risk movements for ACL injury such as side-cutting and single-leg landing.  ...  of the Core-PAC into the warm-up and 2) to determine whether the Core-PAC would improve peak knee flexion angles and peak abduction moments at the knee during a side-cut (SC) and an unanticipated sidecut  ...  The authors would like to thank Tom Depew for his assistance with software programming and data processing and Chihya Hung for administrative support.  ... 
doi:10.1519/jsc.0b013e3182472fef pmid:22210470 pmcid:PMC4486381 fatcat:bb2brcvqlfhh3m5jzhqsas22ni

Effects of maturation on knee biomechanics during cutting and landing in young female soccer players

Audrey E. Westbrook, Jeffrey B. Taylor, Anh-Dung Nguyen, Mark V. Paterno, Kevin R. Ford, Nathan Schilaty
2020 PLoS ONE  
While each maturational group exhibited greater peak knee abduction angles during the DVJ compared to the CUT, peak knee abduction moments during the CUT were greater compared to the DVJ.  ...  These observed differences indicate the need for neuromuscular training programs that target both jumping and cutting techniques to reduce ACL injuries.  ...  Richard Trey Brindle for their invaluable contributions to this project.  ... 
doi:10.1371/journal.pone.0233701 pmid:32453805 fatcat:zhcitvizbfe67mqggdeaju3dtm

Sidestep and crossover lower limb kinematics during a prolonged sport-like agility test

Danielle Potter, Kellie Reidinger, Rebecca Szymialowicz, Thomas Martin, Donald Dione, Richard Feinn, David Wallace, Juan C Garbalosa
2014 International Journal of Sports Physical Therapy  
Regardless of activity status, during sidestep cuts, the hip was more internally rotated and abducted, and less flexed than during crossover cuts while the knee was more abducted and less flexed during  ...  Nineteen female Division I collegiate soccer players completed a self-selected cutting agility test until they were unable to meet a set performance time (one standard deviation of the average baseline  ...  , the first two base line trials and the two prolonged activity trials were chosen for all statistical analyses.  ... 
pmid:25328824 pmcid:PMC4196326 fatcat:6of2ayhktzdmfflipv75eulnzu

Effect of low pass filtering on joint moments from inverse dynamics: Implications for injury prevention

Eirik Kristianslund, Tron Krosshaug, Antonie J. van den Bogert
2012 Journal of Biomechanics  
Ranking of players based on knee abduction moments were affected by filtering condition.  ...  Mean (SD) peak knee abduction moment for the 10-10 and 10-50 condition were 1.27 (0.53) and 1.64 (0.68) Nm/kg, respectively.  ...  of players based on maximum knee abduction moment was affected by filtering with different cut-off frequencies for force and movement.  ... 
doi:10.1016/j.jbiomech.2011.12.011 pmid:22227316 fatcat:boltljfvhnggfdtwuox7crjvbq

Page 259 of The Journal of Orthopaedic and Sports Physical Therapy Vol. 35, Issue 4 [page]

2005 The Journal of Orthopaedic and Sports Physical Therapy  
1d Its In ABSTRACTS ments such as sidestep cutting. Ligament force magnitudes for these movements how- ever, remain unknown.  ...  Quantifying abduction moments re- quires inverse dynamics based on an appro- priate model and measured data.  ... 

Effects of treadmill versus overground soccer match simulations on biomechanical markers of anterior cruciate ligament injury risk in side cutting

R. M. Firhad Raja Azidin, Sean Sankey, Barry Drust, Mark A. Robinson, Jos Vanrenterghem
2015 Journal of Sports Sciences  
Although knee abduction moments were not altered over time during both simulations, passive rest during half-time induced changes in knee angles that may have implications for ACL injury risk.  ...  No significant differences in knee abduction moments were observed.  ...  Results One participant was unable to complete the full protocol. All data reported are for the remaining nineteen participants.  ... 
doi:10.1080/02640414.2014.990491 pmid:25583274 fatcat:ty57sn5iwbhqpp5mfggrpg6mvm

Page 567 of Journal of Bone and Joint Surgery Vol. 7, Issue 3 [page]

1925 Journal of Bone and Joint Surgery  
HIP JOINT FUSION FOR TUBERCULOSIS 567 saten appearance; several areas of caseation were present; 25 degrees motion, flexion, and extension; abduction limited by impingement of remains of femoral neck on  ...  The tendons of the adductor muscles were then tenotomized at their origin; great trochanter cut free at its base and carried upward so as to impinge on the ilium just above the acetabulum; large bone flap  ... 

Page 339 of The Journal of Speech and Hearing Disorders Vol. 8, Issue 4 [page]

1943 The Journal of Speech and Hearing Disorders  
Passage from position IV to position I con- stitutes the act This cut is reprinted from Essay 4. of abduction. III.  ...  POSITION OF THE VOCAL CORDS Kors I Vocal cords abducted for breathing. II. Vocal cords in a balanced abducted-ad- ducted position for production of the whis- pered voice. III.  ... 

Prediction of Crack for Drilling Process on Alumina Using Neural Network and Taguchi Method

Kingsun Lee
2015 Advances in Materials Science and Engineering  
The neural network is applied to establish a model based on the relationship between input parameters (spindle speed, feed rate, depth of cut, and diamond abrasive size) and output parameter (cracking  ...  The drilling parameters evaluated are spindle speed, feed rate, depth of cut, and diamond abrasive size.  ...  To build a complete abductive network, the first requirement is to train the database.  ... 
doi:10.1155/2015/304691 fatcat:7ovejzvsfbcf3gh4l6txfm2wzm
« Previous Showing results 1 — 15 out of 25,836 results