"When you want to build a ship, then do not drum the men together in order to procure wood, to give instructions or to distribute the work, but teach them longing for the wide endless sea." - A. de Saint-Exupery

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 Announcements

6 Feb 2020

From ABS CBN news:

``Filipino scientists offer help in detecting 2019-nCoV in PH

Davinci Maru, ABS-CBN News
Posted at Jan 30 2020 08:19 PM


MANILA - A research facility in the University of the Philippines (UP) said Thursday it would help health authorities confirm cases of the 2019 novel coronavirus (2019-nCoV) in the country.

"The Philippines has the tools and cutting-edge equipment, trained DNA sequencing staff, and scientists to help validate the presence of 2019-nCoV in the country by sequencing the whole viral genome from samples collected from patients," Dr. Cynthia Saloma, executive director of the Philippine Genome Center (PGC), said in a statement.

The facility will assist the Department of Health (DOH) and Research Institute for Tropical Medicine (RITM) on diagnosing possible cases of the illness, which has killed at least 170 in China as of Thursday. Some 81,000 others globally are under observation for possible infection.

China virus death toll rises to 170, more than 1,700 new cases
Using a Next Generation DNA/RNA Sequencing (NGS) equipment, the Philippines will no longer have to send samples of suspected 2019-nCoV cases abroad, said Dr. Jan Michael Yap, head of PGC's core facility for bioinformatics.

"We can do it here," he told ABS-CBN News in a phone interview, adding the results could be released after 3 days.

The equipment, Yap said, is a fast, accurate way of identifying the genetic information of viruses.

The Philippine government already confirmed the country's first case, a 38-year-old woman from Wuhan, China who arrived in Manila on January 21. 

Philippines confirms first case of new coronavirus
The woman arrived in Manila via Hong Kong on Jan. 21. She is now in an undisclosed government hospital.

The Philippines had been sending specimen samples to the Victorian Infectious Disease Reference in Australia to confirm if the patient is infected with the new coronavirus.

"Before wala pa kasing existing data on what the 2019-nCov looks like," Yap said.

The facility is also in talks with the DOH of creating confirmatory test kits to swiftly identify patients carrying the strain, he added.

"We are now preparing our materials, tools and equipment. We are ready to assist at any moment," Yap said.

The World Health Organization (WHO) had said coronaviruses were a large family of viruses ranging from the common cold to more severe diseases such as the Middle East Respiratory Syndrome (MERS-CoV) and Severe Acute Respiratory Syndrome (SARS).

Fever, cough and breathing difficulties are among its symptoms, the UN health agency added.

"
source: https://news.abs-cbn.com/news/01/30/20/filipino-scientists-offer-help-in-detecting-2019-ncov-in-ph

13 September 2019

All are invited to the following:
  1. Ren Tristan De La Cruz will give a talk on A Formal Framework for Static and Dynamic P systems, on 17 September, 2019 (Tuesday), 13:00h at room 317. 
  2. Jhoirene Clemente, ``ADDITIONAL INFORMATION IN COMPUTATION: REOPTIMIZATION AND ADVICE''. 30 September 2019, 16:00h, ERDT Room.

Theory Days 2019
Synopsis:

Theory Days 2019 celebrates two main reasons: 12 years of Algorithms and Complexity at the Department of Computer Science in UP Diliman, as well as 107 years since the birth of Alan Turing. Theory Days 2019 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 2019, such as brainstorming or break-out 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:

24 to 25 June 2019, 9AM to 5PM, ERDT room, 2nd floor, Alumni Engineers Centennial Hall, College of Engineering, UP Diliman, Quezon city.

Web page:

More details here: http://aclab.dcs.upd.edu.ph/productions/workshops/theorydays-2019


19 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 break-out 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 HERE
Download program: PDF file of program is HERE.






Abstract: Membrane computing is a field of computer science that studies unconventional models of computa- tion known as P systems which are inspired by the biological and chemical processes in a biological cell or group of cells. In 2006, a model of computation known as spiking neural P system (SNP system) was introduced. SNP systems were inspired by networks of spiking neurons. In 2015, a variant of SNP systems known as spiking neural P system with structural plasticity (SNPSP sys- tem) was introduced. SNPSP systems incorporate the ideas of synaptogenesis and synaptic pruning (structural plasticity) as features of the model. To study structural plasticity as feature of SNPSP systems, we used SNPSP systems to generate families of languages in the Chomsky hierarchy: finite languages, regular languages, context-free languages, and recursively enumerable languages. We created procedures for constructing SNPSP systems that generate the families of languages. We discussed how structural plasticity is used for constructing the language generator SNPSP systems. We also compared the language generator SNPSP systems to existing language generator SNP systems.








