scholarly journals Long Distance Q-Resolution with Dependency Schemes

2016 ◽  
pp. 500-518 ◽  
Author(s):  
Tomáš Peitl ◽  
Friedrich Slivovsky ◽  
Stefan Szeider
Keyword(s):  
Long Distance ◽  
Dependency Schemes

scholarly journals Long-Distance Q-Resolution with Dependency Schemes

2018 ◽  
Vol 63 (1) ◽  
pp. 127-155 ◽  
Author(s):  
Tomáš Peitl ◽  
Friedrich Slivovsky ◽  
Stefan Szeider
Keyword(s):  
Long Distance ◽  
Dependency Schemes

scholarly journals Dependency Learning for QBF

2019 ◽  
Vol 65 ◽  
pp. 181-208 ◽  
Author(s):  
Tomáš Peitl ◽  
Friedrich Slivovsky ◽  
Stefan Szeider
Keyword(s):  
Formal Verification ◽  
New Technique ◽  
Proof System ◽  
Long Distance ◽  
Quantified Boolean Formulas ◽  
Boolean Formulas ◽  
Clause Learning ◽  
A New Technique ◽  
The Cost ◽  
Dependency Schemes

Quantified Boolean Formulas (QBFs) can be used to succinctly encode problems from domains such as formal verification, planning, and synthesis. One of the main approaches to QBF solving is Quantified Conflict Driven Clause Learning (QCDCL). By default, QCDCL assigns variables in the order of their appearance in the quantifier prefix so as to account for dependencies among variables. Dependency schemes can be used to relax this restriction and exploit independence among variables in certain cases, but only at the cost of nontrivial interferences with the proof system underlying QCDCL. We introduce dependency learning, a new technique for exploiting variable independence within QCDCL that allows solvers to learn variable dependencies on the fly. The resulting version of QCDCL enjoys improved propagation and increased flexibility in choosing variables for branching while retaining ordinary (long-distance) Q-resolution as its underlying proof system. We show that dependency learning can achieve exponential speedups over ordinary QCDCL. Experiments on standard benchmark sets demonstrate the effectiveness of this technique.

The Fine Structure of Phloem Cells

1985 ◽  
Vol 43 ◽  
pp. 632-635
Author(s):  
James Cronshaw
Keyword(s):  
Structural Studies ◽  
High Concentration ◽  
Long Distance ◽  
Phloem Tissue ◽  
Sieve Elements ◽  
Long Distance Transport ◽  
P Protein ◽  
Companion Cells ◽  
Electron Microscopical ◽  
Distance Transport

Long distance transport in plants takes place in phloem tissue which has characteristic cells, the sieve elements. At maturity these cells have sieve areas in their end walls with specialized perforations. They are associated with companion cells, parenchyma cells, and in some species, with transfer cells. The protoplast of the functioning sieve element contains a high concentration of sugar, and consequently a high hydrostatic pressure, which makes it extremely difficult to fix mature sieve elements for electron microscopical observation without the formation of surge artifacts. Despite many structural studies which have attempted to prevent surge artifacts, several features of mature sieve elements, such as the distribution of P-protein and the nature of the contents of the sieve area pores, remain controversial.

Popliteal entrapment syndrome and age

VASA ◽  
2012 ◽  
Vol 41 (4) ◽  
pp. 262-268 ◽  
Author(s):  
Schweizer ◽  
Hügli ◽  
Koella ◽  
Jeanneret
Keyword(s):  
Risk Factors ◽  
Leg Pain ◽  
Walking Distance ◽  
Therapeutic Approaches ◽  
Long Distance ◽  
Entrapment Syndrome ◽  
Long Distance Running ◽  
Popliteal Entrapment ◽  
Popliteal Entrapment Syndrome ◽  
Atherosclerotic Risk Factors

On the occasion of diagnosing a popliteal entrapment syndrome in a 59-year old man with no cardiovascular risk factors, who developed acute ischemic leg pain during long distance running, we give an overview on this entity with emphasis on patients’age. The different types of the popliteal artery compression syndrome are summarized. The diagnostic and therapeutic approaches are discussed. The most important clinical sign of a popliteal entrapment syndrome is the lack of atherosclerotic risk factors in patients with limited walking distance. Not only in young athletes but also in patients more than 50 years old the popliteal entrapment syndrome has to be taken into account.

Attachment Styles, Physical Proximity, and Relational Satisfaction

2014 ◽  
Vol 4 (2) ◽  
pp. 106-112
Author(s):  
Anita Shrivastava ◽  
Andrea Burianova
Keyword(s):  
Attachment Styles ◽  
Romantic Relationship ◽  
Distinct Type ◽  
Relational Satisfaction ◽  
Long Distance ◽  
Avoidant Attachment ◽  
Geographic Separation ◽  
Relationship Of ◽  
Attachment Dimensions

This study aimed to explore the relationships between attachment styles, proximity, and relational satisfaction. This was achieved by assessing a distinct type of long distance romantic relationship of flying crews, compared with proximal (non-flying crew) romantic relationships. The responses of 139 expatriate professionals revealed significant associations between proximity and anxious and avoidant attachment dimensions. The role of the avoidant dimension in comparison with that of the anxious dimension was found to be a significant predictor of relational satisfaction. This study contributes significantly toward addressing the role of proximity and attachment in relational satisfaction in a new context of geographic separation.

Long-distance plant traffic

Nature ◽  
2001 ◽  
Author(s):  
Helen Pearson
Keyword(s):  
Long Distance
Sign in / Sign up

Export Citation Format

Share Document