scholarly journals Mixing Coverability and Reachability to Analyze VASS with One Zero-Test

2010 ◽  
pp. 394-406 ◽  
Author(s):  
Alain Finkel ◽  
Arnaud Sangnier
Keyword(s):  
Zero Test

Taming the wild ant-lion; a counterexample to a conjecture of Böhm

2015 ◽  
Vol 27 (5) ◽  
pp. 734-737
Author(s):  
RICK STATMAN
Keyword(s):  
Active State ◽  
Ant Lion ◽  
Zero Test

In Barendregt (1984), Corrado Böhm conjectured that every adequate (Barendregt 1984, 6.4.2 (ii)) numeral system of normal combinators has normal successor, predecessor and zero test. In this note, we give a counterexample to this conjecture. Our example is shown to have no normal zero test. Böhm has informed us that Intrigila (1994) has given an example with no normal successor. Our strategy, in terms of the ant-lion paradigm, is to pry open the trap so wide that it enters its active state before its jaws are shut.

scholarly journals DEEP BAYESIAN ACTIVE LEARNING IN HIGH-RESOLUTION SATELLITE IMAGES FOR CHANGE DETECTION IN URBAN AND SUBURBAN AREAS

2021 ◽  
Vol V-3-2021 ◽  
pp. 175-180
Author(s):  
L. Ragia ◽  
A. Panagiotopoulou
Keyword(s):  
High Resolution ◽  
Active Learning ◽  
Change Detection ◽  
Satellite Images ◽  
Robust Statistics ◽  
Training Set ◽  
Suburban Areas ◽  
Training Images ◽  
High Resolution Satellite Images ◽  
Zero Test

Abstract. In this work the problem of change detection in high-resolution (HR) satellite images is addressed. The active learning (AL) algorithm Bayesian active learning disagreement (BALD) is applied on WorldView images of urban and suburban areas in the island of Crete, Greece. Comparisons with results from random sampling (RS) on AL are carried out. Several cases of selecting different amounts of images in the training set of a convolutional neural network (CNN) are experimented. The results show that the validation accuracy of classification as changed or unchanged of the BALD algorithm is superior to that of the RS algorithm. Indeed, the BALD algorithm achieves zero test error against the test errors 34.6% and 38.5% of the RS algorithm. Actually, as the amount of training images increases, the accuracy also increases. Interesting experiments could be executed in the future utilizing estimators from robust statistics inside the AL acquisition function framework. Up to now in the literature no other work has appeared to present deep AL on WorldView images for change detection.

scholarly journals Effect of Collagen Cross-Link Deficiency on Incorporation of Grafted Bone

2019 ◽  
Vol 7 (2) ◽  
pp. 45
Author(s):  
Suliman Mubarak ◽  
Nagasawa Masako ◽  
Farah A. Al-Omari ◽  
Hamaya Keisuke ◽  
Uoshima Katsumi
Keyword(s):  
Bone Quality ◽  
Bone Matrix ◽  
Bone Transplantation ◽  
Host Bone ◽  
Recipient Site ◽  
Key Factor ◽  
Cross Links ◽  
Bone Quantity ◽  
Zero Test ◽  
Bone Effect

Bone matrix collagen, is one of the major contributors to bone quality. No studies have examined how bone quality affects the results of bone transplantation. Collagen cross-links (CCL) are the key factor in collagen properties. The purpose was to investigate the influences of CCL for both grafted bone and recipient site bone on the success of bone augmentation. Four-week-old male Wister rats (n = 54) were divided into control and test groups. Control and test groups equally sub-divided into donors and recipients. An additional six rats were used to characterize bone at day zero. Test groups received 0.2% beta-aminoproperionitrile (BAPN) for 4 weeks as CCL inhibitor. Animals were further divided into donor and recipient groups. The transplanted bone chips integrated with host bone by 25% more in CCL-deficient animals compared to control. However, no difference in cortical thickness among all conditions. CCL-deficient transplanted bone did not show any extra signs of osteocyte apoptosis, while sclerostin expression was comparable to that in control. The host periosteum of CCL-deficient animals showed higher cellular activity, as well as higher bone quantity and osteoclast activity. Collagen cross-links deficiency in host bone might accelerate the incorporation of grafted bone. effect. Incorporation of the bone grafts appears to depend mainly on host condition rather than graft condition.

Sign in / Sign up

Export Citation Format

Share Document