A. C. Cem Say

Türkçe

The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore, all progress depends on the unreasonable man.

George Bernard Shaw

TABLE OF CONTENTS

INTRODUCTION TO ACCS

I am a professor of computer science in Boğaziçi University. My research interests are Theoretical Computer Science and Artificial Intelligence.

In "civilian" life, I am known as an overall nice guy with a liking for science fiction, Western languages, and all kinds of funny things.

PERSONAL DETAILS

Full Name:

Ahmet Celal Cem Say.

Date and Place of Birth:

Pi Day, 1966, Ankara.

Nationality:

Turkish.

Job Address:

Boğaziçi University, Department of Computer Engineering, Bebek, 34342, İstanbul, Turkey.

Phone:

+90-212-3596628.

Fax:

+90-212-2872461.

Email:

say at boun dot edu dot tr

Erdös Number:

at most 4

EDUCATION

  • T.E.D. Ankara High School (1983)
  • B.S. in Computer Engineering from Boğaziçi University (1987)
  • Ph.D. in Computer Engineering from Boğaziçi University (1992)
  • Turkish Army School of Communications, Electronics and Information Systems (1995)

SCHOLARSHIPS

  • High school scholarship of TÜBİTAK (Turkish Scientific & Technological Research Institution)
  • Ph.D. scholarship of TÜBİTAK
  • University of Vienna Language School Scholarship
  • Italian Institute of Culture Language School Scholarship

PROFESSIONAL EXPERIENCE

  • 1987-1992 Boğaziçi University, Department of Computer Engineering, Research Assistant.
  • 1995-1996 Turkish Naval Inventory Control Center Command, Supply Services Software Officer.
  • 1992-1996 Boğaziçi University, Department of Computer Engineering, Assistant Professor.
  • 1996-2003 Boğaziçi University, Department of Computer Engineering, Associate Professor.
  • 2003-...      Boğaziçi University, Department of Computer Engineering, Professor.

(I have been seen in Işık, Galatasaray, and Bilgi Universities as well.)

COURSES TAUGHT

LANGUAGES

SELECTED PUBLICATIONS

A. Journal Papers

  • A. C. Cem Say, Selahattin Kuru, “Improved filtering for the QSIM algorithm,” IEEE Transactions on Pattern Analysis and Machine Intelligence Vol. 15, pp. 967-971, 1993.
  • A. C. Cem Say, Selahattin Kuru, “Qualitative system identification: Deriving structure from behavior,” Artificial Intelligence Vol. 83, pp. 75-141, 1996.
  • A. C. Cem Say, Selahattin Kuru, “Postdiction using reverse qualitative simulation,” IEEE Transactions on Systems. Man, and Cybernetics Part A: Systems and Humans Vol. 27, pp. 84-95, 1997.
  • A. C. Cem Say, “L'Hôpital's filter for QSIM,” IEEE Transactions on Pattern Analysis and Machine Intelligence Vol. 20, pp. 1-8, 1998.
  • A. C. Cem Say, “Making use of contradictory behavior information in qualitative reasoning,” IEEE Transactions on Pattern Analysis and Machine Intelligence Vol. 21, pp. 781-786, 1999.
  • A. C. Cem Say, “Understanding arithmetic problems in Turkish,” International Journal of Pattern Recognition and Artificial Intelligence Vol. 15, pp. 359-374, 2001.
  • A. C. Cem Say, "Improved reasoning about infinity using qualitative simulation," Computing and Informatics Vol. 20, pp. 487-507, 2001.
  • A. C. Cem Say, “Problems in representing liquid tanks with monotonicity constraints: A case study in model-imposed limitations on the coverage of qualitative simulators,” Artificial Intelligence Review Vol. 17, pp. 291-317, 2002.
  • A. C. Cem Say, “Sound and complete qualitative simulation requires “quantitative” filtering,” Annals of Mathematics and Artificial Intelligence Vol. 38, pp. 257-267, 2003.
  • Tolga Könik, A. C. Cem Say, “Duration consistency filtering for qualitative simulation,” Annals of Mathematics and Artificial Intelligence Vol. 38, pp. 269-309, 2003.
  • A. C. Cem Say, H. Levent Akın, “Sound and complete qualitative simulation is impossible,”  Artificial Intelligence Vol. 149, pp. 251-266, 2003.
  • A. C. Cem Say, A. Kutsi Nircan, “Random generation of monotonic functions for Monte Carlo solution of qualitative differential equations,” Automatica Vol. 41, pp. 739-754, 2005.
  • Özgür Yılmaz, A. C. Cem Say, “Causes of ineradicable spurious predictions in qualitative simulation,” Journal of Artificial Intelligence Research, Vol. 27, pp. 551-575, 2006.
  • Abuzer Yakaryılmaz, A. C. Cem Say, “Efficient probability amplification in two-way quantum finite automata,” Theoretical Computer Science, Vol. 410, pp. 1932-1941, 2009. (doi:10.1016/j.tcs.2009.01.029)
  • Rūsiņš Freivalds, Abuzer Yakaryılmaz, A. C. Cem Say, “A new family of nonstochastic languages,” Information Processing Letters, Vol. 110, pp. 410-413, 2010.  (doi:10.1016/j.ipl.2010.03.011)
  • Abuzer Yakaryılmaz, A. C. Cem Say, “Languages recognized by nondeterministic quantum finite automata,” Quantum Information and Computation, Vol. 10, pp. 747-770, 2010.
  • Abuzer Yakaryılmaz, A. C. Cem Say, “Succinctness of two-way probabilistic and quantum finite automata,” Discrete Mathematics and Theoretical Computer Science, Vol. 12, pp.19-40, 2010.
  • Abuzer Yakaryılmaz, A. C. Cem Say, “Unbounded-error quantum computation with small space bounds,” Information and Computation, Vol. 209, pp.873-892, 2011. [slightly older version at arXiv:1007.3624]
  • Abuzer Yakaryılmaz, Rūsiņš Freivalds, A. C. Cem Say, Ruben Agadzanyan, “Quantum computation with write-only memory,” Natural Computing, (doi: 10.1007/s11047-011-9270-0)
  • A. C. Cem Say, Abuzer Yakaryılmaz, “Quantum counter automata,” International Journal of Foundations of Computer Science, to appear.

