Facultatea de Automatica si Calculatoare > Cercetare > Calculatoare si Tehnologia Informatiei > Domenii de cercetare > Logic and Multi-paradigm Programming

Logic and Multiparadigm Programming

Research team

Rodica Potolea, Tudor Muresan, Alin Suciu, Cristian Ionescu, Camelia Vidrighin

Research fields

Multiparadigm and Logic Programming:

- Logic Programming

- Constraint Logic Programming

- Concurrent Logic Programming

- Object-Oriented Logic Programming

- Parallel Logic Programming

- Distributed Logic Programming

- Inductive Logic Programming

- Automated Logic Programs Generation

- Inductive Parsing

- Natural Language Processing

- Integration of Logic Programming and Web Technologies

- Grid Computing

Cryptography and Data Compression

- Encryption Algorithms

- One Time Pad

- Random Numbers

- Efficient Compression of Logic Programs

Research Projects

"Virtual Organization using Grid Technology for High Performance Modeling, Simulation and Optimization (GridMOSI)", national research grant funded by ANCS, CEEX 95/2005, subcontract Nr. E139-4, (2005-2008).

Rodica Potolea scientific coordinator, Alin Suciu, E. Cebuc et al.

“Intelligent System for assisting the therapeutical decision at patients with prostate cancer – INTELPR0", national research grant funded by ANCS, CEEX VIASAN 18/2005, (2005-2008).

Sergiu Nedevschi coordinator, Mihaela Dinsoranu scientific coordinator, Ioan Salomie, Rodica Potolea, T. Muresan, T. Marita, C. Cenan, D. Mitrea, C. Vidrighin, et al.

“Info System for Phrase Analysis of Romanian Texts. Theoretical Foundation and Implementation – SIASTRO”, national research grant funded by ANCS, CEEX 86-II03/ 2006, (2006-2008)

Rodica Potolea scientific coordinator, T. Muresan, C. Vidrighin

Publications

A. Suciu, R Potolea, “Towards a GridMOSI Library”, 6th RoEduNet International Conference, Craiova, Romania, 23-24 November 2007.

R. Potolea, A. Suciu, A. Mascasan, "Benchmarking the Gridmosi Library", eChallenges 2007, Hague, The Netherlands, 24 -27 October, 2007.

R. Potolea, "From Single to Parallel Computing: Learning by Examples", talk at the Sixth SimLab Course on Parallel Numerical Simulation, Technische Universität München, Germania, Oct. 2007, http://www5.in.tum.de/forschung/simlab/course2007.html.

R. Potolea, A. Suciu, “Finding the Optimal Read Buffer Size for Grid Applications”, 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania September 26-29, 2007, Workshop on Grid Computing Applications Development, pp. 51-54.

A. Suciu, R. Potolea, “Cryptographic and Cryptanalitic Algorithms for Grid Applications”, 2007 IEEE International Conference on Intelligent Computer Communication and Processing, (ICCP 2007), 6-7 September 2007, Cluj-Napoca, Romania, Workshop on Grid Computing (WGC), (to be published).

C. Vidrighin Bratu, C. Savin, R. Potolea, "A Hybrid Algorithm for Medical Diagnosis", in Proceedings of The International Conference on Computer as a tool, (EUROCON 2007), Warsaw, 9-12 September, 2007, pp.668-673.

R. Potolea, C. Vidrighin, C. Savin, “ProICET A Cost-Sensitive System for the Medical Domain", Third International Conference on Natural Computation,(ICNC 2007), China, 24-27 August, vol. 2, Session 3.

C. Vidrighin, R. Potolea, I. Giurgiu, M. Cuibus, "ProICET: Case Study on Prostate Cancer Data", in Proceedings of the 12th International Symposium of Health Information Management Research, Sheffield, 18-20 July 2007, pp. 237-244.

C. Vidrighin, R. Potolea, B. Petrut. "New Complex Approaches for Mining Medical Data", in Workshop on Computers in Medical Diagnosis, 3rd International Conference on Intelligent Computer Communication and Processing (ICCP 2007), Cluj-Napoca, Romania, 6-8 September, (to be published).

A. Onaci, C. Vidrighin, M Cuibus, R. Potolea, "Enhancing Classifiers through Neural Network Ensembles", Proceedings of the 3rd International Conference on Intelligent Computer Communication and Processing, (ICCP 2007), Cluj-Napoca, Romania, 6-8 September, pp. 57-64.

T. Moldovan, C. Vidrighin, I. Giurgiu, R. Potolea, "Evidence Combination for Baseline Accuracy Determination", in Proceedings of the 3rd International Conference on Intelligent Computer Communication and Processing. (ICCP 2007), Cluj-Napoca, Romania, 6-8 September, pp. 41-48.

R. Potolea, "Parallel Optimal Computing of GRID", talk at the Fifth SimLab Course on Parallel Numerical Simulation, Technische Universität München, Germany, Oct. 2006, http://www5.in.tum.de/forschung/simlab/course2006.html.

A. Macasan, R. Potolea, A. Suciu, "Detecting the Optimal Buffer Size for Grid Applications", The 12th International Conference on Applied Mathematics and Computer Science, Baisoara, Romania, May 2006.

