...
"kaynak doğrulama" için 483 sonuç bulundu
× Aramayı temizle
Arama Sonuçları
483 haber
Fizik
Hidrojen Geçirgenliğini Ölçmek için Yeni Platform: SHIELD Sistemi Geliştirildi
Füzyon reaktörlerinde kullanılacak malzemelerin hidrojen dayanımını test etmek kritik bir konu. Araştırmacılar, bu amaçla SHIELD adlı yeni bir ölçüm platformu geliştirdi. Sistem, yapısal malzemelerin hidrojen transport özelliklerini kontrollü sıcaklık ve basınç koşullarında hassas bir şekilde ölçebiliyor. Platform, geleneksel yöntemlerdeki kaçak, sıcaklık kararsızlığı ve basınç ölçüm hatalarını minimize edecek şekilde tasarlandı. SHIELD, bağımsız yukarı ve aşağı akım hacimleriyle çalışan statik bir gaz geçirgenlik sistemi kullanıyor. Bu sayede basınç kontrolü ve ölçümlerde yüksek hassasiyet sağlanıyor. Araştırmacılar, sistemin performansını 316 paslanmaz çelik ve AISI 1018 düşük karbonlu çelik üzerinde hidrojen geçirgenlik testleri yaparak doğruladı. Platform ayrıca açık kaynak veri işleme çerçevesiyle şeffaflık ve tekrarlanabilirlik sunuyor.
Teknoloji & Yapay Zeka
Yapay Zeka Kaynak Çelişkilerinde Hangi Bilgiyi Seçiyor?
Araştırmacılar, büyük dil modellerinin (LLM) çelişkili bilgiler karşısında hangi kaynakları tercih ettiğini inceledi. 13 farklı açık kaynak yapay zeka modeliyle yapılan kapsamlı deneyler, AI sistemlerinin devlet kurumları ve gazeteler gibi resmi kaynaklardan gelen bilgileri, sosyal medya ve kişisel görüşlere göre daha güvenilir bulduğunu ortaya koydu. Ancak çalışma çarpıcı bir sonuç daha açığa çıkardı: düşük güvenilirlikli kaynaklardan gelen bilgilerin tekrarlanması, AI'ların tercihlerini tamamen tersine çevirebiliyor. Bu bulgular, yapay zeka destekli bilgi sistemlerinin güvenilirliği ve önyargıları konusunda önemli sorular gündeme getiriyor.
Teknoloji & Yapay Zeka
Yapay Zeka Bilimsel Yazıları Nasıl Değerlendirebilir?
Araştırmacılar, bilimsel yazıların kalitesini değerlendirmek için yeni bir yapay zeka modeli geliştirdi. Bilimsel metin yazımı, derin alan bilgisi ve özel gereksinimler gerektiren karmaşık bir süreç. Mevcut yapay zeka sistemleri genellikle genel amaçlı değerlendirmeler için tasarlandığından, bilimsel yazıların çok boyutlu kriterlerini değerlendirmede yetersiz kalıyor. Yeni yaklaşım, her görev için ayrı ayrı eğitim yapmaya gerek kalmadan, farklı bilimsel yazı türlerini etkin şekilde değerlendirebiliyor. Bu gelişme, özellikle kaynak kısıtlı ortamlarda bilimsel yazı değerlendirmesi yapan araştırmacılar için büyük kolaylık sağlayabilir.
Teknoloji & Yapay Zeka
Yapay Zeka Yarışında Açık Kaynak Stratejileri Oyun Teorisiyle Analiz Edildi
Yapay zeka şirketlerinin neden bazen kodlarını açık kaynak yapıp bazen kapalı tuttukları merak konusuydu. Araştırmacılar bu dinamikleri oyun teorisi ile analiz ederek matematiksel bir model geliştirdiler. Çalışma, AI yarışında şirketlerin açık kaynak kararlarının arkasındaki stratejik hesaplamaları ortaya koyuyor. Model, hem tamamen açık/kapalı kaynak hem de kısmi açık kaynak stratejilerini (sadece ağırlıkları paylaşma gibi) inceliyor. Bulgular, kazanan her şeyi alır mantığının hakim olduğu AI sektöründe şirketlerin neden farklı açık kaynak stratejileri benimsediğini açıklıyor. Araştırma, küçük örneklemler için pratik çözüm yöntemleri de sunuyor.
Teknoloji & Yapay Zeka
NeuroLip: Dudak hareketleriyle kişi tanıma teknolojisinde büyük adım
Araştırmacılar, dudak hareketlerini analiz ederek kişi tanıma yapabilen yenilikçi bir sistem geliştirdi. NeuroLip adlı bu teknoloji, ses yokken bile bireyleri tanıyabilecek sessiz ve pratik bir biyometrik çözüm sunuyor. Geleneksel yöntemlerden farklı olarak, kişilerin konuşma sırasındaki benzersiz dudak dinamiklerini ve kas koordinasyonlarını analiz ediyor. Sistem, olay tabanlı kameralar kullanarak hareket bulanıklığı ve düşük dinamik aralık gibi sorunları çözüyor. En dikkat çekici özelliği ise tek bir kontrollü ortamda eğitildikten sonra, farklı aydınlatma ve görüş koşullarında bile başarılı tanıma yapabilmesi. Bu teknoloji güvenlik sistemleri, erişim kontrolü ve sessiz kimlik doğrulama uygulamalarında devrim yaratabilir.
Teknoloji & Yapay Zeka
Yapay Zeka Modellerinin Mantık Hatalarına Karşı Yeni Çözüm: Gamma Beşlisi
Araştırmacılar, büyük dil modellerinin mantıksal akıl yürütmedeki sistemik sorunlarına karşı yenilikçi bir çözüm geliştirdi. Bu modeller hipotez üretimi ile doğrulamayı karıştırıyor, varsayımları doğrulanmış bilgiden ayırt edemiyor ve zayıf mantık adımlarının çıkarım zincirlerinde kontrol edilmeden yayılmasına izin veriyor. Yeni framework, Charles Sanders Peirce'ün üçlü çıkarım teorisini temel alarak abdüksiyon, dedüksiyon ve indüksiyon süreçlerini açık bir protokol haline getiriyor. Beş cebirsel değişmez (Gamma Beşlisi) aracılığıyla mantıksal tutarlılığı zorluyor. Bunların en güçlüsü olan 'En Zayıf Halka' sınırı, akıl yürütme zincirindeki hiçbir sonucun en az desteklenen öncülünden daha güvenilir olamayacağını garanti ediyor.
Matematik
Floer Tipi Homoloji Teorilerinin İnşası: Topolojide Yeni Çerçeve
Georgia Uluslararası Topoloji Konferansı'nda sunulan çalışma, 1980'lerin sonundan bu yana düşük boyutlu topoloji ile simplektik ve temas geometrisinde homoloji teorilerinin nasıl inşa edildiğine dair ortak bir çerçeve sunuyor. Bu çerçeve, özellikle Floer homolojisi türü teorilerin geliştirilmesinde kullanılan sistematik yaklaşımları açıklıyor. Araştırma, farklı matematiksel durumların nasıl farklı cebirsel yapılar gerektirdiğini ve bu yapıların homoloji tanımında kullanılan zincir gruplarının doğasını nasıl belirlediğini gösteriyor. Lisansüstü öğrencilere yönelik hazırlanan bu kapsamlı notlar, modern topolojinin temel araçlarından birinin anlaşılmasında önemli bir kaynak niteliği taşıyor.
Tıp & Sağlık
Kanser Tanısında Devrim: MambaBack ile Mikroskobik Görüntü Analizi
Araştırmacılar, kanser tanısında kullanılan bütün slayt görüntü analizi için yeni bir yapay zeka mimarisi geliştirdi. MambaBack adlı bu sistem, hem yerel hücresel yapıları hem de global bağlamları etkili şekilde modelleyerek mevcut yöntemlerin üç temel sorununu çözüyor. Patoloji alanında kullanılan Multiple Instance Learning yaklaşımının geliştirilmiş hali olan bu teknoloji, 2D uzamsal yerelliği korurken ince taneli hücresel yapıları daha iyi analiz edebiliyor. Ayrıca kaynak kısıtlı cihazlarda bile düşük bellek kullanımıyla çalışabilen sistem, kanser teşhisinin hızlanmasına ve daha erişilebilir hale gelmesine katkı sağlayabilir.
Teknoloji & Yapay Zeka
BlockRaFT: Blockchain Ağlarını Hızlandıran Yeni Dağıtık Sistem Çerçevesi
Araştırmacılar, blockchain teknolojisinin en büyük sorunlarından olan ölçeklenebilirlik ve güvenilirlik problemlerini çözmek için BlockRaFT adında yenilikçi bir çerçeve geliştirdi. Bu sistem, RAFT konsensüs protokolünü kullanarak blockchain düğümlerinin işlemlerini daha verimli bir şekilde dağıtıyor. BlockRaFT, sistemler arasından bir lider seçerek iş yükünü diğer düğümlere akıllıca paylaştırıyor ve böylece kaynak kullanımını optimize ediyor. Blockchain düğümlerinin durumlu ve durumsuz işlemlerini ayırarak, sistem çökmelerine karşı dayanıklılık sağlarken aynı zamanda yüksek performans sunuyor. Bu gelişme, blockchain teknolojisinin yaygın kullanımının önündeki teknik engellerin aşılmasında önemli bir adım olarak değerlendiriliyor.
Matematik
Matematikçiler Belyi Haritalarının Doğruluğunu Sertifikalı Yöntemle Kanıtlıyor
Araştırmacılar, karmaşık matematiksel yapılar olan Belyi haritalarının özelliklerini kesin bir şekilde doğrulamak için yeni bir yöntem geliştirdi. Bu teknik, sertifikalı homotopi takibi kullanarak sayı alanları üzerindeki tam denklemlerden hareketle Belyi haritalarının monodromisini hesaplıyor. Geliştirilen sistem, L-fonksiyonları ve Modüler Formlar Veritabanı'ndaki binlerce Belyi haritasının matematiksel özelliklerini büyük ölçekte doğrulamak için kullanıldı. Bu çalışma, cebirsel geometri ve sayılar teorisi alanlarında önemli bir metodolojik ilerleme sunarak, karmaşık matematiksel nesnelerin özelliklerinin güvenilir bir şekilde hesaplanmasını mümkün kılıyor.
Teknoloji & Yapay Zeka
Yapay Zeka Modelleri Artık Ontoloji Mühendisliği İçin Soru Üretebiliyor
Araştırmacılar, büyük dil modellerinin (LLM) ontoloji mühendisliğinde kullanılan yeterlilik sorularını otomatik olarak oluşturabilme kapasitesini inceledi. Ontoloji mühendisliğinde gereksinim analizi için kritik öneme sahip bu sorular, geleneksel olarak uzmanlar tarafından manuel süreçlerle hazırlanıyordu. Çalışma, farklı yapay zeka modellerinin ürettiği soruların okunabilirlik, yapısal karmaşıklık gibi özelliklerini sistematik olarak analiz etti. Bu gelişme, ontoloji mühendisliği süreçlerinin demokratikleşmesi ve daha geniş katılımcı kitlelere açılması anlamına geliyor. Araştırma, açık ve kapalı kaynak modeller arasında karşılaştırma yaparak, yapay zekanın bu alandaki potansiyelini değerlendirdi.