資訊系11/10(一)邀請Professor Oscar H. Ibarra來系演講

各位老師、同學：

資訊系黃崇明主任邀請University of California Santa Barbara的Professor Oscar H. Ibarra至成大演講，檢附詳細資訊及時間地點於文後，機會難得，請大家踴躍參加!

成大資訊工程專題演講
主辦單位：資訊工程系
協辦單位：工程科學系
日　　期：11月10日(一)
時　　間：2:00pm~4:00pm
地　　點：成功大學工程科學系大樓B1越生講堂
對　　象：資訊、工科及電機相關系所教師及研究所學生
題　　目： Computing with Cells: Membrane Systems
主講人：Professor Oscar H. Ibarra
服務單位： University of California Santa Barbara
內容摘要：
    Membrane computing is a part of the general research effort of describing and investigating computing models, ideas, architectures, and paradigms from the processes taking place in nature. It is a recent branch of molecular computing that is motivated by cell biology.

    Membrane computing identifies an unconventional computing model, namely a P system, which abstracts from the way living cells process chemical compounds in their compartmental structure. Regions defined by a membrane structure contain multisets of objects that evolve according to specified rules. The objects can be represented as symbols or strings of symbols. By using the rules in a nondeterministic (deterministic) maximally parallel manner, transitions between the system configurations can be obtained. A sequence of transitions is a computation of how the system is evolving. Various ways of controlling the transfer of objects from one region to another and applying the rules, as well as possibilities to dissolve, divide or create membranes have been studied. P systems have a great potential for implementing massively concurrent systems in an efficient way that would allow us to solve currently intractable problems once future bio-technology gives way to a practical bio-realization. We give a brief overview of the area and report on recent results that answer some interesting and fundamental open questions in the field.

    We also look at the recently introduced neural-like systems, called spiking neural P systems. These systems incorporate the ideas of spiking neurons into membrane computing. We present various classes and characterize their computing power and complexity. In particular, we analyze asynchronous and sequential systems and present some conditions under which they become (non-)universal. The non-universal variants are characterized by monotonic counter machines and partially blind counter machines. The latter devices are known to be equivalent to Petri nets and, hence, have many decidable properties.

個人簡介：
    Oscar H. Ibarra received the B.S. degree in Electrical Engineering from the University of the Philippines and the M.S. and Ph.D. degrees, also in Electrical Engineering, from the University of California, Berkeley. He is a Professor and past Chair of the Department of Computer Science at the University of California, Santa Barbara. Previously, he was on the faculties of UC Berkeley (1967-1969) and the University of Minnesota (1969-1990). His research interests include the design and analysis of algorithms, theory of computation, computational complexity, parallel computing, formal verification, membrane computing.

    Ibarra was awarded a John Simon Guggenheim Memorial Foundation Fellowship in 1984. He is a Fellow of the Association for Computing Machinery (ACM), the Institute of Electrical and Electronics Engineers (IEEE), and the American Association for the Advancement of Science (AAAS). In 2001, he received the IEEE Computer Society's Harry H. Goode Memorial Award. He was awarded an Invitation Fellowship for research by the Japan Society for the Promotion of Science (JSPS), and visited the Japan Advanced Institute of Science and Technology (JAIST) in fall 2002. The University of the Philippines Alumni Association (UPAA) presented him a distinguished alumnus award as the 2003 Outstanding Professional in the field of Mathematics, Statistics, and Computer Science. He was elected a member of the European Academy of Sciences (EAS) in 2003. He received a Nokia Visiting Fellowship and visited the University of Turku in 2007. He was awarded the Blaise Pascal Medal in Computer Science from EAS in 2007, and in 2008 he was elected a Foreign Member of Academia Europaea in the Informatics Section. He was recently awarded a Distinguished Visiting Fellowship from the United Kingdom (UK) Royal Academy of Engineering. He is listed in the Institute for Scientific Information (ISI) database of Highly Cited Researchers in Computer Science.

相關網址：無
公告人員：系辦人員
公告日期：2008-10-24
附加檔案：無附加檔案