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

Teknoloji ve Yönetim

FZ

İstanbul Bilgi Üniversitesi, Bilgisayar Bilimleri Bölümünün düzenlediği seminerlerin yedincisinin konusu Teknoloji ve Yönetim.

Konuşmacı : Cem Ergün, AREND Endüstriyel Danışmanlık A.Ş. Yönetim Kurulu Başkanı
Tarih: 8 Nisan 2002, Pazartesi
Saat : 18:30
Yer : İstanbul Bilgi Üniversitesi, Kuştepe Kampüsü, Akademik Kurul Odası

İstanbul Üniversitesi TEKNOLOJİ GÜNLERİ 2005

iueeorg

Daha önce 2001, 2002, 2003 yıllarında yine Elektrik-Elektronik Kulübü tarafından “Teknoloji Günleri” adı altında gündemdeki teknolojiyi öğrencilerle buluşturmak amacıyla düzenlenmiş olan organizasyon, kampüs genelinde aynı zamanda hem üniversite ortamında edinilen teorik bilginin iş yaşamına hangi şartlarda aktarılabileceğini, kapsamında yer alan firmalar, teknoloji guruları, girişimci iş adamları ile ortaya koyan hem de sağladığı kariyer planlama imkanları ile öğrencilerinin vizyonunu belirlemelerine katkıda bulunan organizasyonların en geniş kapsamlı olanlarındandır.

Linux Semineri : IPTables ile Güvenlik Duvarı

dfisek

Linux Kullanıcıları Derneği, Cumartesi günü İstanbul'da Internet Teknolojileri Derneği'nde linux semineri düzenliyor. Seminerde, Linux güvenlik duvarı uygulaması olan Netfilter'in gücünü kullanmanız için gerekenler anlatılacak. Tipik erişim sınırlandırmadan, DoS saldırılarına karşı yapılabileceklere, yük dengelemeden, bant genişliği belirlemeye kadar pek çok konuda neler yapılabileceğinin anlatılacağı seminer saat 15.00'te başlayacak. - Ayrıntılı bilgi -

Linux ve Özgür Yazılım Şenliği web sitesi artık yayında

aekoroglu

4. Linux ve Özgür Yazılım Şenliği web sitesi yayına başladı. Bu sene dördüncüsü düzenlenecek olan Linux ve Özgür Yazılım Şenliği Milli Kütüphane Başkanlığı'nın katkılarıyla 19-22 Mayıs 2005 tarihlerinde Ankara Milli Kütüphane'de düzenlenecek.

Sizde dördüncü şenlik hakkında daha fazla bilgi almak ve şenlik çalışmalarına gönüllü olarak katkı vermeyi düşünüyorsanız..
http://senlik.linux.org.tr

Kayseri ve Eskişehir´de Linux Seminerleri

dfisek

Linux Kullanıcıları Derneği; 22 Nisan'da Kayseri'de yeni başlayanlara ve veritabanı programcılarına yönelik, 28-29 Nisan'da Eskişehir'de masaüstü, güvenlik ve web/veritabanı uygulamaları üzerine seminerler düzenliyor. -Ayrıntılı bilgi-