:::info این مقاله در arxiv تحت مجوز CC 4.0 موجود است.
نویسندگان:
(1) Ulysse Gazin، Universitée Paris Cité and Sorbonne Universitée، CNRS، Laboratoire de Probabilitées، Statistique et Mod'elisation،
(2) ژیل بلانچارد، دانشگاه پاریس ساکلی، انستیتو ریاضیات اورسی،
(3) Etienne Roquain، دانشگاه سوربن و دانشگاه پاریس، CNRS، Laboratoire de Probabilit'es، Statistique et Mod'elisation.
:::
جدول پیوندها
- چکیده و مقدمه
- نتایج اصلی
- کاربرد در فواصل پیش بینی
- کاربرد برای تشخیص تازگی
- نتیجه گیری، قدردانی و مراجع
- پیوست A: فرمول های دقیق برای Pn,m
- ضمیمه B: مرزها و الگوهای عددی
- پیوست ج: اثبات
- پیوست D: کنترل صریح (16) برای α=0
- پیوست E: اثبات نتیجه 4.1
- ضمیمه F: نابرابری Simes
- پیوست G: FDP یکنواخت برای AdaDetect
- پیوست H: آزمایش های اضافی
E اثبات نتیجه 4.1
اجازه دهید m0 = |H0|. ما نتیجه کلی تر زیر را ایجاد می کنیم.
\
\ اکنون اجازه دهید لمای E.1 را ثابت کنیم.
\
