“pH” için sonuçlar
296 sonuç bulundu. Sonuçları kategoriye göre daraltabilirsin.
Yapay Zeka Modelleri Yeni Bilgi Öğrenirken Neden Halüsinasyon Görüyor?
Büyük dil modelleri yeni bilgilerle eğitildiğinde, daha önce doğru bildiği konularda bile yanlış bilgiler üretmeye başlayabiliyor. Araştırmacılar bu 'faktüel halüsinasyon' olarak adlandırılan durumu Biography-Reasoning adlı özel bir veri setiyle inceledi. Çalışma, halüsinasyonların sadece yeni öğrenilen konuları etkilemediğini, diğer görevlere de yayıldığını ortaya koydu. Özellikle belirli bir bilgi türünün tamamen yeni bilgilerden oluştuğu durumlarda, yapay zeka modelleri daha fazla halüsinasyon eğilimi gösteriyor. Bu bulgular, AI güvenilirliği açısından kritik öneme sahip.
Akıllı Tuvalet Sistemi ile Hidrasyon Takibi: Kuantum-Klasik Hibrit Model
Bilim insanları, idrar biyobelirteçleri kullanarak vücut hidrasyon durumunu izlemek için yeni bir yaklaşım geliştirdi. Predict Health Toilet (PHT) sistemi adı verilen akıllı tuvalet teknolojisi, idrarın özgül ağırlığı, iletkenliği ve hacmi gibi parametreleri pasif olarak ölçebiliyor. Araştırmacılar, bu verileri analiz etmek için klasik makine öğrenmesi ile kuantum makine öğrenmesini birleştiren hibrit bir model önerdiler. Kuantum Sıralı Model (QSM) adı verilen bu yenilikçi yaklaşım, varyasyonel kuantum devreleri kullanarak hidrasyon durumunu tahmin etmeyi amaçlıyor. Bu teknoloji, böbrek fonksiyonları, hücresel homeostaz ve genel sağlık durumu hakkında sürekli bilgi sağlayarak, kişiselleştirilmiş sağlık izleme sistemlerinde devrim yaratma potansiyeli taşıyor.
Kullanıcı Etkileşimlerini İzleyen Akıllı Arayüz Sistemi Geliştirildi
Araştırmacılar, web arayüzlerindeki kullanıcı etkileşimlerini takip eden ve görselleştiren yeni bir sistem geliştirdi. SuperProvenanceWidgets adlı bu teknoloji, kullanıcıların farklı kontrol öğeleriyle nasıl, ne zaman ve ne sıklıkta etkileştiklerini analiz ederek bu bilgiyi görsel olarak sunuyor. Sistem, mevcut ProvenanceWidgets kütüphanesinin geliştirilmiş versiyonu olarak, birden fazla arayüz öğesi arasındaki etkileşimleri izleyebiliyor. Bu teknoloji, analitik iş akışlarının denetlenmesi, keşif önyargılarının tespit edilmesi ve kişiselleştirilmiş arayüz tasarımı gibi alanlarda kullanılabiliyor. Özellikle veri analizi yapan araştırmacılar ve geliştiriciler için değerli bir araç olan sistem, kullanıcı deneyimini iyileştirme potansiyeli taşıyor.
GEN-Graph: Genomik ve Ağ Analitiği için Yeni Nesil Hibrit İşlemci
Araştırmacılar, genomik ve ağ analitiği uygulamalarında kullanılan graf tabanlı dinamik programlama algoritmalarını daha verimli çalıştırmak için GEN-Graph adlı yenilikçi hibrit işlemci mimarisini geliştirdi. Bu sistem, DNA dizilimi ve ağ analizi gibi farklı hesaplama türlerinin çelişkili gereksinimlerini tek bir çip üzerinde karşılayabiliyor. Matris yoğun hesaplamalar için optimize edilmiş PUM çekirdekleri ile bellek yoğun traversal işlemleri için tasarlanmış PNM çekirdeklerini bir araya getiren bu hibrit yaklaşım, genomik araştırmalar ve büyük ölçekli ağ analizlerinde önemli performans artışları sunuyor. Geleneksel tek tip işlemci mimarilerinin her iki hesaplama türünü de verimli şekilde destekleyememesi sorunu bu yenilikçi tasarımla çözülüyor.
Fizik Denklemlerini Çözen Yapay Zeka Kütüphanesi Geliştirildi
Araştırmacılar, karmaşık fizik problemlerini çözmek için yeni bir Python kütüphanesi geliştirdi. DVF-CRVPINN adlı bu sistem, kısmi diferansiyel denklemleri ayrık zayıf formülasyonlarla çözebiliyor. Sistem, sinir ağlarını kullanarak fizik denklemlerini discrete (ayrık) nokta kümelerinde tanımlamaya ve çözmeye olanak sağlıyor. Özellikle iki boyutlu Stokes denklemleri gibi zorlu hesaplama problemlerine odaklanıyor. Bu gelişme, mühendislik ve fizik alanlarında kompleks hesaplamalı akışkanlar dinamiği problemlerinin daha etkili çözülmesine olanak tanıyor. Geleneksel sayısal yöntemlere alternatif olan bu yaklaşım, otomatik türev alma ve discrete gradyan hesaplamalarını birleştiriyor.
GraphQLify: REST API'leri Otomatik Olarak GraphQL'e Dönüştüren Yeni Framework
Araştırmacılar, mevcut REST API'leri GraphQL formatına otomatik olarak dönüştüren GraphQLify adlı yenilikçi bir framework geliştirdi. Bu sistem, statik kod analizi kullanarak tip güvenliğini korurken, geleneksel yaklaşımlardan farklı olarak performans kaybına neden olan adaptör sunucular yerine gömülü sunucu mimarisi kullanıyor. GraphQL, şema tabanlı ve güçlü tip sistemine sahip sorgu dili olarak, istemci-sunucu iletişiminde yüksek verimlilik sağlıyor. GraphQLify'ın en önemli yeniliği, kaynak kodunu doğrudan analiz ederek kesin tip çıkarımı yapması ve bu sayede uçtan uca tip güvenliği garantilemesi. 834 farklı API üzerinde yapılan testlerde, sistemin başarılı sonuçlar verdiği gözlemlendi. Bu gelişme, web geliştirme ekosisteminde API migrasyonlarını kolaylaştıracak önemli bir adım olarak değerlendiriliyor.
Yazılım Kütüphaneleri İçin Otomatik Test ve Doğrulama Sistemi Geliştirildi
Bilgisayar bilimcileri, karmaşık yazılım kütüphanelerini kullanan programların güvenilirliğini artırmak için yeni bir otomatik doğrulama yöntemi geliştirdi. 'Testli Kütüphane Sözleşmeleri Modülo Doğrulaması' adı verilen bu yaklaşım, kütüphane metodları için otomatik sözleşme sentezi yaparak hem istemci programların doğruluğunu kanıtlıyor hem de bu sözleşmeleri test motoruyla denetliyor. Sistem ayrıca sadece belirli program bağlamında geçerli olan 'bağlamsal sözleşmeler' kavramını sunuyor. Bu sözleşmeler geleneksel modüler sözleşmelerden daha basit ve çıkarımı kolay. Karşı örnek güdümlü öğrenme çerçevesi kullanan yaklaşım, yazılım geliştirme sürecinde kritik olan program doğrulama işlemini otomatikleştirerek hata riskini azaltmayı hedefliyor.
ShapeGen: Robotlar İçin Gerçekçi Manipülasyon Verisi Üreten Yeni Sistem
Araştırmacılar, robotların farklı şekillerdeki nesnelerle etkileşim kurmasını sağlayan ShapeGen adlı yenilikçi bir veri üretim sistemi geliştirdi. Sistem, robotların sadece eğitim sırasında gördükleri belirli nesnelerle değil, aynı kategorideki tüm nesnelerle çalışabilmesini hedefliyor. ShapeGen, simülatör kullanmadan 3D ortamda çeşitli şekillerde manipülasyon verisi üretebiliyor. İki aşamalı yaklaşımla çalışan sistem, önce şekil kütüphanesi oluşturuyor, sonra fonksiyon-farkındalığı olan veri üretiyor. Bu gelişme, robotların gerçek dünyada karşılaştıkları geometrik çeşitlilikle başa çıkabilmesi açısından önemli bir adım.
PINNACLE: Fizik Tabanlı Yapay Zeka Modelleri İçin Yeni Açık Kaynak Çerçeve
Araştırmacılar, fizik yasalarını yapay zeka modellerine entegre eden PINN (Physics-Informed Neural Networks) teknolojisi için PINNACLE adlı kapsamlı bir açık kaynak platform geliştirdi. Bu yenilikçi çerçeve, klasik ve kuantum hesaplama yöntemlerini birleştirerek bilimsel problemlerin çözümünde önemli ilerlemeler sunuyor. Platform, çoklu GPU desteği, gelişmiş eğitim stratejileri ve modüler yapısıyla araştırmacılara elektromanyetik dalga yayılımından akışkanlar mekaniğine kadar geniş bir yelpazede fizik problemlerini çözme imkanı tanıyor. PINNACLE'ın sunduğu performans karşılaştırmaları ve ölçeklenebilirlik analizleri, bilimsel hesaplamalarda yapay zekanın kullanımını demokratikleştirmeyi hedefliyor.
Yapay Zeka Donanım Doğrulamada Hesaplama Kaynaklarını Nasıl Dağıtıyor?
Araştırmacılar, donanım doğrulama süreçlerinde kullanılan büyük dil modellerinin (LLM) hesaplama kaynaklarını nasıl dağıttığını ve hangi sınırlarla karşılaştığını inceledi. Donanım doğrulamanın en zaman alıcı aşaması olan 'kapsam kapama' sürecinde, yapay zeka tabanlı ajanların otomatik test üretimi için umut vadeden bir yaklaşım sunmasına rağmen, bazı temel sınırlılıkları olduğu ortaya çıktı. Çalışma, Codex ve LangGraph sistemlerini kullanan iki katmanlı bir çerçeve ile yapıldı. Sonuçlar, bazı kapsam boşluklarının metodolojik sınırlar nedeniyle kapatılamadığını, bazılarının ise karmaşık mantık yürütme gerektirdiğini gösterdi. Bu bulgular, yapay zekanın donanım doğrulamadaki etkinlik sınırlarını ve başarısızlık modlarını daha iyi anlamamızı sağlıyor.
Yazılım Arama Motorları Artık Görselleri de Anlayabiliyor
Yazılım geliştirme dünyasında kod arama işlemi genellikle sadece metin tabanlı olarak gerçekleştirilir. Ancak modern programlama projeleri web arayüzleri, veri görselleştirmeleri ve diyagramlar gibi görsel öğeler de içerir. Araştırmacılar, bu sorunu çözmek için CodeMMR adlı yeni bir sistem geliştirdi. Bu teknoloji, doğal dil, kod ve görselleri ortak bir anlam alanında birleştirerek çok modlu kod arama yapabiliyor. MMCoIR benchmark'ı ile test edilen sistem, beş farklı görsel alan, sekiz programlama dili ve on bir kütüphane üzerinde değerlendirildi. Bu gelişme, yazılım mühendisliğinde kod keşfi ve yeniden kullanımını kolaylaştırırken, yapay zeka destekli kodlama araçlarının güvenilirliğini de artırıyor.
İHA sürülerinde arıza sonrası kendini onarma: Yapay zeka tabanlı çözüm
Araştırmacılar, büyük İHA sürülerinde meydana gelen arızalar sonrasında sistemin kendini onarabileceği yeni bir yapay zeka algoritması geliştirdi. PhyGAIL adı verilen bu sistem, fizik kurallarından ilham alan graf sinir ağları kullanarak İHA'ların birbirleriyle koordineli şekilde çalışmasını sağlıyor. Geleneksel yöntemlerin aksine merkezi kontrol gerektirmeyen bu yaklaşım, sürü büyüklüğü ve hasar seviyesi değişse bile etkili performans gösterebiliyor. Sistem, yerel gözlemlerden hareketle İHA'lar arasında çekim ve itme kuvvetleri modelleyerek fiziksel olarak tutarlı koordinasyon sağlıyor. Bu gelişme, arama kurtarma operasyonlarından askeri uygulamalara kadar geniş bir yelpazede kullanım potansiyeli taşıyor.
Yapay Zeka Yazdığı Kodları Tespit Eden Yeni Sistem: LLMSniffer
Yazılım geliştirmede yapay zeka araçlarının yaygınlaşmasıyla birlikte, AI tarafından üretilen kodları insan yazısından ayırt etmek kritik bir sorun haline geldi. Araştırmacılar, bu zorluğa çözüm olarak LLMSniffer adlı yenilikçi bir tespit sistemi geliştirdi. GraphCodeBERT teknolojisini kullanan sistem, kontrastlı öğrenme yöntemiyle eğitildi ve mevcut sistemlere göre dikkat çekici başarı artışları elde etti. GPTSniffer veri setinde doğruluk oranı %70'den %78'e, Whodunit veri setinde ise %91'den %94.65'e yükseldi. Bu gelişme, akademik dürüstlük, kod kalite kontrolü ve siber güvenlik alanlarında önemli uygulamalara sahip.
Enerji Piyasalarında Manipülasyon Tespiti için Yeni Simülasyon Sistemi
Araştırmacılar, doğal gaz ve elektrik piyasalarının birbirine bağlı yapısında piyasa manipülasyonlarını tespit edebilecek yeni bir simülasyon sistemi geliştirdi. Çalışma, hem elektrik üreticisi hem de doğal gaz tüketicisi olan gaz yakıtlı elektrik santrallerinin, bir piyasadaki fiyatları diğer piyasayı etkilemek için nasıl manipüle edebileceğini inceliyor. Sistem, piyasa yöneticilerinin şüpheli teklif verme davranışlarını tespit etmesine yardımcı olmak üzere tasarlandı. Araştırma, enerji piyasalarındaki adil rekabeti koruma açısından önemli bir araç sunuyor ve gelecekte enerji güvenliği için kritik olabilecek piyasa manipülasyonlarının önlenmesine katkı sağlayabilir.
Yapay Zeka X-Işını Spektroskopi Analizini Otomatikleştiriyor
Araştırmacılar, X-ışını absorpsiyon spektroskopisi (XANES) analizini büyük dil modelleri kullanarak otomatikleştiren ChemGraph-XANES adlı yeni bir framework geliştirdi. Bu sistem, karmaşık kimyasal yapıların elektronik özelliklerini incelemek için kullanılan XANES simülasyonlarını doğal dille komutlandırılabilen ajanlar aracılığıyla gerçekleştiriyor. Framework, yapı ediniminden spektral normalizasyona kadar tüm iş akışını otomatikleştirirken, çoklu ajan modunda uzman bir ajan FDMNES kılavuzuna başvurarak parametreleri optimize ediyor. Bu gelişme, malzeme bilimi ve kimya araştırmalarında spektroskopi analizlerinin hızını ve erişilebilirliğini önemli ölçüde artırma potansiyeli taşıyor.
Hologram Teknolojisinde Çığır Açan Gelişme: Tek Seferde Lekesiz Görüntü
Holografik ekranlar uzun zamandır '3D görüntülemenin geleceği' olarak görülse de, coherent ışığın yarattığı speckle gürültüsü sorunu bu teknolojinin yaygınlaşmasını engellemekteydi. MIT araştırmacıları tarafından geliştirilen Ellipsography adlı yeni teknik, bu sorunu tek bir çekimde çözerek hologram kalitesinde büyük ilerleme sağlıyor. Geleneksel yöntemler speckle gürültüsünü azaltmak için yüksek hızlı donanım ve karmaşık algoritmalar gerektirirken, bu yeni yaklaşım vektörel girişim şekillendirme kullanarak aynı anda hem yüksek kalite hem de pratiklik sunuyor. Araştırma, holografik ekranların tıp, eğitim ve eğlence sektörlerindeki uygulamalarını hızlandırabilir.
Robotlar Artık Planlarını Kendileri Doğrulayabiliyor: VeriGraph Devrimi
Araştırmacılar, robotların görev planlamasında devrim yaratan yeni bir sistem geliştirdi. VeriGraph adlı bu teknoloji, yapay zeka modellerinin sıklıkla yaptığı hatalı eylem dizilimlerini otomatik olarak tespit edip düzeltiyor. Sistem, görüntülerden sahne grafikleri oluşturarak nesneler arası ilişkileri analiz ediyor ve robotun gerçekleştiremeyeceği eylemleri önceden belirleyip alternatif planlar sunuyor. Test sonuçları oldukça etkileyici: dil tabanlı görevlerde %58, puzzle çözümünde %56 ve görüntü tabanlı işlemlerde %30 oranında performans artışı kaydedildi. Bu gelişme, endüstriyel robotlardan ev asistanlarına kadar geniş bir yelpazeyi etkileyebilir.
PyLO: Yapay Zeka Optimizasyonunu PyTorch'a Taşıyan Açık Kaynak Kütüphane
Araştırmacılar, makine öğrenmesi modellerinin eğitim sürecini optimize eden 'öğrenilmiş optimizatörler' teknolojisini PyTorch platformunda erişilebilir kılan PyLO kütüphanesini geliştirdi. Bu yenilik, daha önce sadece JAX platformunda bulunan ve 4000 TPU-ay gibi devasa hesaplama kaynaklarıyla eğitilen VeLO gibi gelişmiş optimizatörleri, makine öğrenmesi topluluğunun yaklaşık %70'ine ulaştırmayı hedefliyor. PyLO, mevcut Adam gibi yaygın optimizatörlerin yerine geçebilecek, gerçek dünya uygulamalarına odaklanan bir çözüm sunuyor. Kütüphane, CUDA hızlandırması ile büyük ölçekli model eğitimlerinde kullanılabilir hale geldi.
Yapay Zeka Ajanları Dosya Sistemiyle Uzun Araştırmalarda Devrim Yaratıyor
Büyük dil modelleri (LLM) tabanlı yapay zeka ajanları, derinlemesine araştırma görevlerinde yeni bir çağ başlatıyor. Ancak bu uzun süreçli araştırmalar, modellerin bellek kapasitelerini aşıyor ve etkili çalışmayı engelliyor. Araştırmacılar, bu sorunu çözmek için FS-Researcher adlı yenilikçi bir sistem geliştirdi. Bu çift-ajan framework'ü, dosya sistemi tabanlı kalıcı bir çalışma alanı kullanarak araştırma kapasitesini önemli ölçüde genişletiyor. Sistem, bir kütüphaneci gibi çalışan Context Builder ajanı ve rapor yazımından sorumlu Report Writer ajanından oluşuyor. Bu yaklaşım, yapay zeka ajanlarının sınırlarını aşarak daha kapsamlı ve derinlemesine araştırmalar yapabilmelerini sağlıyor.
Yeni algoritma ağ bağlantıları üzerindeki veri akışını gerçek zamanlı tahmin ediyor
Araştırmacılar, ağ bağlantıları üzerinde akan verileri gerçek zamanlı olarak tahmin edebilen yeni bir algoritma geliştirdi. LGLMS (Line Graph Least Mean Square) adlı bu yöntem, geleneksel graf sinyal işleme tekniklerinin genellikle ağ düğümlerine odaklanması sorununun üstesinden geliyor. Algoritma, kenar verilerini düğüm temsillerine dönüştürerek mevcut tekniklerin gücünden faydalanıyor. Ulaştırma ağları ve meteoroloji ağları üzerinde yapılan deneyler, sistemin gürültülü ve eksik verilerle bile başarılı sonuçlar verdiğini gösterdi. Bu gelişme, trafik akışından hava durumu tahminlerine kadar birçok alanda uygulanabilir.
Alt-Phillips Fonksiyonelinin Özgür Sınırlarında Matematiksel Düzenlilik Kanıtlandı
Matematikçiler, Alt-Phillips fonksiyonelinin negatif üsler için özgür sınırlarının sonsuz derecede düzenli olduğunu kanıtladı. Bu çalışma, değişken katsayılı kısmi diferansiyel denklemlerin çözümlerinde ortaya çıkan serbest sınır problemlerinin davranışını anlamak için önemli bir adım. Araştırmacılar, belirli koşullar altında bu fonksiyonelin minimize edicilerinin düzenli noktalarda C∞ sınıfında olduğunu matematiksel olarak gösterdi. Sonuç, optimizasyon teorisi ve matematiksel analiz alanlarında yeni yaklaşımların geliştirilmesine katkı sağlayacak.
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.
Moleküler Simülasyonları Hızlandıran Yeni Matematiksel Yöntem Geliştirildi
Araştırmacılar, moleküler dinamik simülasyonlarında yaygın olarak kullanılan Fast Ewald toplama yöntemini geliştiren yeni bir matematiksel yaklaşım sundular. Prolate Spheroidal Wave Functions (PSWF) adı verilen özel dalga fonksiyonları kullanılarak geliştirilen bu yöntem, atomlar arası elektriksel etkileşimlerin hesaplanmasını hem daha hızlı hem de daha doğru hale getiriyor. Klasik Fast Fourier Transform (FFT) tabanlı yaklaşımların aksine, bu yeni teknik gerçek uzay ve frekans uzayında eş zamanlı olarak optimal konsantrasyon sağlayabiliyor. Bilim insanları, yöntemin hata oranlarını teorik olarak analiz ederek, kullanıcıların istenen doğruluk seviyesine göre parametreleri önceden belirleyebilecekleri formüller geliştirdiler. Bu gelişme özellikle büyük ölçekli protein dinamikleri ve malzeme bilimi simülasyonları için önemli avantajlar sunuyor.
130 Yıl Önce Verilen Matematik Dersleri, Galois Teorisinin Temellerini Aydınlatıyor
ETH Kütüphanesi'nde korunan tarihi ders notları, matematikçi Adolf Hurwitz'in 1890-1891 yıllarında Königsberg'de verdiği dersleri gün yüzüne çıkarıyor. Bu dersler, modern cebirin temel taşlarından biri olan Galois teorisinin nasıl öğretildiğini ve anlaşıldığını gösteriyor. Hurwitz'in notları, Évariste Galois'nın devrimci fikirlerinin o dönemde nasıl aktarıldığına dair benzersiz bir pencere açıyor. Araştırmacılar, bu tarihi belgeleri analiz ederek Galois teorisinin temel teoreminin ispatının nasıl sunulduğunu yeniden yapılandırdı. Bu çalışma, matematik tarihinin önemli bir dönemini aydınlatırken, günümüz matematik eğitimi için de değerli içgörüler sunuyor. 19. yüzyıl sonlarında verilen bu dersler, cebirsel denklemler teorisinin nasıl geliştiğini anlamamıza yardımcı oluyor.