stanford-oval/wikipedia huggingface dataset:
Bilimsel teori
Kuramlar Hakkında > Modeller Olarak Kuramlar

Bilimsel kuramları dilsel ifadeler yerine modellerle tanımlayan anlamsal kuram görüşü; bilim felsefesinin kuram oluşumunda baskın durum olarak, kabul görmüş kuramlar görüşünün yerini almıştır. Bir haritanın, bir şehrin ya da bir ülkenin bölgelerini temsil eden grafiksel bir model olması gibi, bir model de, gerçekliği temsil amacıyla oluşturulmuş mantıksal bir taslaktır ("gerçeklik modeli").
Bu yaklaşımda, kuramlar, gerekli ölçütleri karşılayan modellilerin belirli kategorileridir. Herhangi biri, modeli tanımlamak için dili kullanabilir; ancak, kuram modeldir (ya da benzer modellerin bir koleksiyonudur) ve modelin tanımı değildir. Örneğin; Güneş sisteminin bir modeli, Güneşi ve gezegenleri temsil edecek soyut nesnelerden oluşabilir. Bu nesneler; temsil ettikleri gezegenlerin konumları, hızları ve kütleleri gibi gerçek özelliklerle ilişkilendirilmiştir. Model parametreleri- örneğin Newton'un Yerçekimi Yasası konum ve hızların zamanla nasıl değişeceğini belirler. Bu durumda, model; gelecek gözlemleri doğru tahmin edip etmediğini görmek için test edilebilir; astronomlar modellerin nesnelerinin konumlarının, zaman içinde, gezegenlerin gerçek konumlarıyla uyuştuğunu doğrulayabilirler. Gezegenlerin birçoğu için, Newton Modelinin tahminleri doğrudur; Merkür için bu model kısmen hatalıdır ve bu gezegen için, Newton Modeli yerine Genel Görelilik Modeli kullanılmalıdır. 
"Anlamsal" kelimesi, bir modelin gerçek dünyayı temsil etme biçimi olarak adlandırılır. Bu temsil (gerçek anlamıyla yeniden -gösterme) bir durumun belirli yönlerini ya da bir takım olaylar arasındaki ilişki tarzını ifade eder. Örneğin, bir evin ölçek modeli ya da Güneş sisteminin bir modeli şüphesiz ki gerçek bir ev ya da gerçek bir Güneş sistemi değildir. Gerçek bir ev ya da Güneş sisteminin bir modelde temsil edilen yönleri -sadece bazı kısıtlı durumlarda- gerçek varlığın birer örneğidir. Bir evin ölçek modeli, gerçek bir ev değildir. Ancak ev hakkında bir şeyler öğrenmek isteyen biri için ya da gerçeği kavramak isteyen bir bilim insanı için yeteri ölçüde detaylı bir ölçek modeli yeterli olabilir.
Kuramlar Hakkında > Modeller Olarak Kuramlar > Örnek: Plotemi

Kuramların nasıl model teşkil ettiğinin bir örneği, gezegensel sistemdeki Ptolemi Kuramında görülebilir. Bu modelde, Dünya merkezde yer alır ve Güneş ve gezegenler, Dünya etrafında dairesel yörüngeler çizerek hareket ederken; yıldızlar, gezegenlerin yörüngeleri dışında Dünya küresi etrafında sabittir. Gezegenlerin geri hareketi, birbirinden bağımsız gezegenlerin daha küçük olan dairesel yörüngeleri ile açıklandı. Bu modele dayanarak; gezegensel konumları, oldukça yüksek bir doğruluk payıyla tahmin eden matematiksel hesaplamalar yapılabilirdi. Ptolemi'nin gezegensel sistem modeli, Kopernik'in zamanına kadar 1500 yıldan daha uzun bir süre geçerli kaldı.
Bu durum, bir kuramın bazı bilimsel gerçekleri nasıl açıklayabildiğini gösterir ancak yine de gerçekliğin tatmin edici bir resmi değildir. Daha sonra gelen ve daha geçerli olan bir kuram, öncekinin yerini alabilir. Örneğin; Batlamyus kuramı pek çok geçici varsayım içermekteydi; Kopernik kuramı ise daha kolay, sade ve ayrıca daha doğrudur.
Kuramlar Hakkında > Modeller Olarak Kuramlar > Model ve Kuram Arasındaki Farklar

