değerlerle atanması formula_7'nin değerini doğru yapmış olur, ve karşılanabilir olmuş oluyor.

İlk baştaki amacımız NP sınıfında olan iki problem arasında birbirine indirgeme yapmaktı. 3SAT bir formül, diğer tarafta da Klik bir çizge olduğu halde, ispat sonucunda indirgeme sağlandı ve problemler birbirinin cinsinde gösterilebildi.

 Michael Sipser, Introduction to the theory of computation 2nd edition, pg.274




Halluks Valgus

Ayak başparmağının kökündeki eklemin açısının bozularak başparmağın diğer parmaklara doğru dönmesine denilir. Bu durum, eklemde şekil bozukluğuna ve açılanma ilerledikçe şiddetli ağrıya yol açar. Şekil bozukluğu zamanla kalıcı eklem sertliğine sebep olur.
Ayak başparmağının kökünde bulunan eklem veya eklemlerin açısının bozularak diğer parmaklara doğru dönmesine denilir. Bu durum ayakta nasırlaşmaya, ağrıya yol açabilir. Şekil bozukluğu ise kalıcı eklem sertliğine sebebiyet verebilir. Tedavi yöntemleri mevcuttur.




Garena

Garena (açılımı Global Arena), Ocean Global Holding ve geliştirici Singapore Ocean Technology and Media Co. tarafından hizmet veren çevrimiçi oyun platformudur. Oyunlar LAN yöntemiyle oynanır. Oyuncular bu oyunlara kurucu veya oyuncu olarak katılabilir. Garena sistemi, tecrübe puanı elde edilerek oluşturulur. Buna "Ladder System" denir. Ladder sistemde oyuncular kazandıkları veya kaybettikleri oyunlara göre sıralamaya yerleşir ve tecrübe kazanırlar. Ayrıca oyuncular interaktif oyunlar "GGTV" aracılığıyla izleyebilirler. "GGTV" turnuvaları veya oyunları canlı olarak izleme imkânı sunar.

Oyuna girmek ve oynamak ücretsizdir. Fakat bazı özelliklerden faydalanabilmek için para ile eşya veya altın, gümüş üyelikler alınabilir.

Garena yaklaşık 153 farklı ülkeden 20.000.000 civarı oyuncu ile faaliyet gösterir. 43 ülke ise oyunda resmi olarak adı geçen ülkelerdir. Örneğin; Türkiye, Yunanistan, Almanya gibi.






Musa Dağ İsyanı

Musa Dağ İsyanı (1915), I. Dünya Savaşı zamanında Osmanlı Devleti'nin İskenderun Bölgesi Samandağ Bucağına bağlı yedi Ermeni köyü halkının Musa Dağı'nda toplanıp yolların kontrol altına alındığı hâlde İskenderun kıyılarında bulunan bir Fransız harp gemisinin Ermeni milisleri ve diğer isyancıları gemiye aldıkları olay.

Birinci Dünya Savaşı, İtilaf Devletleri'nin İskenderun Bölgesi kıyılarına bir çıkarma yapacağı sözleri üzerine Samandağ Bucağına bağlı yedi Ermeni köyünün halkı Osmanlı'ya olan vergilerini vermemişler ve zorunlu askerlik görevlerini yerine getirmemişlerdi.

Osmanlı hükümeti kanunlara uymaları için bu bölgeye memurlar göndermiş. Bölge Ermenileri bunları dinlememekle birlikte silahla karşı koymuşlardır. Bu olaylar sonrasında yedi Ermeni köy halkı Musa Dağı'nda toplanmış. Bölge komutanı Albay Galip, jandarma alayıyla Musa Dağ'ından inen yolları kontrol altına aldırmış. Albay Galip, dağa çıkarak bir antlaşmaya varmaya calışmışdır. Dağda kimseyi bulamayan Albay Galip askerlerine çevreyi taramalarını istemiş ve Ermenilerin denize doğru uzanan bir yamaçtan Akdeniz indikleri anlaşılmıştır. Albay Galip ve askerleri burada 20-30 kadar hayvan ölüsüyle karşılaşmış, ama hiçbir Ermeni'ye rastlamamışdır. İskenderun kıyılarını gözetleyen bir Fransız harp gemisinin buradaki Ermenileri taşıdıkları ortaya çıkmışdır.

Osmanlı devleti bu durumda müfettiş yollamış ve yapılan araştırmalarda hiçbir insan cesedine rastlanmadığı gibi; yaralı veya hasta bir kimse de bulunamamıştır.