"Ten years of Computer Science Theory at UP Diliman" 
presented by Henry N. Adorna during Theory Days 2017.

Selected and Recent Publications

  1. Asuncion, X.E., Sampaco III, A-R., Adorna, H., Magadia, J., Boñgolan, V. P.,  and Lluisma, A., Predicting the Molecular Targets of Conopeptides by using Principal Component Analysis and Multiclass Logistic Regression. Philippine Journal of Science 148 (S1): 237-245, Special Issue on Genomics (2019)  http://philjournalsci.dost.gov.ph/images/pdf/special_issue/148_S1/predicting_molecular_targets_.pdf  [jour/ISI/SCI]

  2. Jimenez, Z.B., Cabarle, F.G.C., de la Cruz, R.T.A, Buño, K.C., Adorna, H.N., Hernandez, N.H.S., Zeng, X. Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity. Journal of Membrane Computing (2019). Springer https://doi.org/10.1007/s41965-019-00020-3 [jour]

  3. J. B. Clemente, P, L. Fernandez Jr., R.A.B. Juayong, J.A. Malinao, I.D. Ordanel, and H.N. Adorna.  Reoptimization of the Consensus Pattern Problem under Pattern Length Modification. Philippine Journal of Science 148 (3): 537-551, September 2019  [jour/ISI/SCI]

  4. R.T.A. de la Cruz, F.G.C. Cabarle, & H.N. Adorna.  Generating context-free languages using spiking neural P systems with structural plasticity. Journal of Membrane Computing (2019). Springer https://doi.org/10.1007/s41965-019-00021-2 [jour]

  5. F.G.C. Cabarle, R.T.A. de la Cruz, D.P. Cailipan, D. Zhang, X. Liu, X. Zeng. On Solutions and Representations Of Spiking Neural P Systems With Rules On Synapses. (in press) Information Sciences https://doi.org/10.1016/j.ins.2019.05.070 2019 [jour/ISI/SCI]
  6. H.N. Adorna, R.A.B. Juayong. A survey of Results on Evolution-Communication P systems with energy. In: Gh. Paun (ed), Proceedings of 20th International Conference on Membrane Computing, (5-8 August 2019) Editura BIBLIOSTAR, Ramnicu Valcea, (2019) pp 11-30. [cp]
  7. H.N. Adorna, Matrix Representations of Spiking Neural P systems: Revisited, In: Gh. Paun (ed), Proceedings of 20th International Conference on Membrane Computing, (5-8 August 2019) Editura BIBLIOSTAR, Ramnicu Valcea, (2019) pp 227 - 248. [cp]
  8. K. Buno, H. Adorna. Distributed Computation of k-dP system with Active Membranes for SAT using Clause Completion. In: Gh. Paun (ed), Proceedings of 20th International Conference on Membrane Computing, (5-8 August 2019) Editura BIBLIOSTAR, Ramnicu Valcea, (2019) pp 269 - 288. [cp]
  9. R. T. A. de la Cruz, F.G.C. Cabarle, I.C.H. Macababayao, H.N. Adorna, X. Zeng. Homogeneous Spiking Neural P Systems with Structural Plasticity. In: Gh. Paun (ed), Proceedings of 20th International Conference on Membrane Computing, (5-8 August 2019) Editura BIBLIOSTAR, Ramnicu Valcea, (2019) pp 357 - 374. [cp]
  10. I.C.H. Macababayao, F.G.C.Cabarle, R.T.A. de la Cruz, H.N. Adorna, X. Zeng. An Improved Normal Form for Spiking Neural P systems with Structural Plasticity. In: Gh. Paun (ed), Proceedings of 20th International Conference on Membrane Computing, (5-8 August 2019) Editura BIBLIOSTAR, Ramnicu Valcea, (2019) pp 429 - 438. [cp]
  11. B.C.D. Aboy, E.J.A. Bariring, J.P. Carandang, F.G.C. Cabarle, R.T. De La Cruz, H.N. Adorna , M.Á. Martı́nez-del-Amor. Optimizations in CuSNP simulator for Spiking Neural P Systems on CUDA GPUs.  Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2019). pp 535--542, July 15 – 19, 2019 Dublin, Ireland. [cp]