B. Conference Papers

  • A. C. Cem Say, Selahattin Kuru, "Nitel model tanılama," (in Turkish) Bilkon-91 1991 Bilkent Elektrik-Elektronik ve Bilgisayar Mühendisliği Konferansı, Ankara, 1991, pp. 363-366.
  • A. C. Cem Say, Selahattin Kuru, "Qualitative system identification," Lecture Notes in Control and Information Sciences Vol. 180, (System Modeling and Optimization: Proceedings of the 15th IFIP Conference, Zürich, Switzerland, September 2-6, 1991),1992, pp. 657-666.
  • A. C. Cem Say, Selahattin Kuru, "An extension of the corresponding value technique in qualitative modeling and simulation," Birinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, Ankara, 1992, pp.23-28.
  • A. C. Cem Say, Selahattin Kuru, "QSI: Constructing models for qualitative simulation," Advances in Simulation '92 Symposium, Boğaziçi Univ., İstanbul, 1992, pp. 37-46.
  • A. C. Cem Say, Selahattin Kuru, "Automatic construction of qualitative models," in Intelligent Systems: Safety, Reliability, and Maintainability Issues, Springer-Verlag, Berlin, 1993, pp. 177-193.
  • Cem Say, Sidal Sen, Ruhver Barengi, "'Bir Kelime - Bir İşlem' oynayan program," (in Turkish) İkinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, İstanbul, 1993, pp. 349-355.
  • İlan Berker, A. C. Cem Say, "A crossword puzzle generator for Turkish," Proceedings of the Eighth International Symposium on Computer and Information Sciences (ISCIS-VIII), İstanbul, 1993, pp. 474-477.
  • Çiğdem Aytekin, A. C. Cem Say, Erkut Akçok, "ELIZA speaks Turkish: A conversation program for an agglutinative language," Üçüncü Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, Ankara, 1994, p. 435.
  • A. C. Cem Say, "Türkçe 'anlayan' programlar," (in Turkish) TBD Bilişim '94, İstanbul, 1994, pp. 191-195.
  • Metin Örsel, A. C. Cem Say, "Representing descriptions of flags," Proceedings of the Ninth International Symposium on Computer and Information Sciences (ISCIS-IX), Antalya, 1994, pp. 575-582.
  • Müjdat Pakkan, A. C. Cem Say, "Qualitative collision detection in the roller coaster world," Proceedings of the Ninth International Symposium on Computer and Information Sciences (ISCIS-IX), Antalya, 1994, pp. 583-590.
  • Murat Işık, A. C. Cem Say, "Qualitative noise filtering and the implementation of QF as a preprocessor to QSI," Proceedings of the Tenth International Symposium on Computer and Information Sciences (ISCIS-X), Aydın, 1995, pp. 145-152.
  • A. C. Cem Say, "Functions representable in pure QSIM," Beşinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, İstanbul, 1996, pp. 251-255.
  • A. C. Cem Say, "Qualitative timeline analysis," in New Trends in Artificial Intelligence and Neural Networks. EMO Scientific Books, Ankara, 1997, pp. 121-126.
  • F. Canan Pembe, A. C. Cem Say, “A linguistically motivated information retrieval system for Turkish,” Lecture Notes in Computer Science Vol. 3280, (Proceedings of the Nineteenth International Symposium on Computer and Information Sciences), 2004, pp. 741-750.
  • Uğur Küçük, A. C. Cem Say, “Improved simulation of quantum random walks,” Lecture Notes in Computer Science Vol. 3733, (Proceedings of the Twentieth International Symposium on Computer and Information Sciences), 2005, pp. 937-946.
  • Abuzer Yakaryılmaz, Rūsiņš Freivalds, A. C. Cem Say, Ruben Agadzanyan, “Quantum computation with devices whose contents are never read,” Lecture Notes in Computer Science Vol. 6079, (Proceedings of the 9th International Conference on Unconventional Computation), 
    2010, pp. 164-174.  [doi:10.1007/978-3-642-13523-1_18]
  • A. C. Cem Say, Abuzer Yakaryılmaz, “Computation with narrow CTCs,” Lecture Notes in Computer Science Vol. 6714, (Proceedings of the 10th International Conference on Unconventional Computation), 2011, pp. 201-211. [arXiv:1102.1199]
  • Nuri Taşdemir, A. C. Cem Say, “Models of pushdown automata with reset,” Lecture Notes in Computer Science Vol. 6795, (Proceedings of the 15th International Conference on Developments in Language Theory), 2011, pp. 417-428.