Pek çok yorumcuya göre, kuramların ayırt edici özellikleri, açıklayıcı olmalarının yanı sıra, betimleyici de olmalarıdır. Modeller ise (yine de sınırlı bir tahmin gücüne sahip olmasına rağmen) yalnızca betimleyicidir. Filozof Stephen Pepper da model ve kuramın ayrımını yapmış ve 1948 yılında, genel kuram ve modellerin, bilim adamlarının bir olayı nasıl kuramlaştırdığını kısıtlayan bir "kök" benzetmesi üzerine dayandırıldığından bahsetmiştir. Böylece, test edilebilen hipotezler elde etmiş oluyorlardı. 
Mühendislik uygulamaları, matematiksel modeller ve fiziksel modeller arasındaki ayrımı ortaya koymuştur.
Kuramlar Hakkında > Kuram Oluşumunda Varsayımlar

Bir varsayım (ya da aksiyom) kanıtsız kabul gören bir ifadedir. Örneğin; varsayımlar, mantıksal savunmada terim olarak kullanılabilir. Isaac Asimov varsayımları aşağıdaki gibi tanımlamıştır;
…doğruluğunu ya da yanlışlığını kanıtlamanın herhangi bir yolu olmadığından, bir varsayımdan doğru ya da yanlış diye bahsetmek doğru değildir (Eğer bir yolu olsaydı, o zaman varsayım olmazdı). Varsayımları; çıkarımlarının gerçekliğe uyup uymamasına dayanarak, yararlı ya da faydasız olarak ele almak daha doğru olacaktır. Bir yerlerden başlamamız gerektiği için, varsayımlar üretmek zorundayız ama en azından mümkün olduğunca az varsayım üretmek en iyisi.
Bazı varsayımlar, tüm deneysel iddialar için gereklidir (örneğin; gerçeğin var olduğu varsayımı). Ancak, kuramlar genellikle geleneksel anlamda varsayımlarda bulunmazlar (ifadeler kanıt olmaksızın kabul edilir). Varsayımlar  prosedüre sıklıkla yeni kuramların oluşumu sırasında dâhil olsa da, bu varsayımlar ya kanıtlarla desteklenmiş (önceden var olan kuramlar gibi) ya da kanıtlar kuramı doğrulama esnasında ortaya çıkmıştır. Bu; kuramın doğru tahminler yapmasını- ki bu başlangıçta ortaya atılan herhangi bir varsayımın, doğru ya da test edilen şartlar altında aşağı yukarı doğru olduğuna bir kanıttır- gözlemlemek kadar kolay olabilir. 
Klasik varsayımlar-kanıt olmaksızın-  eğer kurama, sadece varsayımı geçer olduğunda (ya da nispeten geçerli olduğunda) başvurulacaksa kullanılabilir. Örneğin; Özel Görelilik Kuramı eylemsiz referans çerçevesini varsayar. Bu kuram, varsayımlar geçerli olduğunda doğru tahminlerde bulunur ve varsayımların geçerli olmadığı durumlarda ise doğru tahminler yapamaz. Bu gibi varsayımlar sıklıkla eski kuramların, yeni kuramların yerini aldığı noktalardır (genel görelilik kuramı eylemli gözlem çerçevesi için de kabul görür). 
Etimolojik olarak konuşmak gerekirse, "varsayım" terimi, kendi standart kullanımından daha kapsamlıdır. The Oxford İngilizce Sözlüğü (OED) ve sanal bir sözlük olan Vikisözlük, kelimenin Latin kaynağının, kabul etmek, kendine almak, benimsemek, zorla almak gibi anlamlara gelen   "assumere" kelimesi olduğunu belirtmiştir. Bu kök, İtalyancada "sumere" ve İspanyolcada "sumir" kelimeleriyle, çift anlamlı olarak hayatta kalmıştır. Oxford İngilizce Sözlüğü'nde "assume" (varsaymak) kelimesinin ilk anlamı almak, kabul etmek, benimsemektir. Aslında bu terim, köken bakımından "göğe yükselmek" anlamına geliyordu ve dini bağlamda kullanılırdı (özellikle de Bakire Meryem'in vücudunun bozulmadan göğe çıkarılması anlamında/ 1297 CE). Ancak sadece "bir arkadaşlığı ya da ortaklığı kabul etmek anlamında da kullanılırdı. Dahası, "assumere" kelimesinin diğer anlamları arasında "kendi kendini araştırmak, girişmek/üzerine almak (özellikle hukukta), görünüşe bakmak, bir şeye sahipmiş gibi davranmak da vardı. OED'nin "assume"(varsaymak) kelimesi için tüm tanımları, yine OED'nin "assumption"(varsayım) kelimesi için olan tanımlarıyla anlam olarak tamamen uyumludur.
Kuramların Tanımları > Kuramların Benzerlik ve Metaforları

