scholarly journals Input-Driven Double-Head Pushdown Automata

2017 ◽  
Vol 252 ◽  
pp. 128-142
Author(s):  
Markus Holzer ◽  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
2021 ◽  
Vol 22 (2) ◽  
pp. 1-37
Author(s):  
Christopher H. Broadbent ◽  
Arnaud Carayol ◽  
C.-H. Luke Ong ◽  
Olivier Serre

This article studies the logical properties of a very general class of infinite ranked trees, namely, those generated by higher-order recursion schemes. We consider, for both monadic second-order logic and modal -calculus, three main problems: model-checking, logical reflection (a.k.a. global model-checking, that asks for a finite description of the set of elements for which a formula holds), and selection (that asks, if exists, for some finite description of a set of elements for which an MSO formula with a second-order free variable holds). For each of these problems, we provide an effective solution. This is obtained, thanks to a known connection between higher-order recursion schemes and collapsible pushdown automata and on previous work regarding parity games played on transition graphs of collapsible pushdown automata.


2015 ◽  
Vol 17 (1) ◽  
pp. 1-45 ◽  
Author(s):  
Rémy Chrétien ◽  
Véronique Cortier ◽  
Stéphanie Delaune

2021 ◽  
Vol 117 ◽  
pp. 202-241
Author(s):  
Lorenzo Clemente ◽  
Sławomir Lasota
Keyword(s):  

2021 ◽  
Vol 113 ◽  
pp. 106726
Author(s):  
Min Jia ◽  
Dong Lin ◽  
Shengfang Huang ◽  
Zhibo Zhang ◽  
Wei Cui ◽  
...  

2019 ◽  
pp. 161-182
Author(s):  
Ganesh Lalitha Gopalakrishnan
Keyword(s):  

2020 ◽  
Vol 2020 ◽  
pp. 1-9
Author(s):  
Yuelei Zhang ◽  
Chao Yan ◽  
Lecheng Zhang ◽  
Wei Zhang ◽  
Gang Wang

Background. The treatment of vertical femoral neck fractures in young patients remains a challenge. This study is aimed at comparing ordinary cannulated compression screw (OCCS) and double-head cannulated compression screw (DhCCS) fixation in vertical femoral neck fractures both clinically and biomechanically. Materials and Methods. Clinically, the radiographs of 81 patients with Pauwel’s III femoral neck fractures, including 54 fractures fixed with three parallel OCCSs and 27 fractures fixed with three parallel DhCCSs, were reviewed retrospectively. Complications consisting of fixation failure (screw loosening, obvious fracture displacement, varus deformity, or femoral neck shortening), bony nonunion, and avascular necrosis (AVN) were determined. Biomechanically, twenty synthetic femur models of vertical femoral fractures with an 80° Pauwel’s angle were divided into two groups and subsequently fixed with three parallel OCCSs or DhCCSs. All specimens were tested for axial stiffness, load to 5 mm displacement, and a maximum load to failure with a loading rate of 2 mm/min. Results. Clinically, 22 fractures in the OCCS group experienced fixation failure, including 19 screw loosening, 18 femoral neck shortening, 14 varus deformities, and 8 obvious fracture displacements, whereas only 4 fractures experienced fixation failure in the DhCCS group, including 3 screw loosening, 3 femoral neck shortening, 3 varus deformities, and 1 obvious fracture displacement. Additionally, 11 fractures in the OCCS group exhibited nonunion, whereas only 3 in the DhCCS group exhibited nonunion. Nine fractures with AVN were noted in the OCCS group, whereas only 1 was observed in the DhCCS group. Biomechanically, the axial stiffness of the DhCCS group was greater than that of the OCCS group ( 154.9 ± 6.81 vs. 128.1 ± 7.41  N/mm), and the load to 5 mm displacement was also significantly greater in the DhCCS group ( 646.1 ± 25.87 vs. 475.8 ± 21.46  N). Moreover, the maximum load to failure in the DhCCS group exhibited significant advantages compared with that of the OCCS group ( 1148 ± 39.47 vs. 795.9 ± 51.39  N). Conclusion. Our results suggested that using three DhCCSs improved the outcome of vertical femoral neck fractures compared to three OCCSs, offering a new choice for the treatment of femoral neck fracture.


Sign in / Sign up

Export Citation Format

Share Document