...
"Erdős problemi" için 407 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
407 haber
Teknoloji & Yapay Zeka
Otonom araçlar için yeni AI sistemi beklenmedik nesneleri daha iyi tanıyor
Otonom sürüş teknolojisinde önemli bir adım: araştırmacılar, LiDAR sensörleriyle çalışan yapay zeka sistemlerinin beklenmedik nesneleri tespit etme yetisini artıran yeni bir framework geliştirdi. Neural Distribution Prior (NDP) adlı bu sistem, eğitim verilerinde bulunmayan nesneleri tanımada mevcut yöntemlerin ana sorunu olan sınıf dengesizliği problemini çözüyor. Geleneksel sistemler tüm nesne sınıflarının eşit dağıldığını varsayar, ancak gerçek dünyada bu böyle değil. NDP, ağ tahminlerinin dağılım yapısını modelleyerek ve öğrenilen dağılım önceliğine göre skorları yeniden ağırlıklandırarak bu sorunu aşıyor. Sistem ayrıca dikkat tabanlı bir modül ile sınıf bağımlı güven yanlılığını düzeltiyor ve Perlin gürültüsü tabanlı sentez stratejisi kullanıyor.
Matematik
İnce Film Akışları İçin Yeni Matematiksel Model Geliştirildi
Araştırmacılar, ince film akışlarını modellemek için kullanılan Keyfitz-Kranzer tipi denklem sistemleri için küresel zayıf entropi çözümlerinin varlığını matematiksel olarak kanıtladı. Bu çalışma, özellikle yağlama teorisi ve ince film akış dinamiklerinin anlaşılmasında önemli bir adım. Ekip, bu birinci mertebe denklem sistemleri için entropi/entropi-akı çiftleri ailesini tanımladı ve yüksek mertebeli dağılım operatörleriyle motive edilen ikinci mertebe yaklaşık sistem geliştirdi. Durum uzayında değişmez bir bölge belirleyerek, yaklaşık sistem çözümlerinin dizisi için öncül sınırlar türetti. Riemann değişmezleriyle ilişkili denklemlerin parabolik ve taşınım yapısını kullanarak, kaybolma-difüzyon limitini titizlikle haklı çıkardı ve birinci mertebe sistemler için Cauchy probleminin zayıf entropi çözümlerinin varlığını kurdu.
Teknoloji & Yapay Zeka
Yapay Zeka Optimizasyonunda Hızlı Öğrenme: Kometo Algoritması
Araştırmacılar, sınırlı bütçe ile karmaşık optimizasyon problemlerini çözmek için yeni bir algoritma geliştirdiler. 'Kometo' adı verilen bu yöntem, farklı maliyetli yaklaşımları akıllıca dengeleyerek önceki garantilerden daha iyi sonuçlar veriyor. Çok-sadakat optimizasyonu olarak bilinen bu yaklaşım, hedef fonksiyonun farklı maliyetli ve önyargılı yaklaşımlarını kullanır. Araştırma, yerel olarak düzgün fonksiyonları optimize etme problemini inceliyor ve maliyet-önyargı dengesini optimize eden çözümler sunuyor. Yeni algoritma, fonksiyon düzgünlüğü ve sadakat varsayımları hakkında önceden bilgi sahibi olmadan çalışabiliyor ve logaritmik faktörlerle birlikte optimal öğrenme oranlarına ulaşıyor. Deneysel sonuçlar, Kometo'nun probleme bağlı parametreler hakkında bilgi sahibi olmadan diğer çok-sadakat optimizasyon yöntemlerinden üstün performans sergilediğini gösteriyor.
Matematik
43 Yıllık Matematik Gizeminden Çığır Açan Çözüm: Erdős-Faudree Problemi
1981'de matematikçiler Paul Erdős ve Ralph Faudree tarafından ortaya atılan meşhur problem, 43 yıl sonra çözüldü. Problem, graf teorisinde merkezi bir yere sahip olan 'yalıtılmış nokta içermeyen çekirdek' kavramıyla ilgili temel bir soruyu gündeme getiriyordu. Araştırmacılar, belirli özelliklere sahip sonsuz graf ailelerin varlığını kanıtlayarak, modern kombinatorik matematiğin önemli açık sorularından birini çözdü. Bu çalışma, sadece teorik bir zafer değil, aynı zamanda ağ analizi ve bilgisayar bilimlerinde pratik uygulamaları olan temel yapı taşlarını anlamamızı derinleştiriyor.
Matematik
Matematikçiler Akışkan Dinamiğinde Lions Problemini Kritik Düzeyde Çözdü
Fransız matematikçi Pierre-Louis Lions'ın adını taşıyan ve akışkan mekaniğinde önemli bir yeri olan 'yoğunluk yaması problemi' kritik düzenlilik seviyesinde çözüldü. Araştırmacılar, vakumla çevrili sınırlı bir bölgede bulunan akışkanın davranışını Navier-Stokes denklemleriyle modelleyerek, sistemin global varlığını, tekliğini ve kararlılığını matematiksel olarak ispat ettiler. Bu çalışma, sıkışmayan akışkanların uzun vadeli dinamiklerinin katı cisim hareketi şeklinde gelişerek asimptotik bir alana dönüştüğünü gösteriyor. Sonuçlar, akışkan mekaniği ve kısmi diferansiyel denklemler teorisine önemli katkılar sunuyor.
Matematik
Matris Teorisinde Yeni Yaklaşım: C*-Altcebirlerde En İyi Yaklaşım Problemi
Araştırmacılar, karmaşık sayı sistemlerinde matris teorisinin temel problemlerinden birine yeni bir yaklaşım getirdi. Çalışma, Hermityen matrislerin spektral normda minimal olma koşullarını C*-altcebirler çerçevesinde inceliyor. Bu matematiksel araştırma, alt uzayların momentleri kavramını genişleterek, birleşik sayısal aralık ve maksimum özdeğerin altdifferansiyelleri arasında yeni bağlantılar kuruyor. Özellikle daha önce sadece köşegen operatörler için bilinen sonuçları genelleştiren bu çalışma, özdeğer uzaylarının momentleri açısından maksimum özdeğerin altdifferansiyelini tanımlıyor. Operatör teorisi ve fonksiyonel analizin kesişiminde yer alan bu araştırma, kuantum mekaniği ve sinyal işlemede kullanılan matematiksel araçların teorik temellerini güçlendiriyor.
Matematik
Hipergraflarda Çevrimiçi Eşleştirme İçin Optimal Algoritma Geliştirildi
Bilgisayar bilimciler, 3-uniform hipergraflarda çevrimiçi eşleştirme problemine optimal çözüm buldu. Stanford Üniversitesi araştırmacıları tarafından geliştirilen yeni algoritma, (e-1)/(e+1) yaklaşık 0.4621 rekabet oranı elde ediyor. Bu oran, matematiksel olarak mümkün olan en iyi performansı temsil ediyor. Çalışma, 1990'da Karp, Vazirani ve Vazirani tarafından iki parçalı graflar için tanıtılan klasik çevrimiçi eşleştirme problemini, daha karmaşık hipergraf yapılarına genişletiyor. Araştırmacılar ayrıca, bu oranın gerçekten optimal olduğunu kanıtlayan düşmanca örnek oluşturarak teorik alt sınırı da belirledi. Bu gelişme, algoritma teorisi ve optimizasyon alanında önemli bir ilerlemeyi işaret ediyor.
Fizik
İki Boyutlu Manyetik Malzemeler Artık Santimetre Ölçeğinde Üretilebiliyor
Hindistan Bilim Enstitüsü araştırmacıları, iki boyutlu manyetik malzemelerin büyük ölçekli üretiminde çığır açan bir yöntem geliştirdi. Daha önce yalnızca mikrometrik boyutlarda üretilebilen bu malzemeler, yeni teknikle santimetre genişliğindeki wafer yüzeylerde başarıyla büyütüldü. Bu gelişme, sabit diskler ve sensörlerde kullanılan yeni nesil elektronik ve spintronik cihazların üretiminde önemli bir adım teşkil ediyor. Düşük hata oranına sahip büyütme tekniği, malzeme biliminde uzun süredir aranan kaliteli geniş alan üretim problemini çözüyor.
Matematik
Matematikçiler 110 Yıllık Steinitz Problemine Algoritmik Çözüm Buldu
1913'te Alman matematikçi Ernst Steinitz'in ortaya koyduğu ve yaklaşık bir asırdır matematik dünyasını meşgul eden bir problem için çığır açan bir algoritma geliştirildi. Steinitz problemi, toplamları sıfır olan vektör dizilerinin nasıl sıralanacağı sorusunu ele alıyor. Bu çalışma, özellikle Öklid normunda (ℓ₂) optimal sınırlara ulaşan ilk yapıcı algoritma sunuyor. Araştırmacılar, 'afin spektral bağımsızlık' adı verilen yeni bir teknik kullanarak, hem teorik hem de pratik açıdan önemli sonuçlar elde ettiler. Bu gelişme, kombinatoryal optimizasyon, makine öğrenmesi ve sinyal işleme gibi birçok alanda uygulanabilir.
Teknoloji & Yapay Zeka
Robotlara Öğrenmeyi Öğreten Yapay Zeka: Diffusion Modelleri ile Dinamik Adaptasyon
Araştırmacılar, robotların farklı ortamlarda hızla adapte olabilmesi için yeni bir yapay zeka yaklaşımı geliştirdi. Sistem tanımlama problemini 'bağlamsal meta-öğrenme' olarak ele alan çalışma, diffusion modellerini kullanarak robotların dinamik davranışlarını tahmin etmeyi amaçlıyor. Geleneksel Transformer tabanlı deterministik modellere karşı iki farklı diffusion yaklaşımı test edildi: girdi-gözlem dağılımını öğrenen 'inpainting diffusion' ve kontrol girdilerine dayalı gelecek gözlemleri üreten 'koşullu diffusion modelleri'. Geniş çaplı simülasyonlar, diffusion modellerinin özellikle dağılım dışı koşullarda daha güçlü performans sergilediğini gösterdi. Bu gelişme, robotların bilinmeyen ortamlarda daha esnek ve güvenilir davranabilmesi için önemli bir adım.
Teknoloji & Yapay Zeka
Büyük Dil Modelleri Karmaşık Mantık Sorunlarında Sınırlarına Çarpıyor
Araştırmacılar, büyük dil modellerinin (LLM) mantıksal akıl yürütme yeteneklerini sistematik olarak test eden kapsamlı bir çalışma yürüttü. Sudoku, Hanoi Kulesi ve Rubik Küpü gibi dokuz klasik mantık problemiyle yapılan testlerde, modellerin problem karmaşıklığı arttıkça performanslarının belirgin şekilde düştüğü gözlemlendi. Çalışma, mevcut değerlendirme yöntemlerinin yetersizliğini ortaya koyarak, modellerin gerçek akıl yürütme kapasitelerini ölçmek için kontrollü test ortamları geliştirdi. Bu bulgular, yapay zeka sistemlerinin karmaşık mantıksal problemlerde henüz önemli sınırlarının bulunduğunu gösteriyor.