This paper fortifies and defends the so called Sufficiency Argument (SA) against Classical Invariantism. In Sect. 2, I explain the version of the SA formulated but then rejected by Brown (2008a). In Sect. 3, I show how cases described by Hawthorne (2004), Brown (2008b), and Lackey (forthcoming) threaten to undermine one or the other of the SA’s least secure premises. In Sect. 4, I buttress one ...

In this paper, we present a new hybrid branch predictor called the GoStay2, which can effectively reduce indirect misprediction rates. The GoStay2 has two different mechanisms compared to other 2-stage hybrid predictors that use a Branch Target Buffer (BTB) as the first stage predictor: Firstly, to reduce conflict misses in the first stage, a new effective 2-way cache scheme is used instead of ...

Two things are striking about this medieval definition. The first is that it is very close to the modern conception of formal consequence one finds in Bolzano and Tarski3. The second is that although Buridan and the other fourteenth-century logicians state these distinctions with a great deal of precision, they say almost nothing about the point of the distinctions. Why are these distinctions d...

Derived varieties were invented by P. Cohn in [4]. Derived varieties of a given type were invented by the authors in [10]. In the paper we deal with the derived variety Vσ of a given variety, by a fixed hypersubstitution σ. We introduce the notion of the dimension of a variety as the cardinality κ of the set of all proper derived varieties of V included in V. We examine dimensions of some varie...

This paper develops a probabilistic reconstruction of the No Miracles Argument (NMA) in the debate between scientific realists and anti-realists. The goal of the paper is to clarify and to sharpen the NMA by means of a probabilistic formalization. In particular, I demonstrate that the persuasive force of the NMA depends on the particular disciplinary context where it is applied, and the stabili...

considerable indirect taxes are obtained to finance different expenditures of governments. the indirect taxes have different and to somewhat contrary effects in the economy. this paper investigates on the effects of the indirect taxes on sectors’ products to finance the government expenditures. using an input-output analysis, the effects of this policy on the cost-push price inflation and emplo...

conclusions: it was concluded that the elisa is a suitable method for large scale screening of antibodies against aspergilloma. the easy techniques have shortened the required time of tests (approximately 1.30 hours for our elisa, as opposed to 2.30 hours with commercial elisa kit). this may be a substantial benefit for large numbers of samples that should be tested. materials and methods: an i...

~*» p.bt: ip:rn; buftftn Mr thj caiacroo i Me mutton : nSPMid K avaripi l heut p«••ipanoa, nciuelng tha tfervt lor rw»taMl-g intrjctionx iM':hr»; txcttrg :•*• KU':U {•Tarns and mi Mai ring th« oaii niadad a-d :o-np<iS"4 in: rev awing r-a C:IKIO' of l-ton-arto-. Sana ctimini! 'igird n; ttis b.rdm •thumbs :t a-* etna* taeac" «f T-b :oliacttMi of rrlor-nitfoo. 're wl-fl iu;gi:tl=ni *c-adu = l-g th...