Bilimsel kuramın konsepti benzerlikler ve metaforlar kullanılarak da tarif edilmiştir Örneğin; mantıksal deneyci Carl Gustav Hempel bilimsel kuramın yapısını için  "karışık uzamsal ağ" benzetmesini yapmıştır.
Konuları kuramda yer alan temel ve türev hipotezler, kısmen tanımları, kısmen ikincil uyumluluğunu bağlarken, terimler ilmekler olarak temsil edilir. Tüm sistem gözlem düzlemi üzerinde ve yorumlama kurallarına göre kendisine demirlemiş olarak, yüzer. Bu durum; iplerin ağın bir parçası olmaması ama gözlem düzleminde belirli yerlerin ikinci belirli noktalara bağlanması olarak görülebilir. Bu yorumlama bağlantıları sayesinde, sözü edilen ağ bilimsel bir kuram olarak işlev görebilir. Yorumlamalar yoluyla, belirli gözlemsel verilerden, teorik ağdaki bir noktaya ulaşabilir; oradan da tanımlamalar ve hipotezler yoluyla gözlem düzlemine geri inmemize izin veren başka diğer noktalara ilerleyebiliriz.
Michael Polanyi de bir kuram ve harita arasındaki benzerliği bir analoji ile anlatmıştır;
Bir kuram kendimden başka bir şeydir. Kuram; kâğıt üzerinde belirlenmiş bir kurallar sistemi olarak başlamış olabilir. Bu bağlamda matematiksel kuram mükemmelliğe ulaşmıştır. Ama coğrafi bir harita bile bir bölgede kişinin yolunu bulabilmesi için kendi içinde bir takım katı kurallar oluşturur (aksi durumda o bölge meçhul kabul edilir). Gerçekten de tüm kuram, uzay ve zaman üzerinde genişletilmiş bir tür harita olarak kabul edilebilir.
Bir bilimsel kuram, dünya hakkındaki temel bilgilere sahip; araştırılması, yazılması ve paylaşılması gereken bir kitap olarak da düşünülebilir. 1623 yılında Galileo Galilei şöyle yazmıştı;
Felsefe (mesela fizik) bu büyük kitapta yazılmıştır- bizim bakışlarımızın için sürekli açık olan evrenden bahsediyorum- ama ilk önce yazıldığı dili anlamadan ve karakterleri yorumlamadan anlaşılamayacak bir kitap bu. Bu kitap matematik dilince yazılmıştır ve karakterleri üçgenler, daireler ve diğer geometrik şekillerdir;  insan gücüyle tek bir kelime bile anlamanın imkânsız olduğu karakterler ve yokluklarının karanlık bir labirentte dolaşmaktan farksız olduğu karakterlerdir.
Kitap benzetmesi çağdaş bilim filozofu Ian Hacking tarafından aşağıdaki metne de uyarlanabilir.
Ben kendi adıma bir Arjantin fantezisini tercih ederim. Tanrı, eski Avrupalıların hayal edeceği tarzda bir "Doğa Kitabı" yazmadı. O, her kitabi mümkün olduğunca kısa tutulmuş ama birbirleriyle çelişen bir Borgesian Kütüphanesi’ni yazdı. Hiçbir kitap gereksiz değildir. Orada her bir kitap için, doğanın insan gücüyle ulaşılabilecek bir parçası var. Mesela sadece tek bir kitap- bir başkası değil- doğada ne olup bittiğini etkileyen, tahmin eden ve anlayan şeyler yazabilir. Leibniz, "Tanrı en kolay kanunları seçerek olay çeşitliliğini en fazla arttıran bir dünya seçmiştir" demiştir. Tam da bu yüzden, olayları arttırmanın ve aynı zamanda en basit yasalara sahip olmanın en iyi yolu, tutarsız, birbiriyle çelişen kanunlara sahip olmaktır; her birinin herhangi bir şey için uygun olduğu ama diğer hepsi için geçersiz olduğu kanunlar.
Fizik Kuramları

