A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
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  , the branch closes. Algorithm 5.1 presents the cut-based abductive algorithm for first-order logic. ...doi:10.1093/jigpal/jzq052 fatcat:4hpw27rrlvb6noqonwqcg7y4pq
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
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
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
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
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 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
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
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
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
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. ...
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
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 ...
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. ...
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