scholarly journals Bounds on the size of PC and URC formulas

2020 ◽  
Vol 69 ◽  
pp. 1395-1420
Author(s):  
Petr Kučera ◽  
Petr Savický
Keyword(s):  
The Other ◽  
Auxiliary Variables ◽  
Similar Statement ◽  
Partial Assignment ◽  
Other Hand ◽  
Polynomial Size ◽  
Exponential Separation ◽  
Unit Propagation

In this paper, we investigate CNF encodings, for which unit propagation is strong enough to derive a contradiction if the encoding is not consistent with a partial assignment of the variables (unit refutation complete or URC encoding) or additionally to derive all implied literals if the encoding is consistent with the partial assignment (propagation complete or PC encoding). We prove an exponential separation between the sizes of PC and URC encodings without auxiliary variables and strengthen the known results on their relationship to the PC and URC encodings that can use auxiliary variables. Besides of this, we prove that the sizes of any two irredundant PC formulas representing the same function differ at most by a factor polynomial in the number of the variables and present an example of a function demonstrating that a similar statement is not true for URC formulas. One of the separations above implies that a q-Horn formula may require an exponential number of additional clauses to become a URC formula. On the other hand, for every q-Horn formula, we present a polynomial size URC encoding of the same function using auxiliary variables. This encoding is not q-Horn in general.

A balanced sampling and calibration

2016 ◽  
Vol 61 (3) ◽  
pp. 38-60
Author(s):  
Arkadiusz Kozłowski
Keyword(s):  
Sampling Design ◽  
The Other ◽  
General Idea ◽  
Auxiliary Variables ◽  
Numerical Examples ◽  
Balanced Sampling ◽  
Other Hand ◽  
Design Weights

A balanced sampling design is a design in which Horvitz-Thompson estimators of population totals for a set of auxiliary variables equal the known totals of these variables. On the other hand, calibration is a technique where the modification of design weights occurs in such a way that the new weights, when applied to auxiliary variables, reproduce, i.e. estimate withouterror, the known totals for these variables. The general idea behind balanced sampling and calibration is thus the same — both techniques tend to reproduce known totals of the auxiliary variables. The purpose of the paper is to describe and compare both techniques, considering them as alternatives in achieving the same goal. More attention was devoted to balanced sampling. The algorithm for selecting a sample was illustrated with two numerical examples. The comparison between balanced sampling and calibration, as alternatives, indicates calibration, but the best strategy is to use both methods simultaneously.

A study of cometary eruptions through OH radio-lines

1999 ◽  
Vol 173 ◽  
pp. 249-254
Author(s):  
A.M. Silva ◽  
R.D. Miró
Keyword(s):  
Short Duration ◽  
Growth Curves ◽  
The Other ◽  
Initial Mass ◽  
Radio Lines ◽  
Other Hand ◽  
Sudden Rise

AbstractWe have developed a model for theH2OandOHevolution in a comet outburst, assuming that together with the gas, a distribution of icy grains is ejected. With an initial mass of icy grains of 108kg released, theH2OandOHproductions are increased up to a factor two, and the growth curves change drastically in the first two days. The model is applied to eruptions detected in theOHradio monitorings and fits well with the slow variations in the flux. On the other hand, several events of short duration appear, consisting of a sudden rise ofOHflux, followed by a sudden decay on the second day. These apparent short bursts are frequently found as precursors of a more durable eruption. We suggest that both of them are part of a unique eruption, and that the sudden decay is due to collisions that de-excite theOHmaser, when it reaches the Cometopause region located at 1.35 × 105kmfrom the nucleus.

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

Life Beyond 1MeV

1980 ◽  
Vol 38 ◽  
pp. 30-33
Author(s):  
K.H. Westmacott
Keyword(s):  
Electron Microscopy ◽  
Past Experience ◽  
The Other ◽  
Good Case ◽  
Other Hand ◽  
The U.S

Life beyond 1MeV – like life after 40 – is not too different unless one takes advantage of past experience and is receptive to new opportunities. At first glance, the returns on performing electron microscopy at voltages greater than 1MeV diminish rather rapidly as the curves which describe the well-known advantages of HVEM often tend towards saturation. However, in a country with a significant HVEM capability, a good case can be made for investing in instruments with a range of maximum accelerating voltages. In this regard, the 1.5MeV KRATOS HVEM being installed in Berkeley will complement the other 650KeV, 1MeV, and 1.2MeV instruments currently operating in the U.S. One other consideration suggests that 1.5MeV is an optimum voltage machine – Its additional advantages may be purchased for not much more than a 1MeV instrument. On the other hand, the 3MeV HVEM's which seem to be operated at 2MeV maximum, are much more expensive.

Can the Academic Self-Concept be Positive and Realistic?

2005 ◽  
Vol 19 (3) ◽  
pp. 129-132 ◽  
Author(s):  
Reimer Kornmann
Keyword(s):  
Academic Performance ◽  
Opposite Effect ◽  
Self Esteem ◽  
Point Of View ◽  
The Other ◽  
Self Concept ◽  
High Ability ◽  
Self Image ◽  
Other Hand