Fizikte kuram terimi genellikle matematiksel sistemler için kullanılır. Bu matematiksel sistemler küçük varsayımsal dizisinden türetilir (genellikle simetriler, uzayda ya da zamanda yer eşitliği ya da elektronların kimliği, vs.). Matematiksel sistemler verilen fiziksel sistemler kategorisi için deneysel tahminler üretebilirler. Bunun iyi bir örneği klasik elektromanyetiktir. Klasik elektromanyetik yerelleştirilmiş bakışım kuramından (Maxwell'in denklemleri denen birkaç denklemden oluşur) türetilen sonuçları çevreler. Klasik elektromanyetik kuramının özel matematiksel yönü 'elektromanyetizmin kuralları' olarak isimlendirilir. Elektromanyetizmin kuralları özel matematiksel yönleri destekleyen tekrarlanabilir kanıtları ve tutarlılık düzeyini ifade eder. Elektromanyetik kuram içinde genellikle özel durumlara elektromanyetizmin nasıl uygulandığı hakkında birçok varsayım vardır. Birçok varsayımın önceden yeterli olarak test edildiği düşünülür, ancak yeni olanlar her zaman test edilme aşamasındadır ya da test edilmemiştir. İkincisinin örneği radyasyon tepki kuvveti olabilir. 2009 itibarıyla, senkrotonda yüklerin yinelemeli hareketi üzerinde bunun etkisi ortaya çıkarılabilir ama sadece zamandaki ortalama etkisi olarak. Bazı araştırmacılar anlık seviyedeki etkileri (ortalama değil) gözlemleyebildiği deneyleri göz önünde bulundururlar.
Bilimsel Kuram Örnekleri

Birçok araştırma alanı herhangi bir özel isme sahip değildir, örneğin gelişim biyolojisi. Bilimsel bilgiyi destekleyen kanıtın değerine bağlı olarak, bilinen bir kuramın dışında kalan bilimsel bir bilgi bile yüksek seviye kesinliğe sahip olabilir. Bunun yanı sıra, sınıflandırma mutlak değildir çünkü kuramlar birçok farklı alandan kanıtlar toplar.
Biyoloji: hücre kuramı, modern evrimsel sentez, tohum kuramı, çözünmez miras kuramı, iki yönlü miras kuramı
Kimya : çarpışma kuramı, gazların devinimsel kuramı, Lewis kuramı, moleküler kuram, molekül orbital kuramı, geçiş durumu kuramı, değerlik bağı kuramı
Fizik : atom kuramı, büyük patlama kuramı, M kuramı, pertürbasyon kuramı, görelilik kuramı (klasik mekanikten sonra gelecek olan), kuantum alan kuramı
Diğerleri : iklim değişikliği kuramı (iklim biliminden), plaka tektoniği kuramı (yerbiliminden)
Olan kuramdan merkezi bir yaklaşım: Genel görelilik kuramı kütleçekim alanında ışığın büküldüğünü öngörür. Bu tahmin, 1919 yılının Mayıs ayında gerçekleşen Güneş tutulması sırasında test edilmiştir.
Merkür'ün günberisinin devinimi. Merkür'ün Newton uyumlu tahminlerinden 43 yay-saniye sapma gerçekleşmiştir.
Güneş merkez olmak üzere, Güneş sistemi'ndeki gezegenler
LFS

| --- | --- |

Geliştirici(ler): Gerard Beekmans
İşletim sistemi ailesi: Linux
Kaynak türü: Açık kaynak
Lisans: Başta GPL ve diğer özgür yazılım lisansları
Çekirdek türü: Monolitik
Web sitesi: linuxfromscratch.org/
Sıfırdan Linux (LFS Linux From Scratch), kendi Linux işletim sisteminizi geliştirme projesidir. Aslında LFS bir dağıtım değil uzmanlar ve öğrenciler için Çekirdekten bir Linux sistemi ortaya çıkarma projesidir.
LFS projesi'nin kitabı başta Gerard Beekmans olmak üzere pek çok geliştirici tarafından yazılmıştır. Son çıkan tam sürümü 12.0'dır.
SkyOS

| --- | --- |

SkyOS masaüstü ekran görüntüsü
Geliştirici(ler): Robert Szeleney
Kaynak türü: Kapalı kaynak
Lisans: Özel mülk yazılım
Çekirdek türü: Monolitik
Web sitesi: www.skyos.org
SkyOS, Robert Szeleney tarafından geliştirilmeye başlanılmış bir işletim sistemidir. 1996 yılında başlanılan yazılımın tamamen baştan kodlanan 5.0 sürümü son halini alamadan proje durdurulmuştur. Herhangi eski versiyonu ya da başka bir sistem üzerine inşa edilmemiştir. Önceleri hobi projesi olan bu işletim sistemi artık ticari bir üründür.
Çok işlemcili sistemleri destekler, entegre medya altsistemi vardır ve 64-bit dosya sistemini destekler. Dosya sistemi olarak önceleri OpenBFS'nin değişitirilmiş versiyonunu kullanmaktaydı, ancak artık kendine has SkyFS isimli bir dosya sistemi geliştirildi.
Çoğunlukla POSIX uyumlu ve aralarında GCC'ın da bulunduğu GNU araçlarının çoğunu içerir. POSIX uyumluluğu ve GTK+ arayüzü sayesinde, birçok GNU/Linux ya da UNIX için üretilmiş AbiWord veya Gaim, hatta OpenTTD ve Quake gibi bazı yazılımlar SkyOS'a uyumlu hale getirilebilmiştir. İçerdiği ilk ticari yazılım ise Pixel image editor olmuştur.
2005 itibarıyla, SkyOS birçok PC'de çalışabilecek kadar geniş bir driver desteği sağlamaktadır. Yazıcılar ve Firewire aygıtları gibi bazı cihazlar desteklenmemektedir. SkyOS VESA veya 2 boyutlu birçok grafik kartı için için iyi bir destek sağlasa da, 3 boyutlu grafik kartları konusunda yetersiz kalmaktadır.
SkyOS içerisinde temel masaüstü uygulamalarının tamamına sahiptir ve şu anda ofis paketi geliştirilmektedir. Kısa süre önce Mozilla Firefox, Mozilla Thunderbird 1.0 ve Nvu uyumlu hale getirildi ve bunlara fare hareketleriyle kullanılabilme desteği eklendi.
Mobilinux

| --- | --- |
Geliştirici(ler): Monta Vista
İşletim sistemi ailesi: Linux tabanlı Gömülü İşletim Sistemi
Kaynak türü: Açık kaynak
Lisans: Apache lisansı / GPL
Çekirdek türü: Monolitik
Platform desteği: ARM Mimarisi
Kullanıcı arayüzü: GTK+
Web sitesi: Mobilinux Anasayfası
Pazarlama hedefi: Mobil Cihazlar
Mobilinux mobil cihazlarda kullanılan Linux tabanlı gömülü işletim sistemidir. Mobilinux tek işlemcili mobil telefonlardaki batarya güç tüketimini optimize etmek amacıyla tasarlanmış, açık kaynak kodlu ve açık standartlara dayanan bir platformdur.
Mobilinux içinde Linux 2.6 çekirdeği kullanılmaktadır. Ön yüklemesi çok hızlıdır ve genellikle 1 sn'nin altında tamamlanmaktadır. KDrive (TinyX olarak da bilinir) ve GTK+ üzerine kurulmuş bir grafik arayüze sahiptir.
Windows Essential Business Server 2008

| --- | --- |

Geliştirici(ler): Microsoft
İşletim sistemi ailesi: Windows NT
Kaynak türü: Kapalı kaynak
Çekirdek türü: Hibrit
Güncelleme yöntemi: 
İlk Yayınlanma:  12 Kasım 2008 (16 yıl önce) (2008-11-12)
Genel durumu:  22 Ekim 2009 (15 yıl önce) (2009-10-22)
 
Web sitesi: Sitesi
Durdurulmuş
Her bir bileşen için destek durumu ayrı ayrı belirlenir
Windows Essential Business Server 2008, (Kod isim gibi Centro olarak adlandırılır) Microsoft tarafından üretilen bir sunucu işletim sistemidir. Windows Serverin bileşenlerinden biridir. Maksimum 300 kullanıcılar ve / veya cihazlara kadar orta ölçekli işletmelere yönelik hizmet sunur. Bu 15 Eylül 2008 tarihinde üretime serbest bırakıldı ve resmen 12 Kasım 2008 tarihinde başlatıldı. 30 Haziran 2010 tarihinde durduruldu.
Genel bakış

Windows Server 2008-den kod tabanı oluşturulmuş, iki sürümleri mevcuttur: Standart ve Premium. Standart sürüm üç Windows Server 2008 x64 Standart Sunucular ve bu üç sunucuların üstünde içerir: Microsoft Exchange 2007, Microsoft Server, Microsoft Forefront ve Microsoft ISA Server (Medium Business Edition). Premium sürümüne, başka bir Windows Server 2008 Standard Edition ve Microsoft SQL Server 2008 Standard veritabanı yazılımı ekler. Microsoft'a göre, Essential Business Server tek bir yönetim / yönetim konsolu özellikleri içerir, yönetilen istemciler ve sunucular toplanması ile takip edile ve tedavi edilebilir. Üçüncü parti yazılımlar da kendi yazılımı için bir yönetim arabirimi sunmak için aynı konsolu kullanabilir. CA Technologies ve Symantec sırayla CA ARCserve Backup, Backup Exec ve Symantec Endpoint Protection ürünleri için yönetim konsolu kullanacak. Essential Business Server aynı zamanda Uzak Web Çalışma Alanı, out-of-the-box özelliği içerir. IT-ye şirket istemci bilgisayarlara ve Outlook Web-e kolayca güvenliği artırılmış uzaktan erişim kurmak için olanak tanır. 5 Mart 2010 yılında, Microsoft, ürüne düşük talep nedeniyle, 30 Haziran 2010 tarihinden sonra Essential Business Serverin sunulması durdurulacağını duyurdu. Microsoft, Temel İşletmelerine Windows Server 2008 R2, Exchange Server 2010, System Center Essentials 2010, Exchange Server 2010 ve Forefront Threat Management Gateway Forefront Threat Management Gateway 2010 kullanmasını tavsiye etti. 30 Haziran 2010-dan 31 Aralık 2010 yılına kadar, Microsoft Essential Business Server müşterilerine Windows Server 2008 Standard, System Center Essentials 2007 ve Exchange Server 2007 ürünlerini ücretsiz sundu. (Vergi ve nakliye ücretleri uygulanır).
Windows Server 2012 R2

| --- | --- |


Geliştirici(ler): Microsoft
İşletim sistemi ailesi: Windows NT
Kaynak türü: Özel mülk yazılım
Çekirdek türü: Hibrit
Güncelleme yöntemi: Windows Update, Shareware, Windows Server Update Services, System Center Configuration Manager 
İlk Yayınlanma:  27 Ağustos 2013 (11 yıl önce) (2013-08-27)
Genel durumu:  18 Ekim 2013 (11 yıl önce) (2013-10-18)
 
Öncülü: Windows Server 2012
Ardılı: Windows Server 2016
Web sitesi: Sitesi
Başlangıç Tarihi: 17 Ekim 2013  Yaygın desteği: 9 Ocak, 2018 yılına kadar Genişletilmiş destek: 10 Ocak, 2023 yılına kadar
Windows Server 2012 R2, Windows Server işletim sistemleri ailesinin altıncı sürümüdür. 18 Ekim, 2013 tarihinde serbest bırakıldı. Bu, TechEd Kuzey Amerika'da 3 Haziran 2013 tarihinde ortaya çıktı. 2012 R2 veri sayfasının 31 Mayıs 2013 tarihinde yayınlanan Windows Servere göre, bu işletim sisteminin dört sürümleri vardır: Temel, Essentials, Standard ve Datacenter. Windows Server 2012 ile olduğu gibi, Datacenter ve Standard sürümleri özelliği aynıdır, değişen sadece lisans (özellikle sanal örneklerinin lisans) dayalısıdır. Essentials sürümü bazı kısıtlamalarla birlikte Datacenter ve Standard ürünleri ile aynı özelliklere sahiptir. Bir başka güncelleme, Windows Server 2012 R2 Update olarak resmen belirlenmiş, Nisan 2014 yılında güvenlik güncelleştirmelerin kümülatif seti serbest bırakıldı. Windows Server 2012 R2, yerini daha sonra Windows Server 2016-ya verdi.
Windows Server 2012 R2 Özellikleri

Microsoft Windows Server 2012 R2 tarafından tanıtılan aşağıdaki değişiklikleri onaylamıştır:
Otomatik Katmanlama: Depolama Alanları mağazaları en sık hızlı fiziksel ortam dosyalara erişildi.
VHD için Tekilleştirme: sadece bir kez benzer içerik depolamadan büyük ölçüde benzer içeriği ile VHD dosyaları için depolama alanı azaltır.
Windows PowerShell v4:Şimdi bir İstenilen Devlet Yapılandırma (DSC) özelliği içerir
Entegre olunan Ofis 365 desteği (Essentials edition)
Görünür olan Başlat düğmesi (Oyun kumandası) dahil olmak üzere Windows 8.1 kullanıcı arayüzü değişiklikleri
UEFI tabanlı sanal makine
Sentetik donanım sürücülerine kalıt desteğini en aza indirmek için sürücü emülatörlerinden yükseltmeler
Hızlı VM dağıtım (yaklaşık yarım saat)
Internet Information Services 8.5: Windows Olay Izleme ve herhangi bir istek / yanıt başlıklarını oturum açmak için yeteneği oturum açmak için destek. IIS 100 veya daha fazla web siteleri ile yapılandırılmış ise, varsayılan olarak, ölçeklenebilirlik geliştirmek için otomatik olarak bunlardan herhangi başlamaz. Bunun yanı sıra, Boş zaman aşımı süresi boyunca boşta kaldıysa (varsayılan olarak, 20 dakika), yeni bir "Boşta Çalışan İşlemi Sayfa Çıkış" yapılandırma seçeneği sayfa çıkış işlemine Windows talimat uygulama havuzlarıne eklendi
Server Message Block: Performans ve olay günlüğü kalite iyileştirmeleri, SMB üzerinden Hyper-V Live Migration desteği, bant genişliği önceliklendirme yönetimi ve SMB 1.0 desteğini kaldırmak için yeteneği.
Windows Deployment Services (Windows Dağıtım Hizmetleri): PowerShell üzerinden WDS yönetmek için destek
Windows Defender Sunucu Çekirdeği yüklemesi mevcuttur ve yüklü ve varsayılan olarak etkindir
IP Adresi Yönetimi (IPAM): Kullanıcılara, DHCP rezervasyonları, kapsamları, IP adresi blokları, DNS kaynak kayıtları, vb yapılandırmaları görüntülemek veya değiştirmek, ince taneli kontrolü sağlayan, rol tabanlı erişim denetimi desteklemek için genişletilmiş olanak. Ayrıca, IPAM fiziksel ve sanal ortamlar üzerinden IP politikasını koordine ederek, System Center Virtual Machine Manager 2012 R2 ile entegre edebilir. IPAM veritabanı Windows İç Veritabanı yerine bir SQL Server örneğinde saklanabilir
Grup Politikasının etki alanı katılı makineler istemci makinede Grup ilkesi ayarları bir kopyasını saklamak için olanak sağlayan yeni bir "Politika Önbellek" ayarı vardır ve, etki alanı denetleyicisinin erişim hızına bağlı olarak, ilke ayarları indirmek için bekleyen olanların yerine başlangıç zamanı kullanır. Bu şirket ağ bağlantısından bağlantısız olan başlangıç saatleri makinelerde artırabilir. Böyle bir başlangıç ekranı düzenlerini yapılandırma, SPDY / 3 desteği devre dışı / etkinleştirme ve web sayfalarında telefon numaralarını tespit etme gibi, yeni Grup Politikası ayarları Windows 8.1 ve Internet Explorer 11 yeni özellikleri kapsayacak şekilde ilave edilmiştir. TLS desteği, RFC 5077 desteklemek için genişletilmiştir. "Transport Layer Security (TLS) TLS güvenli bağlantının uzun zamanlı performansını geliştirir
Hyper-V rolü ve Hyper-V yönetim konsolu Essentials baskısına eklenir.
Veli Aksoy

| Veli Aksoy |
| --- | --- |
Doğum: 20 Ağustos 1950 Koyundere, Soma, Manisa, Türkiye
Ölüm: 31 Ocak 2022 (71 yaşında) Foça, İzmir, Türkiye
Defin yeri: Foça
Meslek: Siyasetçi

Veli Aksoy (d. 20 Ağustos 1950, Koyundere, Soma - 31 Ocak 2022, Foça), Türk siyasetçidir.
Ege Üniversitesi Mimarlık Mühendislik Yüksekokulu İnşaat Mühendisliği Bölümü mezunudur. Menemen Belediyesi Fen İşleri İnşaat Mühendisliği ve Müdürlüğü, Çiğli Belediye Meclis Üyeliği, İzmir İI Genel Meclis Üyeliği, Serbest İnşaat Mühendisliği, Türkiye Büyük Millet Meclisi XVIII., XIX. ve XX. Dönem İzmir Milletvekilliği yapmıştır. Evli ve iki çocuk babasıdır.
Aksoy, 31 Ocak 2022'de Foça'da hayatını kaybetti. 2 Şubat 2022'de Foça Fatih Camii'nden kaldırılan cenazesi ilçede defnedildi.