15 haber bu etiketle işaretlenmiş
Bilgisayar bilimcisi Dusko Pavlovic, hesaplanabilirlik kuramını monoidal kategoriler ve dizi diyagramları (string diagrams) aracılığıyla yeniden tanımlayan yeni bir hesaplama modeli tanıttı. arXiv…
Matematikçiler Kenneth Appel ve Wolfgang Haken, 1976 yılının Temmuz ayında bir asırdan uzun süredir çözülemeyen Dört Renk Teoremi'ni bilgisayar desteğiyle kanıtladı. Herhangi bir haritadaki komşu…
Bilgisayar bilimci Donald Knuth, Computers & Typesetting serisinin E cildini oluşturan Computer Modern Typefaces kitabında bulunan bir hatayı onaylayarak okuruna para ödülü çeki verdi. Yazılım…
Massachusetts Institute of Technology araştırmacıları, yapay zeka şirketi OpenAI'ın benzer bir sonucu yayımlamaya hazırlandığı söylentileri üzerine, teorik bilgisayar biliminin temel problemlerinden…
Araştırmacılar, bilgisayar biliminin temel problemlerinden 3SUM ve Tüm Çiftler En Kısa Yol (APSP) algoritmaları için ilk polinom düzeyinde iyileştirmeleri sundu. arXiv üzerinden 5 Ekim 2026 tarihinde…
Turing Ödüllü bilgisayar bilimci Manuel Blum, lisansüstü öğrencilerine yönelik rehberinde araştırma süreçlerini yönetme, zorlu problemleri çözme ve akademik yazım konularında temel stratejilerini…
Bilgisayar bilimleri ve mantık dünyasında sıklıkla birbirine karıştırılan ilişki cebiri ile ilişkisel cebir kavramları, benzer isimlerine rağmen temelde farklı matematiksel yapılara dayanıyor. Ted…
Araştırmacılar 14 Eylül 2026 tarihinde yayımladıkları çalışmayla çevrim içi algoritmalar alanının temel problemlerinden biri olan k-sunucu varsayımını kanıtladı. Varsayım, deterministik bir çevrim…
Nicolae Vartolomei, dağıtık sistemler disiplininin temelini oluşturan ve alandaki araştırmaları yönlendiren klasik akademik makaleleri bir araya getirdi. İlk olarak Kasım 2017'de yayımlanan ve Eylül…
Güney Kaliforniya Üniversitesi bilgisayar bilimleri profesörü Jernej Barbic, sinema sektöründe gerçekçi kas, yağ ve deri simülasyonları sağlayan Ziva VFX yazılımıyla 2025 Teknik Başarı Akademi…
Bilgisayar bilimci Scott Aaronson, yapay zeka alanında uzun yıllar zekanın temel koşulu sayılan öz-gönderim ve 'tuhaf döngüler' tezinin güncel modellerle birlikte çöktüğünü açıkladı. Douglas…
Galois araştırmacıları, yazılım mühendisliğinde biçimsel doğrulama (formal verification) süreçlerinin önündeki asıl engelin matematiksel kanıt maliyeti değil, sistemlerin kesin bir spesifikasyonunun…