Summary: My comment is basically restricted to the situation in which less-able students find themselves and refers only to literature in German. From this point of view I am basically able to confirm Marsh's results. It must, however, be said that with less-able pupils the opposite effect can be found: Levels of self-esteem in these pupils are raised, at least temporarily, by separate instruction, academic performance however drops; combined instruction, on the other hand, leads to improved academic performance, while levels of self-esteem drop. Apparently, the positive self-image of less-able pupils who receive separate instruction does not bring about the potential enhancement of academic performance one might expect from high-ability pupils receiving separate instruction. To resolve the dilemma, it is proposed that individual progress in learning be accentuated, and that comparisons with others be dispensed with. This fosters a self-image that can in equal measure be realistic and optimistic.

Stories and the Self

2020 ◽  
Vol 32 (2) ◽  
pp. 47-58 ◽  
Author(s):  
Stefan Krause ◽  
Markus Appel
Keyword(s):  
Meta Analysis ◽  
The Self ◽  
The Other ◽  
Lower Degree ◽  
Contrast Effects ◽  
Self Perception ◽  
Self Perceptions ◽  
Other Hand ◽  
The One ◽  
Implicit And Explicit

Abstract. Two experiments examined the influence of stories on recipients’ self-perceptions. Extending prior theory and research, our focus was on assimilation effects (i.e., changes in self-perception in line with a protagonist’s traits) as well as on contrast effects (i.e., changes in self-perception in contrast to a protagonist’s traits). In Experiment 1 ( N = 113), implicit and explicit conscientiousness were assessed after participants read a story about either a diligent or a negligent student. Moderation analyses showed that highly transported participants and participants with lower counterarguing scores assimilate the depicted traits of a story protagonist, as indicated by explicit, self-reported conscientiousness ratings. Participants, who were more critical toward a story (i.e., higher counterarguing) and with a lower degree of transportation, showed contrast effects. In Experiment 2 ( N = 103), we manipulated transportation and counterarguing, but we could not identify an effect on participants’ self-ascribed level of conscientiousness. A mini meta-analysis across both experiments revealed significant positive overall associations between transportation and counterarguing on the one hand and story-consistent self-reported conscientiousness on the other hand.

Don’t Put Me in This Group

2019 ◽  
Vol 50 (2) ◽  
pp. 80-93
Author(s):  
Jort de Vreeze ◽  
Christina Matschke
Keyword(s):  
Positive Emotions ◽  
Negative Emotions ◽  
Negative Information ◽  
The Self ◽  
The Other ◽  
Other Hand ◽  
Group Memberships

Abstract. Not all group memberships are self-chosen. The current research examines whether assignments to non-preferred groups influence our relationship with the group and our preference for information about the ingroup. It was expected and found that, when people are assigned to non-preferred groups, they perceive the group as different to the self, experience negative emotions about the assignment and in turn disidentify with the group. On the other hand, when people are assigned to preferred groups, they perceive the group as similar to the self, experience positive emotions about the assignment and in turn identify with the group. Finally, disidentification increases a preference for negative information about the ingroup.

ON THE OTHER HAND

1961 ◽  
Vol 6 (6) ◽  
pp. 222-223
Author(s):  
Edwin G. Boring
Keyword(s):  
The Other ◽  
Other Hand

Radioimmunotherapy for treatment of acute myeloid leukaemia and myelodysplastic syndrome

2005 ◽  
Vol 44 (03) ◽  
pp. 107-117
Author(s):  
R. G. Meyer ◽  
W. Herr ◽  
A. Helisch ◽  
P. Bartenstein ◽  
I. Buchmann
Keyword(s):  
Acute Myeloid Leukaemia ◽  
Myeloid Leukaemia ◽  
Primary Tumour ◽  
The Other ◽  
Haematopoietic Stem Cell ◽  
Other Hand ◽  
Primary Reduction ◽  
The One ◽  
Acute Myeloid

SummaryThe prognosis of patients with acute myeloid leukaemia (AML) has improved considerably by introduction of aggressive consolidation chemotherapy and haematopoietic stem cell transplantation (SCT). Nevertheless, only 20-30% of patients with AML achieve long-term diseasefree survival after SCT. The most common cause of treatment failure is relapse. Additionally, mortality rates are significantly increased by therapy-related causes such as toxicity of chemotherapy and complications of SCT. Including radioimmunotherapies in the treatment of AML and myelodyplastic syndrome (MDS) allows for the achievement of a pronounced antileukaemic effect for the reduction of relapse rates on the one hand. On the other hand, no increase of acute toxicity and later complications should be induced. These effects are important for the primary reduction of tumour cells as well as for the myeloablative conditioning before SCT.This paper provides a systematic and critical review of the currently used radionuclides and immunoconjugates for the treatment of AML and MDS and summarizes the literature on primary tumour cell reductive radioimmunotherapies on the one hand and conditioning radioimmunotherapies before SCT on the other hand.

Sign in / Sign up

Export Citation Format

Share Document