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

1. Açık Kaynak Etkinliği

FZ

İstanbul Bilgi Üniversitesi Bilgisayar Bilimleri Bölümü tarafından 15-16 Mart 2003 tarihleri arasında düzenlenecek olan ve açık kodlu yazılımlar konulu "1st Open Source Workshop" isimli etkinliğe herkes hem katılımcı hem de izleyici olarak davetlidir.

Bu etkinliğin düzenlemesinin en önemli sebeplerinden biri, açık kaynak kodlu yazılımlara ilgi son birkaç yılda epey artmış olmakla birlikte hala bu konunun hem akademik hem de profesyonel olarak çok daha ciddi ve derinlemesine tartışılması gerekliliğidir.

"1st Workshop on Open Source" etkinliği açık kaynak kodlu ve özgür yazılımlar konusunda çalışan araştırmacıları ve bu yazılımları pratik problemleri çözmekte kullanan profesyonelleri tartışmaya ve paylaşmaya çağırmaktadır.

Hukuki Boyutuyla Bilgisayar Programları @ Bilgi Üniversitesi

FZ

Tarih: 2 Mayıs 2009, Cumartesi
Saat: 10:00-17:15
Yer: Dolapdere Kampüsü, BS-2, Harita
Düzenleyenler : BİYESAM Bilişim ve Yazılım Eser Sahipleri Meslek Birliği, İstanbul Bilgi Üniversitesi Fikri Mülkiyet Hukuku Uygulama ve Araştırma Merkezi

Resmi web sitesi

10:00 – 10:30 Açılış Konuşmaları

Yrd.Doç.Dr. Gül Okutan Nilsson, İstanbul Bilgi Üniversitesi Fikri Mülkiyet Hukuku Uygulama ve Araştırma Merkezi Müdürü Namık Kural, BİYESAM Bilişim ve Yazılım Eser Sahipleri Meslek Birliği Yönetim Kurulu Başkanı Abdurrahman Çelik, T.C. Kültür ve Turizm Bakanlığı Telif Hakları ve Sinema Genel Müdürü

BİLMÖK: Bilgisayar Mühendisliği Öğrencileri Kongresi İstanbul

anilK

Türkiye çapındaki 40’a yakın üniversitenin Bilgisayar Mühendisliği öğrencilerini İstanbul’da ilk kez buluşturacak olan Bilgisayar Mühendisliği Öğrencileri Kongresi’nin (BİLMÖK) dördüncüsü 29 Şubat – 2 Mart tarihleri arasında İstanbul’da Yıldız Teknik Üniversitesi’nde gerçekleştirilecektir.

Yeditepe Üniversitesi Linux ve Özgür Yazılım Semineri

coskung

Yeditepe Üniversitesi Bilgisayar Topluluğu ve LKD Seminer Çalışma grubu işbirliğiyle; 26 Şubat 2009 Perşembe günü, 14-16 saatleri arasında "Linux ve Özgür Yazılım" semineri düzenleniyor. Enver Altın'ın vereceği seminer, Yeditepe Üniversitesi Kayışdağı Kampüsü'nde, Mühendislik ve Mimarlik Fakültesi Binası, B310 numaralı sınıfta. Katılım her zaman olduğu gibi ücretsiz.

Biltek 2005 için Geri Sayım Başladı

FZ

Avrupa'nın en önemli bilişim platformu olması hedeflenen Biltek 2005, ülkelerin bilgi toplumu olabilme yolunda izledikleri metodların tartışılacağı ve karşılaştırılacağı, yaşanan ve yaşanabilecek sorunlara karşı çözüm yollarının belirleneceği, bilişimin en önemli unsuru olan yazılım teknolojilerinin her yönüyle ele alınacağı ve tüm Avrupa ülkelerinden karar verici mekanizmaların, bürokrat, teknokrat, akademisyen ve siyasilerin katılacağı bilimsel bir kongre olmayı hedeflemektedir.

TBD (Türkiye Bilişim Derneği) tarafından düzenlenen BİLTEK2005'in bu seneki ana teması Yazılım olarak belirlenmiştir. Bilişim teknolojilerindeki ilerlemelerle birlikte, yeni programlama değerler dizisi, yeni yazılım araçları ve yazılım geliştirme ortamları hızla geliştirilmektedir. Bu toplantıda, bir yandan araştırmacıların orijinal çalışmaları akademik oturumlarda tartışılırken, diğer yandan, yazılımın ekonomik boyutları, standartları, açık kaynak kodlu sistemler, e-Dönüşüm alt-yapısı ve sorunları özel sektör ve kamu kurum/kuruluşlarının yetkililerince paneller ve açık oturum platformlarında masaya yatırılacaktır.