stanford-oval/wikipedia huggingface dataset:
Test kriket

Ocak 2005'te Güney Afrika ile İngiltere'nin test maçı. Siyah pantolonlu olan iki adam umpire. Test kriketinde genelde kriketçiler beyaz giyinirler ve genellikle bir kırmızı top-pembe top kullanılır.
Test kriket, kriket sporunun en uzun süreni ve bu sporun en yüksek standardı olarak kabul edilen kriket formatı. Test maçları Test statüsünde olan takımlar tarafından oynanmaktadır ve bu takımlar Uluslararası Kriket Konseyi (ICC) tarafından belirlenmektedir. Takımların elde ettiği skorlar run/wicket şeklinde gösterilmektedir. Maçı yapan bu iki takımın ikişer innings hakkı vardır ve toplam dört innings maçı oynanır. Bu inningsler içinde over sınırlaması yoktur. Son inningste vurucu konumdaki takım, rakibinin toplan runına ulaşamamışsa aradaki run farkına bakılır ve daha fazla runı olan takım, aradaki fark kadar runla kazanmış olur. Maçın sonunda vurucu konumundaki takım, rakip takımın run sayısını geçmişse, on sayısından maç genelinde elde ettiği wicket çıkarılır ve kalan sonuç kadar wicketla maçı kazanmış olur. Bu beş gün sürebilir (veya bazı önemli durumlardan dolayı daha uzun). Yetenek ve dayanıklılık açısından takımlar teftiş edilir. Adının Test olması uzun, zorlu bir eşleşme olduğundan kaynaklanıyor.
İlk resmi olarak tanınan Test maçı 15 Mart 1877 tarihinde İngiltere ve Avustralya arasında Melbourne Kriket Sahası'nda oynandı. Avustralya 45 run ile kazandı. Bu Test maçı 100 yıl boyunca 12-17 Mart 1977'ye kadar Melbourne'da kutlandı.
Uluslararası takımlar

1877 yılından itibaren Test kriket formatında uluslararası maçlar oynanmaktadır. Günümüzde 10 farklı takım bu formatta uluslararası maça çıkmaya hak kazanmıştır.
| Sıra | Takım | İlk test maçı tarihi | İlk galibiyetinden önceki oynadığı maç sayısı |
| --- | --- | --- | --- |
| =1 |  Avustralya | 15 Mart 1877 | 0 |
| =1 |  İngiltere | 15 Mart 1877 | 1 |
| 3 |  Güney Afrika | 12 Mart 1889 | 11 |
| 4 |  Batı Hint Adaları | 23 Haziran 1928 | 5 |
| 5 |  Yeni Zelanda | 10 Ocak 1930 | 42 |
| 6 |  Hindistan | 25 Haziran 1932 | 24 |
| 7 |  Pakistan | 16 Ekim 1952 | 1 |
| 8 |  Sri Lanka | 17 Şubat 1982 | 13 |
| 9 |  Zimbabve | 18 Ekim 1992 | 10 |
| 10 |  Bangladeş | 10 Kasım 2000 | 34 |
Termometre