C. Technical Reports

  • Reha Kamil Gerçeker, A. C. Cem Say, “Using polynomial approximations to discover qualitative models,” Proceedings of the 20th International Workshop on Qualitative Reasoning. Editors: Chris Bailey-Kellogg and Benjamin Kuipers, pp. 71-80, Darthmouth College, Hanover, New Hampshire, USA, 2006.
  • Nuri Taşdemir, A. C. Cem Say, “Provably spurious qualitative simulation predictions that just won’t go away,” Proceedings of the 21st International Workshop on Qualitative Reasoning. Editor: Chris Price, pp. 170-180, Aberystwyth, UK, 2007.
  • Abuzer Yakaryılmaz, A. C. Cem Say, “Language recognition by generalized quantum finite automata with unbounded error,” 4th Workshop on Theory of Quantum Computation, Communication, and Cryptography, TQC2009, Waterloo, Ontario, Canada, 2009. (arXiv:0901.2703).
  • Abuzer Yakaryılmaz, A. C. Cem Say, “NP has log-space verifiers with fixed-size public quantum registers,” (8th Central European Quantum Information Processing Workshop), 2011. [arXiv:1101.5227]
  • A. C. Cem Say, Abuzer Yakaryılmaz, Finite state verifiers with constant randomness. [arXiv:1102.2719] 

D. Books

  1. M. Ufuk Çağlayan, Fedon Kadifeli, A. C. Cem Say. Standard C Programming. Boğaziçi University Publications, 1989.
  2. Fedon Kadifeli, A. C. Cem Say, M. Ufuk Çağlayan. Standart C Programlama Dili (in Turkish). Sarmal Yayınları, 1993. (Translated and updated from (1) by F. Kadifeli.)

E. Edited Volumes

  1. Selahattin Kuru, H. Levent Akın, A. C. Cem Say, Ethem Alpaydın (Eds.). İkinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu Bildiriler. Boğaziçi Üniversitesi, İstanbul, 1993.
  2. A. C. Cem Say, Günhan Dündar (Eds.) Proceedings of the Eighth Turkish Symposium on Artificial Intelligence and Neural Networks. Boğaziçi Üniversitesi, İstanbul, 1999.

F. Miscellaneous

  1. A. C. Cem Say, "Sen de mi şair oldun ey bilgisayar?" Çağrı Dergisi, no. 400, 1993, p. 9.
  2. A. C. Cem Say, "Sıcak bir TAINN günü" Beşinci Türk Yapay Zeka ve Yapay Sinir Ağları Sempozyumu, İstanbul, 1996, p. 381.
  3. Cem Say, "Akla doğru"  Cogito, no. 13, 1998, pp. 67-74.
  4. Cem Say, “Gödel’in eksiklik teoremi” Matematik Dünyası, Yıl 14, Sayı 4, 2005, 67-71.
  5. Cem Say, “Nitel benzetim” Türkiye Bilişim Ansiklopedisi. TBV-Papatya Yayıncılık Eğitim, 611-615, 2006.

 

Doctoral Dissertation: Qualitative System Identification. Boğaziçi University, 1992.

 

ATYlogo