Welcome!This is the official web site of the Algorithms and Complexity Laboratory (ACLab) of the Department of Computer Science at the University of the Philippines Diliman. ACLab was founded in 2007 by Henry N. Adorna, Professor of Computer Science.
ACLab regular members, (under)graduate students, and collaborators conduct investigations on a diverse range of topics, all anchored on a theoretical computer science perspective. Current active research areas include formal models, natural computing, algorithmics for hard problems, bioinformatics, and data analysis and visualization.
Recent News and Announcements19 June 2018
Theory Days 2018
Synopsis: Theory Days 2018 celebrates two main reasons: 11 years of Algorithms and Complexity at the Department of Computer Science in UP Diliman, as well as 106 years since the birth of Alan Turing, the founder of computer science. Theory Days 2018 aims to celebrate both these reasons by providing invited talks under the general theme of discrete mathematics and theoretical computer science and their related practice.
Talks and other activities in Theory Days 2018, such as brainstorming or breakout sessions, are largely informal in nature: the main reason is to initiate discussions which may lead to (in)formal collaborations, conference or journal articles, open problems for (under)graduate students and the computing community, or just for fun!
Coordinates: 21 June (9:00 AM  2:45 PM) and 22 June (9:00 AM  5:40 PM) 2018, ERDT Room, 2nd floor, UP Alumni Engineers Centennial Hall (UP AECH), P. Velasquez Street, Diliman, Quezon City, Philippines.
Map to venue: Google maps link HERE
Registration form: Link to free registration is HEREDownload program: PDF file of program is HERE.
 "Ten years of Computer Science Theory at UP Diliman"
Selected and Recent Publications Z.B. Jimenez, F.G.C. Cabarle, R.T.A. de la Cruz, K.C. Buño, H.N. Adorna, N.H.S. Hernandez, and X. Zeng. Matrix Representation and Simulation Algorithm of Spiking Neural P Systems with Structural Plasticity. PreProc. Asian Conf. Membrane Computing (ACMC2018), 1014 December, 2018, Auckland (New Zealand) and in CDMTCS530 research report. [tr]
 R.T.A. de la Cruz, F.G.C. Cabarle, and H.N. Adorna. Generating ContextFree Languages using Spiking Neural P Systems with Structural Plasticity. PreProc. Asian Conf. Membrane Computing (ACMC2018), 1014 December, 2018, Auckland (New Zealand) and in CDMTCS530 research report. [tr]
 J.P. Carandang, F.G.C. Cabarle, H.N. Adorna, N.H.S. Hernandez, M.A. MartinezdelAmor. Handling Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations. Fundamenta Informaticae 164 (2019) 139–155 DOI 10.3233/FI20191759 [jour/ISI/SCI]
 F.G.C. Cabarle, R.T.A. de la Cruz, H.N. Adorna, M.D. Dimaano, F.T. Peña, X. Zeng. (2018) Small Spiking Neural P Systems with Structural Plasticity. In: Graciani C., RiscosNúñez A., Păun G., Rozenberg G., Salomaa A. (eds) Enjoying Natural Computing. Lecture Notes in Computer Science, vol 11270. https://doi.org/10.1007/9783030002657_4 Springer, Cham [ch]
 I. Ordanel, H. Adorna. Optimal Deterministic Algorithm for the Hammock(2,2)Poset Cover Problem Philippine Journal of Science 147 (4): 733748, December 2018, ISSN 0031  7683 [jour/ISI/SCI]
 B. Song, Y, Hu, H. Adorna, F. Xu. A Quick Survey of TissueLike P Systems. Romanian Journal of Information Science and Technology, Vol 21, No. 3, (2018), 310321 [jour/ISI/SCI]
 F.G.C. Cabarle, R.T.A. de la Cruz, X. Zhang, M. Jiang, X. Liu, X. Zeng. On String Languages Generated by Spiking Neural P Systems with Structural Plasticity. DOI:10.1109/TNB.2018.2879345. IEEE Transactions on NanoBioscience, vol 17, No 4, 560566, 2018. [jour/ISI/SCI]
 K.C.Buño, F.G.C. Cabarle, M.D. Calabia, H.N. Adorna. Solving the NQueens problem using dP systems with active membranes Theoretical Computer Science, Vol. 736 (2018), 114 [jour/ISI/SCI]
 H.N. Adorna, L. Pan, B. Song. On Distributed Solution to SAT by Membrane Computing." International Journal of Computers Communications & Control 13.3 (2018): 303320. [jour/ISI/SCI]
 R. Juayong, H. Adorna. On Simulating Cooperative Transition P Systems in Evolution–Communication P systems with Energy. Nat Comput (2018) 17: 333343 [jour/ISI/SCI]
