Arama · son güncelleme 10 sa önce
8.356
toplam haber
4
kategori
70+
bilim kaynağı
25-28 / 28 haber Sayfa 2 / 2
Matematik
20 Apr

Matematiksel Sınıflandırma Algoritmaları Paralel Hesaplama ile Hızlandırıldı

Araştırmacılar, karmaşık matematiksel yapıları sınıflandırmak için kullanılan dal-sınır algoritmalarını paralel hesaplama teknikleriyle optimize etti. Yöntem, özellikle ortogonal dizilerin sınıflandırılmasında test edildi ve doğrusal hızlanma elde edildi. Ortogonal diziler, istatistik, deney tasarımı ve kodlama teorisinde kritik rol oynayan matematiksel yapılar. Araştırma ekibi, Margot'un geliştirdiği izomorfizm budama algoritmasını paralel işlem yapabilecek şekilde adapte ederek, daha büyük ve karmaşık veri setlerinin analiz edilmesini mümkün kıldı. Bu gelişme, kombinatoryal optimizasyon problemlerinin çözümünde önemli bir adım teşkil ediyor.

arXiv (CS + AI) 0
Matematik
20 Apr

Matematikçiler Graf Teorisinde Devrim Yaratacak Yeni Etiketleme Yöntemi Geliştirdi

Bilim insanları, karmaşık graf yapılarını temsil etmek için yenilikçi bir matematiksel yöntem geliştirdi. Polinom bölümleme tekniklerini kullanan bu yaklaşım, semicebirsel graflar olarak adlandırılan özel graf türleri için son derece kompakt etiketleme şemaları oluşturuyor. Araştırma, büyük veri kümelerindeki ilişkileri daha verimli bir şekilde saklama ve işleme imkanı sunuyor. Özellikle birim disk grafları ve segment kesişim grafları gibi geometrik yapılar için optimize edilmiş etiketler üretebilen bu yöntem, bilgisayar bilimlerinde graf algoritmaları ve veri yapıları alanında önemli ilerlemeler vaat ediyor. Matematiksel temellerinin sağlamlığı sayesinde, gelecekte daha geniş uygulama alanları bulması bekleniyor.

arXiv (CS + AI) 0
Teknoloji & Yapay Zeka
16 Apr

Yapay Zeka Program Sentezi Hızlandı: Yeni Öngörü Tekniği Geliştirildi

Araştırmacılar, bilgisayar programlarını otomatik olarak üreten yapay zeka sistemlerini hızlandırmak için yenilikçi bir yaklaşım geliştirdi. 'Presynthesis' adı verilen bu teknik, program sentezi sürecinde karşılaşılan temel bir sorunu çözüyor. Normalde daha ayrıntılı soyut semantikler kullanıldığında, yanlış programlar daha iyi ayıklanabilir ancak bu işlem daha uzun sürer. Yeni yaklaşım, çevrimdışı bir ön-hazırlık aşaması ekleyerek bu dengeyi optimize ediyor. İlk aşamada girdi uzayı için bir ağaç otomatı oluşturuluyor, ikinci aşamada ise bu otomatın gereksiz kısımları ayıklanıyor. Bu sayede program sentezi hem daha hızlı hem de daha verimli hale geliyor. Gelişme, otomatik kod üretimi ve yazılım geliştirme araçları için önemli iyileştirmeler vaat ediyor.

arXiv (CS + AI) 0
Teknoloji & Yapay Zeka
16 Apr

Sınırlı alfabelerde veri sorgulama: Yeni kodlama teknikleri geliştirildi

Bilgisayar biliminde temel bir işlem olan aralık minimum sorguları (RMQ) için yeni bir yaklaşım geliştirildi. Araştırmacılar, alfabesi sınırlı dizilerde minimum değer arama işlemlerini daha verimli hale getiren kodlama yöntemleri tasarladı. Bu teknoloji, veri tabanı yönetimi, metin indeksleme ve hesaplamalı biyolojide kritik rol oynuyor. Özellikle pratik uygulamalarda karşılaşılan küçük alfabe boyutlu diziler için optimize edilmiş çözümler sunuyor. Hem tek boyutlu hem de iki boyutlu diziler için farklı sorgulama senaryoları analiz edilerek, alan karmaşıklığı açısından optimal sonuçlar elde edildi. Geliştirilen yöntemler, sabit boyutlu alfabeler için sabit zamanda sorgu yanıtlama imkanı sunuyor.

arXiv (CS + AI) 0