Termometre
Sıcaklıkölçer ya da Termometre, (Antik Yunanca'dan: thermos sıcaklık ve métron ölçü; eski dilde: mizanül-harâre) sıcaklığı ölçmek için kullanılan alet.
Meteorolojide Celsius, Fahrenheit veya Kelvin gibi değişik ölçekler termometrelerde kullanılmaktadır. Gündelik kullanımdaki termometrelerin çoğu, değişen sıcaklık karşısında sıvıların hacim değiştirmesi mantığına dayanır. Bu cinsten en fazla kullanılan termometreler cıvalı termometrelerdir. Sıcaklığın çok düşük olduğu yerlerde ise donma sıcaklığı daha düşük olan alkollü termometreler tercih edilir.
Yapısı

En çok rastlananı cıvalı termometredir. Bu çok küçük kesite sahip ve üst ucu kapalı bir tüpten ibarettir. Alt ucundaysa içinde cıva bulunan küresel veya silindirik bir hazne bulunur. Isıtılmasıyla, cıva genişler ve tüpte yükselir. Tüpün kesitinin küçük olmasından dolayı az bir hacim büyümesinde cıvanın yükselmesi oldukça fazladır.
Termometre iki sabit nokta arasında kalibre edilir. Bunlar suyun donma noktasıyla kaynama noktasıdır. Normal atmosfer basıncında (760 mm cıva basıncı) bu iki nokta arasındaki mesafe Celsius termometresinde 100 eşit parçaya bölünür. Bunların her biri bir Centigrad'ı (1 °C) gösterir. Fahrenheit ölçüsündeyse bu 180 eşit parçaya bölünür. Bunların her biriyse Fahrenheit'i (1 °F) gösterir. Bu ölçümde, suyun donma ve kaynama noktası sırayla 32 °F ve 212 °F olarak belirlenir. Réaumur ölçümündeyse bu noktalar 0°R ve 80°R olarak isimlendirilir. Ara da 80 parçaya bölünür. Cıva -38.83 °C'de donduğu için çok düşük sıcaklıkların ölçümü için uygun değildir. Bu tür olanlar donma noktası düşük olan renkli alkolle doldurulmuştur. Ulaşılabilecek en düşük sıcaklık mutlak sıfır olup, -273,16 °C'dir. Mutlak sıfırdan başlayan bir ölçü de Kelvin'dir, yani -273,16 °C = 0K'dır.
Isınınca genleşmeleri sıcaklıkla orantılı olan katı, sıvı, gaz maddelerden çeşitli termometreler yapılmıştır. Çok yaygın olarak kullanılan sıvılı ve metal termometrelerdir.
Sıvılı Termometreler:
Sıvılı termometrelerde genleşmeleri büyüyen ve sıcaklıkla orantılı olan sıvılar kullanılır. İnce cam boru içindeki sıvı; cıva ise cıvalı termometre, alkol ise alkollü termometre adını alır.
Cıva -39 santigrat derecede donar, 357 santigrat derecede kaynar. Cıvalı termometreler ile -39 santigrat derece ile 357 santigrat derece arasındaki sıcaklıkları ölçebiliriz. Çok soğuk kış günlerinde bu termometreler kullanılmaz. Bunu yerine donma sıcaklığı daha düşük olan alkollü termometreler kullanılır. Çünkü alkol yaklaşık olarak-115 santigrat derecede donar. Bu termometreleri kutuplarda kullanmak mümkündür. Ancak kılcal boru içindeki sıvının iyi görülebilmesi için kırmızı, mavi, sarı vb. renkli boya maddeleri ile boyanması gerekir. Sıvılı termometreler kullanıldıkları yerlere göre çeşitli isimler alırlar. Duvar termometresi, laboratuvar termometresi ve hasta termometresi gibi.
Hasta Termometresi:
Cıvalı bir termometredir. Vücut sıcaklığını ölçmede kullanılır. 35 santigrat derece ile 42 santigrat derece arasındaki sıcaklıkları 1/10 incelikle ölçer. Bu termometrelerin haznesi ile kılcal borunu birleştiği yerde bir boğum bulunur. Vücut sıcaklığı ölçüldükten sonra termometre sapından tutularak sallanır. Neden? Yeni bir ölçmeye hazır olan termometre ağız içi ya da koltuk altına konularak vücut sıcaklığı ölçülür.
Metal Termometre:
Cıvalı ve alkollü termometreler ile ölçülemeyen sıcaklık derecelerini ölçmek için metal termometreler kullanılır. Metal termometreler ile 1600 santigrat dereceye kadar olan yüksek sıcaklıklar ölçülebilir. Fabrika ve fırınlar kullanıldığı yerlerdir.
Resimler

Dijital termometre
Bimetal termometre
Galilei termometresi
Cıvalı termometre
Et termometresi
| --- | --- |
Otorite kontrolü :  BNF: cb12162305w (data)  GND: 4185157-2  LCCN: sh85134802  LNB: 000324864  NARA: 10642328  NKC: ph126586  NLI: 987007534157305171
Thymus pseudograniticus

Thymus pseudograniticus Thymus cinsine bağlı bir türdür.
Thymus pseudocollinus

Thymus pseudocollinus Thymus cinsine bağlı bir türdür.
Tettigoniinae

Tettigoniinae, Tettigoniidae familyasına bağlı bir hayvan altfamilyasıdır.
Taksonomi

Tettigoniinae altfamilyasına bağlı cinsler (2023):
Acrodectes - Rehn and Hebard, 1920
Aglaothorax - Caudell, 1907
Anabrus - Haldeman, 1852
Apote - Scudder, 1897
Ateloplus - Scudder, 1894
Atlanticus - Scudder, 1894
Capnobotes - Scudder, 1897
Clinopleura - Scudder, 1894
Cyrtophyllicus - Hebard, 1908
Decticita - Hebard, 1939
Eremopedes - Cockerell, 1898
Hubbellia - Hebard, 1927
Idionotus - Scudder, 1894
Idiostatus - Pictet, 1888
Inyodectes - Rentz and Birchim, 1968
Metrioptera - Wesmael, 1838
Neduba - F. Walker, 1869
Neobarrettia - Rehn, 1901
Pediodectes - Rehn and Hebard, 1916
Peranabrus - Scudder, 1894
Petropedes - Tinkham, 1972
Plagiostira - Scudder, 1876
Platycleis - Fieber, 1853
Platyoplus - Tinkham, 1973
Steiroxys - Herman, 1874
Zacycloptera - Caudell, 1907
Test Pilot (film)

| --- | --- |
Test Pilot

Yönetmen: Victor Fleming
Yapımcı: Louis D. Lighton
Yazar: Frank Wead
Senarist: Waldemar Young Vincent Lawrence Howard Hawks John Lee Mahin
Oyuncular: Clark Gable Myrna Loy Spencer Tracy
Müzik: Franz Waxman
Görüntü yönetmeni: Ray June
Kurgu: Tom Held
Stüdyo: Metro-Goldwyn-Mayer
Dağıtıcı: Loew's Inc.
Çıkış tarih(ler)i: 15 Nisan 1938 (1938-04-15)(New York and Los Angeles)  22 Nisan 1938 (1938-04-22) (US)
Süre: 118 dakika
Ülke: ABD
Dil: İngilizce
Bütçe: $1.7 milyon
Hasılat: $3.9 milyon
Test Pilotu, Victor Fleming'in yönettiği, Clark Gable, Myrna Loy ve Spencer Tracy'nin oynadığı ve Lionel Barrymore'un yer aldığı 1938 yapımı filmdir. Film, gözüpek bir test pilotunun (Gable), karısının (Loy) ve en iyi arkadaşının (Tracy) hikâyesini anlatıyor.
Test Pilotu Howard Hawks, Vincent Lawrence, John Lee Mahin, Frank Wead ve Waldemar Young tarafından yazılmıştır. Senaryo büyük ölçüde eski deniz havacısı Wead'in orijinal bir hikâyesine dayanıyordu.
MGM kayıtlarına göre, Test Pilotu ABD'de 2.431.000 $ ve başka yerlerde 1.472.000 $ kazandı ve 967.000 $ kar elde etti.
Test Pilotu, 11. Akademi Ödülleri'nde üç dalda aday gösterildi: En İyi Film, Wead için En İyi Hikâye ve Tom Held için En İyi Kurgu.
Kaynaklar

↑  Hanson 1993, p. 2144.
1 2 3  "The Eddie Mannix Ledger". Margaret Herrick Library, Center for Motion Picture Study, Los Angeles.
Thymus pseudogranatensis

Thymus pseudogranatensis Thymus cinsine bağlı bir türdür.
Thymus pseudohirsutus

Thymus pseudohirsutus Thymus cinsine bağlı bir türdür.
Thymus pubescens

Thymus pubescens Thymus cinsine bağlı bir türdür.
The Evil Within

| The Evil Within |
| --- | --- |

Geliştirici: Tango Gameworks
Yayımcı: Bethesda Softworks 
Yönetmen: Shinji Mikami 
Yapımcı: Shinji Mikami  Masato Kimura
Tasarımcı: Shigenori Nishikawa
Programcı: Shunsuke Kitano
Sanatçı: Yoshifumi Hattori
Senarist: Itaru Yokoyama
Besteci: Masafumi Takada
Motor: id Tech 5
Platformlar:  Microsoft Windows  PlayStation 3  PlayStation 4  Xbox 360  Xbox One 
Çıkış: AVR: 14 Ekim 2014 KA: 14 Ekim 2014 AU: 16 Ekim 2014
Türler: Hayatta kalma-korku oyunu, Üçüncü şahıs nişancı
Mod: Tek oyunculu oyun 
The Evil Within ya da Japoncada bilinen ismiyle Psycho Break Psycho Break (サイコブレイク, Saiko Bureiku), Tango Gameworks tarafından geliştirilen ve Bethesda Softworks tarafından yayınlanan üçüncü şahıs nişancı hayatta kalma korku oyunu.
| --- | --- |
Otorite kontrolü :  BNF: cb16940094j (data)
Tekiree Tamuera

Tekiree Tamuera (d. 16 Şubat 1940, Maiana ), Kiribatili siyasetçi. Tamuera, Büyük Okyanus'ta Mikronezya ada öbeği içerisinde yer alan Kiribati'de 1994 yılında kısa bir süre geçici olarak devlet başkanlığı makamında bulunmuştur.
Tamuera, 24 Mayıs 1994 - 28 Mayıs 1994 tarihleri arasında Danıştay Başkanı olarak Teatao Teannaki'nin ardından devlet başkanlığı görevini geçici olarak üstlendi. 1994'ten 2002'ye kadar meclis başkanı olarak görev yaptı
The Event

| The Event |
| --- | --- |

Tür: Serial drama Thriller Mystery Science fiction
Proje tasarımcısı: Nick Wauters
Başrol: Jason Ritter Sarah Roemer Laura Innes Ian Anthony Dale Scott Patterson Taylor Cole Lisa Vidal Bill Smitrovich Clifton Collins, Jr. Željko Ivanek Blair Underwood
Besteci: Scott Starrett
Ülke: United States
Dili: English
Sezon sayısı: 1
Bölüm sayısı: 22
Yapım
Yönetici yapımcı: Evan Katz Steve Stark Jeffrey Reiner
Gösterim süresi: 43 minutes
Yapım şirketi: Universal Media Studios Steve Stark Productions Open 4 Business Productions
Yayın bilgileri
Kanal: NBC
Yayın tarihi: 20 Eylül 2010 (2010-09-20) - 23 Mayıs 2011 (2011-05-23)


The Event (THE EVƎNT olarak stilize edilmiştir) bilimkurgu, aksiyon/macera ve politik alegori unsurlarını içeren bir Amerikan televizyon dizisidir. Nick Wauters tarafından yaratılmış ve 20 Eylül 2010'dan 23 Mayıs 2011'e kadar NBC'de yayınlanmıştır. Konusu, bazıları gemileri Alaska'ya düştüğünden beri altmış altı yıldır Birleşik Devletler hükûmeti tarafından alıkonulan, diğerleri ise genel halk arasında gizlice asimile olan bir grup uzaylıya odaklanıyor. Dizi 18 Ekim 2010'da 22 bölümlük tam bir ilk sezon için seçildi. 13 Mayıs 2011'de NBC diziyi bir sezon sonra iptal etti.
SuperCup Kadınlar

| --- | --- |
Kuruluş: 20 Ekim 2009
Ülke:  FIBA Avrupa Üyesi Ülkeler
Konfederasyon:  FIBA Avrupa
Takım sayısı: 2
Son şampiyon:  Fenerbahçe (2)
En başarılı takım:  UGMK Yekaterinburg (4)
SuperCup Kadınlar ya da Kadınlar SuperCup, EuroLeague Women ve EuroCup Kadınlar şampiyonları arasında düzenlenen, FIBA Avrupa tarafından organize edilen, basketbol kadınlar Süper Kupa turnuvası.
Tarihçe

Kupanın ilk düzenlenme tarihi 20 Ekim 2009'dur. İlk SuperCup Kadınlar turnuvasında EuroLeague Women şampiyonu Rus temsilcisi WBC Spartak Moscow Region ile EuroCup Kadınlar şampiyonu Türk temsilcisi Galatasaray Vidnoye'de karşı karşıya gelmişlerdir. Bu mücadeleyi Rus takımı WBC Spartak Moscow Region kazanarak ilk kupanın sahibi olmuştur.
Sonuçlar

| Yıl | Ev sahibi | Final> Şampiyon | Final> Skor | Final> İkinci | Üçüncü ve dördüncü> Üçüncü | Üçüncü ve dördüncü> Dördüncü | Üçüncü ve dördüncü>  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| 2009 |  Rusya  (Vidnoye) |  Spartak Moskova Region | 92-59 |  Galatasaray |  |  |  |
| 2010 |  Yunanistan  (Marusi) |  Spartak Moscow Region | 70-61 |  Athinaikos |  |  |  |
| 2011 |  İspanya  (Salamanca) |  Perfumerías Avenida | 95-72 |  Elitzur Ramla |  |  |  |
2012: Düzenlenmedi.
| 2013 |  Rusya  (Yekaterinburg) |   UGMK Yekaterinburg | 72-63 |  Dinamo Moskova |  |  |  |
2014: Düzenlenmedi.
| 2015 |  Belçika  (Braine-l'Alleud) |  USK Praha | 93-91 |  UGMK Yekaterinburg |  Castors Braine |  ESB Villeneuve-d'Ascq |  |
| 2016 |  Fransa  (Villeneuve-d'Ascq) |   UGMK Yekaterinburg | 66-63 |  ESB Villeneuve-d'Ascq |  |  |  |
| 2017 |  Rusya  (Kursk) |  Dinamo Kursk | 84-73 |  Yakın Doğu Üniversitesi |  |  |  |
| 2018 |  Rusya  (Yekaterinburg) |   UGMK Yekaterinburg | 79-40 |  Galatasaray |  |  |  |
| 2019 |  Rusya  (Yekaterinburg) |   UGMK Yekaterinburg | 87-67 |  Nadejda Orenburg |  |  |  |
2020: Koronavirüs salgını nedeniyle düzenlenmedi.
| 2021 |  İspanya  (Valensiya) |  Valencia Basket | 75-68 |   UGMK Yekaterinburg |  |  |  |
| 2022 |  Fransa  (Bourges) |  Bourges Basket | 65-44 |   Sopron Basket |  |  |  |
| 2023 |  Fransa  (Lyon) |   Fenerbahçe | 109-52 |  LDLC ASVEL Feminin |  |  |  |
| 2024 |  Türkiye  (İstanbul) |   Fenerbahçe | 79-63 |   Beşiktaş |  |  |  |
Kulüplere göre performanslar

| Kulüp | Şampiyonluk | İkincilik | Şampiyonluk Yılları | İkincilik Yılları |
| --- | --- | --- | --- | --- |
|  UGMK Yekaterinburg | 4 | 2 | 2013, 2016, 2018, 2019 | 2015, 2021 |

|  Fenerbahçe | 2 | - | 2023, 2024 |  |
|  Spartak Moskova Region | 2 | - | 2009, 2010 |  |
|  Perfumerías Avenida | 1 | - | 2011 |  |
|  USK Praha | 1 | - | 2015 |  |
|  Dinamo Kursk | 1 | - | 2017 |  |
|  Valencia Basket | 1 | - | 2021 |  |
|  Bourges Basket | 1 | - | 2022 |  |
|  Galatasaray | - | 2 |  | 2009, 2018 |
|  Beşiktaş | - | 1 |  | 2024 |
|  Athinaikos | - | 1 |  | 2010 |
|  Elitzur Ramla | - | 1 |  | 2011 |
|  Dinamo Moskova | - | 1 |  | 2013 |
|  ESB Villeneuve-d'Ascq | - | 1 |  | 2016 |
|  Yakın Doğu Üniversitesi SK | - | 1 |  | 2017 |
|  Nadejda Orenburg | - | 1 |  | 2019 |
|  Sopron Basket | - | 1 |  | 2022 |
Ülkelere göre performanslar

| Ülke | Şampiyonluk | İkinclik |
| --- | --- | --- |
|  Rusya | 7 | 4 |
|  Türkiye | 2 | 4 |
|  İspanya | 2 | - |
 Fransa: 1
|  Çekya | 1 | - |
|  Yunanistan | - | 1 |
|  İsrail | - | 1 |
|  Macaristan | - | 1 |
The Humanity Bureau

| --- | --- |
The Humanity Bureau
Yönetmen: Rob W. King
Yapımcı:  Kevin DeWalt  Kelly-Rae Buchan  Danielle Masters 
Yazar: Dave Schultz
Oyuncular:  Nicolas Cage  Sarah Lind  Hugh Dillon  Jakob Davies 
Müzik: Todd Bryanton
Görüntü yönetmeni: Mark Dobrescu
Kurgu: Jackie Dzuba
Stüdyo:  Mind's Eye Entertainment  Bridgegate Pictures  VMI Worldwide 
Dağıtıcı: Minds Eye Entertainment
Çıkış tarih(ler)i: 6 Nisan 2018 (2018-04-06)
Süre: 94 dakika
Ülke: Kanada
Dil: İngilizce
Hasılat: $58,970
The Humanity Bureau, yönetmenliğini Rob W. King'in yaptığı, senaryosunu Dave Schultz'un yazdığı 2018 Kanada yapımı bir bilimkurgu gerilim filmidir. Filmin başrollerinde Nicolas Cage, Sarah Lind, Hugh Dillon ve Jakob Davies yer alıyor. Film 6 Nisan 2018'de Mind's Eye Entertainment tarafından gösterime girdi.
The RuPaul Show

RuPaul Show, 1996 yılında VH1'de prömiyeri yapılan bir Amerikan talk/varyete şovudur. Drag sanatçısı RuPaul'un sunuculuğunu yaptığı şovda birçok müzik sanatçısı konuk olarak yer aldı ve açık bir şekilde eşcinsel bir sunucu tarafından sunulan, Amerika Birleşik Devletleri'ndeki ilk ulusal televizyon programlarından birisiydi. Radyo kişiliği ve eski şarkıcı olan Michelle Visage, programın RuPaul ile birlikte eş sunucusuydu.
TQBF Problemi

Boolean Formülü içerisinde; boolean değişkenleri, sabitler {0,1} ve işlemler { \land ,  \lor ,  \lnot } içeren formüllerdir. Bu formüller,  \forall (bütün hepsi) ve  \exists  (en az bir) belirleyicilerinin eklenmesiyle daha genel bir yapıya sokulabilir.  \forall xQ ifadesi bütün x değişkenleri için Q formülü doğrudur anlamı taşımaktadır. Benzer bir şekilde;  \exists xQ ifadesi ise bazı x değişkenleri için Q formülü doğrudur anlamı taşımaktadır.
Örnek olarak, doğal sayılar kümesinde  \forall x|x+1>x| ifadesi doğrudur. Çünkü, bütün doğal sayıların bir fazlası sayının kendisinden büyüktür. Fakat,  \exists y|y+y=3| ifadesi doğal sayılar kümesi için yanlıştır. Çünkü; hiçbir doğal sayının iki katı 3'e eşit değildir. Ancak biz örek uzay olarak doğal sayıları değil de gerçek sayılar alınsaydı bu ifade doğru olurdu.
Boolean formüllerin belirleyicilerle gösterilmesine, belirleyici boolean formülü denir. Burada kullanılan uzay {0,1} den oluşur. Örnek olarak:
Q=\forall x\exists y[(x\lor y)\land (\lnot x\lor \lnot y)]
ifadesi bir belirleyici boolean formül dür. Burada Q ifadesi doğrudur. Fakat;  \forall x ile  \exists y ifadeleri yer değiştirseydi Q yanlış olurdu.
Eğer bir belirleyici boolean formülde bütün değişken isimleri belirleyici listesinde yer alırsa buna tamamen belirlenmiş boolean formül denir. Tamamen Belirlenmiş Boolean Formüllere cümle denir ve formülü işleme sokarsak daima doğru ya da yanlış sonuç üretir. Yukarıdaki örnek bir tamamen belirlenmiş boolean formüldür. Çünkü, bütün değişkenler (x,y) belirleyici olarak yer alır. Eğer  \forall x ifadesini çıkarsaydık, yukarıdaki örnek tamamen belirlenmiş boolean formül olmazdı.
Problem Tanımı

TQBF problemi bir tamamen belirlenmiş boolen formül ün doğru ya da yanlış olduğunu belirleyebilmektir. Bunun için şöyle bir dil tanımlanır.
TQBF={ | Q bir doğru olan tamamen belirlenmiş boolen formül }
Teori

TQBF PSPACE-complete'dir.
Çözüm Önerisi

TQBF'in bir PSPACE-Complete olduğunu göstermek için, cümle içindeki değişkenlere değer atan bir formül bulup tekrarlayan bir şekilde değişken değerlerini inceleyip formülün doğru ya da yanlış olacağı bulunur.
PSPACE de tanımlı bütün A dillerinin TQBF e indirgendiğini göstermek için, polinomial yer ile sınırlı A ya ait bir Turing makinesi ile başlayacağız. Daha sonra, boolean formül ile kodlanarak ve A diline ait makina ile çalışacak bir kelime ile polynomial zamana indirgemeye çalışacağız. Şöyle ki, formül ancak ve ancak makina gönderilen kelimeyi kabul ederse doğru olacak.
Burada formülü oluştutmak için Savitch Teoremi kullanacağız. Yaratılacak yeni formül, ana formülü parçalara bölecek ve her bir belirleyiciyi formülde yerine koyarak daha küçük formüller yaratacak.
The Roxy Theatre

The Roxy Theatre
The Roxy Theatre (bazen sadece The Roxy), Batı Hollywood, Kaliforniya'daki Sunset Strip'te bulunan ünlü gece kulübü.
23 Eylül 1973 yılında, esas partnerleri David Geffen, Eliot Roberts, Peter Asher ve Pushplay ile birlikte Elmer Valentine ve Lou Adler tarafından açıldı. Neil Young ve grubu The Santa Monica, kulübün açıldığı ilk hafta Roxy'de çaldılar.
Bob Marley, Korn, Bruce Springsteen, Tori Amos, Foo Fighters, Avril Lavigne, Guns N' Roses gibi yüzlerce ünlü kişi, burada sahne aldılar.
TRACECA

| TRACECA |
| --- | --- |
Kuruluş: 1993
Tür: Ekonomik iş birliği organizasyonu
Konum: Avrasya
Üyeler: 14 üye ülke ve 28 AB üyesi ülke
Genel sekreter: Mircea Ciopraga
Resmî site: traceca-org.org/en/home/
TRACECA ya da Avrupa-Kafkasya-Asya Taşımacılık Koridoru (akronim: Transport Corridor Europe-Caucasus-Asia); Karadeniz, Kafkasya ve Orta Asya’da uluslararası ulaştırmayı geliştirmeyi ve siyasi-ekonomik ilerlemeyi hedefleyen, devletler arası bir program. Kısaca İpek Yolu'nun yeniden canlandırılması amacıyla Orta Asya cumhuriyetlerini Kafkasya üzerinden Avrupa’ya bağlamayı hedefleyen ağırlıklı olarak demiryolu olmak üzere tüm ulaşım sistemlerini kapsayan bir Doğu – Batı koridoru olarak da tanımlanabilir.
Örgütün, ilk olarak Avrupa Komisyonu tarafından finanse edilen Daimi Sekreterliği Azerbaycan'ın başkenti Bakü şehrinde bulunmaktadır. Ayrıca Odessa'da bir bölgesel ofisi bulunmaktadır. 2009 yılından bu yana, organizasyon tümüyle üye devletler tarafından finanse edilmektedir.
Tarihçe

Yer altı ve yer üstü kaynakları bakımından oldukça zengin olan bölge ülkelerinin kaynaklarının küresel pazarlara, özellikle de Batıya ulaştırılmasında güçlüklerle karşılaşılmıştır. Zengin yeraltı ve yerüstü kaynakları, bölgenin büyük bir pazar olması, TRACECA rotasının AB ile Asya ve Uzak Doğu ülkeleri arasında bağlantı oluşturması gibi nedenler, özellikle AB’nin ilgisini bölgeye çekmiştir. AB, Sovyetler Birliği dağıldıktan sonra, bağımsızlığını kazanan bölge ülkeleriyle 1991'den beri ticari ve ekonomik ilişkilerini geliştirmek girişimlerde bulunmuştur. Bu amaçla Orta Asya ve Kafkasya bölgelerine yönelik yardım ve yatırım programları geliştirmiştir. Bunlardan en önemlisi 1991 yılından beri yürütülmekte olan TACIS Programı’dır. Bu proje ile, bölgenin piyasa ekonomisi ve global pazarlarla entegrasyonu hedeflemiştir.
AB’nin bölgeyle ticari ilişkilerini geliştirmesi için, coğrafi uzaklık ve bölge ülkelerinin ulaşım altyapılarının yetersizliği sorununu gündeme getirmiştir. Bu sebeple Avrupa Birliği, TACIS Programı çerçevesinde TRACECA programını geliştirmiştir.
Programın temeli, 8 TRACECA ülkesinin (Ermenistan, Azerbaycan, Gürcistan, Kazakistan, Kırgızistan, Tacikistan, Türkmenistan ve Özbekistan) ticaret ve ulaştırma bakanlarının Avrupa Birliği yetkilileriyle Brüksel'de katıldıkları bir konferansta, 1993 yılının Mayıs ayında atılmıştır. Avrupa Birliği tarafından, zengin kaynaklara sahip Orta Asya cumhuriyetlerini, Kafkasya üzerinden, ağırlıklı olarak demiryolu ile Avrupa’ya bağlamayı hedefleyen ve tüm ulaşım sistemlerini kapsayan Doğu-Batı arasında bir koridor olarak düşünülmüştür.TRACECA'nın temel amaç ve çerçevesi, 2004 yılındaki Bakü İnisiyatifinde, ve sonrasında 2006 yılında bakanlar düzeyinde Sofya'da yapılan konferansta belirlenmiştir
8 Eylül 1998 tarihinde, Türkiye, Ukrayna, Moldova, Romanya ve Bulgaristan’ın da katılımıyla toplam 12 ülkenin Devlet ve Hükûmet Başkanları tarafından, Avrupa-Kafkasya-Asya Ulaşım Koridorunun Geliştirilmesi İçin Çok-Taraflı Temel Anlaşma imzalanmıştır.Bu anlaşma TRACECA Programı’nın uygulanmasına temel teşkil etmektedir.
Temel amaçlar

Bölgede yeni istihdam olanakları yaratmak ve ekonomik büyümeyi sağlamak amacıyla, programa dahil ülkeler arasında ticaretin geliştirilmesi ön sıralarda yer almaktadır. Buna ek olarak aşağıda belirtilen amaçlar belirlenmiştir:
Uluslararası ulaştırma koridoru TRACECA’nın Trans-Avrupa Ağlarına (TENs) bağlanması;
Ticaret ve ulaştırma sistemlerinin gelişimi sağlayan faktörlerin tanımlanması;
TRACECA projeleri ve özel yatırımcı kredilerinin desteklenmesi;
Uluslararası yol, hava ve demiryolu ve ulaştırma pazarlarına erişimin kolaylaştırılması;
Malların, yolcuların ve doğal kaynakların (petrol ve doğal gaz) dolaşımının teşvik edilmesi;
Trafik emniyetinin, malların güvenliğinin ve çevresel korumanın garanti altına alınması;
Çeşitli ulaştırma modları (karayolu, denizyolu, havayolu) arasında eşit rekabet kuralların oluşturulması.
Projeye dahil ülkeler

Projeye dahil ülkeler aşağıda listelenmiştir:
Ermenistan
Azerbaycan
Bulgaristan
Gürcistan
Kazakistan
Kırgızistan
İran
Moldova
Romanya
Türkiye
Ukrayna
Özbekistan
Tacikistan
Türkmenistan
Avrupa Birliği
İran 2009 yılında organizasyona dahil olmak için resmi başvuru yaptı. Ancak Birleşmiş Milletler ve Avrupa Birliğinin İran'a yönelik amborgoları yüzünden, İran'ın projelere katılımı konusunda sıkıntılar yaşanmaktadır.
Sekreterya

Daimi Sekretaryanın başında, icra makamı olarak Genel Sekreter görev yapmaktadır.
| № | Genel Sekreter | Görev tarihi | Ülkesi | Ref |
| --- | --- | --- | --- | --- |
| 1 | Zviad Kvatçantiradze | 2000–2002 |  Gürcistan |  |
| 2 | Abdürreşid Tagirov | 2002–2003 |  Özbekistan |  |
| 3 | Ludmila Trenkova | 2003–2006 |  Bulgaristan |  |
| 4 | Rustan Yenalinov | 2006–2009 |  Kazakistan |  |
| 5 | Cantoro Satıbaldiyev | 2009–2011 |  Kırgızistan |  |
| 6 | Eduard Biriucov | 2011–2014 |  Moldova |  |
| 7 | Mircea Ciopraga | 2015– |  Romanya |  |
AB ülkeleri   TRACECA'ya dahil ülkeler    TRACECA anlaşmasını imzalamış fakat henüz dahil olmayan ülkeler