“Everyone has inside of him a piece of good news. The good news is that you don't know how great you can be!” - A. Frank
News and Announcements
13 September 2019
All are invited to the following:
- 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.
- Jhoirene Clemente, ``ADDITIONAL INFORMATION IN COMPUTATION: REOPTIMIZATION AND ADVICE''. 30 September 2019, 16:00h, ERDT Room.
Theory Days 2019
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!
24 to 25 June 2019, 9AM to 5PM, ERDT room, 2nd floor, Alumni Engineers Centennial Hall, College of Engineering, UP Diliman, Quezon city.
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.
Keywords: Natural computing, Membrane computing, Spiking Neural P Systems with Structural Plasticity, SNPSP Systems, Models of computation
Coordinates: 11 May, 2018, 08:00h to 10:00h, ERDT room.
This event is open to the public.
2 Oct 2017
The following papers are presented during the 6th Asian Conference on Membrane Computing (ACMC2017) 21-25 September, 2017, Chengdu, China
- R.T. de La Cruz, F.G.C. Cabarle, X. Zeng. Arithmetic and Memory Module using Spiking Neural P Systems with Structural Plasticity.
- J.P. Carandang, F.G.C. Cabarle, H. Adorna, N.H. Hernandez, M.A. Martinez-Del-Amor. Nondeterminism in Spiking Neural P Systems: Algorithms and Simulations.
- J.G Torres, K. Buno, F.G. Cabarle. Some Notes on Spiking Neural dP Systems.
- H. Adorna, L. Pan and B. Song. On Distributed Solution to k-SAT on Membrane Computing
2 Oct 2017
The following papers are presented during the Workshop on Computation: Theory and Practice (WCTP2017), September 12--13, 2017, Osaka University Nakanoshima Center, Osaka, Japan
- G. Solano, G. Blin, M. Raffinot, J. Caro. A Clique Finding Algorithm for the Approximate Gene Cluster Discovery Problem.
- J. Clemente, J.P. Carandang, H. Adorna, J.E. Evangelista. PepSquad: A Tool for Finding Compact Structural Motifs from Peptides.
- J. Aborot. An oracle design for Grover's quantum search algorithm in solving the exact string matching problem.
- J.R. Basiloña, M.R.T. Gueco, J. Clemente, J. Malinao, R.A. Juayong, J.M. Yap, H. Adorna. A Polynomial-Time Algorithm for Computing the Translocation Syntenic Distance of Special Graphs.
- I. Ordanel, H. Adorna, J. Clemente. Approximation of two simple variations of the Poset Cover Problem.
20 July 2017
The following submissions of the members of ACLab to 18th International Conference on Membrane Computing (CMC 18) to be held at University of Bradford, U.K. on 24-28 July 2017 are accepted for oral presentation. (Slide presentations of the papers can be found HERE.)
1. On Evolution-Communication P systems with Energy Having
Bounded and Unbounded Communication
(R. Juayong, N. Hernandez, F. Cabarle, K. Buño, H. Adorna)
2. A Simulation of Transition P Systems by Numerical P Systems
with Migrating Variables
(N. Hernandez, H. Adorna)
3. Communication Complexity of Distributed Tissue-like P
Systems for Solving SAT Problem
(K. Buño, H. Adorna, L. Pan, B. Song)
4. Deterministic Solutions to NP-Complete Problems
using Numerical P Systems with Lower Thresholds
(I. Macababayao, E. Amores, N. Hernandez, F. Cabarle)
5. Simulating Evolutional Symport/Antiport by Evolution-
Communication and vice versa in Tissue P Systems with
(H. Adorna, A. Alhazov, L. Pan, B. Song)
6. On Languages Generated by Spiking Neural P System with
(T. dela Cruz, F. Cabarle, X. Zeng)
19 June 2017
ACLab is pleased to announce that Richelle Ann B. Juayong has completed all her requirements for the degree of Doctor of Philosophy in Computer Science. Rich will be receiving her doctorate from the College of Engineering, University of the Philippines Diliman (Department of Computer Science).
16 June 2017
The Algorithms and Complexity lab (in short, AClab) is celebrating Theory Days from 22 to 23 June 2017. The two main reasons for the celebration of the Theory Days (open to the general public) are to celebrate the 10th anniversary of AClab, and the 105th birthday of Alan Mathison Turing (the founder of computer science). Theory Days aim to celebrate both these reasons by providing invited lectures under the general theme of discrete mathematics and theoretical computer science.
More details regarding this celebration can be found at the Theory Days 2017 page.
29 May 2017
Details of a guest and public lecture last 27 February 2017:
"Showing the Correctness of Algorithms using
Machine Learning and Automated Reasoning."
Date: 27. February 2017 (Monday)
Time: 2pm to 4pm,
Venue: Lecture Hall
2/f UPAECH, Department of Computer Science,
College of Eng'g.
Title: Showing the Correctness of Algorithms using
Machine Learning and Automated Reasoning
Dr. Cezary Kaliszyk Uni. Innsbruck
With the increasing complexity of software and hardware, showing the correctness and security of the involved algorithms becomes more and more important. Highest levels of certainty about such properties can today be achieved using formal proof methods. In this talk I will introduce formal proof and discuss the main challenges the field faces presently. The most powerful techniques today combine machine learning with automated reasoning. I will introduce the various machine learning problems including the selection of relevant knowledge, choice of reasoning techniques, and generation of intermediate statements, as well as discuss the currently used algorithms and their relation to reasoning.
Bio: Cezary Kaliszyk is a researcher at the University of Innsbruck, Austria. His main interests are providing proof advice and automation for formal proof. He received a MSc from the University of Warsaw, Poland in 2005, and a PhD in computer science in 2009, from the Radboud University, Netherlands. He spent a year at the Technical University of Munich working with nominal logic in the Isabelle proof assistant, two years at the University of Tsukuba, and has been working in the Computational Logic group in Innsbruck, Austria since 2012. He has been a recipient of grants from the European Research Council, Austrian Science Fund, Japan Society for the Promotion of Science, Austrian Agency for International Cooperation. His industry experience includes working at Google Research as a faculty advisor.
11 April 2017
ACLab would like to congratulate regular member Jasmine Malinao for earning her doctorate from the Institute of Computer Graphics and Algorithms in the Vienna University of Technology. Jas underwent graduate study in the Doctoratsstudium der technischen Wissenschaften (Doctorate study in technical sciences) program of VUT.
Padayon at mabuhay!
27 March 2017
ACLab is pleased to announce that Ms. Richelle Ann B. Juayong will be defending her Ph.D. dissertation, with the following details:
COMMUNICATION COMPLEXITY IN P SYSTEMS WITH ENERGY
by Richelle Ann B. Juayong
Date: 24 April, 2017,
Venue: Lecture Hall at UP Alumni Engineers Centennial Hall, Velasquez St., UP Diliman, Quezon City,
Time: 4PM to 7PM GMT+8.
Announcement poster is here. This event is open to the general public.