Avusturyalı yazar Franz Werfel bu olaylar hakkında ilk defa 1933 yılında yayınlanan "" (Musa Dağı'ndaki kırk gün) adlı bir kitap yazmıştır. Bu romanda tehcir zamanı Musa Dağı'na sığınan ve Osmanlı Devleti'ne karşı direniş gösteren Ermeni halkının yaşadıkları anlatılır.




Gardez

Gardez (Peştuca: ګردېز,), Afganistan'ın Paktiya Vilayeti'nin yönetim merkezi olan şehir.

Şehrin nüfusu 1979 nüfus sayımına göre yaklaşık 10.000 kişiydi. Fakat 2008 yılında yaklaşık 70.000 kişi olduğu tahimn edilmektedir. Deniz seviyesinden yaklaşık 2.300 metre yükseklikte olup Usame bin Ladin'in bir zamanlar gizlendiğine dair haberler ile tanınan mağara ve tünellerden oluşan Tora Bora bölgesine yakın bir yerde bulunmaktadır.

Şehrin su kaynağı Ab-e İstada adlı göle dökülen Gardez Nehridir.

Pakistan ile Gazni'yi birbirlerine bağlayan yol ve Kâbil ile Host'u birbirlerine bağlayan yol (Gardez şehri Host'ın batısında ve Kâbil'in 60 mil güneyinde yer almaktadır) olmak üzere iki ana yolunun bağlantı noktasında yer almaktadır.

Bala Hisar Kalesi'nin eteğinde bulunan eski kasaba dört bölgesine ayrılmaktadır:





Saint Hilarion Kalesi

Saint Hilarion Kalesi, Sent Hilaryon kalesi, Aziz Hilaryon kalesi (St.Hilarion), Beşparmak dağları üzerinde kurulan üç kaleden en batıda yer alanıdır. Ada halkını olası Arap akınlarına karşı korumak ve muhtemel sardırılara karşı uyarmak amacıyla inşa edilmiştir. Denizden 700 metre yükseklikte oldukça sarp iki tepe üzerine kurulmuştur.
Kale, bugünkü adını Kudüs'ün Araplar tarafından fethinden sonra Kıbrıs'a göç eden ve ömrünün son yıllarını burada ibadetle geçiren bir keşişten almıştır.
Bizans döneminde onarımdan geçen kale, 1489 yılında Venedikliler'in adayı ele geçirmesiyle boşaltılmış ve kaderine terk edilmiştir.




Allmänna konst- och industriutställningen

Allmänna konst- och industriutställningen (anlam: Genel Sanat ve Endüstri Sergisi), Stockholmsutställningen 1897 olarak da bilinen 1897 yılında İsveç'in başkenti Stockholm şehrinde düzenlenmiş dünya fuarı.

Serginin yeri Djurgården Adasında yer aldı ve adanın batı kısımındaki binaların büyük çoğunluğu bu sergiden kalmadır. Djurgårdsbron (Djurgården Köprüsü), günümüzde açık hava müzesi ve hayvanatbahçesinde kullanılan Skansens bergbana adlı füniküler ve Nordiska Müzesi de bu sergiden kalmadır.

Serginin göze çarpan yapılarından biri de Ferdinand Boberg tarafından tasarlanan ahşap yapımlı sergi salonudur. 16.820 metrekare genişliğindeki sergi salonu, 100 metre uzunluğundaki bir kubbe ve dört minareye sahiptir. Sergi salonu, sergi bittikten sonra, kalıcı olmayan malzemeler ile yapılan diğer pavyonlar ile birlikte yıkıldı.

Serginin temalarından biri de, film ve fotoğraf da dahil olmak üzere, o günkü yeni medya teknolojileri idi. Serginin açılış töreni II. Oscar'ın açılış söyleviyle ile birlikte görüntülendi.




J. Willard Gibbs

Josiah Willard Gibbs (d. 11 Şubat 1839 New Haven, Connecticut - ö. 28 Nisan 1903 New Haven, Connecticut) Amerikalı bilim insanı. Fizik, kimya, matematik ve makine mühendisliği alanlarında çalışan Gibbs, klasik termodinamiğin ve kurucusu sayıldığı fiziksel kimyanın teorik temellerini ortaya koydu. Matematikçi olarak diğer alanlardaki çalışmalarının da katkısıyla vektör hesabını geliştirdi. 1863'te Amerika Birleşik Devletleri üniversitelerinde mühendislik alanında verilen ilk, doğa bilimleri dalında verilen ikinci doktor unvanının sahibi oldu ve kariyeri boyunca doktorasını yaptığı Yale Üniversitesi'nde çalıştı.

Gibbs'in çalışmaları sayesinde, termodinamiğin ikinci yasası sadece buhar makinelerine uygulanabilir olmaktan çıkar ve kimyasal, elastik, elektrokimyasal, elektromanyetik vb. sistemlere de uygulanabilir hale gelir.

J. Willard Gibbs 11 Şubat 1839 tarihinde Connecticut eyaletine bağlı New Haven'da ABD'ye 17. yüzyılda göç etmiş bir ailenin 6. kuşağı olarak dünyaya geldi. Yale'de kutsal metinler profesörü olan Josiah Willard Gibbs Sr. ve Mary Anna Van Cleve Gibbs'in beş çocuğundan biri ve tek oğludur.

Üniversite'ye "Hopkins Grammer School, New Heaven"'da hazırlanan Gibbs, 1854 yılında Yale'e lisans eğitimi için kabul edildi. 1858'deki mezuniyetine kadar matematik ve Latincedeki başarısı nedeniyle çeşitli ödüllerin de sahibi oldu. Mezuniyet sonrası akademik çalışmalarına devam etti ve 1863 yılında doktor unvanını yine aynı üniversiteden makine mühendisliği alanında aldı. Gibbs'in doktorayı bitirdiği sene, ABD'de doktora programları henüz iki senedir açıktı. Bu durumunda da etkisiyle ülke tarihinde bütün fen bilimlerinde ikinci, mühendislikte verilmiş ilk doktora derecesinin sahibi olan bilim insanıdır.

Doktora sonrası Yale'de okutman olarak bir dönem ya da üç yıl geçiren Gibbs, bu zaman zarfında, ilk iki senesinde Latince son senesinde ise fizik ya da doğa felsefesi dersleri verdi. 1866 yılında iki kız kardeşi ile beraber Avrupa'ya gitmek üzere New Heaven'dan ayrıldı.

İlk önce bir süre Paris'te kalan Gibbs, sonraki sene Magnus'un ve diğer fizikçi ve matematikçilerin derslerine katıldığı Berlin'e geçti. Son iki senesini Helmholtz ve Kirchoff'un ders verdiği Heidelberg'de geçirdikten sonra 1869'da New Heaven'a geri döndü. Akademik kariyerinin gelişiminde kısa Avrupa seyahatinin etkisinin mühendislik eğitimine nazaran belirleyici olduğu söylenebilir.

Avrupa seyahatinden iki sene sonra, 1871'de, henüz ilk bilimsel makalesini yayımlamamışken Yale'de vefaatine kadar sürdüreceği matematik fiziği profesörlüğü görevine kabul edildi. Kariyerinin ilk dokuz senesinde maaş almadan çalıştı ve diğer üniversitelerden gelen teklifleri de reddetti. 1873'te önemli makalelerinden ilki ""Akışkanlar termodinamiğinde grafik yöntemleri""ni ve ikincisi ""Maddelerin termodinamik özelliklerinin geometrik anlatımı için bir method""u yayımladı. Bu makalelerle Gibbs, matematik fiziği alanındaki uzmanlığını bilim dünyasına gösterirken, o iki bölüm halinde 1876 ve 1878 yıllarında yayımlanacak olan ""Heterojen maddelerin dengesi üzerine""yi hazırlıyordu. Kimyasal tepkimenin enerjisi ile ısı enerjisinin bağlantısını selefi teorilere göre çok daha net bir şekilde açıklayan bu makalenin yayımlanması bile sorunluydu. Çünkü dergiyi yayımlayan Connecticut Sanat ve Bilimler Akademisi üyelerinin hiçbiri bu makaleyi tam olarak değerlendirebilecek bilgiye sahip değildi. Makale akademisyenlerin Gibbs'e olan güvenlerine dayanarak yayımlanabildi. Aynı nedenle uzun bir süre hak ettiği ilgiyi görmedi, ta ki 1892'ye dek.

1892'de Ostwald tarafından Almancaya, 1899'da Le Chatelier tarafından Fransızcaya çevrilen makalesi Maxwell'in de verdiği destekle kendisine Avrupa'da hakkettiği ünü sağladı. Yayımladığı son çalışması 1902 yılında yayıml