Bu çal??ma, ba??ms?z bir do?algaz fiyat?n?n varl???n? ara?t?rmaktad?r. ?nceleme konusu olarak Avrupa pazarlar? ele al?nm??t?r. Do?al gaz petrol fiyat?ndan ayr??mas?n?n varl??? incelenmi?, do?al fiyat? Almanya Federal ?hracat Kontrol Ofisi (BAFA) taraf?ndan aç?klanan ayl?k ortalama s?n?r giri? fiyat?, ise Brent petrolü kullan?lm??t?r. Serilerin e?bütünle?ikli?i S?n?r Testi ile k?sa ve uzun dönem...

Practically speaking, how small can a test suite be and still be of value? In the context of temporal graph-theoretic abductive validation, the answer to this question is very language-dependent. Seemingly trivial variations in a language can have a signiicant impact on how large a test suite must be. This paper is hence a cautionary note to those who invent languages and ontologies without exp...

The combination of quantum correlations appearing in the Clauser-Horne-Shimony-Holt inequality can give values between the classical bound, 2, and Tsirelson's bound, 2 x square root of 2. However, for a given set of local observables, there are values in this range which no quantum state can attain. We provide the analytical expression for the corresponding bound for a parametrization of the lo...

n many DoD test and evaluation programs, it is necessary to obtain statistical estimates for parameters in the system under study. For these estimates to provide meaningful system understanding, uncertainty bounds (e.g., statistical confidence intervals) must be attached to the estimates. Current methods for constructing uncertainty bounds are almost all based on theory that assumes a large amo...

In this paper we give sharp upper bounds on the Zagreb indices and characterize all trees achieving equality in these bounds. Also, we give lower bound on first Zagreb coindex of trees.

The test effort required for full test coverage is much higher in event-triggered than in time-triggered real-time systems. Thus, it is hard to attain sufficient confidence in the correctness of event-triggered real-time applications by testing. We present a general upper bound on the test effort of constrained event-triggered real-time systems, assuming multiple resources (a refinement of prev...

8 The XL-mHG test is a semiparametric test for enrichment in ranked lists with boolean (0/1-valued) entries. It is a generalization of the nonparametric mHG test, designed to provide some control over the kind of enrichment that is being tested for, and to allow a flexible trade-off between the sensitivity and robustness of the test. Here, I describe an improved algorithm to efficiently calcula...

We present the first genuine test for a unit root (or of any other value of the autoregressive coeffi cient) within an autoregressive model for errors with given bounds that follow a martingale difference sequence. Without such bounds nontrivial tests are known not to exist. Our test is exact, we do not add other assumptions on the process. Competitors either do not control the type I error for...