I. Gligan, R. Potolea, A. Suciu, "A New Approach to Solving Large Scale Problems on Grid", The 12th International Conference on Applied Mathematics and Computer Science, Baisoara, Romania, May 2006.

G. Neagu, N. Andrei, V. Sima, N. Tapus, V. Cristea, C. Nae, R. Potolea, D. Petcu, A. Stanciu, "GridsMOSI virtual organization – a component of the national research infrastructure", Top research – a favorable prerequisite for the development of Romanian research [in Romanian], Brasov, Romania, 2006, pp. L4-23 1-10.

I. Gligan, R. Potolea, A. Suciu, “Grid Computing: A New Approach to Solving Large Scale Problems”, Automation Computers Applied Mathematics. Scientific Journal (ACAM), 2006, vol. 15, no. 1, pp. 159-170.

A. Mascasan, R. Potolea, A. Suciu, “Optimal Buffer Size for Grid Applications”, Automation Computers Applied Mathematics. Scientific Journal (ACAM), 2006, vol. 15, no 2, pp. 203-210.

A. Suciu, R. Potolea, C. Sipos, K. Pusztai, “Programming Logically on the World Wide Web”, in Proceedings of MicroCAD 2005, International Scientific Conference, Miskolc, Hungary, March 10-11, 2005, pp. 373-378.

S. Muresan, T. Muresan, J. Klavans, “Lexicalized Well-Founded Grammars: Learnability and Merging”, Technical Report CUCS-027-05, Columbia University, New York, NY, 2005.

S. Muresan, T. Muresan, J. Klavans, “Learning Constraint Grammars from a Small Semantic Treebank” in AAAI Spring Symposium on Language Learning: An Interdisciplinary Perspective, Stanford University, March 22-24, 2004.

Research description

Virtual Organization using Grid Technology for High Performance Modeling, Simulation and Optimization (GridMOSI)

Scientific coordinator: R. Potolea

Participants:

- National Institute for R&D in Informatics (I.C.I.),

- Politehnica University of Bucharest (UPB),

- The National Institute for Aerospace Research (INCAS),

- The Technical University of Cluj-Napoca (UTC-N),

- West University of Timisoara (UVT).

Main objective:

The main objective of the project is the creation of a virtual organization based on Grid technology for high performance modeling, simulation and optimization, in order to offer a straightforward access to high capacity computing resources (including software applications) to a wide category of users.

Secondary objectives:

- installing and managing a virtual organization based on a technology compatible with the European infrastructure for Grid computing, EGEE;

- developing and implementing advanced algorithms of modeling, simulation and optimization inside software applications accessible to VO members;

- developing a Grid portal user interface to facilitate the access of the users to the VO resources;

- dissemination of project results through scientific papers to be presented at national and international conferences.

Complexity:

Modeling, simulation and optimization are approaches used on a wide scale by the scientific community in designing and operating complex human built systems, in investigating or improving technical processes, either economic or even biologic ones.

The classical approach utilizes more and more complex software environments targeted towards these problems, which require a considerable and sustained effort of the specialists in finding and applying the best optimization strategies for the modeling activities.

Developing advanced solutions to these problems often requires solving complex problems of integration, specific to heterogeneous and distributed environments. The rapid growth and development of Grid technologies offers an answer to these problems.

- Candidate solutions of modeling, simulation and optimization for the GridMOSI virtual organization:

- Application domain “Advanced Computer Driven Modeling” (ICI)

- Application domain “Unrestricted Optimization” (ICI)

- Application domain “Complex Modeling and MDO Optimization in Industrial Applications” (INCAS)

- Application domain “Modeling and Optimization for Cryptology” (UTC-N)

- Application domain “Optimization based on Evolutionary Algorithms” (UVT)

- Support domain “Instruments for Grid based Applications” (UPB)

- Support domain “Programming Models for Grid Computing” (UTC-N)

Since UTC-N is involved mainly in the 4th domain, we will provide a short description of each of these domains in what follows.

Application domain: “Modeling and Optimization for Cryptology” (UTC-N)

Starting from the well known fact that cryptographic and cryptanalytic algorithms are intensive computing resource consumers, the solution we propose aims at studying and developing implementations for some of these algorithms using grid technology, and thus optimizing them.

Given the fact that very recently (November 2, 2005) a team of researchers (F. Bahr, M. Boehm, J. Franke, T. Kleinjung) managed to solve the famous “RSA-640

Challenge” by a computation effort of only 6 months, using parallel and distributed programming, we believe it has become imperiously necessary to develop new ways of optimizing both the cryptographic algorithms, and the cryptanalytic ones, and the grid technology cannot be ignored in this respect.

Recent studies show significant increases in performance for grid execution of classic cryptographic algorithms (ex: DES, Blowfish, RC4) as well as some overheads involved in the process, which also encourages the need to deepen the research of these innovative methods that will better fit these algorithms to the grid.

Therefore we consider entirely justified the desire to migrate at least some cryptographic and cryptanalytic algorithms to the grid environment, given the potential advantages that will occur.