Efsane Bilgisayar Bilimci Prof. Rusins Freivalds'ın Boğaziçi'ndeki Semineri

0
FZ
Boğaziçi Üniversitesi Bilgisayar Mühendisliği bölümünden Prof. Cem Say bildiriyor:

"Letonya Bilimler Akademisi üyesi ünlü TCS'cı Rusins Freivalds (1975'te olasılıksal algoritmaların deterministik olanlara bir üstünlüğü olduğunun ilk ispatını yaptı, 1981'de sonlu bellekli ve "az hatalı" olasılıksal makinelerin sonlu bellekli deterministik makinelerden daha güçlü olduğunu ispatladı, state sayısı avantajının boyutunu da daha yeni ispatlamış görünüyor,) 17 Kasım Pazartesi günü bölümümüzü ziyaret edecek, sanırım saat 14'te de bir seminer verecek (özet aşağıda). Davetlisiniz."
Nonconstructive methods in finite automata

Rusins Freivalds
(University of Latvia)

A.Ambainis and R.Freivalds proved in 1998 that for recognition of some languages quantum finite automata can have smaller number of states than deterministic ones, and this difference can even be exponential. The proof contained a slight non-constructiveness, and the exponent was not shown explicitly. For probabilistic finite automata, the exponentiality of such a distinction was not yet proved. The best (smaller) gap was proved by Ambainis in 1996. The languages considered by Ambainis/Freivalds were presented explicitly, but the exponent was not. In a very recent paper by R.Freivalds the non-constructiveness is modified, and an explicit (and seemingly much better) exponent is obtained at the expense of having only non-constructive description of the languages used.

Moreover, the best estimate proved in this paper is proved under assumption of the well-known Artin's Conjecture (1927) in Number Theory. The paper contains also a theorem that does not depend on any open conjectures but the estimate is worse, and the description of the languages used is even less constructive. This seems to be the first result in finite automata depending on open conjectures in Number Theory.

Görüşler

0
oetzi_
Seminer saati ve yerini kesinleştirebilir misiniz.
Görüş belirtmek için giriş yapın...

İlgili Yazılar

İYTE de Linux Semineri

o_ozardic

İzmir Yüksek Teknoloji Enstitüsü Bilgisayar Topluluğu, Gülbahçe Kampüsünde Gerçek Zamanlı Bilgisayar Tabanlı Kontrol konulu seminer düzenliyor.
İYTE Bilgisayar Mühendisliği Bölümü Öğretim Üyelerinden Tolga Ayav tarafından verilecek seminerin konu başlıkları :

Bilgi - IBM İleri Araştırmalar Merkezi / Kış 2007 Eğitim ve Seminerleri

anonim

İstanbul Bilgi Üniversitesi, Dolapdere Kampüsü'ndeki Bilgi - IBM İleri Araştırmalar Merkezi'nde kış eğitimleri/seminerleri başlıyor. LPI sertifikasyon dökümanları çerçevesinde yürütülecek olan GNU/Linux eğitimlerinin de yer aldığı program hakkında detaylı bilgiyi CAS web sitesinde bulabilirsiniz.

Atölye Çağrısı: Ağlı Bilgi Görselleştirmesi

butch

Gelecek hafta Burak Arıkan tarafından İstanbul Bilgi Üniversitesi'nde düzenlenecek ve epey yoğun pratik uygulamalar geliştirmeye dair tekniklerin aktarılacağı bu atölye çalışması karmaşık ağ modelleme, görselleştirme, ve anlamaya odaklanmaktadır. Gündelik hayattan politikaya, iletişimden ulaşıma, sanattan ekonomiye kadar sayısız alanda ağlı yapılarla karşılaşıyoruz. Bu karmaşayı gözlemleyip görselleştirmek daha önce farkında olamadığımız yeni bilgiler keşfetmemizi sağlıyor.

GNU/Linux ve Matematik Yaz Okulu 2005

FZ

İstanbul Kültür Üniversitesi (İKÜ) tarafından düzenlenen ve TÜBİTAK tarafından da desteklenen bu yaz okulunda ana tema GNU/Linux ve matematik olacaktır.

Söz konusu yaz okulunda, üniversitelerimizin tüm bölümlerinde yazılıma ilgi duyan genç yazılımcıların GNU/Linux’la tanışmaları veya bilgilerini artırmaları sağlanacaktır.Ayrıca MATLAB’a altenatif olarak serbest dağıtılan Octave üzerinde uygulamalar yapılacaktır.

Editörün Notu: Söz konusu yaz okulunda Maxima, Axiom, R-Project ve tabii ki Common Lisp'ten de bahsetmeleri ümidiyle...

Mart ayında Sakarya ve Balıkesir´de Linux Seminerleri

dfisek

Linux Kullanıcıları Derneği, Mart ayında iki farklı şehirde seminerler düzenliyor. Sakarya'da 3-4-5 Mart tarihlerinde Sakarya Üniversitesi'nin ev sahipliğini yaptığı üç günlük etkinlikte çeşitli linux dağıtımlarının kurulumundan, kylix programlama'ya kadar birçok konu anlatılacak. 18-19 Mart tarihlerinde ise bu kez Balıkesir'de seminerler yapılacak. Balıkesir Üniversitesi'nin penguenleri misafir ettiği etkinlikte Masaüstü uygulamaları ve oyunlardan internet sunucularına kadar çeşitli konularda seminerler verilecek. Ayrıntılı bilgi için seminer.linux.org.tr.