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

Bilgi İşleyen Makina Olarak Beyin - 3

FZ

Bu toplantı ülkemizde bilgi işleyen makina olarak beyin ile ilgili konularda çalışan araştırmacıların bir araya gelmesini ve yaptıkları bilimsel veya uygulamalı çalışmalar hakkında bilgi alış verişinde bulunmasını sağlamak amacı ile 1995 ve 1997’de düzenlenen toplantıların devamı olacaktır.

Beyin ve Sinir Sistemi değişik disiplinlerin ilgisini çekmiştir. Bu toplantıda Antropoloji, Biyoloji, Dilbilim, Felsefe, Fizik, Güzel Sanatlar, Hukuk, Kimya, Matematik, Mühendislik, Psikoloji, Sosyoloji, Tıp gibi farklı disiplinlerin bu konuda yaklaşımları kavramsal düzeyde, günlük dille ele alınacaktır. Yarımşar günlük oturumlarda sunumların sonunda ilginç tartışmaların olması beklenmektedir.

Ankara Penguen Pikniği

penguencg

Merhaba arkadaşlar,

Baharın gelişiyle beraber penguenlerin kendilerini çimenlere atması için pikniğe gidiyoruz. Şehrin gürültüsünden ve kalabalığından uzak sohbeti, eğlencesi bol güzel bir gün geçirmek için sizi de penguen pikniğine bekliyoruz.

Türkçe'nin Bağlılık Ayrıştırması

FZ

İTÜ Bilgisayar Mühendisliği bölümünden Gülşen Cebiroğlu Eryiğit, 24 Nisan Salı günü, saat 12:00'da, Boğaziçi Üniversitesi'nde ETA 16'da DDİ (Doğal Dil İşleme) ve Türkçe arakesitinde bir seminer verecek:

Bu seminerde, zengin bitişken bir biçimbirimsel yapıya sahip, tümce içi öğe dizilişleri serbest ve çoğunlukla sağa bağımlı türde olan Türkçe'nin bağlılık ayrıştırması konusunda yapılan araştırmalar anlatılacaktır. Yukarıda sıralanan özellikleri ile Türkçe, İngilizce'den ve ayrıştırma alanında üzerinde yoğun olarak çalışılmış birçok dilden farklılıklar göstermektedir. Bu niteliği ile benzer özellikler gösteren bir sınıf dilin temsilcisi olarak görülebilir. Tanıtılacak araştırmalarda, yakın geçmişte kullanıma sunulan Türkçe derlem (Odtü-Sabancı Türkçe ağaç yapılı derlemi) kullanılarak, veri güdümlü ayrıştırıcılarda farklı tasarım yöntemlerinin kullanılmasının etkileri incelenmiştir.

Akademik Bilişim Linux Seminerleri

hcg

11. Akademik Bilişim Konferansı, 11-13 Şubat tarihlerinde Şanlıurfa Harran Üniversitesi evsahipliğinde düzenleniyor. Gelenek olduğu üzere, bu konferans kapsamında da LKD Seminerleri için bir salon ayrıldı. Organizasyonu Seminer Çalışma Grubu tarafından yapılan bu seminerlerde "Linux Nedir?" gibi giriş düzeyinde seminerlerden, sistem yönetimine dair uzman seviye seminerlere kadar çok çeşitli başlıklar seçildi. Ayrıca "Açık Linux Dersleri" başlıklı bir panel de bu konferans kapsamında yapılacak.

Dinamikler 2006 Kongre Duyurusu

SHiBuMi

İstanbul Proje Yönetimi Derneği tarafından her yıl düzenlenen Dinamikler Kongresi, bu yıl Dinamikler 2006 adı altında 7-8 Nisan 2006 tarihlerinde İstanbul Teknik Üniversitesi Ayazağa Kampüsü, Süleyman Demirel Kültür Merkezi'nde gerçekleştirilecek.

2006 kongresinin teması Yenilikçilik, Girişimcilik ve Finans olarak belirlenmiş. Panel başlıkları arasında "Girişimcilik ve Gençler", "Girişimci Projeleri Finansmanı" gibi konular yer alıyor.